# The AMetric Boundary as a Unique Regime-Invariant Constraint on Admissibility-Bearing Construction: Pre-fixational authority, non-transmissivity, and complete interfaces

Reference edition; manuscript cover date 2026-09-20; publisher release date 2026-09-19; 67 PDF pages.

**Attributed reading aid, not a complete manuscript conversion or independent proof verification.**

Amos Jay Maley. The AMetric Boundary as a Unique Regime-Invariant Constraint on Admissibility-Bearing Construction: Pre-fixational authority, non-transmissivity, and complete interfaces. Reference edition, 2026-09-20. SHA256 fd0da8feb70e61de9474cc459ca8de6af2619206d439e62425e88334161a535e. DOI: 10.5281/zenodo.22848051.

[Read the exact PDF](https://constraintsystemsinstitute.org/manuscripts/ametric/sha256-fd0da8feb70e61de9474cc459ca8de6af2619206d439e62425e88334161a535e/manuscript.pdf)

## Imports

Locally uses kernel necessity (version 49 in ref.13). The Structure comparison in ref.18 is not a logical back-edge from Structure into the boundary theorem.

## Establishes

At a fixed authoritative equality-only atom interface, invariant readouts cannot recover additional distinctions without warranted richer input. Theorem 7.5 states the construction-neutral exclusion package with explicit accommodation of independently warranted enrichment.

## Supplies downstream

Supplies the conditional boundary/exclusion result and export discipline. Metricity applies a boundary package to physical metric licensing; the exact AMetric edition imported by the May Metricity paper is unresolved.

## Scope and limits

Formal symbols, carriers, equality patterns and tuple relations are available before target-specific physical standing. Proposition 3.8 allows invariant formal structures (including equality-based discrete metrics). Theorem 7.5 permits independently warranted richer inputs; it does not rule out every formal distinction, all metric calculations or all research programs.

## Evidence

- [Section 3.1 / Proposition 3.3 / Definition 3.4, PDF pp. 17–19](https://constraintsystemsinstitute.org/manuscripts/ametric/sha256-fd0da8feb70e61de9474cc459ca8de6af2619206d439e62425e88334161a535e/manuscript.pdf#page=17)
- [Proposition 3.8, PDF pp. 21–22](https://constraintsystemsinstitute.org/manuscripts/ametric/sha256-fd0da8feb70e61de9474cc459ca8de6af2619206d439e62425e88334161a535e/manuscript.pdf#page=21)
- [Theorem 7.5 / Section 7.6, PDF pp. 39–40](https://constraintsystemsinstitute.org/manuscripts/ametric/sha256-fd0da8feb70e61de9474cc459ca8de6af2619206d439e62425e88334161a535e/manuscript.pdf#page=39)
- [References 13 and 18, PDF pp. 67–67](https://constraintsystemsinstitute.org/manuscripts/ametric/sha256-fd0da8feb70e61de9474cc459ca8de6af2619206d439e62425e88334161a535e/manuscript.pdf#page=67)