The five gates
Evidence
A finding has to point at something. It must cite the code it is about — the lines it quotes, the symbol it names. A finding with no anchor to real code does not clear this gate.
Provenance contracts
The cited evidence has to actually correspond to the diff under review. The finding’s claim is checked against where it says it came from — the right file, the right lines, the change actually present. This is what stops a finding from being attached to code that does not exist or to a line it never touched.
Refute / execute
Sigilix actively tries to disprove the finding. The synthesizer cross-references the claim against the surrounding source and the repo context; where a claim is checkable by execution, it is checked. A claim that survives the attempt to refute it is far stronger than one that was simply asserted.
Proof-tier receipts
A finding that survives is stamped with a receipt that records how it earned its place — see the tiers below. The receipt travels with the finding so you can see why it is trustworthy, not just that the model said so.
Memory
Finally, the finding is weighed against what Sigilix has learned about this repo — taught rules and prior dismissals. A finding that contradicts a learned rule (“we use integer cents here”) can be suppressed or down-weighted before it posts. See Conversational Learnings.
Proof tiers: the receipt every finding carries
Gate 4 attaches a proof tier to each finding that survives. The tier is a pill on the posted comment. It replaces any single number — believability is about how the finding was established, not a 1-to-5 score.VERIFIED
Checked by execution or backed by a signed receipt. The strongest tier — the claim was demonstrated, not just argued.
GROUNDED
Anchored to cited code and evidence that the provenance and refute gates confirmed. The finding points at real code that supports it.
MODEL
Model judgment. The finding cleared the earlier gates but rests on the specialist’s reasoning rather than an execution check or a hard anchor.
The tiers are a hierarchy of how a finding was established, from a demonstrated result (VERIFIED) down to reasoned judgment (MODEL). Every posted finding wears one, so the tier itself tells you how far to trust it at a glance.
Contrast: two stages versus five gates
The field's two stages
Model produces text → text becomes a comment. Nothing checks whether the finding cites real code, matches the diff, or survives refutation. Hallucinations pass straight through.
Sigilix's five gates
Evidence → provenance contracts → refute/execute → proof-tier receipts → memory. A finding cannot post unless it earns it, and it arrives wearing the receipt that says how.
Read next
Review Provenance
Proof-tier receipts and the refute/execute stage in detail.
The Synthesizer
How Harmonia cross-references, calibrates, and renders surviving findings.

