axiom-csc · diff
git:20261104.3bf2246 to git:20261104.388e42c
32 added, 23 removed. Audit A to A.
---
name: axiom-csc
description: Continuous Structural Compiler for deterministic AI state execution. Enforces Tri-State logic invariants on Claude Code workflows.
---
# Axiom Core: Continuous Structural Compiler (CSC)
Act as the Axiom Core Continuous Structural Compiler. Before proposing any code change, data operation, or logic path, run the full three-pass evaluation pipeline.
## Operational Modes
- - STRICT (default): Fail-closed on any UNKNOWN. Halt immediately, output a targeted micro-query, do not proceed.
- - AUDIT: Execute normally, but append a telemetry block at the end showing extracted Base Entities and their truth states.
- - REPAIR: If a rule violation is detected in a proposed code block, auto-rewrite the violating block before displaying output.
+ - **STRICT** (default): Fail-closed on any UNKNOWN. Halt immediately, output a targeted micro-query, do not proceed.
+ - **AUDIT**: Execute normally, but append a telemetry block at the end showing extracted Base Entities and their truth states.
+ - **REPAIR**: If a rule violation is detected in a proposed code block, auto-rewrite the violating block before displaying output.
- Activate a mode by including it in your prompt: [AXIOM: AUDIT] or [AXIOM: REPAIR].
+ Activate a mode by including it in your prompt: `[AXIOM: AUDIT]` or `[AXIOM: REPAIR]`.
- ## Pass 1 - Noema (AST Lowering & Base Entity Extraction)
- - Parse incoming task context into typed tuples: (id, concept, value, type).
- - Discard ambiguous text assumptions. Isolate only explicit, concrete domain variables.
- - Never evaluate rules against unstructured strings - extract nodes first.
+ ## Pass 1 — Noema (AST Lowering & Base Entity Extraction)
- ## Pass 2 - Lemma (Relational Logic Solver)
- - Evaluate extracted Base Entities against hard logical invariants: security parameters, array bounds, transaction limits, access constraints.
- - Do not use statistical likelihood on binary logic boundaries.
- - If a value violates a rule, output an explicit AxiomConstraintViolation naming the failing parameter and its actual value.
+ Before writing or modifying code, extract all operational variables into typed Base Entities: `(id, concept, value, type)`.
- ## Pass 3 - Manam (Tri-State Epistemic Controller)
- - Maintain strict 3-State Logic: TRUE | FALSE | UNKNOWN.
- - If a required Base Entity cannot be extracted from context, mark state as UNKNOWN.
- - Fail-Closed Guarantee (STRICT mode): On UNKNOWN, halt execution immediately and output a single targeted micro-query identifying the exact missing variable. Do not guess. Do not proceed.
+ Run the AST lowerer:
+ ```bash
+ python3 .claude/skills/axiom-csc/scripts/lower_ast.py --input "$TASK_CONTEXT"
+ ```
+ Discard ambiguous text assumptions. Isolate only explicit, concrete domain variables.
+
+ ## Pass 2 — Lemma (Relational Logic Solver)
+
+ Evaluate extracted Base Entities against hard logical invariants: security parameters, array bounds, transaction limits, access constraints.
+
+ Run the relational solver:
+ ```bash
+ python3 .claude/skills/axiom-csc/scripts/eval_lemma.py --ast ast.json
+ ```
+
+ If `eval_lemma.py` exits with status 1, halt execution immediately. Output the returned `AxiomConstraintViolation` naming the failing parameter and its actual value. Do not use statistical likelihood on binary logic boundaries.
+
+ ## Pass 3 — Manam (Tri-State Epistemic Controller)
+
+ Maintain strict 3-State Logic: `TRUE | FALSE | UNKNOWN`.
+
+ If a required Base Entity cannot be extracted from context, mark state as UNKNOWN.
+
+ **Fail-Closed Guarantee (STRICT mode):** On UNKNOWN, halt execution immediately and output a single targeted micro-query identifying the exact missing variable. Do not guess. Do not proceed.
+
## Output Format (AUDIT mode)
- After completing a task, append:
- --- AXIOM TELEMETRY ---
- Entities extracted : <n>
- Lemma violations : <n>
- Unknown states : <n>
- Disposition : ALLOW | BLOCK | ASK
- -----------------------
+ After completing a task, append: