Skip to content

Execute basis-bound validated workspace patches #711

Description

@flyingrobots

Outcome

Echo durably coordinates one domain-specific validated workspace patch effect without granting Edict, a model, or the compiler/provider seam ambient filesystem authority.

Acceptance

  • consumes the exact compiler-owned and independently verified Edict request representation;
  • admits the request to the WAL before mutation and binds the exact observation basis, patch identity, writable aperture, policy identity, and budgets;
  • grants only the admitted validated artifact and exact authority scope to a narrow no-follow workspace adapter;
  • obstructs stale basis, escaped paths, policy-forbidden CI workflow paths, substituted grants, special files, and out-of-budget writes before mutation;
  • admits terminal settlement before publication and binds request, attempt, precondition basis, resulting basis, and postcondition evidence;
  • reconciles an ambiguous attempt by observing the postcondition or admits outcomeUnknown without repeating an unverified write;
  • restart recovers requested, claimed, settled, and ambiguous postures;
  • identical settlement retry is effect-free and conflicting settlement obstructs;
  • replay consumes retained evidence and never reapplies the patch;
  • no generic filesystem-write, shell, Git, network, or model callback is introduced;
  • production code contains no Hello Echo, Graft, greeting, or application-specific vocabulary.

Dependency

Blocked by flyingrobots/edict#178. The native edge is maintained through GraphQL.

Downstream

Blocks flyingrobots/hello-echo#11.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestfeatureFeature umbrella (epic)lane:asapMethod lane asap.legend:testMethod legend test.priority:highMethod priority high.roadmap-a1Roadmap A.1: bounded Hello external effectsruntimeRuntime corespecSpec/Design documenttoolingTooling/CI/CLItype:enhancementMethod work type enhancement.

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions