Repository navigation

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

Open

DCG-Claude wants to merge 13 commits into

v5.1-devfrom

dashvm/sdk-01

Open

feat: add the dash-sdk-contract declaration model, grammar and diagnostics#4719
DCG-Claude wants to merge 13 commits into
v5.1-devfrom
dashvm/sdk-01

Commits on Sep 27, 2026
- feat: add the dash-sdk-contract declaration model, grammar and diagnostics
  
  DCG-Claude
  and
  claude
  committed
  6774e48
- build: wire dash-sdk-contract into CI and document the author API
  
  DCG-Claude
  and
  claude
  committed
  1eaa635
- refactor: merge declarations through an identified-spec trait
  
  DCG-Claude
  and
  claude
  committed
  3680aef
- fix: make declaration merging order independent and bound interface wire types
  
  DCG-Claude
  and
  claude
  committed
  25e4110
- fix: keep aggregate options explicit and canonicalize order-insensitive members
  
  DCG-Claude
  and
  claude
  committed
  ddbf2d8
- build: refresh the lock after rebasing onto v4.3-dev and satisfy clippy 1.98
  
  DCG-Claude
  and
  claude
  committed
  122d3d1
- feat: declare required system properties and sharpen wire and ranked diagnostics
  
  DCG-Claude
  and
  claude
  committed
  a228ebb
- feat: carry the time-range ttl and canonicalize enum values
  
  DCG-Claude
  and
  claude
  committed
  a5c8555
- build: refresh the lock for the 4.2.0-beta.3 workspace version
  
  DCG-Claude
  and
  claude
  committed
  71303fd
- feat: declare no-locking contests, composite terminals and count under range count
  
  DCG-Claude
  and
  claude
  committed
  4be026a
- build: refresh the lock for the 4.2.0-beta.4 workspace version
  
  DCG-Claude
  and
  claude
  committed
  459de00
- feat: flat index-only indexes, entry payloads and the native property name grammar
  
  DCG-Claude
  and
  claude
  committed
  089a27d
Commits on Sep 29, 2026
- feat: implicit owner terminal, range-count countability, optional token costs and word-only names
  
  DCG-Claude
  and
  claude
  committed
  4c9c1ce

Commits

Commits on Sep 27, 2026

Commits on Sep 29, 2026