From 5bd25b61df63d7026565fd299186580e12046367 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Sat, 19 Sep 2026 10:59:29 +0700 Subject: [PATCH] Where the session stopped, and what is still in the air --- FIX.org | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/FIX.org b/FIX.org index 4bd2388..1cc40ad 100644 --- a/FIX.org +++ b/FIX.org @@ -381,3 +381,26 @@ now the package's rather than a test program's. Still not built, still item 9 on docs/PORTING.md's list: [(read-edn T bytes)], the typed half. It wants a compile-time walk over a struct's fields and there is no run-time type information to do it with at run time. + +* Session close, 2026-09-20 — dynamic-first M1 landed +Merged on dev-loop, all green (dune test --force 0 failures, @x86 130 match, +@sanitize clean): the dyn type (unannotated defn params/returns are dyn, +NaN-boxed runtime, mark-sweep GC, --no-gc refuses residual dyn by location), +the provider macros (defedn/defjson off macro-slurp; NEXT.md item 9 closed), +computed global initialisers on both backends, x86 frame pushes (inspector +works under the x86 default), the !-suffix retirement, and the flan-dev→flan +rename. typed-flan branch freezes the static language pre-dyn. + +** Still in flight, worktree branches to merge when they report +- x86 dyn lowering + the x86/LLVM invoke-restart divergence (one lane, two + commits) — the author is waiting on this one to start playing. +- The writable inspector (SLY-style set + editable render buffer). +- docs/SPIKE-DUPLICITY.md, the dyn/native boundary audit (report only). + +** Open, author's call +- sand.flan holds uncommitted WIP: a defvar initialiser reading game-data.edn + at startup aborts the headless import (unhandled FileError at the test's + CWD). Options on the table: embed, handler-bind fallback, or harness dep. +- Signature pairing's cold-rebuild edge: a later type definition can silently + re-pair an unannotated parameter vector; a changed-pairing warning between + compiles was proposed and not yet queued.