Phase 48 · theorem-first research front

The wall, sharpened

AT-0407 → AT-0414, seed 407. No mechanism family is opened here. This package replaces the old comparison against a static state distance with a single quantity that can be bounded — observable separation per unit of fully accounted lawful completion cost — states the bound as a theorem with named hypotheses, audits which hypotheses are logically independent, and asks whether anything survives an honest scaling test.

The lesson before the numbers

Plain language

Corrections carried into this package

Controls

SeedSeed 407 reproduces the recorded sweep.Maps per scale — 18Random emergence maps drawn at each system scale.Pairs per map — 60Lawful endpoint pairs tested against the bound on each map.Lawful cost floor c — 0.50Every lawful path costs at least c times the state distance it covers.Blind systems — 20Systems generated and frozen before the leverage objective is ever evaluated.Blind probes — 160Endpoint probes searched per frozen system.Benchmark sites — 96Ring size used for the finite local causal propagation benchmark.

Deriving the bound and running the scaling audits…