Proof

Examples

The discipline is only real if it survives contact with actual instruments. Each example shows the same three stages: source document, compiled artifact, verification.

Flagship example

EU AI Act

"From 140 pages of regulation to a machine-readable authority artifact."

01 · Source document

Regulation (EU) 2024/1689

113 articles, 13 annexes, 180 recitals. Classification of a system depends on purpose, deployment context, and a set of exemptions spread across three separate articles.

~140 pages of prose
62 defined terms
4 risk tiers
cross-references: 400+

02 · Compiled artifact

artifact: eu-ai-act/high-risk-classification
version: 2.3.0
source:
  instrument: Regulation (EU) 2024/1689
  clause: Article 6(2), Annex III(4)(a)
definitions:
  employment_system:
    scope: instrument
    text: AI system intended for recruitment or
          selection of natural persons
rules:
  - id: R-6.2-annexIII-4a
    when:
      all:
        - system.purpose in employment_system
        - deployment.region == 'EU'
    then:
      classification: high_risk
      obligations: [risk_management, data_governance,
                    human_oversight, logging]
    unless:
      - exemption.article_6_3 == true

03 · Verification

input   { purpose: 'cv_screening', region: 'EU' }
artifact eu-ai-act/high-risk-classification@2.3.0
digest   b7f0…9ac1

result   classification = high_risk
cited    R-6.2-annexIII-4a  ← Annex III(4)(a)
replay   deterministic (1000/1000 identical)
status   VERIFIED

The artifact is illustrative, not an official interpretation of the Regulation. Its purpose is to show the shape of the output: every rule traced to a clause, every decision traced to a rule, every result reproducible.

Enterprise policy

The same pipeline, inside an institution

Internal policy has no regulator forcing rigour, which is precisely why it drifts. These are the four families where decomposition pays back fastest.

HR policies

Leave entitlement, eligibility, escalation thresholds — high volume, high dispute rate, definitions that change quietly.

Procurement policies

Approval limits, vendor conditions, exception paths. The clearest example of decision logic already living in prose.

Security policies

Access, classification, retention. Rules that already have machine consumers and no machine-readable source.

Healthcare protocols

Clinical pathways where the cost of an unrecorded interpretation is measured in outcomes, not fines.

Have an instrument worth decomposing in public? Contributed examples are how this field builds shared reference material.

Contribute an example