From 57b4b56eae4841a5e3a104af835d2a5aff884c77 Mon Sep 17 00:00:00 2001 From: "shoney.arickathil" Date: Thu, 20 Aug 2026 04:33:24 +0200 Subject: [PATCH] =?UTF-8?q?docs:=20stories=20foldered=20by=20state=20?= =?UTF-8?q?=E2=80=94=20done/=20and=20refine/?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - done/ (11): 1, 2, 3, 4, 6, 7, 7b, 9, 9b, 15, 16 — landed iterations (9/9b remainders live in the post-12 drain list, not in the files) - refine/ (8): 9c, 9d, 9e, 9f, 9g, 11, 13, 14 — everything marked "no spec yet / brainstorm before planning" - root keeps: 00-story (index), 05 (partial, plan 8 open), 8/10/12 (specs or plans exist), 17 (parked, spec+plan approved), 18 (next) - every cross-reference re-pathed and VERIFIED resolving: board, specs, plans, employee-list README, story table, intra-story links (moved files' relative links deepened one level; done/7b's 9e pointer now crosses to refine/) - pre-existing dead link noted, not touched: refine/11-fibers.md points at docs/plan/exploration/fibers/00-fibers.md which does not exist (predates the move) Co-Authored-By: Claude Opus 5 (1M context) --- docs/00-status.md | 40 +++++++++---------- docs/examples/employee-list/README.md | 4 +- .../language-runtime-database/00-story.md | 38 +++++++++--------- .../08-shard-actor-runtime.md | 4 +- .../{ => done}/01-principles-doc.md | 2 +- .../{ => done}/02-vm-core.md | 2 +- .../{ => done}/03-compiler-front.md | 2 +- .../{ => done}/04-single-binary-e2e.md | 2 +- .../{ => done}/06-program-mode-stdlib.md | 4 +- .../{ => done}/07-logwatcher-proof.md | 6 +-- .../{ => done}/07b-inferred-gc-mark-sweep.md | 10 ++--- .../{ => done}/09-database-engine.md | 4 +- .../{ => done}/09b-table-relations-query.md | 6 +-- .../{ => done}/15-deps-package-manager.md | 6 +-- .../{ => done}/16-web-framework.md | 6 +-- .../{ => refine}/09c-cross-program-tables.md | 2 +- .../{ => refine}/09d-keypair-attach-auth.md | 2 +- .../09e-durability-throughput-scale.md | 2 +- .../{ => refine}/09f-io-uring-commit.md | 2 +- .../{ => refine}/09g-query-grammar-corpus.md | 2 +- .../{ => refine}/11-fibers.md | 6 +-- .../13-compile-time-metaprogramming.md | 4 +- .../14-skillhost-host-workload.md | 2 +- .../plans/2026-08-18-deps-package-manager.md | 2 +- .../2026-08-18-inferred-gc-mark-sweep.md | 2 +- .../plans/2026-08-19-web-framework.md | 2 +- ...2026-08-15-table-relations-query-design.md | 2 +- 27 files changed, 83 insertions(+), 83 deletions(-) rename docs/stories/language-runtime-database/{ => done}/01-principles-doc.md (99%) rename docs/stories/language-runtime-database/{ => done}/02-vm-core.md (99%) rename docs/stories/language-runtime-database/{ => done}/03-compiler-front.md (99%) rename docs/stories/language-runtime-database/{ => done}/04-single-binary-e2e.md (99%) rename docs/stories/language-runtime-database/{ => done}/06-program-mode-stdlib.md (95%) rename docs/stories/language-runtime-database/{ => done}/07-logwatcher-proof.md (93%) rename docs/stories/language-runtime-database/{ => done}/07b-inferred-gc-mark-sweep.md (95%) rename docs/stories/language-runtime-database/{ => done}/09-database-engine.md (95%) rename docs/stories/language-runtime-database/{ => done}/09b-table-relations-query.md (97%) rename docs/stories/language-runtime-database/{ => done}/15-deps-package-manager.md (94%) rename docs/stories/language-runtime-database/{ => done}/16-web-framework.md (97%) rename docs/stories/language-runtime-database/{ => refine}/09c-cross-program-tables.md (99%) rename docs/stories/language-runtime-database/{ => refine}/09d-keypair-attach-auth.md (99%) rename docs/stories/language-runtime-database/{ => refine}/09e-durability-throughput-scale.md (99%) rename docs/stories/language-runtime-database/{ => refine}/09f-io-uring-commit.md (99%) rename docs/stories/language-runtime-database/{ => refine}/09g-query-grammar-corpus.md (99%) rename docs/stories/language-runtime-database/{ => refine}/11-fibers.md (95%) rename docs/stories/language-runtime-database/{ => refine}/13-compile-time-metaprogramming.md (99%) rename docs/stories/language-runtime-database/{ => refine}/14-skillhost-host-workload.md (99%) diff --git a/docs/00-status.md b/docs/00-status.md index a13d11f..a6ccaa9 100644 --- a/docs/00-status.md +++ b/docs/00-status.md @@ -123,7 +123,7 @@ itself, and all six landed: quarantine warm-up. Plan: [`plan/compiler/2026-08-14-logwatcher-executable.md`](plan/compiler/2026-08-14-logwatcher-executable.md) · -Story slice: [`docs/stories/language-runtime-database/07-logwatcher-proof.md`](stories/language-runtime-database/07-logwatcher-proof.md) +Story slice: [`docs/stories/language-runtime-database/done/07-logwatcher-proof.md`](stories/language-runtime-database/done/07-logwatcher-proof.md) **Deferred by name, with the measurement that says so:** @@ -157,29 +157,29 @@ that sequences its tasks. Read one, approve, then the next starts. | # | Iteration | State | | --- | -------------------------------------------------------------------------------------------- | ---------------------------- | ---- | -| 1 | [Principles doc](stories/language-runtime-database/01-principles-doc.md) | ✅ | -| 2 | [VM core (`wovm`)](stories/language-runtime-database/02-vm-core.md) | ✅ | -| 3 | [Compiler front (`woc`)](stories/language-runtime-database/03-compiler-front.md) | ✅ (known gaps below) | -| 4 | [Single binary end-to-end](stories/language-runtime-database/04-single-binary-e2e.md) | ✅ (known gaps below) | +| 1 | [Principles doc](stories/language-runtime-database/done/01-principles-doc.md) | ✅ | +| 2 | [VM core (`wovm`)](stories/language-runtime-database/done/02-vm-core.md) | ✅ | +| 3 | [Compiler front (`woc`)](stories/language-runtime-database/done/03-compiler-front.md) | ✅ (known gaps below) | +| 4 | [Single binary end-to-end](stories/language-runtime-database/done/04-single-binary-e2e.md) | ✅ (known gaps below) | | 5 | [Language surface](stories/language-runtime-database/05-language-surface.md) | 🔄 grammar done; **`?T` forced handling ✅ + reject rows ✅ + WO-E205 ✅ (2026-08-18)**; `pub(read)`/`using`/`#if` still ⏸ | -| 6 | [Program mode + stdlib](stories/language-runtime-database/06-program-mode-stdlib.md) | ✅ (the surface log-watcher uses) | -| 7 | [log-watcher proof](stories/language-runtime-database/07-logwatcher-proof.md) | ✅ **landed 2026-08-15** — executable, not merely compilable: zero ASan leaks in all three modes, SIGTERM ends parked syscalls, fds flat, `LW_SOAK` gate; `just log-watcher` 7/0 | -| 7b | [Inferred GC + mark-sweep](stories/language-runtime-database/07b-inferred-gc-mark-sweep.md) | ✅ **landed 2026-08-18** — `@gc` gone (WO-E104), GC-ness inferred, RC replaced by incremental mark-sweep, `.wob` v4; supersedes iteration 2's RC memory model | +| 6 | [Program mode + stdlib](stories/language-runtime-database/done/06-program-mode-stdlib.md) | ✅ (the surface log-watcher uses) | +| 7 | [log-watcher proof](stories/language-runtime-database/done/07-logwatcher-proof.md) | ✅ **landed 2026-08-15** — executable, not merely compilable: zero ASan leaks in all three modes, SIGTERM ends parked syscalls, fds flat, `LW_SOAK` gate; `just log-watcher` 7/0 | +| 7b | [Inferred GC + mark-sweep](stories/language-runtime-database/done/07b-inferred-gc-mark-sweep.md) | ✅ **landed 2026-08-18** — `@gc` gone (WO-E104), GC-ness inferred, RC replaced by incremental mark-sweep, `.wob` v4; supersedes iteration 2's RC memory model | | 8 | [Shard-actor runtime](stories/language-runtime-database/08-shard-actor-runtime.md) | ⬜ | -| 9 | [Database engine](stories/language-runtime-database/09-database-engine.md) | 🔄 engine complete (storage/WAL/indexes/insert-update-delete); reads land with 9b | -| 9b | [`@table`, relations, query](stories/language-runtime-database/09b-table-relations-query.md) | 🔄 query surface + relations + FK done (branch query-surface); group-by parked | -| 9c | [Cross-program tables](stories/language-runtime-database/09c-cross-program-tables.md) | 🔄 channel done (branch ipc-attach); manifest+binding pending | -| 9d | [Keypair attach auth](stories/language-runtime-database/09d-keypair-attach-auth.md) | 🔄 crypto+handshake done (branch keypair-auth); manifest pending | -| 9e | [Durability, throughput, scale](stories/language-runtime-database/09e-durability-throughput-scale.md) | ⬜ needs a spec first | -| 9f | [io_uring group-commit](stories/language-runtime-database/09f-io-uring-commit.md) | ⬜ after 8 + 9e | -| 9g | [Query grammar corpus](stories/language-runtime-database/09g-query-grammar-corpus.md) | ⬜ needs a spec first | +| 9 | [Database engine](stories/language-runtime-database/done/09-database-engine.md) | 🔄 engine complete (storage/WAL/indexes/insert-update-delete); reads land with 9b | +| 9b | [`@table`, relations, query](stories/language-runtime-database/done/09b-table-relations-query.md) | 🔄 query surface + relations + FK done (branch query-surface); group-by parked | +| 9c | [Cross-program tables](stories/language-runtime-database/refine/09c-cross-program-tables.md) | 🔄 channel done (branch ipc-attach); manifest+binding pending | +| 9d | [Keypair attach auth](stories/language-runtime-database/refine/09d-keypair-attach-auth.md) | 🔄 crypto+handshake done (branch keypair-auth); manifest pending | +| 9e | [Durability, throughput, scale](stories/language-runtime-database/refine/09e-durability-throughput-scale.md) | ⬜ needs a spec first | +| 9f | [io_uring group-commit](stories/language-runtime-database/refine/09f-io-uring-commit.md) | ⬜ after 8 + 9e | +| 9g | [Query grammar corpus](stories/language-runtime-database/refine/09g-query-grammar-corpus.md) | ⬜ needs a spec first | | 10 | [HTTP service layer](stories/language-runtime-database/10-http-service.md) | ⬜ | Hold | -| 11 | [Fibers](stories/language-runtime-database/11-fibers.md) | ⬜ | Hold | +| 11 | [Fibers](stories/language-runtime-database/refine/11-fibers.md) | ⬜ | Hold | | 12 | [Blue-green deploy](stories/language-runtime-database/12-blue-green-deploy.md) | ⬜ | Hold | -| 13 | [Compile-time metaprogramming](stories/language-runtime-database/13-compile-time-metaprogramming.md) | ⬜ needs a spec first | -| 14 | [skillhost host workload](stories/language-runtime-database/14-skillhost-host-workload.md) | ⬜ gaps recorded (branch query-grammar found skillhost needs no new query grammar); each gap a candidate iteration | -| 15 | [deps: `wo.toml [deps]`](stories/language-runtime-database/15-deps-package-manager.md) | ✅ **landed 2026-08-18** (branch web-framework): [deps] inline tables, git-binary fetch, wo.lock pinning, offline-when-locked, --update-deps, WO-E106/E107; `just deps-accept` 8/0 | -| 16 | [web framework](stories/language-runtime-database/16-web-framework.md) | ✅ **landed 2026-08-19** — writeonce-framework (HTTP/1.1 + router + Handler/Middleware) consumed by web-app through [deps]; h2c parked (§C) behind 8/9f/11. **v1 polish landed 2026-08-20** (branch framework-v1): get/post/put/delete_ helpers, 405+Allow, HEAD, Logging middleware, set_header; `just web-app` 16/0; fixed the interp-borrowed-field emitter crash en route. **Auth-in-core landed 2026-08-20**: http/auth.wo (Bearer/Basic, ct_eq, req.principal), web-app dogfoods BearerAuth, gate 17/0 | +| 13 | [Compile-time metaprogramming](stories/language-runtime-database/refine/13-compile-time-metaprogramming.md) | ⬜ needs a spec first | +| 14 | [skillhost host workload](stories/language-runtime-database/refine/14-skillhost-host-workload.md) | ⬜ gaps recorded (branch query-grammar found skillhost needs no new query grammar); each gap a candidate iteration | +| 15 | [deps: `wo.toml [deps]`](stories/language-runtime-database/done/15-deps-package-manager.md) | ✅ **landed 2026-08-18** (branch web-framework): [deps] inline tables, git-binary fetch, wo.lock pinning, offline-when-locked, --update-deps, WO-E106/E107; `just deps-accept` 8/0 | +| 16 | [web framework](stories/language-runtime-database/done/16-web-framework.md) | ✅ **landed 2026-08-19** — writeonce-framework (HTTP/1.1 + router + Handler/Middleware) consumed by web-app through [deps]; h2c parked (§C) behind 8/9f/11. **v1 polish landed 2026-08-20** (branch framework-v1): get/post/put/delete_ helpers, 405+Allow, HEAD, Logging middleware, set_header; `just web-app` 16/0; fixed the interp-borrowed-field emitter crash en route. **Auth-in-core landed 2026-08-20**: http/auth.wo (Bearer/Basic, ct_eq, req.principal), web-app dogfoods BearerAuth, gate 17/0 | | 17 | [library projects + `internal/`](stories/language-runtime-database/17-library-projects-internal.md) | ⏸ **PARKED 2026-08-20** (developer directive; framework v1 first) — forks settled, spec + plan approved and ready on branch `library-internal`: kind = "library" key; Go internal/ rule, dep-boundary-only; lib+bin dual; VM/GC untouched by design | | 18 | [framework v2: memory-rich features](stories/language-runtime-database/18-memory-db-features.md) | 🔄 **spec APPROVED 2026-08-20, plan next** ([spec](superpowers/specs/2026-08-20-memory-db-features-design.md)): TTL cache + @table flags + durable job queue (drain-on-request) + `transaction { }` over the WAL's staged batch; pub/sub REJECTED until 8/11 | diff --git a/docs/examples/employee-list/README.md b/docs/examples/employee-list/README.md index a755455..416d41a 100644 --- a/docs/examples/employee-list/README.md +++ b/docs/examples/employee-list/README.md @@ -2,8 +2,8 @@ > **Status: target workload — does not compile on today's toolchain.** > Written ahead of iterations -> [9c (cross-program tables)](../../stories/language-runtime-database/09c-cross-program-tables.md) -> and [9d (keypair attach auth)](../../stories/language-runtime-database/09d-keypair-attach-auth.md), +> [9c (cross-program tables)](../../stories/language-runtime-database/refine/09c-cross-program-tables.md) +> and [9d (keypair attach auth)](../../stories/language-runtime-database/refine/09d-keypair-attach-auth.md), > the way every acceptance sample here precedes its features. It also leans > on 9/9b (the [employee sample](../employee/) it attaches to must run > first). diff --git a/docs/stories/language-runtime-database/00-story.md b/docs/stories/language-runtime-database/00-story.md index 422d139..676bf94 100644 --- a/docs/stories/language-runtime-database/00-story.md +++ b/docs/stories/language-runtime-database/00-story.md @@ -48,30 +48,30 @@ iterations by number, so numbers never renumber. | Seq | # | Iteration | Delivers | | --- | --- | --- | --- | -| 1 | 1 | [Principles doc](01-principles-doc.md) | `docs/00-principles.md` — the doctrine page every later slice links back to | -| 2 | 2 | [VM core](02-vm-core.md) | `wovm`: `.wob` loader, register interpreter, arena, borrow word, `@gc` collector | -| 3 | 3 | [Compiler front](03-compiler-front.md) | `woc`: lexer → parser → typechecker → ownership pass, diagnostics | -| 4 | 4 | [Single binary end-to-end](04-single-binary-e2e.md) | emitter + conformance corpus + `woc build` self-contained binary | +| 1 | 1 | [Principles doc](done/01-principles-doc.md) | `docs/00-principles.md` — the doctrine page every later slice links back to | +| 2 | 2 | [VM core](done/02-vm-core.md) | `wovm`: `.wob` loader, register interpreter, arena, borrow word, `@gc` collector | +| 3 | 3 | [Compiler front](done/03-compiler-front.md) | `woc`: lexer → parser → typechecker → ownership pass, diagnostics | +| 4 | 4 | [Single binary end-to-end](done/04-single-binary-e2e.md) | emitter + conformance corpus + `woc build` self-contained binary | | 5 | 5 | [Language surface](05-language-surface.md) | Haxe-parity adoptions: switch, records, optionals, try/catch, statics, modules… (`pub(read)`/`using`/`#if` remainders sit in the post-12 drain) | -| 6 | 6 | [Program mode + stdlib](06-program-mode-stdlib.md) | `fn main`, exit codes, `fs`/`proc`/`net`/`time`/`json` builtins | -| 7 | 7 | [log-watcher proof](07-logwatcher-proof.md) | the driving workload compiled, executable, soak-proven (landed 2026-08-15) | -| 8 | 7b | [Inferred GC + mark-sweep](07b-inferred-gc-mark-sweep.md) | `@gc` removed from the language; compiler infers GC-ness; RC replaced by incremental per-shard tri-color mark-sweep | -| 9 | 9 | [Database engine](09-database-engine.md) | class-shaped tables, typed WAL + recovery, `insert`/`select` execute | -| 10 | 9b | [`@table`, relations, query](09b-table-relations-query.md) | `@table` becomes real storage; typed `ref`/`backlink`/`multi` relations; compiler-checked LINQ-shaped queries lowered to engine ops | -| 11 | 15 | [deps: `wo.toml [deps]`](15-deps-package-manager.md) | exact-rev git dependencies + `wo.lock` + `.wo-deps` cache; `use ` resolves a fetched project as a module root; flat-only, network-free when locked | -| 12 | 16 | [web framework](16-web-framework.md) | a `.wo`-library framework (HTTP/1.1 keep-alive behind a TLS-terminating proxy): router, `Handler`/`Middleware` interfaces, auth, all three body hooks, `@table` data layer; `docs/examples/web-app` consumes it via `[deps]`; h2c parked behind 8/9f/11 | +| 6 | 6 | [Program mode + stdlib](done/06-program-mode-stdlib.md) | `fn main`, exit codes, `fs`/`proc`/`net`/`time`/`json` builtins | +| 7 | 7 | [log-watcher proof](done/07-logwatcher-proof.md) | the driving workload compiled, executable, soak-proven (landed 2026-08-15) | +| 8 | 7b | [Inferred GC + mark-sweep](done/07b-inferred-gc-mark-sweep.md) | `@gc` removed from the language; compiler infers GC-ness; RC replaced by incremental per-shard tri-color mark-sweep | +| 9 | 9 | [Database engine](done/09-database-engine.md) | class-shaped tables, typed WAL + recovery, `insert`/`select` execute | +| 10 | 9b | [`@table`, relations, query](done/09b-table-relations-query.md) | `@table` becomes real storage; typed `ref`/`backlink`/`multi` relations; compiler-checked LINQ-shaped queries lowered to engine ops | +| 11 | 15 | [deps: `wo.toml [deps]`](done/15-deps-package-manager.md) | exact-rev git dependencies + `wo.lock` + `.wo-deps` cache; `use ` resolves a fetched project as a module root; flat-only, network-free when locked | +| 12 | 16 | [web framework](done/16-web-framework.md) | a `.wo`-library framework (HTTP/1.1 keep-alive behind a TLS-terminating proxy): router, `Handler`/`Middleware` interfaces, auth, all three body hooks, `@table` data layer; `docs/examples/web-app` consumes it via `[deps]`; h2c parked behind 8/9f/11 | | **13** | **18** | [framework v2: memory-rich features](18-memory-db-features.md) | **NEXT — spec approved 2026-08-20**: TTL cache, @table feature flags with cached reads, durable @table job queue with drain-on-request, `transaction { }` exposing the WAL's staged batch (enqueue + write, one commit — no outbox) | -| 14 | 9c | [Cross-program tables](09c-cross-program-tables.md) | attach to a running program's database over a local IPC channel: manifest-granted rights, typed statements, owner stays the single writer (channel half-built) | -| 15 | 9d | [Keypair attach auth](09d-keypair-attach-auth.md) | program identity is a keypair: mutual challenge–response at attach, grants name public keys, replay-proof (crypto half-built; plan folds into 9c's) | -| 16 | 9e | [Durability, throughput, scale](09e-durability-throughput-scale.md) | restart-persistence proof, read/write benchmark, ~1M-row load; the baseline 8/9f/11 sign against | +| 14 | 9c | [Cross-program tables](refine/09c-cross-program-tables.md) | attach to a running program's database over a local IPC channel: manifest-granted rights, typed statements, owner stays the single writer (channel half-built) | +| 15 | 9d | [Keypair attach auth](refine/09d-keypair-attach-auth.md) | program identity is a keypair: mutual challenge–response at attach, grants name public keys, replay-proof (crypto half-built; plan folds into 9c's) | +| 16 | 9e | [Durability, throughput, scale](refine/09e-durability-throughput-scale.md) | restart-persistence proof, read/write benchmark, ~1M-row load; the baseline 8/9f/11 sign against | | 17 | 8 | [Shard-actor runtime](08-shard-actor-runtime.md) | thread-per-core shards, per-shard heaps, ownership-move messaging (collector precondition met by 7b) | -| 18 | 9f | [io_uring group-commit](09f-io-uring-commit.md) | replace fsync-per-commit with io_uring batched durability on the shard tick; fsync fallback kept (after 8 + 9e, explicit) | -| 19 | 11 | [Fibers](11-fibers.md) | green threads on the shard scheduler: reduction-budget preemption, blocking builtins park; unparks h2c (with 8/9f), streaming, cancellation, pub/sub, fiber jobs | +| 18 | 9f | [io_uring group-commit](refine/09f-io-uring-commit.md) | replace fsync-per-commit with io_uring batched durability on the shard tick; fsync fallback kept (after 8 + 9e, explicit) | +| 19 | 11 | [Fibers](refine/11-fibers.md) | green threads on the shard scheduler: reduction-budget preemption, blocking builtins park; unparks h2c (with 8/9f), streaming, cancellation, pub/sub, fiber jobs | | 20 | 10 | [HTTP service layer](10-http-service.md) | `service` blocks lower onto the framework (after 9b + 9c by their own precedence notes) | | 21 | 12 | [Blue-green deploy](12-blue-green-deploy.md) | two VM slots, in-runtime compile, atomic switch, resident rollback (plan authored after 9 + 10) | -| 22 | 9g | [Query grammar corpus](09g-query-grammar-corpus.md) | grow the query grammar from real corpora; likely collapses to "confirm `len(query)` + add `exists`"; precedes 14 | -| 23 | 14 | [skillhost host workload](14-skillhost-host-workload.md) | host-shaped driving workload naming runtime gaps (bounded subprocess, stdin/stdout transport, fs metadata, FFI-vs-out-of-process) — demoted with the framework goal | -| 24 | 13 | [Compile-time metaprogramming](13-compile-time-metaprogramming.md) | `@derive(Json/Csv/Eq/Hash/Show)` from class-table metadata; held behind 12 with the parked drain by the 2026-08-08 scope directive | +| 22 | 9g | [Query grammar corpus](refine/09g-query-grammar-corpus.md) | grow the query grammar from real corpora; likely collapses to "confirm `len(query)` + add `exists`"; precedes 14 | +| 23 | 14 | [skillhost host workload](refine/14-skillhost-host-workload.md) | host-shaped driving workload naming runtime gaps (bounded subprocess, stdin/stdout transport, fs metadata, FFI-vs-out-of-process) — demoted with the framework goal | +| 24 | 13 | [Compile-time metaprogramming](refine/13-compile-time-metaprogramming.md) | `@derive(Json/Csv/Eq/Hash/Show)` from class-table metadata; held behind 12 with the parked drain by the 2026-08-08 scope directive | | ⏸ | 17 | [library projects + `internal/`](17-library-projects-internal.md) | **PARKED** (spec + plan approved, branch `library-internal`) — `wo.toml` kind = "library" + Go's `internal/` rule; slots anywhere after 16 whenever directed, bringing the framework reorg with it | Review protocol: the developer reads one iteration, approves or amends; diff --git a/docs/stories/language-runtime-database/08-shard-actor-runtime.md b/docs/stories/language-runtime-database/08-shard-actor-runtime.md index c24b93c..15efcb9 100644 --- a/docs/stories/language-runtime-database/08-shard-actor-runtime.md +++ b/docs/stories/language-runtime-database/08-shard-actor-runtime.md @@ -45,9 +45,9 @@ - **Gated by the benchmark (2026-08-15):** this is the "optimize multithreading" lever of the performance arc — thread-per-core is a throughput/scale claim, so landing it means re-running iteration - [9e](09e-durability-throughput-scale.md) at the connection/concurrency + [9e](refine/09e-durability-throughput-scale.md) at the connection/concurrency scale it unlocks and recording the before/after delta. It is also where - the io_uring write path ([9f](09f-io-uring-commit.md)) gets a thread to + the io_uring write path ([9f](refine/09f-io-uring-commit.md)) gets a thread to overlap durability against. ## Proposed Solution diff --git a/docs/stories/language-runtime-database/01-principles-doc.md b/docs/stories/language-runtime-database/done/01-principles-doc.md similarity index 99% rename from docs/stories/language-runtime-database/01-principles-doc.md rename to docs/stories/language-runtime-database/done/01-principles-doc.md index 3b147b6..ddccfb8 100644 --- a/docs/stories/language-runtime-database/01-principles-doc.md +++ b/docs/stories/language-runtime-database/done/01-principles-doc.md @@ -1,7 +1,7 @@ # Iteration 1 — the principles doc > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). ## Goals diff --git a/docs/stories/language-runtime-database/02-vm-core.md b/docs/stories/language-runtime-database/done/02-vm-core.md similarity index 99% rename from docs/stories/language-runtime-database/02-vm-core.md rename to docs/stories/language-runtime-database/done/02-vm-core.md index 0678d44..9855480 100644 --- a/docs/stories/language-runtime-database/02-vm-core.md +++ b/docs/stories/language-runtime-database/done/02-vm-core.md @@ -1,7 +1,7 @@ # Iteration 2 — VM core (`wovm`) > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). ## Goals diff --git a/docs/stories/language-runtime-database/03-compiler-front.md b/docs/stories/language-runtime-database/done/03-compiler-front.md similarity index 99% rename from docs/stories/language-runtime-database/03-compiler-front.md rename to docs/stories/language-runtime-database/done/03-compiler-front.md index 74931aa..4ebbefa 100644 --- a/docs/stories/language-runtime-database/03-compiler-front.md +++ b/docs/stories/language-runtime-database/done/03-compiler-front.md @@ -1,7 +1,7 @@ # Iteration 3 — compiler front (`woc`) > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). ## Goals diff --git a/docs/stories/language-runtime-database/04-single-binary-e2e.md b/docs/stories/language-runtime-database/done/04-single-binary-e2e.md similarity index 99% rename from docs/stories/language-runtime-database/04-single-binary-e2e.md rename to docs/stories/language-runtime-database/done/04-single-binary-e2e.md index 7496cf0..9886c87 100644 --- a/docs/stories/language-runtime-database/04-single-binary-e2e.md +++ b/docs/stories/language-runtime-database/done/04-single-binary-e2e.md @@ -1,7 +1,7 @@ # Iteration 4 — single binary end-to-end > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). ## Goals diff --git a/docs/stories/language-runtime-database/06-program-mode-stdlib.md b/docs/stories/language-runtime-database/done/06-program-mode-stdlib.md similarity index 95% rename from docs/stories/language-runtime-database/06-program-mode-stdlib.md rename to docs/stories/language-runtime-database/done/06-program-mode-stdlib.md index a39d318..14dc9da 100644 --- a/docs/stories/language-runtime-database/06-program-mode-stdlib.md +++ b/docs/stories/language-runtime-database/done/06-program-mode-stdlib.md @@ -1,7 +1,7 @@ # Iteration 6 — program mode + systems stdlib > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > **Status (2026-08-14):** ✅ landed for the surface the driving workload uses — @@ -11,7 +11,7 @@ > `Proc` records, plus `json` encode/decode over `.wob` v2 class metadata. > What the workload never calls was not written. Two lifetime defects found > here are being fixed as part of -> [`plan/compiler/2026-08-14-logwatcher-executable.md`](../../plan/compiler/2026-08-14-logwatcher-executable.md): +> [`plan/compiler/2026-08-14-logwatcher-executable.md`](../../../plan/compiler/2026-08-14-logwatcher-executable.md): > the runtime's own argv container is never freed, and blocking `accept`/`read` > ignore the stop signal. diff --git a/docs/stories/language-runtime-database/07-logwatcher-proof.md b/docs/stories/language-runtime-database/done/07-logwatcher-proof.md similarity index 93% rename from docs/stories/language-runtime-database/07-logwatcher-proof.md rename to docs/stories/language-runtime-database/done/07-logwatcher-proof.md index 65965fd..e998c80 100644 --- a/docs/stories/language-runtime-database/07-logwatcher-proof.md +++ b/docs/stories/language-runtime-database/done/07-logwatcher-proof.md @@ -1,7 +1,7 @@ # Iteration 7 — log-watcher proof workload > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). ## Goals @@ -19,7 +19,7 @@ > SIGTERM ends parked syscalls, fds flat across 200 requests, and the > `LW_SOAK` gate holds RSS/descriptors flat under sustained load. > `just log-watcher`: 7 checks, 0 failures. The work is recorded in -> [`plan/compiler/2026-08-14-logwatcher-executable.md`](../../plan/compiler/2026-08-14-logwatcher-executable.md) +> [`plan/compiler/2026-08-14-logwatcher-executable.md`](../../../plan/compiler/2026-08-14-logwatcher-executable.md) > and nothing else blocks this iteration. ## Acceptance Criteria @@ -69,7 +69,7 @@ - The authoring plan (`docs/superpowers/plans/2026-08-01-log-watcher-sample.md`) is spent: the `.wo` files exist and compile. - What remains is - [`plan/compiler/2026-08-14-logwatcher-executable.md`](../../plan/compiler/2026-08-14-logwatcher-executable.md) + [`plan/compiler/2026-08-14-logwatcher-executable.md`](../../../plan/compiler/2026-08-14-logwatcher-executable.md) — six tasks, every one traced to a measurement on this sample: the ownership pass learning stdlib return types, dropping a projected temporary, the runtime's own argv container, honouring the stop signal in blocking calls, diff --git a/docs/stories/language-runtime-database/07b-inferred-gc-mark-sweep.md b/docs/stories/language-runtime-database/done/07b-inferred-gc-mark-sweep.md similarity index 95% rename from docs/stories/language-runtime-database/07b-inferred-gc-mark-sweep.md rename to docs/stories/language-runtime-database/done/07b-inferred-gc-mark-sweep.md index df8fb64..f2e0525 100644 --- a/docs/stories/language-runtime-database/07b-inferred-gc-mark-sweep.md +++ b/docs/stories/language-runtime-database/done/07b-inferred-gc-mark-sweep.md @@ -1,7 +1,7 @@ # Iteration 7b — inferred GC + incremental mark-sweep > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > > **Inserted 2026-08-11**, after the plan was first drawn — hence `7b` rather > than a renumber. It sits here because the log-watcher critical path @@ -10,13 +10,13 @@ > **Status (2026-08-18): LANDED** (branch `inferred-gc`; plan -> [`2026-08-18-inferred-gc-mark-sweep.md`](../../superpowers/plans/2026-08-18-inferred-gc-mark-sweep.md)). +> [`2026-08-18-inferred-gc-mark-sweep.md`](../../../superpowers/plans/2026-08-18-inferred-gc-mark-sweep.md)). > The front end infers GC-ness (structural SCC + demand promotion, > `woc --dump-gc`), `@gc` in source is WO-E104, and the runtime's RC + > Bacon–Rajan collector is replaced by an incremental per-shard tri-color > mark-sweep with a Yuasa deletion barrier — `.wob` is v4, opcodes 27–28 > reserved. The worked example is -> [`docs/examples/gc-cycle`](../../examples/gc-cycle/README.md): its ring +> [`docs/examples/gc-cycle`](../../../examples/gc-cycle/README.md): its ring > compiles with no annotation, runs, and is reclaimed in budgeted slices, > ASan-clean. All four recorded `@gc`/RC defects are deleted by > construction; `just oop-accept` is fully green (criterion 3's ASan clause @@ -88,11 +88,11 @@ ## Info -- Governing spec: [`docs/superpowers/specs/2026-08-11-inferred-gc-mark-sweep-design.md`](../../superpowers/specs/2026-08-11-inferred-gc-mark-sweep-design.md). +- Governing spec: [`docs/superpowers/specs/2026-08-11-inferred-gc-mark-sweep-design.md`](../../../superpowers/specs/2026-08-11-inferred-gc-mark-sweep-design.md). - **Gated by the benchmark (2026-08-15):** this is the "implement garbage collection" lever of the performance arc — tri-color mark-sweep replacing RC changes the write path's tail latency, so landing it means re-running - iteration [9e](09e-durability-throughput-scale.md) and recording the + iteration [9e](../refine/09e-durability-throughput-scale.md) and recording the delta (does tracing help or hurt p99 under write load?). - **Constraint added by the database track (2026-08-15):** a GC-managed value in a `@table` field is a compile error (the engine/heap bulkhead — 9b diff --git a/docs/stories/language-runtime-database/09-database-engine.md b/docs/stories/language-runtime-database/done/09-database-engine.md similarity index 95% rename from docs/stories/language-runtime-database/09-database-engine.md rename to docs/stories/language-runtime-database/done/09-database-engine.md index 32fcc67..0cebd2c 100644 --- a/docs/stories/language-runtime-database/09-database-engine.md +++ b/docs/stories/language-runtime-database/done/09-database-engine.md @@ -1,7 +1,7 @@ # Iteration 9 — database engine > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). ## Goals @@ -54,7 +54,7 @@ counts references. The full analysis (row views as borrows without a runtime net, cursor stability, GC-pause interaction) lives in the 9b design's section 6: - [`2026-08-15-table-relations-query-design.md`](../../superpowers/specs/2026-08-15-table-relations-query-design.md). + [`2026-08-15-table-relations-query-design.md`](../../../superpowers/specs/2026-08-15-table-relations-query-design.md). ## Proposed Solution diff --git a/docs/stories/language-runtime-database/09b-table-relations-query.md b/docs/stories/language-runtime-database/done/09b-table-relations-query.md similarity index 97% rename from docs/stories/language-runtime-database/09b-table-relations-query.md rename to docs/stories/language-runtime-database/done/09b-table-relations-query.md index 5a44e48..ad196e4 100644 --- a/docs/stories/language-runtime-database/09b-table-relations-query.md +++ b/docs/stories/language-runtime-database/done/09b-table-relations-query.md @@ -1,7 +1,7 @@ # Iteration 9b — `@table`, relations, and language-integrated query > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > > **Inserted 2026-08-11**, hence `9b` rather than a renumber. It follows > iteration 9 because a query surface needs tables that actually execute, and @@ -9,13 +9,13 @@ > results. > > **Spec exists (2026-08-15):** -> [`2026-08-15-table-relations-query-design.md`](../../superpowers/specs/2026-08-15-table-relations-query-design.md) +> [`2026-08-15-table-relations-query-design.md`](../../../superpowers/specs/2026-08-15-table-relations-query-design.md) > settles the three forks recorded in *Info* below (kept as the decision > record): the SQL/Cypher layer is superseded as the program surface, > the syntax is a compiler-desugared comprehension, and the references > contribute vocabulary + semantics (System.Linq) and execution + integrity > vocabulary (PostgreSQL, surveyed with the spec). Plan: -> [`2026-08-15-employee-relations-query.md`](../../plan/compiler/2026-08-15-employee-relations-query.md). +> [`2026-08-15-employee-relations-query.md`](../../../plan/compiler/2026-08-15-employee-relations-query.md). ## Goals diff --git a/docs/stories/language-runtime-database/15-deps-package-manager.md b/docs/stories/language-runtime-database/done/15-deps-package-manager.md similarity index 94% rename from docs/stories/language-runtime-database/15-deps-package-manager.md rename to docs/stories/language-runtime-database/done/15-deps-package-manager.md index f2f509a..9c6ecfc 100644 --- a/docs/stories/language-runtime-database/15-deps-package-manager.md +++ b/docs/stories/language-runtime-database/done/15-deps-package-manager.md @@ -1,7 +1,7 @@ # Iteration 15 — dependencies: `wo.toml [deps]`, git fetch, `wo.lock` > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > > **Inserted 2026-08-18. LANDED the same day** (branch `web-framework`): all > acceptance criteria met — `just deps-accept` 8/0 (cold fetch + lock, use @@ -11,9 +11,9 @@ > The enabler for code shared between writeonce repositories — the web > framework (iteration 16) is the driving consumer. > -> **Spec exists:** [`2026-08-18-web-framework-design.md`](../../superpowers/specs/2026-08-18-web-framework-design.md) +> **Spec exists:** [`2026-08-18-web-framework-design.md`](../../../superpowers/specs/2026-08-18-web-framework-design.md) > section A is normative for this iteration. **Plan:** -> [`2026-08-18-deps-package-manager.md`](../../superpowers/plans/2026-08-18-deps-package-manager.md) +> [`2026-08-18-deps-package-manager.md`](../../../superpowers/plans/2026-08-18-deps-package-manager.md) > (5 tasks: manifest inline-table + [deps]; resolver fetch/cache/lock; > multi-root discovery + module mapping + entry restriction; the > `just deps-accept` gate over file:// remotes; docs closeout). diff --git a/docs/stories/language-runtime-database/16-web-framework.md b/docs/stories/language-runtime-database/done/16-web-framework.md similarity index 97% rename from docs/stories/language-runtime-database/16-web-framework.md rename to docs/stories/language-runtime-database/done/16-web-framework.md index c51eb74..d417330 100644 --- a/docs/stories/language-runtime-database/16-web-framework.md +++ b/docs/stories/language-runtime-database/done/16-web-framework.md @@ -1,7 +1,7 @@ # Iteration 16 — the web framework: a `.wo` library, HTTP/1.1 behind a proxy > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > > **Inserted 2026-08-18. LANDED 2026-08-19** (branch `web-framework`): > `just web-app` 14/0 — deps chain, auth middleware, CRUD with @unique 409 / @@ -61,9 +61,9 @@ > in the toolchain. h2c is the parked successor (after iterations 8/9f/11, > when multiplexing has a scheduler to pay off on). > -> **Spec exists:** [`2026-08-18-web-framework-design.md`](../../superpowers/specs/2026-08-18-web-framework-design.md) +> **Spec exists:** [`2026-08-18-web-framework-design.md`](../../../superpowers/specs/2026-08-18-web-framework-design.md) > sections B (normative) and C (the parked h2c successor). **Plan:** -> [`2026-08-19-web-framework.md`](../../superpowers/plans/2026-08-19-web-framework.md) +> [`2026-08-19-web-framework.md`](../../../superpowers/plans/2026-08-19-web-framework.md) > (6 tasks: types/builders; HTTP/1.1 parse+serve; router+interfaces+App; > the web-app storefront; the `just web-app` gate; docs closeout). Two > enabling risks retired before planning: interface-field dispatch (probe) diff --git a/docs/stories/language-runtime-database/09c-cross-program-tables.md b/docs/stories/language-runtime-database/refine/09c-cross-program-tables.md similarity index 99% rename from docs/stories/language-runtime-database/09c-cross-program-tables.md rename to docs/stories/language-runtime-database/refine/09c-cross-program-tables.md index b840dc5..59aea78 100644 --- a/docs/stories/language-runtime-database/09c-cross-program-tables.md +++ b/docs/stories/language-runtime-database/refine/09c-cross-program-tables.md @@ -1,7 +1,7 @@ # Iteration 9c — cross-program tables: attach to a running program's database > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > > **Inserted 2026-08-15**, hence `9c`. It follows 9b because a program > attaching to another's tables wants the same typed statements and queries diff --git a/docs/stories/language-runtime-database/09d-keypair-attach-auth.md b/docs/stories/language-runtime-database/refine/09d-keypair-attach-auth.md similarity index 99% rename from docs/stories/language-runtime-database/09d-keypair-attach-auth.md rename to docs/stories/language-runtime-database/refine/09d-keypair-attach-auth.md index 139b55f..b2e3c8f 100644 --- a/docs/stories/language-runtime-database/09d-keypair-attach-auth.md +++ b/docs/stories/language-runtime-database/refine/09d-keypair-attach-auth.md @@ -1,7 +1,7 @@ # Iteration 9d — keypair authentication for cross-program attach > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > > **Inserted 2026-08-15.** Promotes iteration 9c's identity fork (Info, > fork 3) to its own iteration: the name + unix-uid lean is the milestone diff --git a/docs/stories/language-runtime-database/09e-durability-throughput-scale.md b/docs/stories/language-runtime-database/refine/09e-durability-throughput-scale.md similarity index 99% rename from docs/stories/language-runtime-database/09e-durability-throughput-scale.md rename to docs/stories/language-runtime-database/refine/09e-durability-throughput-scale.md index 361813b..400049b 100644 --- a/docs/stories/language-runtime-database/09e-durability-throughput-scale.md +++ b/docs/stories/language-runtime-database/refine/09e-durability-throughput-scale.md @@ -1,7 +1,7 @@ # Iteration 9e — durability proof, throughput, and scale under load > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > > **Inserted 2026-08-15.** The measurement backbone. Everything after the > functional engine (9/9b) is an *optimization*, and an optimization without diff --git a/docs/stories/language-runtime-database/09f-io-uring-commit.md b/docs/stories/language-runtime-database/refine/09f-io-uring-commit.md similarity index 99% rename from docs/stories/language-runtime-database/09f-io-uring-commit.md rename to docs/stories/language-runtime-database/refine/09f-io-uring-commit.md index b519768..64e9822 100644 --- a/docs/stories/language-runtime-database/09f-io-uring-commit.md +++ b/docs/stories/language-runtime-database/refine/09f-io-uring-commit.md @@ -1,7 +1,7 @@ # Iteration 9f — io_uring group-commit write path > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > > **Inserted 2026-08-15.** The write-path optimization, and deliberately the > LAST database performance iteration: it only earns its complexity once diff --git a/docs/stories/language-runtime-database/09g-query-grammar-corpus.md b/docs/stories/language-runtime-database/refine/09g-query-grammar-corpus.md similarity index 99% rename from docs/stories/language-runtime-database/09g-query-grammar-corpus.md rename to docs/stories/language-runtime-database/refine/09g-query-grammar-corpus.md index 25a3fcb..e6ca122 100644 --- a/docs/stories/language-runtime-database/09g-query-grammar-corpus.md +++ b/docs/stories/language-runtime-database/refine/09g-query-grammar-corpus.md @@ -1,7 +1,7 @@ # Iteration 9g — query grammar, driven by real embedded-DB corpora > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > > **Inserted 2026-08-16.** A query-surface iteration in the 9b family: the > language-integrated query grows to cover the grammar that *real diff --git a/docs/stories/language-runtime-database/11-fibers.md b/docs/stories/language-runtime-database/refine/11-fibers.md similarity index 95% rename from docs/stories/language-runtime-database/11-fibers.md rename to docs/stories/language-runtime-database/refine/11-fibers.md index 2e34316..5c0e9ff 100644 --- a/docs/stories/language-runtime-database/11-fibers.md +++ b/docs/stories/language-runtime-database/refine/11-fibers.md @@ -1,7 +1,7 @@ # Iteration 11 — fibers (green threads on the shard scheduler) > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). ## Goals @@ -59,12 +59,12 @@ ## Info -- Research note: [`docs/plan/exploration/fibers/00-fibers.md`](../../plan/exploration/fibers/00-fibers.md) +- Research note: [`docs/plan/exploration/fibers/00-fibers.md`](../../../plan/exploration/fibers/00-fibers.md) — kernel's-eye evidence (task_struct costs, CFS collapse at high task counts) and the precedent survey (BEAM reductions adopted; Go stack copying and Tokio coloring rejected; Loom's park-under-blocking-API matches the stdlib posture). -- Vision origin: [blue-green vision §3](../../plan/exploration/blue-green-vm/00-vision.md); +- Vision origin: [blue-green vision §3](../../../plan/exploration/blue-green-vm/00-vision.md); iteration 8's scheduler is the substrate this extends. - Open questions to settle in the spec: spawn surface (handle vs actor address), budget size and check granularity, parked-fiber drop diff --git a/docs/stories/language-runtime-database/13-compile-time-metaprogramming.md b/docs/stories/language-runtime-database/refine/13-compile-time-metaprogramming.md similarity index 99% rename from docs/stories/language-runtime-database/13-compile-time-metaprogramming.md rename to docs/stories/language-runtime-database/refine/13-compile-time-metaprogramming.md index 08e4102..3b9fc89 100644 --- a/docs/stories/language-runtime-database/13-compile-time-metaprogramming.md +++ b/docs/stories/language-runtime-database/refine/13-compile-time-metaprogramming.md @@ -1,11 +1,11 @@ # Iteration 13 — compile-time metaprogramming (derive from the class table) > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > > **Inserted 2026-08-16.** A language-capability iteration, deliberately > numbered to echo the principle it lives inside: -> [principle 13, "statically typed, all the way to the register"](../../00-principles.md). +> [principle 13, "statically typed, all the way to the register"](../../../00-principles.md). > It comes late because it earns its keep only once there are enough > types worth deriving over (the `@table` classes of iteration 9/9b, the > records the query surface projects), and it must never be the excuse that diff --git a/docs/stories/language-runtime-database/14-skillhost-host-workload.md b/docs/stories/language-runtime-database/refine/14-skillhost-host-workload.md similarity index 99% rename from docs/stories/language-runtime-database/14-skillhost-host-workload.md rename to docs/stories/language-runtime-database/refine/14-skillhost-host-workload.md index f290d36..12778e9 100644 --- a/docs/stories/language-runtime-database/14-skillhost-host-workload.md +++ b/docs/stories/language-runtime-database/refine/14-skillhost-host-workload.md @@ -1,7 +1,7 @@ # Iteration 14 — skillhost: a host-shaped workload, and the capability gaps it exposes > Format: fiberloom `product/story-iteration-template`. Part of -> [Story — one language, one runtime, one database, one binary](00-story.md). +> [Story — one language, one runtime, one database, one binary](../00-story.md). > > **Inserted 2026-08-16.** A driving-workload iteration, the way iteration 7's > log-watcher drove the systems stdlib. The workload is a writeonce port of diff --git a/docs/superpowers/plans/2026-08-18-deps-package-manager.md b/docs/superpowers/plans/2026-08-18-deps-package-manager.md index f48b0b1..54f399e 100644 --- a/docs/superpowers/plans/2026-08-18-deps-package-manager.md +++ b/docs/superpowers/plans/2026-08-18-deps-package-manager.md @@ -25,7 +25,7 @@ toolchain may invoke). Acceptance via a shell gate over local `file://` remotes — the suite stays network-free. **Spec:** [`../specs/2026-08-18-web-framework-design.md`](../specs/2026-08-18-web-framework-design.md) -section A (normative). Story: [`15-deps-package-manager.md`](../../stories/language-runtime-database/15-deps-package-manager.md). +section A (normative). Story: [`15-deps-package-manager.md`](../../stories/language-runtime-database/done/15-deps-package-manager.md). ## Global Constraints diff --git a/docs/superpowers/plans/2026-08-18-inferred-gc-mark-sweep.md b/docs/superpowers/plans/2026-08-18-inferred-gc-mark-sweep.md index 9dde1ba..62c96be 100644 --- a/docs/superpowers/plans/2026-08-18-inferred-gc-mark-sweep.md +++ b/docs/superpowers/plans/2026-08-18-inferred-gc-mark-sweep.md @@ -148,7 +148,7 @@ is the largest phase and lands with Phase 2's front-end. ## Phase 4 — Migration: amend the normative docs -**Files:** `docs/00-principles.md` (principle 3), the OOP spec (decision table, §3 rule 5, §4 memory model), `docs/plan/oop-vm/00-wob-format.md`, `01-error-catalog.md` (retire WO-W201, update WO-E304 wording, add the new WO-E1xx), `08-builtin-surface.md` (delete the `push` special case + `set` gap), `docs/00-status.md` (record 7b superseding iteration 2's memory model), `docs/stories/language-runtime-database/07b-inferred-gc-mark-sweep.md` (status → done), `docs/examples/gc-cycle/README.md` (flip "Run status" to shipped + wire a `just gc-cycle` acceptance). +**Files:** `docs/00-principles.md` (principle 3), the OOP spec (decision table, §3 rule 5, §4 memory model), `docs/plan/oop-vm/00-wob-format.md`, `01-error-catalog.md` (retire WO-W201, update WO-E304 wording, add the new WO-E1xx), `08-builtin-surface.md` (delete the `push` special case + `set` gap), `docs/00-status.md` (record 7b superseding iteration 2's memory model), `docs/stories/language-runtime-database/done/07b-inferred-gc-mark-sweep.md` (status → done), `docs/examples/gc-cycle/README.md` (flip "Run status" to shipped + wire a `just gc-cycle` acceptance). - [x] Apply each amendment in the spec's §8 migration table. Add a `docs/examples/gc-cycle` acceptance script + `just gc-cycle` recipe running `--dump-gc` + ring/owned demos under `WO_GC_TRACE`. - [x] Verify: `just oop-accept` green; `just gc-cycle` green; `git grep '@gc' -- '*.wo'` returns nothing (success criterion 1). Commit. diff --git a/docs/superpowers/plans/2026-08-19-web-framework.md b/docs/superpowers/plans/2026-08-19-web-framework.md index adb7f12..cd21f42 100644 --- a/docs/superpowers/plans/2026-08-19-web-framework.md +++ b/docs/superpowers/plans/2026-08-19-web-framework.md @@ -39,7 +39,7 @@ keep-alive with `Content-Length` bodies only. **Spec:** [`../specs/2026-08-18-web-framework-design.md`](../specs/2026-08-18-web-framework-design.md) section B (normative; §C's h2c stays parked). Story: -[`16-web-framework.md`](../../stories/language-runtime-database/16-web-framework.md). +[`16-web-framework.md`](../../stories/language-runtime-database/done/16-web-framework.md). ## Global Constraints diff --git a/docs/superpowers/specs/2026-08-15-table-relations-query-design.md b/docs/superpowers/specs/2026-08-15-table-relations-query-design.md index 5bf8ff4..60b4243 100644 --- a/docs/superpowers/specs/2026-08-15-table-relations-query-design.md +++ b/docs/superpowers/specs/2026-08-15-table-relations-query-design.md @@ -1,7 +1,7 @@ # `@table`, Relations, and Language-Integrated Query — Design > **Status: proposed** (story iteration 9b). Settles the three forks recorded in -> [`09b-table-relations-query.md`](../../stories/language-runtime-database/09b-table-relations-query.md). +> [`09b-table-relations-query.md`](../../stories/language-runtime-database/done/09b-table-relations-query.md). > Plan: [`docs/plan/compiler/2026-08-15-employee-relations-query.md`](../../plan/compiler/2026-08-15-employee-relations-query.md). > Depends on iteration 9's engine plan > ([`2026-08-01-db-engine-binding.md`](../plans/2026-08-01-db-engine-binding.md))