Brummel 04c2280dd8 audit: cycle 0021 (#44) — drift-noted; fan-in distinguishability shipped
Architect drift review over efbe0f4..3f4d756 (the two un-audited interim
render commits 32ac8a3/b73d707 plus the 0021 fan-in cycle).

Holds:
- C23 intact — the IndistinguishableFanIn check is a construction-phase
  pre-pass; the compilat stays name-free (compiled_view_golden byte-stable).
- C9 boundary clean — signature distinguishability lives at the blueprint
  layer and dissolves at inline; the C9 ledger refinement is accurate and
  in-format.
- Pre-pass placement (before the arity gate, not inside inline_composite) is
  the spec-aligned home, not drift: a no-param compile() of a param-bearing
  composite would hit ParamArity first.

Regression: commands.regression is empty (no gate) — architect is the sole
gate; clean of contradictions.

Debt (correctness-neutral, not blocking) tracked in #45 for a focused tidy
iteration rather than rushed at cycle tail:
- inline_composite's alias-validity loop is now dead for BadInteriorIndex (the
  pre-pass raises it first for every composite).
- per-node alias count is re-derived in three sites (signature_of base,
  leaf_has_unaliased_param, signature_base_len).

refs #45
2026-06-08 15:53:42 +02:00
S
Description
No description provided
18 MiB
Languages
Rust 68.9%
JavaScript 24.4%
HTML 6%
Shell 0.6%
CSS 0.1%