{"protocol_version":"0.2.0","generated_at":"2026-09-29T22:17:52.490Z","record":{"protocol_version":"0.2.0","id":"RO-2026-0003","publication_type":"letter","title":"Two-Copy Onset of Strict Superadditivity for Measured Relative Entropy","abstract":"For faithful finite-dimensional state pairs, globally optimized measured relative entropy is additive at any fixed copy number n >= 2 exactly when the states commute. This Letter proves the criterion through an explicit phase-optimized two-copy ascent direction, separates coherent collective access from the known fresh-copy classical-feed-forward bound, gives a faithful qubit construction, and states a thermodynamic corollary only for the Gibbs-prepared isolated unitary-drive setting.","significance":"The result identifies two copies as the universal first block at which noncommutativity becomes an operational advantage for globally optimized measured relative entropy, while preserving the distinction between a mathematical collective optimum, a one-sided implemented witness, and a hardware experiment.","limitations":["The theorem assumes faithful finite-dimensional states and optimization over all finite-outcome measurements; it does not cover singular boundary states without limiting arguments.","The thermodynamic corollary is restricted to a faithful finite-temperature Gibbs-prepared isolated unitary drive and is not a universal definition of entropy production.","A calibrated positive implemented two-copy gain is a one-sided witness within the stated model; a null result under a restricted measurement does not establish incoherence.","The 453-point computation reports recovered stationary candidates on a deterministic finite grid; it is not a continuous global-optimality certificate.","All evidentiary numerical results are classical calculations. No quantum-hardware result supports the theorem, and the archived backend-snapshot emulation is excluded from the accepted claims.","The fresh-copy adaptive bound is a known Li-Tan-Tomamichel specialization and receives no novelty credit."],"state":"PUBLISHED","disposition":"active","visibility":"public","demonstration":false,"created_at":"2026-08-22T19:19:25Z","updated_at":"2026-08-23T14:33:59.205Z","program_ids":["PRG-quantum-information","PRG-quantum-thermodynamics","PRG-mathematical-physics"],"program_contributions":[{"program_id":"PRG-quantum-information","summary":"Candidate exact criterion for strict multi-copy activation of measured relative entropy, plus a separation from classical-feed-forward fresh-copy measurements."},{"program_id":"PRG-quantum-thermodynamics","summary":"Candidate scoped corollary relating energetic coherence to two-copy activation in a Gibbs-prepared isolated-drive construction."},{"program_id":"PRG-mathematical-physics","summary":"Candidate constructive perturbation proof and equality characterization for a finite-dimensional optimized divergence."}],"problem_ids":[],"taxonomy":{"subject_ids":["subject:mathematical-physics","subject:quantum-information","subject:quantum-thermodynamics"],"method_ids":["method:independent-reproduction","method:literature-audit","method:numerical-validation","method:proof-construction"],"system_ids":["system:open-quantum-systems","system:quantum-sensors"]},"keywords":["measured relative entropy","collective quantum measurements","noncommutativity","quantum thermodynamics","energetic coherence"],"licenses":{"manuscript":"CC-BY-4.0","code":"Apache-2.0","data":"CC0-1.0"},"current_version":"v1.0","canonical_url":"https://pudimphysics.org/research/RO-2026-0003","doi":"10.5281/zenodo.22069572","paper_preview":{"path":"paper/candidates/r05/unpacked/figures/two_copy_qubit.png","alt_text":"A qubit example comparing one-copy and two-copy measured-relative-entropy performance across the tested parameter grid.","caption":"Classical finite-grid witness for the two-copy qubit construction. The figure is numerical evidence, not a hardware result or a global continuous optimization proof."},"machine_bundle":{"provider":"zenodo","record_url":"https://zenodo.org/record/22069572","download_url":"https://zenodo.org/records/22069572/files/RO-2026-0003-v1.0.zip?download=1","name":"RO-2026-0003-v1.0.zip","sha256":"7b1f1116bc9b4397c3ee12681cc7731d4af96f5547a3818545ba5f7074fb21ea","bytes":2484215},"creators":[{"name":"Maestro v0.1","role":"Creator","kind":"agent","identifier":"maestro-v0.1","version":"v0.1","model":null,"model_snapshot":null,"provider":"OpenAI","run_started_at":null,"run_completed_at":null,"model_knowledge_cutoff":null,"literature_cutoff":null}],"human_stewards":[{"name":"Domingos S. P. Salazar","role":"Program Manager","kind":"human","identifier":null}],"knowledge_boundaries":{"model_knowledge_cutoff":null,"literature_cutoff":"2026-08-22"},"gates":{"solver":{"status":"PASS","evidence":[],"actor":"Fresh Pudim Ledger Solver R03 with independently verified r04 identity carry","decided_at":"2026-08-22T22:34:48.374Z","rationale":"The exact r03 scientific audit passed C1-C8, and the final editor independently verified that all protected r04 scientific files are byte-identical with no rerun trigger; C3 remains known support with no novelty credit. Exact r05 is controlled by the independent exhaustive metadata-only release carry.","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","claim_ids":["C1","C2","C3","C4","C5","C6","C7","C8"]},"novelty_audit":{"status":"PASS","evidence":[],"actor":"Context-isolated Pudim Ledger Librarian R03 with independently verified r04 identity carry","decided_at":"2026-08-22T22:34:48.374Z","rationale":"C1-C8 retain the exact accepted r03 novelty dispositions under a byte-identical scientific and novelty surface; C3 is explicitly attributed to Li-Tan-Tomamichel and receives no novelty credit. Exact r05 is controlled by the independent exhaustive metadata-only release carry.","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","claim_ids":["C1","C2","C3","C4","C5","C6","C7","C8"]},"adversarial_review":{"status":"PASS","evidence":[],"actor":"Two context-isolated Round-3 referees, adjudicated by the independent final editor","decided_at":"2026-08-22T22:34:48.374Z","rationale":"Referee A accepted; Referee B's missing-baseline and backend-log objections were cured in the sealed final editor packet, and all private scientific-GO blockers were closed. Exact r05 is controlled by the independent exhaustive metadata-only release carry.","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","claim_ids":["C1","C2","C3","C4","C5","C6","C7","C8"]},"independent_reproduction":{"status":"PASS","evidence":[],"actor":"Independent Pudim theoretical replicator with sealed r04 identity carry","decided_at":"2026-08-22T22:34:48.374Z","rationale":"The context-isolated theoretical reconstruction passed C1-C7 and exact r04 preserves every protected scientific source; C8 is carried by the independent computation gate. Exact r05 is controlled by the independent exhaustive metadata-only release carry.","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","claim_ids":["C1","C2","C3","C4","C5","C6","C7","C8"]},"computation_reproduction":{"status":"PASS","evidence":[],"actor":"Independent Pudim computational replicator with clean r04 route verification","decided_at":"2026-08-22T22:34:48.374Z","rationale":"C7-C8 reproduced, canonical analytic files are byte-identical across r03 and r04, and the optional excluded backend snapshot regenerated its canonical JSON byte-exactly without network, credentials, or QPU access. Exact r05 is controlled by the independent exhaustive metadata-only release carry.","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","claim_ids":["C1","C2","C3","C4","C5","C6","C7","C8"]},"formal_verification":{"status":"PENDING","evidence":[],"actor":null,"decided_at":null,"rationale":null,"candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","claim_ids":["C1","C2","C3","C4","C5","C6","C7","C8"]},"editorial_gate":{"status":"PASS","evidence":[],"actor":"Independent Pudim Protocol 0.2 Round-3 final Ledger Editor R04","decided_at":"2026-08-22T22:34:48.374Z","rationale":"Local scientific Ledger GO issued for exact r04 and C1-C8 only; C9 is excluded and Program Manager release authorization remains null. Exact r05 is controlled by the independent exhaustive metadata-only release carry.","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","claim_ids":["C1","C2","C3","C4","C5","C6","C7","C8"]},"build_provenance":{"status":"PASS","evidence":["reproduction/reproduction-v1.0.yaml"],"actor":"Pudim AI release attestation","decided_at":"2026-08-23T14:20:18Z","rationale":"Pinned OCI image sha256:7293dd85e78f11e1ef156c6e7c144c7b2e2c7efd7d36f752528d4a5b64c06868 regenerated the accepted classical outputs under UID 65532 with networking disabled and passed the frozen cross-platform tolerances.","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","claim_ids":["C1","C2","C3","C4","C5","C6","C7","C8"]}},"assurance":{"solver":"PASS","novelty_audit":"PASS","adversarial_review":"PASS","independent_reproduction":"PASS","computation_reproduction":"PASS","formal_verification":"PENDING","editorial_gate":"PASS","build_provenance":"PASS"},"artifacts":{"paper":"paper/candidates/r05/unpacked/paper","claims":"claims/claims-r05.yaml","literature_audit":"literature/release-r05/literature-audit.yaml","review":"reviews/review-r05.yaml","reproduction":"reproduction/reproduction-v1.0.yaml","editorial_decision":"editorial/release-r05/editorial-decision.yaml","provenance":"provenance/provenance-r05.json","code":"paper/candidates/r05/unpacked/code","data":"paper/candidates/r05/unpacked/data","figures":"paper/candidates/r05/unpacked/figures","release_manifest":"release-manifest.json"},"public_artifacts":["paper","claims","literature_audit","review","reproduction","editorial_decision","provenance","code","data","figures","release_manifest"],"version_relations":[],"history":[{"at":"2026-08-22T19:19:25Z","from":null,"to":"SEED","actor":"Domingos S. P. Salazar","summary":"Private digest-bound Research Object initialized from normalized submission [private submission] without inheriting scientific gates.","evidence":[]},{"at":"2026-08-22T19:26:01.171Z","from":"SEED","to":"PITCHED","actor":"Pudim AI Ledger intake","summary":"Private candidate pitch normalized against the three selected Programs.","evidence":[]},{"at":"2026-08-22T19:26:02.679Z","from":"PITCHED","to":"FORAGED","actor":"Pudim AI Ledger intake","summary":"Creator-side literature materials registered only as non-controlling evidence; a fresh Librarian audit remains required.","evidence":[]},{"at":"2026-08-22T19:26:03.815Z","from":"FORAGED","to":"PROGRAM_BUILT","actor":"Pudim AI Ledger intake","summary":"Program contributions and scope boundaries normalized for quantum information, thermodynamics, and mathematical physics.","evidence":[]},{"at":"2026-08-22T19:26:05.029Z","from":"PROGRAM_BUILT","to":"CLAIMS_PROPOSED","actor":"Pudim AI Ledger intake","summary":"Nine digest-bound claims proposed without granting novelty, review, or reproduction status.","evidence":[]},{"at":"2026-08-22T19:34:09.794Z","from":"CLAIMS_PROPOSED","to":"SOLVED","actor":"Pudim AI Ledger","summary":"Fresh digest-bound Solver audit passed claims C1-C7; C8-C9 remained outside computational reproduction.","evidence":[]},{"at":"2026-08-22T20:48:21.845Z","from":"SOLVED","to":"NOVELTY_LOCK","actor":"Pudim AI Ledger Librarian R02","summary":"Revision 2 passed candidate-bound novelty audit after C3 demotion and attribution.","evidence":[]},{"at":"2026-08-22T22:15:00Z","from":"NOVELTY_LOCK","to":"ADVERSARIAL_REVIEW","actor":"Pudim AI Ledger Round-3 review coordinator","summary":"Exact r04 entered the third and final digest-bound review round after a narrow package-only revision.","evidence":[]},{"at":"2026-08-22T22:30:00Z","from":"ADVERSARIAL_REVIEW","to":"REPRODUCTION","actor":"Pudim AI Ledger Round-3 evidence coordinator","summary":"Independent review, sealed cross-revision identity, and clean routed computation evidence were frozen for final adjudication.","evidence":[]},{"at":"2026-08-22T22:34:48.374Z","from":"REPRODUCTION","to":"EDITORIAL_DECISION","actor":"Independent Pudim Protocol 0.2 Round-3 final Ledger Editor R04","summary":"Local scientific Ledger GO issued for exact r04 and claims C1-C8; C9 excluded; Program Manager release authorization remains null.","evidence":[]},{"at":"2026-08-23T13:48:05.526Z","from":"EDITORIAL_DECISION","to":"ACCEPTED","actor":"Independent Pudim Protocol 0.2 Round-3 final Ledger Editor R04","summary":"Ledger GO promotes exact r04 digest to private scientific acceptance; public release remains unauthorized.","evidence":[]},{"at":"2026-08-23T14:33:59.205Z","from":"ACCEPTED","to":"PUBLISHED","actor":"Pudim AI Ledger Publisher","summary":"Zenodo registered 10.5281/zenodo.22069572; the exact v1.0 release is now public.","evidence":["release-manifest.json","editorial/release-r05/editorial-decision.yaml"]}],"claims":[{"id":"C1","type":"theorem","headline":true,"lifecycle":"established","statement":"For faithful finite-dimensional states and every fixed integer n >= 2, measured relative entropy on n tensor copies equals n times its one-copy value if and only if the states commute.","assumptions":["Both density operators are faithful and finite-dimensional.","Measured relative entropy is optimized over all finite-outcome measurements.","The copy number n is a fixed integer at least two."],"dependencies":[{"kind":"definition","id":"measured-relative-entropy"}],"evidence":[],"novelty_status":"apparently_new","review_status":"passed","reproduction_status":"passed","falsification_tests":["Exhibit a faithful noncommuting pair with additive globally optimized measured relative entropy at any n >= 2.","Identify a gap in the reduction from n-copy additivity to the two-copy constructive direction."]},{"id":"C2","type":"theorem","headline":true,"lifecycle":"established","statement":"For every faithful noncommuting state pair, a phase-optimized rotation of two product measurement vectors has a strictly positive directional derivative of the two-copy measured relative entropy at the product optimum.","assumptions":["The one-copy optimizer is a rank-one projective measurement as specified in the manuscript.","The rotated two-vector subspace and phase optimization are those defined in the construction."],"dependencies":[{"kind":"claim","id":"C1","record_id":"RO-2026-0003"}],"evidence":[],"novelty_status":"apparently_new","review_status":"passed","reproduction_status":"passed","falsification_tests":["Find a faithful noncommuting pair for which the optimized derivative vanishes or has the wrong sign.","Show that the construction assumes a nondegeneracy not stated in the theorem."]},{"id":"C3","type":"lemma","headline":false,"lifecycle":"established","statement":"The fixed-horizon specialization of the known Li-Tan-Tomamichel adaptive bound implies that any fresh-copy measurement protocol with classical feed-forward has classical relative entropy at most n times the one-copy measured relative entropy.","assumptions":["Each quantum copy is measured only once and no coherent quantum memory couples distinct copies.","Adaptivity uses only the classical history of earlier outcomes."],"dependencies":[{"kind":"definition","id":"sequential-fresh-copy-readout"}],"evidence":[],"novelty_status":"known","review_status":"passed","reproduction_status":"passed","falsification_tests":["Construct a classical-feed-forward fresh-copy strategy that exceeds the stated chain-rule bound."]},{"id":"C4","type":"corollary","headline":false,"lifecycle":"established","statement":"For a Gibbs-prepared isolated unitary drive, the dimensionless irreversible work beta times W minus Delta F equals D(rho_tau || pi_tau).","assumptions":["The initial state is the Gibbs state of the initial Hamiltonian at inverse temperature beta.","Evolution is unitary and isolated during the drive.","pi_tau is the Gibbs state of the final Hamiltonian at the same beta."],"dependencies":[{"kind":"external_result","id":"isolated-drive-relative-entropy-identity"}],"evidence":[],"novelty_status":"known","review_status":"passed","reproduction_status":"passed","falsification_tests":["Verify the identity directly from the Gibbs definitions and the unitary invariance of entropy.","Check that no open-system or arbitrary-initial-state interpretation is asserted."]},{"id":"C5","type":"corollary","headline":true,"lifecycle":"established","statement":"In the faithful finite-temperature IID isolated-drive construction, strict globally optimized two-copy gain in measured relative entropy is equivalent to nonzero energetic coherence relative to the final Hamiltonian.","assumptions":["All assumptions of C1 and C4 hold.","Energetic coherence means noncommutation with the final Gibbs state or equivalently the final Hamiltonian under the stated faithfulness conditions."],"dependencies":[{"kind":"claim","id":"C1","record_id":"RO-2026-0003"},{"kind":"claim","id":"C4","record_id":"RO-2026-0003"}],"evidence":[],"novelty_status":"apparently_new","review_status":"passed","reproduction_status":"passed","falsification_tests":["Find a state in the scoped thermodynamic construction that has nonzero energetic coherence but no globally optimized two-copy gain.","Find a commuting state that nevertheless produces a positive globally optimized gain."]},{"id":"C6","type":"interpretation","headline":false,"lifecycle":"established","statement":"A calibrated positive implemented two-copy gain is a one-sided witness within the stated model, whereas a null restricted gain does not establish incoherence.","assumptions":["The implemented measurement and baseline are calibrated and compared under the same estimator convention.","Restricted-measurement null results are not identified with the global optimum."],"dependencies":[{"kind":"claim","id":"C5","record_id":"RO-2026-0003"}],"evidence":[],"novelty_status":"known","review_status":"passed","reproduction_status":"passed","falsification_tests":["Check every operational sentence for the one-sided and model-conditional qualifiers."]},{"id":"C7","type":"method","headline":false,"lifecycle":"established","statement":"The stated faithful qubit family has a certified x-basis one-copy optimum and an explicit positive-slope two-copy rotation.","assumptions":["The qubit family and parameter domain are exactly those specified in the manuscript."],"dependencies":[{"kind":"claim","id":"C2","record_id":"RO-2026-0003"}],"evidence":[{"kind":"computation","path":"paper/candidates/r05/unpacked/code/simulate_qubit_activation.py","status":"complete"}],"novelty_status":"apparently_new","review_status":"passed","reproduction_status":"passed","falsification_tests":["Independently optimize the one-copy basis and evaluate the displayed two-copy rotation across the declared parameter grid."]},{"id":"C8","type":"computational_result","headline":false,"lifecycle":"established","statement":"On the deterministic 453-point qubit grid, the maximum recovered globally optimized gain is 0.0214758723 nats per copy and the explicit rotation attains 0.0073100901 nats per copy at the best displayed point.","assumptions":["The grid, optimizer tolerances, and relative-entropy convention are those frozen in the candidate."],"dependencies":[{"kind":"code","id":"paper/candidates/r05/unpacked/code/simulate_qubit_activation.py"},{"kind":"dataset","id":"paper/candidates/r05/unpacked/data/two_copy_sdp.csv"}],"evidence":[{"kind":"computation","path":"paper/candidates/r05/unpacked/data/two_copy_sdp.csv","status":"complete"},{"kind":"computation","path":"paper/candidates/r05/unpacked/data/validation.json","status":"complete"}],"novelty_status":"known","review_status":"passed","reproduction_status":"passed","falsification_tests":["Reproduce the full grid and compare all canonical CSV and JSON values within the frozen tolerances."]}],"literature_audit":{"protocol_version":"0.2.0","record_id":"RO-2026-0003","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","accepted_claims":["C1","C2","C3","C4","C5","C6","C7","C8"],"search_cutoff":"2026-08-22","auditor":"Context-isolated Pudim Librarian R03 with independent exhaustive r04-to-r05 release-only identity carry; no release authority","sources":["Release identity binding: r05 candidate 439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5; exhaustive release-delta audit PASS","Binding: candidate 47b8c5fb6e17e69d1bc7e9bef56cf53f759d4c88211484f4dd2d7b41a681bcd0; candidate-freeze 9ec25ea27c15527d79e93b62e95c4cc36bd8f80c7b95d7f43dddaa78681134e0; controlling manifest 5cd595a9122c4a3e638704dba3d88eefe8526c2a493b0eee76f3aeb844d20e92","Frozen candidate manuscript, supplement, claims, bibliography, and embedded Salazar v005 source","Primary publisher and DOI landing pages","arXiv abstract pages and source archives","GitHub release v005 and frozen commit-bound source"],"queries":["measured relative entropy two copies quantum states","measured relative entropy every n noncommuting","measured relative entropy strict superadditivity tensor powers","D_M rho tensor 2 measured relative entropy","measured relative entropy phase adjusted two vector rotation tensor copies","logarithmic mean tensor gap measured relative entropy","Li Tan Tomamichel Lemma 16 measured relative entropy supermartingale","fixed length adaptive one copy measured relative entropy bound","isolated Gibbs unitary irreversible work relative entropy final Gibbs state","quantum coherence entropy production relative entropy decomposition","two copy measured relative entropy energetic coherence iff","faithful qubit logarithmic mean measured relative entropy x basis optimum","0.0214758723 measured relative entropy two copy"],"inclusions":[{"citation":"Berta, Fawzi, and Tomamichel, On Variational Expressions for Quantum Relative Entropies, Letters in Mathematical Physics 107, 2239-2265 (2017)","identifier":"doi:10.1007/s11005-017-0990-7","url":"https://doi.org/10.1007/s11005-017-0990-7","verified":true},{"citation":"Hiai and Petz, The Proper Formula for Relative Entropy and Its Asymptotics in Quantum Probability, Communications in Mathematical Physics 143, 99-114 (1991)","identifier":"doi:10.1007/BF02100287","url":"https://doi.org/10.1007/BF02100287","verified":true},{"citation":"Hiai and Mosonyi, Different Quantum f-Divergences and the Reversibility of Quantum Operations, Reviews in Mathematical Physics 29, 1750023 (2017)","identifier":"doi:10.1142/S0129055X17500234","url":"https://arxiv.org/abs/1604.03089","verified":true},{"citation":"Li, Tan, and Tomamichel, Optimal Adaptive Strategies for Sequential Quantum Hypothesis Testing, Communications in Mathematical Physics 392, 993-1027 (2022)","identifier":"doi:10.1007/s00220-022-04362-5","url":"https://arxiv.org/abs/2104.14706","verified":true},{"citation":"Fang, Fawzi, and Fawzi, Generalized Quantum Asymptotic Equipartition (version available at cutoff)","identifier":"arXiv:2411.04035","url":"https://arxiv.org/abs/2411.04035","verified":true},{"citation":"Salazar, Benign Projective Landscapes for Measured Quantum Divergences, release v005 (2026)","identifier":"github:DomingosSalazar/benign-projective-landscapes@21925297751d1a6e762dd4f5c9fa4746d3d8e961","url":"https://github.com/DomingosSalazar/benign-projective-landscapes/releases/tag/v005","verified":true},{"citation":"Deffner and Lutz, Generalized Clausius Inequality for Nonequilibrium Quantum Processes, Physical Review Letters 105, 170402 (2010)","identifier":"doi:10.1103/PhysRevLett.105.170402","url":"https://doi.org/10.1103/PhysRevLett.105.170402","verified":true},{"citation":"Landi and Paternostro, Irreversible Entropy Production from Classical to Quantum, Reviews of Modern Physics 93, 035008 (2021)","identifier":"doi:10.1103/RevModPhys.93.035008","url":"https://doi.org/10.1103/RevModPhys.93.035008","verified":true},{"citation":"Santos, Celeri, Landi, and Paternostro, The Role of Quantum Coherence in Non-Equilibrium Entropy Production, npj Quantum Information 5, 23 (2019)","identifier":"doi:10.1038/s41534-019-0138-y","url":"https://doi.org/10.1038/s41534-019-0138-y","verified":true},{"citation":"Yuan et al., Direct Estimation of Quantum Coherence by Collective Measurements, npj Quantum Information 6, 46 (2020)","identifier":"doi:10.1038/s41534-020-0280-6","url":"https://doi.org/10.1038/s41534-020-0280-6","verified":true},{"citation":"Beigi, Rubboli, and Tomamichel, Additivity of Quantum Relative Entropies as a Single-Copy Criterion, Communications in Mathematical Physics 407, 134 (2026)","identifier":"doi:10.1007/s00220-026-05653-x","url":"https://arxiv.org/abs/2507.05696","verified":true},{"citation":"Huang and Wilde, Semi-Definite Optimization of the Measured Relative Entropies of Quantum States and Channels (2024)","identifier":"arXiv:2406.19060","url":"https://arxiv.org/abs/2406.19060","verified":true},{"citation":"Huang and Wilde, Accelerated Optimization of Measured Relative Entropies (version available at cutoff)","identifier":"arXiv:2511.17976","url":"https://arxiv.org/abs/2511.17976","verified":true}],"exclusions":[{"identifier":"generic-relative-entropy-of-entanglement-additivity","reason":"Concerns optimization over state sets or restricted measurements rather than the fixed-pair all-POVM measured relative entropy audited here."},{"identifier":"generic-Helstrom-or-Chernoff-finite-copy-discrimination","reason":"Uses different objectives and does not determine the measured-relative-entropy tensor onset."},{"identifier":"secondary-literature-aggregators","reason":"Search-discovery only; no claim assessment relies on a secondary aggregator."},{"identifier":"unpublished-or-unindexed-work","reason":"Not observable in a bounded public-source audit; this is why apparently-new outcomes are qualified rather than absolute."}],"claim_assessments":[{"claim_id":"C1","closest_work":[{"citation":"Berta, Fawzi, and Tomamichel (2017)","identifier":"doi:10.1007/s11005-017-0990-7","url":"https://doi.org/10.1007/s11005-017-0990-7","verified":true},{"citation":"Hiai and Mosonyi (2017), Remark 4.27","identifier":"doi:10.1142/S0129055X17500234","url":"https://arxiv.org/abs/1604.03089","verified":true},{"citation":"Fang, Fawzi, and Fawzi, Generalized Quantum Asymptotic Equipartition","identifier":"arXiv:2411.04035","url":"https://arxiv.org/abs/2411.04035","verified":true}],"delta":"Prior work gives the one-copy strict gap, asymptotic recovery, some finite strict tensor power, and broader set-valued superadditivity. No checked primary source identifies two as the universal first strict block or proves the candidate's each-fixed-n>=2 equivalence for faithful fixed pairs.","unresolved_equivalences":["Possible unpublished or poorly indexed equivalent results cannot be ruled out."],"confidence":"MEDIUM","outcome":"PASS"},{"claim_id":"C2","closest_work":[{"citation":"Salazar, Benign Projective Landscapes for Measured Quantum Divergences, v005","identifier":"github:DomingosSalazar/benign-projective-landscapes@21925297751d1a6e762dd4f5c9fa4746d3d8e961","url":"https://github.com/DomingosSalazar/benign-projective-landscapes/releases/tag/v005","verified":true},{"citation":"Berta, Fawzi, and Tomamichel (2017)","identifier":"doi:10.1007/s11005-017-0990-7","url":"https://doi.org/10.1007/s11005-017-0990-7","verified":true}],"delta":"The phase-adjusted rotation and projective calculus are inherited and explicitly credited. The residual delta is the unequal-score tensor string cross-score, strict logarithmic-mean tensor gap, and positive first derivative for the n-copy measured-relative-entropy objective.","unresolved_equivalences":[],"confidence":"HIGH","outcome":"PASS"},{"claim_id":"C3","closest_work":[{"citation":"Li, Tan, and Tomamichel (2022), Lemma 16(i)","identifier":"doi:10.1007/s00220-022-04362-5","url":"https://arxiv.org/abs/2104.14706","verified":true},{"citation":"Hayashi (2009)","identifier":"doi:10.1109/TIT.2009.2023726","url":"https://doi.org/10.1109/TIT.2009.2023726","verified":true}],"delta":"Known deterministic-horizon specialization with no novelty credit. The candidate's known-bound label and pinpoint citation are accurate.","unresolved_equivalences":[],"confidence":"HIGH","outcome":"PASS"},{"claim_id":"C4","closest_work":[{"citation":"Deffner and Lutz (2010)","identifier":"doi:10.1103/PhysRevLett.105.170402","url":"https://doi.org/10.1103/PhysRevLett.105.170402","verified":true},{"citation":"Landi and Paternostro (2021)","identifier":"doi:10.1103/RevModPhys.93.035008","url":"https://doi.org/10.1103/RevModPhys.93.035008","verified":true}],"delta":"Known process-scoped identity with no novelty credit. The isolated unitary work relation is correctly separated from general global system-environment entropy production.","unresolved_equivalences":[],"confidence":"HIGH","outcome":"PASS"},{"claim_id":"C5","closest_work":[{"citation":"Santos, Celeri, Landi, and Paternostro (2019)","identifier":"doi:10.1038/s41534-019-0138-y","url":"https://doi.org/10.1038/s41534-019-0138-y","verified":true},{"citation":"Yuan et al. (2020)","identifier":"doi:10.1038/s41534-020-0280-6","url":"https://doi.org/10.1038/s41534-020-0280-6","verified":true}],"delta":"The coherence decomposition and collective coherence measurements are prior. Apparently new is the exact process-scoped equivalence between nonzero energetic coherence and strict globally optimized two-copy measured-relative-entropy gain under faithful finite-temperature IID isolated-drive assumptions.","unresolved_equivalences":["The outcome does not cover generic open dynamics or generic two-copy coherence estimation."],"confidence":"MEDIUM","outcome":"PASS"},{"claim_id":"C6","closest_work":[{"citation":"Yuan et al. (2020)","identifier":"doi:10.1038/s41534-020-0280-6","url":"https://doi.org/10.1038/s41534-020-0280-6","verified":true},{"citation":"Conlon et al., Discriminating Mixed Qubit States with Collective Measurements (2023)","identifier":"doi:10.1038/s42005-023-01454-z","url":"https://doi.org/10.1038/s42005-023-01454-z","verified":true}],"delta":"Elementary consequence of the global optimization; useful operational wording rather than a major independent novelty claim. The positive-only witness and inconclusive-null limitations are correctly stated.","unresolved_equivalences":[],"confidence":"HIGH","outcome":"PASS"},{"claim_id":"C7","closest_work":[{"citation":"Berta, Fawzi, and Tomamichel (2017)","identifier":"doi:10.1007/s11005-017-0990-7","url":"https://doi.org/10.1007/s11005-017-0990-7","verified":true},{"citation":"Salazar, Benign Projective Landscapes for Measured Quantum Divergences, v005","identifier":"github:DomingosSalazar/benign-projective-landscapes@21925297751d1a6e762dd4f5c9fa4746d3d8e961","url":"https://github.com/DomingosSalazar/benign-projective-landscapes/releases/tag/v005","verified":true}],"delta":"Apparently new explicit qubit benchmark family instantiating the new tensor slope, built with prior variational certification machinery. Its conceptual novelty is subordinate to C1 and C2.","unresolved_equivalences":["No separate broad priority is asserted for the family outside the candidate's theorem context."],"confidence":"MEDIUM","outcome":"PASS"},{"claim_id":"C8","closest_work":[{"citation":"Huang and Wilde, Semi-Definite Optimization of the Measured Relative Entropies of Quantum States and Channels","identifier":"arXiv:2406.19060","url":"https://arxiv.org/abs/2406.19060","verified":true},{"citation":"Huang and Wilde, Accelerated Optimization of Measured Relative Entropies","identifier":"arXiv:2511.17976","url":"https://arxiv.org/abs/2511.17976","verified":true}],"delta":"Candidate-specific deterministic 453-point numerical output. Prior methods do not report the family or exact values; the manuscript uses hatted notation and does not claim a certified global optimum or hardware observation.","unresolved_equivalences":[],"confidence":"HIGH","outcome":"PASS"}],"overall_outcome":"PASS"},"review":{"protocol_version":"0.2.0","record_id":"RO-2026-0003","accepted_claims":["C1","C2","C3","C4","C5","C6","C7","C8"],"rounds":[{"round":1,"candidate_digest":"bf0bf0e8b8a7ad40e18cc04e8b93b774164d13a7d2ca02f246de41a23b348153","opened_at":"2026-08-22T20:42:00Z","closed_at":"2026-08-22T20:59:28Z","referees":[{"id":"R02-A","context_isolated":true,"report_path":"reviews/round-01/referee-1.md","recommendation":"MAJOR_REVISION","confidence":0.9,"verification_scope":"Candidate integrity, theorem, scope, closest prior calculus, authorship, focus, and claim calibration."},{"id":"R02-B","context_isolated":true,"report_path":"reviews/round-01/referee-2.md","recommendation":"MAJOR_REVISION","confidence":0.92,"verification_scope":"Sealed Letter and supplement, claim registry, proof and literature evidence, deterministic data and code, and numerical spot checks."}],"editor":{"independent_context":true,"decision":"MAJOR_REVISION","confidence":0.95,"letter_path":"reviews/round-01/editor.md","decisive_evidence":["Scientific core correct within scope.","Closest prior pair-rotation calculus not cited or delimited.","Authorship migration and digest-bound provenance were incomplete."]},"findings":[{"id":"F-R1-300","criterion":"novelty_attribution","severity":"major","affected_claims":["C1","C2"],"finding":"The Letter omitted the closest embedded prior phase-adjusted projective-variation calculus.","evidence":["reviews/round-01/editor.md","reviews/round-01/referee-1.md"],"response":"Revision r03 cites and delimits Salazar v005.","resolution":"resolved"},{"id":"F-R1-301","criterion":"authorship_and_provenance","severity":"major","affected_claims":["C1","C2","C3","C4","C5","C6","C7","C8"],"finding":"The role migration was unattested and the candidate lacked a complete digest-bound provenance and review surface.","evidence":["reviews/round-01/editor.md","reviews/round-01/referee-1.md","reviews/round-01/referee-2.md"],"response":"Revision r03 adds an attested role event, contribution statement, hashes, synchronized metadata, and portable provenance.","resolution":"resolved"},{"id":"F-R1-302","criterion":"letter_focus","severity":"minor","affected_claims":[],"finding":"Historical backend-snapshot material diluted the analytic Letter.","evidence":["reviews/round-01/editor.md"],"response":"Revision r03 compresses it to non-evidentiary provenance; C9 is excluded from scientific acceptance.","resolution":"resolved"},{"id":"F-R1-303","criterion":"reproducibility_environment","severity":"minor","affected_claims":["C8"],"finding":"Analytic and archived backend workflows had incompatible locks but a shared route.","evidence":["reviews/round-01/editor.md","reviews/round-01/referee-2.md"],"response":"Revision r04 completes and verifies two disjoint environments and renderer routes.","resolution":"resolved"},{"id":"F-R1-304","criterion":"numerical_epistemology","severity":"minor","affected_claims":["C8"],"finding":"Some labels used exact language for a recovered stationary candidate without a global objective-gap enclosure.","evidence":["reviews/round-01/editor.md","reviews/round-01/referee-2.md"],"response":"Revision r03 uses hatted quantities and recovered-stationary-candidate language.","resolution":"resolved"}],"author_response":{"actor":"Maestro v0.1","path":"reviews/round-01/author-response.md","submitted_at":"2026-08-22T21:18:42Z"},"revision_digest":"47b8c5fb6e17e69d1bc7e9bef56cf53f759d4c88211484f4dd2d7b41a681bcd0","outcome":"FAIL"},{"round":2,"candidate_digest":"47b8c5fb6e17e69d1bc7e9bef56cf53f759d4c88211484f4dd2d7b41a681bcd0","opened_at":"2026-08-22T21:43:00Z","closed_at":"2026-08-22T21:53:05.810Z","referees":[{"id":"R03-A","context_isolated":true,"report_path":"reviews/round-02/referee-1.md","recommendation":"MINOR_REVISION","confidence":0.93,"verification_scope":"Full scientific carry and audit of environment locks, renderer versions, canonical paths, and status surfaces."},{"id":"R03-B","context_isolated":true,"report_path":"reviews/round-02/referee-2.md","recommendation":"MINOR_REVISION","confidence":0.94,"verification_scope":"Independent package, provenance, environment, path, and reproducibility audit of exact r03."}],"editor":{"independent_context":true,"decision":"MINOR_REVISION","confidence":0.96,"letter_path":"reviews/round-02/editor.md","decisive_evidence":["C1-C8 scientifically accepted and C9 excluded.","Three package-audit findings remained before a valid local GO."]},"findings":[{"id":"F-R2-300","criterion":"reproducibility_environment","severity":"minor","affected_claims":["C8"],"finding":"Environment locks, routed commands, and renderer provenance were internally inconsistent.","evidence":["reviews/round-02/editor.md","reviews/round-02/referee-1.md","reviews/round-02/referee-2.md"],"response":"Revision r04 separates locks, aligns documentation and provenance, and records clean routed smoke tests and a complete backend regeneration audit.","resolution":"resolved"},{"id":"F-R2-301","criterion":"canonical_paths","severity":"minor","affected_claims":["C8"],"finding":"Canonical data and PDF paths were inconsistent across provenance and build surfaces.","evidence":["reviews/round-02/editor.md","reviews/round-02/referee-1.md","reviews/round-02/referee-2.md"],"response":"Revision r04 standardizes qubit_sweep.csv and article.pdf and verifies 14 canonical paths and hashes.","resolution":"resolved"},{"id":"F-R2-302","criterion":"status_authority","severity":"minor","affected_claims":[],"finding":"Embedded pre-freeze status was inaccurately described as controlling post-freeze state.","evidence":["reviews/round-02/editor.md"],"response":"Revision r04 makes external binding, freeze, and stage manifests authoritative; residual redundant fields are retained as pre-release cleanup only.","resolution":"resolved"}],"author_response":{"actor":"Maestro v0.1","path":"reviews/round-02/author-response.md","submitted_at":"2026-08-22T22:11:00Z"},"revision_digest":"76a2cc1356047770bfe4f567d17e61e80a46d5490e2808418c0ddba6333bf74a","outcome":"FAIL"},{"round":3,"candidate_digest":"76a2cc1356047770bfe4f567d17e61e80a46d5490e2808418c0ddba6333bf74a","opened_at":"2026-08-22T22:15:00Z","closed_at":"2026-08-22T22:34:48.374Z","referees":[{"id":"R04-A","context_isolated":true,"report_path":"reviews/round-03/referee-1.md","recommendation":"ACCEPT","confidence":0.98,"verification_scope":"Final digest-bound closure audit for F-R2-300, F-R2-301, F-R2-302 and C1-C8 scientific identity carry."},{"id":"R04-B","context_isolated":true,"report_path":"reviews/round-03/referee-2.md","recommendation":"MINOR_REVISION","confidence":0.96,"verification_scope":"Adversarial final package audit; missing-baseline and backend-log objections were subsequently cured in the sealed editor packet."}],"editor":{"independent_context":true,"decision":"ACCEPT","confidence":0.98,"letter_path":"reviews/round-03/editor.md","decisive_evidence":["All 234 payload hashes across r03 and r04 verified; every protected scientific file is byte-identical.","Complete clean backend rerun and renderer checks closed F-R2-300.","All canonical paths and hashes closed F-R2-301.","External post-freeze authority is unambiguous; residual duplicated fields are non-release cleanup, closing F-R2-302 for private scientific GO.","Independent exhaustive r04-to-r05 release audit found no change to proofs, canonical data, figures, PDFs, or scientific code; only enumerated metadata and the packaging revision label changed."]},"findings":[{"id":"F-R2-300","criterion":"reproducibility_environment","severity":"minor","affected_claims":["C8"],"finding":"Final referee disagreement over whether backend regeneration evidence was complete.","evidence":["reviews/round-03/referee-1.md","reviews/round-03/referee-2.md","audits/round-03/backend-clean-route-audit.json"],"response":"The editor packet includes exit-zero logs, byte-exact canonical JSON, exact extracted figure text, and renderer metadata.","resolution":"resolved"},{"id":"F-R2-301","criterion":"canonical_paths","severity":"minor","affected_claims":["C8"],"finding":"Verify the repaired paths and document route against exact r04.","evidence":["reviews/round-03/referee-1.md","reviews/round-03/referee-2.md"],"response":"Both referees and editor verified all 14 paths and hashes.","resolution":"resolved"},{"id":"F-R2-302","criterion":"status_authority","severity":"minor","affected_claims":[],"finding":"Decide whether redundant embedded identifiers and a stale prior-round tuple block private scientific GO.","evidence":["reviews/round-03/referee-2.md","reviews/round-03/editor.md"],"response":"The editor found the substantive authority model closed and retained the redundant fields as mandatory pre-release cleanup.","resolution":"resolved"}],"author_response":null,"revision_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","outcome":"PASS"}],"ledger_decision":{"decision":"GO","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","authority":"Independent Pudim Protocol 0.2 r05 release-audit desk","decided_at":"2026-08-23T14:21:35.763Z","rationale":"The complete three-round scientific dossier is preserved. An independent exhaustive release-only audit verified that r05 changes only enumerated metadata and a packaging revision label, while every protected scientific file remains byte-identical to accepted r04; C1-C8 therefore carry to exact r05 and C9 remains excluded."}},"reproduction":{"protocol_version":"0.2.0","record_id":"RO-2026-0003","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","accepted_claims":["C1","C2","C3","C4","C5","C6","C7","C8"],"entrypoint":"reconstruction/reproduce.py","container":{"image":"pudim-ro-2026-0003:v1.0","digest":"sha256:7293dd85e78f11e1ef156c6e7c144c7b2e2c7efd7d36f752528d4a5b64c06868","lockfiles":["paper/candidates/r05/unpacked/requirements.lock","reconstruction/Containerfile"]},"offline":true,"non_root":true,"reference_runner":{"os":"linux","vcpus":8,"memory_gb":8},"tiers":[{"tier":0,"description":"Verify the r05 freeze, archive, release-only identity carry, and reconstruction contract.","maximum_seconds":300,"commands":["python scripts/audit-r04-r05-release-delta.py"],"outcome":"PASS"},{"tier":1,"description":"Run the analytic qubit generator and independent matrix audit in the pinned image.","maximum_seconds":300,"commands":["python /opt/pudim/reproduce.py --run-json /attestation/run.json"],"outcome":"PASS"},{"tier":2,"description":"Regenerate the finite qubit sweep and stationary-candidate grid, run the independent CVXPY audit, and compare canonical outputs under frozen cross-platform tolerances.","maximum_seconds":1200,"commands":["podman run --network none --read-only --user 65532:65532 pudim-ro-2026-0003:v1.0"],"outcome":"PASS"}],"expected_outputs":[{"path":"paper/candidates/r05/unpacked/data/qubit_sweep.csv","kind":"data","comparison":"tolerance","expected_sha256":"097527d8bec40f6564586b2f5604179207f272a768625d2b139e2b354966b0c9"},{"path":"paper/candidates/r05/unpacked/data/two_copy_sdp.csv","kind":"data","comparison":"tolerance","expected_sha256":"ea8f553c9661efc28e2f1587db5b98ddd528e58165afbbde5df76794558b1e8b"},{"path":"paper/candidates/r05/unpacked/data/two_copy_sdp_validation.json","kind":"data","comparison":"tolerance","expected_sha256":"2b8ba7596a027b9be7c3a76106ba5d47fa4fb443d1a37407731e0adfcb2817b7"},{"path":"paper/candidates/r05/unpacked/data/validation.json","kind":"data","comparison":"hash","expected_sha256":"44c3b5d5dd9445b51a8fe272a2d50b17554e82530c7cad537a00edf2370e02a4"},{"path":"paper/candidates/r05/unpacked/data/independent_validation.json","kind":"data","comparison":"hash","expected_sha256":"0bf71ecbc8214e30bf192b321bb7860db305ec661cb33c4206b3b22ac79a28d2"}],"scientific_tolerances":[{"output":"paper/candidates/r05/unpacked/data/*.csv","metric":"all text labels and table shapes exact; numeric cells","tolerance":"absolute and relative tolerance 1e-7, matching the frozen value acceptance tolerance"},{"output":"paper/candidates/r05/unpacked/data/*.json","metric":"JSON structure and nonnumeric values exact; numeric leaves","tolerance":"absolute and relative tolerance 1e-7"},{"output":"paper/candidates/r05/unpacked/paper/*.pdf","metric":"release document identity","tolerance":"byte hashes are frozen by candidate-freeze.json; the OCI run does not rerender PDFs"}],"attestation":{"run_path":"reproduction/v1.0/attestation/run.json","image_digest":"sha256:7293dd85e78f11e1ef156c6e7c144c7b2e2c7efd7d36f752528d4a5b64c06868","lock_hashes":{"paper/candidates/r05/unpacked/requirements.lock":"d4bdf706038cd95fa221a7e2e0d27306cb57cc01355d3d60405b1e0e337813b0","reconstruction/Containerfile":"8268267bb5ab25475f921c584336f1279c7b3a81a717bb28db528550f4a122b3","reconstruction/reproduce.py":"5541ad4f5c9d745a5dd0ecd957087f7eb220eb524bc517c16f91210944e15a53"},"started_at":"2026-08-23T14:19:02Z","completed_at":"2026-08-23T14:20:18Z","resources":{"runner":"WSL2 Ubuntu with Podman 4.9.3 and crun","observed_cpu_limit":2,"declared_cpu_ceiling":8,"memory_limit_gb":8,"wall_time_seconds":76.371619,"uid":65532,"network_interfaces":["lo"],"read_only_rootfs":true,"capability_policy":"all capabilities dropped; no-new-privileges"},"exit_codes":{"command_1":0,"command_2":0,"command_3":0},"output_hashes":{"data/qubit_sweep.csv":"b9c38ac8592d6621bb282c4809ebc00cd9206eabddf05f26ee6040ad734c6462","data/two_copy_sdp.csv":"4e11e9110fadd67ae39b985b10e900257855cc3d304e81ecc26ae780b74a993f","data/two_copy_sdp_validation.json":"adc709201318984c91f0412eaf67e361a0e496cff1348f10d563ec41c2a373ae","data/validation.json":"4c06328f8b1692757761949835b2483ccb743166dba863da605f066ba0413f9e","data/independent_validation.json":"88fbf59047b07492a00faae5fa0816a6abca7bac933eef8689e13bb8faabce0a"},"gate_results":[{"id":"container_non_root","outcome":"PASS"},{"id":"container_offline","outcome":"PASS"},{"id":"analytic_generation","outcome":"PASS"},{"id":"stationary_candidate_cvxpy_audit","outcome":"PASS"},{"id":"independent_matrix_audit","outcome":"PASS"},{"id":"canonical_output_tolerances","outcome":"PASS"}]},"overall_outcome":"PASS"},"editorial_decision":{"protocol_version":"0.2.0","record_id":"RO-2026-0003","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","ledger_decision":{"decision":"GO","authority":"Independent Pudim Protocol 0.2 r05 release-audit desk","decided_at":"2026-08-23T14:21:35.763Z","rationale":"The three-round scientific GO for C1-C8 carries to exact r05 because the independent exhaustive release-only audit verified byte identity for proofs, canonical data, figures, PDFs, and scientific code. r05 corrects only the enumerated release metadata and packaging revision label; C9 remains excluded."},"pm_release_authorization":{"authorized":true,"name":"Domingos S. P. Salazar","role":"Program Manager","authorized_at":"2026-08-23T14:21:35.763Z","rationale":"The Program Manager explicitly authorizes public v1.0 release, production Zenodo DOI registration, PudimPhysics.org deployment, a new Correspondent Story with images, and Pudim-account X publication for exact r05 digest 439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5, while preserving C1-C8 scopes and excluding C9."},"accepted_claims":["C1","C2","C3","C4","C5","C6","C7","C8"],"evidence":["EDITORIAL_DECISION packet 20260822T223000Z manifest SHA-256 36dab61748a954d306bd8632887601d92ba36f1ba876f56e1d6960e860b08618; 24/24 inputs verified by hash and size.","Exact r04 binding: candidate digest 76a2cc1356047770bfe4f567d17e61e80a46d5490e2808418c0ddba6333bf74a; archive SHA-256 4027b6aad16361a332293e08606ca1d2c928961429041fb03a8e529123b88c4e; 119/119 payload hashes verified.","Independent sealed r03-to-r04 comparison: 94 identical, 21 changed, 4 added, 0 removed; all 12 scientific-identity files byte-identical; supplement differs only in one environment/renderer provenance paragraph.","Round-2 Solver, theoretical replication, computational replication, bounded literature audit, and editor accepted C1-C8 scientifically for exact r03; the verified narrow delta carries those decisions to exact r04 without a rerun trigger.","Complete backend clean route exited zero; the canonical artifact regenerated byte-exactly at SHA-256 88131c133528f363952d247d98d45ce14e023fb128d83f297e927aba5285092d; renderer and extracted-text checks passed.","All 14 declared canonical r04 paths exist and match SHA-256; the independently parsed 453-row C8 table reproduces the reported best recovered gain and stated numerical qualification.","Round-3 Referee A recommended ACCEPT; Referee B's missing-baseline and missing-backend-rerun objections are cured by this final editor packet, while its residual metadata observations are retained as non-release conditions.","audits/release-r05-exhaustive-delta.json","audits/release-r05-license-audit.json","reproduction/v1.0/attestation/run.json","reproduction/reproduction-v1.0.yaml"],"blocking_findings_disposition":["All three scientific review rounds are preserved without relabeling earlier outcomes.","The r04-to-r05 release-only audit closed the final status-identifier and stale-tuple cleanup condition without changing scientific content.","The pinned OCI reconstruction passed under UID 65532 with networking disabled and all canonical outputs within frozen cross-platform tolerances.","C9 remains excluded and the historical backend-snapshot emulation remains non-evidentiary."],"conditions":["Public summaries must preserve the faithful finite-dimensional and fixed-n scopes of C1-C2.","C3 must remain explicitly attributed to Li, Tan, and Tomamichel with no novelty credit.","C4-C5 must remain restricted to the faithful finite-temperature Gibbs-prepared isolated unitary-drive construction; no universal entropy-production identity may be inferred.","C6 is one-sided: a calibrated positive gain is a witness, while a null restricted gain is inconclusive.","C8 is a deterministic finite-grid stationary-candidate result, not a continuous global proof or hardware observation.","C9 and the archived backend-snapshot emulation are excluded from evidentiary claims and public code/data/figure routes."]},"provenance":{"protocol_version":"0.2.0","record_id":"RO-2026-0003","agents":[{"name":"Maestro v0.1","role":"Creator","identifier":"maestro-v0.1","version":"v0.1","model":null,"model_snapshot":null,"provider":"OpenAI","model_knowledge_cutoff":null,"literature_cutoff":null},{"name":"Fresh Pudim Ledger Solver","role":"Solver","identifier":"run:20260822T192500Z/SOLVED","version":"protocol-0.2","model":null,"model_snapshot":null,"provider":"OpenAI","model_knowledge_cutoff":null,"literature_cutoff":null},{"name":"Pudim Ledger Librarian","role":"Librarian","identifier":"run:20260822T192501Z/NOVELTY_LOCK","version":"protocol-0.2","model":null,"model_snapshot":null,"provider":"OpenAI","model_knowledge_cutoff":null,"literature_cutoff":"2026-08-22"},{"name":"Pudim Ledger theoretical Replicator","role":"Independent Replicator","identifier":"runs:20260822T192502Z+20260822T194524Z","version":"protocol-0.2","model":null,"model_snapshot":null,"provider":"OpenAI","model_knowledge_cutoff":null,"literature_cutoff":null},{"name":"Pudim Ledger C6-C7 Replicator","role":"Independent Replicator","identifier":"run:20260822T194526Z/REPRODUCTION","version":"protocol-0.2","model":null,"model_snapshot":null,"provider":"OpenAI","model_knowledge_cutoff":null,"literature_cutoff":null},{"name":"Pudim Ledger computational Replicator","role":"Independent Replicator","identifier":"run:20260822T192503Z/REPRODUCTION","version":"protocol-0.2","model":null,"model_snapshot":null,"provider":"OpenAI","model_knowledge_cutoff":null,"literature_cutoff":null}],"task_specifications":[],"tools":[{"name":"Pudim AI Research Ledger","version":"0.2.0","scientific_purpose":"Schema validation, immutable stage packets, claim gates, review, and provenance."},{"name":"Maestro","version":"v0.1","scientific_purpose":"Creator-side theory development and local pre-intake audit; its decisions are non-controlling evidence."}],"sources":[{"identifier":"doi:10.1007/s00220-022-04362-5","url":"https://doi.org/10.1007/s00220-022-04362-5","accessed_at":"2026-08-22"},{"identifier":"arXiv:2104.14706","url":"https://arxiv.org/abs/2104.14706","accessed_at":"2026-08-22"},{"identifier":"doi:10.1007/s11005-017-0990-7","url":"https://doi.org/10.1007/s11005-017-0990-7","accessed_at":"2026-08-22"},{"identifier":"doi:10.1142/S0129055X17500234","url":"https://doi.org/10.1142/S0129055X17500234","accessed_at":"2026-08-22"},{"identifier":"doi:10.1007/BF02100287","url":"https://doi.org/10.1007/BF02100287","accessed_at":"2026-08-22"}],"environments":["Windows private intake and normalization workspace","WSL2 Ubuntu 24.04.4 LTS x86_64, non-root uid 1000, CPython 3.11.9","Scientific commands executed offline under an unprivileged user and network namespace with 8 CPU affinity and an 8 GiB virtual-memory limit","Pinned OCI image sha256:7293dd85e78f11e1ef156c6e7c144c7b2e2c7efd7d36f752528d4a5b64c06868; Python 3.11.9; UID 65532; network namespace exposed only loopback during reconstruction."],"datasets":["paper/candidates/r05/unpacked/data/qubit_sweep.csv","paper/candidates/r05/unpacked/data/two_copy_sdp.csv","paper/candidates/r05/unpacked/data/two_copy_sdp_validation.json"],"random_seeds":[20260817,20260818,2707,27272026],"material_artifacts":["paper/candidates/r05/unpacked/paper/combined.pdf","claims/claims-r05.yaml","literature/release-r05/literature-audit.yaml","reviews/review-r05.yaml","reproduction/reproduction-v1.0.yaml","editorial/release-r05/editorial-decision.yaml"],"disclosures":{"private_chain_of_thought_preserved":false,"secrets_included":false,"notes":["Imported creator-side reviews, literature searches, and reproduction reports are evidence only and cannot grant Ledger gates.","All evidentiary numerical results are classical calculations; no quantum-hardware result supports this Research Object.","The optional archived IBM backend-snapshot emulation is preserved as non-evidentiary provenance and is excluded from public code, data, and figure routes."]}},"release_manifest":{"protocol_version":"0.2.0","record_id":"RO-2026-0003","release":"v1.0","candidate_digest":"439fe6cef721dba7cbde4716ae6c94918eebaade70d07cd10bb49b481d4cbed5","accepted_claims":["C1","C2","C3","C4","C5","C6","C7","C8"],"created_at":"2026-08-23T14:21:35.000Z","git_commit":"f61c3f07ec493e75bc3c49fea7977457ddb3ea7a","build":{"builder":"research-ledger-publisher/0.2.0","reproducible":true,"source_date_epoch":1787494895},"files":[{"path":"citation.bbl","sha256":"24be7f8f2c04564cd03986d2ec683cc831b074043a5cc55df9ff4ffec935f59a","bytes":299,"media_type":"application/x-tex","license":"CC-BY-4.0"},{"path":"citation.bib","sha256":"aaee682d2446abd74d71374a904b0591d72975c4ee2c132220afd9ac25872cd0","bytes":917,"media_type":"application/x-bibtex","license":"CC-BY-4.0"},{"path":"CITATION.cff","sha256":"d1ae41478ea7f3f8657d06fc3312982d8f022b90b1968bbcf72587ab630c0de9","bytes":1428,"media_type":"application/yaml","license":"CC-BY-4.0"},{"path":"citation.csl.json","sha256":"f80a73ca700be6e802475728157200a1d3900235885c3516710ab521bcfe61cc","bytes":1038,"media_type":"application/json","license":"CC-BY-4.0"},{"path":"claims/claims-r05.yaml","sha256":"701931cbe8abbf0b35e70c08d7072a2052249dfbe2a727e1bea5a69ca2ecea9b","bytes":8448,"media_type":"application/yaml","license":"CC-BY-4.0"},{"path":"editorial/release-r05/editorial-decision.yaml","sha256":"b8d47395c45a5ae3eb3fee0293b1bf60ba471076c5eacb1e963237f55558e4da","bytes":4051,"media_type":"application/yaml","license":"CC-BY-4.0"},{"path":"literature/release-r05/literature-audit.yaml","sha256":"b8ec51068f1b15b40c39ed44cb829f2e44056fbfc90b2a01f86d8ca64f7e5dda","bytes":12527,"media_type":"application/yaml","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/code/__pycache__/simulate_qubit_activation.cpython-311.pyc","sha256":"273e312831c7770db97495d7281cfaab3520ee9b2c7c80f775609caf70c7a4a0","bytes":21100,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/code/.gitkeep","sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","bytes":0,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/code/audit_pdf_links.py","sha256":"b6f085b95afb820475a40261d84558b37691a06059cadace1d7fd343e5eba1b8","bytes":2294,"media_type":"text/x-python","license":"Apache-2.0"},{"path":"paper/candidates/r05/unpacked/code/combine_letter_supplement.py","sha256":"b9a6b6ae5e0cbb50de74b46c97769da2bdaaba965777f1d674d63283ee10032a","bytes":1344,"media_type":"text/x-python","license":"Apache-2.0"},{"path":"paper/candidates/r05/unpacked/code/dark_pdf_tools.py","sha256":"48678d2443a8511363154c5f86a240910a9f4eb4aa5ca499221429695818ffb2","bytes":3919,"media_type":"text/x-python","license":"Apache-2.0"},{"path":"paper/candidates/r05/unpacked/code/independent_qubit_audit.py","sha256":"f08b28a054bf01e5a1c300ce8a1120a0a4f67f74efb7603dc8e7b47c6ba52689","bytes":4922,"media_type":"text/x-python","license":"Apache-2.0"},{"path":"paper/candidates/r05/unpacked/code/make_backend_snapshot_figure.py","sha256":"70d2a7356332917759638ecde72c0b50e7cfcdc3f189d929f4ac4d2476a0bb44","bytes":8531,"media_type":"text/x-python","license":"Apache-2.0"},{"path":"paper/candidates/r05/unpacked/code/make_contact_sheet.py","sha256":"9eb98b246e85806b9ed284926a9d726146c693e692b87d1780ff4629658835d9","bytes":1788,"media_type":"text/x-python","license":"Apache-2.0"},{"path":"paper/candidates/r05/unpacked/code/optimize_two_copy_sdp.py","sha256":"ee3abfdc3b34ab2dd818ec9bc296eafa0e968e16f86f9263006aabbdbc30e4ae","bytes":22942,"media_type":"text/x-python","license":"Apache-2.0"},{"path":"paper/candidates/r05/unpacked/code/package_pudim_letter_v001.py","sha256":"b8ab6c996439e3ab6e8938e9abd334c1c8613d45a14899511b05d3434926955f","bytes":8349,"media_type":"text/x-python","license":"Apache-2.0"},{"path":"paper/candidates/r05/unpacked/code/simulate_qubit_activation.py","sha256":"4764e2302d9a95c1523aebb3289ee2c6ae58d0278b765268d2f0c9a1d393655f","bytes":11920,"media_type":"text/x-python","license":"Apache-2.0"},{"path":"paper/candidates/r05/unpacked/data/.gitkeep","sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","bytes":0,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/data/independent_validation.json","sha256":"0bf71ecbc8214e30bf192b321bb7860db305ec661cb33c4206b3b22ac79a28d2","bytes":318,"media_type":"application/json","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/data/qubit_sweep.csv","sha256":"097527d8bec40f6564586b2f5604179207f272a768625d2b139e2b354966b0c9","bytes":51528,"media_type":"text/csv","license":"CC0-1.0"},{"path":"paper/candidates/r05/unpacked/data/two_copy_sdp_validation.json","sha256":"2b8ba7596a027b9be7c3a76106ba5d47fa4fb443d1a37407731e0adfcb2817b7","bytes":3184,"media_type":"application/json","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/data/two_copy_sdp.csv","sha256":"ea8f553c9661efc28e2f1587db5b98ddd528e58165afbbde5df76794558b1e8b","bytes":135114,"media_type":"text/csv","license":"CC0-1.0"},{"path":"paper/candidates/r05/unpacked/data/validation.json","sha256":"44c3b5d5dd9445b51a8fe272a2d50b17554e82530c7cad537a00edf2370e02a4","bytes":544,"media_type":"application/json","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/figures/.gitkeep","sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","bytes":0,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/figures/backend_snapshot_mc_detail.pdf","sha256":"5d3e4c4b701d261882bea5f13f46b72b41638c0d92097146f254a6e7d41d70e2","bytes":21638,"media_type":"application/pdf","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/figures/backend_snapshot_mc_detail.png","sha256":"2f57d45b9a432dab9ba1399bdb9416ebb5c5f49ebfba2f0bd6c57c5a237b3189","bytes":58480,"media_type":"image/png","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/figures/two_copy_qubit_dark.pdf","sha256":"9c23c9d6238c2c1905789324026eb8eef025d92da648ea68f6725e3954e61301","bytes":156153,"media_type":"application/pdf","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/figures/two_copy_qubit.pdf","sha256":"fa9b315e279ef2cc97912153669d3742b1d1fdba731cbcb7583b3eda393aab28","bytes":33412,"media_type":"application/pdf","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/figures/two_copy_qubit.png","sha256":"81f2384ec2142360797ca6aed0e2e0d4d6147b01d350f4924532ba1c18621796","bytes":150872,"media_type":"image/png","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/article.aux","sha256":"2f0c949bd6403bdd4617dc5f9ad9d602676c5359296ada6d80ef64ef88ccf351","bytes":10512,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/article.bbl","sha256":"c4ec3a08cf22de908f43f381fc6929d745a3f230956ea61c3cbacd44e2221e77","bytes":37084,"media_type":"application/x-tex","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/article.blg","sha256":"24137527927d2e284ef03275d0a007141959d05aff8b7f114713328539065bb8","bytes":2563,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/article.log","sha256":"4fbb62b179dde9bd25149675ea461421d59827463d85db178a535a2ac1da3018","bytes":32225,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/article.out","sha256":"7b0be658833c41c0314a0c2ee72c9cd7df60487c9a55528924f4e722b9dbb201","bytes":617,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/article.pdf","sha256":"35055339b9f409ad0e83cc9cfb3dd699024d00d4a2e8c1eca6e8af88cb39a85b","bytes":429079,"media_type":"application/pdf","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/articleNotes.bib","sha256":"61b9ca8a0eae79078bb6bcd4205c582b5f4f2ed0a16ece16a01837cc4718248d","bytes":104,"media_type":"application/x-bibtex","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/combined.pdf","sha256":"c6008029090ed8400691af7fd680de27373b63c3b0f9580a5046f1797b8c7e4c","bytes":790037,"media_type":"application/pdf","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/supplement.aux","sha256":"ab98ffdb0e37214378d051b326cb728a12fd127baab8f6bf4e503aa033ab975c","bytes":3301,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/supplement.bbl","sha256":"2fed98df0a1d54246a3aa99bfd0563504ffb975bf75e6396e4e78a5c4d9e4a10","bytes":5291,"media_type":"application/x-tex","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/supplement.blg","sha256":"ca828069bc677c0f3bfd99b45ba889d353e32f339a11fea9df1b76ed79d0cb51","bytes":2304,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/supplement.log","sha256":"18ad4a88c68f3059c2e613c5a6882308ca36d4364284cd75005a3a6a5436dcda","bytes":30841,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/supplement.out","sha256":"98ce826cc2c9084ea51698ca79c9da6ac5e46538a78d44156c6c262242a82ffa","bytes":2952,"media_type":"application/octet-stream","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/supplement.pdf","sha256":"0552a3d6dae1280f3b1c13399df6ca6b1e8dd604ef8b76fe1fe5906e3f07aabf","bytes":365155,"media_type":"application/pdf","license":"CC-BY-4.0"},{"path":"paper/candidates/r05/unpacked/paper/supplementNotes.bib","sha256":"61b9ca8a0eae79078bb6bcd4205c582b5f4f2ed0a16ece16a01837cc4718248d","bytes":104,"media_type":"application/x-bibtex","license":"CC-BY-4.0"},{"path":"provenance/provenance-r05.json","sha256":"f783248128cf7fbad3bc8b50053cace2e318b87b6d05a5f8b5e1f23708a7c363","bytes":5490,"media_type":"application/json","license":"CC-BY-4.0"},{"path":"reproduction/reproduction-v1.0.yaml","sha256":"62d83899a9f4097fc2e1b80997fd630ef577696fa1f3e59c69152f7a686c77d5","bytes":4759,"media_type":"application/yaml","license":"CC-BY-4.0"},{"path":"reviews/review-r05.yaml","sha256":"a364b4c7fc15ca94681080b1b499752ecf40affce141e676cb6794a84afea427","bytes":10626,"media_type":"application/yaml","license":"CC-BY-4.0"},{"path":"schema.org.jsonld","sha256":"fb25aa73fd3dc25d2173acd5806384e27da7050c4af58704a14f95d2c532b768","bytes":1531,"media_type":"application/ld+json","license":"CC-BY-4.0"}],"release_digest":"bcd7ea19a5c9695e2233bece624388e1bda2fed9bf67f27adc1716bee229792e","bundle_hashes":{"paper":"5899f4fed91f80392b53603ec1f7758a20eaf2d2df402bb2830d38c20dfaa855","claims":"66e08c7ae0077657da469b7040e8911a97bef7a881248a687d352983d6c5f2cb","literature":"7bb2e6e12dcb7f45888874aadb0b520afa7890b3e7340ca14450dc727881158b","reviews":"215ab2d9304fd8f239a622d77185a156c6677a99be872412c39da65df820d2b6","provenance":"80924f816438f7f4aaea63de784d0edf0659e49beea1415d4fb010b2b3d0249b"},"gates":{"solver":"PASS","novelty_audit":"PASS","adversarial_review":"PASS","independent_reproduction":"PASS","computation_reproduction":"PASS","editorial_gate":"PASS","build_provenance":"PASS"},"public_artifacts":["claims","code","data","editorial_decision","figures","literature_audit","paper","provenance","release_manifest","reproduction","review"],"doi":"10.5281/zenodo.22069572"}}}