Rule Models

Rule Record

A stated rule can be decomposed into named elements. 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

Start with a stated rule

A rule model starts with a stated classroom rule, not with hidden legal judgment. The source is captured as named element rows.

stated rule before trace\text{stated rule before trace}

Example element data

The toy record has source, actor, and act elements. Those are fields in the model, not conclusions about a real dispute.

source actor act fields\text{source actor act fields}

The model evaluates rows

The deterministic trace has 3 element rows and 3 rows marked satisfied.

element rows=3,satisfied=3\text{element rows}=3,\quad \text{satisfied}=3

Diagram note

The picture is a rule-record trace. It shows model rows only and does not assert what the law is.

rule rows only\text{rule rows only}

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

Rule record trace source: satisfied via source=True compare=True actor: satisfied via actor=True compare=True act: satisfied via act=True compare=True

Narrow summary

A rule record is useful because each later fact must point to an explicit element row.

explicit rows before facts\text{explicit rows before facts}