Skip to content

§03-iii Minerva — Evidence Gathering — Outputs

Mars® Spec§03-iii Minerva — Evidence Gathering › Outputs

← The conformance certificate · Section index · Inspector verification (property table) →

4. Outputs

# Output Consumed by
1 Three-invariant recomputation witness — (traversal trace under guide, evidence record, uncertainty-reduction record); independently re-derivable evidence record of the verification operation Certificate Field 7; pre-invocation witness retention (AIGP, §02c); downstream gates
2 Grounded conformance verdict — {conforming, non-conforming, conditionally-conforming}; derived from gathered evidence Certificate Field 4; downstream gates
3 Gap-on-insufficiency — emitted when gathered evidence is insufficient to reach a verdict Completeness and gap-referral mechanism of §01; multi-locus gap report (§03-i §2.4)
4 Typed reinforcement signals — {model-gap, specification-gap, data-source-gap, knowledge-base-gap}; recorded in audit trail; trigger declared reinforcement actions under a single declared policy Delta-attestation lifecycle (§02b §5); reinforcement loop (§2.10)
5 Perspective-bound verdict — per-perspective independently-recomputable verdict with its own three-invariant witness, under a declared perspective specification Any downstream gate or pipeline component requiring jurisdiction-specific or operator-specific verdicts
6 Conformance certificate (nine structural invariants, §02b §2) — carrying or referencing the three-invariant recomputation witness in the recomputation-witness invariant (Field 7) Any downstream gate implementing the base-layer conformance architecture
7 Attribution record — governing-reference rung, active formal spec collection with activation conditions, join result record (where two-layer join was in effect), KB ↔ data-source divergence signals, order-typed aspect, tamper-evident content hash; first-class registered artifact §03-v (governed services, summarization, and analysis applications); causal-attribution application (data dimension); post-hoc forensic layer
8 KB ↔ data-source divergence signal — named structured signal identifying conflict between KB governance layer and data-source instance-facts on the same referent under the governing domain model; carried in evidence record (invariant ii) of recomputation witness Attribution record (§2.12); post-hoc forensic attribution; inspector verification


← The conformance certificate · Section index · Inspector verification (property table) →