A five-atom counterexample to BCWW

[workspace]
---
total 20
drwxrwxr-x 5 drew drew 4096 Aug  5 11:12 .
drwxrwxr-x 4 drew drew 4096 Aug  5 11:12 ..
drwxr-xr-x 3 drew drew 4096 Aug  5 11:12 .cli-bridge-pi-profile-1FoqOo
drwxrwxr-x 2 drew drew 4096 Aug  5 11:12 inbox
drwxrwxr-x 2 drew drew 4096 Aug  5 11:12 .pi
--- workspace ---
total 32
drwxrwxr-x 4 drew drew 4096 Aug  5 11:12 .
drwxrwxr-x 3 drew drew 4096 Aug  5 11:12 ..
-rw-rw-r-- 1 drew drew 8592 Aug  5 11:12 run-input.json
-rw-rw-r-- 1 drew drew 1926 Aug  5 11:12 spawn-journal.jsonl
drwxrwxr-x 2 drew drew 4096 Aug  5 11:12 trace
drwxrwxr-x 5 drew drew 4096 Aug  5 11:12 workspaces

Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

=== inbox ===
total 30052
drwxrwxr-x 2 drew drew     4096 Aug  5 11:12 .
drwxrwxr-x 5 drew drew     4096 Aug  5 11:12 ..
-rw-r--r-- 1 drew drew  3559870 Aug  5 11:12 huang_research_complete_2026-08-04.zip
-rw-r--r-- 1 drew drew   297505 Aug  5 11:12 pcftc_risk_cert_v2.zip
-rw-r--r-- 1 drew drew 12284105 Aug  5 11:12 qldpc_codesign_complete_2026-08-04.zip
-rw-r--r-- 1 drew drew  1156908 Aug  5 11:12 qltc_research_bundle_2026-08-04.zip
-rw-r--r-- 1 drew drew  4581657 Aug  5 11:12 quantum_channel_capacity_research_complete_2026-08-04.zip
-rw-r--r-- 1 drew drew  2320717 Aug  5 11:12 quantum_entropy_cone_lab_complete_2026-08-04.zip
-rw-r--r-- 1 drew drew  6546535 Aug  5 11:12 RobustQEC_everything_2026-08-04.zip
=== file types ===
./inbox/huang_research_complete_2026-08-04.zip:                    Zip archive data, at least v1.0 to extract, compression method=store
./inbox/pcftc_risk_cert_v2.zip:                                    Zip archive data, at least v2.0 to extract, compression method=deflate
./inbox/qldpc_codesign_complete_2026-08-04.zip:                    Zip archive data, at least v1.0 to extract, compression method=store
./inbox/qltc_research_bundle_2026-08-04.zip:                       Zip archive data, at least v1.0 to extract, compression method=store
./inbox/quantum_channel_capacity_research_complete_2026-08-04.zip: Zip archive data, at least v1.0 to extract, compression method=store
./inbox/quantum_entropy_cone_lab_complete_2026-08-04.zip:          Zip archive data, at least v1.0 to extract, compression method=store
./inbox/RobustQEC_everything_2026-08-04.zip:                       Zip archive data, at least v1.0 to extract, compression method=store

=== kb tool ===
-rw-rw-r-- 1 drew drew 15524 Aug  4 00:13 [home]/code/discovery-lab/tools/kb.mjs
=== prior ===
=== parent pursuit dir ===
total 32
drwxrwxr-x 4 drew drew 4096 Aug  5 11:12 .
drwxrwxr-x 3 drew drew 4096 Aug  5 11:12 ..
-rw-rw-r-- 1 drew drew 8592 Aug  5 11:12 run-input.json
-rw-rw-r-- 1 drew drew 1926 Aug  5 11:12 spawn-journal.jsonl
drwxrwxr-x 2 drew drew 4096 Aug  5 11:12 trace
drwxrwxr-x 5 drew drew 4096 Aug  5 11:12 workspaces

Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

{
  "runtimeModule": "@tangle-network/agent-runtime/kernel",
  "runDir": "[home]/code/discovery-lab/pursuits/ftqc-zips-2026-08-05-r1",
  "workspaceRoot": "[workspace]",
  "runId": "ftqc-zips-2026-08-05-r1",
  "pursuit": "ftqc",
  "campaignId": "ftqc-zips-2026-08-05",
  "backend": {
    "backend": "bridge",
    "bridgeUrl": "http://127.0.0.1:8899",
    "bridgeBearer": "[redacted credential]",
    "cwd": "[workspace]",
    "activityWindow": 12,
    "model": "pi/tangle-router/glm-5.2"
  },
  "root": {
    "arm": "harness",
    "router": null,
    "driveBackend": {
      "backend": "bridge",
      "bridgeUrl": "http://127.0.0.1:8899",
      "bridgeBearer": "[redacted credential]",
      "cwd": "[workspace]",
      "activityWindow": 12,
      "model": "pi/tangle-router/glm-5.2"
    }
  },
  "profile": {
    "name": "discovery-lead",
    "description": "A research lead that decides everything about the work. The operator supplies the instrument and observes; every decision about what the work is belongs here.",
    "version": "3",
    "harness": "pi",
    "model": {
      "provider": "tangle-router",
      "default": "glm-5.2",
      "reasoningEffort": "high"
    },
    "prompt": {

[Publication excerpt: middle of the long tool response omitted.]

  "budget": {
    "maxIterations": 100,
    "maxTokens": 40000000,
    "maxUsd": null,
    "deadlineMs": 21600000
  },
  "limits": {
    "maxLiveWorkers": 5,
    "maxDepth": 3,
    "perWorker": {
      "maxIterations": 20,
      "maxTokens": 3000000
    },
    "stallAfterMs": 1200000,
    "analysts": null,
    "probes": null,
    "allowedModels": null,
    "deliverable": "nonempty-submission",
    "finalizer": "best-delivered"
  },
  "deliverableInputs": null
}

Reviewed beginning and ending of this 8,576-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line. The bridge bearer credential is redacted. Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

{"kind":"begin","root":"ftqc-zips-2026-08-05-r1","at":"2026-08-05T17:12:38.148Z"}
{"kind":"event","root":"ftqc-zips-2026-08-05-r1","event":{"kind":"spawned","id":"ftqc-zips-2026-08-05-r1","label":"root","budget":{"maxIterations":100,"maxTokens":40000000,"deadlineMs":21600000},"runtime":"cli","identity":{"profileDigest":"sha256:fc20104cf55fa38425cd3ecb68dd70af03625886b3f2eb9e632499a7b133c47a","taskDigest":"sha256:40e3057b5dba468087ddde68349ac328f11d92c7d39f81e42c45f528b91a0cab"},"seq":0,"at":"2026-08-05T17:12:38.148Z"}}
{"kind":"event","root":"ftqc-zips-2026-08-05-r1","event":{"kind":"materialized","id":"ftqc-zips-2026-08-05-r1","receipt":{"status":"known","authoredProfileDigest":"sha256:fc20104cf55fa38425cd3ecb68dd70af03625886b3f2eb9e632499a7b133c47a","effectiveProfileDigest":"sha256:fc20104cf55fa38425cd3ecb68dd70af03625886b3f2eb9e632499a7b133c47a","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","platformAttachmentsDigest":"sha256:9c988266b570d866c1e68bb85efe983ab379f31c9ccc4355c0a3c3133862ab97","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-manager-317089f98dab1831a626cb0c0408c12922149d26ef35a74cf28ce95453c2467e"},"materializer":"cli-bridge-agent-profile"},"seq":0,"at":"2026-08-05T17:12:38.177Z"}}
{"kind":"event","root":"ftqc-zips-2026-08-05-r1","event":{"kind":"execution-bound","id":"ftqc-zips-2026-08-05-r1","binding":{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:attempt:cae940cf-1084-4fcf-af27-85d8478a1bec","materializationReceiptDigest":"sha256:08931878b06f16da2fef7f861a75f13a6257f02a959af53a99c2d97190dbba8a","bindingDigest":"sha256:1ebf5e3dd9acfd4d34f4b7f6692d15982cc35d66183171e93dc90e9a318f2952","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge","coordination":true}},"seq":0,"at":"2026-08-05T17:12:38.180Z"}}

No results found for "ftqc threads audit redacted zips archives" (mode: keyword).

=== huang_research_complete_2026-08-04.zip (3.5M) ===
 17245151                     75 files
=== pcftc_risk_cert_v2.zip (292K) ===
  1790732                     140 files
=== qldpc_codesign_complete_2026-08-04.zip (12M) ===
 21329670                     292 files
=== qltc_research_bundle_2026-08-04.zip (1.2M) ===
  4243912                     119 files
=== quantum_channel_capacity_research_complete_2026-08-04.zip (4.4M) ===
  5756472                     110 files
=== quantum_entropy_cone_lab_complete_2026-08-04.zip (2.3M) ===
  3588359                     123 files
=== RobustQEC_everything_2026-08-04.zip (6.3M) ===
  9402386                     490 files

extracted: huang_research_complete_2026-08-04
extracted: pcftc_risk_cert_v2
extracted: qldpc_codesign_complete_2026-08-04
extracted: qltc_research_bundle_2026-08-04
extracted: quantum_channel_capacity_research_complete_2026-08-04
extracted: quantum_entropy_cone_lab_complete_2026-08-04
extracted: RobustQEC_everything_2026-08-04
=== total extracted ===
64M	.
=== top-level dirs ===
total 36
drwxrwxr-x 9 drew drew 4096 Aug  5 11:13 .
drwxrwxr-x 6 drew drew 4096 Aug  5 11:13 ..
drwxrwxr-x 3 drew drew 4096 Aug  5 11:13 huang_research_complete_2026-08-04
drwxrwxr-x 3 drew drew 4096 Aug  5 11:13 pcftc_risk_cert_v2
drwxrwxr-x 3 drew drew 4096 Aug  5 11:13 qldpc_codesign_complete_2026-08-04
drwxrwxr-x 3 drew drew 4096 Aug  5 11:13 qltc_research_bundle_2026-08-04
drwxrwxr-x 3 drew drew 4096 Aug  5 11:13 quantum_channel_capacity_research_complete_2026-08-04
drwxrwxr-x 3 drew drew 4096 Aug  5 11:13 quantum_entropy_cone_lab_complete_2026-08-04
drwxrwxr-x 3 drew drew 4096 Aug  5 11:13 RobustQEC_everything_2026-08-04

########## huang_research_complete_2026-08-04/ ##########
huang_research_complete_2026-08-04/
huang_research_complete_2026-08-04/huang_research_complete_2026-08-04
huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/00_original_upload
huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/01_deepdive
huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/02_frontier_verified
huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/03_novelty_lab
huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/04_industrial_extension
huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/05_prior_release_archives
huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/99_manifests
--- top files ---
total 12
drwxrwxr-x 3 drew drew 4096 Aug  5 11:13 .
drwxrwxr-x 9 drew drew 4096 Aug  5 11:13 ..
drwxr-xr-x 9 drew drew 4096 Aug  4 19:18 huang_research_complete_2026-08-04

########## pcftc_risk_cert_v2/ ##########
pcftc_risk_cert_v2/
pcftc_risk_cert_v2/pcftc_risk_cert_v2
pcftc_risk_cert_v2/pcftc_risk_cert_v2/examples
pcftc_risk_cert_v2/pcftc_risk_cert_v2/experiments
pcftc_risk_cert_v2/pcftc_risk_cert_v2/pcftc_risk
pcftc_risk_cert_v2/pcftc_risk_cert_v2/results
pcftc_risk_cert_v2/pcftc_risk_cert_v2/tests
pcftc_risk_cert_v2/pcftc_risk_cert_v2/tools
--- top files ---
total 12
drwxrwxr-x 3 drew drew 4096 Aug  5 11:13 .
drwxrwxr-x 9 drew drew 4096 Aug  5 11:13 ..
drwxrwxr-x 8 drew drew 4096 Aug  5 11:13 pcftc_risk_cert_v2

########## qldpc_codesign_complete_2026-08-04/ ##########

[Publication excerpt: middle of the long tool response omitted.]

RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/historical_archives
RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/historical_unpacked
RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/verification_extras
--- top files ---
total 12
drwxrwxr-x 3 drew drew 4096 Aug  5 11:13 .
drwxrwxr-x 9 drew drew 4096 Aug  5 11:13 ..
drwxr-xr-x 6 drew drew 4096 Aug  4 19:19 RobustQEC_everything_2026-08-04

Reviewed beginning and ending of this 5,868-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

=== README / manifest / index files ===
./huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/01_deepdive/README.md
./huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/03_novelty_lab/README.md
./huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/README_MASTER_ARCHIVE.md
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/README.md
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/results/adaptive_pooling_theorem/summary.json
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/results/calibration_coverage/summary.json
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/results/confidence_carrying_provisioning/summary.json
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/results/dependence_robustness/summary.json
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/results/optional_stopping/summary.json
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/results/policy_monotonicity/summary.json
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/results/random_adaptive_study/summary.json
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/results/resource_contingent_ccz_grid/summary.json
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/results/resource_contingent_ccz/summary.json
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/results/switch_latency/summary.json
./qldpc_codesign_complete_2026-08-04/qldpc_codesign_complete_2026-08-04/audit/FILE_INDEX.json
./qldpc_codesign_complete_2026-08-04/qldpc_codesign_complete_2026-08-04/audit/MANIFESTS_SHA256.txt
./qldpc_codesign_complete_2026-08-04/qldpc_codesign_complete_2026-08-04/latest_integrated_overlay/README.md

[Publication excerpt: middle of the long tool response omitted.]

./RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/historical_unpacked/phase0_release/robustqec/MANIFEST.sha256
./RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/historical_unpacked/phase0_release/robustqec/README.md
./RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/MANIFEST.csv
./RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/MANIFEST.sha256
./RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/MASTER_INDEX.md

Reviewed beginning and ending of this 7,119-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

=== file type breakdown (extension counts) ===
    382 json
    340 py
    140 md
     72 csv
     41 png
     31 txt
     24 cpp
     14 sha256
     11 zip
     11 bin
      9 sh
      7 npz
      6 toml
      5 log
      4 stim
      3 pdf
      3 gitignore
      2 whl
      2 TAG
      2 stdout
      2 pytest_cache/v/cache/nodeids
      2 pytest_cache/v/cache/lastfailed
      2 gz
      1 tex
      1 /RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/historical_unpacked/frontier_release/RobustQEC_frontier_release/Makefile
      1 pyc
      1 /pcftc_risk_cert_v2/pcftc_risk_cert_v2/Makefile

=== largest files ===
9.4M	./huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/03_novelty_lab/results/graph_strata_certificates.json
5.1M	./qldpc_codesign_complete_2026-08-04/qldpc_codesign_complete_2026-08-04/provenance/dependency_artifacts/stim-cp313-linux-wheel.zip
5.1M	./qldpc_codesign_complete_2026-08-04/qldpc_codesign_complete_2026-08-04/provenance/dependency_artifacts/extracted/stim-1.17.dev1784160880-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
3.2M	./huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/03_novelty_lab/results/exhaustive_graph_atlas.json
1.8M	./RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/historical_archives/RobustQEC_frontier_release.zip
1.3M	./quantum_entropy_cone_lab_complete_2026-08-04/quantum_entropy_cone_lab/results/haar_5qubit_entropy_corpus_seed_20260731.npz

[Publication excerpt: middle of the long tool response omitted.]

436K	./qldpc_codesign_complete_2026-08-04/qldpc_codesign_complete_2026-08-04/latest_integrated_overlay/results/v4/gb18_X_exact_cubic_coefficient.conflicts.csv
424K	./pcftc_risk_cert_v2/pcftc_risk_cert_v2/results/malleable_provisioning/certificate.json
400K	./quantum_entropy_cone_lab_complete_2026-08-04/quantum_entropy_cone_lab/cycle4/kr_claims45_exact_asymptotics.json
384K	./quantum_entropy_cone_lab_complete_2026-08-04/quantum_entropy_cone_lab/cycle7_research_bundle.zip

Reviewed beginning and ending of this 4,298-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

# Finite-length qLDPC code–circuit–decoder co-design: complete research archive

Archive date: **2026-08-04**

This bundle preserves the complete artifact lineage produced during the research thread: the original pilot, every later correction and extension, exact certificates, raw result tables, C++ and Python research programs, tests that were actually retained, and the exact Stim/Sinter wheel artifacts used for independent circuit checks.

## Start here

1. Read [`RESEARCH_LINEAGE.md`](RESEARCH_LINEAGE.md) to understand which claims were superseded and which are current.
2. Treat `versions/v5_schedule_phase_diagram/` as the latest result snapshot.
3. Use `latest_integrated_overlay/` only as a convenience reconstruction. It overlays partial version deltas onto the full v1 tree; it is **not** a clean, historically authored release and its combined test suite is not currently green.
4. Read [`audit/VALIDATION_REPORT.md`](audit/VALIDATION_REPORT.md) before relying on any numerical or software claim.
5. Verify the archive contents with:

```bash
cd qldpc_codesign_complete_2026-08-04
sha256sum -c audit/CONTENT_SHA256SUMS.txt
```

## Directory map

- `versions/v1_legacy_pilot/` — complete original pilot source, tests, reports, and results.
- `versions/v2_semantic_correction/` — exact joint-measurement semantic correction, Stim audits, structured weight-two family work, and scaling experiments.
- `versions/v3_cross_order_and_distance/` — finite-noise truncation bounds, prospective cross-order test, exact physical-location distance work, and cubic lower bounds.
- `versions/v4_exact_cubic_and_affine_symmetry/` — exact cubic coefficient computation, affine cyclic-symmetry quotient, and initial schedule comparison.
- `versions/v5_schedule_phase_diagram/` — complete 16-schedule distance phase diagram, exact minimax S06/S09 result, odd-distance cross-order correction, and quadratic/cubic coefficient artifacts.
- `latest_integrated_overlay/` — best-effort source overlay in chronological order for browsing and experimentation.
- `provenance/` — original v1 ZIP/checksum, exact mounted snapshot, and Stim/Sinter wheel artifacts.
- `audit/` — validation logs, file index, checksums, and machine-readable manifest.

## Current strongest result

For the declared two-round categorical Pauli circuit model of a structured `[[36,2,6]]` generalized-bicycle code, all 16 semantically valid translation-invariant depth-4 schedules were exactly classified:

- 8 schedules have physical-location circuit distance 6;
- 6 schedules have distance 5;
- 2 schedules have distance 4.

S06 and S09 are the exact lexicographic low-noise minimax schedules in this closed family: they maximize the logical-error exponent and then minimize the worst-basis exact leading coefficient. See the v5 distance classification and S06 coefficient certificates.

## Scientific caution

The v1 pilot's circuit-level conclusions were later falsified by Stim because resource-valid Tanner edge colorings need not implement the claimed joint CSS measurement. The archive deliberately preserves that failed stage. It is evidence that the verification loop found a real error, not evidence for the superseded claim.

The latest results remain scoped to the stated independent categorical Pauli location model. They do not yet include routing, idle faults, leakage, crosstalk, analog readout, production decoder latency, or real-device calibration data.

# qLTC / Quantum-PCP Research Bundle

Packaged: 2026-08-04

## Contents

- `qltc_lab/`: source code, C++ exact-search engines, Python experiments, tests,
  result tables, mathematical proof notes, serialized search problems, and
  machine-verifiable certificates produced during the research program.
- `supplemental_recovered_files/`: recovered duplicate/support modules retained
  for audit and comparison. These are not silently substituted into the main
  package.
- `MANIFEST_SHA256.txt`: SHA-256 digest and byte size for every bundled file.

## Important scientific scope

The bundle contains exact finite-code, logical-distance, decomposition,
expurgation, and locality certificates. It does **not** claim a proof of an
asymptotically good qLTC family or the quantum-PCP conjecture.

The matrix-level results and serialized search instances are included. The
current snapshot does not include every module previously identified as needed
for complete end-to-end regeneration from the original arithmetic presentation
(`label_transport.py`, `metacommuting.py`, `pgl2.py`, and `rank3_cubical.py`).
This limitation is preserved explicitly rather than hidden.

## Suggested verification entry points

From `qltc_lab/`:

```bash
PYTHONPATH=. python experiments/verify_all.py
PYTHONPATH=. python experiments/verify_pgl2_transport_degree1_full_distance.py
PYTHONPATH=. python experiments/verify_pgl2_transport_degree1_minimum_structure.py
PYTHONPATH=. python experiments/verify_pgl2_transport_degree1_directional_obstruction.py
PYTHONPATH=. python experiments/verify_hyperplane_k32_exact_distance.py
PYTHONPATH=. python experiments/verify_k3_distance_lower_bound_15.py
pytest -q
```

Some exact exhaustive searches are computationally intensive and may require a
C++20 compiler and substantial CPU time.

# RobustQEC complete research bundle

This master archive gathers every RobustQEC artifact currently available from the research program: editable source trees, reports, proofs, verifier outputs, figures, machine-readable results, historical releases, clean-room checks, and research scratch/imported components.

## Directory map

### `editable_projects/`

- `phase0_current/` — exact Steane-code laboratory, theory, results, and Phase 1 specification.
- `phase1a_current/` — confirmatory-family configuration, circuit/noise/decoder source files, lockbox metadata, and selection scripts.
- `frontier_current/` — consolidated frontier reports, decision record, reproduction instructions, and verifier outputs.
- `observability_gate_current/` — corrected paired inference, action-opportunity and observability theory, exact component decoder, local logical-coset escalation, tests/results, and Phase 1B plan.
- `decision_robustness_current/` — syndrome-camouflage theory, logical-canary architecture, novelty audit, manuscript draft, locality extension, tests, figures, and independent verification.
- `industrial_frontier_current/` — workload-aware robust decoding, decision-weighted telemetry value, industrial product framing, verification, and figures.
- `research_scratch_and_imported_components/` — supporting source modules and prior-result snapshots used during later research iterations.

### `historical_archives/`

Original release ZIPs and their original SHA-256 files. These preserve the exact historical bundles as delivered at each milestone.

### `historical_unpacked/`

The same historical releases unpacked for direct browsing. Some historical archives contain more files than the smaller top-level editable artifact directories, so both forms are retained deliberately.

### `verification_extras/`

- clean-room verification report and machine-readable record;
- action-set admission certificate CSV.

## Integrity

- `MANIFEST.csv` records every file path, byte size, and SHA-256 digest inside this master directory, excluding the manifest files themselves.
- `MANIFEST.sha256` is a standard checksum ledger for the same files.
- `BUNDLE_METADATA.json` records bundle counts and sizes.
- The outer archive has a sibling `.sha256` file.

## Scope note

This bundle intentionally preserves historical and current copies, so some files are duplicated. The duplication provides provenance: a reader can inspect both the exact archived milestone and the later editable/current state.

# Huang Quantum-Learning Research — Complete Archive

Created: 2026-08-04

This master archive preserves every research artifact available in the working environment for the Huang-inspired Hamiltonian-learning program, including historical snapshots and the current expanded research trees.

## Contents

- `00_original_upload/` — the original red-team pilot archive supplied by the user.
- `01_deepdive/` — the first independent audit, strengthened pilots, theorem notes, figures, and regression tests.
- `02_frontier_verified/` — obstruction-hierarchy, exact-rank, resonance, locality-selection, and shadow-validation work.
- `03_novelty_lab/` — the signed-graph theorem program, exact certificates, graph atlases, proofs, figures, novelty analysis, and verification materials.
- `04_industrial_extension/` — the industrial relevance and explicit obstruction-witness extension.
- `05_prior_release_archives/` — earlier packaged release archives retained as immutable historical snapshots.
- `99_manifests/` — file inventory and SHA-256 checksums for every payload file.

## Verification

From the extracted archive root:

```bash
sha256sum -c 99_manifests/SHA256SUMS.txt
```

The outer archive has a companion `.sha256` file next to it.

Quantum Channel Capacities and Strong Converses — Complete Research Package
Packaged: 2026-08-04

This archive collects every available research folder and verification artifact
produced in the conversation, including historical iterations, repaired and
reproducible packages, exact proof archives, novelty audits, industrial-impact
notes, source code, tests, papers, manifests, and clean-extraction logs.

Top-level contents:
- pauli_strong_converse_lab/
  Early and intermediate exact-CWS experiments, certificates, notes, and code.
- pauli_strong_converse_verified/
  Red-teamed verified paper package and exact finite-block proof artifacts.
- pauli_strong_converse_repaired/
  Reproducibility-repaired package.
- pauli_strong_converse_repaired.tar.gz
  Previously generated compressed repaired package.
- pauli_strong_converse_reproducible/
  Reproducible research roadmap, paper, scripts, and verification outputs.
- regular_monomial_recovery/
  General regular-monomial recovery theorem, novelty audit, and industrial notes.
- pauli_frontier_advance/
  Latest frontier theorem package: general finite-group reduction, counterexamples,
  verification reports, industrial value, source, and manifest.
- pauli_frontier_advance.tar.gz
  Previously generated latest frontier package.
- pauli_frontier_advance.tar.gz.sha256
  Hash for that tarball.
- pauli_frontier_smoketest/
  Clean-extraction reproduction log.
- SHA256SUMS.txt
  Hashes for every regular file included in this complete package.

Important scientific limitation:
The unrestricted strong converse for arbitrary quantum codes over interesting
positive-capacity Pauli channels is not claimed solved. See the latest frontier
notes and novelty audits for exact theorem scope, withdrawn conjectures, and
remaining open problems.

# qec4lab: four-party quantum entropy-cone research harness

This repository is a reproducible **conjecture-generation, falsification, and exact-certification loop** for homogeneous linear entropy inequalities of four quantum parties.

It does **not** claim to characterize the full four-party quantum entropy cone. It produces one exact falsification, one exact reconstruction of a known theorem, and one high-priority surviving conjecture target:

1. **Exact falsification of the 2015 Bao–Cao–Walter–Wang candidate (4.6).** A uniform classical distribution on five binary atoms violates the proposed inequality. The sign is certified by the integer comparison `2^14 < 3^9`, not by floating-point entropy calculations. Structurally, the candidate is `Ingleton + I(C:D|B)`; the counterexample has `I(C:D|B)=0`, so it also rules out the entire family `Ingleton + lambda I(C:D|B)` for every real `lambda`.
2. **An executable `n=4` reconstruction of Pippenger's symmetric-allocation theorem.** In the coordinates `h_k = average_{|I|=k} S(I)`, the projected standard outer cone has five exact facets and five exact extreme rays, each with an explicit quantum realization. Pippenger proved the corresponding symmetric characterization for every `n` in 2003; this repository supplies a machine-checkable four-party specialization and a rigorous search-space exclusion control, not a new theorem.

[Publication excerpt: middle of the long tool response omitted.]


## Reproducibility

The full run records Python, platform, NumPy, SciPy, the random seed, dimensions, sample counts, and optimization settings. The exact headline claims have dependency-free or exact-integer verification paths and do not depend on a random seed.

No claim of literature priority is made for the five-atom counterexample. The symmetric-sector result is explicitly an executable `n=4` reconstruction of Pippenger's 2003 all-`n` theorem, not a novelty claim.

Reviewed beginning and ending of this 5,232-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

# PCFTC Risk-Cert v0.2

**Proof-carrying stochastic magic-resource compilation, dependence-aware reliability, and SLO provisioning**

This artifact treats the optimizer, scheduler, architecture search, and statistical point estimates as untrusted. A retained claim is accepted only after a smaller checker reconstructs the relevant obligations using exact arithmetic.

The checked chain is:

1. exact semantics for interchangeable logical implementations;
2. exact finite-horizon causal-policy optimality for the declared stochastic model;
3. exact deadline-completion probability;
4. least-cost **robustly certifiable** architecture in a finite declared candidate family;
5. fixed-sample confidence bounds on factory yields;
6. an explicit dependence assumption, rather than silently converting marginal yield estimates into independent trials.

The individual ingredients—Bellman recursion, binomial tails, exact one-sided intervals, seven-T CCZ synthesis, Fréchet/moment bounds, and robust MDPs—are established mathematics. The research contribution is the quantum-compiler-specific composition of semantic alternatives, adaptive stochastic control, architecture provisioning, statistical evidence, and independently checkable proof objects.

## Accepted results

| Result | Exact finding |
|---|---|
| Minimal feedback advantage | One malleable factory, two resource types, three attempts, `p=1/2`: exact adaptive reliability `1/2`; all 27 precommitted schedules are bounded by `3/8`. |

[Publication excerpt: middle of the long tool response omitted.]

Reviewed beginning and ending of this 7,618-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

=== python ===
Python 3.12.3
/usr/bin/python3
=== key packages ===
numpy 2.2.6
scipy 1.18.0
sympy 1.14.0
stim 1.16.0
pytest 9.1.1
networkx 3.6.1
torch 2.12.1+cu130
=== compilers ===
/usr/bin/g++
/usr/bin/gcc
g++ (Ubuntu 13.3.0-6ubuntu2~24.04.1) 13.3.0

=== integer comparison check ===
2^14 = 16384 | 3^9 = 19683 | 2^14 < 3^9 : True
=== standalone exhaustive verifier ===
Support atoms (A,B,C,D): ['0001', '0010', '0011', '0111', '1000']
Candidate convention: c·H >= 0
5(c·H) = log2(16384/19683)
Exact comparison: 16384 < 19683
Therefore c·H < 0; numerical value = -0.052932501298081 bits
Paper convention L <= 0: L = 0.052932501298081 bits > 0
Closed form: L = (9 log2(3) - 14)/5
Structural decomposition: c_4.6 = Ingleton + I(C:D|B)
Exact Markov-face check: I(C:D|B) = 0
Therefore c_4.6 = Ingleton = -0.052932501298081 bits on this state
Consequently Ingleton + lambda*I(C:D|B) fails for every real lambda.

Marginal count profiles:
  A    c=-1 counts=(4, 1)       H=0.721928094887
  B    c=-2 counts=(4, 1)       H=0.721928094887
  AB   c=+1 counts=(3, 1, 1)    H=1.370950594455
  AC   c=+1 counts=(3, 1, 1)    H=1.370950594455
  AD   c=+1 counts=(3, 1, 1)    H=1.370950594455
  BC   c=+2 counts=(2, 2, 1)    H=1.521928094887
  BD   c=+2 counts=(2, 2, 1)    H=1.521928094887
  CD   c=-1 counts=(2, 1, 1, 1) H=1.921928094887
  ABC  c=-1 counts=(2, 1, 1, 1) H=1.921928094887
  ABD  c=-1 counts=(2, 1, 1, 1) H=1.921928094887
  BCD  c=-1 counts=(1, 1, 1, 1, 1) H=2.321928094887

Exhaustive finite-family check:
  supports evaluated: 65,535
  global minimum in this family: -0.052932501298081 bits
  tied minimizers: 16
  selected minimizer: ['0001', '0010', '0011', '0111', '1000']

recorded experiment--discovery-env-fully-equipped-for-quantum-research-verification (measured)

=== py_compile ALL python files (parses?) ===
parsed OK: 340/340; failures: 0

=== Makefiles / run scripts ===
./huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/01_deepdive/run_all.sh
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/Makefile
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/run_all.sh
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/run_experiments.sh
./qldpc_codesign_complete_2026-08-04/qldpc_codesign_complete_2026-08-04/audit/verify_contents.sh
./quantum_channel_capacity_research_complete_2026-08-04/quantum_channel_capacity_research_complete_2026-08-04/pauli_frontier_advance/reproduce_full.sh
./quantum_channel_capacity_research_complete_2026-08-04/quantum_channel_capacity_research_complete_2026-08-04/pauli_strong_converse_lab/reproduce.sh
./quantum_channel_capacity_research_complete_2026-08-04/quantum_channel_capacity_research_complete_2026-08-04/pauli_strong_converse_reproducible/reproduce_full.sh
./quantum_channel_capacity_research_complete_2026-08-04/quantum_channel_capacity_research_complete_2026-08-04/pauli_strong_converse_verified/reproduce_full.sh
./RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/historical_unpacked/frontier_release/RobustQEC_frontier_release/Makefile
./RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/historical_unpacked/frontier_release/RobustQEC_frontier_release/scripts/reproduce_frontier.sh

=== pytest configs / conftest ===
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/pyproject.toml
./qldpc_codesign_complete_2026-08-04/qldpc_codesign_complete_2026-08-04/latest_integrated_overlay/pyproject.toml

[Publication excerpt: middle of the long tool response omitted.]

./RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/historical_unpacked/industrial_frontier_release/robustqec_industrial_frontier/tests
./RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/historical_unpacked/observability_gate_release/robustqec_observability/tests
./RobustQEC_everything_2026-08-04/RobustQEC_everything_2026-08-04/historical_unpacked/phase0_release/robustqec/tests

Reviewed beginning and ending of this 3,720-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

=== sha256 manifest files ===
./huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/99_manifests/SHA256SUMS.txt
./pcftc_risk_cert_v2/pcftc_risk_cert_v2/SHA256SUMS.json
./qldpc_codesign_complete_2026-08-04/qldpc_codesign_complete_2026-08-04/audit/CONTENT_SHA256SUMS.txt
./qldpc_codesign_complete_2026-08-04/qldpc_codesign_complete_2026-08-04/audit/MANIFESTS_SHA256.txt
./qldpc_codesign_complete_2026-08-04/qldpc_codesign_complete_2026-08-04/provenance/original_v1/qldpc_codesign_lab_SHA256.txt
./qltc_research_bundle_2026-08-04/qltc_research_bundle_2026-08-04/MANIFEST_SHA256.txt
./quantum_channel_capacity_research_complete_2026-08-04/quantum_channel_capacity_research_complete_2026-08-04/pauli_frontier_advance/MANIFEST.sha256
./quantum_channel_capacity_research_complete_2026-08-04/quantum_channel_capacity_research_complete_2026-08-04/pauli_frontier_advance.tar.gz.sha256
./quantum_channel_capacity_research_complete_2026-08-04/quantum_channel_capacity_research_complete_2026-08-04/pauli_strong_converse_repaired/MANIFEST.sha256
./quantum_channel_capacity_research_complete_2026-08-04/quantum_channel_capacity_research_complete_2026-08-04/pauli_strong_converse_reproducible/MANIFEST.sha256
./quantum_channel_capacity_research_complete_2026-08-04/quantum_channel_capacity_research_complete_2026-08-04/SHA256SUMS.txt
./quantum_entropy_cone_lab_complete_2026-08-04/quantum_entropy_cone_lab/audit/AUDIT_SHA256SUMS.txt
./quantum_entropy_cone_lab_complete_2026-08-04/quantum_entropy_cone_lab/cycle7/CYCLE7_SHA256SUMS.txt

[Publication excerpt: middle of the long tool response omitted.]

versions/v5_schedule_phase_diagram/results/v5/schedule_search/S07_X.leading.json: OK
versions/v5_schedule_phase_diagram/results/v5/schedule_search/S07_Z.leading.json: OK
versions/v5_schedule_phase_diagram/results/v5/schedule_search/manifest16.json: OK
=== qltc ===
sha256sum: '        6825  supplemental_recovered_files/gf2(1).py': No such file or directory
        6825  supplemental_recovered_files/gf2(1).py: FAILED open or read
sha256sum: WARNING: 107 listed files could not be read

Reviewed beginning and ending of this 3,359-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

=== manifest format (first 5 lines) ===
77a4d86f37f3dd1866eb868f4eb763082f2cc1f917d9044fdb781119bb69bc78          1804  README_BUNDLE.md
5c83d4f879f1b2912f21d163409c435a4d9c8eca7091f62d41650a341d9a139a         17101  qltc_lab/cpp/exact_sparse_logical_search.cpp
bb847990666a3ada6d7e0550d5f8395461c3d714aba2d3e720e57ccdaec836f7         18058  qltc_lab/cpp/exact_sparse_logical_search_filtered.cpp
4f667721526cf61349d2bdb4e8f696f8b8978edb07f7b0913c972d4e788aacdc         16735  qltc_lab/cpp/exact_sparse_logical_search_v2.cpp
751e10e13436eaa2e0a613f69ecc5e282438c436d20c03ed36d9843b176cc8f0          6414  qltc_lab/experiments/certify_cubical_endpoint_toy.py
=== total lines in manifest ===
107 MANIFEST_SHA256.txt
=== actual file count ===
139
=== the gf2 file ===
total 72
drwxr-xr-x 3 drew drew  4096 Aug  5 11:15 .
drwxr-xr-x 4 drew drew  4096 Aug  4 19:18 ..
-rw-r--r-- 1 drew drew 26559 Aug  4 19:18 codes(2).py
-rw-r--r-- 1 drew drew 22138 Aug  4 19:18 codes.py
-rw-r--r-- 1 drew drew  6825 Aug  4 19:18 gf2(1).py
drwxrwxr-x 2 drew drew  4096 Aug  5 11:15 __pycache__
=== full sha check summary ===
0
failed:
214

created
VERIFICATION_PROTOCOL.md

{"workerId":"ftqc-zips-2026-08-05-r1:s0","assignmentId":"ordinal:0","identity":{"profileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","taskDigest":"sha256:08d283328a6ebd2745d0ca7375d267eed488bc9aca13e1f3a70f6876f2615f89"},"continuity":"fresh","live":1,"freeSlots":4}

{"workerId":"ftqc-zips-2026-08-05-r1:s1","assignmentId":"ordinal:1","identity":{"profileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","taskDigest":"sha256:e2f5c7462592b772ca3b0a5acf46983777d156e9f373ea5b2ad45e05d770ac2c"},"continuity":"fresh","live":2,"freeSlots":3}

{"workerId":"ftqc-zips-2026-08-05-r1:s2","assignmentId":"ordinal:2","identity":{"profileDigest":"sha256:f0ea4da1e5dee468fc507927181a07253ec585deefa1976efecf12bece7d2295","taskDigest":"sha256:1d3e7f4ec64a2b604c0eb1e32e9f7cd38d75d12024d5c9e9aac216245c1d65e3"},"continuity":"fresh","live":3,"freeSlots":2}

{"workerId":"ftqc-zips-2026-08-05-r1:s3","assignmentId":"ordinal:3","identity":{"profileDigest":"sha256:666159aea4de69235901a2c3aa9d3a6dae959e8fc0c4f0d8811b1edd745253dd","taskDigest":"sha256:071d25b387c758054c4c8c6082cd2ec40a633a98d535cefccf4b1a583705bd70"},"continuity":"fresh","live":4,"freeSlots":1}

{"workerId":"ftqc-zips-2026-08-05-r1:s4","assignmentId":"ordinal:4","identity":{"profileDigest":"sha256:a3b8faa997c14995cb4200c8ecb667783277951e66e1a0e788a1c299d1e0d79d","taskDigest":"sha256:7e6c3dc40e4a3df4110b2418626727f24d8ce5e3004f6cfc381ccfa141b6f3e0"},"continuity":"fresh","live":5,"freeSlots":0}

=== pyproject ===
=== make targets ===
=== try make test ===
make: *** No rule to make target 'test'.  Stop.

=== integrity ===
./05_prior_release_archives/huang_novelty_lab_verified.zip: OK
./99_manifests/INVENTORY.json: OK
./README_MASTER_ARCHIVE.md: OK
=== 01_deepdive run_all.sh ===
#!/usr/bin/env bash
set -euo pipefail

ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
cd "$ROOT"

export OMP_NUM_THREADS=1
export MKL_NUM_THREADS=1
export OPENBLAS_NUM_THREADS=1
export NUMEXPR_NUM_THREADS=1
export VECLIB_MAXIMUM_THREADS=1
export MPLBACKEND=Agg
export PYTHONHASHSEED=0
export PYTHONPATH="$ROOT${PYTHONPATH:+:$PYTHONPATH}"

mkdir -p results figures

run_logged() {
  local log="$1"
  shift
  mkdir -p "$(dirname "$log")"
  echo ">>> $*"
  "$@" 2>&1 | tee "$log"
}

# Uploaded pilots and deterministic reproduction audit.
rm -rf results/baseline_rerun
mkdir -p results/baseline_rerun
run_logged results/baseline_rerun/probe_run.log \
  python baseline/probe_design_pilot.py \
=== novelty lab tests ===
__pycache__
test_transverse_matrix_classification.py

total 480
drwxr-xr-x 11 drew drew   4096 Aug  4 19:17 .
drwxrwxr-x  3 drew drew   4096 Aug  5 11:13 ..
drwxr-xr-x  4 drew drew   4096 Aug  4 19:17 advanced
drwxr-xr-x  2 drew drew   4096 Aug  4 19:17 audit
drwxr-xr-x  3 drew drew   4096 Aug  5 11:15 cycle3
drwxr-xr-x  3 drew drew   4096 Aug  5 11:15 cycle4
drwxr-xr-x  3 drew drew   4096 Aug  5 11:15 cycle5
drwxr-xr-x  3 drew drew   4096 Aug  5 11:15 cycle6
drwxr-xr-x  4 drew drew   4096 Aug  5 11:15 cycle7
-rw-r--r--  1 drew drew 392416 Aug  4 19:17 cycle7_research_bundle.zip
-rw-r--r--  1 drew drew     93 Aug  4 19:17 cycle7_research_bundle.zip.sha256
drwxr-xr-x  3 drew drew   4096 Aug  5 11:15 experiments
-rw-r--r--  1 drew drew   5281 Aug  4 19:17 README.md
-rw-r--r--  1 drew drew     69 Aug  4 19:17 requirements-reproduction.txt
-rw-r--r--  1 drew drew   6697 Aug  4 19:17 RESEARCH_PROTOCOL.md
-rw-r--r--  1 drew drew  21517 Aug  4 19:17 RESEARCH_REPORT.md
drwxr-xr-x  2 drew drew   4096 Aug  4 19:17 results
-rw-r--r--  1 drew drew   3980 Aug  4 19:17 RESULTS_AT_A_GLANCE.md
=== Makefile? ===
=== RESULTS_AT_A_GLANCE ===
# Results at a glance

**Research date:** 2026-07-31  
**Scope:** homogeneous linear entropy inequalities for the closure of four-party finite-dimensional quantum entropy vectors  
**Convention:** every implemented inequality is `c · S >= 0`, with base-2 entropies

## Claim ledger

| Result | Status | Verifiable certificate |
|---|---|---|
| Bao–Cao–Walter–Wang candidate (4.6) | `EXACTLY_FALSIFIED` | Five-atom diagonal state; exact sign from `2^14 < 3^9` |

[Publication excerpt: middle of the long tool response omitted.]

```

is checked coefficient by coefficient. On the five-atom state, `C` and `D` are conditionally independent given `B`, so `I(C:D|B)=0` exactly. Therefore the same state violates

```text
Ingleton + lambda I(C:D|B) >= 0
```

for every real `lambda`.

The dependency-free exhaustive verifier evaluates all `65,535` nonempty uniform supports on `{0,1}^4`. It finds this value as the global minimum **within that finite family**, with 16 tied minimizers. No stronger global-minimum claim is made.

Reviewed beginning and ending of this 3,403-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

=== dir tree depth 2 ===
.
./00_original_upload
./01_deepdive
./01_deepdive/figures
./01_deepdive/tests
./02_frontier_verified
./02_frontier_verified/results
./02_frontier_verified/src
./02_frontier_verified/tests
./03_novelty_lab
./03_novelty_lab/figures
./03_novelty_lab/results
./03_novelty_lab/src
./03_novelty_lab/tests
./04_industrial_extension
./04_industrial_extension/huang_novelty_lab
./05_prior_release_archives
./99_manifests
=== novelty lab structure ===
figures
INTUITION_NOVELTY_AND_TEST_PLAN.md
NOVELTY_CLAIM_MATRIX.md
README.md
RESEARCH_STATUS.md
results
src
tests
THEOREMS.md
VERIFICATION_SUMMARY.json
=== novelty README ===
# Huang Novelty Lab

Exact symbolic and finite-field tooling for studying Hamiltonian learnability
near conserved strata.

## Main result

For a nonresonant classical Ising Hamiltonian on an arbitrary connected graph,
with complete graph-local one- and two-body search space and arbitrary real
transverse edge couplings, the local commutator Smith spectrum is classified by
three pieces of data:

1. graph degree;
2. whether each transverse edge matrix is zero, conformal, or anisotropic;
3. the balanced components of the resulting signed conformal graph.

If `q` is the number of balanced conformal components that avoid high-degree
vertices and anisotropic endpoints, then

```text
d0 = |V| + |E|
d1 = q + 1
d2 = 1
```

so there are `q` order-two learnability branches and every other
non-Hamiltonian branch opens at order one.

Read:

- `THEOREMS.md` for statements and proofs;
- `INTUITION_NOVELTY_AND_TEST_PLAN.md` for an intuitive explanation and the
  remaining research gates;
- `NOVELTY_CLAIM_MATRIX.md` for the prior-art boundary.

## Reproduce

```bash
python -m venv .venv
source .venv/bin/activate
pip install -e '.[test]'
./run_fast.sh
```

The larger exact portfolio is regenerated by:

```bash
./run_full.sh
```

=== find qec4lab ===
=== experiments ===
__pycache__
verify_exact_counterexample_standalone.py
=== cycle3 structure ===
all_book_inequalities_exact_verification.json
h170_stability_family_no_go.json
__pycache__
q36_outer_bound_books_t11_threecopy.json
two_copy_exact_extensions_h170_independent_verification.json
two_copy_exact_extensions_h170.json
two_copy_exact_extensions_h170.npz
verify_h170_stability_family_no_go.py
verify_two_copy_exact_extensions_h170_independent.py
=== run pytest (collect only first) ===
cycle7/industrial/test_entropy_certificate_engine.py::test_exact_six_atom_example
cycle7/industrial/test_entropy_certificate_engine.py::test_product_distribution_equalities
cycle7/industrial/test_entropy_certificate_engine.py::test_interval_logic

3 tests collected in 0.13s

=== src ===
novel_hamiltonian
=== tests ===
__pycache__
test_transverse_matrix_classification.py
=== run_fast.sh ===

=== pytest ===
  File "[home]/.local/lib/python3.12/site-packages/scipy/fft/_fftlog.py", line 10, in <module>
    from ._fftlog_backend import fhtoffset
  File "[home]/.local/lib/python3.12/site-packages/scipy/fft/_fftlog_backend.py", line 4, in <module>
    from ..special import loggamma, poch
  File "[home]/.local/lib/python3.12/site-packages/scipy/special/__init__.py", line 785, in <module>
    from . import _ufuncs
  File "scipy/special/_ufuncs.pyx", line 1, in init scipy.special._ufuncs
  File "scipy/special/_ellip_harm_2.pyx", line 1, in init scipy.special._ellip_harm_2
  File "[home]/.local/lib/python3.12/site-packages/scipy/linalg/__init__.py", line 201, in <module>
    from ._misc import *
  File "[home]/.local/lib/python3.12/site-packages/scipy/linalg/_misc.py", line 3, in <module>
    from .blas import get_blas_funcs
  File "[home]/.local/lib/python3.12/site-packages/scipy/linalg/blas.py", line 247, in <module>
    from scipy.linalg import _fblas
KeyboardInterrupt
=== cycle3 verify h170 stability ===
      1
    ],
    "zero_count_at_each_mapping_own_optimal_k": 18123,
    "minimum_positive_numerator": 20
  },
  "logical_consequence": "Q36 is not in the conic closure generated by elemental Shannon inequalities, all tuple-substituted Zhang--Yeung inequalities, and all tuple-substituted instances of Csirmaz Theorem 11 for every integer k>=1.",
  "important_scope_limit": "The entropy vector is a polymatroid countermodel; it is not claimed to be entropic or almost entropic."
}
=== cycle3 verify two-copy h170 ===
    "510": 68,
    "680": 129,
    "1020": 8,
    "850": 12,
    "1360": 1
  },
  "logical_consequence": "This exact polymatroid countermodel rules out any derivation of Q36 from elemental Shannon inequalities using zero, one, or two sequential applications of the stated ordinary copy lemma model."
}

Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

=== novel_hamiltonian package ===
src/novel_hamiltonian/graph.py
=== run novelty test ===
ImportError while importing test module '[workspace]/extracted/huang_research_complete_2026-08-04/huang_research_complete_2026-08-04/03_novelty_lab/tests/test_transverse_matrix_classification.py'.
Hint: make sure your test modules/packages have valid Python names.
Traceback:
/usr/lib/python3.12/importlib/__init__.py:90: in import_module
    return _bootstrap._gcd_import(name[level:], package, level)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
tests/test_transverse_matrix_classification.py:6: in <module>
    from novel_hamiltonian.graph import (
src/novel_hamiltonian/graph.py:13: in <module>
    from .pauli import Pauli, word
E   ModuleNotFoundError: No module named 'novel_hamiltonian.pauli'
=========================== short test summary info ============================
ERROR tests/test_transverse_matrix_classification.py
!!!!!!!!!!!!!!!!!!!! Interrupted: 1 error during collection !!!!!!!!!!!!!!!!!!!!
1 error in 0.30s

Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

=== is pauli.py anywhere? ===
=== novel_hamiltonian contents ===
03_novelty_lab/src/novel_hamiltonian/graph.py
03_novelty_lab/src/novel_hamiltonian/__pycache__/graph.cpython-312.pyc
=== what graph.py imports ===
7:from __future__ import annotations
9:from collections import defaultdict
10:from dataclasses import dataclass
11:from typing import Iterable, Mapping, Sequence
13:from .pauli import Pauli, word
355:    The matrix is expressed in local ``(X,Y)`` frames.  The pair-flip map from
=== 01_deepdive tests ===
__pycache__
test_verified_claims.py
=== 02_frontier tests ===
__pycache__
test_algebra_and_certificates.py
test_selection.py

=== retry pytest with thread vars + longer timeout ===
...                                                                      [100%]
3 passed in 0.08s
=== cycle4 verify list ===
cycle4/analyze_kr_claims45.py
cycle4/scan_h170_three_copy_fast.py
=== cycle7 tests ===
cycle7/industrial/test_entropy_certificate_engine.py

=== 01_deepdive test_verified_claims ===
/usr/lib/python3.12/importlib/__init__.py:90: in import_module
    return _bootstrap._gcd_import(name[level:], package, level)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
01_deepdive/tests/test_verified_claims.py:14: in <module>
    from baseline import commutator_gap_pilot as dense_comm
E   ModuleNotFoundError: No module named 'baseline'
=========================== short test summary info ============================
ERROR 01_deepdive/tests/test_verified_claims.py
!!!!!!!!!!!!!!!!!!!! Interrupted: 1 error during collection !!!!!!!!!!!!!!!!!!!!
1 error in 0.35s
=== 02_frontier tests ===
    return _bootstrap._gcd_import(name[level:], package, level)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
02_frontier_verified/tests/test_selection.py:5: in <module>
    from huang_frontier.selection import (
02_frontier_verified/src/huang_frontier/selection.py:24: in <module>
    from .pauli import Pauli, support_weight
E   ModuleNotFoundError: No module named 'huang_frontier.pauli'
=========================== short test summary info ============================
ERROR 02_frontier_verified/tests/test_algebra_and_certificates.py
ERROR 02_frontier_verified/tests/test_selection.py
!!!!!!!!!!!!!!!!!!! Interrupted: 2 errors during collection !!!!!!!!!!!!!!!!!!!!
2 errors in 0.30s

=== cycle4 kr_claims45 ===
            "sympy": "32/(15*log(2))",
            "numeric": "3.0777494205631219357011726528040365598435113688597"
          },
          "e8": {
            "sympy": "32/(7*log(2))",
            "numeric": "6.5951773297781184336453699702943640568075243618422"
          }
        },
        "I_B_C_given_D": {
          "e1": {
            "sympy": "1",
          
=== VERIFICATION_SUMMARY huang ===

=== 01_deepdive full tree ===
01_deepdive/tests/test_verified_claims.py
=== is there a baseline dir? ===
=== VERIFICATION_SUMMARY raw ===
1300 03_novelty_lab/VERIFICATION_SUMMARY.json
{
  "status": "verified theorem package; external novelty priority not yet certifiable by computation alone",
  "regression_tests_passed": 17,
  "signed_first_order_unique_cases": 3976,
  "signed_first_order_second_prime_rechecks": 853,
  "signed_second_order_exact_cases": 1924,
  "counterexamples_f

=== symmetric no_go result ===
keys: ['theorem', 'scope', 'symmetric_coordinates', 'facets_g_dot_h_ge_0', 'extreme_rays', 'ray_realizations', 'projected_outer_row_count', 'facets_are_projected_outer_rows', 'pointed_full_dimensional', 'enumerated_extreme_rays', 'exact_h_v_certificate', 'exact_state_certificates', 'facet_ray_incidence', 'literature_status']
n_facets: None
n_rays: None
=== reproduction summary ===
{
  "research_date": "2026-07-31",
  "scope": "Homogeneous linear inequalities for the closure of finite-dimensional four-party quantum entropy vectors",
  "convention": "c dot S >= 0; entropy in bits",
  "verification": {
    "tests": "19 passed",
    "test_wall_time_seconds": 1.07,
    "full_reproduction_wall_time_seconds": 21.03,
    "max_resident_memory_kib": 623648,
    "strict_json_outputs": true
  },
  "exact_counterexample": {
    "candidate": "Bao-Cao-Walter-Wang (2015), Eq. (4.6)",
    "status": "EXACTLY_FALSIFIED",
    "uniform_support_ABCD": [
      "0001",
      "0010",
      "0011",
      "0111",
      "1000"
    ],
    "paper_convention_value": "(9*log2(3)-14)/5",
    "paper_convention_value_bits": 0.052932501298080935,
    "exact_sign_certificate": "2^14=16384 < 3^9=19683",
    "finite_family_scope": {
      "family": "all nonempty uniform supports on four binary variables",
      "supports_evaluated": 65535,
      "tied_minimizers": 16,
      "claim": "global minimum only within this finite family"
    },
    "decomposition": {
      "identity": "candidate_4.6 = Ingleton(A:B;C,D) + I(C:D|B)",
      "coefficient_identity_exact": true,
      "markov_face": "C is conditionally independent of D given B",
      "I(C:D|B)_bits": 0.0,
      "broad_no_go": "The same state violates Ingleton + lambda*I(C:D|B) >= 0 for every real lambda."
    },
    "priority": "Independent exact derivation; no literature-priority claim"
  },
  "symmetric_sector": {
    "status": "SYMME

=== symmetric facets/rays ===
facets (g.h>=0): 5
extreme_rays: 5
ray_realizations: 5
literature_status: Executable n=4 reconstruction of Pippenger's 2003 all-n symmetric-allocation theorem; no novelty claim.
projected_outer_row_count: 17
scope: closure of the finite-dimensional four-party quantum entropy vectors

Successfully wrote 3576 bytes to results/results_entropy.md

Successfully wrote 3028 bytes to results/results_huang.md

recorded pursuit-ftqc-zips-2026-08-05-r1--finding--entropy-cone-bcww-falsification-independently-reproduced (measured)
recorded pursuit-ftqc-zips-2026-08-05-r1--finding--huang-archive-headline-theorem-not-runnable-missing-pauli-py (measured)

{"id":"ftqc-zips-2026-08-05-r1:s0","status":"running","assignmentId":"ordinal:0","identity":{"profileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","taskDigest":"sha256:08d283328a6ebd2745d0ca7375d267eed488bc9aca13e1f3a70f6876f2615f89"},"materialization":{"status":"known","authoredProfileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","effectiveProfileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-3cc74d175533cc890e70f52efd6b80c130419df0e06c746fdd9da4406d41ae6c"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s0:attempt:4c10eaa6-16ec-4368-9a39-b8ed0bd409e3","materializationReceiptDigest":"sha256:92e89154476462839ae198ab30c680f34b4ee6b382e9675439bfb14c4c33d6e6","bindingDigest":"sha256:67dedf981ae113931dfede229f50ff60557c5efcd43470d33dd6c6f9b8901854","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":399138,"output":12271},"usd":0,"ms":0},"outRef":null,"output":null,"progress":{"id":"ftqc-zips-2026-08-05-r1:s0","status":"running","live":true,"steerable":true,"startedAt":1785950315356,"lastActivityAt":1785950535106,"idleMs":2957,"stalled":false,"stallAfterMs":1200000,"turns":0,"tokens":{"inp

[Publication excerpt: middle of the long tool response omitted.]

ome/drew/code/discovery-lab/pursuits/ftqc-zips-2026-08-05-r1/workspaces/extracted/pcftc_risk_cert_v2/pcftc_risk_..."},{"at":1785950522968,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_..."},{"at":1785950534883,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_..."}],"note":"turn 0"}}

Reviewed beginning and ending of this 3,875-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line. Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

# Local Smith Spectra for Hamiltonian Learnability

## Status legend

- **Theorem:** proved below in finite-dimensional characteristic zero.
- **Exact finite certificate:** proved for each listed finite instance by exact rational or modular arithmetic.
- **Conjecture:** supported by exact finite certificates but not proved uniformly in system size.

No claim in this document depends on a floating-point fit.

---

# 1. Setup

Let \(G=(V,E)\) be a finite, connected, simple graph with \(n=|V|\ge 3\). Let

\[
H_0=\sum_{e=\{u,v\}\in E} b_e Z_u Z_v
\]

with nonzero real couplings. The **graph-local two-body search space** is

\[
\mathcal S_G=
\operatorname{span}_{\mathbb R}
\left(
\{X_v,Y_v,Z_v:v\in V\}
\cup
\{P_uQ_v:\{u,v\}\in E,\ P,Q\in\{X,Y,Z\}\}
\right).
\]

For a perturbation \(W\in\mathcal S_G\), define

\[
H_\varepsilon=H_0+\varepsilon W,
\qquad
C_W(\varepsilon):\mathcal S_G\to\mathcal B(\mathcal H),
\qquad
C_W(\varepsilon)A=\frac{[A,H_\varepsilon]}{i}.
\]

We impose a deliberately transparent nonresonance condition:

> **Signed-subset nonresonance.** For every nonempty \(F\subseteq E\) and every assignment \(\eta_e\in\{-1,+1\}\),
> \[
> \sum_{e\in F}\eta_e b_e\ne0.
> \]

This is stronger than necessary, but it is generic: its failure is a finite union of coupling hyperplanes. Superincreasing couplings are an explicit deterministic example.

---

# 2. The local Smith spectrum

Let \(C(\varepsilon)=C_0+\varepsilon C_1\) be any finite matrix pencil. Over the discrete valuation ring of convergent power series near \(\varepsilon=0\), it has a local Smith form

\[

[Publication excerpt: middle of the long tool response omitted.]


The exact records are in:

- `results/signed_graph_verification_n6.json`;
- `results/signed_graph_verification_n7_*.json`;
- `results/signed_graph_second_order_n7_sample.json`;
- `results/random_signed_stress.json`.

These computations would have exposed, among other failures, an incorrect edge
rank classification, a missed frustrated-cycle constraint, a graph-size
exception through seven vertices, or an additional second-order branch in the
sampled coefficient families.

Reviewed beginning and ending of this 29,729-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

Successfully replaced 1 block(s) in results/results_huang.md.

{"id":"ftqc-zips-2026-08-05-r1:s1","status":"running","assignmentId":"ordinal:1","identity":{"profileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","taskDigest":"sha256:e2f5c7462592b772ca3b0a5acf46983777d156e9f373ea5b2ad45e05d770ac2c"},"materialization":{"status":"known","authoredProfileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","effectiveProfileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-5a60cca85cc279a00f4db058b0b8a67195014b173cab1bf8a97d50a41ef18343"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s1:attempt:899a0294-c616-47eb-8543-a7a63ae384a3","materializationReceiptDigest":"sha256:0625513f0e271408b30087445e78a11e7b5b72569acb010d273ca5240bf6cbf0","bindingDigest":"sha256:476d5ae62b1a8fe5c1522e751a42977684129363ec360b3c791f9412778791f2","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":433523,"output":8480},"usd":0,"ms":0},"outRef":null,"output":null,"progress":{"id":"ftqc-zips-2026-08-05-r1:s1","status":"running","live":true,"steerable":true,"startedAt":1785950315360,"lastActivityAt":1785950565169,"idleMs":13149,"stalled":false,"stallAfterMs":1200000,"turns":0,"tokens":{"inp

[Publication excerpt: middle of the long tool response omitted.]

e/drew/code/discovery-lab/pursuits/ftqc-zips-2026-08-05-r1/workspaces/extracted/qldpc_codesign_complete_2026-0..."},{"at":1785950507786,"kind":"tool","label":"read","detail":"[workspace]/extracted/qldpc_codesign_complete_2026-08-0..."},{"at":1785950523870,"kind":"tool","label":"bash","detail":"echo \"=== Running C++ search on S03_X instance ===\" && time /tmp/exact_location_distance_search /tmp/S03_X.distance_i..."}],"note":"turn 0"}}

Reviewed beginning and ending of this 3,876-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line. Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

=== channel integrity ===
./regular_monomial_recovery/LATIN_ROUTING_THEOREM.md: OK
./regular_monomial_recovery/NOVELTY_AUDIT.md: OK
ok count:
82
fail count:
0


Command exited with code 1

=== robustqec integrity (MANIFEST.sha256) ===
verification_extras/RobustQEC_cleanroom_verification.json: OK
verification_extras/RobustQEC_cleanroom_verification.md: OK
ok:
397
fail:
2

=== failing files ===
historical_unpacked/industrial_frontier_release/robustqec_industrial_frontier/.pytest_cache/v/cache/lastfailed: OK
historical_unpacked/observability_gate_release/robustqec_observability/.pytest_cache/v/cache/lastfailed: OK
=== expected vs actual ===
historical_unpacked/industrial_frontier_release/robustqec_industrial_frontier/.pytest_cache/v/cache/lastfailed: OK
historical_unpacked/observability_gate_release/robustqec_observability/.pytest_cache/v/cache/lastfailed: OK

=== genuine FAILED lines ===
exit: 1
=== summary ===
OK=397 FAILED=0 total_checked=397

Successfully wrote 2994 bytes to FINDINGS.md

{"pending":true,"live":[{"id":"ftqc-zips-2026-08-05-r1:s0","status":"running","assignmentId":"ordinal:0","identity":{"profileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","taskDigest":"sha256:08d283328a6ebd2745d0ca7375d267eed488bc9aca13e1f3a70f6876f2615f89"},"materialization":{"status":"known","authoredProfileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","effectiveProfileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-3cc74d175533cc890e70f52efd6b80c130419df0e06c746fdd9da4406d41ae6c"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s0:attempt:4c10eaa6-16ec-4368-9a39-b8ed0bd409e3","materializationReceiptDigest":"sha256:92e89154476462839ae198ab30c680f34b4ee6b382e9675439bfb14c4c33d6e6","bindingDigest":"sha256:67dedf981ae113931dfede229f50ff60557c5efcd43470d33dd6c6f9b8901854","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":768423,"output":17198},"usd":0,"ms":0}},{"id":"ftqc-zips-2026-08-05-r1:s1","status":"running","assignmentId":"ordinal:1","identity":{"profileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","taskDigest":"sha256:e2f5c7462592b772ca3b0a5acf4

[Publication excerpt: middle of the long tool response omitted.]

e"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s4:attempt:ffdc29c9-3728-494c-8a8c-e64e3d6d9cfb","materializationReceiptDigest":"sha256:be4508c0f44c193eeb56279bf187f639ac31b245be5203d5886e980006ee3419","bindingDigest":"sha256:e76e3baca61ccb9afb3f95cb947aa4a40f53ea32de5042fca27cdceed2fa4605","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":593575,"output":11800},"usd":0,"ms":0}}],"freeSlots":0}

Reviewed beginning and ending of this 6,764-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

=== h170 stability verify script (what does it actually compute?) ===
#!/usr/bin/env python3
"""Exact finite verification for the h_170 proof-system countermodel.

The four-variable polymatroid h_170 violates candidate Q36.  This program checks
with integer arithmetic that it satisfies:
  * every elemental Shannon inequality;
  * every tuple substitution of the Zhang--Yeung inequality; and
  * every tuple substitution, for every integer k>=1, of Csirmaz Theorem 11
    (arXiv:2607.16773).

A tuple substitution maps each formal theorem variable independently to any of
the 16 subsets of {A,B,C,D}; overlap and the empty tuple are included.  The
infinite k-range is minimized exactly as a quadratic over the positive integers.
"""
from __future__ import annotations

import json
from pathlib import Path

import numpy as np

HERE = Path(__file__).resolve().parent
OUT = HERE / "h170_stability_family_no_go.json"
DEN = 170
H = np.array(
    [0, 102, 68, 170, 119, 143, 146, 170, 101, 143, 128, 170, 146, 170, 170, 170],
    dtype=np.int64,
)
Q36 = np.array([0, 0, 0, -1, -3, 2, 2, 0, -2, 1, 2, 0, 4, -2, -3, 0], dtype=np.int64)
# Q36 above includes the zero coordinate for the empty set.


def mi(x: int, y: int) -> int:
    return int(H[x] + H[y] - H[x | y])


def cmi(x: int, y: int, z: int) -> int:
    return int(H[x | z] + H[y | z] - H[z] - H[x | y | z])


def ing(x: int, y: int, a: int, b: int) -> int:
    return cmi(x, y, a) + cmi(x, y, b) + mi(a, b) - mi(x, y)


def symmetric_defect(x: int, y: int, z: int) -> int:
    return cmi(x, z, y) + cmi(y, z, x)


def elemental_shannon_slacks() -> list[int]:
    full = 15
    out: list[int] = []
    for i in range(4):
        bit = 1 << i
        out.append(int(H[full] - H[full ^ bit]))
    for i in range(4):
        for j in range(i + 1, 4):
            rest = full ^ (1 << i) ^ (1 << j)
            z = rest
            while True:
                out.append(cmi(1 << i, 1 << j, z))

=== result files so far ===
-rw-rw-r-- 1 drew drew 4146 Aug  5 11:20 results_channel.md
-rw-rw-r-- 1 drew drew 3628 Aug  5 11:22 results_entropy.md
-rw-rw-r-- 1 drew drew 3834 Aug  5 11:22 results_huang.md
-rw-rw-r-- 1 drew drew  229 Aug  5 11:18 results_qldpc.md
-rw-rw-r-- 1 drew drew  561 Aug  5 11:20 results_qltc.md
-rw-rw-r-- 1 drew drew 8661 Aug  5 11:24 results_robustqec.md
-rw-rw-r-- 1 drew drew  511 Aug  5 11:17 VERIFICATION_PROTOCOL.md
=== sizes/content markers ===
--- results_channel.md (80 lines) ---
--- results_entropy.md (44 lines) ---
--- results_huang.md (42 lines) ---
--- results_qldpc.md (9 lines) ---
--- results_qltc.md (12 lines) ---
--- results_robustqec.md (133 lines) ---

# RobustQEC Archive Verification Report

**Archive:** `RobustQEC_everything_2026-08-04`
**Verifier:** automated (research-verification engineer)
**Date:** 2026-08-05
**Scope:** integrity (sha256), 4 historical release pytest suites, clean-room verification report, phase0 Steane [[7,1,3]] reproduction, frontier separation numbers, observability-gate tests.

**Evidence rungs used:**
(1) parses — (2) imports — (3) tests pass — (4) reproduces claimed number — (5) independently re-derived. Only 4–5 count as verification.

---

## Status: IN PROGRESS

Findings appended below as each check settles.

---

## STEP 1 — Structure

`MASTER_INDEX.md` describes a consolidated bundle with:
- `editable_projects/` — 7 current source trees (phase0/phase1a/frontier/observability_gate/decision_robustness/industrial_frontier/research_scratch).
- `historical_archives/` — original release ZIPs + their own SHA-256 files.
- `historical_unpacked/` — 4 unpacked releases: `phase0_release`, `frontier_release`, `observability_gate_release`, `industrial_frontier_release`.
- `verification_extras/` — clean-room verification report (`.md` + `.json`) + action-set admission certificate CSV.

`MANIFEST.csv` header: `path,bytes,sha256`. **397 file rows** (398 lines incl. header). `BUNDLE_METADATA.json` confirms `manifested_file_count: 397`, total bytes 9,251,855. (Task brief said "490 files"; the actual manifested count is 397 — the 490 figure is not corroborated by the manifest.)

---

## STEP 2 — Integrity (sha256)

Command: `sha256sum -c MANIFEST.sha256` from archive root.

| Metric | Value |
|---|---|

[Publication excerpt: middle of the long tool response omitted.]

| OOD adaptive_guarded | 10667/340000 | 10667/340000 | 0.0313735 |

`selected_window` = 64 (both); `convex_hull_risk_bound_verified` = True (both); likelihood-guard in-set flagged fraction 0.7410% (both); OOD safe-mode fraction 35.99% (both).

**Phase0 verdict: the headline Steane-code results reproduce in full — exact distance-3 (rung 5), exact minimax certificates (rung 4), and the seeded Monte Carlo table (rung 4). No discrepancies found.**

Reviewed beginning and ending of this 8,578-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

# Quantum Channel Capacity / Strong-Converse Archive Verification

**Archive:** `quantum_channel_capacity_research_complete_2026-08-04`
**Date:** 2026-08-05
**Verifier:** research-verification engineer (code-running)

> Evidence rungs used in this report: (1) parses, (2) imports, (3) tests pass,
> (4) reproduces a claimed number, (5) independently re-derived. Only 4–5 count
> as verification of a *claim*; 1–3 establish plumbing only.

---

## Status: IN PROGRESS

(Findings appended as each check settles. Honesty norm: failing scripts and
mismatches are reported as findings, not hidden.)

---

## 1. Package scope & theorem inventory (from README_PACKAGE.txt + FRONTIER_ADVANCES.md + NOVELTY_AUDIT_FRONTIER.md)

**README_PACKAGE.txt explicit limitation (quoted):**
> The unrestricted strong converse for arbitrary quantum codes over interesting
> positive-capacity Pauli channels is not claimed solved.

### Theorem scope (what is actually claimed)

The **frontier package** (FRONTIER_ADVANCES.md) claims six results, each with an
analytic proof in the document:

1. **Theorem 1 — regular-monomial exact recovery reduction.** Unrestricted
   optimal entanglement fidelity over all CPTP maps for a codebook under
   regular-group-translation monomial noise reduces to `m` real dual variables
   and `m` PSD blocks of size `|C|` (vs. the generic dense dual). Proof by
   translation-sector pinching + strong SDP duality.
2. **Weyl/CWS Fourier corollary** (finite-abelian specialization): `B_a` is a
   channel Fourier kernel; qubit/qudit CWS recovery are special cases.

[Publication excerpt: middle of the long tool response omitted.]


### Things explicitly NOT established (NOVELTY_AUDIT_FRONTIER.md §"Claims not made" + FRONTIER §11)
- the strong converse for unrestricted quantum codes over positive-capacity Pauli channels;
- a strong converse for *every* CWS code;
- high CWS fidelity ⇒ large affine subset (falsified by the APN family);
- polynomial-time scaling of exact recovery at large block length;
- fault-tolerant recovery with noisy syndrome measurements;
- independent external reproduction of the general theorem.

Reviewed beginning and ending of this 4,091-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

recorded pursuit-ftqc-zips-2026-08-05-r1--finding--robustqec-phase0-steane-code-independently-verified-at-rung-5 (measured)

{"pending":true,"live":[{"id":"ftqc-zips-2026-08-05-r1:s0","status":"running","assignmentId":"ordinal:0","identity":{"profileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","taskDigest":"sha256:08d283328a6ebd2745d0ca7375d267eed488bc9aca13e1f3a70f6876f2615f89"},"materialization":{"status":"known","authoredProfileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","effectiveProfileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-3cc74d175533cc890e70f52efd6b80c130419df0e06c746fdd9da4406d41ae6c"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s0:attempt:4c10eaa6-16ec-4368-9a39-b8ed0bd409e3","materializationReceiptDigest":"sha256:92e89154476462839ae198ab30c680f34b4ee6b382e9675439bfb14c4c33d6e6","bindingDigest":"sha256:67dedf981ae113931dfede229f50ff60557c5efcd43470d33dd6c6f9b8901854","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":1136275,"output":22465},"usd":0,"ms":0}},{"id":"ftqc-zips-2026-08-05-r1:s1","status":"running","assignmentId":"ordinal:1","identity":{"profileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","taskDigest":"sha256:e2f5c7462592b772ca3b0a5acf

[Publication excerpt: middle of the long tool response omitted.]

e"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s4:attempt:ffdc29c9-3728-494c-8a8c-e64e3d6d9cfb","materializationReceiptDigest":"sha256:be4508c0f44c193eeb56279bf187f639ac31b245be5203d5886e980006ee3419","bindingDigest":"sha256:e76e3baca61ccb9afb3f95cb947aa4a40f53ea32de5042fca27cdceed2fa4605","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":962677,"output":16604},"usd":0,"ms":0}}],"freeSlots":0}

Reviewed beginning and ending of this 6,766-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

=== result file growth ===
results_channel.md: 189 lines, 9182 bytes
results_entropy.md: 44 lines, 3628 bytes
results_huang.md: 42 lines, 3834 bytes
results_qldpc.md: 75 lines, 4745 bytes
results_qltc.md: 12 lines, 561 bytes
results_robustqec.md: 219 lines, 16686 bytes

# qLDPC Code-Circuit-Decoder Co-Design Archive — Verification Report

**Archive:** `qldpc_codesign_complete_2026-08-04`
**Date:** 2026-08-05
**Verifier:** Automated research-verification engineer
**Stim installed:** 1.16

---

## 1. Integrity: SHA-256 Content Verification

**Command:** `sha256sum -c audit/CONTENT_SHA256SUMS.txt`

**Result: 225 files OK, 0 FAILED.** All content-verified. (Rung: data integrity)

The archive manifest hashes (`audit/MANIFESTS_SHA256.txt`) are also intact. The original v1 ZIP checksum (`9e457ee8bc12b87341be75a1614fc8ba2c378221e631749ed866d4628b9e7ee0`) was verified at archive creation time (recorded in `static_audit.txt`).

---

## 2. Research Lineage Summary

**Source documents:** `README_FIRST.md`, `RESEARCH_LINEAGE.md`, `audit/VALIDATION_REPORT.md`

| Version | Status | Key content |
|---------|--------|-------------|
| **v1 (legacy pilot)** | **SUPERSEDED / FALSIFIED** | Depth-optimal Tanner edge coloring treated as valid simultaneous X/Z extraction circuit. Stim showed nondeterministic detectors. |
| **v2 (semantic correction)** | Corrective | Identified `K=0` criterion: residual ancilla cross-coupling must vanish for joint CSS measurement. Cross-validated with Stim over thousands of Steane schedules. |
| **v3 (cross-order + exact distance)** | Current | Truncated cross-order joint distribution with finite-noise Bayes-risk interval. Exact search excluded logical witnesses through weight 5 for baseline schedule; distance 6 established. |

[Publication excerpt: middle of the long tool response omitted.]

| S13 | [3,0,1,2] | [2,1,0,3] | **5** | **5** | ✓ |
| S14 | [3,0,2,1] | [1,2,0,3] | **4** | **4** | ✓ |
| S15 | [3,0,2,1] | [2,1,0,3] | 6 | 6 | ✓ |

**Histogram:** d=4: 2, d=5: 6, d=6: 8. **Matches the claimed 8/6/2 exactly.**

All X/Z basis distances agreed for all 16 schedules. All searches excluded lower weights exhaustively and confirmed XOR-closed location alphabets. Distance-4 and distance-5 schedules found direct witnesses; distance-6 schedules excluded all witnesses through weight 5.

Reviewed beginning and ending of this 4,709-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

{"id":"ftqc-zips-2026-08-05-r1:s2","status":"running","assignmentId":"ordinal:2","identity":{"profileDigest":"sha256:f0ea4da1e5dee468fc507927181a07253ec585deefa1976efecf12bece7d2295","taskDigest":"sha256:1d3e7f4ec64a2b604c0eb1e32e9f7cd38d75d12024d5c9e9aac216245c1d65e3"},"materialization":{"status":"known","authoredProfileDigest":"sha256:f0ea4da1e5dee468fc507927181a07253ec585deefa1976efecf12bece7d2295","effectiveProfileDigest":"sha256:f0ea4da1e5dee468fc507927181a07253ec585deefa1976efecf12bece7d2295","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-bb933b9cfa4b355e9475784a00205274dac9ef2d17b55e69ae000dd031d9fcf3"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s2:attempt:703a5472-8d6b-43be-bf65-c3c7acb61476","materializationReceiptDigest":"sha256:e9f7b84a7c989ca3cc79c78cefe54084567783e8132c4773b691bdd2183c9cfd","bindingDigest":"sha256:f20db6e53a13977dcf448dfc15c105962638805128feb8de7167c4d1b791e8f5","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":1235222,"output":27401},"usd":0,"ms":0},"outRef":null,"output":null,"progress":{"id":"ftqc-zips-2026-08-05-r1:s2","status":"running","live":true,"steerable":true,"startedAt":1785950315363,"lastActivityAt":1785950907574,"idleMs":91405,"stalled":false,"stallAfterMs":1200000,"turns":0,"tokens":{"i

[Publication excerpt: middle of the long tool response omitted.]

ome/drew/code/discovery-lab/pursuits/ftqc-zips-2026-08-05-r1/workspaces/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950888449,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950907574,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."}],"note":"turn 0"}}

Reviewed beginning and ending of this 3,611-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line. Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

{"delivered":true,"progress":{"id":"ftqc-zips-2026-08-05-r1:s2","status":"running","live":true,"steerable":true,"startedAt":1785950315363,"lastActivityAt":1785951021719,"idleMs":9,"stalled":false,"stallAfterMs":1200000,"turns":0,"tokens":{"input":1235222,"output":27401},"usd":0,"pendingMessages":1,"recentActivity":[{"at":1785950603414,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950612530,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950665156,"kind":"tool","label":"write","detail":"/tmp/independent_css_verify.py"},{"at":1785950675016,"kind":"tool","label":"edit","detail":"/tmp/independent_css_verify.py"},{"at":1785950683029,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950721255,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950746546,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950808969,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950835383,"kind":"tool","label":"write","detail":"/tmp/independent_css_verify2.py"},{"at":1785950842572,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950888449,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950907574,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."}],"note":"turn 0 · bridge run running (status running, seq 2018, read 22747ms ago)"}}

Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

recorded pursuit-ftqc-zips-2026-08-05-r1--finding--qldpc-16-schedule-distance-phase-diagram-independently-re-derived-rung-5 (measured)

- independent external reproduction of the general theorem.

---

## 2. Integrity: `sha256sum -c SHA256SUMS.txt`

Run from archive root:

```
OK = 82  FAILED = 0   (SHA256SUMS.txt has 82 entries)
```

All 82 tracked files verified OK. **Integrity: PASS** (file contents are
unmodified since packaging; this says nothing about whether the files are
*complete* — see §4 below).

---

## 4. Reproduce scripts & pytest — exit codes (KEY FINDINGS)

All three reproduce scripts **fail**, and for a common reason: **the packages
are shipped without the code needed to run them.**

| Script | Exit | Cause |
|---|---|---|
| `pauli_strong_converse_reproducible/reproduce_full.sh` | **5** | `pytest -q` → "no tests ran" (exit 5); package has **no `tests/`, no `experiments/`, no `src/`** at all — only results + docs. `set -e` aborts at first step. |
| `pauli_frontier_advance/reproduce_full.sh` | **1** | All 6 background jobs fail: 5 × `No such file or directory` (the **`experiments/` dir is absent**; only `src/pauli_sc/monomial_recovery.py` ships) + tests "no tests ran". |
| `pauli_strong_converse_lab/reproduce.sh verify` | **2** | Aborts at `pytest -q`: collection error `ModuleNotFoundError: No module named 'pauli_sc.cws'`. Never reaches the (also-missing) experiment files. |

### `pytest -q` in `pauli_strong_converse_lab/` (item 4)

```
EXIT CODE = 2   (collection error)
ERROR tests/test_block_extraction.py
  line 8: from pauli_sc.cws import minimum_affine_partition
E   ModuleNotFoundError: No module named 'pauli_sc.cws'
```


[Publication excerpt: middle of the long tool response omitted.]

| `best_affine_numerator` / `best_affine_denominator` | () | int64 |
| `best_affine_codebooks` | (30, 8) | uint8 |
| `linear_maps` | **(120, 32)** | uint16 (120 symmetry maps — matches doc) |
| `total_normalized_codebooks` | () | int64 |

**Discrepancy noted:** npz `codebooks` has **3116** rows while the audit CSV
has **3123** orbit rows. These are different objects (the npz is the exact
p=9/50 certificate archive; the CSV is the full-orbit numerical audit).

Reviewed beginning and ending of this 5,053-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

| `objective_numerators` / `objective_denominator` | (3116,) / () | int64 |
| `padding_units` | (3116,) | int32 |
| `minimum_pivot_strings` / `minimum_pivots_float` | (3116,) | <U256 / float64 |
| `newton_iterations` | (3116,) | int64 |
| `numerical_upper` / `numerical_lower` | (3116,) | float64 |
| `attempts` | (3116,) | int64 |
| `kernel_integer` / `kernel_denominator` | (32,32) / () | int64 |
| `best_affine_numerator` / `best_affine_denominator` | () | int64 |
| `best_affine_codebooks` | (30, 8) | uint8 |
| `linear_maps` | **(120, 32)** | uint16 (120 symmetry maps — matches doc) |
| `total_normalized_codebooks` | () | int64 |

**Discrepancy noted:** npz `codebooks` has **3116** rows while the audit CSV
has **3123** orbit rows. These are different objects (the npz is the exact
p=9/50 certificate archive; the CSV is the full-orbit numerical audit).

ENOENT: no such file or directory, access '[workspace]/results/results_pcftc.md'

Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

{"id":"ftqc-zips-2026-08-05-r1:s0","status":"running","assignmentId":"ordinal:0","identity":{"profileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","taskDigest":"sha256:08d283328a6ebd2745d0ca7375d267eed488bc9aca13e1f3a70f6876f2615f89"},"materialization":{"status":"known","authoredProfileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","effectiveProfileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-3cc74d175533cc890e70f52efd6b80c130419df0e06c746fdd9da4406d41ae6c"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s0:attempt:4c10eaa6-16ec-4368-9a39-b8ed0bd409e3","materializationReceiptDigest":"sha256:92e89154476462839ae198ab30c680f34b4ee6b382e9675439bfb14c4c33d6e6","bindingDigest":"sha256:67dedf981ae113931dfede229f50ff60557c5efcd43470d33dd6c6f9b8901854","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":2445438,"output":29703},"usd":0,"ms":0},"outRef":null,"output":null,"progress":{"id":"ftqc-zips-2026-08-05-r1:s0","status":"running","live":true,"steerable":true,"startedAt":1785950315356,"lastActivityAt":1785951050805,"idleMs":3936,"stalled":false,"stallAfterMs":1200000,"turns":0,"tokens":{"in

[Publication excerpt: middle of the long tool response omitted.]

es/extracted/pcftc_risk_cert_v2/pcftc_risk_cer..."},{"at":1785951040842,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_..."},{"at":1785951050532,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_..."}],"note":"turn 0 · bridge run running (status running, seq 497, read 516674ms ago)"}}

Reviewed beginning and ending of this 3,943-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line. Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

{"delivered":true,"progress":{"id":"ftqc-zips-2026-08-05-r1:s0","status":"running","live":true,"steerable":true,"startedAt":1785950315356,"lastActivityAt":1785951076128,"idleMs":7,"stalled":false,"stallAfterMs":1200000,"turns":0,"tokens":{"input":2525748,"output":30463},"usd":0,"pendingMessages":1,"recentActivity":[{"at":1785950873966,"kind":"tool","label":"edit","detail":"[workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_cer..."},{"at":1785950882118,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_..."},{"at":1785950942252,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_..."},{"at":1785950970417,"kind":"tool","label":"edit","detail":"[workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_cer..."},{"at":1785950979039,"kind":"tool","label":"read","detail":"[workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_cer..."},{"at":1785950990430,"kind":"tool","label":"edit","detail":"[workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_cer..."},{"at":1785951000803,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_..."},{"at":1785951009674,"kind":"tool","label":"read","detail":"[workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_cer..."},{"at":1785951018693,"kind":"tool","label":"edit","detail":"[workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_cer..."},{"at":1785951027395,"kind":"tool","label":"edit","detail":"[workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_cer..."},{"at":1785951040842,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_..."},{"at":1785951050532,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/pcftc_risk_cert_v2/pcftc_risk_..."}],"note":"turn 0 · bridge run running (status running, seq 1211, read 21275ms ago)"}}

Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

=== make test ===
test_calibration_hardening (test_v2.V2Tests.test_calibration_hardening) ... ok
test_certified_policy_under_higher_yield (test_v2.V2Tests.test_certified_policy_under_higher_yield) ... ok
test_common_mode_ceiling (test_v2.V2Tests.test_common_mode_ceiling) ... ok
test_independent_policy_oracles (test_v2.V2Tests.test_independent_policy_oracles) ... ok
test_integer_and_rational_bit_caps (test_v2.V2Tests.test_integer_and_rational_bit_caps) ... ok
test_joint_availability_boundary_and_binding (test_v2.V2Tests.test_joint_availability_boundary_and_binding) ... ok
test_new_certificate_builders_round_trip (test_v2.V2Tests.test_new_certificate_builders_round_trip) ... ok
test_new_studies_and_mutations (test_v2.V2Tests.test_new_studies_and_mutations) ... ok
test_open_loop_nested_schema_is_closed (test_v2.V2Tests.test_open_loop_nested_schema_is_closed) ... ok
test_optional_stopping_counterexample (test_v2.V2Tests.test_optional_stopping_counterexample) ... ok
test_phase_qubit_cap (test_v2.V2Tests.test_phase_qubit_cap) ... ok
test_sharp_marginal_dependence_certificates (test_v2.V2Tests.test_sharp_marginal_dependence_certificates) ... ok
test_state_and_generator_caps (test_v2.V2Tests.test_state_and_generator_caps) ... ok
test_strict_json_transport (test_v2.V2Tests.test_strict_json_transport) ... ok
test_switch_latency_theorem (test_v2.V2Tests.test_switch_latency_theorem) ... ok

----------------------------------------------------------------------
Ran 30 tests in 1.220s

OK
EXIT_TEST=0

=== make verify (24-check fail-closed verifier) ===
PYTHONDONTWRITEBYTECODE=1 PYTHONPATH=. python tools/verify_release.py --output results/release_verification.json
{"accepted": true, "check_count": 24, "mutation_attacks_rejected": 140000}
EXIT_VERIFY=0

=== make coverage ===
PYTHONDONTWRITEBYTECODE=1 PYTHONPATH=. coverage run --source=pcftc_risk -m unittest discover -s tests -q
----------------------------------------------------------------------
Ran 30 tests in 2.471s

OK
PYTHONDONTWRITEBYTECODE=1 PYTHONPATH=. coverage json -o results/coverage.json
Wrote JSON report to results/coverage.json
PYTHONDONTWRITEBYTECODE=1 PYTHONPATH=. python -c 'import json; from pcftc_risk.canonical import write_json; p="results/coverage.json"; d=json.load(open(p, encoding="utf-8")); d.get("meta", {}).pop("timestamp", None); write_json(p, d)'
EXIT_COV=0
=== make manifest ===
PYTHONDONTWRITEBYTECODE=1 PYTHONPATH=. python tools/build_manifest.py --root . --output SHA256SUMS.json
{"file_count": 139, "total_bytes": 1770397}
EXIT_MAN=0

=== headline exact rationals (independent spot checks) ===
optional_stopping_prob = 12205/131072 = 0.09311676025390625
confidence_lower_bound = 54813/65536 = 0.8363800048828125
adaptive_reliability = 1/2  static_bound = 3/8
=== confirm from verifier json ===
keys: ['accepted', 'check_count', 'checks', 'mutation_attacks_rejected', 'retained_artifacts', 'schema']
accepted: True checks: 24 mutations: 140000

coverage_pct: 7794.53%
covered_lines: 1654 / 2122

Successfully wrote 2581 bytes to results/results_pcftc.md

recorded pursuit-ftqc-zips-2026-08-05-r1--finding--pcftc-risk-cert-verifier-passes-24-24-checks-clean-copy (measured)

=== result file sizes ===
results_channel.md: 315 lines
results_entropy.md: 44 lines
results_huang.md: 42 lines
results_pcftc.md: 28 lines
results_qldpc.md: 75 lines
results_qltc.md: 12 lines
results_robustqec.md: 219 lines

{"type":"settled","settled":"ftqc-zips-2026-08-05-r1:s4","status":"done","assignmentId":"ordinal:4","identity":{"profileDigest":"sha256:a3b8faa997c14995cb4200c8ecb667783277951e66e1a0e788a1c299d1e0d79d","taskDigest":"sha256:7e6c3dc40e4a3df4110b2418626727f24d8ce5e3004f6cfc381ccfa141b6f3e0"},"materialization":{"status":"known","authoredProfileDigest":"sha256:a3b8faa997c14995cb4200c8ecb667783277951e66e1a0e788a1c299d1e0d79d","effectiveProfileDigest":"sha256:a3b8faa997c14995cb4200c8ecb667783277951e66e1a0e788a1c299d1e0d79d","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-7046fca89cb3d91714d9eb1ea821565be8f72f6525dc40dfb1db47322fff71af"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s4:attempt:ffdc29c9-3728-494c-8a8c-e64e3d6d9cfb","materializationReceiptDigest":"sha256:be4508c0f44c193eeb56279bf187f639ac31b245be5203d5886e980006ee3419","bindingDigest":"sha256:e76e3baca61ccb9afb3f95cb947aa4a40f53ea32de5042fca27cdceed2fa4605","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"settledAt":1785950914510,"trace":{"status":"available","traceRef":"sha256:744b44772edc6ac950d2adac0b3366a16d9017f17f6eea1854c4089cdb69bcd3","spanCount":44},"spent":{"iterations":1,"tokens":{"input":1610544,"output":23744},"usd":0,"ms":574280},"score":1,"valid":true,"outRef":"sha256:9347effbf398ee0d26884aeadcfc94323f98049cf99abdba42d2f6de71d92baf","freeSlots":3}

{"type":"settled","settled":"ftqc-zips-2026-08-05-r1:s0","status":"done","assignmentId":"ordinal:0","identity":{"profileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","taskDigest":"sha256:08d283328a6ebd2745d0ca7375d267eed488bc9aca13e1f3a70f6876f2615f89"},"materialization":{"status":"known","authoredProfileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","effectiveProfileDigest":"sha256:9ebc6c317289860673797d4533e4328c2e48065ba544fa50cf06e980ca7e3ab3","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-3cc74d175533cc890e70f52efd6b80c130419df0e06c746fdd9da4406d41ae6c"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s0:attempt:4c10eaa6-16ec-4368-9a39-b8ed0bd409e3","materializationReceiptDigest":"sha256:92e89154476462839ae198ab30c680f34b4ee6b382e9675439bfb14c4c33d6e6","bindingDigest":"sha256:67dedf981ae113931dfede229f50ff60557c5efcd43470d33dd6c6f9b8901854","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"settledAt":1785951207291,"trace":{"status":"available","traceRef":"sha256:e28f47aaec8cd0ce3922fbe74c0885a9b34e75a62161605718ae28bfbcb4ccd2","spanCount":69},"spent":{"iterations":2,"tokens":{"input":2886711,"output":32676},"usd":0,"ms":849827},"score":1,"valid":true,"outRef":"sha256:97128b171bd28476aaf1b18571d7b8c49db084306a8125c7c7c899a081bac12d","freeSlots":3}

{"type":"settled","settled":"ftqc-zips-2026-08-05-r1:s3","status":"done","assignmentId":"ordinal:3","identity":{"profileDigest":"sha256:666159aea4de69235901a2c3aa9d3a6dae959e8fc0c4f0d8811b1edd745253dd","taskDigest":"sha256:071d25b387c758054c4c8c6082cd2ec40a633a98d535cefccf4b1a583705bd70"},"materialization":{"status":"known","authoredProfileDigest":"sha256:666159aea4de69235901a2c3aa9d3a6dae959e8fc0c4f0d8811b1edd745253dd","effectiveProfileDigest":"sha256:666159aea4de69235901a2c3aa9d3a6dae959e8fc0c4f0d8811b1edd745253dd","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-649c49ebbd9f953125c61070931de57a5480b8e7d1cd5a8f74456e3337245999"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s3:attempt:de67770b-65e9-452d-837e-f47cab0e18eb","materializationReceiptDigest":"sha256:5fffd560bba28f108b3af74d5061a96f5674b45b9534ef9b834a10472ec923a0","bindingDigest":"sha256:b322bfdf862a2e501ce4225ffa582d3a9919aa00f5ffb10a89775d46213f7805","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"settledAt":1785951224241,"trace":{"status":"available","traceRef":"sha256:5ca597f3dab608a2be6a351c086017d8f5d5f4a93597c9fc53253d81f9ee8ae2","spanCount":52},"spent":{"iterations":1,"tokens":{"input":2765208,"output":38941},"usd":0,"ms":787798},"score":1,"valid":true,"outRef":"sha256:e129844d007b3029df205deb6a17aff2941e63a7088831dba92b53c0ce135d23","freeSlots":3}

|---|---|---|---|
| 1 | Theorem 1: regular-monomial exact recovery SDP reduction (reduced dual == generic) | any finite codebook under regular-group-translation monomial noise | **5** |
| 2 | Theorem 2: period-subgroup Fourier reduction of that SDP | abelian `G`, codebook = union of `H`-cosets | **5** |
| 3 | Theorem 4: dimension-weighted block expurgation `F_e ≤ Σ(d_i/d)f_i` | any logical channel, orthogonal block decomposition | **5** |
| 4 | Restricted asymptotic strong converse for product five-cycle CWS blocks | depolarizing `D_p`, rate 3/5, product-block CWS + low-frame coherent hull | **5** (β,α) + **4** (full script) |
| 5 | Proposition 5: APN no-go (energy `3d²−2d`, perfect recovery) | GF(2^m) cubic APN family | **5** |
| 6 | Weyl/CWS Fourier corollary (B_a = K_a(·)/d²) | finite abelian shift-phase noise | follows from 1; structural identity verified rung 5 |

### SURVIVING but NOT independently runnable from this archive
| # | claim | status |
|---|---|---|
| 7 | Continuous finite-block theorem: affine 8-word orbit globally optimal among CWS codes for `p∈[23/166,7/37]` | result JSON present & internally consistent; `A(p)` anchors verified rung 5; but the **99 712-block exact PSD verifier depends on the MISSING `pauli_sc.cws`** (`gf2_rank`, `graph_translation`, `is_affine_subspace`) → **not runnable**, rung 1 for the PSD-feasibility portion |
| 8 | Exact `p=9/50` & `p=1/4` nonlinear upper bounds (199 424 PSD blocks) | artifacts hash-verified & consistent; margins re-derived rung 5; PSD-feasibility check **not runnable** (missing code) |

[Publication excerpt: middle of the long tool response omitted.]

| (iv) orbit count from CWS audit CSV | **3123** orbits = 3116 nonlinear + 7 affine (§5) |
| (v) strongest claim + rung | restricted product-CWS asymptotic strong converse, β exact → **rung 5**; Theorem 1 reduction → **rung 5** (§8) |

A reproduce script failing to exit 0 is a **key finding** — all three fail,
root cause = packages shipped without the code they invoke (§4).

Reviewed beginning and ending of this 3,000-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

=== pcftc (did s0 overwrite?) ===
# Verification: pcftc_risk_cert_v2 (PCFTC proof-carrying risk certification)

**Archive:** pcftc_risk_cert_v2.zip (140 files)
**Scope:** proof-carrying stochastic magic-resource compilation; treats its OWN optimizer as untrusted, recomputes all obligations with exact arithmetic.
**Verified by:** discovery-lead (root), INDEPENDENTLY on a clean copy extracted fresh from the original zip into `/tmp/pcftc_clean/` (untouched by any other worker). This run does NOT depend on child s0.

## Full verification chain — all exit 0 on the clean copy ✅

...
=== qldpc lines ===
75 results_qldpc.md
=== qltc lines ===
12 results_qltc.md

{"id":"ftqc-zips-2026-08-05-r1:s2","status":"running","assignmentId":"ordinal:2","identity":{"profileDigest":"sha256:f0ea4da1e5dee468fc507927181a07253ec585deefa1976efecf12bece7d2295","taskDigest":"sha256:1d3e7f4ec64a2b604c0eb1e32e9f7cd38d75d12024d5c9e9aac216245c1d65e3"},"materialization":{"status":"known","authoredProfileDigest":"sha256:f0ea4da1e5dee468fc507927181a07253ec585deefa1976efecf12bece7d2295","effectiveProfileDigest":"sha256:f0ea4da1e5dee468fc507927181a07253ec585deefa1976efecf12bece7d2295","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-bb933b9cfa4b355e9475784a00205274dac9ef2d17b55e69ae000dd031d9fcf3"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s2:attempt:703a5472-8d6b-43be-bf65-c3c7acb61476","materializationReceiptDigest":"sha256:e9f7b84a7c989ca3cc79c78cefe54084567783e8132c4773b691bdd2183c9cfd","bindingDigest":"sha256:f20db6e53a13977dcf448dfc15c105962638805128feb8de7167c4d1b791e8f5","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":1235222,"output":27401},"usd":0,"ms":0},"outRef":null,"output":null,"progress":{"id":"ftqc-zips-2026-08-05-r1:s2","status":"running","live":true,"steerable":true,"startedAt":1785950315363,"lastActivityAt":1785951021719,"idleMs":230173,"stalled":false,"stallAfterMs":1200000,"turns":0,"tokens":{"

[Publication excerpt: middle of the long tool response omitted.]

aces/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950888449,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."},{"at":1785950907574,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qltc_research_bundle_2026-08-0..."}],"note":"turn 0 · bridge run running (status running, seq 2018, read 230161ms ago)"}}

Reviewed beginning and ending of this 3,679-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line. Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

=== verify_all.py ===
Traceback (most recent call last):
  File "[workspace]/extracted/qltc_research_bundle_2026-08-04/qltc_research_bundle_2026-08-04/qltc_lab/experiments/verify_all.py", line 7, in <module>
    from qltc import (
ImportError: cannot import name 'TesterSolution' from 'qltc' (unknown location)
EXIT=0

Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

=== qltc package structure ===
./qltc/exact_branch.py
./qltc/cubical_sheaf.py
./qltc/toric_bounds.py
./qltc/symmetry.py
./qltc/transport_sheaf.py
./qltc/soundness.py
./qltc/block_soundness.py
./qltc/directional_gauge_fix.py
./qltc/certificates.py
./qltc/arithmetic_rank3.py
./qltc/block_metric.py
./qltc/twisted_graph.py
./qltc/commuting_actions.py
./qltc/directional_component_analysis.py
./qltc/weight4_classification.py
./qltc/gf2.py
./qltc/graph_endpoint.py
=== is there qltc/__init__.py? ===
total 312
drwxr-xr-x 3 drew drew  4096 Aug  5 11:15 .
drwxr-xr-x 8 drew drew  4096 Aug  5 11:20 ..
-rw-r--r-- 1 drew drew 14601 Aug  4 19:18 arithmetic_rank3.py
-rw-r--r-- 1 drew drew 10035 Aug  4 19:18 block_metric.py
-rw-r--r-- 1 drew drew  6189 Aug  4 19:18 block_soundness.py
-rw-r--r-- 1 drew drew 54268 Aug  4 19:18 certificates.py
-rw-r--r-- 1 drew drew 21728 Aug  4 19:18 commuting_actions.py
-rw-r--r-- 1 drew drew  9713 Aug  4 19:18 cubical_sheaf.py
-rw-r--r-- 1 drew drew 30532 Aug  4 19:18 directional_component_analysis.py
=== grep TesterSolution ===
./experiments/verify_all.py
./qltc/soundness.py
./qltc/certificates.py

=== named verifiers ===
--- verify_pgl2_transport_degree1_full_distance ---
Traceback (most recent call last):
  File "[workspace]/extracted/qltc_research_bundle_2026-08-04/qltc_research_bundle_2026-08-04/qltc_lab/experiments/verify_pgl2_transport_degree1_full_distance.py", line 12, in <module>
    from qltc.standalone_css_audit import (
ModuleNotFoundError: No module named 'qltc.standalone_css_audit'
EXIT=0
--- verify_pgl2_transport_degree1_minimum_structure ---
Traceback (most recent call last):
  File "[workspace]/extracted/qltc_research_bundle_2026-08-04/qltc_research_bundle_2026-08-04/qltc_lab/experiments/verify_pgl2_transport_degree1_minimum_structure.py", line 11, in <module>
    from qltc.minimum_logical_structure import analyze_pgl2_minimum_structure
ModuleNotFoundError: No module named 'qltc.minimum_logical_structure'
EXIT=0
--- verify_pgl2_transport_degree1_directional_obstruction ---
    from qltc.directional_component_analysis import (
  File "[workspace]/extracted/qltc_research_bundle_2026-08-04/qltc_research_bundle_2026-08-04/qltc_lab/qltc/directional_component_analysis.py", line 32, in <module>
    from .minimum_logical_structure import (
ModuleNotFoundError: No module named 'qltc.minimum_logical_structure'
EXIT=0
--- verify_hyperplane_k32_exact_distance ---
Traceback (most recent call last):
  File "[workspace]/extracted/qltc_research_bundle_2026-08-04/qltc_research_bundle_2026-08-04/qltc_lab/experiments/verify_hyperplane_k32_exact_distance.py", line 16, in <module>
    from qltc.hyperplane_expurgation import solve_affine_separator
ModuleNotFoundError: No module named 'qltc.hyperplane_expurgation'
EXIT=0
--- verify_k3_distance_lower_bound_15 ---
Traceback (most recent call last):
  File "[workspace]/extracted/qltc_research_bundle_2026-08-04/qltc_research_bundle_2026-08-04/qltc_lab/experiments/verify_k3_distance_lower_bound_15.py", line 7, in <module>
    from qltc.standalone_css_audit import audit_css_pair
ModuleNotFoundError: No module named 'qltc.standalone_css_audit'
EXIT=0

Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

=== pytest ===
tests/test_exact_branch.py:10: in <module>
    from qltc.exact_branch import (
qltc/exact_branch.py:24: in <module>
    from .transport_sheaf import sparse_binary_sha256
qltc/transport_sheaf.py:29: in <module>
    from .label_transport import (
E   ModuleNotFoundError: No module named 'qltc.label_transport'
=========================== short test summary info ============================
ERROR tests/test_core.py
ERROR tests/test_exact_branch.py
!!!!!!!!!!!!!!!!!!! Interrupted: 2 errors during collection !!!!!!!!!!!!!!!!!!!!
2 errors in 0.50s
PYTEST_EXIT=0
=== C++ compile test ===
CPP_EXIT=0

=== result files ===
results/connected_commuting_action_nogo.json
results/cyclic_weight4_search_n100.json
results/invertible_local_system_diameter_theorem.json
results/macroscopic_component_commuting_nogo.json
results/pgl2_7_transport_degree1_direction2_component_decomposition.json
results/pgl2_7_transport_degree1_expurgated_k3_audit.json
results/pgl2_7_transport_degree1_expurgated_k3_build.json
results/pgl2_7_transport_degree1_expurgated_k5_audit.json
results/pgl2_7_transport_degree1_expurgated_k5_build.json
results/pgl2_7_transport_degree1_gaugefixed_k4_audit.json
results/pgl2_7_transport_degree1_gaugefixed_k4_build.json
results/pgl2_7_transport_degree1_hyperplane_k32_weight880_pair_build.json
results/pgl2_7_transport_degree1_hyperplane_k32_weight880_representative.json
results/pgl2_7_transport_degree1_minimum_x_separator_projection_build.json
results/weight4_classification_theorem.json
=== headline numbers from key JSONs ===
pgl2_7_transport_degree1_direction2_component_decomposition.json -> {'restricted_check_rank': 2688, 'restricted_cycle_dimension': 336, 'restricted_logical_image_rank': 29, 'restricted_zero_voltage_cycle_dimension': 307}
pgl2_7_transport_degree1_expurgated_k3_audit.json -> {'logical_pairing_rank': 3, 'rank_hx': 4814, 'rank_hz': 3919, 'x_quotient_dimension': 3, 'z_quotient_dimension': 3}
pgl2_7_transport_degree1_expurgated_k3_build.json -> {}

Successfully wrote 3588 bytes to results/results_qltc.md

{"pending":true,"live":[{"id":"ftqc-zips-2026-08-05-r1:s1","status":"running","assignmentId":"ordinal:1","identity":{"profileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","taskDigest":"sha256:e2f5c7462592b772ca3b0a5acf46983777d156e9f373ea5b2ad45e05d770ac2c"},"materialization":{"status":"known","authoredProfileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","effectiveProfileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-5a60cca85cc279a00f4db058b0b8a67195014b173cab1bf8a97d50a41ef18343"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s1:attempt:899a0294-c616-47eb-8543-a7a63ae384a3","materializationReceiptDigest":"sha256:0625513f0e271408b30087445e78a11e7b5b72569acb010d273ca5240bf6cbf0","bindingDigest":"sha256:476d5ae62b1a8fe5c1522e751a42977684129363ec360b3c791f9412778791f2","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":2640222,"output":27414},"usd":0,"ms":0}},{"id":"ftqc-zips-2026-08-05-r1:s2","status":"running","assignmentId":"ordinal:2","identity":{"profileDigest":"sha256:f0ea4da1e5dee468fc507927181a07253ec585deefa1976efecf12bece7d2295","taskDigest":"sha256:1d3e7f4ec64a2b604c0eb1e32e

[Publication excerpt: middle of the long tool response omitted.]

"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s2:attempt:703a5472-8d6b-43be-bf65-c3c7acb61476","materializationReceiptDigest":"sha256:e9f7b84a7c989ca3cc79c78cefe54084567783e8132c4773b691bdd2183c9cfd","bindingDigest":"sha256:f20db6e53a13977dcf448dfc15c105962638805128feb8de7167c4d1b791e8f5","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":1235222,"output":27401},"usd":0,"ms":0}}],"freeSlots":3}

Reviewed beginning and ending of this 2,731-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

=== qldpc current: 75 lines ===
3. Converted to distance-search format via `cubic_to_distance_instance.convert()`
4. Ran the compiled `exact_location_distance_search.cpp` (exhaustive direct search through weight 4 + orbit-reduced 1+2+2 search at weight 5)

**C++ binary:** Compiled fresh from `versions/v5_schedule_phase_diagram/experiments/v5/exact_location_distance_search.cpp` with `g++ -std=c++20 -O3`.

**Result: 8/6/2 SPLIT CONFIRMED. Verification rung: 5 (independently re-derived).**

| Schedule | x_layers | z_layers | dist_X | dist_Z | Agreed |
|----------|----------|----------|--------|--------|--------|
| S00 | [0,3,1,2] | [1,2,3,0] | 6 | 6 | ✓ |
| S01 | [0,3,1,2] | [2,1,3,0] | **4** | **4** | ✓ |
| S02 | [0,3,2,1] | [1,2,3,0] | **5** | **5** | ✓ |
| S03 | [0,3,2,1] | [2,1,3,0] | 6 | 6 | ✓ |
| S04 | [1,2,0,3] | [3,0,1,2] | 6 | 6 | ✓ |
| S05 | [1,2,0,3] | [3,0,2,1] | **5** | **5** | ✓ |
| S06 | [1,2,3,0] | [0,3,1,2] | 6 | 6 | ✓ |
| S07 | [1,2,3,0] | [0,3,2,1] | **5** | **5** | ✓ |
| S08 | [2,1,0,3] | [3,0,1,2] | **5** | **5** | ✓ |
| S09 | [2,1,0,3] | [3,0,2,1] | 6 | 6 | ✓ |
| S10 | [2,1,3,0] | [0,3,1,2] | **5** | **5** | ✓ |
| S11 | [2,1,3,0] | [0,3,2,1] | 6 | 6 | ✓ |
| S12 | [3,0,1,2] | [1,2,0,3] | 6 | 6 | ✓ |
| S13 | [3,0,1,2] | [2,1,0,3] | **5** | **5** | ✓ |
| S14 | [3,0,2,1] | [1,2,0,3] | **4** | **4** | ✓ |
| S15 | [3,0,2,1] | [2,1,0,3] | 6 | 6 | ✓ |

**Histogram:** d=4: 2, d=5: 6, d=6: 8. **Matches the claimed 8/6/2 exactly.**

All X/Z basis distances agreed for all 16 schedules. All searches excluded lower weights exhaustively and confirmed XOR-closed location alphabets. Distance-4 and distance-5 schedules found direct witnesses; distance-6 schedules excluded all witnesses through weight 5.

{"delivered":true,"progress":{"id":"ftqc-zips-2026-08-05-r1:s1","status":"running","live":true,"steerable":true,"startedAt":1785950315360,"lastActivityAt":1785951425131,"idleMs":3,"stalled":false,"stallAfterMs":1200000,"turns":0,"tokens":{"input":2992177,"output":29381},"usd":0,"pendingMessages":1,"recentActivity":[{"at":1785951236673,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qldpc_codesign_complete_2026-0..."},{"at":1785951236675,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qldpc_codesign_complete_2026-0..."},{"at":1785951277939,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qldpc_codesign_complete_2026-0..."},{"at":1785951277940,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qldpc_codesign_complete_2026-0..."},{"at":1785951277940,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qldpc_codesign_complete_2026-0..."},{"at":1785951290667,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qldpc_codesign_complete_2026-0..."},{"at":1785951307642,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qldpc_codesign_complete_2026-0..."},{"at":1785951307642,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qldpc_codesign_complete_2026-0..."},{"at":1785951375180,"kind":"tool","label":"bash","detail":"cd [workspace]/extracted/qldpc_codesign_complete_2026-0..."},{"at":1785951403935,"kind":"tool","label":"bash","detail":"mkdir -p /tmp/cubic_work && echo \"=== Run cubic coefficient for S06_X ===\" && OPENBLAS_NUM_THREADS=1 OMP_NUM_THREADS=..."},{"at":1785951413243,"kind":"tool","label":"bash","detail":"rm -rf /tmp/cubic_work && mkdir -p /tmp/cubic_work && echo \"=== Run cubic coefficient for S06_X ===\" && OPENBLAS_NUM_..."},{"at":1785951422689,"kind":"tool","label":"bash","detail":"rm -rf /tmp/cubic_s06x && echo \"=== Run cubic coefficient for S06_X ===\" && OPENBLAS_NUM_THREADS=1 OMP_NUM_THREADS=4 ..."}],"note":"turn 0 · bridge run running (status running, seq 475, read 846814ms ago)"}}

Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.

=== v5 pytest ===

no tests ran in 0.11s
V5_EXIT=0
=== S06/S09 minimax from manifest16 ===
Traceback (most recent call last):
  File "<string>", line 6, in <module>
AttributeError: 'dict' object has no attribute 'lower'

=== manifest16 keys ===
Traceback (most recent call last):
  File "<string>", line 4, in <module>
AttributeError: 'list' object has no attribute 'keys'
=== S06 leading coeff file ===
{
  "schema": "qldpc-exact-categorical-cubic-coefficient-v2",
  "exact": true,
  "instance": "/mnt/data/qldpc_codesign_lab_v5/results/v5/schedule_search/S06_X.instance.txt",
  "instance_fnv1a64": "a1ef132e3f6fb379",
  "configuration": {"threads": 5, "buckets": 64, "period": 18, "location_orbits": 30},
  "dimensions": {"locations": 540, "detectors": 90, "logicals": 2},
  "enumeration": {
    "suppo

Successfully replaced 1 block(s) in results/results_qldpc.md.

{"stopped":true}

{"pending":true,"live":[{"id":"ftqc-zips-2026-08-05-r1:s1","status":"running","assignmentId":"ordinal:1","identity":{"profileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","taskDigest":"sha256:e2f5c7462592b772ca3b0a5acf46983777d156e9f373ea5b2ad45e05d770ac2c"},"materialization":{"status":"known","authoredProfileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","effectiveProfileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-5a60cca85cc279a00f4db058b0b8a67195014b173cab1bf8a97d50a41ef18343"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s1:attempt:899a0294-c616-47eb-8543-a7a63ae384a3","materializationReceiptDigest":"sha256:0625513f0e271408b30087445e78a11e7b5b72569acb010d273ca5240bf6cbf0","bindingDigest":"sha256:476d5ae62b1a8fe5c1522e751a42977684129363ec360b3c791f9412778791f2","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":3228881,"output":29986},"usd":0,"ms":0}},{"id":"ftqc-zips-2026-08-05-r1:s2","status":"running","assignmentId":"ordinal:2","identity":{"profileDigest":"sha256:f0ea4da1e5dee468fc507927181a07253ec585deefa1976efecf12bece7d2295","taskDigest":"sha256:1d3e7f4ec64a2b604c0eb1e32e

[Publication excerpt: middle of the long tool response omitted.]

"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s2:attempt:703a5472-8d6b-43be-bf65-c3c7acb61476","materializationReceiptDigest":"sha256:e9f7b84a7c989ca3cc79c78cefe54084567783e8132c4773b691bdd2183c9cfd","bindingDigest":"sha256:f20db6e53a13977dcf448dfc15c105962638805128feb8de7167c4d1b791e8f5","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":1235222,"output":27401},"usd":0,"ms":0}}],"freeSlots":3}

Reviewed beginning and ending of this 2,731-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

| Bundle integrity (sha256) | **397/397 OK, 0 failed, exit 0** | verified |
| phase0 pytest | **6 passed, exit 0** | 3 |
| observability_gate pytest | as-shipped exit 2 (missing `pythonpath` cfg); `PYTHONPATH=src` → **17 passed, exit 0** | 3 |
| frontier pytest | **37 passed, exit 0** | 3 |
| industrial_frontier pytest | as-shipped exit 2 (no pyproject, hardcoded `/mnt/data` dep path); dep supplied → **8 passed, exit 0** | 3 |
| Clean-room report (frontier-scoped) | archive SHA-256 **corroborated** against actual zip; 37-test count **matches** my independent frontier run | partially verified |
| **Phase0 Steane [[7,1,3]]** | distance-3, 16384 errors, randomized minimax **0.0410862670** (bit-exact), deterministic **0.06415069664** (15 sf), MC table bit-exact | **4–5** |
| Frontier scalable separation | d=3,5,7,9 margins reproduced to 1e-12 | **4** |
| Frontier universal separation | `proved_and_numerically_instantiated`, all 14 fields bit-exact | **4** |
| Frontier partition value | 5/5 admissions + gains bit-exact | **4** |
| Observability component/paired claims | 7 tests pass (3 component + 4 paired) | 3 (≈4) |

**Net assessment:** the RobustQEC archive is **internally consistent and substantively verified**. The crispest claim — the Steane [[7,1,3]] exact-code-capacity laboratory — reproduces in full, including the exact minimax certificates and the seeded Monte Carlo table (rung 4–5). The three frontier separation results all regenerate bit-exactly (rung 4). Integrity is perfect (397/397).

**Caveats / honest limitations:**

[Publication excerpt: middle of the long tool response omitted.]

5. Verified on Python 3.12 / numpy 2.2.6 / scipy 1.18.0 (original authors used 3.13 / 2.3.5 / 1.17.0); cross-version bit-exactness of the RNG-driven phase0 MC table is a strong positive signal.

Reviewed beginning and ending of this 2,755-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

recorded experiment--ai-research-archives-split-into-runnable-vs-code-incomplete-classes (measured)
recorded experiment--children-skip-write-as-you-go-despite-explicit-instruction (measured)

Successfully wrote 14982 bytes to FINDINGS.md

{"pending":true,"live":[{"id":"ftqc-zips-2026-08-05-r1:s1","status":"running","assignmentId":"ordinal:1","identity":{"profileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","taskDigest":"sha256:e2f5c7462592b772ca3b0a5acf46983777d156e9f373ea5b2ad45e05d770ac2c"},"materialization":{"status":"known","authoredProfileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","effectiveProfileDigest":"sha256:9fc772a33187d7262fb48571dccf215198711052308a9e32e4fd12ae1ca0db55","materializationPlanDigest":"sha256:833ee31a26f4109b3341c9d0d36ff00bbcd9a6269c5b2f4fe930e534cfc3537e","runtime":"cli","backend":"bridge","model":{"status":"known","id":"pi/tangle-router/glm-5.2"},"execution":{"kind":"session","id":"supervised-worker-5a60cca85cc279a00f4db058b0b8a67195014b173cab1bf8a97d50a41ef18343"},"materializer":"cli-bridge-agent-profile"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s1:attempt:899a0294-c616-47eb-8543-a7a63ae384a3","materializationReceiptDigest":"sha256:0625513f0e271408b30087445e78a11e7b5b72569acb010d273ca5240bf6cbf0","bindingDigest":"sha256:476d5ae62b1a8fe5c1522e751a42977684129363ec360b3c791f9412778791f2","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":1,"tokens":{"input":4218615,"output":36067},"usd":0,"ms":0}},{"id":"ftqc-zips-2026-08-05-r1:s2","status":"running","assignmentId":"ordinal:2","identity":{"profileDigest":"sha256:f0ea4da1e5dee468fc507927181a07253ec585deefa1976efecf12bece7d2295","taskDigest":"sha256:1d3e7f4ec64a2b604c0eb1e32e

[Publication excerpt: middle of the long tool response omitted.]

"},"executionBindings":[{"status":"known","attemptId":"ftqc-zips-2026-08-05-r1:s2:attempt:703a5472-8d6b-43be-bf65-c3c7acb61476","materializationReceiptDigest":"sha256:e9f7b84a7c989ca3cc79c78cefe54084567783e8132c4773b691bdd2183c9cfd","bindingDigest":"sha256:f20db6e53a13977dcf448dfc15c105962638805128feb8de7167c4d1b791e8f5","descriptor":{"kind":"bridge-session","transport":"http","backend":"bridge"}}],"spent":{"iterations":0,"tokens":{"input":1235222,"output":27401},"usd":0,"ms":0}}],"freeSlots":3}

Reviewed beginning and ending of this 2,731-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

=== qldpc now: 233 lines ===
| 8/6/2 schedule-distance split | **5 — independently re-derived** | ✅ Confirmed (all 16 schedules × 2 bases) |
| S06_X cubic coefficient | **4 — reproduced claimed number** | ✅ Matches exactly (3931.1164444444444) |
| S06/S09 minimax (full comparison) | 2 — imports/reads | ⚠️ S06 verified; S09 and full comparison not independently re-derived |
| v1 Stim falsification | **4 — reproduced** | ✅ Nondeterministic detector error reproduced with stim 1.16 |
| v2 K=0 vs Stim (2000 schedules) | 2 — reads retained JSON | ⚠️ 0 disagreements recorded; not re-run |
| Overlay test suite not green | **4 — reproduced** | ✅ 15 passed, 16 failed, 12 errors matches validation report |
| Bundled Stim version | 2 — reads metadata | ✅ 1.17.dev vs installed 1.16.0 |

{"stopped":true}

Successfully replaced 1 block(s) in FINDINGS.md.

=== DELIVERABLES ===
-rw-rw-r-- 1 drew drew 15394 Aug  5 11:41 FINDINGS.md

total 84
drwxrwxr-x 2 drew drew  4096 Aug  5 11:32 .
drwxrwxr-x 8 drew drew  4096 Aug  5 11:40 ..
-rw-rw-r-- 1 drew drew 16912 Aug  5 11:31 results_channel.md
-rw-rw-r-- 1 drew drew  3628 Aug  5 11:22 results_entropy.md
-rw-rw-r-- 1 drew drew  3834 Aug  5 11:22 results_huang.md
-rw-rw-r-- 1 drew drew  2617 Aug  5 11:32 results_pcftc.md
-rw-rw-r-- 1 drew drew 14957 Aug  5 11:39 results_qldpc.md
-rw-rw-r-- 1 drew drew  3624 Aug  5 11:36 results_qltc.md
-rw-rw-r-- 1 drew drew 16686 Aug  5 11:27 results_robustqec.md
-rw-rw-r-- 1 drew drew   511 Aug  5 11:17 VERIFICATION_PROTOCOL.md
=== FINDINGS size ===
157 FINDINGS.md
=== all results files line counts ===
  315 results/results_channel.md
   44 results/results_entropy.md
   42 results/results_huang.md
   28 results/results_pcftc.md
  233 results/results_qldpc.md
   42 results/results_qltc.md
  219 results/results_robustqec.md
  923 total

# FINDINGS — FTQC research-archive verification campaign

**RunId:** ftqc-zips-2026-08-05-r1  **Date:** 2026-08-05
**Material:** 7 zip archives, 1,349 entries, 30 MB compressed / 64 MB extracted.
**Source:** research exports from an AI research effort on fault-tolerant quantum computing (qLDPC, qLTC, QEC, channel capacity, entropy cones, magic-resource certification, Hamiltonian learning).
**Method:** extract → run cheapest executable check (parse/import/integrity/collect) → partition verifiable vs assertable → run named verification entry points → reproduce headline numbers → label evidence rung honestly. Verified independently by root for 3 archives (entropy, huang, qltc, pcftc) and by 5 children for the rest, with root cross-checking and re-deriving the two most important (pcftc clean-copy, qldpc supplements).

**Evidence rung ladder (only the last two are "verification"):**
1. it parses · 2. it imports · 3. its tests pass · 4. it reproduces a claimed number · 5. it was independently re-derived

---

## EXECUTIVE SUMMARY

These seven archives are a genuine, sophisticated body of FTQC research with a strong self-auditing culture: every archive explicitly preserves falsified/superseded stages and labels unproved conjectures honestly. The single most important fact established here is that **the corpus splits cleanly into two classes by runnability**:


[Publication excerpt: middle of the long tool response omitted.]

**Establishing command (exit 0, reproduces the claim):**
```
python3 experiments/verify_exact_counterexample_standalone.py --exhaustive
# → 2^14=16384 < 3^9=19683 ; global min -0.052932501 bits over all 65,535 supports ; 16 tied minimizers
```
- The sign certificate `2^14 < 3^9` is an integer comparison — the strongest possible evidence rung.

[113 more lines in file. Use offset=46 to continue.]

Reviewed beginning and ending of this 4,035-character tool response. The omitted middle remains in the retained source identified by SHA-256 and physical line.

Successfully replaced 1 block(s) in FINDINGS.md.

recorded pursuit-ftqc-zips-2026-08-05-r1--finding--ftqc-zips-campaign-complete-4-of-7-archives-verified-rung-4-5 (measured)

{"accepted":true,"retained":"this-result","stop":true}

Appended to daily log: [home]/.pi/agent/memory/daily/2026-08-05.md

The memory-write acknowledgement is shown. The tool also returned unrelated personal memory, which is excluded. Private filesystem roots replaced with [workspace] or [home]; scientific content otherwise retained.