constraint-compiler

Deterministic projection-to-inference graph compiler for the canonical lane.

Usage

use constraint_compiler::{compile_batch, CompileOutput, CompilerPolicy};

Scope

This crate compiles canonical projection import batches into bounded inference graph artifacts: nodes, hyperedges, constraints, invalidation cones, degradations, and oracle candidates.

Non-goals

no authority over source truth
no runtime repair or scheduler policy
no fabrication of semantics from thin exports

Ecosystem

Depends on:

stack-ids -- identity primitives (ConstraintId, ContentDigest, OracleSliceId, RegionId, ScopeKey)
forge-memory-bridge -- projection import batch types
recursive-kernel-core -- kernel operator metadata and constraint units
semantic-memory-forge -- constraint seed kinds and export record semantics

Depended on by:

kernel-execution
kernel-oracles
kernel-conformance
knowledge-runtime
forge-pilot
contract-schema-gen

stack-ids integration