Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | English |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.17972485 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866901246953127936 |
|---|---|
| author | Moore, Duston |
| author_facet | Moore, Duston |
| contents | <p>Verification pipelines fundamentally separate generative components from certification mechanisms. This paper argues that this separation reflects a structural limit on internal certification, not a mere engineering choice. We establish three formal results. First, we prove that no sentential calculus satisfying extensional replacement is sound for boundary-constrained consequence, demonstrating why correctness fails at layer interfaces. Second, the Production-Closure Separation Theorem shows that in expressive systems, closure cannot be realized by finite productive operations. Third, the Measure-Partition Mismatch Theorem shows that probabilistic methods cannot correct ontological misalignment when safety-critical distinctions are absent from the event algebra. We derive the Boundary Discipline Principle and formalize an explicit sealing protocol for layered verification architectures.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17972485 |
| institution | Zenodo |
| language | eng |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Boundary Discipline and the Structural Limits of Internal Certification Moore, Duston <p>Verification pipelines fundamentally separate generative components from certification mechanisms. This paper argues that this separation reflects a structural limit on internal certification, not a mere engineering choice. We establish three formal results. First, we prove that no sentential calculus satisfying extensional replacement is sound for boundary-constrained consequence, demonstrating why correctness fails at layer interfaces. Second, the Production-Closure Separation Theorem shows that in expressive systems, closure cannot be realized by finite productive operations. Third, the Measure-Partition Mismatch Theorem shows that probabilistic methods cannot correct ontological misalignment when safety-critical distinctions are absent from the event algebra. We derive the Boundary Discipline Principle and formalize an explicit sealing protocol for layered verification architectures.</p> |
| title | Boundary Discipline and the Structural Limits of Internal Certification |
| url | https://doi.org/10.5281/zenodo.17972485 |