{"bothPathsOK":true,"bothPathsOKNote":"bothPathsOK means HIST ledger\/OQ and LIVE miner L8 gates passed; it does not mean chain_accepted or onChainRewardOK","circuitClaim":"atomic_only","historicalVectors":[{"headerHex":"474654434c2d4c494f4e2d51433032302d4254432d505245494d4147452d4c415247452d52554e47312d53594e5448455449432d4845414445522d323032360000000000000000000000000016220700","kind":"captured","ledgerVerifyOK":true,"nonce":467478,"substrateShapeOK":true,"vectorID":"ledger-rung-1"},{"blockHeight":100000,"headerHex":"0100000050120119172a610421a6c3011dd330d9df07b63616c2cc1f1cd00200000000006657a9252aacd5c0b2940996ecff952228c3067cc38d4885efb5a4ac4247e9f337221b4d4c86041b0f2b5710","kind":"block","ledgerVerifyOK":true,"nBitsHex":"1b04864c","nonce":274148111,"substrateShapeOK":true,"vectorID":"ledger-rung-2"}],"liveWindowPolicy":{"detail":"QC020Surface templateExpiresAt=30s; five disjoint windows per template; network block interval ~10min thermodynamic clock","networkThermodynamicWindowSeconds":600,"parallelWindowCount":5,"templateWindowSeconds":30},"paths":[{"claimScope":"pow_ledger_oq_pq","clockDecoupled":true,"detail":"ledger 2 rung(s) OK; block-100000 vector OK; substrate probe skipped","pathID":"QC-020-HIST","qualificationOK":true,"substrateBackend":"vqbit_cpu_projection","validationPath":"historical_deterministic"},{"claimScope":"pow_live_miner_l7_l8","clockDecoupled":false,"detail":"L8 learning=true (telemetry=3093 recent5m=262 n_active=9981 grover_optimal=79 shape_rows=927 projection_rows=2946 v170=27660 v172=159); L7 status=learning; on_chain=false","pathID":"QC-020-LIVE","qualificationOK":true,"substrateBackend":"vqbit_cpu_projection","validationPath":"live_window_limited"}],"policy":"QC-020 qualification decouples OQ\/PQ (historical sealed vectors) from live miner window (template TTL); neither path implies the other","schema":"gaiaftcl.qc020.dual_path.v1","substrateBypassAudit":[{"bypassRisk":"low","detail":"Post-measurement CryptoKit check only; not a search loop","location":"BitcoinPreimageOracle.classicalEvaluate","mitigated":true,"role":"verifier_layer"},{"bypassRisk":"medium","detail":"Classical RNG for first ledger row only; documented non-producer; preflight blocks classical-placeholder producer IDs","location":"M8QC020BootstrapRungCapture","mitigated":true,"role":"ledger_seed_bootstrap"},{"bypassRisk":"medium","detail":"Offline classical search for ledger codegen; production miner uses SubstrateAmplitudeAmplifier","location":"BTCPreimageLargeGate.find_nonce","mitigated":true,"role":"codegen_bootstrap"},{"bypassRisk":"low","detail":"Metal kernel exists but metalQC020Ready=false; production uses M8MeasurementComposer CPU projection","location":"QC020_BTCPreimage.metal","mitigated":true,"role":"orphaned_shader"},{"bypassRisk":"low","detail":"Codegen from qc020_difficulty_ledger; deferred from strict lean export until substrate sync","location":"FirstRoars\/BTCPreimageLarge.lean","mitigated":true,"role":"ledger_codegen_lean"},{"bypassRisk":"low","detail":"QC-001..QC-021 Metal-only except QC-020 PoW projection path (vqbit_cpu_projection by design)","location":"SubstrateMetalPolicy","mitigated":true,"role":"metal_only_gate"},{"bypassRisk":"low","detail":"GroverToPoWCoupling Bennett pipe (L6 seal); live projectionNActive unbounded by catalog N=4","location":"GroverToPoWCoupling.lean","mitigated":true,"role":"coupling_pipe_n4"}]}
