giles 2fc8c24163 maude: Phase 8 design proposal — gate met, thin-kernel cut rejected on consumer evidence (facade recommended) ...

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

2026-06-30 12:32:58 +00:00

..

agent-briefings

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

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

designs

hs: query targets, prolog hook, loop scripts, new plans, WASM regen

2026-05-06 09:19:56 +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

…

artdag-on-sx.md

artdag: log api facade in plan progress

2026-06-07 12:34:30 +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: lock op-log block-type coverage (callout/media via store) + 4 tests (746/746)

2026-06-07 09:03:23 +00:00

datalog-on-sx.md

…

dream-on-sx.md

plans: briefings for 5 language chisels + host/relations/artdag/dream

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

elixir-on-sx.md

…

elm-on-sx.md

…

erlang-on-sx.md

…

events-on-sx.md

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

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

fed-sx-design.md

…

fed-sx-host-primitives.md

…

fed-sx-milestone-1.md

…

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

…

haskell-completeness.md

…

haskell-on-sx.md

…

host-on-sx.md

…

hs-blockers-drain.md

…

hs-bucket-f.md

…

hs-conformance-scoreboard.md

…

hs-conformance-to-100.md

…

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

…

jit-cache-architecture.md

…

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

…

koka-on-sx.md

…

lib-guest-method-chain.md

…

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

…

lib-guest-static-types-bidirectional.md

…

lib-guest-test-runner.md

…

lib-guest.md

…

linear-on-sx.md

…

lua-on-sx.md

…

maude-on-sx.md

maude: Phase 8 design proposal — gate met, thin-kernel cut rejected on consumer evidence (facade recommended)

2026-06-30 12:32:58 +00:00

minikanren-deferred.md

…

minikanren-on-sx.md

…

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

…

persist-on-sx.md

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

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

probabilistic-on-sx.md

…

prolog-on-sx.md

…

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

…

restore-jit-perf.sh

…

restore-lib-guest.sh

…

restore-loop.sh

…

restore-minikanren.sh

…

restore-ocaml.sh

…

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-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

…