Universal visual grammar
Reading-key index
This is the front door, not the whole glossary. Every status and every research move now has its own page containing its definition, reading rule and complete backlink index.
Claim-status pages
Status reports how far a claim has been established and where its boundary lies.
Established
Follows from declared assumptions and has an inspectable certificate.
Open 64 indexed uses →ConditionalConditional
Works after a named field, coefficient, boundary condition or control is supplied.
Open 112 indexed uses →Externally openExternally open
Needs an ingredient, calculation or observation not yet supplied by the declared model or evidence.
Open 36 indexed uses →Internally exhaustedInternally exhausted
Rearranging the present ingredients no longer addresses the missing datum.
Open 9 indexed uses →Obstruction / no-goObstruction / no-go
A stated candidate class or identification has been ruled out under explicit assumptions.
Open 87 indexed uses →Experiment / protocolExperiment / protocol
Defines a measurement, sensitivity calculation or empirical decision rule.
Open 44 indexed uses →Interpretive mapInterpretive map
Organizes thought or workflow but is not evidence for a physical claim.
Open 75 indexed uses →Ledger / governanceLedger / governance
Preserves provenance, status, stopping rules and navigation.
Open 35 indexed uses →Research-move pages
Research moves describe what a passage is doing. They are temporary functions, not types of people.
Scout
opens a plausible new route or searches beyond the present ingredients.
Open 11 indexed uses →CartographerCartographer
maps territory, distinctions, dependencies and interfaces.
Open 29 indexed uses →AuditorAuditor
checks assumptions, certificates, counterexamples and stopping rules.
Open 136 indexed uses →BuilderBuilder
constructs a model, mechanism, calculation, protocol or intervention.
Open 119 indexed uses →WitnessWitness
retains observation, preparation history, stakes and situated evidence.
Open 4 indexed uses →StewardSteward
preserves provenance, memory, status and continuity.
Open 22 indexed uses →TranslatorTranslator
moves a structure between mathematical, physical or ordinary languages.
Open 61 indexed uses →IntegratorIntegrator
joins several typed results while letting the weakest edge set the claim.
Open 97 indexed uses →