Skip to content

Dispatch governed effects through their owning operations #1369

Description

@Brad-Edwards

Composed control effects must reach the operations that realize them; phase bookkeeping and projection delivery are not substitutes for execution.

Acceptance criteria

  • Apply parent decisions and execution prerequisites consistently across phases. Deny/withhold must prevent prohibited parent execution even when the deciding effect belongs to a later phase.
  • Dispatch each supported effect kind through its owning operation, including real inject execution and evidenced cancellation/control transitions. Reject unimplemented required effect kinds during admission.
  • Preserve independent authorized consequences, fresh effect/operation identity, recursion bounds, and durable causal links. Record trigger commit, admission, dispatch, and observed outcome separately.
  • Verify later-phase denial, permitted independent consequences, failed dispatch, duplicate recovery, and actual inject/cancellation outcomes through the public provider-to-operation path.

Prerequisites: #1069, #1368.

References: Diagnosis, Diagnosis.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:runtimeRuntime and control-plane codeenhancementNew feature or request

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions