Construction fronts
Four instruments, one block
R, A, F, and σ/θ have named roles and named failure conditions. They remain distinct. Necessity claims of Theorems 1, 2, 4, and 5 can fail. No formulas. Volume 1 lock intact.
R
Richness functional
Rank 1Candidate 001 — role verifiedLong-horizon measure of distinguishable, consistent configurations still available for future processing.
Domain: Stipulated K₀. Interior above both deaths.
- O4 Ascent toward the attractorPass
- O5 Descent toward the two deathsPass
Verified ordinal filter on a stipulated domain. Not the finished R. Domain has not been enlarged.
Refuses: Local or short-horizon optimisation; elimination of the unknown; collapse into either death.
A
Area-measure
Rank 2Candidate 001 — role-level boundArea-like bound on holographically admissible configurations. Restricts the domain of R; is not inside R.
Domain: Stipulated Π₀ = {P_H, P_M}.
- M1 Bound existsPass
- M3 Partition sensitivityPass
- M5 Distinction from RPass
- M7 CompatibilityPass
- M8 Role completeness on Π₀Pass
Does not enlarge R’s domain. Role-stated, not constructed.
Refuses: Treating Shannon bulk as the bound; exporting a stipulated toy as universal.
F
Reflection map
Rank 3Candidate 001 — role-level classifierMaps an agent’s objective through the others. Broken F is the signature of polarisation and low-trust equilibria.
Domain: Stipulated Φ₀.
- F1–F5 Classifier rolePass
- F6 TargetingTargeting only
- F8 Broken-closure signaturePass
Ledger 006 (canonical F) remains open. Not the finished F.
Refuses: Single-agent alignment (RLHF, constitutional AI) as a substitute for multi-agent reflection.
σ / θ
Stabilizer intensity
Rank 4Candidate 001 — role-level classifierIntensity σ of the consciousness stabilizer, with threshold θ at which reactive processing becomes interior self-modeling.
Domain: Stipulated regimes Ψ₀.
- S1 ComparabilityPass
- S2 Fall toward deathsPass
- S3 Two distinct polesPass
- S4 Scoped necessityPass
- S5 Reactive ≠ Th.5Pass
- S7 Load scalingRule, not curve
- S8 θ jointRole pass
- S9 Phase-like capacityDistinction
- S10 Bins on Ψ₀Pass; corpus not run
S6 respected (no phenomenology). σ / θ are not finished.
Refuses: Equating reactive intelligence with the stabilizer; treating σ as a consciousness meter.
Page ↔ Mirror
Instrument 5 remains blocked. A and F are role-stated, not constructed. Necessity claims of Theorems 1, 2, 4, and 5 can fail.