Lecture 2.7
A decision structure does not only return 'authorised'. It returns one of a small set of states, and the discipline requires each to be explicit: deterministic authorisation, conditional authorisation, a referral to human authority, and an unresolved state where authority cannot be established. This lecture treats those states as first-class outputs and argues that a machine must never convert the absence of an answer into a fabricated one.
Supports Law 7 — The Boundary of Authority Must Be Enforced, Not Assumed. →Learning objectives
After this lesson, the reader should understand:
Concept framework
Four states
Case study
An artifact evaluates a hardship waiver. The facts needed for one condition are not in the record, and the rule has no branch for that. What should it return?
Not a denial, and certainly not a grant. A denial asserts the institution considered the case and refused it; the institution did no such thing. The correct output is an unresolved state — authority could not be established on the evidence available — which halts the automated path and hands the case back with the evaluated context attached. Institutions resist this because an escalated count looks like a system that does not work. It is the opposite: an artifact that always returns authorised or denied has been built to hide the cases it cannot actually decide. 'The machine is not authorised to decide this' is itself a statement of computable authority, and a valuable one. A reference runtime shows how the four states are carried in practice. Its literal verdicts are three — AUTHORIZED, DENIED, ESCALATED — and the conditional state is not a fourth verdict but a disclosure attached to the others: the transcript reports how many higher-priority rules were left unresolved for want of facts, so a caller can tell whether the verdict was sealed with every relevant condition actually decided. The unresolved state itself splits by cause. A rule with no branch for the facts present escalates and returns the case. A request whose issuer cannot be recognised at all fails before any rule is consulted, as a distinct error rather than a verdict — because re-presenting better evidence of authority can fix the second and never the first.
Discussion questions
Exercise
Assign an outcome state to every path in one rule.
Research notes