Support for Offset Equalities - #156

Open

jhoenicke wants to merge 75 commits into

Commits on Jun 12, 2026

CC offset equalities: weighted union-find foundation

jhoenicke
and
claude
committed
CC offset equalities: offset-aware congruence signatures

jhoenicke
and
claude
committed
CC offset equalities: offset-keyed pair hash structure

jhoenicke
and
claude
committed
Update offset-equality plan with refined increment sequencing

jhoenicke
and
claude
committed
CC offset equalities: canonicalize pair-hash offset to avoid collisions

jhoenicke
and
claude
committed
CC offset equalities: enable creation and thread offsets end-to-end

jhoenicke
and
claude
committed
CC offset equalities: fix shared-term equality losing polynomial structure

jhoenicke
and
claude
committed
CC offset equalities: disable offsets in the presence of quantifiers

jhoenicke
and
claude
committed

Commits on Jun 13, 2026

Commits on Jun 14, 2026

Commits on Jun 15, 2026

Commits on Jun 16, 2026

Commits on Jun 17, 2026

Commits on Jun 18, 2026

CC offset equalities: cross-class anti-cycle proof object

jhoenicke
and
claude
committed

Commits on Jun 19, 2026

Commits on Jun 25, 2026

Commits on Jun 30, 2026

CC offset equalities: order subpaths after their congruence dependencies

jhoenicke
and
claude
committed

Commits on Jul 5, 2026

Commits on Jul 6, 2026

Fix fresh model values colliding with offset use-sites

jhoenicke
and
claude
committed