Preserve closed imported cache metadata and track existing bootstrap repair

This commit is contained in:
Takeshi
2026-10-14 04:53:44 +09:00
parent 7d4377b26a
commit 8ea9bece03
2 changed files with 350 additions and 2 deletions
@@ -120,10 +120,13 @@
"failure": "initial OS formal-model oracle ignored source-defined load notification"
},
"OS_bootstrap_repair": {
"state": "dispatch_started",
"state": "implementing",
"model": "gpt-6.1-sol",
"repairs": 5,
"individual_limit": null,
"scope": "shared strict complete operation verification + unique bootstrap raw evidence + negative cases; no UI/Runtime/collector/spec changes"
"scope": "shared strict complete operation verification + unique bootstrap raw evidence + negative cases; no UI/Runtime/collector/spec changes",
"run": "b3adff2cdff64f4ab0879d7f9ae2c1e1",
"pid": 79561,
"session": 3533
}
}