Recovery checkpoint delta: Claude session 01Cz (retention only, not for merge)

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261018/EXCLUDED.json

@@ -0,0 +1,230 @@
+{
+ "copy_of_delivered_kernel_file": {
+  "bytes": 1346495,
+  "count": 232,
+  "examples": [
+   "kern/work_cancellation/files/DESIGN_V1.md",
+   "kern/work_cancellation/files/FINAL_FREEZE_V1.json",
+   "kern/work_cancellation/files/IMPLEMENTATION_PLAN_V1.md",
+   "kern/work_cancellation/files/REPORT_V1.md",
+   "kern/work_cancellation/files/REVIEW_RESPONSE_V1.md"
+  ]
+ },
+ "pattern:*_readback.md": {
+  "bytes": 12218,
+  "count": 2,
+  "examples": [
+   "kern/checkpoint_readback.md",
+   "kern/result_readback.md"
+  ]
+ },
+ "pattern:amend.md": {
+  "bytes": 7081,
+  "count": 1,
+  "examples": [
+   "q429/amend.md"
+  ]
+ },
+ "pattern:c[0-9]*.md": {
+  "bytes": 565650,
+  "count": 21,
+  "examples": [
+   "m193/c6243041893.md",
+   "m193/c6243050857.md",
+   "m193/c6243208973.md",
+   "m193/c6243230384.md",
+   "m193/c6243294265.md"
+  ]
+ },
+ "pattern:files/*": {
+  "bytes": 199473,
+  "count": 38,
+  "examples": [
+   "kern/files/DESIGN_V1.md",
+   "kern/files/FINAL_FREEZE_V1.json",
+   "kern/files/IMPLEMENTATION_PLAN_V1.md",
+   "kern/files/REPORT_V1.md",
+   "kern/files/REVIEW_RESPONSE_V1.md"
+  ]
+ },
+ "pattern:gad/*": {
+  "bytes": 14709579,
+  "count": 33,
+  "examples": [
+   "m193/gad/c6241964252.md",
+   "m193/gad/c6242006932.md",
+   "m193/gad/c6242020976.md",
+   "m193/gad/c6242183295.md",
+   "m193/gad/c6242536232.md"
+  ]
+ },
+ "pattern:index": {
+  "bytes": 170511,
+  "count": 1,
+  "examples": [
+   "q429/index"
+  ]
+ },
+ "pattern:index2": {
+  "bytes": 170599,
+  "count": 1,
+  "examples": [
+   "q429/index2"
+  ]
+ },
+ "pattern:index_pub": {
+  "bytes": 172611,
+  "count": 1,
+  "examples": [
+   "q429/index_pub"
+  ]
+ },
+ "pattern:original.md": {
+  "bytes": 24027,
+  "count": 1,
+  "examples": [
+   "m193/original.md"
+  ]
+ },
+ "pattern:proof.md": {
+  "bytes": 22164,
+  "count": 1,
+  "examples": [
+   "m193/proof.md"
+  ]
+ },
+ "pattern:r47.md": {
+  "bytes": 2688,
+  "count": 1,
+  "examples": [
+   "q429/r47.md"
+  ]
+ },
+ "pattern:r48.md": {
+  "bytes": 3864,
+  "count": 1,
+  "examples": [
+   "q429/r48.md"
+  ]
+ },
+ "pattern:run0/py311/runner_temp/*": {
+  "bytes": 1752255,
+  "count": 5,
+  "examples": [
+   "q429/run0/py311/runner_temp/universality-exploration-run.log",
+   "q429/run0/py311/runner_temp/universality-exploration-verify.log",
+   "q429/run0/py311/runner_temp/universality-published-verify.log",
+   "q429/run0/py311/runner_temp/universality-exploration/observations.json",
+   "q429/run0/py311/runner_temp/universality-exploration/validation.json"
+  ]
+ },
+ "pattern:run0/py312/runner_temp/*": {
+  "bytes": 1752254,
+  "count": 5,
+  "examples": [
+   "q429/run0/py312/runner_temp/universality-exploration-run.log",
+   "q429/run0/py312/runner_temp/universality-exploration-verify.log",
+   "q429/run0/py312/runner_temp/universality-published-verify.log",
+   "q429/run0/py312/runner_temp/universality-exploration/observations.json",
+   "q429/run0/py312/runner_temp/universality-exploration/validation.json"
+  ]
+ },
+ "pattern:run0/trace/*": {
+  "bytes": 7857046,
+  "count": 15,
+  "examples": [
+   "q429/run0/trace/paths.txt",
+   "q429/run0/trace/step2.log",
+   "q429/run0/trace/step3.log",
+   "q429/run0/trace/step4.log",
+   "q429/run0/trace/step6.log"
+  ]
+ },
+ "pattern:venv/*": {
+  "bytes": 97831108,
+  "count": 3763,
+  "examples": [
+   "m193/venv/pyvenv.cfg",
+   "m193/venv/share/man/man1/isympy.1",
+   "m193/venv/lib/python3.11/site-packages/distutils-precedence.pth",
+   "m193/venv/lib/python3.11/site-packages/isympy.py",
+   "m193/venv/lib/python3.11/site-packages/numpy.libs/libgfortran-040039e1-0352e75f.so.5.0.0"
+  ]
+ },
+ "pattern:w2/*": {
+  "bytes": 292313634,
+  "count": 225,
+  "examples": [
+   "q429/w2/drive.py",
+   "q429/w2/formal-verification.json",
+   "q429/w2/research-architecture.json",
+   "q429/w2/results-strace.jsonl",
+   "q429/w2/results.jsonl"
+  ]
+ },
+ "pattern:work_containment/cli_mut/*.json": {
+  "bytes": 116564,
+  "count": 12,
+  "examples": [
+   "kern/work_containment/cli_mut/interval_a_mu6_hi_minus_ulp.json",
+   "kern/work_containment/cli_mut/interval_a_z_lo_plus_ulp.json",
+   "kern/work_containment/cli_mut/interval_b_mu2_swapped.json",
+   "kern/work_containment/cli_mut/interval_c_Lhi_plus_2^-100.json",
+   "kern/work_containment/cli_mut/interval_d_tail6_minus_ulp.json"
+  ]
+ },
+ "pattern:work_containment/mut/*.json": {
+  "bytes": 36785622,
+  "count": 299,
+  "examples": [
+   "kern/work_containment/mut/interval_certificate.TEST_ONLY/interval_certificate.TEST_ONLY.json__a_narrow_1ulp__51.json",
+   "kern/work_containment/mut/interval_certificate.TEST_ONLY/interval_certificate.TEST_ONLY.json__a_narrow_1ulp__52.json",
+   "kern/work_containment/mut/interval_certificate.TEST_ONLY/interval_certificate.TEST_ONLY.json__a_narrow_1ulp__54.json",
+   "kern/work_containment/mut/interval_certificate.TEST_ONLY/interval_certificate.TEST_ONLY.json__a_narrow_1ulp__89.json",
+   "kern/work_containment/mut/interval_certificate.TEST_ONLY/interval_certificate.TEST_ONLY.json__c_alter_L__257.json"
+  ]
+ },
+ "pattern:work_containment/out_rand/*.json": {
+  "bytes": 13322159,
+  "count": 201,
+  "examples": [
+   "kern/work_containment/out_rand/000.json",
+   "kern/work_containment/out_rand/001.json",
+   "kern/work_containment/out_rand/002.json",
+   "kern/work_containment/out_rand/003.json",
+   "kern/work_containment/out_rand/004.json"
+  ]
+ },
+ "pattern:work_containment/out_sweep/*.json": {
+  "bytes": 16037875,
+  "count": 296,
+  "examples": [
+   "kern/work_containment/out_sweep/000.json",
+   "kern/work_containment/out_sweep/001.json",
+   "kern/work_containment/out_sweep/002.json",
+   "kern/work_containment/out_sweep/003.json",
+   "kern/work_containment/out_sweep/006.json"
+  ]
+ },
+ "pattern:wt/*": {
+  "bytes": 25556623,
+  "count": 1218,
+  "examples": [
+   "q429/wt/.git",
+   "q429/wt/.gitignore",
+   "q429/wt/AGENTS.md",
+   "q429/wt/CITATION.cff",
+   "q429/wt/CLAUDE.md"
+  ]
+ },
+ "symlink": {
+  "bytes": 0,
+  "count": 4,
+  "examples": [
+   "m193/venv/bin/python",
+   "m193/venv/bin/python3",
+   "m193/venv/bin/python3.11",
+   "q429/run0/py312/bin/python3"
+  ]
+ }
+}