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.
highlighted = computed this step
Render honesty note
Honesty note: jurisdiction US; as of 2026-06-24; not legal advice; code encodes the stated-rule interpretation for this lesson.
US as of 2026−06−24
A stated rule becomes prongs
The classroom rule has a notice prong and a response prong. The model renders prong rows only, not advice.
prong trace only
Example facts can be missing
The example has one present fact and one missing fact. That produces 2 trace rows.
trace rows=2
Unknown stays visible
The compiled trace has 1 condition satisfied row and 1 unknown row.
satisfied=1,unknown=1
Diagram note
The diagram preserves uncertainty as data. It does not collapse a missing fact into a binary answer.
uncertainty remains visible
Jurisdiction: US; as of 2026-06-24; not legal advice; Code encodes the stated-rule interpretation.