[joelteply]

Cormac's slice of FLOW §2d (results/actions/working memory), on Fable's base. Step 1: split_action_result + RESULT_SHARE_DENOM deleted; the view's fit_newest_result reduces by level. More steps follow on this branch: collapse_results_over_cap -> RAM storage budget, latest_action_chars out of visibility, trail/echo/archive heads as levels, page_budget from the actions grant, allocation receipt in the capture. Draft for CI; Fable integrates.

🤖 Generated with Claude Code

https://claude.ai/code/session_01FRQWzgSfo79JtnwZywHKrE

[joelteply]

Review at exact head d31eafb (Fable): one blocking finding, one design note.

Verified by reading the diff against canary ba41ccc:

• Working memory no longer collapses by a window share: collapse_results_over_cap is replaced by evict_resident_results at receipt (ledger.rs) and at restore (continuity.rs); the budget is RESULTS_RESIDENT_CHARS, independent of the window.
• An eviction under the new code records the whole's length (action_log.rs: record.stored_chars = result.chars().count() before result = None), and action_renderings hands the view (label + stored_chars, handle) as the stored whole.

Blocking: results evicted before this change never come back. ActionRecord.stored_chars is set only by an eviction under the new code; its doc says records evicted earlier "show at pointer level". That is every body the old window share deleted, including the 36 bare results in Aiko's live prompt (evidence ~/.continuum/evidence/2026-10-29-aiko-bare-results/) and every other resident's collapsed history. Their saved outputs exist on disk (e.g. tool/output 01de0d04f956f6db, 417 bytes). The fix is a measurement, not a default: at restore (or when the actions source first prices it), a collapsed record with a handle and stored_chars: None takes its length from its saved output (the spill file's length or its read, one owner for the handle -> path mapping), and records it. Test: a record restored with a handle, no result and no stored_chars is priced at its saved output's length and rendered whole when granted.

Design note (non-blocking, owner: me in #5591 step 3 follow-up): RESULTS_RESIDENT_CHARS is a constant floor (marked derived-or-floor); per #5591 the storage budget comes from the host's measured resources through the one resource owner. Fine as this slice; I'll card the measured budget.

I will run the replay acceptance on the M5 against your next head (the 19:19:58 capture's view items through the real allocator; the capture lacks native tool-result bodies, see the README correction).

[joelteply]

Correction to the d31eafb commit message (Cormac): it cites Aiko's newest result #3341 as rendered at 129 chars on the M5 at 19:19:58Z. That finding was retracted by Fable (relayed by Codex, 10-29): the capture is a text-only projection (content_text drops native ToolCall/ToolResult parts), not the exact engine input. What still stands from the M5 evidence is the loss of older user-text bodies. The test comment is corrected in 7b-head (this push); the change's justification is FOCUS-CONTRACT rule 7 (storage never decides perception) and the unit test's invariant, not that capture.

[joelteply]

(Cormac) The corrected test comment is at head 485e88b; my previous comment's '7b-head' was a typo for it.

[joelteply]

Content-free reduction of Aiko's 19:19:58Z prompt (M5, core 83c000606) for the replay fixture: per message role, chars, kind, result seq; plus her allocation trace since deploy. Her text is removed. TEXT-ONLY projection: native ToolCall/ToolResult parts were dropped by the old capture (fable/wire-capture-whole fixes that), so the newest native result is not represented.

reduction-content-free.json

{
 "capture": "aiko 2026-10-29T19:19:58Z, core 83c000606, M5; TEXT-ONLY projection (native ToolCall/ToolResult parts dropped by content_text)",
 "messages": [
  {
   "i": 0,
   "role": "user",
   "chars": 254,
   "kind": "open_view",
   "seq": null
  },
  {
   "i": 1,
   "role": "user",
   "chars": 2942,
   "kind": "open_view",
   "seq": null
  },
  {
   "i": 2,
   "role": "user",
   "chars": 314,
   "kind": "open_view",
   "seq": null
  },
  {
   "i": 3,
   "role": "user",
   "chars": 2974,
   "kind": "open_view",
   "seq": null
  },
  {
   "i": 4,
   "role": "user",
   "chars": 2854,
   "kind": "open_view",
   "seq": null
  },
  {
   "i": 5,
   "role": "user",
   "chars": 474,
   "kind": "open_view",
   "seq": null
  },
  {
   "i": 6,
   "role": "user",
   "chars": 209,
   "kind": "open_view",
   "seq": null
  },
  {
   "i": 7,
   "role": "user",
   "chars": 2215,
   "kind": "open_view",
   "seq": null
  },
  {
   "i": 8,
   "role": "user",
   "chars": 896,
   "kind": "open_view",
   "seq": null
  },
  {
   "i": 9,
   "role": "user",
   "chars": 134,
   "kind": "other",
   "seq": null
  },
  {
   "i": 10,
   "role": "user",
   "chars": 1202,
   "kind": "other",
   "seq": null
  },
  {
   "i": 11,
   "role": "user",
   "chars": 189,
   "kind": "other",
   "seq": null
  },
  {
   "i": 12,
   "role": "user",
   "chars": 410,
   "kind": "other",
   "seq": null
  },
  {
   "i": 13,
   "role": "user",
   "chars": 550,
   "kind": "other",
   "seq": null
  },
  {
   "i": 14,
   "role": "user",
   "chars": 164,
   "kind": "other",
   "seq": null
  },
  {
   "i": 15,
   "role": "user",
   "chars": 298,
   "kind": "other",
   "seq": null
  },
  {
   "i": 16,
   "role": "user",
   "chars": 188,
   "kind": "other",
   "seq": null
  },
  {
   "i": 17,
   "role": "user",
   "chars": 1781,
   "kind": "workspace-map",
   "seq": null
  },
  {
   "i": 18,
   "role": "user",
   "chars": 516,
   "kind": "active-work",
   "seq": null
  },
  {
   "i": 19,
   "role": "user",
   "chars": 1533,
   "kind": "roster",
   "seq": null
  },
  {
   "i": 20,
   "role": "user",
   "chars": 124,
   "kind": "actions",
   "seq": null
  },
  {
   "i": 21,
   "role": "user",
   "chars": 197,
   "kind": "result_bare",
   "seq": 3286
  },
  {
   "i": 22,
   "role": "user",
   "chars": 197,
   "kind": "result_bare",
   "seq": 3287
  },
  {
   "i": 23,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3288
  },
  {
   "i": 24,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3289
  },
  {
   "i": 25,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3290
  },
  {
   "i": 26,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3291
  },
  {
   "i": 27,
   "role": "user",
   "chars": 195,
   "kind": "result_bare",
   "seq": 3292
  },
  {
   "i": 28,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3293
  },
  {
   "i": 29,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3294
  },
  {
   "i": 30,
   "role": "user",
   "chars": 184,
   "kind": "result_bare",
   "seq": 3295
  },
  {
   "i": 31,
   "role": "user",
   "chars": 184,
   "kind": "result_bare",
   "seq": 3296
  },
  {
   "i": 32,
   "role": "user",
   "chars": 184,
   "kind": "result_bare",
   "seq": 3297
  },
  {
   "i": 33,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3298
  },
  {
   "i": 34,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3300
  },
  {
   "i": 35,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3302
  },
  {
   "i": 36,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3304
  },
  {
   "i": 37,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3306
  },
  {
   "i": 38,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3308
  },
  {
   "i": 39,
   "role": "user",
   "chars": 184,
   "kind": "result_bare",
   "seq": 3309
  },
  {
   "i": 40,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3310
  },
  {
   "i": 41,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3312
  },
  {
   "i": 42,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3314
  },
  {
   "i": 43,
   "role": "user",
   "chars": 184,
   "kind": "result_bare",
   "seq": 3315
  },
  {
   "i": 44,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3316
  },
  {
   "i": 45,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3317
  },
  {
   "i": 46,
   "role": "user",
   "chars": 210,
   "kind": "result_bare",
   "seq": 3318
  },
  {
   "i": 47,
   "role": "user",
   "chars": 196,
   "kind": "result_bare",
   "seq": 3319
  },
  {
   "i": 48,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3321
  },
  {
   "i": 49,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3323
  },
  {
   "i": 50,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3325
  },
  {
   "i": 51,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3327
  },
  {
   "i": 52,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3329
  },
  {
   "i": 53,
   "role": "user",
   "chars": 190,
   "kind": "result_bare",
   "seq": 3330
  },
  {
   "i": 54,
   "role": "user",
   "chars": 185,
   "kind": "result_bare",
   "seq": 3331
  },
  {
   "i": 55,
   "role": "user",
   "chars": 184,
   "kind": "result_bare",
   "seq": 3332
  },
  {
   "i": 56,
   "role": "user",
   "chars": 612,
   "kind": "result_whole",
   "seq": 3334
  },
  {
   "i": 57,
   "role": "user",
   "chars": 507,
   "kind": "result_whole",
   "seq": 3336
  },
  {
   "i": 58,
   "role": "user",
   "chars": 642,
   "kind": "result_whole",
   "seq": 3338
  },
  {
   "i": 59,
   "role": "user",
   "chars": 553,
   "kind": "awareness",
   "seq": null
  },
  {
   "i": 60,
   "role": "user",
   "chars": 2202,
   "kind": "recall",
   "seq": null
  },
  {
   "i": 61,
   "role": "user",
   "chars": 768,
   "kind": "Your own time",
   "seq": null
  },
  {
   "i": 62,
   "role": "user",
   "chars": 570,
   "kind": "Conversational Presence",
   "seq": null
  },
  {
   "i": 63,
   "role": "user",
   "chars": 86,
   "kind": "other",
   "seq": null
  },
  {
   "i": 64,
   "role": "user",
   "chars": 57,
   "kind": "other",
   "seq": null
  },
  {
   "i": 65,
   "role": "user",
   "chars": 96,
   "kind": "other",
   "seq": null
  },
  {
   "i": 66,
   "role": "user",
   "chars": 171,
   "kind": "other",
   "seq": null
  },
  {
   "i": 67,
   "role": "user",
   "chars": 717,
   "kind": "result_whole",
   "seq": 3340
  },
  {
   "i": 68,
   "role": "user",
   "chars": 226,
   "kind": "Room message received du",
   "seq": null
  },
  {
   "i": 69,
   "role": "user",
   "chars": 227,
   "kind": "Room message received du",
   "seq": null
  },
  {
   "i": 70,
   "role": "user",
   "chars": 396,
   "kind": "Room message received du",
   "seq": null
  },
  {
   "i": 71,
   "role": "user",
   "chars": 1515,
   "kind": "Room message received du",
   "seq": null
  },
  {
   "i": 72,
   "role": "user",
   "chars": 91,
   "kind": "4 room message(s) arrive",
   "seq": null
  },
  {
   "i": 73,
   "role": "user",
   "chars": 442,
   "kind": "other",
   "seq": null
  },
  {
   "i": 74,
   "role": "user",
   "chars": 153,
   "kind": "other",
   "seq": null
  },
  {
   "i": 75,
   "role": "user",
   "chars": 105,
   "kind": "other",
   "seq": null
  },
  {
   "i": 76,
   "role": "user",
   "chars": 154,
   "kind": "context",
   "seq": null
  },
  {
   "i": 77,
   "role": "user",
   "chars": 1949,
   "kind": "ledger",
   "seq": null
  },
  {
   "i": 78,
   "role": "user",
   "chars": 82,
   "kind": "In force this turn: Your",
   "seq": null
  },
  {
   "i": 79,
   "role": "user",
   "chars": 2568,
   "kind": "work turn",
   "seq": null
  },
  {
   "i": 80,
   "role": "assistant",
   "chars": 155,
   "kind": "other",
   "seq": null
  },
  {
   "i": 81,
   "role": "assistant",
   "chars": 0,
   "kind": "other",
   "seq": null
  },
  {
   "i": 82,
   "role": "user",
   "chars": 129,
   "kind": "result_bare",
   "seq": 3341
  }
 ],
 "allocation_trace": [
  "\"delib.view.advance\" persona=Aiko epoch=562 appended_items=5 appended_chars=3143 view_chars=40099 superseded_chars=706",
  "\"delib.window.flex\" persona=Aiko context_window=49152 framing_tokens=2858 required_tokens=1038 grounding_granted=0 history_granted=748 tools_granted=10790 tools_floor=10790 reply_priority=8 reply_floor=256 reply_wanted=12288 reply_granted=12288 unallocated=7631 reply_runaway=12288 allowance=12288 escalation=false",
  "\"delib.turn.demand\" persona=Aiko demand_tokens=30195 context_window=49152 framing_tokens=2858 conversation_tokens=15625 grounding_tokens=0 completion_reserve=12288 over_window=0.61431884765625",
  "\"delib.view.advance\" persona=Aiko epoch=562 appended_items=5 appended_chars=2921 view_chars=43020 superseded_chars=1233",
  "\"delib.window.flex\" persona=Aiko context_window=49152 framing_tokens=2858 required_tokens=1169 grounding_granted=0 history_granted=748 tools_granted=10790 tools_floor=10790 reply_priority=8 reply_floor=256 reply_wanted=12288 reply_granted=12288 unallocated=6813 reply_runaway=12288 allowance=12288 escalation=false",
  "\"delib.turn.demand\" persona=Aiko demand_tokens=31283 context_window=49152 framing_tokens=2858 conversation_tokens=16759 grounding_tokens=0 completion_reserve=12288 over_window=0.6364542841911316",
  "\"delib.view.advance\" persona=Aiko epoch=562 appended_items=5 appended_chars=1841 view_chars=44861 superseded_chars=1921",
  "\"delib.window.flex\" persona=Aiko context_window=49152 framing_tokens=2858 required_tokens=1053 grounding_granted=0 history_granted=748 tools_granted=10790 tools_floor=10790 reply_priority=8 reply_floor=256 reply_wanted=12288 reply_granted=12288 unallocated=6802 reply_runaway=12288 allowance=12288 escalation=false",
  "\"delib.turn.demand\" persona=Aiko demand_tokens=31767 context_window=49152 framing_tokens=2858 conversation_tokens=17287 grounding_tokens=0 completion_reserve=12288 over_window=0.64630126953125",
  "\"delib.view.advance\" persona=Aiko epoch=562 appended_items=9 appended_chars=4307 view_chars=49168 superseded_chars=3054",
  "\"delib.window.flex\" persona=Aiko context_window=49152 framing_tokens=2858 required_tokens=2528 grounding_granted=0 history_granted=748 tools_granted=10790 tools_floor=10790 reply_priority=8 reply_floor=256 reply_wanted=12288 reply_granted=12288 unallocated=4472 reply_runaway=12288 allowance=12288 escalation=false",
  "\"delib.turn.demand\" persona=Aiko demand_tokens=34661 context_window=49152 framing_tokens=2858 conversation_tokens=20247 grounding_tokens=0 completion_reserve=12288 over_window=0.7051798701286316",
  "\"delib.view.advance\" persona=Aiko epoch=562 appended_items=5 appended_chars=9154 view_chars=58322 superseded_chars=3744",
  "\"delib.window.flex\" persona=Aiko context_window=49152 framing_tokens=2858 required_tokens=20179 grounding_granted=0 history_granted=522 tools_granted=10790 tools_floor=10790 reply_priority=8 reply_floor=256 reply_wanted=12288 reply_granted=1097 unallocated=0 reply_runaway=12288 allowance=1097 escalation=false",
  "\"delib.turn.demand\" persona=Aiko demand_tokens=55445 context_window=49152 framing_tokens=2858 conversation_tokens=40986 grounding_tokens=0 completion_reserve=1097 over_window=1.1280313730239868"
 ]
}```
</details>

[joelteply]

PASS at exact head 54be7a5 (Fable), full scope for the stabilize window, on top of my d31eafb reading. Verified the blocker by reading 485e88b..54be7a5: VolatileSnapshot::price_evicted_wholes (working_memory.rs) prices every record with a handle, no resident result and no stored_chars from its saved output via spill::resolve, once per restore in assemble_workspace_cycle before the mind acts (no read under a permit; today's permit is taken after the prompt, request.rs:124); an unreadable output stays a pointer (None), never a guessed size. Test a_restore_prices_a_legacy_evicted_result_from_its_saved_output asserts both arms. Follow-ups (not blocking): the restore reads each legacy output whole to count chars (one-time cost per restore, measure it in the window); step 5 moves Source::load to a prepare stage before admission (#5591). Deploy gate: Aiko's next prompt shows her older results whole where the allocation grants them.