Claim Types (Type Discipline)

This vault uses typed notes so we don’t mix metaphysics, derivations, and measurement as if they were the same kind of claim.

Required frontmatter keys (minimum)

type: one of the types below
id: stable identifier (see 00_System/ID_Scheme.md)
proof_status: asserted | formal | empirical-supported | inconclusive | falsified
depends_on: list of upstream IDs/notes (can be empty)

Type	What it is	What it is not
`AXIOM`	An asserted foundational commitment / constraint	A proof or an empirical finding
`DEFINITION`	A term, object, operator, or mapping with precise meaning	Evidence, experiment, or “argument by vibes”
`LEMMA`	A derived constraint given axioms/definitions	A test result
`HYPOTHESIS`	A directional claim intended to be testable	A theorem
`OPERATIONALIZATION`	A measurable proxy for a construct	The construct itself
`DATASET`	A specific data source with provenance	An analysis result
`EVIDENCE_EXTRACT`	A bounded quote/table/chart screenshot with location	A synthesis or interpretation
`RESULT`	A reproducible analysis output with parameters/artifacts	A metaphysical axiom
`INTERPRETATION`	A narrative synthesis that comes after results	New data or proof
`PAPER`	A curated, human-facing compilation of typed notes	A dumping ground
`MAP`	A navigation/index note (MOC)	A proof
`OBJECTION`	A structured critique + its best reply	A strawman

AXIOM → can support DEFINITION and LEMMA; it does not count as empirical evidence.
LEMMA → can support HYPOTHESIS; it is conditional on its dependencies.
HYPOTHESIS → must link to at least one OPERATIONALIZATION.
OPERATIONALIZATION → must link to at least one DATASET.
RESULT → must link to at least one EVIDENCE_EXTRACT and/or a dataset artifact path.
INTERPRETATION → must link to RESULT notes; never directly to raw axioms as “proof”.