Proof Models

Relevance Gate Trace

Relevance can be modeled as a classroom gate trace without a ruling. Honesty note: simplified evidence and proof model; jurisdictions and rules vary; the pinned first step states the as-of date; not legal advice.

highlighted = computed this step

Evidence model honesty note

Honesty note: simplified evidence and proof model; jurisdictions and rules vary; as of June 24, 2026; not legal advice; code encodes a stated structural model, not the law itself.

evidence model as of June24,2026\text{evidence model as of }June 24, 2026

Use a stated classroom gate

The stated classroom gate asks for a fact label, a tendency label, and a context label. The model records prong status only.

gate rows, not a ruling\text{gate rows, not a ruling}

Example fact packet

In the toy packet, fact label and context label are stated. The tendency label is missing, so the trace must keep that row open.

missing tendency label\text{missing tendency label}

The trace keeps unknowns visible

The compiled trace has 3 rows and 1 unknown row. The unknown is a review cue, not an evidence ruling.

rows=3,unknown=1\text{rows}=3,\quad \text{unknown}=1

Diagram note

The diagram shows prong rows. It does not decide whether the item belongs in a record, hearing, or trial file.

prong trace only\text{prong trace only}

Jurisdiction: US; as of 2026-06-24; not legal advice; Code encodes the stated structural model, not the law itself.

Simplified evidence relevance gate trace fact_label: satisfied via fact_label=True compare=True tendency_label: unknown via tendency_label=None compare=True context_label: satisfied via context_label=True compare=True

Summary

Relevance review is safer as an explicit gate trace because missing facts stay visible for human review.

missing facts remain visible\text{missing facts remain visible}