admin/LithosAnanake
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

FABRIC-2.md: record IS/DEFER@ closure (commit 6f59e4f)

Browse Source 
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
This commit is contained in:
Robert Allan James
2026-08-15 05:47:18 -04:00
co-authored by Claude Sonnet 5
parent 6f59e4f27c
commit e3d4e202e2
1 changed files with 12 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
FABRIC-2.md
+12 -3
View File
@@ -236,9 +236,18 @@ and recorded.
> closed to the same point minus one remaining per-word gap each (`:` needs a > closed to the same point minus one remaining per-word gap each (`:` needs a
> `vm->compiling_word`-tracking field that doesn't exist yet; DEFER's own runtime is a > `vm->compiling_word`-tracking field that doesn't exist yet; DEFER's own runtime is a
> structurally different DF usage — dispatch reassignment via a stored pointer, not a > structurally different DF usage — dispatch reassignment via a stored pointer, not a
> plain value). Full suite: 54 theories, green. Not yet done: IS/DEFER@ (need the > plain value). Full suite: 54 theories, green.
> FIND-family name-resolution gap first), the vocabulary-chain mechanics, the >
> block-window cache, the hot-words cache — each flagged as its own project, not started. > **Continued, commit `6f59e4f`.** IS/DEFER@ (`StarForth_Defer_Words.thy`) now modelled
> end to end too, sidestepping the FIND-family name-resolution gap (still itself
> unmodelled everywhere in this suite) the same way `physics_freeze_words.c`'s
> FREEZE-WORD/UNFREEZE-WORD/etc. already do — parameterised over an explicit
> `target_wid_opt`/`is_defer_word` pair standing in for "whatever `vm_find_word` plus the
> `func != defer_runtime` identity check would have resolved." `defer_runtime` itself
> remains unmodelled: unlike IS/DEFER@'s plain-value DF access, it uses the DF value as a
> dispatch target through `word_table`, gap (c), a structurally different case. Not yet
> done: the vocabulary-chain mechanics, the block-window cache, the hot-words cache —
> each flagged as its own project, not started.
- [ ] **5.3 — Shrink the subsystem documents.** `ARTEMIS.md`, `HERMES.md`, `CONSOLE.md`, - [ ] **5.3 — Shrink the subsystem documents.** `ARTEMIS.md`, `HERMES.md`, `CONSOLE.md`,
`TRIPOD.md` need trimming now that `FABRIC-2.md` (via `FABRIC.md`) is the design-of-record. `TRIPOD.md` need trimming now that `FABRIC-2.md` (via `FABRIC.md`) is the design-of-record.