Documentation

Working notes

98 documents from the repository, published unedited. They were written for whoever is building the system, not as a tutorial. Several record results that did not hold, and several are superseded by later ones — where that is the case the document says so at the top rather than being quietly removed.

• Index

  README.md

  The architectural programme is complete for the domains exercised. The architecture carries a rebuttable presumption of sufficiency within them. The optimisation target has changed

• `world/types.ts` — field classification against three domains

  types-classification.md

  Measured: src/lib/hq/telemetry.ts carries a three-valued provenance vocabulary — live, unreachable, not-wired. world/types.ts encodes provenance as ok: boolean plus a free-text not

• Adversaries for transformation stages

  challenge.md

  Every stage declared preservesClaimDistinctions about itself — the authority that performs the transformation also wrote the explanation of it. Executing the pipeline closed the ga

• Agreement classification — and a live constitutional divergence

  coherence-classification.md

  Agreement alone is not evidence of coherence. Every agreement is classified:

• AMD-0003 — decision rationale

  amd-0003-decision.md

  X.1.3: "Re-proposing the same amendment requires materially new runtime evidence, and must say what changed." A replacement for AMD-0003 is substantially the same amendment, so it

• Attacking Observe and H(O)

  constraint-floor.md

  It fails. Establishing correspondence produces a co-reference claim, and a co-reference claim is itself a constraint — it restricts which assignments are possible. So correspondenc

• Attacking occurrence

  occurrence-falsification.md

  Occurrence attacked as constraint was. Two reductions attempted, one ledger of six failure classes across seven domains, and a correction to the previous document's conclusion abou

• Attacking Subject

  subject-reduction.md

  Subject attacked with the methodology used throughout. Eighteen candidates across eight domains, seven reductions attempted, layers kept separate.

• Audit: the geometry-driving fields

  geometry-provenance.md

  Item 1's remainder. Three questions per field, measured before anything moves — the discipline that made Item 1 small.

• Camera measured — exploration freedom, not a defect

  camera-occlusion.md

  Third result under renderer-as-laboratory. The camera differs from fog and light because the viewer controls it, so the measurement had to separate two things that look identical i

• Can the decompositions be implemented without changing core?

  decomposition-experiment.md

  Before implementing, the blast radius:

• Carrier purpose — and a correction to the separation result

  carrier-purpose.md

  The previous document's headline was overstated. What was established is:

• Closing the graphs, and re-verifying every separation over them

  closure-verification.md

  This is the rendering analogue of the projection ledger's requirement that every information-preserving claim name its observable object. An open graph is not incomplete coverage —

• Co-reference

  co-reference.md

  The phenomenon at which every reduction of Subject terminated, attacked directly.

• Cognithamus — Platform Architecture Specification

  platform-architecture.md

  Import graph of src/lib/world/, measured:

• Cognithamus — Proof of Core Stability Under Evolution

  evolution-proof.md

  Managed honeybee colonies are trucked to almond orchards and rented to growers during bloom. Contracts specify a minimum colony strength. Colonies are living populations that weake

• Cognithamus — Proof of Minimal Core

  core-proof.md

  A module that cannot be justified without referencing XI or software engineering does not belong in the core.

• Cognithamus — Universality Proof

  universality-proof.md

  exchange moved work:…/adm-88231 from environment:…/icu/bed-12 to environment:…/icu/bed-9 validAt 03:19 evidence "transfer record TR-4412"

• Decision observables — measured over generated worlds

  decision-observables.md

  The optimization target is no longer facts. It is decision observables: properties of the rendered world that let a knowledgeable observer answer an organizational question correct

• Decision sufficiency — the deficit is 2, not 9

  decision-sufficiency.md

  Recorded because conflating the first two produced two errors in the previous map:

• Degrees of freedom

  degrees-of-freedom.md

  The matrix experiment falsified an implicit assumption. The class was correctly selected, the cells preserve the relation exactly, and the row ordering measured 57.6% reversed — wo

• Design Invariant — Truth-Preserving Visualization

  visualization-invariant.md

  Facts → Properties → Metrics → Geometry → Rendering

• Dimensions are not names

  dimension-algebra.md

  Dimensions attacked as structures rather than labels, and the binary persistence claim attacked with eight interval phenomena.

• Embedding stability across revisions

  embedding-stability.md

  The question was not "can we animate?" It was:

• Falsifying the identity law, axis by axis

  identity-axes.md

  The law proposed in [identity-law.md](identity-law.md):

• Final Constitutional Review — before Step 2

  constitutional-review-final.md

  Two candidate conflicts were found and tested. Neither meets the Constitution's own evidentiary bar, so neither is proposed. Both are recorded as watch-items with the exact runtime

• Findings from generated worlds

  generated-world-findings.md

  First measurements taken with the world generator as the experimental object rather than hand-built fixtures. Only observed organizational inputs are varied; every downstream proje

• First uncontrolled ingestion

  repository-reconstruction.md

  An import is a persistent directed relation between two subjects. The vocabulary offers three 1-ary states and exchange — which is an occurrence, zero persistence. Emitting an impo

• Fog interference — measured, and repaired

  fog-interference.md

  First result under the new mode: a derivation must end in a visible improvement or a measurable defect. This produced both.

• Footprint, and the evidence/convention channel

  footprint-and-convention.md

  Two measurements. Neither field was moved — the audits are the deliverable.

• Four representations of the same repository

  representation-candidates.md

  The control is the shipped layout. The rest are experiments, not replacements. Prototyped as SVG rather than through the 3-D scene, because the question is the spatial model and th

• General projection — what makes any reality projectable

  general-projection.md

  Claims are marked measured or argued. The distinction is load-bearing: this document returns to derivation after a long implementation phase, and the project's record is that unfal

• Graph closure, and the identity structural law

  graph-closure.md

  A fact's representation graph is closed when every carrier of it is observable, open when any carrier is not. Closure is a property of the whole set, not of any carrier.

• Height: does it belong to the World?

  height-ownership.md

  The test: if the renderer disappears, does height still exist?

• Hesitations

  hesitations.md

  Every moment while using the product where I stopped, doubted, or could not proceed. Each carries a reproduction. Findings here outrank tests: the two worst defects this project ha

• Independent calibration, modality, and the projection grammar

  external-calibration.md

  The typing instrument tested against concepts it was not derived from, modality attacked, and the grammar built and executed.

• Is cessation already representable?

  cessation-composition.md

  The standing rule requires exhausting composition before accepting architectural pressure. Applied to temporal extent.

• Is Distinction sufficient?

  sufficiency-test.md

  Burden reversed. Not can it be reduced but can it generate everything that survived.

• Is representation selection derivable?

  selection.md

  Three failures. The third is fatal.

• Labels measured — recoverable, and the fixture refused the real question

  label-attachment.md

  Fourth result under renderer-as-laboratory. Labels are the first genuinely semantic UI layer: the text carries identity, and WorldScene.tsx:352 puts failing on the label colour. Un

• Lights measured — three classifications retracted

  light-interference.md

  Second result under renderer-as-laboratory, and the first where measurement overturned my own classification.

• Necessity of veto — re-derived over execution semantics

  veto-necessity.md

  Application of the frozen framework (foundation.md, category 2). Discharges the re-derivation recorded as pending in §7.3.

• Ontology versus projection — and a withdrawn conclusion

  projection-layers.md

  Constructed a metabolite consumed at 01:00, expressed the only way the vocabulary allows:

• Perceptual fidelity — first audit of the rendered world

  perceptual-audit.md

  Measured 2026-08-03 against the scene-graph object, by rendering the same WorldScene under two fact sets and diffing every built three.js object:

• Perceptual information budget — and two corrections

  perceptual-information-budget.md

  Both are the same class — the sweep varied field values that cannot occur — and both inflated the deficit.

• Physicalization Roadmap

  physicalization-roadmap.md

  Required invariant, both directions:

• Position as a transformation graph

  position-pipeline.md

  It was one sentence — "shortest-path metric, symmetrised, solved by MDS" — hiding six operations, each with its own losses. That is exactly where prose drift returns.

• Projection rules — the explanation cannot drift

  projection-rules.md

  The manifest's transform was hand-written prose while scope, warrant and discarded were machine-checked. One round later it was already false.

• PROPOSAL — Constitutional Taxonomy of Operational Conditions

  proposed-condition-taxonomy.md

  A condition is a state of the operational world that warrants attention, expressed in terms that remain true regardless of which system observed it.

• Reducing the five operations

  inference-operations.md

  Observe, Compare, Eliminate, Select, Project — attacked as the ontology was.

• Reducing the taxonomy

  truth-reduction.md

  Every surviving kind attacked until reduction fails. Supersedes the three-kind result in [truth-kinds.md](truth-kinds.md).

• Refinement Geometry — speculative

  refinement-geometry.md

  A refinement order R with an injective monotone evidence embedding E : R ↪ 𝒫(𝓔).

• Representability

  representability.md

  A projection has two independent properties. The repository render proved it: R1–R8 all passed and the layout conveyed nothing.

• Semantic locality — the representation graph and its dual

  semantic-locality.md

  Three, because two of them affect the numbers below:

• Semantic ownership

  semantic-ownership.md

  The distinction is no longer agreement versus disagreement. It is computed semantics versus projected semantics. A projection may transform representation, geometry, interaction or

• Semantic quantity audit — verifier coverage

  semantic-quantity-audit.md

  The audit question changed accordingly. Not "do these projections agree?" but "can they ever disagree?" If the semantics are implemented twice, the answer is yes and the class is A

• Separation audit

  separation-audit.md

  Prompted by a methodological failure, not a domain one: the asymmetry round over-collapsed by inferring identity from shared algebraic shape.

• Should authority be a first-class field?

  authority-audit.md

  The four uncovered values are exactly the observation-class states. Subject class and authority are not independent: refused and unknown are only available to statements whose subj

• Snapshots and world diff

  world-diff.md

  The renderer asks world questions. It never asks git questions.

• The asymmetric primitive

  asymmetry.md

  [sufficiency-test.md](sufficiency-test.md) established that distinction is symmetric and everything it fails to generate is asymmetric. The missing half, investigated.

• The audits re-run at real density

  density-audit.md

  Every previous verdict was measured on 18 buildings from the fixed estate. Density was the variable that could not be tested, because the estate did not respond to input. It respon

• The city as a map, not an embedding

  city-as-map.md

  An embedding claims distance means something. A map claims these relationships hold and distorts geometry freely to show them. The distinction decides what the city is allowed to a

• The city is a line, and that is a defect

  layout-is-a-line.md

  The rendered city is not a diagonal ribbon by style. It is exactly a line.

• The demo

  the-demo.md

  The question this artifact exists to answer is not "does it look good". It is whether a human can separate fact, interpretation, and refusal.

• The Derivation Register — documentation made testable

  derivation-register.md

  The facts.ts contradiction was the bigger bug, and the repair is not to change the numbers. It is to make the system unable to claim a derivation that is not wired.

• The engine gets a body

  repository-in-the-app.md

  The standalone artifact proved the engine. This connects it to the running application.

• The falsification layer

  falsification-layer.md

  The mission this subsystem serves: Cognithamus is not a system that draws pictures of repositories. It is a system that takes a claim about a codebase and provides the strongest av

• The Foundation

  foundation.md

  It records the framework used to audit constitutional change: what a defect can be, how a new category of defect is admitted, the sense in which the taxonomy is complete, and the e

• The hypothesis space

  hypothesis-space.md

  The two claims are separable by a sharp test:

• The identity law

  identity-law.md

  Ask what varies and what does not.

• The minimal basis of observations

  observation-basis.md

  Derived by audit, not by argument. Every visual element was traced to the measured quantity that generated it, and every World field to the fact family it descends from.

• The minimal ontology

  minimal-ontology.md

  Final reduction. Fact itself attacked, then State and Occurrence attacked together rather than separately.

• The minimal set of representations

  representation-family.md

  Not "which layout is prettiest" but which representations carry information no other carries. A representation earns its place iff some fact is recoverable from it and from nothing

• The perceptual state-space map

  perceptual-state-space.md

  Measured across all 26 states, every geometric and material dimension is already in use except one:

• The phenomenon ledger

  phenomenon-ledger.md

  Phenomena, not domains. Each is scored twice and independently: can the ontology express it, and does the canonicalization preserve it? Conflating the two is how a fixable defect g

• The platform boundary — a measured inventory

  platform-boundary.md

  Two independent measurements, because either alone misleads:

• The Projection Coherence Matrix

  projection-coherence-matrix.md

  Five projections — but only two derivation roots, which is the finding that matters.

• The Projection Manifest

  projection-manifest.md

  Every scope, warrant and discarded comes from lib/ledger/warrant.ts, which the audit tests already enforce. A second copy would be the declared-authority/actual-authority defect th

• The reference is invisible

  reference-mechanisms.md

  The reference is never drawn. Nothing on screen says what 1.0 means, so its movement is indistinguishable from the subject's.

• The representation calculus

  representation-calculus.md

  [representability.md](representability.md) derived fidelity for channels. This derives it for representation classes — and the result is stronger than a catalogue, because one law

• The semantic typing test

  semantic-typing.md

  The anti-collapse criterion, formalized, validated against this investigation's own history, and then used.

• The three questions, and which channel should answer them

  what-the-city-is-asked.md

  Before adding a second geometric axis, measured: what does a first-time reader try to do, and is geometry the right carrier for it?

• The three remaining exceptions — classified

  ownership-remainder.md

  Materially enforced for six quantities. Three remained unclassified. Measured, they are three different cases, and only one wants the obvious repair.

• The two open decisions — evidence and options

  open-decisions.md

  Prepared after AMD-0003 was vetoed and the gate reopened. Both were recorded as governance decisions; measurement changed the shape of the first one, so it is presented as re-frame

• The Warrant Audit

  warrant-audit.md

  Not a colour audit. For every visual channel: what it claims, what sourced it, what licenses it, and what a viewer cannot distinguish as a result.

• The World type catches up with the ontology

  world-vocabulary.md

  Item 1. BuildingKind and DistrictKind are gone — split, not widened, not renamed.

• Tripwires

  tripwires.md

  Open questions where the honest answer today is "not enough evidence". Each records the tension, why it was not resolved, and the concrete, checkable condition that would supply th

• Two worlds: the observed, and the observation

  two-worlds.md

  Statements about the repository and statements about the observation are different kinds of claim, and they may not share a visual carrier.

• Verification Theory

  verification-theory.md

  This is the whole theory in one line. Everything below is its consequences.

• Visual Channel Separation — measurement

  visual-channel-separation.md

  Method: hold every fact fixed, vary one at a time, and record which rendered channels move and to what value. Two matrices — buildings and agents — plus a byte-level distinguishabi

• What is the supported public surface of Cognithamus?

  public-surface.md

  An architectural investigation, not an implementation plan. The deliverable is the contract. Nothing is published until the questions below have answers.

• What kinds of truths exist?

  truth-kinds.md

  Identity failed as a universal function. The question underneath it: what kind of truth is being represented? Identity should follow from that.

• Which canonical facts deserve to be visible

  fact-visibility.md

  The question deliberately inverted: not which channel carries change — that was answered and the answer was "none unconditionally" ([change-channels](change-channels.md)) — but whi

• Which visual channels can truthfully carry change

  change-channels.md

  Position was settled first: trustworthy as identity, not as a change channel ([embedding-stability](embedding-stability.md)). This asks the question one level up — of every channel

• World identity and the entry experience

  world-identity.md

  Two pieces of product work, and the first is the architecturally important one.

• Worlds generated from facts

  generated-worlds.md

  The boundary bug, closed. src/lib/world/from-facts.ts, tests/from-facts.test.ts, tests/generate-world.ts.

• WorldScene against the grammar

  worldscene-audit.md

  The grammar run against the actual renderer. Executable: tests/worldscene-audit.test.ts.

• WorldScene realizations, classified

  worldscene-freedoms.md

  Every realization choice in WorldScene.tsx, read from the source and classified. No freedom is invented — each entry is a value the file fixes, cited by line.