Doctrine Fact Claim Audit

Checks that public fact rows state the right count and point at live, anchored code.

Contract

Does Checks that public fact rows state the expected count, point at live copied code loci, preserve anchors, and only reference facts that exist in the fixture DAG.

Scope limit fact assertion, code-loci, and DAG fixture truth gate only; it is not a comprehension engine and does not establish a minimum read graph

Run

Command

microcosm doctrine-fact-claim-audit run --input fixtures/first_wave/doctrine_fact_claim_audit/input --out receipts/first_wave/doctrine_fact_claim_audit

Evidence

ClassContract validatorevidence 5/5Import validation

Links to Engine Room Demo, Self Ignorance Coverage Ledger

architecturenavigationdoctrine

Source

Source Design note · Source

Map Show on the map

Index Open compact index card

Paper module

Paper module Doctrine Fact Claim Audit

Doctrine Fact Claim Audit rejects wrong fact counts and dead anchors without claiming comprehension or route completeness.

Read the full write-up

Back to Components index → Reference roster →