Current reading edition · 2026-09-21
The Structure of Admissibility
Bivalent Qualification, Exhaustion, and the Unique Admissible Interior
Amos Jay Maley · 46 pages
Bivalent qualification is an exact quotient only when all required original observations are constant on the bit fibres. It constructs the greatest safe interior relative to independently fixed qualification and continuation edges, and gives finite failed-path and exhaustion witnesses.
Earlier versions
- Public release · 2026-06-19 (10.5281/zenodo.20762258)
- Structure revised reference with explicit test examples, 20 September 2026 — citation reference only. Exact imported bytes are unconfirmed; this reference PDF is not hosted here.
About this paper and citation
- Imports
- Reconstructs kernel version 49 and AMetric boundary arguments locally; §1.4 distinguishes this support from using later conclusions as premises.
- Supplies downstream
- Supplies complete-profile and continuation-interior machinery used in fixed-domain exhaustion and referenced by ATS. The downstream cited edition is the 20 September examples reference.
- Scope and limits
- The interior may be empty. Uniqueness concerns the complete/maximal interior for fixed data, not every safe subset or a unique physical occupant. Failure retention and negative endpoint absorption have different conditions.
Optional source references - these jump to sections and theorems in this same PDF.
- Section 1.4 · PDF pp. 6–7
- Theorems 5.5-5.6 · PDF pp. 16–17
- Theorems 6.3-6.6 · PDF pp. 20–21
- Theorem 7.2 · PDF pp. 23
- Theorem 8.6 · PDF pp. 29
Amos Jay Maley. The Structure of Admissibility: Bivalent Qualification, Exhaustion, and the Unique Admissible Interior. Publication reference, 2026-09-21. SHA256 065979305b2fc1593abb343e72a86d0ed9c967c089d1a9cbf91be650de25eff2. DOI: 10.5281/zenodo.22874934.
Manuscript cover date: 2026-09-21. Publisher release date: 2026-09-21.
SHA256 065979305b2fc1593abb343e72a86d0ed9c967c089d1a9cbf91be650de25eff2
Work record (all versions) · Edition metadata · Reading aid as Markdown
The PDF matches the exact publisher release. A complete manuscript HTML conversion has not been verified. A newer reading edition does not replace the exact edition cited by a downstream theorem.