posited versus measured concept
| Definition | The division of every claim in a report into those asserted by design and those backed by an artifact. Chapter 14. Also posited. |
|---|---|
| Example | The four geometric volumes are posited; the twelve-domain flip is measured. |
| Book | Data Mining as Observation, draft 0.2, commit f3914f0; entry id posited-versus-measured, kind concept. |
| Status | no ledger row names this entry. Corrections: none recorded. |
| Defining equation | none |
| Assumptions and scope |
|
| Prior art | none recorded |
| Evidence | erisml-lib/docs/CONCEPT_REGISTRY.md:1-160, lean/DataMiningAsObservation/Ledger.lean |
| Reviewed | not yet reviewed; generated 2026-09-10 from records at the commits on the provenance page. |
Equation
none
Conditions
- Every claim in a report is either posited, asserted by design with no artifact behind it, or measured, backed by a committed artifact the reader can open. The division is stated at the top of the report and not inferred from the prose.
- A posited claim carries no ledger class above exploratory, and it stays there until a sealed measurement moves it. The ledger rule that says so is the one machine-checked in the book.
- Four volumes of the program are posited in their entirety and say so on their first page. Their claims are cited only as proposals.
Conditions are curated in entries.toml rather than read
from a record.
Ledger
none
First stated
The epistemic banners of the four posited volumes,
geometric-ai/README.md,
geometric-cognition/README.md,
geometric-reasoning/README.md,
geometric-education/README.md, and chapter 14 section 14.8
of Data Mining as Observation.
Measurements
| Where the book states it | Numbers, as the book’s sources table records them | Source |
|---|---|---|
| chapter 14 section 14.8 | registry rules, V4 proved in Lean and verified 2026-08-17 at commit ea7ee82, D4 posited with the drift list, reliability weight as one formula one source, 8 of 9 | erisml-lib/docs/CONCEPT_REGISTRY.md:1-160 |
| chapter 14 section 14.8 | the four posited volumes | geometric-ai/README.md;
geometric-cognition/README.md;
geometric-reasoning/README.md;
geometric-education/README.md epistemic banners |
Failures and corrections
none
Invariance envelope
none declared
Machine checked
lean/DataMiningAsObservation/Ledger.lean,
theorems step_none, step_miss_le,
step_pass_ge, step_miss_refuted,
exploratory_stays, at observation-data-mining f3914f0; what
the check covers is stated in the book’s appendix
C.
Used in
Data Mining as Observation chapters 14.
Related
ledger class; preregistration; sealed; reliability weight.
See also
Book equations stated beside the entry’s terms, not defining it: 1.1.
Ledger rows that cite the entry’s records without naming it: OT-11, NEG-15 (Bell boundary).
Status
Generated 2026-09-10 by encyclopedia/generate.py; book
at observation-data-mining f3914f0; the commit of every record is listed
in the encyclopedia’s provenance.