Repository navigation

docs(audit): ground-truth scratch-int-examples dissolution spec — corrections post-#1436 - #1437

Merged

briansrls merged 14 commits into

mainfrom

session/calm-tern-200

May 1, 2026

Merged

docs(audit): ground-truth scratch-int-examples dissolution spec — corrections post-#1436#1437
briansrls merged 14 commits into
mainfrom
session/calm-tern-200

Commits on May 1, 2026
- WIP: calm-tern-200
  briansrls
  committed
  f2e7e66
- chore: apply cargo fmt
  briansrls
  committed
  627a25a
- WIP: calm-tern-200
  briansrls
  committed
  51d0837
- feat(grounding-coercion-fold): add int examples 5 and 6
  briansrls
  committed
  ffca550
- Merge remote-tracking branch 'origin/main' into session/calm-tern-200
  briansrls
  committed
  8acf7af
- WIP: calm-tern-200
  briansrls
  committed
  9804c26
- Merge remote-tracking branch 'origin/main' into session/calm-tern-200
  briansrls
  committed
  24d7f1a
- Revert "WIP: calm-tern-200"
  briansrls
  committed
  e4e2b2a
- feat(grounding-coercion-fold): add example 8 cross-target int
  briansrls
  committed
  48ec7d5
- Merge remote-tracking branch 'origin/main' into session/calm-tern-200
  briansrls
  committed
  3cb8d0e
- Merge remote-tracking branch 'origin/main' into session/calm-tern-200
  briansrls
  committed
  8545902
- docs(audit): specify ScratchIntExamples dissolution path
  briansrls
  committed
  cee4fb8
- Merge remote-tracking branch 'origin/main' into session/calm-tern-200
  briansrls
  committed
  1e60492
- docs(audit): ground-truth scratch int dissolution spec
  briansrls
  committed
  7001f58