Skip to main content

Module ki_checked_date

Module ki_checked_date 

Source
Expand description

Gate: a record whose handling depends on an upstream state carries the date that state was last confirmed, and no other record carries one.

A masked record states the condition that removes its workaround, and a monitoring record states the upstream it watches. Neither says when anyone last looked, so a mask outlives its bug and the next reader takes the workaround for a design choice. The other states describe handling this project owns, where there is no upstream observation to date.

The gate judges presence, shape, and a date that is not in the future. It never judges age: an old date over an upstream that has not moved is an accurate record, and failing it teaches people to touch the date rather than to check the condition. Whether the observation is recent enough is review’s business.

Constants§

CITES
The rules this gate can cite.

Functions§

run
Judge every known-issue record under the resolved roots.