Compiling approved rule manifests into machine-executable .anchor policy matrices and Tree-sitter AST queries.
Anchor Static compiles approved human-readable rule configurations into a binary-ready policy manifest (`constitution.anchor`). It validates syntax grammar, resolves rule conflicts across statutory jurisdictions, and builds Tree-sitter AST query matchers.
- Step
- 03 / 05
- Engine
- Canon
- Stage
- Compile
The Compiler translates abstract legal invariants into low-level AST query pattern matchers. It runs static verification passes across target application source trees, detecting code-level vulnerability patterns before CI/CD deployment.
Authored the .anchor Domain Specific Language (DSL) compiler and Tree-sitter query generator evaluating Python, Rust, and TypeScript AST nodes.
# Anchor Compiler Verification Command
$ anchor compile --manifest=".canon/approved/manifest_v6.json" \
--target="python,rust" \
--out="constitution.anchor" \
--strict
[OK] Compiled 18 Constitutional Invariants. 0 Conflicts. Binary size: 42 KB.What this stage produces.
- 01
AST Query Generation: Translating compliance checks to exact programming language syntax trees.
- 02
Conflict Resolution: Detecting contradicting constraints across EU, SEC, and RBI rulesets before deployment.
- 03
Static CI/CD Verification: Enforcing lint checks and blocking non-compliant pull requests in GitHub Actions.
- 04
Polyglot Rule Emitting: Producing single policy manifests that enforce across Python, Rust, and Node.js.
What cannot be negotiated.
Article XIII Supremacy: Compiled constitution.anchor rules take precedence over all local code configurations.
Syntax Boundary Integrity: Invalid DSL syntax halts compilation immediately.
Deterministic Matching: Identical AST input nodes guarantee 100% reproducible query verdicts.