Skip to content

fix: anchor/alternation PIKEVM routing + B5/B12 backref support #82

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jbachorik merged 60 commits into from
Jun 19, 2026
Merged

fix: anchor/alternation PIKEVM routing + B5/B12 backref support #82

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
60 commits
Select commit Hold shift + click to select a range
b011e48
fix: route TDFA capturing-group-in-quantifier patterns to PIKEVM
jbachorik Jun 11, 2026
d7607a6
fix: route anchor-diluted capturing alternations to PIKEVM_CAPTURE
jbachorik Jun 11, 2026
ee282fc
Merge branch 'worktree-agent-a4fe6a65350e71fc7'
jbachorik Jun 11, 2026
1735260
merge: resolve PatternAnalyzer conflict between T2 and T3 PIKEVM gates
jbachorik Jun 11, 2026
673df90
fix: extend emitPrefixMatch to handle non-capturing group prefixes (B12)
jbachorik Jun 11, 2026
5e784ba
fix: zero-length early-accept in backref check for nullable groups (B7)
jbachorik Jun 11, 2026
7bd6fdd
Merge branch 'worktree-agent-a4b8f9b78a148b2ce'
jbachorik Jun 11, 2026
a61fcdd
Merge branch 'worktree-agent-a92292233bc1c2924'
jbachorik Jun 11, 2026
ef3880a
fix: convert xmlTags benchmark pattern to runtime compile (PIKEVM_CAP…
jbachorik Jun 11, 2026
745ef13
feat: add ReggieOption flag enum
jbachorik Jun 12, 2026
fd70aea
feat: replace CapturePolicy with EnumSet<ReggieOption> in ReggieOptions
jbachorik Jun 12, 2026
afe2d8d
feat: ReggieOption flags + throw-by-default fallback policy
jbachorik Jun 12, 2026
e9d4ffc
fix: fuzz oracle uses ALLOW_JDK_FALLBACK to preserve coverage and fin…
jbachorik Jun 12, 2026
d891b8d
feat: ReggieOption flag substrate + throw-by-default fallback policy …
jbachorik Jun 12, 2026
0b534f0
feat: add compilePikeVm staging entrypoint + name-map codec
jbachorik Jun 12, 2026
60407a9
feat: add options() to @RegexPattern; move ReggieOption to reggie-ann…
jbachorik Jun 12, 2026
3a89b54
feat: processor classifies methods native/delegate-pikevm/delegate-fa…
jbachorik Jun 12, 2026
6b991ce
feat: emit delegating stubs for PIKEVM/fallback @RegexPattern methods
jbachorik Jun 12, 2026
85414bb
test: end-to-end delegating-stub processor coverage
jbachorik Jun 12, 2026
816a709
refactor: author PIKEVM xmlTags via @RegexPattern delegating stub
jbachorik Jun 12, 2026
09f3c9c
docs: @RegexPattern delegating stubs + fallback policy
jbachorik Jun 12, 2026
ba1e5b8
feat: PIKEVM delegating stub + @RegexPattern fallback policy (Plan B)
jbachorik Jun 12, 2026
5cb7555
docs: restore Wave 4 fallback inventory + merge Plan B AGENTS update
jbachorik Jun 12, 2026
fc4eac2
test: spike tests for anchor-alternation PIKEVM routing guard classes
jbachorik Jun 12, 2026
fdd161f
fix: remove over-conservative PIKEVM guards for anchor-diluted altern…
jbachorik Jun 12, 2026
713f9fd
fix: skip hybrid when DFA anchor-diluted; route to NFA-only path
jbachorik Jun 12, 2026
cae38f1
fix: revert unsafe PIKEVM promotions; keep compileHybrid pre-check; f…
jbachorik Jun 12, 2026
496b56d
fix: anchor-alternation PIKEVM guard removal + compileHybrid pre-check
jbachorik Jun 12, 2026
768263d
fix: route \Z-in-alternation to PIKEVM; narrow FallbackDetector ancho…
jbachorik Jun 12, 2026
9dd4703
fix: route anchor+simple-group alternation to PIKEVM before alternati…
jbachorik Jun 12, 2026
b599dc3
test: enable guard-3Z and guard-1 PIKEVM routing tests
jbachorik Jun 12, 2026
f8b8c1d
fix: guard-3Z and guard-1 PIKEVM routing (disabled tests enabled)
jbachorik Jun 12, 2026
61bf4c1
test: spike tests for non-anchor alternationPriorityConflict PIKEVM r…
jbachorik Jun 12, 2026
fafe340
fix: route all non-quantified-group alternation conflicts to PIKEVM
jbachorik Jun 12, 2026
ce6c0d7
test: fix quantifiedAlt_routesToPikeVm — remove incorrect native asse…
jbachorik Jun 12, 2026
dc53a55
fix: complete alternationPriorityConflict PIKEVM routing for non-quan…
jbachorik Jun 12, 2026
dfd070a
docs: add plan files from session
jbachorik Jun 12, 2026
8fb7f5d
test: spike tests for simple-body quantified-group alternation PIKEVM…
jbachorik Jun 12, 2026
8499ca9
fix: route simple-body quantified-group alternation conflicts to PIKEVM
jbachorik Jun 12, 2026
b9b208a
fix: route simple-body quantified-group alternation conflicts to PIKEVM
jbachorik Jun 12, 2026
0dade46
docs: add quantified-group alternation priority plan
jbachorik Jun 12, 2026
16696eb
fix: guard lazy quantifier in VARIABLE_CAPTURE_BACKREF (B5: throw not…
jbachorik Jun 12, 2026
99798df
test: extend complexQuantifiedGroupPatterns with (a+|b)+x regression …
jbachorik Jun 12, 2026
94d1626
fix: B5 lazy backref guard + regression docs for (a+|b)+ PIKEVM attempt
jbachorik Jun 12, 2026
39122bc
docs: add quantified-group anchor-only + B5 guard plan
jbachorik Jun 12, 2026
a22fa32
test: spike tests for B12 quantifier-prefix VARIABLE_CAPTURE_BACKREF …
jbachorik Jun 12, 2026
efa80e3
fix: extend isPrefixNodeHandleable to accept unbounded/exact quantifi…
jbachorik Jun 12, 2026
ac4b245
fix: emit quantifier-prefix bytecode in VARIABLE_CAPTURE_BACKREF gene…
jbachorik Jun 12, 2026
de8a2d6
docs/test: update B12 comment; clean up @Disabled if b12 test now passes
jbachorik Jun 12, 2026
1133d2a
fix: B12 quantifier-prefix support in VARIABLE_CAPTURE_BACKREF
jbachorik Jun 12, 2026
44b181e
Merge origin/main into pr/2-anchor-alt-routing-backref
Copilot Jun 18, 2026
0b9dc69
fix: atomic prefix loop + nullable guard + stale comments + rm plan docs
jbachorik Jun 19, 2026
56e3b89
fix: capture correctness across DFA/MGG/GREEDY/RECURSIVE strategies (…
jbachorik Jun 19, 2026
a769896
fix: reject unbounded prefix, unwrap NCG anchor, remove dead groupCou…
jbachorik Jun 19, 2026
4b617a7
fix: disjoint-charset guard for unbounded prefix in VARIABLE_CAPTURE_…
jbachorik Jun 19, 2026
178413f
fix: clamp negative findFrom start in DFA switch generator
jbachorik Jun 19, 2026
c02d9bf
fix: reject $ between \r and \n in PikeVM and MGG anchor check
jbachorik Jun 19, 2026
e9fda8c
fix: extend end-anchor to NEL/LS/PS line terminators in PikeVM and MGG
jbachorik Jun 19, 2026
99d6ed7
fix: CRLF guard + full terminator set for \$/\\Z across all generators
jbachorik Jun 19, 2026
bc24db2
refactor: rename zeroDivergenceGate→divergenceGate, enforceZero→enfor…
jbachorik Jun 19, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ jobs:

- name: Correctness gates
timeout-minutes: 10
run: ./gradlew :reggie-integration-tests:test --tests '*AlgorithmicFuzzTest.zeroDivergenceGate_enforcedViaProperty' -Dreggie.fuzz.enforceZero=true
run: ./gradlew :reggie-integration-tests:test --tests '*AlgorithmicFuzzTest.divergenceGate_enforcedViaProperty' -Dreggie.fuzz.enforce=true

- name: Generate coverage report and verify gates
run: ./gradlew jacocoAggregateReport jacocoVerify
Expand Down
Loading
Loading