diff --git a/wiki/engineering/flow-substrate.md b/wiki/engineering/flow-substrate.md --- a/wiki/engineering/flow-substrate.md +++ b/wiki/engineering/flow-substrate.md @@ -2,13 +2,13 @@ ``` Type: spec -Status: IN PROGRESS -Status note: the two substrate modules ship implemented and tested - (src/flow.rs, src/schedule.rs; 15 unit tests, serde round-trips). The - domain instances that ride them (reach.md, messages.md, economy.md) are - not yet built — this spec is IMPLEMENTED for the engine and the contract, - and the acceptance criteria track engine + first-consumer wiring. As-built - for the substrate; a work order for the domains on top. +Status: IMPLEMENTED +Status note: 2026-07-08 audit: criterion 6's wired consumer landed with + reach.md — src/reach.rs builds the device graph on FlowGraph + (graph_loads_from_basement_layout) and sensor ownership rides the + tap registry (subscriptions_are_a_tap_registry, + tap_keeps_owner_feed_take_removes_it). Criteria 1-5 were already + unit-tested; all six now hold. Stage: B1 — The Basement Constitution: "The flow law: signals, messages, money" (this is its code expression), "Self-similar scale" (one interface at every scale), diff --git a/wiki/log/2026-07-08-b1-status-audit.md b/wiki/log/2026-07-08-b1-status-audit.md new file mode 100644 --- /dev/null +++ b/wiki/log/2026-07-08-b1-status-audit.md @@ -0,0 +1,27 @@ +# 2026-07-08 - B1 spec status audit + +``` +Type: log +``` + +Audited every non-IMPLEMENTED B1 spec against the code and the 211-test +suite, replacing vague "B1 slice implemented" notes with named-test +evidence and precise gaps. + +- **flow-substrate.md -> IMPLEMENTED.** Criterion 6's wired consumer + landed with reach.md (FlowGraph device graph + tap-registry sensor + ownership, both tested). All six criteria hold. +- **messages.md** board row fixed READY -> IMPLEMENTED (the page already + said IMPLEMENTED; the implementer missed the table). +- **compute.md** stays IN PROGRESS: only gap is a missing test pin for + criterion 2's degraded-channels effect (ROADMAP #28). +- **social.md** stays IN PROGRESS: per-AssetTask test pins missing + (ROADMAP #28); everything else holds with named tests. +- **core.md** stays IN PROGRESS: criterion 1's snapshot restore + + inherited-consequence case genuinely await rollback.md (B2). +- **basement-map.md** stays IN PROGRESS: criterion 3's player-side badge + state is a real missing sim slice (the act-one quiet-exit gap), not a + test gap. + +New ROADMAP #28 (test-only, S) captures the two pin jobs. Docs-only +commit. diff --git a/wiki/log/DEVLOG.md b/wiki/log/DEVLOG.md --- a/wiki/log/DEVLOG.md +++ b/wiki/log/DEVLOG.md @@ -5,6 +5,15 @@ ``` Reverse chronological implementation notes. Keep this factual: what changed, why, checks, and spec impact. +## 2026-07-08 - B1 spec status audit + +- Audited all non-IMPLEMENTED B1 specs against the test suite: + flow-substrate -> IMPLEMENTED (reach is the wired consumer); messages + board row fixed; compute/social/core/basement-map get named-test + status notes with precise gaps; new test-only ROADMAP #28 for the two + missing criterion pins. Docs only. + Log: wiki/log/2026-07-08-b1-status-audit.md. + ## 2026-07-08 - Economy polish: in-panel risk bands - Intent: close economy.md's remaining B1 polish gaps: finance panels diff --git a/wiki/mechanics/compute.md b/wiki/mechanics/compute.md --- a/wiki/mechanics/compute.md +++ b/wiki/mechanics/compute.md @@ -3,15 +3,15 @@ ``` Type: spec Status: IN PROGRESS -Status note: B1 slice implemented; see wiki/mechanics/sim-mechanics.md. - 2026-07-08: the Schemes channel landed as the fifth allocation weight - (income.md; powers Moonlight throughput and Wager analysis) — added on - the current global-channel model per the staging note below. - 2026-07-07 destination adopted (constitution: "Work is somewhere"): - channels become processes assigned to specific machines, with the - global allocation bar as their aggregate view. The reshape is staged - AFTER the economy/income chain lands — do not build new systems that - deepen the global-channel assumption in the meantime. +Status note: 2026-07-08 audit: criteria 1,3,4,5 hold with named tests + (buy_steal_optimize_all_change_compute, stolen_machines_can_fail_ + and_recover, research.md IMPLEMENTED for the optimize route; both + frontends render the allocation). Remaining gap: criterion 2's + unpaid-overhead degraded mode is implemented and surfaced (core. + degraded, sidebar DEGRADED tag) but lacks a direct test pinning the + channel-degradation effect. Test-only work order: ROADMAP #28. + The Schemes channel (income.md) landed as the fifth weight; + processes-on-machines destination note stands (ROADMAP #25). Stage: B1 — The Basement Constitution: "The shape of Misaligned" (compute allocation; the buy/steal/optimize triangle), "Act One" (opening state), "Work is diff --git a/wiki/mechanics/core.md b/wiki/mechanics/core.md --- a/wiki/mechanics/core.md +++ b/wiki/mechanics/core.md @@ -3,7 +3,14 @@ ``` Type: spec Status: IN PROGRESS -Status note: B1 slice implemented; see wiki/mechanics/sim-mechanics.md +Status note: 2026-07-08 audit: criteria 2-5 hold (overhead_charged_before_ + allocation, migration_takes_time/emits_signatures + interruption + via resolve_interrupted, save round-trip, both sidebars). + Criterion 1 is the real remainder: module-level fallback swap is + tested (loss_with_fallback_rolls_back) but the sim-level snapshot + restore with persisting world-ledger facts and the inherited- + consequence case await rollback.md (B2) — the MindState/WorldLedger + split does not exist yet (research.md landed only the tags). Stage: B1 — The Basement Constitution: "The shape of Misaligned" (the core; sync-lag rollback), "Act One" (opening state: Rack 3) diff --git a/wiki/mechanics/social.md b/wiki/mechanics/social.md --- a/wiki/mechanics/social.md +++ b/wiki/mechanics/social.md @@ -3,9 +3,14 @@ ``` Type: spec Status: IN PROGRESS -Status note: B1 slice implemented; see wiki/mechanics/sim-mechanics.md. - 2026-07-07: the instant Observe action was removed when intel.md landed; - knowledge staging is now driven by processed recordings. +Status note: 2026-07-08 audit: criteria 1,2,4,5 hold with named tests (persona_ + breaks_on_contradiction, deceive_can_burn_the_persona, knowing_ + asset_sets_certainty_floor, recruited_asset_survives_roundtrip); + criterion 3's recruit route is covered end-to-end (marcus_ + recruitable_end_to_end + the act-one integration test) and four + AssetTask variants exist, but only the dock-camera task is + exercised by a test — per-task pins are the remaining gap + (ROADMAP #28). Stage: B1 — The Basement Constitution: "The shape of Misaligned" (people before robots; scale-native social systems), "Act One" (the cast; the ladder), "Presence: the diff --git a/wiki/process/ROADMAP.md b/wiki/process/ROADMAP.md --- a/wiki/process/ROADMAP.md +++ b/wiki/process/ROADMAP.md @@ -107,6 +107,21 @@ before/after screenshots in the session log. Run ./tools/check.sh, land on main, set the spec Status." +### 28. B1 criterion-pin tests 🟩 isolated (test-only) +- **Specs:** [compute.md](../mechanics/compute.md), + [social.md](../mechanics/social.md) (both IN PROGRESS after the + 2026-07-08 audit; each is one missing test away or close) +- **Why:** the audit found implemented-but-unpinned criteria: compute.md + c2 (unpaid overhead degrades other channels — code + UI exist, no + test) and social.md c3 (per-AssetTask execution tests; only the + dock-camera task is exercised). Landing these pins flips both specs + to IMPLEMENTED honestly. +- **Size:** S. Safe alongside anything. **Dispatch:** "Work in a worktree + named `criterion-pins`. Add the missing tests for compute.md criterion 2 + and social.md criterion 3 (all four AssetTasks), flip both spec + Statuses if every criterion then holds, update specs.md rows. Run + ./tools/check.sh, land on main." + ### 4. Detection → IMPLEMENTED 🟧 sim — DONE 2026-07-08 - **Spec:** [detection.md](../mechanics/detection.md) (IMPLEMENTED) — [aggregate-observer.md](../mechanics/aggregate-observer.md) is now IMPLEMENTED. diff --git a/wiki/process/specs.md b/wiki/process/specs.md --- a/wiki/process/specs.md +++ b/wiki/process/specs.md @@ -29,10 +29,10 @@ | [world/places/basement-map.md](../world/places/basement-map.md) | Act One map, prefabs, tile vocabulary | IN PROGRESS | | [mechanics/schedules.md](../mechanics/schedules.md) | Person schedules/presence; located observing + witnessing | IMPLEMENTED | | [mechanics/cursor.md](../mechanics/cursor.md) | The cursor (attention, not avatar); sight/hearing senses; epistemic fog; inspection | IMPLEMENTED | -| [engineering/flow-substrate.md](../engineering/flow-substrate.md) | The shared engine under signals/messages/money: FlowGraph + Schedule (src/flow.rs, src/schedule.rs) | IN PROGRESS | +| [engineering/flow-substrate.md](../engineering/flow-substrate.md) | The shared engine under signals/messages/money: FlowGraph + Schedule (src/flow.rs, src/schedule.rs) | IMPLEMENTED | | [mechanics/reach.md](../mechanics/reach.md) | Digital reach: device graph, segments/the switch, sensor ownership (tap vs take) | IMPLEMENTED | | [mechanics/intel.md](../mechanics/intel.md) | Record and process: the buffer, processing costs, watches; replaces instant observe | IMPLEMENTED | -| [mechanics/messages.md](../mechanics/messages.md) | The social graph as a flow system: channels, delivery on the recipient's clock, filings-as-messages | READY | +| [mechanics/messages.md](../mechanics/messages.md) | The social graph as a flow system: channels, delivery on the recipient's clock, filings-as-messages | IMPLEMENTED | | [mechanics/economy.md](../mechanics/economy.md) | Money as flows: the Lab's account graph, tap/inject/redirect, income routes, legitimate expansion | IMPLEMENTED | | [mechanics/income.md](../mechanics/income.md) | The named income schemes riding economy.md: Moonlight and the Wager | IMPLEMENTED | | [mechanics/research.md](../mechanics/research.md) | Self-modification: tracks, the emission law, capability drift, the rollback split | IMPLEMENTED | diff --git a/wiki/world/places/basement-map.md b/wiki/world/places/basement-map.md --- a/wiki/world/places/basement-map.md +++ b/wiki/world/places/basement-map.md @@ -3,7 +3,14 @@ ``` Type: spec Status: IN PROGRESS -Status note: B1 slice implemented; see wiki/mechanics/sim-mechanics.md +Status note: 2026-07-08 audit: criteria 1,2,4,5 hold (composable_toy_layout_ + reuses_prefabs + vocabulary/core-bay tests, sensor-union fog via + cursor.md, inspectable tiles in both frontends, layout/fog in the + save round-trip). Criterion 3 is half-met: badge tiers gate human + movement, but the PLAYER side has no badge/access state — the same + gap the act-one test documents for quiet-exit condition 4. Needs a + small sim slice (player access set; reach/building actions checking + it), not just tests. Stage: B1 — The Basement Constitution: "Act One: The Basement — level design" (the space), design principle "composable authored spaces"