Read every report through its boundary fields.

Measurement boundary

Measurement status is part of the artifact. A value and an axis must be read together with the status that says whether the value was measured, unmeasured, or out of scope.

• measuredZero The axis was measured and the value is zero.
• measuredNonzero The axis was measured and the value is nonzero.
• unmeasured The axis was not measured. Placeholder zero must not be read as risk zero.
• outOfScope The artifact or universe does not cover that axis.

Claim boundary

AIR and reports separate formal claims, measured witnesses, blocked formal claims, empirical observations, and review recommendations. These categories are intentionally not interchangeable.

FORMAL_PROVED
MEASURED_WITNESS
BLOCKED_FORMAL_CLAIM
empirical observation
advisory review recommendation

Formal promotion

theorem-check can report whether a claim has the registered theorem refs and bridge preconditions needed for a formal/proved reading. Missing preconditions block promotion; they are not defects in the measurement itself.

• Required theorem refs The report must point to the intended formal result rather than invent a theorem claim.
• Bridge preconditions The tooling universe must satisfy the assumptions needed to connect evidence to Lean-side definitions.
• Coverage and exactness Unsupported constructs, missing evidence, and unmeasured axes remain visible.

Non-conclusions

ArchSig output does not claim arbitrary repository completeness, extractor completeness, policy-lawfulness equivalence, semantic preservation, causality, or a scalar ranking of architecture quality.