Observability-as-Proof Reference

Contract Surface

• contracts/governance/observability-as-proof.json

Canonical Declaration Surface

• authoritative GitHub slice issue
• required section: Proof Coverage
• required companion section: Runtime and Observability Scope

Required Proof Coverage Fields

• Runtime-touching work
• Claim classes
• Supporting proof obligations
• Terminal proof obligations
• Proof freshness requirements
• Blocking proof gaps

Runtime-Touching Rule

• The primary task type does not decide runtime-touching status.
• The canonical discriminator is Runtime touched in this slice in the slice issue.
• Missing or ambiguous runtime-touching status fails closed.

Gate Wiring

• start gate: runtime-touching work must have canonical proof coverage before implementation
• PR readiness: runtime-touching slice PRs must expose reviewable proof coverage
• end gate: runtime-touching completion claims must match declared supporting proof, terminal proof, freshness, and blocking-gap state
• slice closeout: proof coverage and evidence links must stay in sync in the authoritative issue

Terminal Runtime Proof

• Supporting proof is not enough for runtime claims.
• Runtime claims must terminate on Slice 40 dashboard families and their underlying authoritative truth surfaces.
• slice-closeout.json proof bar remains supporting proof; it does not replace terminal runtime proof.
• Historical/query/export runtime claims must now include:
  • Canonical Whole System Truth
  • Canonical Pipeline Residue
  • Origo Store Truth / Event Sourcing

Migration Rule

• Pre-S41 in-flight slices need explicit bounded migration review on the zero-bang path.
• There is no open-ended equivalent proof exception.