-
Notifications
You must be signed in to change notification settings - Fork 1
Admit bounded observation uncertainty without workspace authority #709
Copy link
Copy link
Closed
Labels
enhancementNew feature or requestNew feature or requestfeatureFeature umbrella (epic)Feature umbrella (epic)lane:asapMethod lane asap.Method lane asap.legend:testMethod legend test.Method legend test.priority:highMethod priority high.Method priority high.roadmap-aRoadmap A: standalone Hello Echo deliveryRoadmap A: standalone Hello Echo deliveryroadmap-a1Roadmap A.1: bounded Hello external effectsRoadmap A.1: bounded Hello external effectsruntimeRuntime coreRuntime corespecSpec/Design documentSpec/Design documenttoolingTooling/CI/CLITooling/CI/CLItype:enhancementMethod work type enhancement.Method work type enhancement.
Milestone
Description
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or requestfeatureFeature umbrella (epic)Feature umbrella (epic)lane:asapMethod lane asap.Method lane asap.legend:testMethod legend test.Method legend test.priority:highMethod priority high.Method priority high.roadmap-aRoadmap A: standalone Hello Echo deliveryRoadmap A: standalone Hello Echo deliveryroadmap-a1Roadmap A.1: bounded Hello external effectsRoadmap A.1: bounded Hello external effectsruntimeRuntime coreRuntime corespecSpec/Design documentSpec/Design documenttoolingTooling/CI/CLITooling/CI/CLItype:enhancementMethod work type enhancement.Method work type enhancement.
Hello Echo review exposed a recovery gap in the generic bounded-observation host boundary. After a durable claim, workspace authority may be unavailable; Echo must still construct and admit the schema-bound
outcomeUnknownsettlement from the retained grant and runtime-owned adapter profile without reopening the workspace.\n\nAcceptance:\n- add a rootless, generic reconciliation handle or equivalent API owned by Echo;\n- derive it from the exact bounded-observation profile and expose no read authority;\n- admitoutcomeUnknownonly for the matching durable grant and Edict request;\n- retain the existing schema, budget, basis, adapter, and settlement validation;\n- prove workspace deletion after claim does not prevent durable ambiguity settlement;\n- reject substituted profiles, grants, requests, and zero evidence;\n- add no application vocabulary, native callback, or convenience filesystem access.\n\nBlocks flyingrobots/hello-echo#10.