wesley-core

wesley-core is Wesley's Rust compiler kernel. It parses GraphQL SDL into domain-empty Level 1 IR, computes schema hashes and schema deltas, and exposes operation-selection and directive-argument analysis primitives.

This crate is intended to be embedded by native Wesley tools and by downstream systems that need Wesley's GraphQL semantics without the CLI.

External semantic generators can consume ExtensionGenerationInputV1 directly from Rust. The input combines canonical Shape IR, normalized operations, optional bound Law IR, explicit owner-declaration references, a settings digest, and requested projection roles. GenerationProvenanceManifestV1 then binds the exact generator, sources, input, settings, schema/ABI versions, and outputs. Verification recomputes every supplied digest without filesystem, registry, network, clock, process, or environment access. Target semantics and generated output schemas remain owned by the external generator's repository.

Execution boundaries that need explicit resilience policy can wrap a lowering port with ResilientLoweringPort and a ResiliencePolicy. The wrapper uses ninelives for Rust-side cooperative timeout policy while leaving ordinary deterministic parse and semantic errors as compiler errors.

Rust-native module planning can use ModuleTargetRegistry, ModuleTargetDescriptor, HostCapabilityContract, HostFunctionPolicy, RuntimeResourcePolicy, and HermeticCapabilityFixture to model target selection, execution mode, portability floor, ABI compatibility, stateless runtime policy, requested/granted/denied capabilities, and deny-by-default host imports before any dynamic module or WASM execution hook exists.

The timeout observes async cancellation points. It does not preempt synchronous CPU-bound parser or lowering work that runs to completion inside a single future poll; lowerers that need hard deadlines should run behind a process, thread, or runtime boundary that can be cancelled independently.

See the repository README and architecture guide for the full project context.