Module 2 · Policy Engineering

Lecture 2.1

Policy Decomposition

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 3Logic Must Be Formal Before It Can Scale.

Learning objectives

After this lesson, the reader should understand:

  • 01Apply a repeatable decomposition pass to an instrument.
  • 02Separate operative content from recital and explanation.
  • 03Record ambiguity as a finding rather than a private assumption.

Concept framework

The decomposition pass

  1. 01Scope — what the instrument governs
  2. 02Definitions — the vocabulary it relies on
  3. 03Rules — the operative statements
  4. 04Conditions and exceptions
  5. 05Decision points and outcomes
  6. 06Open questions for the authority holder

Case study

A twelve-page leave policy

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

  • Who owns the resolution of a discovered contradiction?
  • Should decomposition findings be published with the artifact?
  • How much context should survive into the artifact?

Exercise

Decompose one page of a real instrument.

  1. 01Highlight operative sentences only.
  2. 02Extract every defined term used.
  3. 03Rewrite each rule as condition plus outcome.
  4. 04Log every question you could not answer from the text.

Research notes

  • Legal informatics — structural markup of legislation.
  • Requirements elicitation methods.
  • Deontic logic — obligation, permission, prohibition.