giles b3363a8631 plan: north star — the metamodel as a system-construction kit ...

Name the destination: the host becomes a self-describing metamodel where you define a
domain (types + relations with signatures/algebra) and a working system falls out — the
blog is one seeded configuration. Most instance UI is already generic (relation editors
iterate the relations, pickers come from declares-anchors, validation from :schema), so
'define the types' is mostly a metamodel editor + a generic instance form + a
clear-and-reseed. Frames Slices 6-7 as the schema language this is for.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

2026-06-30 09:29:12 +00:00

..

agent-briefings

Merge loops/conformance into architecture: A1 conformance-driver migration

2026-06-07 14:11:28 +00:00

designs

…

abstractions.md

plans: rose-ash-on-sx migration strategy + radar abstraction backlog (from loops/radar)

2026-06-07 15:09:37 +00:00

acl-on-sx.md

acl: hardening suite (+25) — diamonds, cycles, validation, audit save/restore

2026-06-06 22:44:28 +00:00

apl-on-sx.md

apl: het-inner-product encloses (+4); life.apl restored to as-written

2026-05-11 21:19:06 +00:00

artdag-on-sx.md

artdag: log api facade in plan progress

2026-06-07 12:34:30 +00:00

blog-editor-island.md

host: hand off the native SX-island editor (browser-capable session)

2026-06-19 21:04:21 +00:00

commerce-on-sx.md

commerce: end-to-end composition integration suite (19 tests) — hardening

2026-06-07 13:40:02 +00:00

common-lisp-on-sx.md

…

content-on-sx.md

content: tree-wide content/find + has? (778/778)

2026-06-07 14:49:15 +00:00

datalog-on-sx.md

datalog: dl-set-strategy! validates known strategy values

2026-05-11 09:40:29 +00:00

dream-on-sx.md

dream: security headers + cache-control middleware + 12 tests

2026-06-07 15:20:55 +00:00

elixir-on-sx.md

…

elm-on-sx.md

…

erlang-on-sx.md

erlang: wire file:list_dir/1 against file-list-dir (Phase 8, +4 ffi tests); 729/729, progress log

2026-05-18 22:01:03 +00:00

events-on-sx.md

events: cross-event conflict-checked booking + 8 tests

2026-06-07 13:59:37 +00:00

fed-sx-design.md

erlang: sync fed-sx + opcode-ext plans; add Phase 9 (specialized opcodes)

2026-05-14 20:45:05 +00:00

fed-sx-host-primitives.md

fed-prims: diagnose fed-sx-m2 Blockers #4 — not a mutex bug, hand back to m2

2026-06-07 14:43:54 +00:00

fed-sx-milestone-1.md

erlang: sync fed-sx + opcode-ext plans; add Phase 9 (specialized opcodes)

2026-05-14 20:45:05 +00:00

feed-on-sx.md

feed: conversation threading — :reply-to transitive closure (thread/replies/thread-size) + 12 tests

2026-06-06 17:00:10 +00:00

flow-on-sx.md

flow: reference host driver flow-drive-host/flow-run-host + 4 tests

2026-06-06 19:33:04 +00:00

forth-on-sx.md

…

go-on-sx.md

go: tick Phases 4 + 5b + 11 — every phase box ✅, loop formally closed [nothing]

2026-05-28 03:48:07 +00:00

HANDOFF-enable-serving-jit.md

docs: serving-JIT handoff (from sx-vm-extensions) + host-loop correction

2026-06-28 18:53:25 +00:00

HANDOFF-jit-miscompile.md

host: fix serving-JIT host miscompile — install IO resolver for http-listen

2026-06-28 20:13:24 +00:00

haskell-completeness.md

haskell: Phase 17 — import declarations anywhere among top-level decls

2026-05-10 19:11:36 +00:00

haskell-on-sx.md

…

host-on-sx.md

docs: serving-JIT handoff (from sx-vm-extensions) + host-loop correction

2026-06-28 18:53:25 +00:00

host-spa.md

host: doc — blog SPA complete + live on the WASM OCaml kernel

2026-06-29 11:11:18 +00:00

hs-blockers-drain.md

…

hs-bucket-f.md

…

hs-conformance-scoreboard.md

HS scoreboard: io-wait-event fix landed — both wait regressions cleared

2026-05-12 21:33:50 +00:00

hs-conformance-to-100.md

hs: port loops/hs RPC test infrastructure to architecture's test runner

2026-05-14 07:26:43 +00:00

identity-on-sx.md

identity: PKCE S256 (RFC 7636 §4.2) — now the erlang binary substrate is fixed

2026-06-07 14:12:10 +00:00

idris-on-sx.md

plans: layered-stack framing + chisel sequence + loop scaffolding

2026-05-08 22:27:50 +00:00

jit-bytecode-correctness.md

vm-ext: document CL call/cc-caller exclusion in plan

2026-06-28 16:32:17 +00:00

jit-cache-architecture.md

JIT: mark Phase 1 done in architecture plan; document WASM ABI rollout caveat

2026-05-08 23:57:53 +00:00

jit-perf-regression.md

…

js-on-sx.md

Merge loops/js into architecture: var hoisting + ASI + matchAll on top of regex engine / TDZ scaffolding

2026-05-12 20:47:05 +00:00

kernel-on-sx.md

plans: kernel-on-sx — log quoting.sx extraction + evaluator.sx decline

2026-05-14 07:55:08 +00:00

koka-on-sx.md

…

lib-guest-method-chain.md

method-chain: plan — current status + future-consumer notes

2026-05-12 21:14:28 +00:00

lib-guest-reflective.md

reflective: Phase 3 docs — mark env.sx extraction DONE, others still blocked

2026-05-12 07:04:17 +00:00

lib-guest-scheduler.md

go: Phase 10 closed — sister plans cross-referenced [nothing]

2026-05-28 03:14:12 +00:00

lib-guest-static-types-bidirectional.md

go: Phase 10 closed — sister plans cross-referenced [nothing]

2026-05-28 03:14:12 +00:00

lib-guest-test-runner.md

test-runner: plan — per-guest migration playbook for Phase 2

2026-05-12 19:41:29 +00:00

lib-guest.md

plans: layered-stack framing + chisel sequence + loop scaffolding

2026-05-08 22:27:50 +00:00

linear-on-sx.md

plans: layered-stack framing + chisel sequence + loop scaffolding

2026-05-08 22:27:50 +00:00

lua-on-sx.md

…

maude-on-sx.md

plans: layered-stack framing + chisel sequence + loop scaffolding

2026-05-08 22:27:50 +00:00

minikanren-deferred.md

plans: minikanren-deferred — four pieces of follow-up work

2026-05-09 13:03:05 +00:00

minikanren-on-sx.md

GUEST-plan: deferred work shipped — pieces A B C D

2026-05-09 14:20:28 +00:00

mod-on-sx.md

plans: correct extraction note — declined after reading both impls

2026-06-07 09:10:57 +00:00

ocaml-on-sx.md

ocaml: phase 5.1 trapping_rain.ml baseline (LeetCode trapped water = 6)

2026-05-11 05:54:39 +00:00

persist-on-sx.md

host-persist: content-addressed blob adapter — Blocker CLOSED

2026-06-06 22:56:27 +00:00

probabilistic-on-sx.md

plans: layered-stack framing + chisel sequence + loop scaffolding

2026-05-08 22:27:50 +00:00

prolog-on-sx.md

…

relations-as-posts.md

plan: north star — the metamodel as a system-construction kit

2026-06-30 09:29:12 +00:00

relations-on-sx.md

relations: weakly-connected components (component, components partition, count) + 11 tests

2026-06-07 13:43:20 +00:00

restore-all.sh

…

restore-datalog.sh

plans: layered-stack framing + chisel sequence + loop scaffolding

2026-05-08 22:27:50 +00:00

restore-jit-perf.sh

plans: layered-stack framing + chisel sequence + loop scaffolding

2026-05-08 22:27:50 +00:00

restore-lib-guest.sh

plans: layered-stack framing + chisel sequence + loop scaffolding

2026-05-08 22:27:50 +00:00

restore-loop.sh

…

restore-minikanren.sh

plans: layered-stack framing + chisel sequence + loop scaffolding

2026-05-08 22:27:50 +00:00

restore-ocaml.sh

plans: layered-stack framing + chisel sequence + loop scaffolding

2026-05-08 22:27:50 +00:00

rose-ash-on-sx-migration.md

plans: rose-ash-on-sx migration strategy + radar abstraction backlog (from loops/radar)

2026-06-07 15:09:37 +00:00

ruby-on-sx.md

…

scheme-on-sx.md

plans: scheme-on-sx progress log — 11 phases done, 296 tests

2026-05-14 06:53:36 +00:00

search-on-sx.md

search: did-you-mean spelling suggestion + 9 tests

2026-06-07 00:46:22 +00:00

smalltalk-on-sx.md

…

sx-improvements.md

…

sx-native-engine-tests.md

plan: Phase 3 render-to-console done; live TTY input loop noted as future

2026-06-29 18:09:15 +00:00

sx-vm-opcode-extension.md

vm-ext: phase E — JIT skips lambdas containing extension opcodes

2026-05-15 01:53:39 +00:00

tcl-on-sx.md

…

tcl-sx-completion.md

plans: Phase 7 verified — 427/427 (idiom 110)

2026-05-08 22:55:20 +00:00

typed-posts-and-relations.md

host: typed relations — Phase 1, generalize edges to carry a kind

2026-06-28 16:21:14 +00:00