ADR-0011: SCM4 profile and orthogonal result model¶

Status: accepted Date: 2026-08-29

Decision¶

The normative mandatory profile is the real four-signed common meadow profile identified by Q_SCM4:1 for exact rational execution and R_SCM4:1 for its intended real denotation. Division is direct. Results carry independent core, exact-domain, execution, observation, operational, representation, and compilation axes. There is no global cross-axis precedence enum.

SCM4_EQ:1 is a pinned equation/proof inventory, not a claim that the listed equations absolutely specify every model. SCM4_RANGE:1 is a separate range predicate and its disjunction is forbidden in unconditional rewrite tables. The Additional Value Law and reduct metadata remain separately named registry fields. The project-local name CM_ALL is not a portable profile identifier.

Consequences¶

Algebraic bottom absorbs only inside the exact core. Numerical faults, censoring, missingness, task invalidity, rejection, representation faults, and compiler refusal remain visible on their own axes. Legacy merged masks are explicit lossy projections. Tests and bounded corpora are described as tested or property-checked evidence, never formal proof.