Rule Models

Numeric Threshold

Threshold rows compare exact integers inside the stated model. 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

Thresholds state a comparator

The classroom rule uses a strict greater-than comparator. Exact integers matter because equality is not greater-than.

strict greater-than comparator\text{strict greater-than comparator}

Example amount data

The main example amount is 100000 and the threshold is 75000. The model compares those exact values.

100000 exceeds 75000100000\text{ exceeds }75000

The edge case is equality

The near-miss amount is 75000, exactly equal to the threshold 75000. In a strict greater-than model, that row is not satisfied.

75000 equals 7500075000\text{ equals }75000

The traces show both rows

The two traces show 1 satisfied row and 1 not-satisfied row.

satisfied=1,not satisfied=1\text{satisfied}=1,\quad \text{not satisfied}=1

Diagram note

The diagrams are numeric model rows only. They are not legal advice.

numeric trace rows only\text{numeric trace rows only}

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

Numeric threshold trace amount: satisfied via amount=100000 compare=75000
Numeric threshold near miss amount: not_satisfied via amount=75000 compare=75000

Narrow summary

When a rule uses a strict comparator, code should include the edge case where equality is not enough.

strict comparator edge case\text{strict comparator edge case}