Repository navigation
CONTRACT: feat(storage): deliver owner inventory, recovery and capacity guidance - #2172
schlessera wants to merge 60 commits into
Conversation
|
2026-10-17 verification update: The subsequent combined-tree review found a separate browser-proof integration defect: Storage's command registration changed |
|
2026-10-17: candidate The class audit found three remaining stale fingerprints. On the same combined source all three corresponding controls fail before correction (18 pass / 3 fail); updating only the reviewed fingerprints passes 165 audit/input/build/citation tests with 727 assertions. Guard logic and behavioral assertions remain unchanged. Candidate |
|
2026-10-17 continuation: the local interruption is now attributed to hibernation using independent journal and resource-clock records. The Candidate |
|
The first local preflight on The filesystem still reported available blocks; its mount enables user quotas. A later small write control succeeds, so the error is retained as a contemporaneous failure rather than a claim that the limit remains continuously exhausted. Session receipts now reside on disk, with separate command-scoped temporary directories for candidate verification and the historical replay. No other session's files, system quota, test limits or offline guard changed. Required preflight has restarted once on unchanged |
|
Resumed after the turn interruption. Both active runs stopped with affected-child exit 143 and check:pr exit 1, before the historical speech target; no test failure appeared before cancellation. Their incomplete logs remain preserved, and no supervisor completion is invented. Candidate The original-source replay restarts with the same observation-only changes and 7,200-second bound. It uses its separate checkout and disk-backed temporary directory, concurrently with the current candidate. The observer stops it only after the actual speech wrapper joins and captures exact bundle PID/exit/signal/EOF/resource observations. A successful target cannot establish the original cause. #2334 and full hosted confirmation remain outstanding; claim |
|
2026-10-18: independently reconciled and closed #2195, #2196, #2201, #2204 and #2205. Their fixes were already delivered in #2199/#2233. Automatic main CI 39068036318, attempt1, passes all16 selected jobs on actual main The next turn handoff also interrupts the The original full replay's earlier fast-invariant attempt separately fails its old15-second native Vitest discovery guard before starting affected feedback (948 pass/1fail,6,302 assertions). The exact original affected-test subprocess runs directly, with unchanged source except bounded bundle observations, assertions and limits. Its target is joined before diagnostic shutdown; no full-preflight success or causal #2334 repair is inferred. The current |
|
Current candidate The integration exposed an actual authorization gap: the new asynchronous worker preparation happened after Storage's last pre-launch authority check and command-entry marker. The real fixture revokes authority when preparation completes. Its initial assertion fails with entry count 1 instead of 0. The correction invokes the existing host check and marker synchronously after preparation, immediately before the requested command. First-party preparation commands do not receive that callback. The stronger native mutation removes that final invocation: The superseded The original-source #2334 broad diagnostic continues unchanged in its separate checkout; its cause is still unresolved. No full selected hosted confirmation or merge is claimed. Claim |
|
2026-10-18: The current candidate's external-speech target passes: bundle PID 2539396 exits 0 with no signal, both output channels complete with zero bytes, and the two real browser/audio tests pass with 13 assertions. Its isolated wrapper passes in 107.45 seconds. This current-source control does not establish the historical silent exit's cause or resolve #2334. The existing #2315 SDK correction and the subsequently reproduced application-parent deadline correction #2382 are ready in independent PR #2384 at |
|
Independent #2384 is merged as The frozen Storage The current external-speech control passes as previously recorded. It still does not establish #2334's historical termination cause; #2380's separate discovery failure also remains unresolved. |
|
Qualification of Storage candidate |
|
2026-10-18 qualification correction: the required preflight on Relevant main worker initialization and proof-fixture corrections are now integrated as |
|
Qualification of integrated Storage candidate |
|
The diagnosed #2409 caller-fixture correction is committed as The current combined candidate now receives focused integration, strict types and required local preflight. Successful local proof will request an explicit full CI run while the PR stays draft. #2334 and #2380 remain open. |
|
Qualification of integrated Storage candidate |
Refs #2409
Refs #1513, #2010, #2011, #2012, #2013, #2058, #2059, #2195, #2196, #2201, #2204, #2205, #2315. Refs #2334 for bounded observations; its historical termination remains unexplained.
What changed
Implements the complete Storage journey approved in #1782 and the guidance approved in #2014. Human owners can inspect bounded Brain/App inventories and capacity, filter PDFs larger than 5 MB, review exact file versions, remove eligible attachments with retained originals, read durable outcomes, and perform stale-safe Undo. The three approved maintenance operations run through their existing owners. Unknown allocation, references, recovery and volume effects remain explicit.
Adds 64 six-hour, 90 daily and 32 weekly actual history endpoints across at most four capacities, within 186 records and 256 KiB, without extra scans. Qualified 7-day and 30-day capacity scenarios supplement observed rates. Independent capacity, forecast and owner-refusal causes drive hysteretic warnings, the persistent app indicator and opt-in Critical push episodes. Delivery preserves quiet hours, durable deduplication, bounded known-failure retries and terminal unknown outcomes.
Why this shape
Follows the approved Storage design, lifecycle and guidance decisions. Current authority, exact-version review, retained originals, durable intent and exclusive writer coordination govern effects. Each operational store keeps its existing owner; unknown effects are never replayed automatically.
This ordinary PR targets main and includes review layers #2113, #2061, #2138, #2139, #2151 and #2165. Their smaller diffs remain available until combined delivery is verified. Supporting fixture corrections retain their behavioral assertions and original diagnostic evidence.
Current qualification
Candidate
9c4419b2df85c9ef69fd91c768369d713954e743, treeb54c9b8554b331853247268224317652cd40b5ab, contains the clean integration of mainea4c76c15eee2e23701910b7c2395bdd479b99c6and the diagnosed #2409 test-fixture correction. #2299 changes worker XDG initialization on the launcher/sandbox path used by Storage; #2388 supplies independent generated-proof fixtures; #2407 corrects cancellation-fixture temporary-root placement.The first integrated head
065d408bpassed 91 focused tests and failed one generated-theme positive. Its frozen caller still preceded Storage's already-reviewed binding. The correction gives that caller its own committed fixture while shared producer inputs retain their frozen main owner. Production hashes, refusal guards and product source are unchanged by this two-file correction. All 20 generated-input tests pass with 88 assertions; restoring the old caller fails the same positive assertion (19 pass / one fail), and restoration passes 20 / 88. The real offline compiler and drift controls remain exercised. Lint passes. The failed integration receipt remains failed.Local qualification of this integrated head is pending.
Focused worker import-order, native placement, SDK relay, Storage authority, cancellation and proof-fixture checks run before strict types and mandatory local preflight. If these succeed with unchanged source and PR feedback, an explicit full CI run will be requested on this branch while the PR remains draft. This does not establish automatic ready-PR behavior. The #2334 and #2380 causal evidence gaps remain open; neither readiness nor merge follows from successful controls alone.
Prior candidate qualification — cb193ad
Current candidate
cb193add13f65dc7f160204d43fdcf9b5801094f, treebce25c03febbb76d175a212b35f4f2791885ad87, integrates main68e12f27eb249c9fe7262a498a0397c04bbda8f4into prior Storage3c0e884a4d6b43c494469c9fdaf6ce0cb919ef6e. The merge is clean and matches the precomputed tree. The complete intervening diff only changes tests, proof helpers and capture metadata; product source is unchanged. This incorporates the delivered native deadline corrections #2315/#2382 via #2384 and the literal-/tmpfixture correction #2387 via #2389.The previous candidate's mandatory preflight finishes with exit 1: 956 fast tests / 6,331 assertions pass; broad feedback reports 7,189 pass / four skips / one fail, 48,812 assertions across 545 files in 5,778.62 seconds. All four skips are the inverse empty
test.if(!vecAvailable)placeholders, with substantive vector cases passing. The sole failed test is the native runtime-placement sentinel now corrected by #2389. The failed receipt remains unchanged.The frozen
cb193add13f65dc7f160204d43fdcf9b5801094fqualification completed successfully: 56 focused checks / 424 assertions, strict types in 54.99 seconds, and requiredbun run check:pr --base origin/mainwith exit 0 in 4,962.10 seconds. Fast checks pass 956 / 6,331 assertions. Broad affected feedback passes 7,184 tests, with four inverse empty vector placeholders skipped, zero failures and 48,836 assertions across all 544 selected files. The substantive vector cases and formerly failing native placement control execute and pass.The post-run wrapper stopped on its stale expectation of at least 7,190 passing tests. The audit accounts for the exact six-case difference:
packages/ui-backend-claude/tests/sdk-host-relay.test.tsis the sole file removed from the previous affected selection. #2384 delivered its exact already-present blob08a6293a6aacf45a6f5420b3e4e12e006b71b393onto main, so it is no longer changed relative to the new base. Every other observed test-file header remains. The required command itself passed; the wrapper stop is preserved separately and does not justify an unchanged rerun. This receipt belongs tocb193add, before the relevant main integration described above.Historical #2334 and #2380 cause attribution remains unresolved. The passing current speech control does not explain the old silent bundle termination, and prior successful discovery controls do not repair the old watchdog failure. This prepared verification step does not close either investigation or authorize merging Storage while its stated prerequisites remain open.
Earlier candidate proof
Current head:
3c0e884a4d6b43c494469c9fdaf6ce0cb919ef6e; integrated main:498270fbdc4ef2788fdd3babb259b647d77f6c77; tree:7ae925358c6b9da18e28959cb57cc9ff07c26c1b.Main #2361's native maintenance corrections are integrated. The new asynchronous preparation exposed a Storage authority gap: a real revoked-owner control entered its command before revalidation. The correction checks authority and records command entry after preparation, immediately before payload launch. Removing the check makes the real worker write the forbidden marker; restoration prevents that write and passes an authorized control. The integrated runtime/citation batch passes 100 tests / 402 assertions; the final owner suite passes 5 / 38 and lint passes. Strict types and 956 fast tests / 6,331 assertions pass on this exact frozen candidate. Required broad affected-test feedback is still running but has already failed the native runtime-placement sentinel assertion. #2387 reproduces it on unchanged main: a relocated runner
TMPDIRput the supposed inside-/tmpsentinel outside the actual private mount. The isolated literal-mount fixture correction preserves every launcher mode/assertion; corrected default/relocated runs pass 4 tests / 253 assertions, a broad-retention mutation fails the named sentinel assertion, and restoration passes. PR #2389 carries the independent correction. Its required local preflight passes on clean2c3913504382ab54e97586f1fbfc26f87a442affin 21.40 seconds, including all four affected native tests / 253 assertions with relocatedTMPDIR. The original Storage receipt remains failed; this focused control does not replace complete candidate qualification. Complete selected hosted confirmation has not started. Unmatched retention inputs require fresh execution under the existing rules.Behavioral and mutation evidence retained with its actual source:
STORAGE_PRIVATE_ORIGINAL_BEFORE_EFFECT; removing post-admission authority fails the writer-gate revocation assertion. Restored implementations pass.Failed and interrupted runs remain separately recorded. The original
fe5faafdabroad run fails only the silent speech bundle (#2334); four skips are inverse empty placeholders while substantive vector tests pass. Later4440e0f9bpasses its full preflight;dbeabf662fails its stale fingerprint guard. Neither result is relabeled as current proof. The95dc5e8bfhibernation failures and one unchanged-source recovery are recorded in the continuation receipt. The subsequent temporary-filesystem write error and isolated disk-backed recovery are recorded in the quota receipt.The last turn interruption stops both the
0c06538fbpreflight and original-source diagnostic with affected-test exit 143 and check:pr exit 1 before the diagnostic target. No test failure is reported before cancellation; complete supervisor exit receipts are unavailable. Those runs remain incomplete. The bounded original-source replay is now complete: the original 180-second package-build hook expires before browser bundling, so no bundle process sample exists. The observer stops its diagnostic after the target wrapper joins and confirms zero survivors among eight owned processes. The completed diagnostic records this distinct setup failure without attributing the historical silent exit.The current candidate's external-speech target passes: bundle PID 2539396 exits 0 with no signal, both output channels complete with zero bytes, and the two real browser/audio tests pass with 13 assertions. Its isolated wrapper passes in 107.45 seconds. This current-source control does not establish the historical silent exit's cause. The investigation in #2334 remains open.
Checklist
Five independently delivered fixture issues (#2195, #2196, #2201, #2204, #2205) are now closed after verified complete main proof; their qualification receipt remains separate from this feature candidate.
Anything left open
Qualification of integrated
9c4419b2df85c9ef69fd91c768369d713954e743, explicit complete hosted proof, resolution of the stated causal prerequisites, automatic ready-PR confirmation and actual-main verification. The delivered #2315/#2382/#2387 fixture fixes are integrated. The distinct #2334 historical silent bundle termination and #2380 pre-publication discovery failure remainneeds: repro; their passing controls are not causal repairs. Independent #1513 delivery in draft #2113 remains blocked by #2380. Keep these gaps explicit and resolve the stated prerequisites before merge. The #2202 ruling covers only its separate known unavailable-Send observation. #2307 is not a Storage prerequisite. No complete current hosted pass or Storage merge is claimed.Volume deltas include other writers. Undo requires a retained original and absent target. Accepted push transport does not establish device display. The unrelated reduced-motion defect remains tracked in #2166; Storage history is static. No deployment, production cleanup or real notification is performed.
The superseded
f197ab1fbpreflight retains its 956 fast passes / 6,331 assertions and unfinished affected feedback. It was stopped after the relevant main integration and authorization correction, with affected-child exit 143, check:pr exit 1, and zero surviving owned processes. No complete pass is claimed for that run.