Declare typed external-action request values

[flyingrobots]

Outcome

Edict can deterministically construct a typed external-action request whose operation family is declared in the package closure, without performing the operation or importing host capabilities into the provider seam.

Acceptance

• syntax and Core represent external operation identity, input schema, settlement schema, authority scope, basis, and budget;
• request construction is deterministic over admitted history;
• package closure binds every requestable operation family;
• an undeclared operation family fails compilation or package verification;
• request values survive target lowering without becoming callable provider imports;
• dynamic path, ref, basis, budget, and adapter constraints remain Echo admission checks;
• program waiting is explicit state keyed by request identity, not a serialized stack or async host frame;
• settlement facts resume deterministic transitions only after schema admission;
• tests reject ambient filesystem, process, network, Git, GitHub, and model authority.

First consumer

A bounded read-only workspace observation request. Basis-bound patch application follows later.

Non-goals

• general-purpose algebraic effects;
• direct I/O from Edict;
• generic shell or network operations;
• writable model capability;
• the autonomous delivery loop.

[coderabbitai]

🔗 Related PRs

#2 - docs: apply Phase 0 design review + nail five yellow-light joints [merged]
#41 - Add Gate C admission boundary checks [merged]
#128 - Parse obstruction strand continuations [merged]
#167 - Add Edict executable-operation prerequisites [merged]
#170 - Build verified external applications through provider components [open]

---

📝 Issue Planner

_{Check the box below or use the @coderabbitai plan command to generate an implementation plan and prompts that you can use with your favorite coding assistant.}

• Create Plan

---

🧪 Issue enrichment is currently in open beta.

You can configure auto-planning by selecting labels in the issue_enrichment configuration.

To disable automatic issue enrichment, add the following to your .coderabbit.yaml:

issue_enrichment:
  auto_enrich:
    enabled: false

💬 Have feedback or questions? Drop into our discord!