From e966f54ecf034b8e8789d6b8df19d3b783f44e45 Mon Sep 17 00:00:00 2001 From: "shoney.arickathil" Date: Wed, 12 Aug 2026 15:16:29 +0200 Subject: [PATCH] update msg --- docs/00-status.md | 8 ++++++-- docs/plan/compiler/2026-08-01-haxe-parity-language.md | 2 ++ .../compiler/2026-08-01-wob-emit-e2e-single-binary.md | 2 ++ docs/plan/compiler/2026-08-01-woc-compiler-front.md | 2 ++ docs/plan/done/01-scafolding-crates.md | 2 ++ docs/plan/done/02-event-loop-epoll.md | 2 ++ docs/plan/done/03-hand-rolled-http.md | 2 ++ docs/plan/done/04-cutover-remove-tokio-axum.md | 2 ++ docs/superpowers/plans/2026-08-01-db-engine-binding.md | 2 ++ docs/superpowers/plans/2026-08-01-http-service-layer.md | 2 ++ docs/superpowers/plans/2026-08-01-log-watcher-sample.md | 2 ++ docs/superpowers/plans/2026-08-01-program-mode-stdlib.md | 2 ++ .../plans/2026-08-01-shard-actor-vm-runtime.md | 2 ++ docs/superpowers/plans/2026-08-01-ui-htmlx-live.md | 2 ++ .../plans/2026-08-01-wob-format-and-vm-core.md | 2 ++ 15 files changed, 34 insertions(+), 2 deletions(-) diff --git a/docs/00-status.md b/docs/00-status.md index b1787a0..70b6081 100644 --- a/docs/00-status.md +++ b/docs/00-status.md @@ -2,8 +2,12 @@ The single place to learn where this project stands. Organised in six buckets: **stories** (the narrative arc), **in progress**, **done**, **pending**, -**discarded**, **learnings**. Every phase doc carries a matching status banner; -this board is the index. +**discarded**, **learnings**. The buckets are **sections of this board, not +folders** β€” a doc stays where it was authored when its work lands; only its +banner and this board change. Every plan and phase doc opens with a +`> **Status:**` banner linking back here; normative contracts +(`plan/oop-vm/`), exploration studies, reference docs and the +discarded/learnings registers carry none by design. Update this board in the same change that finishes work β€” move the item to done with *what actually landed*, set the next in-progress item, and record any diff --git a/docs/plan/compiler/2026-08-01-haxe-parity-language.md b/docs/plan/compiler/2026-08-01-haxe-parity-language.md index 9ee9058..bd81418 100644 --- a/docs/plan/compiler/2026-08-01-haxe-parity-language.md +++ b/docs/plan/compiler/2026-08-01-haxe-parity-language.md @@ -1,5 +1,7 @@ # Haxe-Parity Language Adoptions Implementation Plan +> **Status: πŸ”„ in progress** (story iteration 5) β€” Tasks 1–4 βœ… shipped and review-verified: modules (`use`/`pub`), language surface (`and`/`or`, `${}` interpolation, `const`, break/continue, do-while), switch expressions, typedef records + enum payload variants. Task 5 (try/catch over the trap system) ⬜ started, not landed. Tasks 6 (`?T` forced handling), 7 (statics, `using`, `pub(read)`), 8 (`#if` + reject rows) ⬜. Board: [00-status.md](../../00-status.md) + > **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking. > > **Style rule (user convention):** concept, reason, and required behavior in words only; the executor writes the code. diff --git a/docs/plan/compiler/2026-08-01-wob-emit-e2e-single-binary.md b/docs/plan/compiler/2026-08-01-wob-emit-e2e-single-binary.md index 1e25e3b..63d7c43 100644 --- a/docs/plan/compiler/2026-08-01-wob-emit-e2e-single-binary.md +++ b/docs/plan/compiler/2026-08-01-wob-emit-e2e-single-binary.md @@ -1,5 +1,7 @@ # Bytecode Emit + End-to-End Corpus + Single Binary Implementation Plan +> **Status: βœ… done** (story iteration 4) β€” Tasks 1–6 + 8 shipped: bytecode emitter, disassembler (`--dump-bc`), three-kind conformance harness (`just oop-e2e`), `woc build` single-binary output, `WO-E405`. Task 7 (parity harness against the Rust runtime) **deferred by explicit user decision** β€” the two stacks diverge by design. Milestone-1 acceptance: all five criteria met. Board: [00-status.md](../../00-status.md) + > **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking. > > **Style rule (user convention):** this plan states concept, reason, and required behavior in words. The executor writes the actual code at implementation time; nothing here is copy-paste source. diff --git a/docs/plan/compiler/2026-08-01-woc-compiler-front.md b/docs/plan/compiler/2026-08-01-woc-compiler-front.md index 89cb6f0..d1cad18 100644 --- a/docs/plan/compiler/2026-08-01-woc-compiler-front.md +++ b/docs/plan/compiler/2026-08-01-woc-compiler-front.md @@ -1,5 +1,7 @@ # woc Compiler Front (OCaml) Implementation Plan +> **Status: βœ… done** (story iteration 3) β€” Tasks 1–8 shipped: dune scaffold, `diag`, newline-significant lexer, declaration + statement/expression parser with multi-error recovery, typechecker (field kinds, `?T` plumbing, W201, E225, E214), MVS ownership pass with the four emitter tables, driver with directory discovery. `?T` semantics and eight other `WO-E2xx` codes stayed unenforced β€” carried as named known gaps, not silently owed. Board: [00-status.md](../../00-status.md) + > **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking. > > **Style rule (user convention):** this plan states concept, reason, and required behavior in words. The executor writes the actual code at implementation time; nothing here is copy-paste source. diff --git a/docs/plan/done/01-scafolding-crates.md b/docs/plan/done/01-scafolding-crates.md index 19ffe17..01f9269 100644 --- a/docs/plan/done/01-scafolding-crates.md +++ b/docs/plan/done/01-scafolding-crates.md @@ -1,5 +1,7 @@ # 01 β€” Scaffolding the Crate Tree +> **Status: βœ… done** (Rust Stage 2 β€” shipped, maintained, not advancing) β€” 15 crates in the workspace tree. Board: [00-status.md](../../00-status.md) + **Context sources:** [`../../CLAUDE.md`](../../../CLAUDE.md), [`../../README.md`](../../../README.md), [`../../crates/README.md`](../../../crates/README.md), [`../runtime/database.md`](../../runtime/database.md), [`../runtime/database/07-wo-seg-migration.md`](../../runtime/database/07-wo-seg-migration.md). ## Goal diff --git a/docs/plan/done/02-event-loop-epoll.md b/docs/plan/done/02-event-loop-epoll.md index c5f9fec..9ca2a92 100644 --- a/docs/plan/done/02-event-loop-epoll.md +++ b/docs/plan/done/02-event-loop-epoll.md @@ -1,5 +1,7 @@ # 02 β€” Event Loop on `epoll` +> **Status: βœ… done** (Rust Stage 2 β€” shipped, maintained, not advancing) β€” `runtime/netpoll_epoll.rs`: the hand-rolled `epoll` loop that replaced the async runtime. Board: [00-status.md](../../00-status.md) + **Context sources:** [`../01-problem.md`](../../01-problem.md), [`../02-recovery.md`](../../02-recovery.md), [`./linux/00-linux.md`](../exploration/linux/00-linux.md), [`./done/01-scafolding-crates.md`](01-scafolding-crates.md). ## Goal diff --git a/docs/plan/done/03-hand-rolled-http.md b/docs/plan/done/03-hand-rolled-http.md index ab203a2..c66f6b1 100644 --- a/docs/plan/done/03-hand-rolled-http.md +++ b/docs/plan/done/03-hand-rolled-http.md @@ -1,5 +1,7 @@ # 03 β€” Hand-Rolled HTTP/1.1 +> **Status: βœ… done** (Rust Stage 2 β€” shipped, maintained, not advancing) β€” hand-rolled HTTP/1.1, plus keep-alive and pipelining. Board: [00-status.md](../../00-status.md) + **Context sources:** [`./02-event-loop-epoll.md`](./02-event-loop-epoll.md), [`./linux/00-linux.md`](../exploration/linux/00-linux.md), [`../02-recovery.md`](../../02-recovery.md). ## Goal diff --git a/docs/plan/done/04-cutover-remove-tokio-axum.md b/docs/plan/done/04-cutover-remove-tokio-axum.md index 04ce516..d1cd02c 100644 --- a/docs/plan/done/04-cutover-remove-tokio-axum.md +++ b/docs/plan/done/04-cutover-remove-tokio-axum.md @@ -1,5 +1,7 @@ # 04 β€” Cutover: Remove tokio, axum, tower +> **Status: βœ… done** (Rust Stage 2 β€” shipped, maintained, not advancing) β€” tokio, axum and tower cut over and removed; dependencies now anyhow, serde, serde_json, libc. Board: [00-status.md](../../00-status.md) + **Context sources:** [`./02-event-loop-epoll.md`](./02-event-loop-epoll.md), [`./03-hand-rolled-http.md`](./03-hand-rolled-http.md), [`../01-problem.md`](../../01-problem.md). ## Goal diff --git a/docs/superpowers/plans/2026-08-01-db-engine-binding.md b/docs/superpowers/plans/2026-08-01-db-engine-binding.md index 77c5f85..d934919 100644 --- a/docs/superpowers/plans/2026-08-01-db-engine-binding.md +++ b/docs/superpowers/plans/2026-08-01-db-engine-binding.md @@ -1,5 +1,7 @@ # DB Engine Binding Implementation Plan +> **Status: ⬜ pending** (story iteration 9) β€” class-shaped tables, typed WAL + recovery, `insert`/`select` execution. Story iteration 9b (`@table` relations + language-integrated query) follows it and needs a spec brainstormed first. Board: [00-status.md](../../00-status.md) + > **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking. > > **Style rule (user convention):** concept, reason, and required behavior in words only; the executor writes the code. diff --git a/docs/superpowers/plans/2026-08-01-http-service-layer.md b/docs/superpowers/plans/2026-08-01-http-service-layer.md index ad760d1..255fa82 100644 --- a/docs/superpowers/plans/2026-08-01-http-service-layer.md +++ b/docs/superpowers/plans/2026-08-01-http-service-layer.md @@ -1,5 +1,7 @@ # HTTP Service Layer Implementation Plan +> **Status: ⬜ pending** (story iteration 10) β€” `service` blocks route to VM methods; REST parity with the shipped Rust Stage 2 runtime. Board: [00-status.md](../../00-status.md) + > **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking. > > **Style rule (user convention):** concept, reason, and required behavior in words only; the executor writes the code. diff --git a/docs/superpowers/plans/2026-08-01-log-watcher-sample.md b/docs/superpowers/plans/2026-08-01-log-watcher-sample.md index cd1e95c..7e1003f 100644 --- a/docs/superpowers/plans/2026-08-01-log-watcher-sample.md +++ b/docs/superpowers/plans/2026-08-01-log-watcher-sample.md @@ -1,5 +1,7 @@ # log-watcher .wo Sample Implementation Plan +> **Status: ⬜ pending** (story iteration 7 β€” the acceptance gate) β€” the eight-file `.wo` sample compiles clean and detects a silent death live. Blocked on iterations 5–6. The sample is already authored ([`docs/examples/log-watcher/`](../../examples/log-watcher/README.md)) and currently reports 93 diagnostics, down from 307. Board: [00-status.md](../../00-status.md) + > **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking. > > **Style rule (user convention):** concept, reason, and required behavior in words only; the executor writes the code. diff --git a/docs/superpowers/plans/2026-08-01-program-mode-stdlib.md b/docs/superpowers/plans/2026-08-01-program-mode-stdlib.md index acce702..185e1e2 100644 --- a/docs/superpowers/plans/2026-08-01-program-mode-stdlib.md +++ b/docs/superpowers/plans/2026-08-01-program-mode-stdlib.md @@ -1,5 +1,7 @@ # Program Mode + Systems Stdlib Implementation Plan +> **Status: ⬜ pending** (story iteration 6 β€” next after iteration 5) β€” `fn main`, exit codes, and the `fs`/`proc`/`net`/`time`/`json`/`env` builtin surface. Blocked on plan 8; the six stdlib namespaces already typecheck as UNKNOWN-BUT-RESERVED, so a qualified call compiles today and only fails at emission (`WO-E406`). Board: [00-status.md](../../00-status.md) + > **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking. > > **Style rule (user convention):** concept, reason, and required behavior in words only; the executor writes the code. diff --git a/docs/superpowers/plans/2026-08-01-shard-actor-vm-runtime.md b/docs/superpowers/plans/2026-08-01-shard-actor-vm-runtime.md index 77de7ef..b871073 100644 --- a/docs/superpowers/plans/2026-08-01-shard-actor-vm-runtime.md +++ b/docs/superpowers/plans/2026-08-01-shard-actor-vm-runtime.md @@ -1,5 +1,7 @@ # Shard-Actor VM Runtime Implementation Plan +> **Status: ⬜ pending** (story iteration 8) β€” thread-per-core shards, per-shard heaps, ownership-move messaging. Must follow story iteration 7b (inferred GC + incremental mark-sweep): the collector settles before shards multiply. Board: [00-status.md](../../00-status.md) + > **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking. > > **Style rule (user convention):** concept, reason, and required behavior in words only; the executor writes the code. diff --git a/docs/superpowers/plans/2026-08-01-ui-htmlx-live.md b/docs/superpowers/plans/2026-08-01-ui-htmlx-live.md index ab7b669..6f60bc4 100644 --- a/docs/superpowers/plans/2026-08-01-ui-htmlx-live.md +++ b/docs/superpowers/plans/2026-08-01-ui-htmlx-live.md @@ -1,5 +1,7 @@ # UI β€” .htmlx SSR + LIVE Subscriptions Implementation Plan +> **Status: ⏸ parked** β€” the UI track (`.htmlx` SSR + LIVE subscriptions) is off the critical path by the 2026-08-08 scope directive and is deliberately **not sequenced** on the board; the language track runs to the log-watcher proof first. Board: [00-status.md](../../00-status.md) + > **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking. > > **Style rule (user convention):** concept, reason, and required behavior in words only; the executor writes the code. diff --git a/docs/superpowers/plans/2026-08-01-wob-format-and-vm-core.md b/docs/superpowers/plans/2026-08-01-wob-format-and-vm-core.md index b862434..c99545a 100644 --- a/docs/superpowers/plans/2026-08-01-wob-format-and-vm-core.md +++ b/docs/superpowers/plans/2026-08-01-wob-format-and-vm-core.md @@ -1,5 +1,7 @@ # .wob Format + wovm VM Core Implementation Plan +> **Status: βœ… done** (story iteration 2) β€” `.wob` v1 loader with full static validation, register interpreter (computed-goto + ISO-C fallback), arena with size-class free lists, borrow word, RC + budgeted Bacon–Rajan cycle collector, drop-map trap unwinding, containers, builtins, ICALL, CLI. 13 suites Γ— 2 dispatch flavors + CLI smoke, ASan/UBSan clean. The format contract itself lives on in [`plan/oop-vm/00-wob-format.md`](../../plan/oop-vm/00-wob-format.md). Board: [00-status.md](../../00-status.md) + > **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking. > > **Style rule (user convention):** this plan states concept, reason, and required behavior in words. The executor writes the actual code at implementation time; nothing here is copy-paste source.