Repository navigation

refactor(stage0, types): memo hash-consing, candidate storage and group-coverage tests (#1207 PR 2) - #1230

Draft

zzylol wants to merge 2 commits into

refactor/1207-propertiesfrom

refactor/1207-memo

Draft

refactor(stage0, types): memo hash-consing, candidate storage and group-coverage tests (#1207 PR 2)#1230
zzylol wants to merge 2 commits into
refactor/1207-propertiesfrom
refactor/1207-memo

Commits on Nov 6, 2026
- refactor(stage0, types): memo hash-consing and candidate storage (#1207 PR 2)
  zzylol
  committed
  8ee7fa4
- test(types): memo summary coverage; asap-primitive-schema §4.2.2 over memo groups (#1207 PR 2)
  zzylol
  committed
  e710906