ADD (one generic law, TypeId-keyed, zero name arms): recursive
Ty::Nominal -> RecordLayout resolver (compile/record_abi.rs) snapshotted as
RecordLayouts and threaded like LeafReprs; ValueRepr::Record(Arc<RecordLayout>);
abi_types total over both snapshots; caller flatten (emit_call_arg) /
callee repack (bind_params fresh frame) / symmetric multi-word returns
(ReturnMode::ValueWords, emit_user_call_value repack); record_seed.rs
pre-registers record-typed locals. record_plan now delegates to the one
resolver (narrow Int/String-only copy deleted).

KILL (grep-proven): abi_types Nominal|Unknown => vec![pointer] blanket +
other => Err("...S1/FS4 frame...") arm + both defensive frame comments;
user_fns.rs multi-word-return refusal + is_scalar_return (whole dead subtree).

Gates: unit record_crosses_as_its_flattened_ordered_word_sequence (flat +
nested); corpus record_fn_cross (swap round-trip, exit 42, freestanding,
in-container); arch-test R5 (no type-name string literal in the ABI path),
red-proven twice (sub-agent + orchestrator, independently); LoC caps HELD
(ck_codegen 594/72, ck_lower 552/71 — not raised). fmt 0 / clippy 0 /
workspace exit 0 (147 test binaries), verified by the orchestrator.

Net: 40 files, +1044/-272 (production ~+679/-272 — additive by design per the
revised runbook: the word-list machinery did not exist; the 2026-07-16 runbook
revision records the measured-false original premise).

Owned debt (recorded): nested-record CROSSING is an honest hard error today
(codegen: unsupported Floor IR form) because construction keeps a nested
record as one frame-pointer word while the ABI flattens fully — closes when
construction inlines nested records; owner: function-calls follow-up.
union_copy_run untouched and green; union paths (lower_union_return,
copy_union_frame) stay alive for FC-b, next commit.

@@ -0,0 +122,4 @@
+}
+
+/// `nm <binary>` output (all symbols; scanned for forbidden libc/`ck_rt` names).
+fn nm_all(binary: &Path) -> String {

@@ -189,0 +216,4 @@
+    let id = match head {
+        "String" => interner.string_id()?,
+        "EmptyString" => interner.empty_string_id()?,
+        _ => return None,