mergegate/crates
林 駿甫 (Shunsuke Hayashi) 7976886bc5 test(core): add proptest property-based tests for lock and store
Adds proptest to dev-dependencies and 6 property-based tests:
- lock: acquire→release always clears, two tasks can't lock same file,
  wrong owner renew always fails
- store: CAS rejects stale version, upsert is idempotent,
  event replay is deterministic

945 tests all GREEN.

Closes #100

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-10 10:18:41 +09:00
..
miyabi-cli Merge pull request #98 from Miyabi-G-K/feature/issue-97-dashboard-stats 2026-04-10 10:16:18 +09:00
miyabi-core test(core): add proptest property-based tests for lock and store 2026-04-10 10:18:41 +09:00
miyabi-tui [文書] Playbook v4: ビジョン全38要素をカバーする完全版 2026-04-10 06:54:20 +09:00