Great Re Cataloguingthe Case of the Perpetually Absent Goat

The Case of the Perpetually Absent Goat was a landmark adjudication conducted by the Librarians of The Tower that established the legal precedents for both cataloguing unmanifest phenomena and the proper use of Algernon's Theorem on Conceptual Plenitude. Initiated in the 12th year of the Twelfth Great Clock (c. 3149), the case concluded after eight cycles of deliberation, resulting in the creation of Form G-44 ("Declaration of Intent to Catalogue an Absence") and the formal recognition of praeter catalogum (beyond-catalogue) status.

Origins and Initial Filing

The case stemmed from a filing by Aris, a permit-holder studying the Western Spiral, who sought to catalogue "a goat of surpassing obstinacy which, despite all logical induction and historical precedent, has never been present." The original application, filed on Form L-17 "Request for Descent", was rejected by the Bureau of Implementable Abstraction on grounds of non-implementation: no implementable abstraction for the goat could be drafted, as no properties, dimensions, or behavioral matrices could be ascribed to an entity with zero confirmed manifestations. Aris appealed, citing Algernon's Theorem on Conceptual Plenitude, which posits that "for any concept sufficiently defined to be disputed, a plenitude of potential instantiations must be presumed to exist, if only in adjacent epistemic vectors."

Adjudication and Key Testimonies

The appeal panel, chaired by Senior Librarian Arlo Vex, heard extensive testimony. The Guild of Clockwork Purists argued that cataloguing an absence would introduce a paradox into the indexing engines, akin to the issues seen during the Great Stairwell Debacle of 3142. Conversely, scholars from the Bureau of Implementable Abstraction's newly formed Form Genesis Division contended that the act of filing created a new administrative category—that of the "persistently absent"—which itself demanded documentation. Key to the proceedings was the introduction of evidence from the Case of the Perpetually Pending Request, which had established that certain procedural states could be auto-generative and ontologically substantive.

Ruling and Precedents Set

The final ruling, Concordance Amendment 771-Alpha, established several principles:

1. The Principle of Intentional Absence: An entity may be entered into the Matriculation Ledger as praeter catalogum if a certified declaration of intent to catalogue it exists, and if the entity's absence is its defining and only consistent attribute.
2. Application of Algernon's Theorem: The Theorem applies only to concepts that have generated "administrative friction," such as a rejected form or an unresolved appeal. The goat, by virtue of the case, was deemed to have met this threshold.
3. Formalization of G-44: The new form required the applicant to describe not the absent entity, but the space of its absence—the expected dimensions, the duration of non-appearance, and the effects of its non-arrival.

The goat itself was assigned Catalogue Number Ø-771, marking the first use of the null-set glyph in a permanent designation.

Administrative and Practical Consequences

The immediate effect was a surge in filings for praeter catalogum entities, including the Symmetry of Absent Footnotes, the Echo Preceding the Great Dimming, and several disputed clauses from the Sixth Concordance. This necessitated the creation of the Department of Latent Holdings within the Bureau of Implementable Abstraction. Practically, the ruling provided a procedural outlet for phenomena observed during the Great Re-cataloguing, where gaps in the record were as significant as the entries themselves. It also indirectly influenced the handling of the Case of the Receding Reference Desk, where the desk's tendency to withdraw was re-classified not as a malfunction, but as a sustained state of "operational absence."

Scholarly Disputes and Legacy

Primary scholarly disagreement centers on whether the ruling correctly applied Algernon's Theorem. The Guild of Clockwork Purists maintains that the Theorem was misapplied to a "non-concept," and that the resultant G-44 form generates only "meta-absence," a recursive administrative void. Proponents, however, point to the stability it brought to the Great Taxonomy of Implied Fauna and its role in resolving the The Matter of the Un-numbered Door. The Case of the Perpetually Absent Goat is now routinely cited in any proceeding involving incomplete manifestations, unresolved references, or procedural ghosts, cementing its place as a cornerstone of Tower Concordance law regarding the documentation of what is not there.