RTCG-P4, version 1.0, is a Complementarity-First preprint on using signed preparation-calibration responses to sharpen a uniform certificate for a prescribed complete quantum instrument. Fifteen trusted Pauli analyzers on each of six preparations determine the target contribution to a displaced-input validation response. Complete-flag trace cancellation bounds the remaining unknown-instrument contribution by an acquired preparation allowance times the actual unhalved flagged diamond error. An inherited source-specific instrument estimate then yields a record-based maximum-of-ratios bound with explicit denominator, cap, and fallback conditions. The same-record synthetic count comparison improves from 0.000079105273917 to 0.000071209076256. A support-preserving preparation-error population example gives the new sufficient upper 0.000074611876587 versus the inherited 0.008404839640705. The latter is a population comparison; it does not establish nonnominal finite-sample power. Both certificate rules hold on the same confidence event. Named-source power retains nominal actual calibration, and the fixed acquisition schedule remains unchanged. The written proofs allow arbitrary complete complex CP competitors under the stated trusted-reference, shared-world and within-setting iid sampling contract, with dependence between settings allowed. Exact finite source and implementation evidence is provided. A source-matched Lean companion supports the deterministic response and conditional instrument-composition chain. Physical acquisition/source estimates, the complete-channel cap, identification of the full compatible family, stabilization/representation, and probability/count implementation retain their explicit formal boundaries. The public materials are the main manuscript, supplement, and selected reproducibility companion with editable LaTeX, exact numerical inputs and code, accepted Lean sources, historical execution evidence and verification instructions. Manuscript, documentation and author-owned data are licensed under CC BY 4.0; original numerical, checking and Lean code are licensed under MIT. Retained inherited and third-party notices continue to apply.
No takes yet. Share an insight, caveat, or question.
Qingchun Zhang (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: