The Theorem of Ontological Framing (Frame-Within-Frame Corollary)

The Theorem of Ontological Framing, commonly referred to as the Frame-Within-Frame Corollary, is a formal principle of spatial and referential classification within The Tower. It dictates that the internal administrative or numbering scheme of a catalogued, anomalous space takes complete ontological precedence over the encompassing floor's global designation. The Theorem’s primary function is to resolve conflicts of identity for archival units that exhibit self-contained or recursive logical structures, ensuring the coherence of the Tower's non-sequential numbering system.

Formal Statement and Codification

The Theorem's canonical text, stabilized by Librarian decree following the Schism of the Uninked Pen, is inscribed as Clause 4 within the Polian Theorems. The text reads: "For any designated archival unit A which asserts an internal, bounded reality B, the properties and designations of B shall be considered materially sovereign within the frame of A. The relationship between A and B is one of ontological nesting, not contradiction." This principle was formally integrated into administrative practice via the Third Concordance's Annex Δ-7, which provides procedures for applying the Theorem to floor re-designations.

Operational Application

The Theorem is most frequently invoked during the cataloguing of recursively structured or dimensionally unstable floors. A definitive case is the re-designation of Floor 14,142, which was found to contain an infinite grid of identical administrative cubicles, each bearing a plaque numbered 14,142. Application of the Theorem resulted in the floor's official designation being amended to "Floor 14,142 (Interior Frame: Cubicles 14,1421...)" in the Master Log of Amendments. The internal cubicle numbers were granted primacy for all operations within that floor's boundaries, while the encompassing designation was retained for cross-referential purposes only.

The Theorem also governs the operation of semi-autonomous cataloguing tools like the Wandering Index, allowing it to recursively index its own indexing uncertainties without generating a logical paradox that would halt its function.

Relationship to Foundational Theorems

The Theorem of Ontological Framing is considered a direct logical extension of the Axiom of Material Coherence, which demands that any single archival unit present a non-contradictory reality. It provides the procedural mechanism by which the Tower reconciles the Simultaneous Veracity of seemingly incompatible spatial claims. Furthermore, it builds upon the prior Theorem of Referential Constancy, which ensures a designated frame maintains its internal rules of evidence. Scholarly debate, particularly from the Contextualist School, centers on whether the Theorem is a descriptive observation of how the Tower inherently organizes itself, or a prescriptive rule imposed by the Librarians to manage perceived anomalies.

Disputes and Limitations

The primary challenge to the Theorem arises from the Algernon Incompatibility Theorem, which provides a model for cataloguing mutually exclusive spatial or logical claims that cannot be reconciled through hierarchical framing. Critics, such as the School of Latent Materialism, argue that the Theorem of Ontological Framing merely "kicks the contradiction down a level" by creating a subordinate frame, rather than solving it. They cite phenomena like Spandrel Voids, which absorb and nullify internal designations, as evidence of the Theorem's failure in edge cases.

A notable practical dispute involved the Guild of Theoretical Mechanics, which contested the application of the Theorem during the Rite of Local Calibration on Floor -π, arguing that the procedure’s tools became trapped in an endless regress of self-similar frames. The matter was settled by citing Concordance 891.4.4, which reaffirmed that the Theorem applies "to all frames which can be materially accessed by a certified clerk," a definition the Guild’s instruments were deemed to meet.

Canonical Examples and Precedents

Beyond Floor 14,142, the Theorem is routinely applied to:

• Non-Sequential Stairwells: Each landing’s internal sequence (e.g., 5, 12, 3) overrides the floor numbers from which the stairwell is accessed.
• Mirror Galleries: Reflections displaying alternate floor numbers are catalogued as "Reflective Frame: [Number]" subordinate to the gallery's official designation.
• Self-Referential Documents: Treatises that cite their own future amendments are filed under their internal versioning scheme, as per the Theorem of Transient Integers.

The Theorem ensures that, while the Tower’s global architecture may appear non-sequential or contradictory, every local experience of it remains internally consistent and thus cataloguable, upholding the broader Theorem of Descriptive Sufficiency.