The Categories Are Not Scaffolding — They’re Load-Bearing Walls
Why the most consequential design decisions in intelligent systems are taxonomic, not algorithmic.
Every system that acts under uncertainty depends on a classification layer — a set of categories that determines what the system can represent and therefore what it can do. A doctor can only diagnose conditions their manual contains. A compiler can only select strategies its lattice enumerates. An agent can only reason about distinctions its architecture represents.
This paper argues that these classification layers function as infrastructure in the technical sense developed by Bowker and Star: embedded in other structures, transparent when working, constitutive rather than descriptive, and resistant to change once installed.
The implication is stark: improving the algorithm only searches within the space the taxonomy defines. Only taxonomic revision can expand it. And the taxonomy becomes invisible precisely when it is most consequential.
The better a taxonomy works, the harder it is to see as a taxonomy. Transparency produces reification: the tool becomes invisible, and the world it constructs is mistaken for the world as it is.
One Pattern, Three Domains
The same structural pattern — taxonomy defines possibility, optimization searches within it, taxonomy becomes invisible — appears in radically different systems.
The DSM’s diagnostic categories have become institutional infrastructure — persisting for decades despite known scientific inadequacy. They define what conditions are diagnosable, what insurance covers, how research is designed, how patients understand their own suffering. Multiple superior alternatives exist; none can displace the DSM because the switching costs are societal.
The plan lattice in a constrained decoding optimizer determines what strategies are discoverable. No cost model, however sophisticated, can find an operator the lattice doesn’t contain. A purely computational instance of the same structural pattern — no human institutions involved, but the constitutive property is identical.
A six-module cognitive architecture determines the behavioral ceiling of the agent. Of 20 information dimensions evaluated, 16 required explicit architectural support — no improvement in the underlying LLM produces them if the architecture doesn’t represent them. The adapter pattern provides a deliberate anti-reification mechanism.
Extendable by design. No looping. Technical switching costs.
Modular at the domain layer, constraining at the module layer.
Looping effects. Societal switching costs. No anti-reification mechanism.
Best When Invisible, Most Dangerous When Invisible
Classification works best when you don’t notice it — but that’s exactly when it’s hardest to question.
Categories are chosen as practical tools — provisional, purpose-specific, explicitly acknowledged as decisions. Everyone knows they’re making choices.
Categories get embedded in practice. They’re learned as part of professional socialization, linked to conventions, connected to standards and other systems.
Categories become invisible. Users look through them, not at them. They cease to feel like choices and start to feel like features of the world.
Categories are treated as discoveries rather than decisions. Provisional conventions harden into what feel like natural kinds. The taxonomy is now load-bearing — and nobody remembers building the walls.
The cycle is not a failure of vigilance. It is a consequence of infrastructure’s defining property: to function, it must be transparent; to be transparent, it must become invisible; to become invisible, it must cease to feel like a choice.
Taxonomic Commitment as First-Class Design
The paper doesn’t argue for taxonomic nihilism (all categories are arbitrary) or taxonomic perfectionism (there’s one right answer). It argues for taxonomic awareness: treating the classification layer as a first-class design decision with structural consequences that persist long after the decision is made.
The practical implications include building anti-reification mechanisms into systems (like SAGEN’s adapter pattern or LLM-QP’s formal equivalence proofs), designing layered taxonomic architectures that separate deep cognitive infrastructure from shallow domain taxonomy, and budgeting for taxonomic debt the same way we budget for technical debt.
This paper provides the shared theoretical framework that connects the author’s work on constrained decoding (LLM-QP) and cognitive architecture (SAGEN), showing they are instances of a single underlying pattern.