Consequence -> retained distinction -> changed future selectivity. Two adversarial rounds have defined enough structure to build the smallest Formation Kernel that can prove the candidate mechanism wrong.
HCC, CIR, CRO, Consequential Fidelity, provenance, contradiction, and portable formed state.
SCHEMAS / CANDIDATE
Evidence and inquiry
Research Query, R2R promotion control, SERA, Address Regression, prior-art subtraction, and Formation Stream.
MIXED IMPLEMENTATION
Physical intelligence
ASF, PERCEPT, reference fabric, ConnectorDome, CNTM, and physical consequence sensing.
MIXED / OPTIONAL
Energy and compute
Energy reachability, dormancy, selective wake, distributed power traces, storage, and graceful degradation.
BRIDGE / TEST NEEDED
Distributed embodiment
Robotics, local authority, partition/rejoin, multiple embodiments, capability declaration, and formation transfer.
CANDIDATE PROGRAM
Security and integrity
Authority Compiler, Anti-Illogical, PIA, Guardian/RIGOR concepts, provenance, and fail-closed execution.
MIXED / BOUNDED
Non-obvious bridges found in the mining pass
The functional audit added Formation Stream, Authority Compiler, ASF, ConnectorDome, Research Query, Differential Dissolution Twin-History, Latent Role Intelligence, Ageometrics, and a distributed-power assay. It did not convert all energy, storage, or robotics work into AI. Flyshaft KESS remains adjacent only; Q* remains uncertain; the power assay remains data evidence without an AI conclusion.
A bridge is not a dependency. Energy may constrain reachable computation without being intelligence. A sensor fabric may support perception without authorizing action. A material may retain history without becoming a mind.