What the live surface shows
Six kinds, kept apart
Observation, latent belief, decision, intervention, outcome, and evidence are separate object kinds. A record that omits a kind, impersonates another, or crosses kinds through an untyped reference must fail validation. The separation is a repository assertion about static artifacts, not a claim that future data respects it.
GA-04 · reiyah.claim.repository.kind-separation · proposedUnknowns that cannot collapse
Observed, missing, unmeasured, out-of-distribution, sensor-invalid, and abstained are distinct epistemic states. None may validate as a zero, a false, a default, or an alias of another, and none may be rendered as a result. The console shows them as first-class states for the same reason.
GA-05 · reiyah.claim.repository.epistemic-separation · proposedThe joint silent miss
Two individually accurate actors can share blind spots. Reiyah proposes that modeling dependence between human and automation miss events changes estimated joint silent-miss risk relative to a declared independence model. It is a falsifiable proposition with a frozen comparator and no retained evidence.
reiyah.claim.scientific.joint-silent-miss · proposedGate A and the operator
In the retained September 7 architecture packet, completeness was checked by an offline validator and operator acceptance remained a separate decision on the evidence-index digest. That historical gate does not describe the current Engine's implementation status.
GA-17 external · historical packet, 7 September 2026