From 04c2280dd80135571834d571cc50307f670b34d3 Mon Sep 17 00:00:00 2001
From: Brummel <mould@mycelium.de>
Date: Mon, 8 Jun 2026 15:53:42 +0200
Subject: [PATCH] =?UTF-8?q?audit:=20cycle=200021=20(#44)=20=E2=80=94=20dri?=
 =?UTF-8?q?ft-noted;=20fan-in=20distinguishability=20shipped?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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