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[1]. 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. The strongest objection is practical. An honest unresolved state moves work back to people, and the people it moves work to are already the bottleneck automation was meant to relieve. Worse, it can be gamed: an applicant who expects a stricter outcome from the machine than from a caseworker has every reason to withhold the fact that would decide the case. Both halves are real. The answer to the first is that an escalation should carry the decisive question, not just the case: a runtime that knows which missing fact could still change the verdict can ask for that fact and nothing else, and stop asking once the verdict is stable — the reference runtime's intake planner works this way. The answer to the second is that withholding a fact should not be cheaper than supplying it; an escalation for missing evidence is a request for evidence, not a route to a more lenient reader. There is a sharper critique of the referral itself. Research on mandated human oversight of government algorithms finds that reviewers frequently defer to the machine's framing[2], and that oversight requirements can legitimise a system without making its decisions better. An unresolved state routed to a person who rubber-stamps it has only relocated the fabrication. The discretionary and unresolved states therefore need what the deterministic ones have: a recorded decision, a named decider, and a trace that shows what the human actually changed. Finally, the unresolved state defers; it does not abolish. Legal systems generally refuse a court the option of declining to decide — the doctrine of non liquet is mostly a doctrine of its prohibition[3]. An institution may tell its machine not to decide. It may not tell itself that.
Discussion questions
Discussion (0)
No responses yet. Be the first to answer one of the questions above.
Start the course to join the discussion.
Exercise
Assign an outcome state to every path in one rule.