Lecture 4.4
A runtime authorisation is not rule-in, outcome-out. It composes the authority, the agent, the proposed action, the context, the evidence available, and the moment in time. This lecture examines the two that decay — evidence and time — and why a valid credential is not a standing authority.
Supports Law 7 — The Boundary of Authority Must Be Enforced, Not Assumed. →Learning objectives
After this lesson, the reader should understand:
Concept framework
What a decision composes
Case study
An agent was authorised on Monday to release payments up to a limit, on evidence of a completed sanctions check. On Thursday it releases a payment. The delegation is intact. Is the action authorised?
Only if the evidence and the clock still agree. If the sanctions check has a seven-day validity and the last one ran nine days ago, the evidence condition now fails even though the delegation does not. If the policy version changed on Wednesday to add a second check, the authority in force on Thursday is not the authority the agent was briefed on. Credentials answer 'is this the right agent'. They do not answer 'do the authority's conditions still hold at this instant', and for an agent acting continuously that second question has to be re-asked, not assumed from the first authorisation. Two draft specifications put the freshness question into the answer itself. Under NOMOS-SPEC-006, a verdict sealed against a structurally revocable authority carries a maximum age; a caching client that finds no such field must treat the position as 'revocation status unknown', not 'safe to hold indefinitely', and the revocation list is published separately with a deliberately short cache lifetime, because a stale allow is the dangerous direction. NOMOS-SPEC-007's freshness staples go further: the answer records, at issue time, how long each fact it relied on may be trusted, so a long-running caller re-checks the fact that expires first rather than on a fixed timer.
Discussion questions
Exercise
Decompose one runtime decision into its six inputs.
Research notes