Lecture 2.1
Decomposition is the first unit operation of policy engineering: reading an instrument and separating it into the elements a machine will need. This lecture establishes the method and the discipline of not resolving ambiguity silently.
Supports Law 3 — Logic Must Be Formal Before It Can Scale. →Learning objectives
After this lesson, the reader should understand:
Concept framework
The decomposition pass
Case study
How much of a typical HR policy is operative, and how much is context?
In practice the operative content is a small fraction of the text. Most of a policy is purpose, tone, and explanation — necessary for a reader, inert for a machine. Decomposition separates the two without discarding either, and the exercise routinely reveals that two operative rules in the same document contradict each other. That finding is the value of the pass, not a side effect of it.
Discussion questions
Exercise
Decompose one page of a real instrument.
Research notes