{"allLeanGatesCalorie":true,"allLearningClaimsOK":true,"allMathLayerOK":true,"allRewardClaimsOK":false,"allWitnessOK":true,"circuitGraphs":[{"circuitID":"QC-020-CIRCUIT","compositionLayerOK":false,"edges":[{"claimScope":"bennett_sequential_pipe_only","downstream":"QC-020-U","edgeKind":"sequential","edgeOK":true,"leanArtifact":"FirstRoars\/GroverToPoWCoupling.lean","upstream":"QC-002"},{"claimScope":"bennett_sequential_pipe_only","downstream":"QC-020-M","edgeKind":"sequential","edgeOK":true,"leanArtifact":"FirstRoars\/QCFBennettUncompute.lean","upstream":"QC-020-U"}],"graphOK":true,"languageGameID":"QC-POW-001","narrativeCompleteOK":false,"narrativeSteps":[{"detail":"Live RPC template; not a catalog QC row","humanLabel":"Fetch block template from Bitcoin Core","stepID":"01_getblocktemplate","substrateBinding":"BitcoinNodeClient.getBlockTemplate \/ VQbit QC020Surface","wiringStatus":"wired"},{"detail":"Subsidy to fixed payout address; witness commitment output","humanLabel":"Compose coinbase TX to operator payout (BIP-141)","stepID":"02_coinbase_compose","substrateBinding":"CoinbaseBuilder + QC020PayoutAddress","wiringStatus":"wired"},{"catalogStageID":"QC-002","detail":"L8 telemetry; projectionNActive scales nonce space — GroverN4.lean is L6 catalog seal only","humanLabel":"C⁴ projection \/ Grover iteration law on active nonce space","stepID":"03_grover_projection_law","substrateBinding":"QC020LearningWitness + projectionOptimalCycles","wiringStatus":"wired"},{"catalogStageID":"QC-020-U","detail":"L6 ledger rungs; not current network difficulty win","humanLabel":"Double-SHA256(header) < target (QC-020 ledger rungs)","stepID":"04_pow_preimage_gate","substrateBinding":"qc020_difficulty_ledger + BTCPreimageN4\/Large Lean","wiringStatus":"wired"},{"catalogStageID":"QC-020-M","detail":"Terminal-only measurement stage in QCF registry","humanLabel":"Projective measurement \/ terminal seal on candidate nonce","stepID":"05_terminal_measurement","substrateBinding":"quantum_c4_metrics measurement windows","wiringStatus":"wired"},{"detail":"Real RPC; outcome row V202","humanLabel":"submitblock to Bitcoin Core","stepID":"06_submitblock","substrateBinding":"FranklinCellSurface.submitBitcoinBlock \/ substrate_block_submission_outcomes","wiringStatus":"wired"},{"detail":"L8+telemetry=3107 recent5m=276 n_active=9981 grover_optimal=79 shape_rows=927 projection_rows=2960 v170=27829 v172=160; L7 awaiting chain_accepted — no substrate chain_accepted block to correlate with on-chain reward (L7 learning — miner active, not audit failure)","humanLabel":"Payout address receives confirmed coinbase (L7)","stepID":"07_on_chain_reward","substrateBinding":"QC020OnChainRewardVerifier + mempool.space","wiringStatus":"learning"}],"policy":"edges prove QCF-004 edge laws only; not L6 atomic math, L7 on-chain reward, or L9 compositionLayerOK","stageCatalogIDs":["QC-002","QC-020-U","QC-020-M"],"telemetryStatus":"wired"},{"circuitID":"QC-021-CIRCUIT","compositionLayerOK":false,"edges":[],"graphOK":true,"languageGameID":"QC-COMMUNICATION-001","narrativeCompleteOK":true,"policy":"edges prove QCF-004 edge laws only; not L6 atomic math, L7 on-chain reward, or L9 compositionLayerOK","stageCatalogIDs":["QC-021"],"telemetryStatus":"not_wired"}],"generatedAtISO":"2026-06-05T18:06:54Z","languageGameCircuitRegistrySchema":"gaiaftcl.language_game_circuit_registry.v1","languageGameToCircuit":{"QC-COMMUNICATION-001":"QC-021-CIRCUIT","QC-POW-001":"QC-020-CIRCUIT"},"leakAuditPass":true,"leanArtifactsExpected":["FirstRoars\/AmpAmpN4.lean","FirstRoars\/AmpAmpToGroverCoupling.lean","FirstRoars\/AmplitudeEstimationMarked.lean","FirstRoars\/BTCPreimageLarge.lean","FirstRoars\/BTCPreimageN4.lean","FirstRoars\/BernsteinVazirani4.lean","FirstRoars\/BosonSampling2.lean","FirstRoars\/CTQW2.lean","FirstRoars\/DeutschJozsa2.lean","FirstRoars\/GaussianBoson2.lean","FirstRoars\/GroverN4.lean","FirstRoars\/GroverToPoWCoupling.lean","FirstRoars\/HHL2.lean","FirstRoars\/MeaningInvariant.lean","FirstRoars\/QAOA1.lean","FirstRoars\/QCFBennettUncompute.lean","FirstRoars\/QCFOrthogonalCommute.lean","FirstRoars\/QCFQualificationNonPerturbative.lean","FirstRoars\/QFTN4.lean","FirstRoars\/QFTToShorCoupling.lean","FirstRoars\/QPEN4.lean","FirstRoars\/QPEToShorCoupling.lean","FirstRoars\/QSVT2.lean","FirstRoars\/ShorECDLP.lean","FirstRoars\/ShorFactor15.lean","FirstRoars\/ShorFactorLarge.lean","FirstRoars\/ShorWitnessCertifier.lean","FirstRoars\/Simon8.lean","FirstRoars\/SteaneSyndrome.lean","FirstRoars\/SurfaceCodeD3.lean","FirstRoars\/TopologicalFib.lean","FirstRoars\/VQE2.lean"],"leanGates":[{"artifact":"FirstRoars\/AmpAmpN4.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:02Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/AmpAmpToGroverCoupling.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:03Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/AmplitudeEstimationMarked.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:03Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/BTCPreimageN4.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:04Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/BernsteinVazirani4.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:05Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/BosonSampling2.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:05Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/CTQW2.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:06Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/DeutschJozsa2.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:06Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/GaussianBoson2.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:06Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/GroverN4.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:07Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/GroverToPoWCoupling.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:07Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/HHL2.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:08Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/MeaningInvariant.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:08Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/QAOA1.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:09Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/QCFBennettUncompute.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:10Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/QCFOrthogonalCommute.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:10Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/QCFQualificationNonPerturbative.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:11Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/QFTN4.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:11Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/QFTToShorCoupling.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:11Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/QPEN4.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:12Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/QPEToShorCoupling.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:12Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/QSVT2.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:13Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/ShorECDLP.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:13Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/ShorFactor15.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:14Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/ShorFactorLarge.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:14Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/ShorWitnessCertifier.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:15Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/Simon8.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:15Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/SteaneSyndrome.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:16Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/SurfaceCodeD3.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:16Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/TopologicalFib.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:16Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0},{"artifact":"FirstRoars\/VQE2.lean","axiom":0,"checked_at_iso":"2026-06-05T18:04:17Z","exit_code":0,"lean_toolchain_pinned":"leanprover\/lean4:v4.12.0","lean_verdict":"CALORIE","opaque":0,"sorry":0}],"metalPipelineCount":22,"policy":"L6 math ≠ L7 on-chain reward ≠ L8 Grover learning telemetry; GroverN4 L6 seal ≠ L8 projectionNActive","qaLayerClosed":true,"qcfComposition":{"allQCFObligationsCalorie":true,"compositionClaimLeakClosed":true,"forbiddenComposeProbeOK":true,"leanObligations":[{"artifact":"FirstRoars\/QCFOrthogonalCommute.lean","calorieOK":true,"leanVerdict":"CALORIE"},{"artifact":"FirstRoars\/QCFBennettUncompute.lean","calorieOK":true,"leanVerdict":"CALORIE"},{"artifact":"FirstRoars\/QCFQualificationNonPerturbative.lean","calorieOK":true,"leanVerdict":"CALORIE"}],"plannedCouplings":[{"downstream":"QC-001","edgeOK":true,"leanArtifact":"FirstRoars\/QFTToShorCoupling.lean","upstream":"QC-003"},{"downstream":"QC-001","edgeOK":true,"leanArtifact":"FirstRoars\/QPEToShorCoupling.lean","upstream":"QC-004"},{"downstream":"QC-002","edgeOK":true,"leanArtifact":"FirstRoars\/AmpAmpToGroverCoupling.lean","upstream":"QC-009"},{"downstream":"QC-020-U","edgeOK":true,"leanArtifact":"FirstRoars\/GroverToPoWCoupling.lean","upstream":"QC-002"}],"qcfPeerReviewOK":true,"qcfSpecID":"GFTCL-QCF-004","referenceCircuit":{"edges":[{"claimScope":"orthogonal_commute_product_only","edgeKind":"orthogonal","from":"QC-021","leanArtifact":"FirstRoars\/QCFOrthogonalCommute.lean","to":"QC-018"}],"name":"orthogonal-lane-smoke","policy":"edges prove QCF-004 edge laws only; not L6 atomic math, L7 on-chain reward, or L9 compositionLayerOK","stageCatalogIDs":["QC-021","QC-018"]},"schema":"gaiaftcl.qcf.composition.research.v1"},"registrySchema":"gaiaftcl.qc_vm.validation_registry.v1","registrySnapshot":{"catalogStageCount":24,"forbiddenPairCount":4,"languageGameCount":9,"leanArtifactsExpectedCount":32,"parentCircuitCount":2,"plannedCouplingCount":4,"quantumAlgorithmCount":21},"schema":"gaiaftcl.qc_vm.research.v4","substrateComputeBackend":"vqbit_metal","substrateComputeBackendNote":"Metal mandatory for QC-001..QC-021 except QC-020 PoW (vqbit_cpu_projection via M8MeasurementComposer)","validation":{"allLearningClaimsOK":true,"allMathLayerOK":true,"allRewardClaimsOK":false,"ecdlpEvaluation":{"computeBackend":"vqbit_metal","encodingCrossCheck":{"dG_generator_with_scalar_1":true,"dG_generator_with_scalar_n_minus_1":false,"dG_negG_with_scalar_n_minus_1":true,"generatorQHex":"0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798","latticeGenerator_with_1_1":false,"latticeNegG_with_1_1":true,"negGeneratorQHex":"0379be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798","pubkeyBytesDistinct":true,"substratePointsEqual":false},"encodingCrossCheckOK":true,"gateVersion":"qc001-ecdlp-lattice-secp256k1-gate-v5.0.0","metalPipelineCount":22,"pipeline":"shor_lattice_ecdlp_secp256k1","rows":[{"claimScope":"structured_seal","computeBackend":"vqbit_metal","dG_eq_Q":true,"expectedScalarModN":"fffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364140","instanceId":"neg_generator_seal","latticeOK":true,"latticeSealOK":true,"periodsRa":"1","periodsRb":"1","publicQHex":"0379be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798","recoveredDHex":"fffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364140","recoveredScalarMatchesExpected":true,"substrateSteps":1,"witnessOK":true},{"claimScope":"structured_seal","computeBackend":"vqbit_metal","dG_eq_Q":true,"expectedScalarModN":"0000000000000000000000000000000000000000000000000000000000000001","instanceId":"generator_seal","latticeOK":true,"latticeSealOK":true,"periodsRa":"1","periodsRb":"115792089237316195423570985008687907852837564279074904382605163141518161494336","publicQHex":"0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798","recoveredDHex":"0000000000000000000000000000000000000000000000000000000000000001","recoveredScalarMatchesExpected":true,"substrateSteps":1,"witnessOK":true},{"claimScope":"structured_seal","computeBackend":"vqbit_metal","dG_eq_Q":true,"expectedScalarModN":"0000000000000000000000000000000000000000000000000000000000000001","instanceId":"bitcoin_generator_constant","latticeOK":true,"latticeSealOK":true,"periodsRa":"1","periodsRb":"115792089237316195423570985008687907852837564279074904382605163141518161494336","publicQHex":"0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798","recoveredDHex":"0000000000000000000000000000000000000000000000000000000000000001","recoveredScalarMatchesExpected":true,"substrateSteps":1,"witnessOK":true}],"schema":"gaiaftcl.shor.ecdlp.evaluation.v1"},"l7RewardLayerStatus":"learning","layer2Composition":{"edgeModel":"proof_carrying","forbiddenPairs":[{"a":"QC-001-ECDLP","b":"QC-002","reason":"ECDLP lattice oracle vs hash Grover — corpus mutually exclusive"},{"a":"QC-001-ECDLP","b":"QC-020","reason":"secp256k1 Q=dG vs double-SHA256 target — do not bundle witnesses"},{"a":"QC-002","b":"QC-020","reason":"L6 GroverN4 catalog seal ≠ L7 mainnet PoW; L2 coupling theorem required"},{"a":"QC-001","b":"QC-001-ECDLP","reason":"RSA semiprime vs ECDLP — different oracles; not interchangeable in one composite claim"}],"plannedCouplings":[{"downstream":"QC-001","leanArtifact":"FirstRoars\/QFTToShorCoupling.lean","upstream":"QC-003"},{"downstream":"QC-001","leanArtifact":"FirstRoars\/QPEToShorCoupling.lean","upstream":"QC-004"},{"downstream":"QC-002","leanArtifact":"FirstRoars\/AmpAmpToGroverCoupling.lean","upstream":"QC-009"},{"downstream":"QC-020-U","leanArtifact":"FirstRoars\/GroverToPoWCoupling.lean","upstream":"QC-002"}],"qcfSpecID":"GFTCL-QCF-004","schema":"gaiaftcl.qc.layer2.audit.v1","status":"not_evaluated"},"leakAuditPass":true,"metalPipelineCount":22,"miningOperationalOK":true,"policy":"L6 math ≠ L7 on-chain reward ≠ L8 Grover learning telemetry; GroverN4 L6 seal ≠ L8 projectionNActive","qaLayerClosed":true,"qc002GroverParity":{"claimScope":"l6_catalog_seal_only","detail":"L6 GroverN4: 1 step → |11⟩; optimal_law=⌈π√N\/4⌉ at N=4 (live uses projectionNActive)","findsMarkedState":true,"iterationsUsed":1,"leanParityOK":true,"optimalIterationBound":2,"schema":"gaiaftcl.qc002.grover_parity.v1","searchSpaceN":4,"sharesOptimalLawWithQC020":true},"qc020ChainOutcome":{"acceptedSubmissionCount":0,"chainOutcomeOK":false,"detail":"no chain_accepted rows in substrate_block_submission_outcomes","recentSubmissionCountLast5Min":0,"schema":"gaiaftcl.qc020.chain_outcome.v1"},"qc020DualPath":{"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=3107 recent5m=276 n_active=9981 grover_optimal=79 shape_rows=927 projection_rows=2960 v170=27824 v172=160); 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 on substrate telemetry","location":"GroverToPoWCoupling.lean","mitigated":true,"role":"coupling_pipe_n4"}]},"qc020ImprovementTrend":{"calorieTelemetryHitCount":0,"captureHitCount":211,"captureHitCountWithTiming":0,"dailyBuckets":[],"detail":"hits=0 calorie_telemetry=0 calorie_window=0 capture_timed=0\/211 (need ≥3 timed hits to judge improvement)","generatedAtISO":"2026-06-05T18:06:08Z","improvingOK":false,"recentPoints":[],"schema":"gaiaftcl.qc020.improvement_trend.v1","timeToHitTrend":{"direction":"insufficient_data","metric":"time_to_hit_ms","sampleCount":0},"totalHitSamples":0,"trendStatus":"insufficient_hits","windowCalorieHitCount":0},"qc020Learning":{"collapseInfoPreservedOK":true,"detail":"telemetry=3107 recent5m=276 n_active=9981 grover_optimal=79 shape_rows=927 projection_rows=2960 v170=27824 v172=160","groverOptimalCycles":79,"groverOptimalLawOK":true,"latestIterationsFired":1,"learningWitnessOK":true,"projectionNActive":9981,"projectionPersistedRowCount":2960,"schema":"gaiaftcl.qc020.learning_witness.v1","shapePersistenceOK":true,"shapePersistenceRowCount":927,"telemetryRowCount":3107,"telemetryRowsLast5Min":276,"v170FilterRowCount":27824,"v172ReplayAnchorCount":160},"qc020OnChainReward":{"blockOnChainOK":false,"confirmedReceivedSatoshis":0,"detail":"no substrate chain_accepted block to correlate with on-chain reward (L7 learning — miner active, not audit failure)","minConfirmations":1,"minRewardSatoshis":1,"onChainRewardOK":false,"payoutAddress":"bc1qhpmqfds6j0zcjv4xgznuyvlq72gslxjh6up5uq","rewardLayerStatus":"learning","schema":"gaiaftcl.qc020.onchain_reward.v1","substrateAcceptedCount":0},"registrySchema":"gaiaftcl.qc_vm.validation_registry.v1","rows":[{"catalogID":"QC-001","humanName":"Shor period finding (RSA \/ mod-exp)","leakNote":"tier23 is witness arithmetic, not factorization; L9: atomic only until QCCoupling*.lean seals composition","leanArtifacts":["FirstRoars\/ShorFactor15.lean","FirstRoars\/ShorFactorLarge.lean","FirstRoars\/ShorWitnessCertifier.lean"],"leanRegistered":true,"mathClaim":"shor_semiprime_factorization","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"n15=true largeLadder=true tier1_factored=true tier23_witness_only=true","swiftGateSealed":true,"tier":"shorFactorization","witnessOK":true},{"catalogID":"QC-001-ECDLP","humanName":"Shor ECDLP period finding (secp256k1 lattice)","leakNote":"structured seals only; not random 256-bit Q; L9: atomic only until QCCoupling*.lean seals composition","leanArtifacts":["FirstRoars\/ShorECDLP.lean"],"leanRegistered":true,"mathClaim":"ecdlp_structured_seal","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"secp256k1 neg-G seal + encoding cross-check","swiftGateSealed":true,"tier":"ecdlpProduction","witnessOK":true},{"catalogID":"QC-002","humanName":"Grover search (hash \/ unstructured)","leakNote":"L6 GroverN4 catalog seal; live miner uses projectionNActive; L9: atomic only until QCCoupling*.lean seals composition","leanArtifacts":["FirstRoars\/GroverN4.lean"],"leanRegistered":true,"learningLayerOK":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"L6 GroverN4 seal → |11⟩ (live: projectionNActive)","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-003","humanName":"Quantum Fourier transform","leakNote":"L9: planned stack edge — compositionLayerOK not evaluated yet","leanArtifacts":["FirstRoars\/QFTN4.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"QFT|0⟩ uniform=true QFT|1⟩=true","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-004","humanName":"Quantum phase estimation","leakNote":"L9: planned stack edge — compositionLayerOK not evaluated yet","leanArtifacts":["FirstRoars\/QPEN4.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"QPE φ=1\/4","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-005","humanName":"HHL linear solver","leanArtifacts":["FirstRoars\/HHL2.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"HHL diag Ax=b x=(4,8)","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-006","humanName":"Deutsch–Jozsa","leanArtifacts":["FirstRoars\/DeutschJozsa2.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"DJ 1-bit constant\/balanced","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-007","humanName":"Bernstein–Vazirani","leanArtifacts":["FirstRoars\/BernsteinVazirani4.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"BV hidden [1,0,1,0]","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-008","humanName":"Simon's algorithm","leanArtifacts":["FirstRoars\/Simon8.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"Simon XOR mask 0xAA","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-009","humanName":"Amplitude amplification","leakNote":"L9: planned stack edge — compositionLayerOK not evaluated yet","leanArtifacts":["FirstRoars\/AmpAmpN4.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"AmpAmp N=4","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-010","humanName":"Amplitude estimation","leanArtifacts":["FirstRoars\/AmplitudeEstimationMarked.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"AmpEst M\/N=8\/8=1","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-011","humanName":"Phase kickback","leanArtifacts":["FirstRoars\/QSVT2.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"QSVT scalar block","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-012","humanName":"Quantum walk","leanArtifacts":["FirstRoars\/CTQW2.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"CTQW dimer quarter-turn","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-013","humanName":"Variational quantum eigensolver","leanArtifacts":["FirstRoars\/VQE2.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"VQE Z eigenvalues e0=1 e1=-1","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-014","humanName":"QAOA","leanArtifacts":["FirstRoars\/QAOA1.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"QAOA K₃ uniform Max-Cut 3\/2","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-015","humanName":"Quantum counting","leanArtifacts":["FirstRoars\/BosonSampling2.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"2-mode boson 1-photon","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-016","humanName":"Teleportation verifier","leanArtifacts":["FirstRoars\/GaussianBoson2.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"GBS vacuum P=1","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-017","humanName":"Superdense coding verifier","leanArtifacts":["FirstRoars\/SteaneSyndrome.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"Steane [[7,1,3]] syndromes","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-018","humanName":"Bell-state measurement","leanArtifacts":["FirstRoars\/SurfaceCodeD3.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"Surface d=3 center X","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-019","humanName":"Quantum random walk","leanArtifacts":["FirstRoars\/TopologicalFib.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"Fibonacci braid σ^10=id","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true},{"catalogID":"QC-020","circuitClaim":"atomic_only","claimScope":"pow_ledger_oq_pq+pow_live_miner","humanName":"Bitcoin preimage proof-of-work","leakNote":"L7: learning — no substrate chain_accepted block to correlate with on-chain reward (L7 learning — miner active, not audit failure); ledger rungs prove PoW verifier; not current difficulty win; L9: atomic only until QCCoupling*.lean seals composition","leanArtifacts":["FirstRoars\/BTCPreimageN4.lean","FirstRoars\/BTCPreimageLarge.lean"],"leanRegistered":true,"learningLayerOK":true,"mathClaim":"pow_ledger_rung","mathLayerOK":true,"rewardClaim":"pow_onchain_reward","substrateBackend":"vqbit_cpu_projection","swiftGateDetail":"ledger 3 rung(s) CryptoKit↔Lean literals; L7 on_chain=false (no substrate chain_accepted block to correlate with on-chain reward (L7 learning — miner active, not audit failure))","swiftGateSealed":true,"tier":"ledgerPoW","validationPath":"dual_parallel","witnessOK":true},{"catalogID":"QC-021","humanName":"Lean-validated communication","leakNote":"L9: hub for domain acts — not mining\/ECDLP composite seal","leanArtifacts":["FirstRoars\/MeaningInvariant.lean"],"leanRegistered":true,"mathClaim":"decidable_witness","mathLayerOK":true,"substrateBackend":"vqbit_metal","swiftGateDetail":"LVC instances A\/B\/C verdicts","swiftGateSealed":true,"tier":"decidableWitness","witnessOK":true}],"schema":"gaiaftcl.qc_vm.validation.v3","substrateComputeBackend":"vqbit_metal","substrateComputeBackendNote":"Metal mandatory for QC-001..QC-021 except QC-020 PoW (vqbit_cpu_projection via M8MeasurementComposer)"},"witnessLayerPolicy":"qaLayerClosed=L6+L8+QCF-004+registry; leakAuditPass=L7 operational (learning|realized); allRewardClaimsOK=realized only"}