Context

The owner, on 2026-10-14, after a proposed survival analysis was filed as a case (CASE-078): “are we able to construct something like a typology of CASEs? I’m wondering if maybe there’s a new vocab term, axis, or scheme we should leverage to distinguish e.g. proposed empirical experiments vs thought experiments vs. steel-man vs. etc”.

A CASE has one vocabulary field besides status, tags and line: standing, which says “how much of a CASE is fact” (ADR-032). Its three terms are documented, stipulated and fictional. The survey of all 81 cases found standing carrying a second question it was not written for, what kind of thing the case is:

  • stipulated is defined as “a real referent whose relevant facts are assumed rather than verified here — usable as a thought experiment”. It holds ten proposed studies (CASE-021, CASE-055, CASE-078 …), which have no referent yet. It holds six formal constructions (the reset matrices, CASE-001, and the parity triangle, CASE-037), which have no referent at all. It holds real companies with assumed facts (CoreWeave, CASE-007). And it holds two runs made in session (CASE-017, CASE-020).
  • Two runs made in session, CASE-030 and CASE-032, are fictional, because the assistant wrote the texts. The other two are stipulated. The same kind of thing has two standings.
  • Nothing lets a reader list the proposed studies, the record’s open empirical agenda, without reading every case.
kind \ standingdocumentedstipulatedfictional
specimen2560
thought-experiment11113
construction060
reported-study500
proposed-study0100
executed-study022

stipulated spans five kinds, and thought experiments span all three standings. Kind cannot be derived from standing. It is a second axis.

Decision

Approved on 2026-10-14, with the sixth term renamed from the draft’s “run-here” to executed-study. The owner offered “executed-study” or “performed-study”. “Executed” was taken because “performed” could be read as a performance. Add a closed vocabulary case-kinds and a required field kind on CASE.

  • specimen: a real instance, artefact, event or kind of thing, examined as it is. Henley’s Villon, the Dual State, a coral reef, r/place. It may be documented, or stipulated when its facts are assumed.
  • thought-experiment: an imagined scenario, usually a contrast built to hold everything fixed but one thing, used to test an intuition or a concept. Northstar-A and -B, the reluctant writer, the tree in the woods, the twin pattern-keepers.
  • construction: a formal or mathematical object built to exhibit or refute a property, whose facts are its definition. The reset matrices, the parity triangle, the two identical ballots, the reciprocal pair.
  • reported-study: an empirical study others ran and published, used as a case. The contextuality tests (CASE-053), the risk-message diffusion chains (CASE-068), Voita et al. (CASE-070).
  • proposed-study: an empirical design not yet run. Its body says what would be measured, the main threat to inference, and what each outcome would show. The factorial study (CASE-021), the dancing-couple motion-capture study (CASE-045), the r/place survival analysis (CASE-078).
  • executed-study: something the record’s collaborators ran in session, with results the record itself produced. The synthetic stochastic computations (CASE-017), the dry-run harness (CASE-020), the assistant-written chains (CASE-030, CASE-032). Kept apart from reported-study because its provenance and its limits are the record’s own.

kind is required, so that every new case says what it is (DP-3). A case whose kind changes, such as a proposed study that is then run, gets a new version with the change in its history, or a successor case if the run differs from the design.

Kind and standing stay orthogonal. One clarification of standing follows: for a proposed study, stipulated describes its materials and setting, not results it does not yet have. The blurb of stipulated is widened to say so, and nothing else in case-standing changes.

Steel-man is not a kind

A steel-man is the strongest form of a position, put in order to be met. That is a voice, not a kind of case, and the record already has it: a CLAIM with role: counter (ADR-032). CLAIM-278 and CLAIM-288 are recent examples. When a case is built to make an opposing view strongest, its kind is whatever it is (usually thought-experiment or construction), and the steel-manning shows in its relation, counterexample_to or supports, to the counter claim. A seventh term would duplicate that and blur two axes again. If steel-manned cases need finding, the place is a relation from case to counter claim, decided separately.

Analogy is set aside for the same reason. The coral reef and the gut microbes are specimens used by analogy, and the use is the relation (illustrates), not the kind.

Alternatives considered

  • More terms in standing. Adding “proposed” or “formal” to standing would answer two questions with one field, which is the present problem. Rejected.
  • A separate scheme for studies (STUDY-, with design, threats and outcomes fields). It would give proposed studies more structure. But a study is used by claims exactly as a case is, through the same relations, and a second scheme would split the index and the relations. Rejected for now. If proposed studies need structured fields, they can be added to CASE conditioned on kind.
  • Tags. The topics vocabulary says what a work or case is about, not what it is. Rejected.
  • Finer kinds (vignette apart from thought experiment; analogy; counterexample). Vignettes are thought experiments that bear no weight, and the illustrates relation already says so. Counterexample is a relation. Rejected: six is what the 81 cases need.

Consequences

  • luria.yaml gains case-kinds (six terms with labels and blurbs) and the CASE field kind, required. luria renders docs/cases/kind/ as it renders standing/, so the proposed studies have an index page.
  • All 81 cases get kind: as tabled below. Retired cases get one too, so that the field is never missing.
  • Four classifications were judgement calls, and the owner may move them:
    • CASE-004 is the stimuli of a study design (proposed-study), not a thought experiment.
    • CASE-062, “a constructed study, built on documented halves”, is proposed-study, not reported-study.
    • CASE-044, Dennett’s thermostat, is thought-experiment, not specimen.
    • CASE-039, the relativity craft, is a documented thought experiment.
  • The template’s comment for CASE names the field and its terms.

The classification

specimen (31)

casestandingtitle
CASE-007stipulatedCoreWeave: a climate-concerned workforce building fossil-powered datacenters
CASE-010documentedHenley’s rendering of Villon, “Booze and the blowens cop the lot”
CASE-011documentedHofstadter’s mother’s translation
CASE-014stipulatedMicrosoft, as the philosophical target
CASE-015documentedThe telephone game
CASE-016documentedThe Dual State: normative and prerogative authority in National Socialist Germany
CASE-019documented”Hug from Doug”
CASE-024documentedA coral reef
CASE-028stipulatedStability AI: well-intentioned founders, near-total churn, generic successor
CASE-031documentedMarot’s “A une Damoyselle malade” and Hofstadter’s translations of it
CASE-038documentedTV Tropes: a community-curated catalogue of narrative tropes and their instances, such as th…
CASE-041documentedFID and Projected GANs: one ImageNet-trained probe family used both to train a generator and…
CASE-042documentedCollaborative filtering and topic models: latent relational structure recovered from interac…
CASE-046stipulatedA partner-dancing couple, lindy hop, tango or salsa, while they dance
CASE-047documentedGut microbes and the host’s hunger and mood: a lower-level collective that can drive the person
CASE-052stipulatedStokely Carmichael’s two speaking styles, kept apart by audience and collapsed by broadcast
CASE-054documentedJoking relationships: one kind among the Crow and in Africa with no route between them, desc…
CASE-056documentedJ. B. Phillips’s “hearty handshake all round” for Paul’s “holy kiss”, and Nida’s judgement t…
CASE-058documentedFactBank’s source-relative factuality labels and Kiesling et al.’s stance-triangle annotatio…
CASE-059documentedTatiana’s letter in Eugene Onegin III: вы to ты and back, lost in Kline and half kept in Spa…
CASE-061documentedWonder-working power: one hymn phrase in a national address, heard as faith by those who sin…
CASE-063documentedThe English localization of Ace Attorney: a Japanese courtroom game moved to an alternate Lo…
CASE-064documentedLindsey Stone’s Arlington photograph: one post, taken by friends as a tasteless in-joke and…
CASE-066documentedDolly’s slip into ты in Anna Karenina I.4, and three English translations that carry it thre…
CASE-067documentedThe reception of Deborah Smith’s The Vegetarian: the Booker judges’ task, the Korean critics…
CASE-069documentedLabov’s recorded sounding sessions: ritual insult turning personal, with the same exchange s…
CASE-072documentedHafez’s “Shirazi Turk” in English: one ungendered beloved rendered as a maid, as God and as…
CASE-073documentedThe Kia Provo: one concept-car name, a blank coinage to the motor press and taken as honouri…
CASE-074stipulatedTwitch Plays Pokémon in democracy mode, with the running tally shown while the votes come in
CASE-075documentedTwitch Plays Pokémon in anarchy mode: one avatar steered through the map by the running aggr…
CASE-079documentedr/place: a shared pixel canvas on which each Reddit user could place one pixel at a time und…

thought-experiment (25)

casestandingtitle
CASE-002fictionalNorthstar classification: who decides an incident is severe
CASE-003fictionalNorthstar-A and Northstar-B: same policy, same evidence, different escalation authority
CASE-006fictionalOpen Horizon
CASE-012fictionalThe modernized refrains of Henley’s Villon
CASE-013fictionalThe reluctant writer
CASE-018fictional”You blow it all on sex and booze”, said by a friend, a parent, a judge, a comedian
CASE-022stipulatedA rendering that keeps the solidarity–criticism ambiguity open, and one that settles it
CASE-023fictionalNorthstar
CASE-025fictionalVerdant Compute
CASE-026stipulatedModern slang that makes the insider sound like an outsider imitating the subculture
CASE-027fictionalHenley translated perfectly in the voice of an academic sociologist
CASE-033fictionalDriving home while daydreaming
CASE-034fictionalThe thermostat and the adaptive controller
CASE-036fictionalNorthstar emergency governance that sustains itself
CASE-039documentedWho crosses the meeting point first? Two craft near light speed, and the relativity of simul…
CASE-043stipulatedData written for a future reader and never read
CASE-044stipulatedThe thermostat: Dennett’s knife edge between agent and device
CASE-048stipulatedThe same film joke, seen as a child and again as an adult
CASE-049stipulatedA tree falls in the woods with no one to hear it
CASE-050stipulatedThe all-hands: a corporate event as a synchronization mechanism for the firm
CASE-051fictionalThe absorbed writer
CASE-057stipulatedSwapping the two persons of a dyad: nonreciprocal T/V address is changed by the swap and rec…
CASE-076stipulatedTwin pattern-keepers: two systems keep the same pattern, one by its own responses and one th…
CASE-080stipulatedThe skeptic who delegates: a critic that cannot overturn an emerging consensus gives its aut…
CASE-081stipulatedSelf-maintenance learned for a designer’s reward: a system that maintains itself because it…

construction (6)

casestandingtitle
CASE-001stipulatedTwo reset matrices: noncommuting and classical
CASE-008stipulatedSolidarity, condemnation and humour judged in pairs: the probabilistic version
CASE-035stipulatedSolidarity, condemnation and humour: the parity obstruction
CASE-037stipulatedThe parity triangle with uniform weights: a no-signalling, strongly contextual model beside…
CASE-060stipulatedTwo identical unnumbered ballots in one tally: two votes that no relation in the structure o…
CASE-077stipulatedThe reciprocal pair: two processes that endorse only each other under recursive delegation,…

reported-study (5)

casestandingtitle
CASE-053documentedContextuality tests on human meaning and judgement data: a held null, and positive results t…
CASE-065documentedTwo satisfaction questions in German and in a back-translated Chinese version: an order effe…
CASE-068documentedRisk messages passed down diffusion chains: the evaluative signal kept and amplified while t…
CASE-070documentedVoita, Sennrich and Titov’s BLEU-tied translation systems that differ on keeping ты or вы ac…
CASE-071documentedKovacs, Deutsch and Freitag’s metric bias in MBR decoding: translations a metric selects, th…

proposed-study (10)

casestandingtitle
CASE-004stipulatedTwo people, an empty wallet: shared complicity, normative authority, and an underspecified r…
CASE-005stipulatedThe language-model experiments: frame commutator, trajectory-preserving selection, ICL again…
CASE-009stipulatedText → image → caption → image chains under four conditions
CASE-021stipulatedWording, attributed speaker and judgement order: the proposed factorial study
CASE-029stipulatedThe dynamical-fidelity research programme of the outlines (A35, A38, A40)
CASE-040stipulatedTopic and act crossed: a factorial design that decorrelates what a text is about from what i…
CASE-045stipulatedMeasuring the dancing couple: is the pair a nearly decomposable block during the dance and n…
CASE-055stipulatedThe discriminating fidelity study: renderings built to dissociate wording, proposition, stat…
CASE-062stipulatedSimplified texts for restricted and for full readers: a gain and a loss documented on differ…
CASE-078stipulatedWho keeps placing on r/place: the proposed survival analysis of the released placement logs,…

executed-study (4)

casestandingtitle
CASE-017stipulatedE1: synthetic three-state stochastic computations (C2–C3)
CASE-020stipulatedE3: the controlled inference harness, dry run only (C5)
CASE-030fictionalE2: assistant-authored reconstruction chains with content-word overlap (C4)
CASE-032fictionalE4: within-session chains, stable complicit against a shift to moral instruction