docs: preserve exact one-file completed-model remove intended red receipts

This commit is contained in:
jason.woltje committed 2026-10-25 17:16:16 -05:00
1 parent 592e58f153
commit 0dad99da58
7 files changed
+10594

No files matched your search

@@ -0,0 +1,235 @@
{
"clear": "sage-4790",
"actualHEAD": "592e58f153fab4098bd927072415b39f0992cda2",
"sourceProductCommit": "27f68b1bcdbccbdb583ae5a95216250eb6484788",
"execution": "Exactly ONE whole remove file, natural rc1 intended RED; no FIFO/ownRun/newwatchdog/extra diagnostic/retry/source/fixture edit",
"counts": {
"tests": 21,
"pass": 5,
"fail": 16,
"skipped": 0,
"cancelled": 0,
"timedOut": false,
"signal": null
},
"all21NamesAndFirstAssertionsMatchDe2e": true,
"cases": [
{
"number": 1,
"name": "656 generic remove after exact completion skips only redundant model unlink and keeps metadata",
"actual": "INTENDED_RED",
"exactFirstAssertion": "generic remove does not perform SECOND model unlink after exact completion",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 2,
"name": "656 model appearing after completed proof is preserved by unchanged unknown fence",
"actual": "INTENDED_RED",
"exactFirstAssertion": "finished proof never authorizes another model pathname unlink",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 3,
"name": "656 model.tmp appearing after completed proof is preserved by unchanged unknown fence",
"actual": "INTENDED_RED",
"exactFirstAssertion": "finished proof never authorizes another model pathname unlink",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 4,
"name": "656 valid cached unconfirmed model keeps existing generic removal guard",
"actual": "PASS",
"exactFirstAssertion": null,
"mapMatched": true,
"errorCode": null,
"postTargetChecksReached": true
},
{
"number": 5,
"name": "656 revoking cached unconfirmed model keeps existing generic removal guard",
"actual": "PASS",
"exactFirstAssertion": null,
"mapMatched": true,
"errorCode": null,
"postTargetChecksReached": true
},
{
"number": 6,
"name": "656 unconfirmed prepared model still cannot use finished-proof skip",
"actual": "PASS",
"exactFirstAssertion": null,
"mapMatched": true,
"errorCode": null,
"postTargetChecksReached": true
},
{
"number": 7,
"name": "656 no-proof absent-cache model retains existing generic file removal behavior",
"actual": "PASS",
"exactFirstAssertion": null,
"mapMatched": true,
"errorCode": null,
"postTargetChecksReached": true
},
{
"number": 8,
"name": "656 no-record no-proof generic remove retains existing ENOENT behavior",
"actual": "PASS",
"exactFirstAssertion": null,
"mapMatched": true,
"errorCode": null,
"postTargetChecksReached": true
},
{
"number": 9,
"name": "656 register invalidates latest completed proof without granting fallback authority",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 10,
"name": "656 unregister invalidates latest completed proof without granting fallback authority",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 11,
"name": "656 reload invalidates latest completed proof without granting fallback authority",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 12,
"name": "656 hold invalidates latest completed proof without granting fallback authority",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 13,
"name": "656 claim invalidates latest completed proof without granting fallback authority",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 14,
"name": "656 revoke invalidates latest completed proof without granting fallback authority",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 15,
"name": "656 rewrite invalidates latest completed proof without granting fallback authority",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 16,
"name": "656 close invalidates latest completed proof without granting fallback authority",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 17,
"name": "656 new snapshot invalidates old token even if later capture refuses on absent final",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 18,
"name": "656 wrong instance cannot reuse a completed token",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 19,
"name": "656 nonmodel memory-first failure and retry remain unchanged after model completion",
"actual": "INTENDED_RED",
"exactFirstAssertion": "nonmodel failure does not repeat model unlink",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 20,
"name": "656 replaced private agent directory cannot reuse exact historical completion proof",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
},
{
"number": 21,
"name": "656 another Credentials epoch cannot use a former objects completed token",
"actual": "INTENDED_RED",
"exactFirstAssertion": "real controller minted exact opaque model completion proof",
"mapMatched": true,
"errorCode": "ERR_ASSERTION",
"postTargetChecksReached": false
}
],
"rawLog": {
"path": "/mnt/storage/scratch/tmp/4iQiDC/001-packages_bus_tests_model-completion-remove.test.mjs.log",
"sha256": "e2936855d9427333c77e150b0e236afb3f77c35287d83114aa517fa205e92ad4",
"bytes": 18359
},
"realDriverNice": 19,
"realChildNice": 19,
"startAt": "2026-10-25T22:14:56.655Z",
"endAt": "2026-10-25T22:14:56.979Z",
"startLoad": "17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85",
"endLoad": "17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85",
"all1681And13ArtifactsPostMatch": true,
"ownCleanup": {
"TMPDIR": "/mnt/storage/scratch/tmp/ZVOAZG",
"remainingTopLevel": [
"config",
"home"
],
"r656FixtureRootsRemaining": 0,
"tapHookFailures": false,
"separateProcessCensus": false
},
"limits": [
"Missing real-controller proof first targets leave invalidation/wronginstance/directory/epoch assertions UNREACHED.",
"Second-unlink count targets precede unknown-file/nonmodel-retry/metadata checks; those later assertions remain UNREACHED on RED.",
"Five generic controls passed; no stronger absent-cache or ENOENT refusal is invented.",
"Unit empty callback is NOT authoritative runtime evidence; earlier4778/4784 are separate, not composite."
]
}
@@ -0,0 +1,3 @@
{"name":"packages/bus/tests/model-completion-remove.test.mjs","event":"start","at":"2026-10-25T22:14:56.655Z","uptime":"17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85","TMPDIR":"/mnt/storage/scratch/tmp/ZVOAZG","nice":19}
{"name":"packages/bus/tests/model-completion-remove.test.mjs","event":"end","at":"2026-10-25T22:14:56.655Z","uptime":"17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85","TMPDIR":"/mnt/storage/scratch/tmp/ZVOAZG","nice":19,"measuredDriverNice":19,"measuredChildNice":19,"endAt":"2026-10-25T22:14:56.979Z","endUptime":"17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85","rc":1,"signal":null,"timedOut":false,"tests":21,"pass":5,"fail":16,"skipped":0,"cancelled":0,"failedNames":["656 generic remove after exact completion skips only redundant model unlink and keeps metadata","656 model appearing after completed proof is preserved by unchanged unknown fence","656 model.tmp appearing after completed proof is preserved by unchanged unknown fence","656 register invalidates latest completed proof without granting fallback authority","656 unregister invalidates latest completed proof without granting fallback authority","656 reload invalidates latest completed proof without granting fallback authority","656 hold invalidates latest completed proof without granting fallback authority","656 claim invalidates latest completed proof without granting fallback authority","656 revoke invalidates latest completed proof without granting fallback authority","656 rewrite invalidates latest completed proof without granting fallback authority","656 close invalidates latest completed proof without granting fallback authority","656 new snapshot invalidates old token even if later capture refuses on absent final","656 wrong instance cannot reuse a completed token","656 nonmodel memory-first failure and retry remain unchanged after model completion","656 replaced private agent directory cannot reuse exact historical completion proof","656 another Credentials epoch cannot use a former objects completed token"],"log":{"path":"/mnt/storage/scratch/tmp/4iQiDC/001-packages_bus_tests_model-completion-remove.test.mjs.log","sha256":"e2936855d9427333c77e150b0e236afb3f77c35287d83114aa517fa205e92ad4","bytes":18359}}
{"event":"stopped","reason":"RED packages/bus/tests/model-completion-remove.test.mjs","at":"2026-10-25T22:14:56.980Z","uptime":"17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85"}
@@ -0,0 +1,18 @@
{
"clear": "sage-4790",
"toolExecChunk": "813d3a",
"toolExecSessionId": null,
"actualRunHEAD": "592e58f153fab4098bd927072415b39f0992cda2",
"driverCommand": "MOSAIC_GATE_CLEAR=sage-4790 nice -n 19 node /home/jwoltje/.t3/worktrees/mosaic-stack/magica-row331/agents/magica/work/queue-331/task656-remove-pre-fix-gate.mjs",
"wholeFile": "packages/bus/tests/model-completion-remove.test.mjs",
"naturalDriverExit": 1,
"onlyOneLaunch": true,
"noFifoOrOwnRunOrExtraDiagnostic": true,
"toolVisibleDriverStdout": [
"packages/bus/tests/model-completion-remove.test.mjs rc=1 pass=5 fail=16 skip=0 start=[17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85] end=[17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85]",
"RED packages/bus/tests/model-completion-remove.test.mjs"
],
"prelaunch": "Exact actualHEAD/all1681/artifacts/source+index and narrow Node --test/owned-gate lane check passed immediately before one launch.",
"sourceOldFixtureHelperAppliedOrEdited": false,
"note": "Copied tool-visible stdout transcript; not a separately redirected raw driver log."
}
File diff suppressed because it is too large. Load diff
@@ -0,0 +1,50 @@
{
"clear": "sage-4790",
"candidate": "592e58f153fab4098bd927072415b39f0992cda2",
"archive": "/mnt/storage/scratch/tmp/4iQiDC",
"rows": [
{
"name": "packages/bus/tests/model-completion-remove.test.mjs",
"event": "end",
"at": "2026-10-25T22:14:56.655Z",
"uptime": "17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85",
"TMPDIR": "/mnt/storage/scratch/tmp/ZVOAZG",
"nice": 19,
"measuredDriverNice": 19,
"measuredChildNice": 19,
"endAt": "2026-10-25T22:14:56.979Z",
"endUptime": "17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85",
"rc": 1,
"signal": null,
"timedOut": false,
"tests": 21,
"pass": 5,
"fail": 16,
"skipped": 0,
"cancelled": 0,
"failedNames": [
"656 generic remove after exact completion skips only redundant model unlink and keeps metadata",
"656 model appearing after completed proof is preserved by unchanged unknown fence",
"656 model.tmp appearing after completed proof is preserved by unchanged unknown fence",
"656 register invalidates latest completed proof without granting fallback authority",
"656 unregister invalidates latest completed proof without granting fallback authority",
"656 reload invalidates latest completed proof without granting fallback authority",
"656 hold invalidates latest completed proof without granting fallback authority",
"656 claim invalidates latest completed proof without granting fallback authority",
"656 revoke invalidates latest completed proof without granting fallback authority",
"656 rewrite invalidates latest completed proof without granting fallback authority",
"656 close invalidates latest completed proof without granting fallback authority",
"656 new snapshot invalidates old token even if later capture refuses on absent final",
"656 wrong instance cannot reuse a completed token",
"656 nonmodel memory-first failure and retry remain unchanged after model completion",
"656 replaced private agent directory cannot reuse exact historical completion proof",
"656 another Credentials epoch cannot use a former objects completed token"
],
"log": {
"path": "/mnt/storage/scratch/tmp/4iQiDC/001-packages_bus_tests_model-completion-remove.test.mjs.log",
"sha256": "e2936855d9427333c77e150b0e236afb3f77c35287d83114aa517fa205e92ad4",
"bytes": 18359
}
}
]
}
@@ -0,0 +1,102 @@
{
"clear": "sage-4790",
"status": "BUILDER-AUDITED exact intended ONE remove-file RED; parent independent audit pending",
"actualRunHEAD": "592e58f153fab4098bd927072415b39f0992cda2",
"testedProductCommit": "27f68b1bcdbccbdb583ae5a95216250eb6484788",
"counts": {
"tests": 21,
"pass": 5,
"fail": 16,
"skipped": 0,
"cancelled": 0,
"timedOut": false,
"signal": null
},
"all21NamesAndFirstAssertionsMatchFrozenMap": true,
"all1681And13ArtifactsPostMatch": true,
"strictRealDriverChild19": true,
"onlyOneWholeFileNoFifoOwnRunOrExtraDiagnostic": true,
"artifacts": [
{
"path": "agents/magica/work/queue-331/task656-remove-pre-fix-events.jsonl",
"sha256": "e1899b8912bf4b4943b03f3725d02243bce3818a14069bba6d2e4ecd2c2b2c07",
"bytes": 2494,
"gitBlob": "22049fa6aa7e346fcdb38725fdedad80c47f7bad"
},
{
"path": "agents/magica/work/queue-331/task656-remove-pre-fix-receipts.json",
"sha256": "6b9714d93a08fc49832ede051743e7b2a166fe0b29932732ed9d813cbab6668b",
"bytes": 2557,
"gitBlob": "bb878c944ff1be2507cc8b73e41f8a744cbf1bfb"
},
{
"path": "agents/magica/work/queue-331/task656-remove-pre-fix-case-results.json",
"sha256": "14dfb049c8bcc93099fb8361c38498d5e0fb667e7262bc96c2c0e6df784b2157",
"bytes": 8839,
"gitBlob": "0535e3076516963a82c369a5b91ad0c2fc377bf8"
},
{
"path": "agents/magica/work/queue-331/task656-remove-pre-fix-post-inputs.json",
"sha256": "c119ab9493a5b432ee1a5d35336a887fec19bb3dce7f6c62de33d6e6b2cfc77a",
"bytes": 415299,
"gitBlob": "e1b2dbf819ff03f22577dd6e47d4c283fc3b43db"
},
{
"path": "agents/magica/work/queue-331/task656-remove-pre-fix-summary.md",
"sha256": "3cfbc670f9c57e916c7e2eb27cd7b6ccb5499087b8c6b33953a66d7159925e5a",
"bytes": 2628,
"gitBlob": "aeee533ed42c6f497b690d2740a25acddc2f7b28"
},
{
"path": "agents/magica/work/queue-331/task656-remove-pre-fix-execution.json",
"sha256": "246297e13479a960ad31a7e2a27bb34d00214505421aa43b791ddac631017d56",
"bytes": 1127,
"gitBlob": "c5a2a4a46fe078a941e27316308e5a23d4c96049"
},
{
"path": "agents/magica/work/queue-331/task656-remove-pre-fix-actual-manifest.json",
"sha256": "ebb2be273bfe4f4ac9e5a701871bb132ec10b2e627c22ecbfd97a0f413ec8018",
"bytes": 4528,
"gitBlob": "3d22900446e0ab8b425b9bdc04662434c3a16480"
},
{
"path": "agents/magica/work/queue-331/task656-remove-pre-fix-frozen.json",
"sha256": "ec065c05a5da4235e22e3f2bf1366babb30cd23c7bdff06f6552ffc469956dac",
"bytes": 412162,
"gitBlob": "4613168f0a19f5a68cabc1b37f91d367dc2c7fe2"
},
{
"path": "agents/magica/work/queue-331/task656-model-completion-remove-expected-old.json",
"sha256": "de2e85414edff8be6eee6804852f097d7f1740aa048d10d5eff27bebecba370f",
"bytes": 7909,
"gitBlob": "7c9e5924971c54dd7a1916f823e0e96483e66c8e"
},
{
"path": "agents/magica/work/queue-331/task656-remove-pre-fix-products.json",
"sha256": "47ea3abcaf7bd8e646a8f52a249ed0db34d6b2de9e14a8575eabce5954e00f95",
"bytes": 6050,
"gitBlob": "3f2a9a5b1631ab3f8f516a88966bd8be2a245332"
},
{
"path": "agents/magica/work/queue-331/task656-runtime-pre-fix-result-manifest.json",
"sha256": "ca07c1b512761e441b65166a58b327a6f249659dd0233c41e6f7b2191f8c6305",
"bytes": 3554,
"gitBlob": "c93f7916303951d63d2128af5f089cc4f7ee9b3c"
},
{
"path": "agents/magica/work/queue-331/task656-completion-pre-fix-result-manifest.json",
"sha256": "44c2c2bf71ccbcba83632ff13d826a539c74bc986c250e9f613bfc37b636c502",
"bytes": 3935,
"gitBlob": "da73f84160a3b41ad80781d3907b12e84d92d0b8"
}
],
"rawLogs": [
{
"path": "/mnt/storage/scratch/tmp/4iQiDC/001-packages_bus_tests_model-completion-remove.test.mjs.log",
"sha256": "e2936855d9427333c77e150b0e236afb3f77c35287d83114aa517fa205e92ad4",
"bytes": 18359
}
],
"sourceOldFixtureTestHelperUnchanged": true,
"noAutomaticNextGate": true
}
@@ -0,0 +1,11 @@
# #656 ONE generic-remove pre-fix run / sage-4790
SLOT BACK. Actual run HEAD 592e58f153fab4098bd927072415b39f0992cda2; tested product27f68 unchanged. Exactly one whole model-completion-remove.test.mjs, natural driver rc1. **21 tests / 5 PASS / 16 exact intended ERR_ASSERTION targets / zero skip/cancel/timeout/signal/todo**. Builder per-name/first-assertion audit matches frozende2e; parent independent audit pending. No FIFO, ownRun, new watchdog, extra diagnostic, retry, otherfile, source/oldfixture/helper edit.
REAL driver19/direct testchild19. Start 2026-10-25T22:14:56.655Z, `17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85`. End 2026-10-25T22:14:56.979Z, `17:14:56 up 12 days, 8:34, 2 users, load average: 3.58, 3.05, 2.85`. Raw `/mnt/storage/scratch/tmp/4iQiDC/001-packages_bus_tests_model-completion-remove.test.mjs.log`, SHA256 e2936855d9427333c77e150b0e236afb3f77c35287d83114aa517fa205e92ad4, 18359 bytes. All1681 frozen rows +13 actual packet artifacts unchanged; nine products plus Credentials/business/13callers/oldfixture remain tested27f68/1c27/8148/9566/373d; fd503/7a1d UNAPPLIED.
Five current generic controls actually PASS: valid cached unconfirmed guard; revoking cached unconfirmed guard; remotely prepared but locally uncompleted cached guard; NO-proof absent-cache ordinary file removal; NO-record/no-proof ENOENT ordinary remove.1745D4 deliberately retains those existing behaviors; no stronger absent-cache refusal is invented. They do not establish the future narrow finished-proof exception.
The16 failures occur at exact second-model-unlink counter targets or missing-real-controller-proof targets. Missing proof failures precede their proposed invalidation/instance/epoch/directory operations. Second-unlink count assertions precede later returned metadata/unknown-file preservation/nonmodel retry checks. ALL such post-target assertions remain UNREACHED and are NOT claimed coverage. Full21 names/first targets are preserved in case-results and raw TAP.
All teardown hooks complete without TAP hook/history/cleanup error. Own TMPDIR `/mnt/storage/scratch/tmp/ZVOAZG` contains only home/config, zero r656 fixture roots. No independent process census or blanket global cleanup claim. Unit default empty runs callback is NOT authoritative runtime evidence. Earlier4778runtime/ca07 and4784completion/44c2 are separately pinned, not composite acceptance. #657/#658 remain Sage-owned/open, positive oldfixture is unapplied/not production startup resolution. Focused33/application/full/config/mutants/newreview/queue/global/FED288/landing/taskclosure remain unauthorized.