Design decisions are the dated, numbered records of every significant architectural choice in Orthemology. Each record states the question posed, the option selected, the rationale, and the artifacts produced. Together they form a traceable audit trail from the earliest design questions (revision R1, 2026-07-19) through the current state (revision R6, 2026-07-20). The machine-readable status of every decision, including dependency relationships and supersession notices, is inDocumentation Index
Fetch the complete documentation index at: https://mintlify.com/theislampill/orthemology/llms.txt
Use this file to discover all available pages before exploring further.
docs/decision-status.yaml, enforced by scripts/validate_decision_dependencies.py.
The canonical machine-readable decision status is
docs/decision-status.yaml. Where one decision supersedes a formula in another (as Decision 0011 does to Decision 0009’s strict-soundness formula), both records carry dated notices and the relationship is CI-checked so two current decisions can never define one normative symbol incompatibly without failing validation.Decision status lifecycle
- open
- implemented
- promoted
A question has been posed but no authoritative answer has been selected. The decision record exists and documents the options considered.
Organization by review revision
R1 — Owner reconciliation
Decisions 0001–0003. Owner-decided architectural commitments: analysis-relative ground truth (D1), metaorthemma as configuration token (M1), and result-free pathway adequacy (O2). All implemented and promoted.
R2 — Autonomous closure
Decisions 0004–0008. Autonomously closed under the owner’s standing mandate: verdict registry normalization (D3), symbol-table normalization (D4), stale-steer placement (O3), profile-space definition (Π_A), and Thesis C disposition (C′).
R3 — Type/token, soundness
Decisions 0009–0010. Owner-authorized: type/token normalization, soundness bearers, and concrete reason (0009); orthability senses and the argument boundary (0010).
R4 — Claim-relative reasoning, reference model
Decisions 0011–0015. Owner-authorized candidate revision, subsequently reviewed and merged: claim-relative reasoning paths and strict soundness (0011); reference-model semantic contract (0012); source attribution and status normalization (0013); generated project state and whole-state reread (0014); latent-state, observation, and representation boundary (0015).
R5 — Review state
Decisions 0016–0017. Owner-authorized: current review state and public-surface markers (0016); private design records and the public evidence boundary (0017).
R6 — Experiment readiness, sourcing
Decisions 0018–0019. Owner-authorized: experiment packet readiness and registration status (0018); current sourcing state, historical ledgers, and overlays (0019).
All 19 decisions
| № | Date | Title | Summary | Revision |
|---|---|---|---|---|
| 0001 | 2026-07-19 | Analysis-relative ground truth (D1) | One analysis-relative primitive O*(m; A); O*_T(m) is scoped shorthand only; analysis is explicit and versionable | R1 |
| 0002 | 2026-07-19 | Metaorthemma as configuration token (M1) | μ̄ is the episode-local case-bound binding token; not the episode, not the execution event; zero-burden rule | R1 |
| 0003 | 2026-07-19 | Result-free pathway adequacy (O2) | PathwayAdequate is result-free; V1 and TOKEN_TRUTH_LINKED excluded from core; four-cell matrix representable | R1 |
| 0004 | 2026-07-20 | Verdict registry normalization (D3) | Canonical semantic IDs authoritative in machine records; display aliases V1–V6 for prose; registry drives validators | R2 |
| 0005 | 2026-07-20 | Symbol-table normalization (D4) | One-symbol-one-role corpus-wide; retired App(e), W(·), bare G, q/Q, R*(q), ε_μ, bare ε, τ; ReqPath is sole requirement function | R2 |
| 0006 | 2026-07-20 | Compaction / stale-steer example placement (O3) | Stale-steer pattern placed as dedicated case note; authentic-but-not-in-force instruction is a V3c-family defect | R2 |
| 0007 | 2026-07-20 | Profile-space definition (Π_A) | Π_A and Π_A^∂ given formal definition sites; separated from D1 scope to avoid silent expansion | R2 |
| 0008 | 2026-07-20 | Disposition of Thesis C (token-essential modality) | Token-essential modality thesis (C) weakened; theses A and B retained; C′ placed in companion with open objections stated | R2 |
| 0009 | 2026-07-20 | Type/token normalization, soundness bearers, and concrete reason | Three-axis model replaces two-noun-class picture; bearer table for status language; concrete reason disambiguation; strict soundness defined (superseded in part by 0011) | R3 |
| 0010 | 2026-07-20 | Orthability senses and the argument boundary | Three orthability senses (L, O, R) machine-distinguishable; L→O bridge stated explicitly; argument-map discipline | R3 |
| 0011 | 2026-07-20 | Claim-relative reasoning paths, strict soundness, objectivity indexing, and circularity language | ReqReason_q(e) ⊆ ReqPath(e) is governance-derived and auditable; StrictlySoundReasoning_q := ReasoningPathAdequate_q ∧ TOKEN_TRUTH_LINKED_q; supersedes 0009’s whole-episode formula | R4 |
| 0012 | 2026-07-20 | Reference-model semantic contract | Bundle-local consistency contract for schemas; nine invariant families; explicit scope-honesty clause | R4 |
| 0013 | 2026-07-20 | Source attribution and source-status normalization | Attribution defect corrected; source-status vocabulary unified; machine registry authoritative for declared claim families | R4 |
| 0014 | 2026-07-20 | Generated project state and whole-state reread | docs/current-state.yaml generated and CI-drift-checked; VERSION, README, STATUS, OPEN-DECISIONS all sync to it | R4 |
| 0015 | 2026-07-20 | Latent-state, observation, and representation boundary | Boundary discipline between latent-variable model objects and orthemological objects; five conflation classes prohibited | R4 |
| 0016 | 2026-07-20 | Current review state, exact public-surface markers, and historical supersession | All public-surface markers updated after fresh-session review and PR #3 merge; stale “candidate” headers removed | R5 |
| 0017 | 2026-07-20 | Private design records and the public evidence boundary | Internal casebook and longitudinal records do not carry public argumentative weight; manuscript corrected | R5 |
| 0018 | 2026-07-20 | Experiment-packet readiness and registration status | Closed readiness vocabulary DRAFT→ADJUDICATED; separate registration vocabulary; Git freeze ≠ external preregistration | R6 |
| 0019 | 2026-07-20 | Current sourcing state, historical ledgers, and overlays | Current sourcing ledger consolidated; R2-era ledgers marked historical with banners; navigation updated | R6 |
Dependency structure overview
Several decisions gate or refine earlier ones without reopening them:- 0004 normalizes the verdict labels established semantically by 0001–0003.
- 0005 normalizes the notation established across 0001–0004.
- 0009 introduces strict soundness; 0011 supersedes only the strict-soundness formula in 0009 (every other clause of 0009 stands).
- 0014 introduces generated state that drift-checks VERSION, STATUS, README, and OPEN-DECISIONS against
docs/current-state.yaml. - 0016 clears the “candidate revision” markers that were honest during R4 and incorrect after the fresh-session review completed.
- 0018 corrects the false-closure in experiment status language and packet preparation state introduced before R6.