16.7 A worked theory-repair trace

The microplastics case makes the audit record concrete. A base sketch contains particle burden \(B\), optical class \(C\), absorption \(A\), spatial field \(M\), and direct radiative forcing \(F\), with arrows

The baseline realization compiles these arrows to source-table lookup, map scaling, and area-weighted aggregation.

CLIC localizes the contrast to \(C\to A\) rather than the burden map. OPTIC compiles the colored-to-pristine replacement and checks units. The modified optical field is propagated through the unchanged map and aggregation arrows. Admission certifies the 90.6% reduction only relative to this realization. Because the factorization and edit were supplied, this is executable theory repair rather than autonomous theory construction. A creative successor must infer that optical class is the missing discriminant, construct the factorization, and request its counter-witness without being given the arrow.