Shor-lattice ECDLP — secp256k1 (Q = dG) — paper dataset path

Full research paper (code-indexed): SHOR_ECDLP_RESEARCH_PAPER.md (v3)

All 21 QC algorithms (VM validation review): QC21_QUANTUM_VM_VALIDATION_REVIEW.md

QC-020 dual path: QC020_DUAL_PATH_QUALIFICATION.md

Pipeline name: shor_lattice_ecdlp_secp256k1 (not full quantum Shor QFT/QPE).

Pipeline

1. Challenge — public_key_hex only (no private key in measurement).

2. Periods — ShorECDLPSubstrate.measureUntilLatticeCalorie: unbounded C⁴ walk; universal rails (1,1) and (1,n−1) plus SHA-256/basis candidates.

3. Recovery — d ≡ −ra·rb⁻¹ (mod n) from measured periods.

4. Verify — affine lattice + P256K d·G = Q.

5. Encoding cross-check — 02… = G, 03… = −G (same x, different y); required in gate v5.

6. Lean — ShorECDLP.lean + ShorFactorLarge.lean (CALORIE).

7. Dataset — gaiaftcl.shor.ecdlp.research.v2 + evaluation.v1 + full VM gaiaftcl.qc_vm.research.v4.

Frozen rows: evidence/research/ecdlp_research_*, ecdlp_evaluation_latest.json, qc_vm_validation_latest.json, qc020_dual_path_latest.json, qc020_improvement_trend_latest.json.

Commands

swift run M8ShorECDLPGateSmokeTest
swift run M8ShorECDLPResearchEval
swift run M8QC21ValidationEval
cells/xcode/scripts/export_ecdlp_research_dataset.sh
cells/xcode/scripts/export_quantum_vm_research.sh   # full QC catalog + Lean batch + QC-020 trend
cells/xcode/scripts/export_qc020_dual_path_research.sh
cells/xcode/scripts/export_qc020_improvement_trend.sh

swift run GaiaFTCLCLI shor break-classical --neg-generator-seal --witness-out 2>/dev/null | tail -1
# ECDLP witness + entire QC matrix + all catalog Lean gates:
swift run GaiaFTCLCLI shor break-classical --neg-generator-seal --full-research-out 2>/dev/null | tail -1

No artificial limits

No probe caps on substrate. Demonstration wallets are not mainnet-break evidence.