Activity variable contracts: an activity declares what it reads and writes - #495

Merged

m2ux merged 18 commits into

mainfrom

feat/493-activity-variable-contracts

Aug 23, 2026

Commits on Aug 23, 2026

Declare an activity's variable contract, and contribute it on inclusion

m2ux
and
claude
committed
d1e1ce8
Hold the corpus to the contracts its activities declare

m2ux
and
claude
committed
6468a34
Say where a variable is declared, and which guard holds it there

m2ux
and
claude
committed
291d599
Adopt the corpus these contracts were measured against

m2ux
and
claude
committed
729f439
Price the contract the corpus now carries

m2ux
and
claude
committed
b4e3c05
Count a value that reaches an optional input as consumed

m2ux
and
claude
committed
895017f
Count the orchestrator as a reader of the bag it drives
m2ux
committed
3073b45
Hold the variable contracts at zero, with no ledger to keep
m2ux
committed
589a53d
Adopt the corpus that records nothing it does not read
m2ux
committed
f50e46e
Pin that the unread-write check can still fire
m2ux
committed
5255ce9
Execute the steps of the two workflows whose sequence changed
m2ux
committed
e53313d
Relay what the worker produced into the session it produced it for
m2ux
committed
041e79a
Answer a resuming worker with what changed while it was away
m2ux
committed
737bdfd
Stop the smoke driver reporting activities that never ran
m2ux
committed
c6249bf
Keep the smoke session inside the checkout it describes
m2ux
committed
e630f19
Assert a run against the contracts, rather than reading the log
m2ux
committed
e844a4c
Have a smoke run report what it cost
m2ux
committed
f7e8ae2
Ask the bag only for what a transition carried
m2ux
committed
c96d625