feat(execution): separate work declarations, refinement bounds and session policy - #81

Merged

wefio merged 3 commits into

mainfrom

feat/opaque-work-declarations

Oct 2, 2026

Commits on Oct 1, 2026

feat(verification): classify and gate policy words in the mechanism surface
wefio
committed
256bcc0

Commits on Oct 2, 2026

feat(execution): dispatch opaque declarations through the shared loop
wefio
committed
ab8e0f7
feat(execution): declare refinement bounds and separate session policy
wefio
committed
803d7d9