← Curriculum

Module 2 · Days 8–15

Policy Engineering

The craft of decomposing a policy into its structural parts — the unit operations of the discipline.

8 lectures

  1. 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.

    Read lecture →

  2. Lecture 2.2

    Definitions

    Definitions decide outcomes more often than rules do. This lecture treats the definition as the primary object of policy engineering: scoped, versioned, and shared across rules.

    Read lecture →

  3. Lecture 2.3

    Rules

    A rule is an operative statement binding conditions to a normative outcome. This lecture covers rule form, modality, and the discipline of writing one rule per statement.

    Read lecture →

  4. Lecture 2.4

    Exceptions

    Exceptions are where most policy failures live. This lecture treats the exception as a first-class object with its own conditions, authority, and expiry.

    Read lecture →

  5. Lecture 2.5

    Conditions

    A condition is the point at which authority meets fact. This lecture examines evaluability: which conditions a machine can test, which require judgement, and how the boundary is declared.

    Read lecture →

  6. Lecture 2.6

    Decision Logic

    Decision logic is the evaluable structure that turns facts into an outcome. This lecture covers ordering, completeness, and the requirement that every path terminate in a defined result.

    Read lecture →

  7. Lecture 2.7

    The States of Authority

    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.

    Read lecture →

  8. Lecture 2.8

    Contradiction and Conflict

    A decomposition can be complete and still be incoherent. This lecture covers the failure modes that appear only once a policy is expressed as structure — the conflicts prose was able to conceal — and treats their detection as a required step before any artifact is issued.

    Read lecture →