Declare typed external action requests - #175

Merged

flyingrobots merged 11 commits into

mainfrom

task/172-typed-external-action-requests

Jul 29, 2026

Commits on Jul 29, 2026

test: define typed external action requests
flyingrobots
committed
f220b77
feat: declare typed external action requests
flyingrobots
committed
1fd153b
docs: define external action request boundary
flyingrobots
committed
e0a5b0d
docs: record typed external action requests
flyingrobots
committed
0fb8b9f
fix: isolate request capabilities from effects
flyingrobots
committed
905ae24
fix: require request semantic closure
flyingrobots
committed
f9a6abf
test: reject request closure substitution
flyingrobots
committed
00bb1fd
refactor: bound external request variants
flyingrobots
committed
59b3091
fix: project typed external requests
flyingrobots
committed
4a95f6a
chore: regenerate provider contract pack
flyingrobots
committed
76e9f37
fix: close external request authority gaps
flyingrobots
committed
6bb6552