Skip to content

Evaluate package-declared typed application results #698

Description

@flyingrobots

Outcome

Evaluate and durably retain package-declared application result projections through the generic executable-operation scheduler path.

Evidence

The current package and runtime retain a typed target result identity, committed receipt, state, and recovery evidence, but the generic runner cannot report the Edict-authored GreetingCreated value. Reconstructing {key,message} inside native Hello Echo code would violate the generic runtime boundary.

Blocked by: flyingrobots/edict#173

Acceptance criteria

  • Admission verifies the canonical result projection emitted by Edict.
  • Bounded scheduler-owned evaluation produces typed result bytes without application callbacks.
  • The Action outcome and Receipt bind the exact result bytes and schema identity.
  • WAL recovery reproduces the exact result bytes and identity.
  • The generic runner reports the result through schema-neutral canonical data.
  • Corrupted or rebound projections and result bytes fail closed.
  • Echo production code contains no Hello Echo, Graft, Jedit, GreetingCreated, key, or message vocabulary.

Non-goals

No native result callback, handwritten application package, external effects, or general-purpose ambient evaluator.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestfeatureFeature umbrella (epic)legend:testMethod legend test.priority:highMethod priority high.roadmap-aRoadmap A: standalone Hello Echo deliveryruntimeRuntime corespecSpec/Design documenttoolingTooling/CI/CLItype:enhancementMethod work type enhancement.

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions