diff --git a/current/CHECKPOINT-EXTERN-EXPORT.md b/current/CHECKPOINT-EXTERN-EXPORT.md index 364ed18..5da2106 100644 --- a/current/CHECKPOINT-EXTERN-EXPORT.md +++ b/current/CHECKPOINT-EXTERN-EXPORT.md @@ -111,9 +111,12 @@ verify/align it at the A→B gate (a bare-extern lib-less fn should be policed l `#foreign` twin). Adding it now would be untested — needs a cross-module example. ## Open decisions -Part A ratified (bare / postfix / `⇒ callconv(.c)` / lib-separate). Part B (confirm -before Phase 9): runtime-class rename target — `Runtime*Class*` (recommended); -historical carve-out — keep `issues/*.md` provenance, gate the live tree only. +Part A ratified (bare / postfix / `⇒ callconv(.c)` / lib-separate). Part B: +- **Decision 5 RATIFIED** (user, 2026-06-14): runtime-class rename target = `Runtime*Class*` + (object-model axis, not linkage). Drives the Phase 9.2 identifier renames. +- **Decision 6 STILL OPEN**: historical carve-out — keep `issues/*.md` (+ design-doc prose) + as provenance & gate only the live tree (recommended) vs purge everything. The user did + NOT confirm this at the Part A milestone; confirm before Phase 9. ## Log - (init) Plan written; FFI-linkage stream opened. diff --git a/current/PLAN-EXTERN-EXPORT.md b/current/PLAN-EXTERN-EXPORT.md index a4bea08..319329e 100644 --- a/current/PLAN-EXTERN-EXPORT.md +++ b/current/PLAN-EXTERN-EXPORT.md @@ -157,10 +157,10 @@ optional `LIB`+`"csym"` axis (`extern_lib`/`extern_name`), mirroring `#foreign L "csym"`, so it's a true `#foreign` superset (Gate A→B). The `#library` declaration + build-flag linking mechanism stays separate — `extern` references a lib, doesn't fold in `#library`. (Was: "library fully separate / not on `extern`".) -*Part B (confirm before Phase 9):* 5. runtime-class rename target — **`Runtime*Class*`** -(recommended; it's the object-model axis, not linkage) vs `Extern*Class*`. -6. historical carve-out — keep `issues/*.md` (+ design-doc prose) as provenance, -gate only the live tree (recommended) vs purge everything. +*Part B:* 5. runtime-class rename target — **RATIFIED `Runtime*Class*`** (user, 2026-06-14; +it's the object-model axis, not linkage). 6. historical carve-out — **STILL OPEN** (user did +not confirm at the Part A milestone): keep `issues/*.md` (+ design-doc prose) as provenance & +gate only the live tree (recommended) vs purge everything. Confirm 6 before Phase 9. ## Relationship to ASM `PLAN-ASM.md` Phase F (global asm) consumes `extern` (import the asm symbol) and