The §"Embedding ABI" prose presented the M3 contract as "the
embedding ABI" — a general boundary — and justified the layout
freeze with "this is what codegen emits today". Both overclaim:
- The accepted set (bare scalar | single-ctor all-scalar record)
is the *whole* contract, narrow by construction. The host
hand-constructs and hand-reads the box layout directly; there
is no general value-marshalling layer. The text now says this
plainly instead of framing the set as a subset of a wider ABI.
- The freeze is reframed as the consequence of that direct
layout exposure (the host is the contract surface), not as
"frozen because that is what lower_ctor emits".
- "MUST NOT move these offsets" is corrected to "for an exported
type" — the prior wording overclaimed the freeze as binding
every record layout; the commitment binds exported types and
thereby constrains codegen repacking of exported records.
Present-tense Ist-state mirror only: no lockstep/wire-contract
design, no post-mortem, no aspirational "should become". Schema
section untouched. Verified green: design_schema_drift (8),
docs_honesty_pin (5), effect_doc_honesty_pin (4),
embed_record_layout_pin (1), embed_staticlib_lowering (3).
Brummel
dd5b18378f