The words this site uses, defined once

Glossary

Reference · definitions match current page usage

The site reuses a small vocabulary across the technical overview, the pack pages, the evaluation rules, and the blog. Each term has its own page, defined once, in the sense those pages give it, and each definition ends with the page where the term does its work. Where a term comes from a research literature, the definition says so and stays at the level this site needs. One part of CleverMemory stays ours: the code and data that tie everything together. That piece is not public; everything you need to check what it tells you is, and every term below is on the public side of that line.

Terms

Certified absence A negative answer with its work attached: the material in scope cannot support the answer, backed by a closure receipt. Absence is certified, never assumed.
Controlled fixtures Small internal tests on a fixed set of records, with the expected outcome decided in advance. A development instrument, not a benchmark.
Current-by-default A question that does not name a time asks what governs now; the past stays answerable by naming the time.
Determinism ("same question, same answer") Same question, same pack, same answer: an answer is a function of the question and the evidence snapshot it ran against.
Document geometry Where a passage sits in its source: row, column, heading, exhibit. Position carries meaning and stays part of the record.
Four outcomes The response contract: every response is an Answer, a Clarification, a Conflict, or a Gap.
Independent checker The release requirement that a proof be verifiable by an implementation independent of the engine that produced it.
Machine-checkable proof What a supported answer carries instead of a citation list: the derivation itself, including what was set aside and what was computed from what.
Named gap The Gap outcome stated precisely: an account of which required fact could not be established from the material in scope.
Pack A versioned artifact CleverMemory can read, and the evidence snapshot an answer is computed against.
Pack manifest The machine-readable record expected to ship with a released pack: identity, sources, licenses, provenance, and known exclusions.
Proof-carrying answer The product category in one phrase: an answer that arrives with its evidence and its derivation still attached, so it can be checked instead of trusted.
Provenance (where, why, how) The chain that lets a conclusion be traced: where a record came from, why it supports a claim, and how the answer was computed from it.
Supersession Replacement without erasure: the new value governs, the old value stays in the record marked superseded.
Temporal Evidence Graph How CleverMemory represents what it has read: wording, position, applicable time, and source, kept connected.
Valid time vs record time (bitemporal) The two time axes a record needs: when a claim applied in the world, and when that version entered the record.