Repository navigation

fix: route DFA_UNROLLED_WITH_GROUPS group-span divergences (A1+A2) to PIKEVM_CAPTURE - #90

Merged

jbachorik merged 27 commits into

mainfrom

fix/dfa-group-span-routing

Jun 30, 2026

Commits on Jun 29, 2026
- feat: merge fix/optimized-nfa-backref-perconfig onto rebased main
  
  jbachorik
  and
  claude
  committed
  637303c
- style: spotlessApply
  jbachorik
  committed
  172e164
- test: add failing routing tests for A1+A2 group-span divergences
  
  jbachorik
  and
  claude
  committed
  0734fe5
- feat: route A2 (group absent from alternation branch) to PIKEVM_CAPTURE
  
  jbachorik
  and
  claude
  committed
  2e76df6
- feat: route A1 (nullable first element in group body) to PIKEVM_CAPTURE
  
  jbachorik
  and
  claude
  committed
  4701bc7
- fix: ratchet fuzz budget 65→13 after A1+A2 PIKEVM_CAPTURE routing
  jbachorik
  committed
  d038f9f
- fix: route \$-in-alternation (B3b) to PIKEVM_CAPTURE
  
  jbachorik
  and
  claude
  committed
  72fc1fa
- fix: route anchor-only capturing group body (B3a) to PIKEVM_CAPTURE
  jbachorik
  committed
  f202930
- fix: decline FIXED_REPETITION_BACKREF when non-empty suffix present (B6)
  
  jbachorik
  and
  claude
  committed
  0e4d852
- fix: decline .+ in GREEDY_BACKTRACK and route to PIKEVM_CAPTURE (B4)
  jbachorik
  committed
  71b1f25
- fix: route variable-length alternation group (B5) to PIKEVM_CAPTURE
  
  jbachorik
  and
  claude
  committed
  479e7a3
- feat: add per-guard routing trace to debugPattern
  jbachorik
  committed
  8528c1a
- fix: ratchet fuzz budget to 0 after B3a/B3b/B4/B5/B6
  jbachorik
  committed
  e1ba3a9
- fix: address validation divergence 3 in T5-B5
  jbachorik
  committed
  48dbdce
- fix: address validation divergence 1 in T3-B6
  jbachorik
  committed
  61f7249
- fix: address validation divergence 2 in T4-B4
  jbachorik
  committed
  2249b00
- fix: correct B3b/B4/B5/B6 routing regressions from rebased commits
  
  jbachorik
  and
  claude
  committed
  f432793
- feat: add patternSkip to FuzzRunner; document extended fuzz findings
  
  jbachorik
  and
  claude
  committed
  b7cb821
- chore: move fuzz findings doc to doc/fuzz/2026-06-29.md; enrich repro instructions
  
  jbachorik
  and
  claude
  committed
  e9d0871
- fix: extract KNOWN_FINDINGS_BUDGET_EXTENDED=43; link to doc/fuzz/2026-06-29.md
  
  jbachorik
  and
  claude
  committed
  0c81cc2
- fix: consolidate to single KNOWN_FINDINGS_BUDGET=43; extend gate to 50k patterns
  
  jbachorik
  and
  claude
  committed
  1872342
- fix: gate runs window 25k-50k (skip=25k); budget=34
  
  jbachorik
  and
  claude
  committed
  c579078
- docs: rewrite fuzz/2026-06-29.md with canonical skip=25k findings (34 raw, 29 repros)
  
  jbachorik
  and
  claude
  committed
  efb797e
- fix: allow skip=0 in divergenceGate via intPropNonNeg
  jbachorik
  committed
  4142fd5
- fix: unwrap transparent groups in B4/B5 detection
  jbachorik
  committed
  e32904c
- fix: preserve fallback for quantified anchor-only groups in PIKEVM route
  jbachorik
  committed
  716d6ea
Commits on Jun 30, 2026
- chore: remove duplicate comment in B6 branch
  
  jbachorik
  and
  claude
  committed
  0bb9205

Navigation Menu

Repository navigation

fix: route DFA_UNROLLED_WITH_GROUPS group-span divergences (A1+A2) to PIKEVM_CAPTURE - #90

fix: route DFA_UNROLLED_WITH_GROUPS group-span divergences (A1+A2) to PIKEVM_CAPTURE#90
jbachorik merged 27 commits into
mainfrom
fix/dfa-group-span-routing

Commits on Jun 29, 2026

feat: merge fix/optimized-nfa-backref-perconfig onto rebased main

style: spotlessApply

test: add failing routing tests for A1+A2 group-span divergences

feat: route A2 (group absent from alternation branch) to PIKEVM_CAPTURE

feat: route A1 (nullable first element in group body) to PIKEVM_CAPTURE

fix: ratchet fuzz budget 65→13 after A1+A2 PIKEVM_CAPTURE routing

fix: route \$-in-alternation (B3b) to PIKEVM_CAPTURE

fix: route anchor-only capturing group body (B3a) to PIKEVM_CAPTURE

fix: decline FIXED_REPETITION_BACKREF when non-empty suffix present (B6)

fix: decline .+ in GREEDY_BACKTRACK and route to PIKEVM_CAPTURE (B4)

fix: route variable-length alternation group (B5) to PIKEVM_CAPTURE

feat: add per-guard routing trace to debugPattern

fix: ratchet fuzz budget to 0 after B3a/B3b/B4/B5/B6

fix: address validation divergence 3 in T5-B5

fix: address validation divergence 1 in T3-B6

fix: address validation divergence 2 in T4-B4

fix: correct B3b/B4/B5/B6 routing regressions from rebased commits

feat: add patternSkip to FuzzRunner; document extended fuzz findings

chore: move fuzz findings doc to doc/fuzz/2026-06-29.md; enrich repro instructions

fix: extract KNOWN_FINDINGS_BUDGET_EXTENDED=43; link to doc/fuzz/2026-06-29.md

fix: consolidate to single KNOWN_FINDINGS_BUDGET=43; extend gate to 50k patterns

fix: gate runs window 25k-50k (skip=25k); budget=34

docs: rewrite fuzz/2026-06-29.md with canonical skip=25k findings (34 raw, 29 repros)

fix: allow skip=0 in divergenceGate via intPropNonNeg

fix: unwrap transparent groups in B4/B5 detection

fix: preserve fallback for quantified anchor-only groups in PIKEVM route

Commits on Jun 30, 2026

chore: remove duplicate comment in B6 branch