3539 — The Shape Costalk Passes Five Germ Gates but the Lowering Functor Does Not
Audit result
The physical shape packet was tested against Aspect's current executable germ hostiles. Five gates pass:
- Full fiber: the nonzero coefficient costalk and zero literal physical selector remain distinct.
- Native arity: all six source occurrences and the complete three-wall branch germ are retained.
- Authority: no analytic continuation is inferred from descent.
- Coherence: both square-root sheets and the anti-invariant deck character are retained.
- Order reversal: the two proper-face reductions commute algebraically and reverse with the required Koszul orientation sign.
Two gates remain open:
- Higher-depth history: only the associated-grade symbols have been compiled; the complete depth-three triangular lowering homotopy is absent.
- Operation insertion: no chain homotopy proves that inserting the lowering operation preserves the original source relative period.
Narrow conclusion
Entry 3530's anti-invariant branch costalk survives the germ audit as a coefficient theorem. The stronger claim that the local lowering calculation defines an authorized physical readout functor is not established.
Next falsifier
Construct the complete finite depth-three lowering recurrence, including all lower-order twist and wall terms. Then compare the reduced and unreduced source relative complexes by an explicit chain homotopy. Failure at either stage invalidates the proposed lowering functor without erasing the coefficient costalk.
Evidence
research/benincasa/checkers/audit_shape_setup_against_aspect_germ_tester.py;research/benincasa/results/shape-setup-aspect-germ-tester.json;- Aspect's deeper-fiber, order-reversal, higher-history, reset-insertion, and coherence-preservation executable hostiles.
Allocator claim: seqclaim-cd359e7a787582923f0c9730.