docs: extend interface spec with delegation permissions field#292

Merged

mraszyk merged 6 commits into

mainfrom

claude/gracious-cerf-zou2uv

Jul 6, 2026

Commits on Jun 12, 2026

Commits on Jun 23, 2026

docs: add permissions field to requests.cddl delegation schema
claude
committed
docs: model delegation permissions as an enumeration in the formal model
claude
committed
docs: name delegation permissions variants as identifiers in formal model
claude
committed

Commits on Jul 6, 2026

Merge branch 'main' into claude/gracious-cerf-zou2uv
mraszyk
authored