Lecture 6.5
A discipline is only as strong as its answers to the obvious challenges. This lecture takes the five that recur — that this is just access control, just policy-as-code, unworkable if the encoding is wrong, impossible because law needs interpretation, or unnecessary with a human in the loop — and answers each on its merits.
Learning objectives
After this lesson, the reader should understand:
Concept framework
Five objections
Case study
'What if the institution encodes its authority incorrectly? You have just given a wrong rule a runtime and a seal.' What is the honest answer?
That the risk is real and the discipline does not eliminate it. What it does is make the failure visible instead of silent. An incorrect prose policy fails through inconsistent human application that no one records. An incorrect artifact fails the same way a defective program does — reproducibly, against a version, traceable to the compilation step that introduced it — and the response is the same: source provenance, review by the authority holder, conformance testing, version control, independent inspection. The objective was never a representation that cannot be wrong. It is that an error in authority does not get to become invisible software behaviour.
Discussion questions
Exercise
Steelman one objection and answer it.
Research notes