FIX7 Spec Artifact Correction From T1 Proposals

Date: 2026-06-08
Mode: READ-ONLY production; specification correction only.
Target status: FIX7_DESIGN_CORRECTED_FROM_T1_RP_REFINEMENTS_READY_FOR_SHORT_T1_REVIEW

This package resolves T1 CP-01..CP-07 and addresses CP-08..CP-09. It supersedes conflicting artifact details in the prior finalization package. It does not authorize implementation.

The RP refinement correction package codex-fix7-design-correction-from-t1-rp-refinements-2026-06-07/ further resolves RP-01..RP-08 and is normative where it adds or refines details.

Non-Negotiable Rules

• PostgreSQL is runtime truth and enforcement authority.
• Policy values, denominators, thresholds, identities, and exact sets are sealed manifest/catalog rows, never adapter/function/CHECK literals.
• CHECK constraints enforce structural/type invariants only.
• Cross-manifest references use named typed FK targets.
• Directus retains SELECT-only access to the exact current base-table read set; it receives no control-plane DML/DDL/ownership/authority.
• Before cutover, readiness remains blocked.
• Missing/extra/NULL/stale/unknown/unverified state fails closed.
• Stage 2.6B, permits, REAL_RUN, and QT001 apply remain blocked.

Three Declarations

1. Permanent: changes are new sealed versions, not code edits or ad-hoc grants.
2. Impossible to mistake: FK/CHECK/ownership/exact-set/hash/epoch/quorum gates reject drift.
3. Automatic: generic PG engines read sealed rows; no human verdict or app state grants readiness.