feat(agents): publish recorded repository scope (#1701, slice 3) - #1720

Merged

decode2 merged 7 commits into

mainfrom

feat/1701-repository-scope

Oct 4, 2026

Commits on Oct 3, 2026

feat(agents): publish recorded repository and delegated scope
decode2
committed
922ee73
docs(odd): record repository scope verification
decode2
committed
dbaf6e3
docs(odd): checkpoint pending consultation context decision
decode2
committed
9acd5a8