Symbol-level ABI-compatibility store lane (abi/): min/max compatible version via versioned-symbol containment - #4262

Merged

s243a merged 10 commits into

mainfrom

claude/abi-symbol-store

Sep 14, 2026

Commits on Sep 13, 2026

feat(pkg_resolver): symbol-level ABI-compatibility store lane (abi/)

s243a
and
claude
committed
0ccab53
Redesign symbol-level ABI lane: exact sym@node identity, separate axes, explicit evidence

s243a
and
claude
committed
3dac220
abi lane: address Sol's re-review (multi-tier bounds, default binding, atomic ingest)

s243a
and
claude
committed
0e4253a
abi: address Sol re-review (curated evidence, contradictory floor, deb-version gate, P3 fixture)

s243a
and
claude
committed
0ebfe79
abi: fix unversioned curated-absence veto found in Fable re-verify; robustness nits

s243a
and
claude
committed
71f8aed

Commits on Sep 14, 2026

abi: address Astra review (UNIQUE exports, unversioned-path soundness, dpkg-equivalence)

s243a
and
claude
committed
f72040b
abi: fix two regressions from the binding_at rework (Fable re-verify R1/R2)

s243a
and
claude
committed
0dfe33b
abi: unify binding into ident_status; harden arch selectors (Astra re-review 2)

s243a
and
claude
committed
ec7e275
abi: make ident_status mode-insensitive; merge conflicting bindings (Fable M2/M3)

s243a
and
claude
committed
9c9ff0c
abi: fix extrapolation regression from M3 (Astra re-review 3)

s243a
and
claude
committed
26a5964