Under Indonesian law every crane carries a fitness certificate. In software that certificate is usually a row with a valid-until column.
LAYAK writes it differently. The certificate's lifetime is its validity period.
This is a real gate check: the same function the invariants run, against the executable spec. Only the lifetime is shortened, so you can watch it.
Green. The crane is cleared, and the card names the inspector who signed it and the block it was written in.
Now watch the query. It never changes, and there is no date in it. Nothing is scheduled. Nothing is going to run.
The blocks tick. The lifetime runs out.
Red. Not a stale row — an empty set. The certificate no longer exists to be returned, and the chain said so, under the inspector's own key.
No cron. No update. No date comparison. That is the whole idea.