A working census of the invariants that let an artificial system establish its operational state — and the authority each established state can honestly justify. Organized by what this tree can say about each one, which for most of them is: not much yet.
v0.8 · What changedThe table used to be grouped by which spec folder owned each cell — Group I is Graphonomous, Group IV is Delegatic — across 10 protocol groups. That is an org chart wearing a periodic table's clothes, and it has a specific cost: an empty slot in it means nobody has written that spec yet, which is an editorial fact and predicts nothing. Mendeleev's gaps were predictions because his groups shared a structural property. These shared a maintainer.
So v0.8 groups the cells by what this tree can say about them. Four registers, each with a mechanical rule re-derived on every build: something here decides the cell, or code exists and no proposition has been settled, or it has a name and nothing else, or it is a proposal. Inside the decided register the axis is the semantic kind — the 6 kind tokens mosaic/occupancy.json derived by enumerating what the table actually uses. That is the axis cell 27a asked for in round 3, when it argued the table needs orthogonal axes and that “Flow: yes or no” is the wrong question to force.
What the regrouping made visible, and this is the point of it. 13 of 46 cells have an evidence anchor. 22 have a name, a protocol home, a stated authority, and nothing that decides them. The ledger beside this page holds 182 claims and only 7 cells receive any of them — 54 bound claims in all, of which 14 are REFUTED. The old layout had no way to show that: there was no refuted shading, so nine rounds spent mostly killing propositions rendered as an unbroken accumulation of achievement. κ does not carry the federation obstruction it was published as carrying; aggregation fidelity is false in its universal form; escalation monotonicity is false in its universal form. Each of those is a result, and the page reported none of them.
Two things this page now declines to do. It no longer calls a property test a proof — a bounded randomized search over a generator's range corroborates a universal and cannot discharge it, which is what LED-C9 cost when it shipped PROVED on two thousand trials and was refuted by an operation the generator never reached. And it no longer lets adjacency do the work of evidence: the economic addendum, which has no ledger record, no witness and no obligation between its cells, is annexed rather than distributed through the measured table with a 6 px dot.
What is still authored, stated so it can be attacked. 6 authored kinds were assigned during the regroup, each read off the cell's own source line and each carrying the line it was read off — open a cell to see it. 1 decided cell is deliberately left unassigned, because “history cannot be rewritten” reads as Conservation, as Structural and as Authority, and no criterion in this tree picks one. Forcing it would be the TAX-COMPOUND error: quantifying over a taxonomy nobody can produce. And the shading inside a register remains editorial — the v0.6 note disclosed that no criterion is stated for what earns proved over named, and that disclosure still stands for the shading. What v0.8 adds is that the axis now carrying the page's structure has a rule you can run.
46cells in the census
13decided — an evidence anchor exists
22named — nothing decides them
54ledger claims bound to a cell
14of those, refuted
6active doubts reaching a cell
6kinds authored at the regroup
The axis
Cells are grouped by what the tree can say about them, not by which spec folder owns them. The rule for each band is mechanical and re‑derived on every build.
ADecided13 cellsA proposition about this cell has been settled, and something in the tree reproduces it.cell.tier is set, OR at least one CLAIM_LEDGER.json claim binds `cell:<num>` at a settled status (PROVED · CONDITIONAL · REFUTED · KNOWN · MEASURED).
BBuilt, not decided4 cellsAn implementation exists. No proposition about it has been settled here.not decided, AND cell.status is "shipped".
CNamed22 cellsA name, a protocol home, and a stated authority consequence. Nothing decides it.not decided, not built, not economic.
DProposed7 cellsA design proposal. No ledger record, no witness, no obligation.cell.economic is true.
Evidence anchor
Machine-checkedComplete finite enumeration, or a deductive proof with an executable check.Property-testedRandomized search over a generator's range. Corroboration, not discharge — what the generator cannot reach is where the counterexample lives.Implementation-verifiedA test suite passes against one implementation. Scoped to that implementation.
Shading
provedA result is claimed and an evidence anchor exists. Read the tier: the anchors are not of one strength.conditionalProved under an antecedent that is NOT discharged. The antecedent is on the cell, and a conditional cell that does not name it is refused by the build.shippedRunning code. Says nothing about whether a proposition has been settled.namedThe invariant has a name, a home and a stated authority. Nothing decides it.sketchedA shape has been described. Neither named precisely nor decided.missingThe slot is identified and empty.
Filter
registerkindshading
A
Decided
A proposition about this cell has been settled, and something in the tree reproduces it.
13cells
Settled includes REFUTED. A cell whose universal form died and whose narrowed successor stands has been decided about — twice — and that is the most informative thing the table can say. The old layout could not say it at all: there was no REFUTED colour, so nine rounds of killing propositions rendered as an unbroken accumulation of achievement.
KindStructural5 cells · 1 also carries a further kind
KindOrder3 cells · 1 also carries a further kind
KindConservation2 cells · 2 also carry a further kind
KindAuthority2 cells
Kind— unassigned —No kind assigned. Leaving a cell here is a refusal to force a taxonomy nobody has written down — TAX-COMPOUND is the record that owes the reconciliation.
B
Built, not decided
An implementation exists. No proposition about it has been settled here.
4cells
This register exists because `shipped` and `proved` were rendered as sibling achievements — solid fills, same weight, adjacent rows — and they are not on one axis at all. One is a fact about code, the other about a proposition. Reading a shipped cell as a decided one is the adjacency laundering Λ (cell 44) names, committed by the page that hosts Λ.
Group ITopologicalOS-001 / OS-002 — Graphonomous
Group IISpatialOS-012 — SCOPE
Group IIITemporalOS-010 — PULSE
C
Named
A name, a protocol home, and a stated authority consequence. Nothing decides it.
22cells
These are addresses, not results, and the census line prints how many there are. Grouping them by protocol is honest: the spec folder that would own the cell is genuinely all the structure they have.
Group ITopologicalOS-001 / OS-002 — Graphonomous
Group IISpatialOS-012 — SCOPE
Group IIITemporalOS-010 — PULSE
Group VDeliberationOS-003 — Deliberation Orchestrator
Group VIAttentionOS-004 — Attention Engine
Group VIITier / BudgetOS-005 — Model Tier Adaptation
Group VIIIEvaluationOS-009 — PRISM
Group IXEmbodimentOS-011 — body-browser, body-os
Group XSecurity & FederationOS-013 / OS-014 / OS-017
D
Proposed
A design proposal. No ledger record, no witness, no obligation.
7cells
The v0.5 economic addendum. Seven cells with formal blocks and citations and zero records between them, distributed across five groups of the measured table and marked with a 6px dot. A formal block beside κₛ — which has a matroid theorem and 117,648 checked federations — reads as the same kind of object. Annexing them is not a demotion; it is refusing to let adjacency do the work of evidence.