Rule Models

Fact Record

A rule model should receive explicit fact inputs. Honesty note: US classroom stated-rule model; the pinned first step states the as-of date; not legal advice; code encodes an interpretation of a stated rule, not the law itself.

highlighted = computed this step

Rules as code honesty note

Honesty note: US classroom stated-rule model; as of 2026-06-24; not legal advice; code encodes an interpretation of a stated rule, not the law itself.

classroom model as of 2026−06−24\text{classroom model as of }2026-06-24

Facts are model inputs

The stated rule asks for notice and timing facts. A rule model should receive those facts explicitly.

facts are inputs\text{facts are inputs}

Example data can be incomplete

In the toy data, the notice fact is present and the timing fact is missing. Missing data stays visible instead of being guessed.

missing facts stay visible\text{missing facts stay visible}

The trace preserves unknowns

This trace has 2 rows and 1 unknown row.

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

Diagram note

The diagram is an input audit. It tells the reader which fact row is known and which one remains unknown.

input audit only\text{input audit only}

Jurisdiction: US; as of 2026-06-24; not legal advice; Code encodes the stated-rule interpretation.

Fact record trace notice: satisfied via notice=True compare=True timing: unknown via timing=None compare=True

Narrow summary

Do not hide assumptions in code; make each fact value or missing value an explicit row.

explicit facts only\text{explicit facts only}