Source Records
Tri-state Trace
Rule output is a prong trace with satisfied, not satisfied, unknown, or conflict. Honesty note: jurisdiction US; the pinned first step states the as-of date; not legal advice; code encodes the stated-rule interpretation.
Structured Visual
Jurisdiction: US; as of 2026-06-24; not legal advice; Code encodes a stated structural model, not the law itself. RENDER STRUCTURE · REFUSE INTERPRETATION · CITE · ABSTAIN · HAND-OFF.
RENDER STRUCTURE · REFUSE INTERPRETATION · CITE · ABSTAIN · HAND-OFF: render structure, refuse interpretation, cite provenance, abstain when unsupported, and hand off to human review.
Render honesty note
Honesty note: jurisdiction US; as of 2026-06-24; not legal advice; code encodes the stated-rule interpretation for this lesson.
A stated rule becomes prongs
The classroom rule has a notice prong and a response prong. The model renders prong rows only, not advice.
Example facts can be missing
The example has one present fact and one missing fact. That produces 2 trace rows.
Unknown stays visible
The compiled trace has 1 condition satisfied row and 1 unknown row.
Diagram note
The diagram preserves uncertainty as data. It does not collapse a missing fact into a binary answer.
Jurisdiction: US; as of 2026-06-24; not legal advice; Code encodes a stated structural model, not the law itself. RENDER STRUCTURE · REFUSE INTERPRETATION · CITE · ABSTAIN · HAND-OFF.
RENDER STRUCTURE · REFUSE INTERPRETATION · CITE · ABSTAIN · HAND-OFF: render structure, refuse interpretation, cite provenance, abstain when unsupported, and hand off to human review.