Skip to content

Generate Target-IR-bound Echo registration and invocation helpers #656

Description

@flyingrobots

Purpose

Generate the first Echo-owned Rust/API helpers carried as provider output roles, bound to the exact Target IR and contract bundle identities rather than to mutable application names.

Acceptance criteria

  • Generated registration and invocation descriptors name exact Target IR and bundle digests plus required Echo ABI/schema versions.
  • The helper constructs the existing installed-contract package/registry shape without exposing raw rule mutation, scheduler tick, WAL, recovery, or package-install authority to application code.
  • The minimal Target IR operation maps to one explicit host-supplied executor or observer.
  • Wrong Target IR, bundle, codec, schema, operation, footprint, or profile identity refuses before registration or mutation.
  • Output is deterministic, namespaced, schema-validated, and emitted only when requested.
  • Review projection and generated source are release artifacts; neither becomes a new semantic source of truth.
  • Consumer tests compile and exercise the generated API against the pinned minimal fixture.

Blocked by #652 and #653.
Parent: #650
Downstream app-safe delivery remains tracked by #516.

Metadata

Metadata

Assignees

No one assigned

    Labels

    blockedBlocked; cannot proceed without external input or dependency.featureFeature umbrella (epic)lane:up-nextMethod lane up-next.legend:platformMethod legend platform.legend:wesleyMethod legend wesley.priority:highMethod priority high.release:echo-1.0Echo 1.0 release convergence scoperuntimeRuntime coretoolingTooling/CI/CLItype:enhancementMethod work type enhancement.

    Projects

    Status
    Todo

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions