Phase 4 of the 18.3 status authority track (PAP-16713). Adds spec section
18.12, the binding contract between the arbitration/attention contracts
(18.3-18.11) and the approved operator UX reference.
- Ten presentation invariants (OPX-1..OPX-10) stated as testable criteria.
- Persistence prerequisites: attention_requests, attention_request_attempts,
and attention_budgets, which 18.3.1 described but 18.7 never defined, plus
the index the board summary needs.
- Read models: NativeOutcomeLayers carries all four authority layers as one
embedded object, plus StatusDecisionView, RunFinalizationView,
AttentionRequestView, and the compact list/board summaries.
- livePathIntegrity makes "every waiting state names an owner" a server
assertion rather than a UI convention.
- Adds the missing attention read routes; specifies envelope asOf,
authorization, and a whitelist redaction table.
- Client derivation rules, component data contracts, a requirement ->
field -> component -> gate coverage matrix, degraded/legacy/error
renderings, and gates OPX-F1..OPX-F11.
pnpm check:runner-phase4-spec enforces reason-code copy totality, read-model
coverage, gate reachability, invariant enforcement, route agreement,
backing persistence, and the claim copy law across both documents.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
