A universal knowledge framework demotes content taxonomies to defaults and keeps answerability

Type: kb/types/note.md · Tags: document-system, foundations

A framework that aims to serve any knowledge base should not promote a closed first-order content taxonomy — a fixed list of the kinds or roles knowledge artifacts may have, such as exactly three content modes or one fixed type set — to a universal rule merely because it fits the collections already seen. Such a taxonomy should enter the framework as a guarded default. It should become universal only if its top-level categories survive heterogeneous worked cases without exceptions or relabeling. This is a burden-of-proof rule, not proof that a closed upper content ontology is impossible: a role-defined taxonomy that meets the burden may remain universal. Two things do survive universally. First, every collection must declare its contract (quality goal, conventions, maintenance semantics) in a form that writers, reviewers, and tools can load. Second, every artifact admitted as knowledge must satisfy one domain invariant: it must be answerable under an explicit correctness or currency test.

Why closed taxonomies fail at universality

The failure mode is induction from too small a sample. A framework's first taxonomies are usually abstracted from the KBs its authors have seen — often just one. The rules can be real and useful while their scope remains limited to the kind of KB they came from. A first-person committed methodology KB genuinely needs claim-shaped titles and "do I still believe this?" maintenance; exactly those rules would break a stance-neutral evidence map. They are profile features mistaken for universals because the originating case supplies no visible boundary. Demotion to a default follows because an experience should be abstracted into a lesson only when its boundary can be stated. A closed upper taxonomy that maps genuinely heterogeneous collections without exception or post-hoc relabeling would defeat this recommendation rather than be reclassified away.

Closure did real work; guards and defaults recover it

Demote, don't delete. A closed taxonomy earns its keep three ways, and each has a guarded replacement:

  • Routing. "This collection is theoretical" lets an agent infer the writing goal from one word. Keep that benefit by treating the taxonomy's entries as named default profiles: proven bundles that a new collection can adopt in one line.
  • Growth brake. "The list is complete" blocks speculative additions. Preserve that discipline with a worked-case guard: admit new entries only after they survive use in a real collection, never in anticipation of one.
  • Interoperability. Shared profile names let readers recognize conventions across collections. Preserve it with a shared catalogue whose published entries retain fixed meanings across adopters.

The guard protects the shared catalogue, not local experimentation. A new collection can declare and use a local contract immediately. Local extensions remain explicitly local and carry no cross-collection compatibility guarantee. Promotion waits until a contract has survived real use and its meaning can be shared without collision. This approach accepts a cold-start cost for novel collections while preventing local variation from silently claiming interoperability.

The invariant that stays closed: answerability

Universality cannot mean "any text." The invariant applies to artifacts admitted as knowledge, not to every workshop document or system-definition artifact used to operate the framework. An answerability relation counts only when the collection contract can name:

  • an external referent or outcome;
  • the correctness or currency property the artifact asserts about it; and
  • an observable discrepancy or change that triggers correction, qualification, or retirement.

Mere usefulness, provenance, audience response, or authorial intent does not count unless the artifact asserts fidelity to it. A claim answers to the world; a description, to a system; a prescription, to the outcomes of following it under stated conditions; an attributed position, to what the party asserts; a capture, to its source; and an index, to its promised coverage of a corpus. First-person commitment ("do I still believe this?") is one relation among several, not the framework's definition.

This gives edge cases a decision rule. An unresolved question qualifies only if the artifact asserts that the question remains open or relevant, with resolution or changed priorities as retirement conditions. Otherwise, it belongs in work-in-flight. A prompt may answer to observed behavior as a system-definition artifact, but that does not make it knowledge. Merely retaining an authored poem asserts no correctness or currency relation, while a capture of a poem can assert fidelity to its source. Maintenance is universal in form — every knowledge artifact has revision conditions — but local in content.

A consumer-derived universal

Within an agent-operated framework, bounded-context economy also applies to every collection contract because context efficiency is the central design concern in agent systems. This constraint is inherited from the chosen consumer; it does not establish the same universal for a framework with a different reader architecture.

Evidence

Commonplace supplies motivating instances, not proof of universal necessity. Types became path references, making the type set open and collection-local (ADR 018). The three registers became default text-contract profiles after a dialectical/evidential collection supplied a worked counterexample (ADR 042). Link vocabulary made an analogous move to collection-owned selections from a shared catalogue (ADR 019), but link labels classify relationships rather than content, so they are not a direct content-taxonomy case.

External systems expose the same trade-off without settling the theorem. Sparks gains a clean protocol from a hardcoded page shape because it is narrow, while ai-modules lets each wiki schema own an extensible page-type enum and accepts softer framework-wide consistency. Together with the Commonplace changes, these observations support guarded defaults as a design policy; they do not prove that no closed upper taxonomy can earn universal status.

Caveats

Not every closed set is a content taxonomy. Sets fixed by the consumer's architecture or the framework's machinery (e.g., the syntactic shape of frontmatter or the existence of a lifecycle) may stay closed. A semantic category does not become machinery merely because tools consume it: machinery may fix the interface shape while content values remain defaults. The stronger membership test is that first principles are inherited constraints, not design choices. A rule stays universal when changing it requires changing a consumer, substrate, domain, or machinery commitment, rather than merely choosing another workable classification under the same commitments. Finally, the claim applies to frameworks that aim at universality. A single-purpose KB can benefit from hardcoding its profile; the burden begins when that profile is exported. This last concession is contested: task-fitted structure costs cross-task reuse argues that a single-purpose KB's own question set drifts, so the burden arrives through time even when the profile is never exported.

Relevant Notes: