audit: cycle 0032 (#59) — drift-clean; param_space() injectivity is a compile invariant
Architect drift review over 11dfff8..HEAD: clean, no drift, no debt. - C9/C12/C19/C23 ledger prose matches the landed code exactly. The C9 refinement names the retired fan-in machinery (signature_of, leaf_has_param, check_fan_in_distinguishability, check_composite_fan_in) as retired, names the two intentionally-dropped render-identity cases (asymmetric param/paramless, role-vs-leg) as deliberate drops, and points at DuplicateParamPath/.named(). - C23 honoured: the check reads only the param_space() boundary name projection; the compilat stays index-wired, no name became load-bearing. - C1 preserved: param_space() stays infallible; the gate is pure pre-build structural validation; injective blueprints compile bit-identically. - Drift hazards all clear: no live reference to the retired machinery (only frozen historical specs/plans/fieldtests + the cycle's own test-doc comments); the stale "CLI render" signature_of doc line was removed with the function; both resolve/resolve_axes callers check injectivity before resolving so the unreachable! arms are genuinely dead; no live contract references the removed IndistinguishableFanIn / AmbiguousKnob variants; engine core untouched. Regression: none configured (profile regression: []) — architect is the gate. Resolution: carry-on (drift-clean). Gates re-run by the orchestrator: cargo build/test --workspace green (0 failed), clippy --all-targets -D warnings clean. Drift-clean is not a milestone close (the milestone fieldtest gate is separate).
This commit is contained in:
