Repository navigation

Bound prefer_inner_replay_corrections by depth_diff to substitute siblings only - #682

Draft

stefanobaghino wants to merge 70 commits into

trishume:masterfrom

stefanobaghino:631-java-cross-line-allexhaust-pops

Draft

Bound prefer_inner_replay_corrections by depth_diff to substitute siblings only#682
stefanobaghino wants to merge 70 commits into
trishume:masterfrom
stefanobaghino:631-java-cross-line-allexhaust-pops

Commits on Apr 26, 2026
- Restore cleared scopes before Pop on pop: N + set: X
  stefanobaghino
  committed
  c183165
- Clip captures: N span to rule's match bounds
  stefanobaghino
  committed
  d1200b3
- Suppress cur meta_scope on pop: N + embed: match text
  stefanobaghino
  committed
  cd23cc9
- Drain orphan scope atoms on outer escape fire
  stefanobaghino
  committed
  e9c022a
- Order apply_prototype external prototype before target main
  stefanobaghino
  committed
  b185a2c
- Cover apply_prototype external-prototype precedence
  stefanobaghino
  committed
  69cd4b3
- Drop HAML-Rails from syntest baselines
  stefanobaghino
  committed
  347ea76
- Wrap past-EOL syntest assertions to next-line scopes
  stefanobaghino
  committed
  17e46c4
- Dedup flushed_ops across multi-fail parse_line calls
  stefanobaghino
  committed
  b1b5438
- Anchor replay-born branches to their replay line
  stefanobaghino
  committed
  78da6c4
- Inherit outer prefix in replay-born branch_points
  stefanobaghino
  committed
  715a68e
- Refresh post-replay shadow and stack_before snapshots
  stefanobaghino
  committed
  7706736
- Subtract bp.pop_count in branch_point retain predicate
  stefanobaghino
  committed
  d31dbe3
- Route handle_fail cross-line re-emit through push_meta_ops
  stefanobaghino
  committed
  d4a7e05
- Save flushed_ops before cross-line replay loop and prefer inner corrections
  stefanobaghino
  committed
  82703dc
Commits on Apr 27, 2026
- Fall through to parent on branch_point exhaustion
  stefanobaghino
  committed
  f3e497a
- Restore cleared scopes before deeper pops in pop:N
  stefanobaghino
  committed
  ed949e4
- Skip inner replay correction when nested deeper than outer BP
  stefanobaghino
  committed
  0a2139a
- Treat pop:N + push:X as Set with pop_count=N
  stefanobaghino
  committed
  d36dc01
- Skip cur mcs Pop in Set when wrapper has embed_scope_replaces
  stefanobaghino
  committed
  b31b727
- Defer target Clear in single-context Set when cur has meta_scope
  stefanobaghino
  committed
  4bd9272
- Drop extra parent mcs on trigger of multi-set + target clear+ms
  stefanobaghino
  committed
  96ae959
- Restore deeper frame clear_scopes on pop:N + set:
  stefanobaghino
  committed
  aca11f5
- Drop python_strings.py from syntest baselines
  stefanobaghino
  committed
  61a796e
- Skip embed_scope_replaces for fragment embeds
  stefanobaghino
  committed
  3b44840
- Drop python.py from syntest baselines
  stefanobaghino
  committed
  d4b6a5b
Commits on Apr 28, 2026
Commits on Apr 29, 2026
Commits on Jul 11, 2026

Commits

Commits on Apr 26, 2026

Commits on Apr 27, 2026

Commits on Apr 28, 2026

Commits on Apr 29, 2026

Commits on Jul 11, 2026