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!
|
Table of 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>