audit: cycle 0035 — drift-clean (node instance name in the graph model)

Close-audit for cycle 0035 (commit range 20000dd..0ae8320). Architect drift
review against the design ledger + CLAUDE.md: clean. No regression scripts are
configured (the architect is the gate); build + test + clippy verified green.

cycle 0035 tidy (clean):
- C23 preserved: the instance name is resolved to Option at authoring
  (instance_name()), emitted only on the render/model surface, and dropped at
  lowering — the compilat wiring is byte-unchanged.
- C14 preserved: model bytes stay deterministic; both golden twins (inline
  model_golden + sample-model.json) moved in lockstep to the same two "name"
  additions.
- C12/C19 untouched: the cycle adds no param-space surface; the param-ganging
  alternative was deflected to idea #61 (not via name collision — param_space
  is injective by design).
- Engine<->viewer lockstep intact: the conditional "name" producer (prim_record)
  and its three consumers (adaptNodes, genDot leaf-emit, cellLabel) moved
  together, protected by a prim_record unit test + a headless render guard.

The blueprint-viewer `SMA[length]` (a051571) and the compiled `Node::label`
`SMA(2)` are legitimately distinct surfaces (name-bearing blueprint model vs
value-bearing compiled view) — the split the ledger already draws at
INDEX.md:681-684, not drift.
This commit is contained in:
2026-06-13 19:08:54 +02:00
parent 0ae8320d14
commit 560c2d0824

Diff Content Not Available