Repository navigation

Real `L1⊆L2⊆L3⊆L4` monotonicity gate + neo4j↔json count parity - #35

Open

rahlk wants to merge 1 commit into

feat/issue-2-program-graphsfrom

test/issue-27-monotonicity-gate

Open

Real `L1⊆L2⊆L3⊆L4` monotonicity gate + neo4j↔json count parity#35
rahlk wants to merge 1 commit into
feat/issue-2-program-graphsfrom
test/issue-27-monotonicity-gate

Commits on Jul 7, 2026
- test: enforce real L1⊆L2⊆L3⊆L4 monotonicity + neo4j↔json count parity
  rahlk
  committed
  cb8189e