Add Echo Target IR lowering

CHANGELOG.md

@@ -8,6 +8,25 @@ versions still track specification maturity rather than a released product.
 
 ## [Unreleased]
 
+### Added
+
+- Added the first Target IR lowering surface in `edict_syntax`: explicit
+  `echo.dpo@1` target facts can lower the supported effectful Core shape into a
+  deterministic in-memory `echo.span-ir/v1` review artifact, while non-Echo
+  targets and unsupported Core nodes reject with stable target-lowering failure
+  kinds before any artifact is emitted. Echo Target IR preserves effect result
+  bindings, effect inputs, obstruction failure keys, obstruction arm values, and
+  intent result expressions. Target IR lowering facts can also be derived from
+  selected native lowerability results, keeping the first Echo artifact path
+  tied to the lowerability report's target profile, operation profile, and
+  selected native effect support. The lowerer rejects unsupported Core ABI
+  versions, unsupported Core capability flags, undigested target-profile
+  references, non-Echo target intrinsics, operation profiles unsupported by the
+  selected target facts, and intents with no target-owned steps before Target IR
+  emission. Echo Target IR intents also preserve Core input constraints and Core
+  evaluation budgets so supported artifacts do not drop preconditions or
+  evaluation limits.
+
 ### Changed
 
 - Marked `v0.8.0-alpha.1` as published in the release-process contract and

ROADMAP.md

@@ -349,16 +349,17 @@ Non-goals:
 
 Target date: TBD
 
-Planned milestone: `v0.9.0-alpha.1`
+Planned milestone: `v0.9.0-alpha.1` (#10)
 
-Primary issues: TBD
+Primary issue: #66
 
 Release labels: `release:target-ir`, `release:lowerability`,
 `release:target-profiles`
 
 Scope:
 
-- First target-specific IR for one deliberately narrow runtime profile.
+- First target-specific IR for one deliberately narrow runtime profile:
+  `echo.dpo@1` lowering to `echo.span-ir/v1`.
 - Lowering evidence that connects accepted Core obligations to the selected
   target IR artifact.
 - Structured target-lowering diagnostics for unsupported Core obligations.
@@ -376,6 +377,7 @@ Non-goals:
 
 - No general target-lowering framework.
 - No runtime execution guarantee.
+- No git-warp lowering; `gitwarp.ref_crdt@1` is the next target after Echo.
 - No v2 chained or composite adapter resolution.
 
 ## v0.10.0-alpha.1 - Public CLI And Structured Diagnostics Alpha

crates/edict-syntax/src/lib.rs

@@ -17,7 +17,8 @@
 //! digest-bound JSON files for the first supported profile, budget, and
 //! write-class facts.
 //! The crate also exposes typed v1 target-profile conformance, lowerability, and
-//! contract-bundle checks plus typed Gate C admission-boundary checks.
+//! first Echo Target IR lowering, contract-bundle checks, and typed Gate C
+//! admission-boundary checks.
 //! Developer-tooling support begins with lexical highlighting roles for editor
 //! adapters.
 //! Conformance validates runtime-neutral target-profile manifests. Lowerability
@@ -28,11 +29,11 @@
 //! artifact and invocation evidence bindings without evaluating participant
 //! policy.
 //! Pure `fn`/`const` declarations, `record` semantic-effect statements,
-//! list/map/unit expression literals, full source-language lowering, target
-//! lowering, and full admission execution tooling are deferred. The crate
-//! exposes the reference canonical Core encoder for `edict.canonical-cbor/v1`
-//! and the domain-separated `edict.core.module/v1` Core digest used by reviewed
-//! golden fixtures.
+//! list/map/unit expression literals, full source-language lowering, general
+//! target lowering, and full admission execution tooling are deferred. The
+//! crate exposes the reference canonical Core encoder for
+//! `edict.canonical-cbor/v1` and the domain-separated `edict.core.module/v1`
+//! Core digest used by reviewed golden fixtures.
 //!
 //! Assurance tooling (HOLMES / Watson / Moriarty) remains shared platform
 //! machinery. This crate validates typed references to its evidence; it does not
@@ -49,6 +50,7 @@ pub mod highlight;
 pub mod lowerability;
 pub mod parser;
 pub mod semantic;
+pub mod target_ir;
 pub mod target_profile;
 pub mod token;
 
@@ -97,6 +99,11 @@ pub use lowerability::{
 };
 pub use parser::{parse_module, ParseError, ParseErrorKind};
 pub use semantic::{validate_module, validate_surface, SemanticError, SemanticErrorKind};
+pub use target_ir::{
+    lower_to_target_ir, TargetEffectLowering, TargetIrArtifact, TargetIrIntent,
+    TargetIrLoweringFacts, TargetIrStep, TargetLoweringFailure, TargetLoweringFailureKind,
+    TargetLoweringReport, TargetLoweringStatus, ECHO_DPO_TARGET_PROFILE, ECHO_SPAN_IR_DOMAIN,
+};
 pub use target_profile::{
     validate_target_profile_manifest, TargetProfileConformanceFailure,
     TargetProfileConformanceFailureKind, TargetProfileConformanceReport,

crates/edict-syntax/src/lowerability.rs

@@ -174,6 +174,8 @@ impl LowerabilityEffectResult {
 pub struct LowerabilityReport {
     pub status: LowerabilityStatus,
     pub target_profile: String,
+    pub operation_profile: String,
+    pub obstruction_coordinates: Vec<String>,
     pub effect_results: Vec<LowerabilityEffectResult>,
     pub failures: Vec<LowerabilityFailure>,
 }
@@ -288,6 +290,8 @@ pub fn check_lowerability(
     LowerabilityReport {
         status,
         target_profile: facts.coordinate.clone(),
+        operation_profile: requirements.operation_profile.clone(),
+        obstruction_coordinates: requirements.obstruction_coordinates.clone(),
         effect_results,
         failures,
     }