AR Policy Builder

Overview

An Automated Reasoning policy encodes business rules as formal logic (rules + a typed variable schema) extracted from a natural-language source document. Creating one is a two-step API flow: (1) create the policy resource, (2) run an INGEST_CONTENT build workflow to extract rules from the doc. This skill drives both, then hands off to ar-policy-reviewer to inspect the result.

API/operator reference: ../../shared/references/ar-api-context.md and smtlib-rules.md. Read those when you need exact arg shapes or rule syntax.

When to use

• Starting a brand-new AR policy from a document.
• Adding a new document's rules into an existing policy (merge via INGEST_CONTENT with the full current definition; see Step 4).