Repository navigation

Add proptest dependency and refactor Cardinality to use constants - #23

Merged

briansrls merged 9 commits into

mainfrom

claude/review-todo-docs-qBlwx

Feb 3, 2026

Commits on Feb 3, 2026
- Replace Cardinality enum with interval struct [min, max]
  claude
  committed
  52f5cce
- Replace StrList/MapStrStr with generic List/Map value types
  claude
  committed
  63c6214
- Add algebra composition layer and cardinality coverage obligations
  claude
  committed
  bda7cd5
- Merge main: resolve codegen conflict, consolidate types to new semantics
  claude
  committed
  a449e3a
- Fix ensure-codegen upsert to track source file timestamps
  claude
  committed
  f459c10
- Unify tool registries: derive makegen from codegen single source of truth
  claude
  committed
  a6ea11d
- Add TODO_hacks for consolidation debt
  claude
  committed
  89fd1b9
- Fix clippy: use is_none_or instead of map_or
  claude
  committed
  835818e
- Fix tool_names type_id and expand TODO_hacks with design debt
  claude
  committed
  bf108e2