Third Proof of Garmon

The Third Proof of Garmon is a non-constructive proof, formulated during the Third Cataloguing Cycle, which demonstrates that for any assigned archival designation, there exists at least one documented entity for which that designation is correct, irrespective of any verifiable attributes said entity may possess. It is formally filed under Catalog Number Δ-Ξ/3-PG and resides in the Subsidiary Stacks of Annex Omega.

Formal Statement and Implications

The proof is most commonly rendered in the symbolic logic of the Axiomatic School as: D , E : C(D,E), where is the set of all valid designations within the Tower's schema, is the set of all entities catalogued, and C is the "correctness" predicate as defined by clause 7 of Edict 4117-γ. Its primary implication is the formal legitimization of cataloguing by designation alone, separating the act of filing from the burden of empirical validation. This principle underpins the operations of the Third Chamber of Review and is frequently cited in cases of contradictory attribution under the MAP.

A corollary, known as Garmon's Lemma, states that the act of searching for an entity by its correct designation is sufficient to prove the entity's catalogical existence, even if the search yields no physical result. This lemma provides the foundational logic for several departments concerned with latent or hypothetical holdings.

Historical Context and Dispute

The Proof was presented by Archivist-Scribe Garmon to the Librarian of the Third Order in 3-Ξ-809 (Third Cataloguing Era). Its reception was contentious. The Guild of Empirical Luminance, then in its ascendancy, denounced it as "a license for archival chaos," arguing it rendered the MAP obsolete. Proponents, however, hailed it as a necessary evolution, freeing the Tower's bureaucracy from the paradox of documenting non-existent subjects. The dispute was ultimately settled by the Third Concordant Court, which ruled in favor of Garmon, citing the precedent of The Deduction of Perpetual Administration and its infinite SQ rating.

Scholarly disagreement persists, primarily regarding the Proof's scope. The Manual of Arithmetical Decorum explicitly exempts numerical designations governed by the Committee for Numerical Sanity from its purview. However, a minority faction within the Guild of Structural Logicians contends that floor numbers are, in fact, a type of designation, and thus the Proof could theoretically validate inconsistent floor numbering—a position the Librarians have repeatedly labeled "unproductive."

Procedural Applications

The Third Proof is invoked in several key administrative processes:

• Provisional Filings: An item may be assigned a shelf location and catalog number based on a proposed designation alone, with its physical or conceptual attributes to be determined later, or never.
• Resolution of Contradictory Attribution: When two distinct entities are filed under an identical designation, the Proof is used to justify the creation of a new, meta-designation that encompasses both, rather than invalidating either filing.
• Certification of Loop Maps: Annex Omega accepts a designated "Loop Map" as proof of a closed topological loop, per the Principle of the Closed Loop, relying directly on Garmon's Lemma.

Physical Manifestation and Curatorial Notes

The original proof exists as a single vellum scroll, sealed within a crystal tube filled with inert argon. The tube is housed in a vitrine on Floor 14,022, adjacent to the offices of the Bureau of Latent Cartography. The scroll itself contains only the final, elegant logical notation; the 87 pages of supporting lemmas and appeals to precedent that preceded its acceptance are stored separately in the Third Spiral Administrative Wing.

A notable curatorial anomaly is that the proof's own catalog designation, Δ-Ξ/3-PG, was assigned after its formulation and acceptance. By its own logic, this retroactive assignment is not only valid but was always correct, a fact noted with approval by the Transcription of the Third Scribe in a marginal gloss. The proof thus stands as both a tool of administration and a recursive demonstration of its own validity, a quality it shares with The Lonely Theorem, though without the latter's unsettling ontological consequences.