Build the hard-regime CnC work/span workflow

[isPANN]

Summary

• Freeze the issue Build the hard-regime CnC work/span table on 64–80-bit UNSAT factoring #51 product-width contract, deterministic prime targets, calibration/held-out split, frontier bands, limits, statistics, and pinned tool revisions.
• Add calibration, immutable 249-cell matrix generation, terminal cell execution, per-cube scheduling records, verification, aggregation, primary-table/report generation, and explicit HPC2 shell entrypoints.
• Add the structure-blind selector ablation plus auditable trace branch assignments and refutation reasons.
• Keep raw experiment artifacts ignored while preserving hashes, terminal accounting, aggregate rows, and reviewer-readable outputs.

Validation

• python3 -m pytest tests -q: 54 passed
• ruff check benchmarks/cnc benchmarks/pipeline tests: passed
• cargo test --all-targets: passed
• cargo fmt --all -- --check: passed
• bash -n benchmarks/cnc/hpc/*.sh: passed
• git diff --check: passed
• Real 64-bit array-ripple region smoke: 16 cubes; enhanced branching-tree trace reconstruction passed.

Review

A fresh-context implementation review and GitHub harm-signals audit were run before commit. The audit gate passed. All six Important findings were addressed: calibration lock recomputation, honest harness-error accounting, release-to-collection measured makespan, retained censored/no-support adjusted rows, semantic trace checks/refutation reasons, and revision-qualified upstream binaries.

Draft status

Tooling is complete and locally validated. The PR remains draft while the HPC2 debug smoke, calibration, pilot gate, and full experiment artifacts/results are pending. Raw per-cube artifacts will stay outside Git; hashes, aggregate statistics, the primary table, and report will be appended here.

Risk is concentrated in experiment runtime and artifact volume; production solver behavior is unchanged except for the documented cuber selector/trace surface. Rollback is a revert of the implementation commit.

Closes #51

[isPANN]

HPC2 debug smoke completed successfully.

• Slurm job: 10006741
• State / exit: COMPLETED (0:0)
• Elapsed: 00:03:14
• Allocation: debug, 1 task, 4 CPUs, 16 GiB; batch MaxRSS 1,314,732 KiB
• Checks: frozen contract; 24 targeted Python tests; 3 Rust trace tests; release build; 39 deterministic prime targets; independent primality, width, and calibration/held-out split validation

No pilot or full-table job has been submitted yet.

[isPANN]

HPC2 materialization checkpoint

Slurm job 10006802 completed successfully on HPC2.

• submission: debug, 00:30:00, 1 task × 4 CPUs, 16 GiB, no GPU
• result: COMPLETED (0:0) in 49 s; batch peak RSS 96,692 KiB
• build: pinned Kissat 8af8e56f174b778aef3aa45af9f739b2a5f492c2 and march_cu 705b60c6491ef2b61988b3ce6ac674be1b90571d
• Kissat SHA-256: 07da6866c339de638458a7867f8d11a17162046878b552cadd22b265a8b5e7b1
• march_cu SHA-256: a0236ad5634fb680fa84220ad6806e5def15bca4d9c8850f1abbc397cedec416
• toolchain lock SHA-256: 9be804ff3e8bb99c6bbeb92e80ed1947919a4425857fe7ae7934414196e2800c
• corpus: 39 manifest rows, 39 CircuitSAT files, 39 CNFs, 39 metadata files
• validation: deterministic target generation, 64/32 + 72/36 + 80/40 width semantics, disjoint calibration/held-out splits, and independent SymPy/Miller–Rabin primality checks all passed

Logs remain under artifacts/cnc-hard-regime/hpc/logs/materialize_10006802.{out,err} on HPC2. This is setup evidence, not a scientific outcome run; subsequent calibration and measurement commands will be recorded through the H1 runscribe hypothesis.