{"publication":{"title":"Sealed or Leaky: The Source Tetralemma, Bell-Certified Hidden Information, and Finite-Resource Witnesses","shortTitle":"Sealed or Leaky","description":"Information can survive in the whole and remain inaccessible to a readout. Bell bounds, reversible seals, operational surrogates and finite-resource witnesses make that distinction quantitative.","doi":"10.5281/zenodo.23077474","doiUrl":"https://doi.org/10.5281/zenodo.23077474","version":"3.1","webDate":"2026-10-01","manuscriptDate":"2026-09-21","url":"/sealed-or-leaky","articleUrl":"/articles/sealed-or-leaky","pdfUrl":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.pdf","texUrl":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","markdownUrl":"/publications/sealed-or-leaky/sealed-or-leaky.md","verificationUrl":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1_Verification.py","paperSlug":"sealed-or-leaky"},"edition":"Complete technical web edition","documents":[{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"overview-and-publication-identity","title":"Overview and publication identity","label":"","kind":"frontmatter","order":1,"url":"/sealed-or-leaky/overview-and-publication-identity","sections":[],"stats":{"equations":9,"displayEquations":0,"theorems":0,"proofs":0,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":9},"markdownUrl":"/publications/sealed-or-leaky/chapters/overview-and-publication-identity.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":45,"pdfPage":1,"pdfEndPage":2,"texEndLine":75}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"question-main-result-and-scope","title":"Question, main result, and scope","label":"Section 1","kind":"section","order":2,"url":"/sealed-or-leaky/question-main-result-and-scope","sections":[{"anchor":"section-1","title":"Question, main result, and scope","number":"1","level":2},{"anchor":"paragraph-1","title":"Main implication.","number":"","level":4},{"anchor":"paragraph-2","title":"What the tetralemma does not say.","number":"","level":4},{"anchor":"paragraph-3","title":"Published-data anchoring.","number":"","level":4},{"anchor":"paragraph-4","title":"Attribution and contribution.","number":"","level":4},{"anchor":"section-1-1","title":"Conventions and levels of conclusion","number":"1.1","level":3}],"stats":{"equations":22,"displayEquations":2,"theorems":0,"proofs":0,"tables":1,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":22},"markdownUrl":"/publications/sealed-or-leaky/chapters/question-main-result-and-scope.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":76,"pdfPage":4,"pdfEndPage":4,"texEndLine":123}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"the-source-tetralemma","title":"The source tetralemma","label":"Section 2","kind":"section","order":3,"url":"/sealed-or-leaky/the-source-tetralemma","sections":[{"anchor":"section-2","title":"The source tetralemma","number":"2","level":2},{"anchor":"section-2-1","title":"Setting and premises","number":"2.1","level":3},{"anchor":"section-2-2","title":"Guessing and hidden information","number":"2.2","level":3},{"anchor":"section-2-3","title":"The four explicit escape models and their exact logical status","number":"2.3","level":3}],"stats":{"equations":147,"displayEquations":9,"theorems":9,"proofs":7,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":147},"markdownUrl":"/publications/sealed-or-leaky/chapters/the-source-tetralemma.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":124,"pdfPage":5,"pdfEndPage":9,"texEndLine":285}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"experimental-anchoring","title":"Experimental anchoring","label":"Section 3","kind":"section","order":4,"url":"/sealed-or-leaky/experimental-anchoring","sections":[{"anchor":"section-3","title":"Experimental anchoring","number":"3","level":2},{"anchor":"section-3-1","title":"A finite-sample likelihood statement, not a central-value entropy claim","number":"3.1","level":3},{"anchor":"section-3-2","title":"Published CHSH values: illustrations only","number":"3.2","level":3},{"anchor":"section-3-3","title":"Bierhorst-admissible information and the actual protocol word","number":"3.3","level":3},{"anchor":"paragraph-5","title":"Alphabet and symbol translation.","number":"","level":4},{"anchor":"paragraph-6","title":"Causal padding is part of the record map.","number":"","level":4},{"anchor":"paragraph-7","title":"Source and numerical quantities.","number":"","level":4},{"anchor":"paragraph-8","title":"The exact imports used.","number":"","level":4},{"anchor":"section-3-4","title":"Extracted randomness translated into source-response entropy","number":"3.4","level":3},{"anchor":"section-3-5","title":"A stronger finite-sample consequence without an extractor or source–setting independence","number":"3.5","level":3},{"anchor":"section-3-6","title":"Who certifies what, and what remains a gap","number":"3.6","level":3},{"anchor":"paragraph-9","title":"Explicit unresolved empirical scope.","number":"","level":4}],"stats":{"equations":294,"displayEquations":35,"theorems":13,"proofs":11,"tables":1,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":288},"markdownUrl":"/publications/sealed-or-leaky/chapters/experimental-anchoring.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":286,"pdfPage":9,"pdfEndPage":17,"texEndLine":661}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"the-escape-routes-and-their-boundaries","title":"The escape routes and their boundaries","label":"Section 4","kind":"section","order":5,"url":"/sealed-or-leaky/the-escape-routes-and-their-boundaries","sections":[{"anchor":"section-4","title":"The escape routes and their boundaries","number":"4","level":2},{"anchor":"paragraph-10","title":"Branching.","number":"","level":4},{"anchor":"paragraph-11","title":"Fundamental chance.","number":"","level":4},{"anchor":"paragraph-12","title":"Measurement dependence.","number":"","level":4},{"anchor":"paragraph-13","title":"Accessible nonlocality.","number":"","level":4}],"stats":{"equations":1,"displayEquations":0,"theorems":0,"proofs":0,"tables":1,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":1},"markdownUrl":"/publications/sealed-or-leaky/chapters/the-escape-routes-and-their-boundaries.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":662,"pdfPage":17,"pdfEndPage":17,"texEndLine":687}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"operational-equivalence-and-its-restricted-alternatives","title":"Operational equivalence and its restricted alternatives","label":"Section 5","kind":"section","order":6,"url":"/sealed-or-leaky/operational-equivalence-and-its-restricted-alternatives","sections":[{"anchor":"section-5","title":"Operational equivalence and its restricted alternatives","number":"5","level":2},{"anchor":"paragraph-14","title":"Temporal and intervention consistency.","number":"","level":4}],"stats":{"equations":40,"displayEquations":4,"theorems":2,"proofs":2,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":40},"markdownUrl":"/publications/sealed-or-leaky/chapters/operational-equivalence-and-its-restricted-alternatives.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":688,"pdfPage":18,"pdfEndPage":19,"texEndLine":812}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"deterministic-completions-require-unresolved-information","title":"Deterministic completions require unresolved information","label":"Section 6","kind":"section","order":7,"url":"/sealed-or-leaky/deterministic-completions-require-unresolved-information","sections":[{"anchor":"section-6","title":"Deterministic completions require unresolved information","number":"6","level":2}],"stats":{"equations":46,"displayEquations":3,"theorems":1,"proofs":1,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":46},"markdownUrl":"/publications/sealed-or-leaky/chapters/deterministic-completions-require-unresolved-information.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":813,"pdfPage":20,"pdfEndPage":20,"texEndLine":879}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"conservation-of-complete-information-and-operational-sealing","title":"Conservation of complete information and operational sealing","label":"Section 7","kind":"section","order":8,"url":"/sealed-or-leaky/conservation-of-complete-information-and-operational-sealing","sections":[{"anchor":"section-7","title":"Conservation of complete information and operational sealing","number":"7","level":2},{"anchor":"paragraph-15","title":"A finite reversible counterexample.","number":"","level":4},{"anchor":"paragraph-16","title":"Persistent forward sealing under reversible dynamics.","number":"","level":4},{"anchor":"paragraph-17","title":"What retained records prevent.","number":"","level":4}],"stats":{"equations":39,"displayEquations":5,"theorems":1,"proofs":1,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":39},"markdownUrl":"/publications/sealed-or-leaky/chapters/conservation-of-complete-information-and-operational-sealing.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":880,"pdfPage":21,"pdfEndPage":21,"texEndLine":977}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"what-a-quantum-preparation-description-necessarily-omits","title":"What a quantum preparation description necessarily omits","label":"Section 8","kind":"section","order":9,"url":"/sealed-or-leaky/what-a-quantum-preparation-description-necessarily-omits","sections":[{"anchor":"section-8","title":"What a quantum preparation description necessarily omits","number":"8","level":2},{"anchor":"section-8-1","title":"A sharp finite-table separation and a robust witness","number":"8.1","level":3}],"stats":{"equations":117,"displayEquations":12,"theorems":4,"proofs":4,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":117},"markdownUrl":"/publications/sealed-or-leaky/chapters/what-a-quantum-preparation-description-necessarily-omits.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":978,"pdfPage":22,"pdfEndPage":24,"texEndLine":1193}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"operational-sealing-and-quantitative-failures-of-povm-form","title":"Operational sealing and quantitative failures of POVM form","label":"Section 9","kind":"section","order":10,"url":"/sealed-or-leaky/operational-sealing-and-quantitative-failures-of-povm-form","sections":[{"anchor":"section-9","title":"Operational sealing and quantitative failures of POVM form","number":"9","level":2}],"stats":{"equations":80,"displayEquations":5,"theorems":3,"proofs":3,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":80},"markdownUrl":"/publications/sealed-or-leaky/chapters/operational-sealing-and-quantitative-failures-of-povm-form.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":1194,"pdfPage":24,"pdfEndPage":26,"texEndLine":1345}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"the-measurement-constitutions-and-the-scope-of-their-sealing","title":"The measurement constitutions and the scope of their sealing","label":"Section 10","kind":"section","order":11,"url":"/sealed-or-leaky/the-measurement-constitutions-and-the-scope-of-their-sealing","sections":[{"anchor":"section-10","title":"The measurement constitutions and the scope of their sealing","number":"10","level":2},{"anchor":"section-10-1","title":"Pointwise and uniform sealing in the Bell limit","number":"10.1","level":3},{"anchor":"section-10-2","title":"Source distinctions that are not automatically records","number":"10.2","level":3},{"anchor":"section-10-3","title":"What is and is not transferred between constitutions","number":"10.3","level":3}],"stats":{"equations":21,"displayEquations":4,"theorems":1,"proofs":1,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":21},"markdownUrl":"/publications/sealed-or-leaky/chapters/the-measurement-constitutions-and-the-scope-of-their-sealing.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":1346,"pdfPage":26,"pdfEndPage":27,"texEndLine":1392}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"finite-pilot-resources-exact-inventories-and-retained-records","title":"Finite pilot resources: exact inventories and retained records","label":"Section 11","kind":"section","order":12,"url":"/sealed-or-leaky/finite-pilot-resources-exact-inventories-and-retained-records","sections":[{"anchor":"section-11","title":"Finite pilot resources: exact inventories and retained records","number":"11","level":2},{"anchor":"section-11-1","title":"Microscopic input and exchangeability","number":"11.1","level":3},{"anchor":"section-11-2","title":"A coherent writer preserving a drained count","number":"11.2","level":3},{"anchor":"section-11-3","title":"An operational same-density-matrix witness","number":"11.3","level":3},{"anchor":"section-11-4","title":"A retained distant-setting witness in the same model","number":"11.4","level":3},{"anchor":"section-11-5","title":"Joint finite resources and empirical scope","number":"11.5","level":3},{"anchor":"section-11-6","title":"Why randomizing only the initial residue does not restore Born endpoints","number":"11.6","level":3},{"anchor":"section-11-7","title":"A proved undrained asymptotic and its access boundary","number":"11.7","level":3}],"stats":{"equations":310,"displayEquations":40,"theorems":10,"proofs":10,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":310},"markdownUrl":"/publications/sealed-or-leaky/chapters/finite-pilot-resources-exact-inventories-and-retained-records.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":1393,"pdfPage":28,"pdfEndPage":36,"texEndLine":1741}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"setting-dependence-controlled-nonequilibrium-and-access","title":"Setting dependence, controlled nonequilibrium, and access","label":"Section 12","kind":"section","order":13,"url":"/sealed-or-leaky/setting-dependence-controlled-nonequilibrium-and-access","sections":[{"anchor":"section-12","title":"Setting dependence, controlled nonequilibrium, and access","number":"12","level":2},{"anchor":"section-12-1","title":"A sharp quantitative version of the transition-set argument","number":"12.1","level":3},{"anchor":"section-12-2","title":"A finite massive realization: replacing an exact-record premise","number":"12.2","level":3},{"anchor":"section-12-3","title":"Delayed action meters and the locality of their access","number":"12.3","level":3},{"anchor":"section-12-4","title":"Statistical design for a conditional finite-pilot test","number":"12.4","level":3}],"stats":{"equations":191,"displayEquations":17,"theorems":6,"proofs":5,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":191},"markdownUrl":"/publications/sealed-or-leaky/chapters/setting-dependence-controlled-nonequilibrium-and-access.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":1742,"pdfPage":36,"pdfEndPage":41,"texEndLine":2170}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"assumptions-and-result-status","title":"Assumptions and result status","label":"Section 13","kind":"section","order":14,"url":"/sealed-or-leaky/assumptions-and-result-status","sections":[{"anchor":"section-13","title":"Assumptions and result status","number":"13","level":2}],"stats":{"equations":35,"displayEquations":0,"theorems":0,"proofs":0,"tables":2,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":35},"markdownUrl":"/publications/sealed-or-leaky/chapters/assumptions-and-result-status.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":2171,"pdfPage":42,"pdfEndPage":42,"texEndLine":2224}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"what-the-results-establish-about-source-reality","title":"What the results establish about source reality","label":"Section 14","kind":"section","order":15,"url":"/sealed-or-leaky/what-the-results-establish-about-source-reality","sections":[{"anchor":"section-14","title":"What the results establish about source reality","number":"14","level":2},{"anchor":"paragraph-18","title":"Remaining gaps, not strengthened claims.","number":"","level":4},{"anchor":"paragraph-19","title":"Other no-go results and the operational ceiling.","number":"","level":4}],"stats":{"equations":7,"displayEquations":0,"theorems":0,"proofs":0,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":7},"markdownUrl":"/publications/sealed-or-leaky/chapters/what-the-results-establish-about-source-reality.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":2225,"pdfPage":43,"pdfEndPage":43,"texEndLine":2245}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"research-transparency-and-reproducibility","title":"Research transparency and reproducibility","label":"","kind":"backmatter","order":16,"url":"/sealed-or-leaky/research-transparency-and-reproducibility","sections":[{"anchor":"paragraph-20","title":"Research transparency and reproducibility","number":"","level":2},{"anchor":"paragraph-21","title":"AI assistance.","number":"","level":4},{"anchor":"paragraph-22","title":"Funding and collaboration.","number":"","level":4},{"anchor":"paragraph-23","title":"Computational materials.","number":"","level":4}],"stats":{"equations":0,"displayEquations":0,"theorems":0,"proofs":0,"tables":0,"bibliographyEntries":0,"figures":0,"sourceBodyEquations":0},"markdownUrl":"/publications/sealed-or-leaky/chapters/research-transparency-and-reproducibility.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":2246,"pdfPage":45,"pdfEndPage":45,"texEndLine":2256}},{"paperId":"sealed-or-leaky","publicationId":"sealed-or-leaky","slug":"references","title":"References","label":"","kind":"bibliography","order":17,"url":"/sealed-or-leaky/references","sections":[],"stats":{"equations":0,"displayEquations":0,"theorems":0,"proofs":0,"tables":0,"bibliographyEntries":40,"figures":0,"sourceBodyEquations":0},"markdownUrl":"/publications/sealed-or-leaky/chapters/references.md","source":{"texFile":"/publications/sealed-or-leaky/Sealed_or_Leaky_v3.1.tex","texStartLine":2257,"pdfPage":46,"pdfEndPage":46,"texEndLine":2319}}]}