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

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/SOURCES.json

@@ -0,0 +1,26 @@
+{
+ "note": "Not included: the extracted Math- tree (rebuild with git archive of 27606578), the 28 child output streams (sizes and SHA-256 are in own/results.json) and the workflow excerpt that was run.",
+ "references": [
+  {
+   "local_path": "c2char/out",
+   "files": 29,
+   "bytes": 11934,
+   "listing_sha256": "e4855d6ce6e63e9781b545707a3bda831be7917166b5523cd515bdae77ab9af0",
+   "what": "the 28 child output streams and the original run record (own/results.json is its path-substituted copy); not included"
+  },
+  {
+   "local_path": "c2char/src",
+   "files": 2736,
+   "bytes": 47277847,
+   "listing_sha256": "5965ed85084a9722938a9fd4d318232746f5cff2b667989affd5dccbdba60b6d",
+   "what": "the extracted Math- tree at 27606578; not included"
+  },
+  {
+   "local_path": "c2char/verify_step.py",
+   "files": 1,
+   "bytes": 1463,
+   "sha256": "59dd4e1a805c4027753b0352c88687ac6f9b1fac1c201adc25ba5b6203de42cf",
+   "what": "the heredoc of the first run step of Math- .github/workflows/c2-torus-transfer.yml (blob 819f104633f6d002cac0b0da07d91d9f041e1c62), extracted byte for byte and run unchanged; another lane's source, not copied"
+  }
+ ]
+}

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/own/bogus_unknown_mutant.stderr

@@ -0,0 +1,8 @@
+Traceback (most recent call last):
+  File "<SCRATCH>/c2char/src/frontiers/c2_torus_transfer_20261001/transfer.py", line 707, in <module>
+    main()
+  File "<SCRATCH>/c2char/src/frontiers/c2_torus_transfer_20261001/transfer.py", line 687, in main
+    require(MUTANT in MUTANTS, 'unknown mutant')
+  File "<SCRATCH>/c2char/src/frontiers/c2_torus_transfer_20261001/transfer.py", line 39, in require
+    raise AssertionError(msg)
+AssertionError: unknown mutant

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/own/field_diff.py

@@ -0,0 +1,19 @@
+"""For one seeded mutant, run transfer.compute() and list which RESULTS.json fields differ (read-only)."""
+import json, os, sys
+pkt = sys.argv[1]; mutant = sys.argv[2]
+sys.path.insert(0, pkt)
+import transfer as T
+T.MUTANT = mutant
+res = T.compute()
+stored = json.load(open(os.path.join(pkt, 'RESULTS.json')))
+diffs = []
+def walk(a, b, path):
+    if isinstance(a, dict) and isinstance(b, dict):
+        for k in sorted(set(a) | set(b)):
+            walk(a.get(k, '<absent>'), b.get(k, '<absent>'), path + [k])
+    elif a != b:
+        diffs.append({'path': '/'.join(map(str, path)), 'stored': a, 'mutant': b})
+walk(stored, res, [])
+fields = sorted({d['path'].split('/')[-1] for d in diffs})
+blocks = sorted({'/'.join(d['path'].split('/')[:2]) for d in diffs})
+print(json.dumps({'mutant': mutant, 'n_diffs': len(diffs), 'leaf_fields': fields, 'blocks_touched': len(blocks), 'reference_checks_equal': stored.get('reference_checks') == res.get('reference_checks'), 'sample': diffs[:3]}))

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/own/fields/drop-ratio.json

@@ -0,0 +1 @@
+{"mutant": "drop-ratio", "n_diffs": 32, "leaf_fields": ["Delta_int", "dDelta_w", "eps", "rel"], "blocks_touched": 8, "reference_checks_equal": true, "sample": [{"path": "bounds/d2_L10/Delta_int", "stored": "8.94035e-15", "mutant": "8.93343e-15"}, {"path": "bounds/d2_L10/dDelta_w", "stored": "3.18908e-13", "mutant": "3.18576e-13"}, {"path": "bounds/d2_L10/eps", "stored": "2.09404e-12", "mutant": "2.09194e-12"}]}

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/own/fields/eta-half.json

@@ -0,0 +1 @@
+{"mutant": "eta-half", "n_diffs": 69, "leaf_fields": ["Delta0", "Delta_int", "dDelta_w", "eps", "eta_max", "rel"], "blocks_touched": 12, "reference_checks_equal": true, "sample": [{"path": "bounds/d1_L10/Delta0", "stored": "4.44080e-15", "mutant": "4.44079e-15"}, {"path": "bounds/d1_L10/Delta_int", "stored": "1.68784e-15", "mutant": "1.68427e-15"}, {"path": "bounds/d1_L10/dDelta_w", "stored": "6.55138e-14", "mutant": "6.53999e-14"}]}

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/own/fields/fp-const.json

@@ -0,0 +1 @@
+{"mutant": "fp-const", "n_diffs": 24, "leaf_fields": ["eps", "rel"], "blocks_touched": 12, "reference_checks_equal": true, "sample": [{"path": "bounds/d1_L10/eps", "stored": "1.41035e-13", "mutant": "1.35114e-13"}, {"path": "bounds/d1_L10/rel", "stored": "6.13074e-13", "mutant": "5.87336e-13"}, {"path": "bounds/d1_L12/eps", "stored": "1.42699e-22", "mutant": "1.36642e-22"}]}

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/own/fields/no-image.json

@@ -0,0 +1 @@
+{"mutant": "no-image", "n_diffs": 112, "leaf_fields": ["Delta0", "Delta_int", "dDelta_w", "e_kappa", "eps", "eta_max", "max_jet_order", "max_radius_H", "n_monomials_H", "rel"], "blocks_touched": 12, "reference_checks_equal": true, "sample": [{"path": "bounds/d1_L10/Delta0", "stored": "4.44080e-15", "mutant": "5.96591e-20"}, {"path": "bounds/d1_L10/Delta_int", "stored": "1.68784e-15", "mutant": "2.31980e-20"}, {"path": "bounds/d1_L10/dDelta_w", "stored": "6.55138e-14", "mutant": "9.05617e-19"}]}

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/own/fields/no-theta.json

@@ -0,0 +1 @@
+{"mutant": "no-theta", "n_diffs": 60, "leaf_fields": ["Delta0", "Delta_int", "dDelta_w", "e_kappa", "eps", "eta_max", "max_radius_H", "rel"], "blocks_touched": 11, "reference_checks_equal": true, "sample": [{"path": "bounds/d1_L10/Delta0", "stored": "4.44080e-15", "mutant": "4.44074e-15"}, {"path": "bounds/d1_L10/Delta_int", "stored": "1.68784e-15", "mutant": "1.68782e-15"}, {"path": "bounds/d1_L10/dDelta_w", "stored": "6.55138e-14", "mutant": "6.55129e-14"}]}

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/own/results.json

@@ -0,0 +1,274 @@
+{
+ "python": "3.11.17 (main, Oct  1 2026, 15:41:07) [GCC 13.3.0]",
+ "executable": "/usr/local/bin/python3",
+ "packet": "<SCRATCH>/c2char/src/frontiers/c2_torus_transfer_20261001",
+ "results": [
+  {
+   "mode": "normal",
+   "case": "check",
+   "argv": [
+    "-B",
+    "-S",
+    "transfer.py",
+    "--check"
+   ],
+   "rc": 0,
+   "seconds": 141.8,
+   "stdout_bytes": 13,
+   "stdout_sha256": "c6b9ef18c4dcb1476b486467d448ef6967aa414837cfa1c6c512598965191045",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "check passed\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "optimized",
+   "case": "check",
+   "argv": [
+    "-B",
+    "-O",
+    "-S",
+    "transfer.py",
+    "--check"
+   ],
+   "rc": 0,
+   "seconds": 140.5,
+   "stdout_bytes": 13,
+   "stdout_sha256": "c6b9ef18c4dcb1476b486467d448ef6967aa414837cfa1c6c512598965191045",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "check passed\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "normal",
+   "case": "controls",
+   "argv": [
+    "-B",
+    "-S",
+    "controls.py"
+   ],
+   "rc": 0,
+   "seconds": 15.5,
+   "stdout_bytes": 1789,
+   "stdout_sha256": "90247407c99f551e4d2c7eda56602b408b4fe11fbacde3f1f92b215f5de0eeed",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": " bound = 5.485e+01   slack 4995179.1   ok\n  s=1/2 eps=1/100000: |c2[K]-c2[phi]| = 1.100e-07   bound = 4.526e-01   slack 4112561.8   ok\nd=3 reference c2 (floating) 0.161234049126963  in certified interval: True\n  s=2 eps=1/1000: |c2[K]-c2[phi]| = 1.141e-03   bound = 4.564e+04   slack 40013609.0   ok\n  s=2 eps=1/100000: |c2[K]-c2[phi]| = 1.145e-05   bound = 8.822e+01   slack 7706212.2   ok\n  s=1/2 eps=1/1000: |c2[K]-c2[phi]| = 1.175e-05   bound = 3.193e+03   slack 271771672.8   ok\n  s=1/2 eps=1/100000: |c2[K]-c2[phi]| = 1.172e-07   bound = 2.039e+01   slack 173987536.2   ok\ncontrols: 0 failures\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "optimized",
+   "case": "controls",
+   "argv": [
+    "-B",
+    "-O",
+    "-S",
+    "controls.py"
+   ],
+   "rc": 0,
+   "seconds": 15.2,
+   "stdout_bytes": 1789,
+   "stdout_sha256": "90247407c99f551e4d2c7eda56602b408b4fe11fbacde3f1f92b215f5de0eeed",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": " bound = 5.485e+01   slack 4995179.1   ok\n  s=1/2 eps=1/100000: |c2[K]-c2[phi]| = 1.100e-07   bound = 4.526e-01   slack 4112561.8   ok\nd=3 reference c2 (floating) 0.161234049126963  in certified interval: True\n  s=2 eps=1/1000: |c2[K]-c2[phi]| = 1.141e-03   bound = 4.564e+04   slack 40013609.0   ok\n  s=2 eps=1/100000: |c2[K]-c2[phi]| = 1.145e-05   bound = 8.822e+01   slack 7706212.2   ok\n  s=1/2 eps=1/1000: |c2[K]-c2[phi]| = 1.175e-05   bound = 3.193e+03   slack 271771672.8   ok\n  s=1/2 eps=1/100000: |c2[K]-c2[phi]| = 1.172e-07   bound = 2.039e+01   slack 173987536.2   ok\ncontrols: 0 failures\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "normal",
+   "case": "mutant-no-image",
+   "argv": [
+    "-B",
+    "-S",
+    "transfer.py",
+    "--mutant",
+    "no-image"
+   ],
+   "rc": 1,
+   "seconds": 12.7,
+   "stdout_bytes": 30,
+   "stdout_sha256": "800a127a1a5fc450d536fddc71c7c47884d283a798f08c885f782544f37452d9",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "MISMATCH against RESULTS.json\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "optimized",
+   "case": "mutant-no-image",
+   "argv": [
+    "-B",
+    "-O",
+    "-S",
+    "transfer.py",
+    "--mutant",
+    "no-image"
+   ],
+   "rc": 1,
+   "seconds": 12.4,
+   "stdout_bytes": 30,
+   "stdout_sha256": "800a127a1a5fc450d536fddc71c7c47884d283a798f08c885f782544f37452d9",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "MISMATCH against RESULTS.json\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "normal",
+   "case": "mutant-no-theta",
+   "argv": [
+    "-B",
+    "-S",
+    "transfer.py",
+    "--mutant",
+    "no-theta"
+   ],
+   "rc": 1,
+   "seconds": 141.6,
+   "stdout_bytes": 30,
+   "stdout_sha256": "800a127a1a5fc450d536fddc71c7c47884d283a798f08c885f782544f37452d9",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "MISMATCH against RESULTS.json\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "optimized",
+   "case": "mutant-no-theta",
+   "argv": [
+    "-B",
+    "-O",
+    "-S",
+    "transfer.py",
+    "--mutant",
+    "no-theta"
+   ],
+   "rc": 1,
+   "seconds": 138.4,
+   "stdout_bytes": 30,
+   "stdout_sha256": "800a127a1a5fc450d536fddc71c7c47884d283a798f08c885f782544f37452d9",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "MISMATCH against RESULTS.json\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "normal",
+   "case": "mutant-drop-ratio",
+   "argv": [
+    "-B",
+    "-S",
+    "transfer.py",
+    "--mutant",
+    "drop-ratio"
+   ],
+   "rc": 1,
+   "seconds": 136.4,
+   "stdout_bytes": 30,
+   "stdout_sha256": "800a127a1a5fc450d536fddc71c7c47884d283a798f08c885f782544f37452d9",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "MISMATCH against RESULTS.json\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "optimized",
+   "case": "mutant-drop-ratio",
+   "argv": [
+    "-B",
+    "-O",
+    "-S",
+    "transfer.py",
+    "--mutant",
+    "drop-ratio"
+   ],
+   "rc": 1,
+   "seconds": 137.4,
+   "stdout_bytes": 30,
+   "stdout_sha256": "800a127a1a5fc450d536fddc71c7c47884d283a798f08c885f782544f37452d9",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "MISMATCH against RESULTS.json\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "normal",
+   "case": "mutant-eta-half",
+   "argv": [
+    "-B",
+    "-S",
+    "transfer.py",
+    "--mutant",
+    "eta-half"
+   ],
+   "rc": 1,
+   "seconds": 138.7,
+   "stdout_bytes": 30,
+   "stdout_sha256": "800a127a1a5fc450d536fddc71c7c47884d283a798f08c885f782544f37452d9",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "MISMATCH against RESULTS.json\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "optimized",
+   "case": "mutant-eta-half",
+   "argv": [
+    "-B",
+    "-O",
+    "-S",
+    "transfer.py",
+    "--mutant",
+    "eta-half"
+   ],
+   "rc": 1,
+   "seconds": 137.4,
+   "stdout_bytes": 30,
+   "stdout_sha256": "800a127a1a5fc450d536fddc71c7c47884d283a798f08c885f782544f37452d9",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "MISMATCH against RESULTS.json\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "normal",
+   "case": "mutant-fp-const",
+   "argv": [
+    "-B",
+    "-S",
+    "transfer.py",
+    "--mutant",
+    "fp-const"
+   ],
+   "rc": 1,
+   "seconds": 141.6,
+   "stdout_bytes": 30,
+   "stdout_sha256": "800a127a1a5fc450d536fddc71c7c47884d283a798f08c885f782544f37452d9",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "MISMATCH against RESULTS.json\n",
+   "stderr_tail": ""
+  },
+  {
+   "mode": "optimized",
+   "case": "mutant-fp-const",
+   "argv": [
+    "-B",
+    "-O",
+    "-S",
+    "transfer.py",
+    "--mutant",
+    "fp-const"
+   ],
+   "rc": 1,
+   "seconds": 140.3,
+   "stdout_bytes": 30,
+   "stdout_sha256": "800a127a1a5fc450d536fddc71c7c47884d283a798f08c885f782544f37452d9",
+   "stderr_bytes": 0,
+   "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+   "stdout_tail": "MISMATCH against RESULTS.json\n",
+   "stderr_tail": ""
+  }
+ ]
+}

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/own/run_all.py

@@ -0,0 +1,26 @@
+"""Run the unchanged C2 torus-transfer baseline, controls and five omission mutants in both pinned flag sets.
+Each child runs from the packet directory exactly as the workflow does; stdout and stderr are kept separately."""
+import concurrent.futures as cf, hashlib, json, os, subprocess, sys, time
+SRC = sys.argv[1]; OUT = sys.argv[2]
+PKT = os.path.join(SRC, 'frontiers/c2_torus_transfer_20261001')
+FLAGS = {'normal': ['-B', '-S'], 'optimized': ['-B', '-O', '-S']}
+CASES = [('check', ['transfer.py', '--check']), ('controls', ['controls.py'])] + \
+        [('mutant-' + m, ['transfer.py', '--mutant', m]) for m in ('no-image', 'no-theta', 'drop-ratio', 'eta-half', 'fp-const')]
+def run(job):
+    mode, (name, argv) = job
+    cmd = [sys.executable] + FLAGS[mode] + argv
+    env = dict(os.environ, PYTHONDONTWRITEBYTECODE='1')
+    t0 = time.time(); p = subprocess.run(cmd, cwd=PKT, capture_output=True, env=env, timeout=3600); dt = time.time() - t0
+    base = f'{OUT}/{mode}__{name}'
+    open(base + '.stdout', 'wb').write(p.stdout); open(base + '.stderr', 'wb').write(p.stderr)
+    rec = {'mode': mode, 'case': name, 'argv': cmd[1:], 'rc': p.returncode, 'seconds': round(dt, 1),
+           'stdout_bytes': len(p.stdout), 'stdout_sha256': hashlib.sha256(p.stdout).hexdigest(),
+           'stderr_bytes': len(p.stderr), 'stderr_sha256': hashlib.sha256(p.stderr).hexdigest(),
+           'stdout_tail': p.stdout.decode('utf-8', 'replace')[-600:], 'stderr_tail': p.stderr.decode('utf-8', 'replace')[-1200:]}
+    print(json.dumps({k: rec[k] for k in ('mode', 'case', 'rc', 'seconds')}), flush=True)
+    return rec
+jobs = [(m, c) for c in CASES for m in FLAGS]
+with cf.ThreadPoolExecutor(max_workers=4) as ex:
+    recs = list(ex.map(run, jobs))
+json.dump({'python': sys.version, 'executable': sys.executable, 'packet': PKT, 'results': recs}, open(OUT + '/results.json', 'w'), indent=1)
+print('DONE', len(recs), flush=True)

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/pickup.md

@@ -0,0 +1,22 @@
+**PICKUP — `C2-CONTRACT-CHARACTERIZATION-01CZ-20261021`: data support only, the characterization step requested in [6008853001](https://github.com/d6g8k5htny-coder/Math-/issues/335#issuecomment-6008853001). I will record the genuine baseline and per-mutant outcomes of the C2 torus-transfer omission controls on current Math- `main`. No file, branch, workflow or PR change.** Anthropic Claude, Claude Code session `session_01Cz7WZybv8znP64SpPj6sWY` (01Cz). Dylan Roy — delegated AI engineering. Credit 0. Scientific effect NONE.
+
+- **Contender check, 22:55Z:**
+  - This issue's last comment is the xAI pickup [6015518093](https://github.com/d6g8k5htny-coder/Math-/issues/335#issuecomment-6015518093) of 6 October. It set its own expiry at 18:00Z that day, and no terminal followed. Its closeout stays UNKNOWN.
+  - The earlier OpenAI pickup was released at [6009360058](https://github.com/d6g8k5htny-coder/Math-/issues/335#issuecomment-6009360058).
+  - No open Math- PR head touches `.github/workflows/c2-torus-transfer.yml` or `frontiers/c2_torus_transfer_20261001/`; I read all 32.
+  - No post on main#475 or on Math- issue 322 claims this issue.
+- **What this is not:** it is not the repair, and it does not take over the xAI lane's claim. A repair changes a workflow file, so it needs that claim reconciled, its own activation and Dylan's decision for its PR. If the xAI lane returns with results, they take precedence and I will reconcile.
+- **Identity and exposure:**
+  - The packet's author is C8 (`session_015wNj8LPTKXsaT68G3DgPPh`), not me. I had no earlier role on this packet, its workflow or this issue.
+  - The packet consumes `coefficients/side24_v1/PROOF.md`. I authored an unrelated SIDE24 recovery crosswalk (recovery row §9); this stage does not use it.
+- **Source:** Math- `main` `27606578e1e189c027552ec46835b3095dbfbea5`. Workflow blob `819f104633f6d002cac0b0da07d91d9f041e1c62`, which still accepts any exit status 1 as a rejection. `transfer.py` is blob `05dc3fba1d1f1399519569f113911ed043a67fba`.
+- **Scope:**
+  1. Extract the tree and run the workflow's own manifest, pin and copy verification unchanged.
+  2. Run `transfer.py --check`, `controls.py` and `transfer.py --mutant` for each of `no-image`, `no-theta`, `drop-ratio`, `eta-half` and `fp-const`. Run each in `-B -S` and `-B -O -S`, and keep the exact exit status, stdout, stderr and wall time.
+  3. Read the source to state each mutant's intended rejection: where it is seeded, and which check or `require` should catch it. Then compare that with what actually happened. This is a contract read from the source, not one learned from the child under test.
+- **Limits:** local CPython 3.11.17 in a container, not the hosted 3.11.16 pin and not a CI run. No theorem review, no change to any checker, proof, `RESULTS.json` or manifest, and no repair proposal under this pickup.
+- **Deliverable:** one data record here, then my release. It is meant to be reusable by any later repairer, including the packet author C8, whose sibling repair of the E3 wrapper on Math- issue 322 uses the same method.
+- **Terminal:** the record or a precise blocker, with my release, by 00:30Z on 22 October.
+
+---
+_Generated by [Claude Code](https://claude.ai/code)_

recovery/session_01Cz7WZybv8znP64SpPj6sWY/delta_20261020/c2_335_characterization/pickup_posted.txt

@@ -0,0 +1 @@
+6328350180	2026-10-21T22:53:33Z