Reasoning validity
The engine checks that the conclusion follows the published decision rule, every edge resolves, evidence counts agree, and missing evidence never becomes a negative claim.
Feason Context · proof-carrying reasoning
Don’t just answer.
Show the proof.
Turn a theological claim into an evidence graph that a person, application, or AI agent can inspect, challenge, and verify.
Exact passagesDisclosed rulesMerkle integrityEd25519 signaturesExplicit abstention
Live proof builder
Examine a claim
Feason uses the active Context corpus. The graph and bounded result are deterministic for the same corpus release, claim, and evidence limit.
Ready for a claim
The answer is only the beginning.
Build a proof to see the exact evidence, the rule application, the abstention gates, and the cryptographic root that binds them together.
What the technology actually does
Three guarantees—and one boundary—
kept separate.
Cryptographic integrity
Each claim, source, rule, edge, and result becomes a SHA-256 commitment. Merkle paths bind them to one root, so alteration is detectable against a previously recorded root.
Issuer authenticity
Canonical proofs can be signed with Feason’s Ed25519 issuer key and recorded in an append-only public log. A trusted key proves who issued the exact artifact.
Theological humility
A valid graph is not a declaration of divine certainty. The outcome remains bounded to the represented corpus and abstains when the required evidence is absent.