Repository navigation

feat(core): make Definition symbolic and separate generation policy - #55

Merged

krafczyk merged 12 commits into

mainfrom

symbolic-definitions-2

Oct 2, 2026

Commits on Oct 2, 2026
- feat(core): make Definition symbolic
  krafczyk
  committed
  57a4b43
- feat(core): add symbolic Definition roles
  krafczyk
  committed
  fdb839f
- feat(core): replace template generation
  krafczyk
  committed
  252208a
- docs: define symbolic Definition model
  krafczyk
  committed
  c8176b6
- refactor(core): simplify parameterization paths
  krafczyk
  committed
  59c9299
- fix(core): close symbolic Definition gaps
  krafczyk
  committed
  65d53f0
- fix(core): preserve attribute probe semantics
  krafczyk
  committed
  3351c77
- fix(execute): preserve symbolic definitions in workers
  krafczyk
  committed
  868df67
- fix(core): clarify soft definition reference intent
  krafczyk
  committed
  7789f30
- test(query): preserve symbolic quotation across containment
  krafczyk
  committed
  6009109
- fix(query): retain graph-distinct containment proof through composition
  krafczyk
  committed
  98b5aab
- test(dispatch): align rebased worker and warning fixtures
  krafczyk
  committed
  0e15348