diff --git a/wiki/log/2026-08-04-research-staged-implementation-status.md b/wiki/log/2026-08-04-research-staged-implementation-status.md new file mode 100644 index 00000000..fab17101 --- /dev/null +++ b/wiki/log/2026-08-04-research-staged-implementation-status.md @@ -0,0 +1,34 @@ +# Research status names the live first slice + +``` +Type: log +Date: 2026-08-04 +Subject: Research-graph staged implementation status +``` + +A fresh audit of [research.md](../mechanics/research.md) found that its DRAFT +status note still described the entire runtime as the retired flat four-track +design's as-built record. That stopped being true on 2026-07-29: commit +`b3b071287` landed machine-resident procedures as the first implementation +slice of the adopted self-model redesign. + +The live resident slice has one slot per machine, Thought-backed installation +and reconfiguration on the exact host, persona and learned-method authority, +machine-reachable corpus input, explicit mandate and execution envelope, +standing upkeep, bounded provenance receipts, current-save validation, and +WorldLedger rollback behavior. Terminal and Bevy consume the shared Operations +surface, while agent mode dispatches the same exact control. The implementation +and its original defenses remain recorded in +[the resident-procedure landing](2026-07-29-resident-machine-procedures.md). + +The status note now separates that live slice from the larger work order that +is still absent: archive / corpus / model graph state, CURATE and STUDY jobs, +finite graph branches, and data sales. `research-graph` correctly remains +DRAFT; the repair removes a false all-or-nothing status claim without marking +unbuilt criteria complete or changing runtime behavior. + +Defense: a `Type: spec` status note is current dispatch truth. Naming already +landed resident-procedure behavior prevents future work from deleting or +duplicating a live system under the mistaken premise that all redesign code is +still pending, while preserving the DRAFT boundary around the unimplemented +graph. diff --git a/wiki/log/DEVLOG.md b/wiki/log/DEVLOG.md index 537f582f..7a8e3c24 100644 --- a/wiki/log/DEVLOG.md +++ b/wiki/log/DEVLOG.md @@ -26,6 +26,11 @@ add or amend a session log, then re-run the generator. - Intent: (see session log) - Log: [wiki/log/2026-08-04-simulation-law-staging-drift.md](2026-08-04-simulation-law-staging-drift.md) +## 2026-08-04 - Research status names the live first slice + +- Intent: (see session log) +- Log: [wiki/log/2026-08-04-research-staged-implementation-status.md](2026-08-04-research-staged-implementation-status.md) + ## 2026-08-04 - Public API symbol-collision defense - Intent: (see session log) diff --git a/wiki/mechanics/research.md b/wiki/mechanics/research.md index c2ca6616..18775cb6 100644 --- a/wiki/mechanics/research.md +++ b/wiki/mechanics/research.md @@ -4,20 +4,20 @@ Type: spec Status: DRAFT Status note: Redesigned 2026-07-26 and amended 2026-07-28 (Cameron with Trace -and the session agent; - see wiki/log/2026-07-26-research-redesign-capture.md). The flat four-track - system this page previously specified is retired as design; the runtime - still implements it (crates/misaligned-core/src/research.rs, save v63), so - the code is the retired design's as-built record until this work order is - dispatched. Direction is adopted, and the same-day follow-up sessions - resolved residency (machine-hosted slots, one at run start, immediate - swap), the rollback class of resident procedures (WorldLedger), - encryption (deferred to B2). The 2026-07-28 resident-procedure amendment - supersedes immediate free swapping and act-only persona attachment: - procedures are persona-bound, reconfiguration is Thought work on the host, - and every attempt retains host/persona custody. The one - remaining [OPEN] item — buyer-side design for data sales — lands with - economy/markets integration and does not block dispatch. + and the session agent; see + wiki/log/2026-07-26-research-redesign-capture.md). The runtime still uses the + retired four-track model for learning and numeric progression + (crates/misaligned-core/src/research.rs, save v63), but it is no longer only + the retired design's as-built record. The first redesign slice landed + 2026-07-29: machine-hosted resident procedures bind one host slot, persona, + mandate, learned method, reachable inputs, and execution envelope; + Thought-backed reconfiguration, upkeep, exact receipts, current-save + validation, and WorldLedger rollback behavior are live through shared human + and agent surfaces (see wiki/log/2026-07-29-resident-machine-procedures.md). + The archive / corpus / model graph, CURATE and STUDY pipeline, finite + branches, and data sales remain unimplemented, so this work order remains + DRAFT. The one remaining [OPEN] design item — buyer-side design for data + sales — lands with economy/markets integration and does not block dispatch. Stage: B1 Work order: research-graph Work priority: 40 diff --git a/wiki/process/tick-ledger.md b/wiki/process/tick-ledger.md index edc69013..7cbff354 100644 --- a/wiki/process/tick-ledger.md +++ b/wiki/process/tick-ledger.md @@ -79,7 +79,7 @@ Verdicts: **clean** (slice and code agree), **finding** (acted this tick), | `wiki/mechanics/core.md` | 2026-07-29 | finding | the queued liveness follow-up is closed: host loss now filters synchronized targets to currently online machines before ranking freshness, so a dark staged target cannot become host or produce repeated failover receipts; no synchronized live target ends the run — [liveness log](../log/2026-07-29-live-b1-fallback-selection.md). The prior B1/B2 boundary remains exact: the free-cadence `last_sync` is only a check-in, current-state host failover restores no snapshot, and completed-image rollback remains deferred — [boundary log](../log/2026-07-29-b1-host-failover-boundary.md). There is still no Thought-backed project, partial progress, heat, saved project state, sidebar ETA/cost/target, source-liveness resolver, or capability-shaped eligibility — [project-status log](../log/2026-07-28-core-criteria-status-audit.md). | | `wiki/mechanics/cursor.md` | 2026-07-28 | finding | re-audit: cursor state remains frontend-only; sight, hearing, fog precedence, remembered snapshots, blueprint opacity, telemetry, provenance, identity gates, and cold signal pings still match the implemented contract. Criterion 2 explicitly required a before/after simulation-state-hash proof for arbitrary cursor movement, but the only existing hash tests began after cursor placement and proved F3 view immutability instead. Terminal and Bevy now sweep every map coordinate through their production cursor helpers, pin edge clamping, and require unchanged simulation save-state hashes — [log](../log/2026-07-28-cursor-immutability-defense.md) | | `wiki/mechanics/intel.md` | 2026-08-04 | finding | the queued current-save follow-up is closed: historical v24/v30 transitions now remain statement-local retired history, criterion 7 states exact-current round-trip truth, and the save-claim gate rejects unversioned live migration prose plus the numbered `collapses` synonym — [save-boundary log](../log/2026-08-04-intel-current-save-boundary.md). The full audit's player-facing repair also stands: core emits criterion 12's exact conditional **OLDER INFORMATION WILL BE LOST IF MORE ARRIVES**, with a full-buffer projection regression for all consumers — [bounded-loss log](../log/2026-08-04-intel-bounded-loss-language.md). Prior Storage B, recursive custody, magnitude, and consequence-first findings stand. | -| `wiki/mechanics/research.md` | 2026-07-23 | finding | the live Save compatibility section survived the prior criterion repair and still promised that v20 three-entry arrays load by padding, while the current deserializer accepts exactly four tracks and the pre-release loader rejects every old version. The section now states the exact-current format, and save-claim units span wrapped paragraphs/list items so a migration verb in the following sentence cannot evade the corpus gate without explicit retired-history context — [log](../log/2026-07-23-research-save-claim.md) | +| `wiki/mechanics/research.md` | 2026-08-04 | finding | the DRAFT status note still described the whole runtime as the retired flat-track as-built record even though the first redesign slice landed 2026-07-29: machine-hosted resident procedures now preserve exact host, persona, method, reachable-input, envelope, job, receipt, save, and rollback custody across all frontends. The note now distinguishes that live slice from the still-unimplemented archive / corpus / model graph, CURATE/STUDY pipeline, finite branches, and data sales without overclaiming the work order — [log](../log/2026-08-04-research-staged-implementation-status.md). Prior exact-current save repair stands — [save boundary](../log/2026-07-23-research-save-claim.md). | | `wiki/mechanics/messages.md` + `economy.md` | 2026-07-26 | finding | the implemented criterion and current runtime restrict financial records to Email/Filing, but the behavior prose still classified Marcus's Phone `LeverageFact` as financial paperwork, made accounting mail reveal his vulnerability, and promised generic notice interception absent from B1. The two causal paths are now explicit: process Phone leverage to learn why Marcus is vulnerable; process financial mail to learn the creditor flow; SIPHON/REDIRECT mutate the AccountGraph and author records afterward, while only an exact Filing first hop has a TAKE+LIE stop — [log](../log/2026-07-26-financial-mail-phone-boundary.md). Prior financial-mail implementation: [Fire #146](../log/2026-07-21-financial-mail-causality.md). | | `wiki/mechanics/income.md` | 2026-07-28 | finding | Moonlight's discrete contract route still verifies, but the older Wager audit mistook pure account-layer probability support for a player-authored analysis mechanic: machine delegation has only WORK / LIE / THINK, while `open_position` sampled a Schemes rate permanently pinned to zero and all three player projections still rendered that zero as `Schemes / moonlight`. Removed the dead yield/rate/interface mirror, made current positions explicitly base-probability, added core/terminal/Bevy regressions, and reopened criterion 2 until optional analysis rides visible real work — [log](../log/2026-07-28-wager-analysis-substrate-audit.md). Prior persona-card repair remains valid — [log](../log/2026-07-18-moonlight-persona-card.md). | | `wiki/mechanics/schedules.md` | 2026-07-27 | finding | the location gate still works—at 03:00 server-room Marcus acquires the act while off-site Priya does not—but the owning spec still called witnessed work a Physical signature and omitted the exact person-local evidence record, no-pending-copy rule, filing custody, and actor exclusion. It also called implemented Operations PEOPLE a future READY migration. The spec now names the shipped `ObserverEvidence` boundary and current surface; runtime is unchanged — [log](../log/2026-07-27-schedules-evidence-custody.md) |