docs · glossary

The words of the engine.

Each word is defined once, the way these pages use it. Where a word is also a key of a frozen contract, the definition says what the contract carries, never more.

The words on one map

The main words, placed where they act in one decision. The contract titles are read from the frozen schemas.

The decision

answer: One of commit, defer, abstain: the closed list of the frozen contract GateDecision. Never a score, never a probability of being right.
commit: The intended act lies in a region small enough to act on, and the budget is not below the caller’s floor.
defer: The region is too large to act on yet; the gate waits while its decision window is open.
abstain: The gate states no region it stands behind, says why, and invents no success. A first-class answer.
reason code: One of the 13 codes of a closed list attached to each decision; one of them is the commit, covered.
budget, B_t: A depletable authorization budget, the right to act, metered. B_t is caller-carried: the caller keeps B_t and sends it with each call, and the gate returns it unchanged. Not a return, not a deposit, not an oracle.
floor: The lowest budget at which the caller lets the gate commit; below it, the gate abstains with the reason budget_exhausted.
decision window: The time during which a deferral is still an answer; once it closes, a region too large to act on becomes an abstention.

The evidence

prediction: The reading an upstream predictor gives, in the frozen contract Prediction: a label or a point, a task class and the id of the predictor.
nonconformity score: How wrong a predictor was on a past case. The caller can supply its own scores to the gate.
calibration: The scores of past cases a region is built from, kept per task class and predictor, with a digest the decision carries.
q-hat, the margin: The score at the rank fixed by the target coverage, among the calibration scores.
region: What the gate states around a prediction, in the frozen contract CoverageVerdict: a set of labels or an interval, built to contain the realized outcome at the target rate, on average, under exchangeability.
coverage: The long-run rate at which the stated region contains the realized outcome. Conformal coverage, nothing else: it is not a check of how much of anything was inspected.
miscoverage level: The rate of misses the target allows; the target coverage is one minus it.
exchangeability: The order of the past cases and the next one carries no information: their joint distribution does not change when they are reordered. The assumption under which the target rate holds.
marginal: Averaged over the calibration and the new case, never conditional on one particular input.
task class: With a predictor id, the key one region is locked to. Every other population abstains.
stratum: A category of cases fixed before the data, such as a range of the predicted amount, that gets its own region.
floor of a stratum: The fewest calibration points a stratum needs before it states a region; below it, it abstains with under_calib.
upper bound: A region that is an open floor up to a margin above the prediction: the shape Ukemi’s liquidation class returns once a stratum is committed.
quantile tracker: An online threshold that moves after each window from the realized outcome, with a step size that decays. It is Narabi’s; the gate does not read it.

The record

testimony: An attested reading: the exact bytes, their hash and the named residual hypotheses. Origin and bytes, never truth.
residual hypothesis: A named assumption a testimony still rests on. The list is closed and travels into the verdict.
residual, in a record: A named reason a collector could not produce a clean fact, counted in the published state, never hidden.
hash chain: Each published line carries the hash of the line before it, so a rewrite shows at recomputation: detectable, never certified.
signature: A check that a line comes from the holder of a key and is intact. It attests origin, not truth.
anchor: A public timestamp of a manifest: it shows that its bytes existed before a Bitcoin block, and nothing more.
off-hours gap: How far the on-chain price per share of a tokenized equity strays from the reference close, per session.
cash leg: The two readings of the reference close that must agree before a gap is computed.

The labels

built: A piece or an application with a study, a served surface that consumes its output, and an integration test that replays the composition. The register says which.
upcoming: Named, not delivered: no served path, no metric claimed.
served: Reachable today by a third party, on a public host or over the public endpoint, without an account.
design target: What the engine is built toward, never presented as done: see the use cases.