Brummel b8a60b1ec7 audit embedding-abi-m3: milestone close — DRIFT (1 [medium]+[low] doc-honesty -> one tidy); bench check.py exit 1 decisively causally exonerated (byte-identical generated IR HEAD vs pre-M3 9a609ae), NO ratify; architect Invariant 1 + M1/M2 byte-invariant + frozen-SSOT consistency all clean

2026-05-18 21:37:26 +02:00

..

journals

audit embedding-abi-m3: milestone close — DRIFT (1 [medium]+[low] doc-honesty -> one tidy); bench check.py exit 1 decisively causally exonerated (byte-identical generated IR HEAD vs pre-M3 9a609ae), NO ratify; architect Invariant 1 + M1/M2 byte-invariant + frozen-SSOT consistency all clean

2026-05-18 21:37:26 +02:00

plans

iter embedding-abi-m3.1 (PARTIAL 5/7 + Boss spec-defect repair): single-ctor scalar record crosses the C ABI, ownership follows declared mode

2026-05-18 21:16:41 +02:00

specs

iter embedding-abi-m3.1 (PARTIAL 5/7 + Boss spec-defect repair): single-ctor scalar record crosses the C ABI, ownership follows declared mode

2026-05-18 21:16:41 +02:00

DESIGN.md

iter embedding-abi-m3.1 (DONE 6-7): freeze the value layout — DESIGN.md frozen-layout SSOT + lockstep pointers + enforceable byte-pin

2026-05-18 21:29:50 +02:00

journal-archive.md

iter or.1.1: migrate JOURNAL.md to journal-archive.md + docs/journals/

2026-05-11 11:14:08 +02:00

PROSE_ROUNDTRIP.md

iter docs-honesty-lint.1: canonical docs present-tense-honest + wrap-robust pin + Sweep 5

2026-05-18 12:30:03 +02:00

roadmap.md

spec: embedding-abi-m3 — frozen value layout + single ADT/record crossing + RC ownership contract (user-approved, grounding-check PASS 8/8); open in-flight [~]

2026-05-18 20:35:05 +02:00

WhatsNew.md

roadmap: close Embedding ABI — M2 ([~]->[x]); WhatsNew

2026-05-18 17:53:13 +02:00