Proof Models

Hearsay Gate Trace

Hearsay analysis can be framed as a stated-rule trace and human-review handoff. 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 hearsay gate

The stated classroom gate separates statement label, purpose label, and exception label. It is a teaching model, not a court ruling.

statement plus purpose plus exception label\text{statement plus purpose plus exception label}

Example statement packet

The toy packet has an out-of-court statement label and no exception label. The purpose label is unknown, so the trace must not collapse to a result.

purpose label unknown\text{purpose label unknown}

The trace keeps the open row

The compiled trace has 3 rows and 1 unknown row. Prong rows are structural labels, and the trace hands off for review.

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

Diagram note

The diagram is a prong trace. It does not decide a hearsay question or any evidence ruling.

trace row only\text{trace row only}

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

Simplified evidence hearsay gate trace statement: satisfied via statement=True compare=True purpose: unknown via purpose=None compare=True exception: satisfied via exception=False compare=False

Summary

Hearsay-sensitive tooling should preserve the stated labels and unknowns, then route the packet to human review.

unknown then review\text{unknown then review}