Repository navigation

feat(bindings): the translation contract — every target accounts for the full vocabulary - #57

Merged

ivanbanov merged 11 commits into

mainfrom

feat/bindings-translation-contract

Aug 15, 2026

Merged

feat(bindings): the translation contract — every target accounts for the full vocabulary#57
ivanbanov merged 11 commits into
mainfrom
feat/bindings-translation-contract

Commits on Aug 14, 2026
- feat(bindings): the translation contract — every target accounts for the vocabulary
  
  ivanbanov
  and
  claude
  committed
  18078e9
- refactor: name the loop's widened views — AnyHandlerTargets / AnyAttrTargets
  
  ivanbanov
  and
  claude
  committed
  14e1b19
- refactor: one const per ledger — widened annotation + satisfies
  
  ivanbanov
  and
  claude
  committed
  07ef03f
- refactor(bindings): DROPPED_HANDLERS / DROPPED_ATTRS — the all-dropped base
  
  ivanbanov
  and
  claude
  committed
  5291198
- docs(changeset): align the example with the final annotation + spread form
  
  ivanbanov
  and
  claude
  committed
  0717b18
- docs(changeset): tighten to the point
  
  ivanbanov
  and
  claude
  committed
  1af84f8
- refactor(bindings): one annotation — fold the string index into the contract types
  
  ivanbanov
  and
  claude
  committed
  4c83a29
Commits on Aug 15, 2026
- refactor(bindings): strict ledgers — exhaustive annotation, cast at the loop read
  
  ivanbanov
  and
  claude
  committed
  f41d942
- test(bindings): one conformance suite — the vocabulary-accounting fixture
  
  ivanbanov
  and
  claude
  committed
  a1a3b80
- docs(targets): drop the ledger-top contract comments — already said once
  
  ivanbanov
  and
  claude
  committed
  ae6d16a
- docs: tighten the PR's comments — say it once, shortly
  
  ivanbanov
  and
  claude
  committed
  4cc7ed0