[#4253 1/8] feat(pe): core selection engine Select + MatchReport#4280

Open

stevenvegt wants to merge 25 commits into

feature/4253-credential-selectionfrom

4253-1-select-engine

Commits on May 26, 2026

chore: scaffold draft PR for #4253 item 1 (select engine)
stevenvegt
committed

Commits on Jun 12, 2026

fix(pe): keep failing descriptor in Select candidates on error
stevenvegt
committed

Commits on Jul 14, 2026

test(pe): backfill format-gating and nil-constraints coverage for Select
stevenvegt
committed
fix(pe): keep Result.Candidates full length on selection error
stevenvegt
committed
refactor(pe): replace flat selection loop with recursive search core
stevenvegt
committed
test(pe): pin same-id binding policies with the PRD worked examples
stevenvegt
committed
feat(pe): make initial bindings strict, pin P6 non-binding semantics
stevenvegt
committed
feat(pe): add Strict strategy with binding-tuple ambiguity (Policy 5)
stevenvegt
committed
feat(pe): expose resolved id-values as Result.Bindings
stevenvegt
committed
feat(pe): produce MatchReport diagnostics under WithSelectionTrace
stevenvegt
committed
feat(pe): abort pathological searches at a node-visit limit
stevenvegt
committed

Commits on Jul 15, 2026