Crate icl_core 

ICL Core - Canonical implementation of Intent Contract Language

This is the single source of truth for ICL semantics. All language bindings (Python, JavaScript, Go) compile this same core.

Architecture

ICL Text → Parser → AST → Normalizer → Canonical Form
                             ↓
                          Verifier → Type Check + Invariants + Determinism
                             ↓
                          Executor → Sandboxed Execution

Guarantees

• Deterministic: Same input always produces identical output
• Verifiable: All properties machine-checkable
• Bounded: All execution bounded in memory and time
• Canonical: One normalized form per contract

Re-exports

pub use error::Error;

pub use error::Result;

pub use parser::ast::*;

Modules

error

Error types for ICL runtime

executor

Execution engine — runs contracts deterministically in a sandbox

normalizer

Canonical normalizer — converts ICL to deterministic canonical form

parser

ICL Parser — tokenizer, AST types, and recursive descent parser

verifier

Contract verifier — checks types, invariants, determinism, and coherence

Structs

BehavioralSemantics

Contract

Core contract definition

DataSemantics

ExecutionConstraints

HumanMachineContract

Identity

Operation

PurposeStatement

ResourceLimits