Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 14:36:52 UTC · snapshot created 2026-10-03 14:38:14 UTC · last check 2026-10-03 14:50:08 UTC

A.2.6:10.5 - Time selector

When membership depends on time, name an exact gammaTime point, interval, or policy and the boundary that changes membership. Keep every selector already declared in the slice schema, even when this predicate does not inspect it. If a work qualification or evidence-freshness condition varies with time, name its exact evaluation time and interval or policy under that condition’s direct governor rather than copying it into scope. For example, qualificationWindowHolds(holderAbilityClaim, Recertification90d, evaluationTime) is a separate guard; it is not a scope selector.

Do not write implicit “latest.” Do not invent a time selector merely to complete a new slice declaration.