feat: add the dash-sdk-contract declaration model, grammar and diagnostics - #4719

Open

DCG-Claude wants to merge 8 commits into

Commits on Sep 15, 2026

feat: add the dash-sdk-contract declaration model, grammar and diagnostics

DCG-Claude
and
claude
committed
33ebcb8
build: wire dash-sdk-contract into CI and document the author API

DCG-Claude
and
claude
committed
e408abd
refactor: merge declarations through an identified-spec trait

DCG-Claude
and
claude
committed
26ca89f
fix: make declaration merging order independent and bound interface wire types

DCG-Claude
and
claude
committed
1fdf42b
fix: keep aggregate options explicit and canonicalize order-insensitive members

DCG-Claude
and
claude
committed
ad52f03
build: refresh the lock after rebasing onto v4.3-dev and satisfy clippy 1.98

DCG-Claude
and
claude
committed
068045f

Commits on Sep 16, 2026

feat: declare required system properties and sharpen wire and ranked diagnostics

DCG-Claude
and
claude
committed
ef86c7f
feat: carry the time-range ttl and canonicalize enum values

DCG-Claude
and
claude
committed
84f400f