W1: Schema hash chain pinning (SDL→IR→bundle) recorded in receipts

Pulse context: bi-directional compiler loop.

Goal

Prevent drift by pinning schema artifacts via a hash chain (SDL hash → IR hash → codegen bundle hash), and recording those hashes in receipts/events.

Scope

Acceptance criteria

Spec describes the hash chain and failure mode (fail closed when pins mismatch).
Any prototype codegen bundle can report its bundle hash.

Parent

Closing from Echo triage: schema/hash-chain work is not blocking current GraphQL-schema -> generated Rust usage in echo-wesley-gen.

Current Echo source anchors:

crates/echo-wesley-gen/tests/generation.rs:1513 asserts generated SCHEMA_SHA256 output.
crates/echo-registry-api/src/lib.rs:56 defines host verification policy fields including expected schema hash and generator metadata.
crates/echo-registry-api/src/lib.rs:358 verifies generated artifacts against host policy.

A full SDL -> IR -> bundle hash chain is Wesley/compiler-product work unless Echo has a concrete verification surface to consume.

Navigation Menu