Issues

• CI: tests-fast and tree-sitter checker run much slower on PR branches than main

  openIE-dev/rce#175 · Filter by author cursor opened on Nov 13, 2026

• emit wasm: structured control-flow backend for residual breaks (if counts as a br label)

  openIE-dev/rce#173 · Filter by author dcharlot65-openie opened on Nov 13, 2026

• RCE-Compile E4 needs external meter readings (D.11 measured)

  agent-task
  openIE-dev/rce#169 · Filter by author dcharlot65-openie opened on Nov 10, 2026

• RCE-Compile E3 equivalence-level audit has never been run

  agent-task
  openIE-dev/rce#168 · Filter by author dcharlot65-openie opened on Nov 10, 2026

• RCE-Compile E2 gate audit has never been run

  agent-task
  openIE-dev/rce#167 · Filter by author dcharlot65-openie opened on Nov 10, 2026

• Form bridge: 05_kind_match n-arm sum.tag selector is not scheduled

  agent-task
  openIE-dev/rce#166 · Filter by author dcharlot65-openie opened on Nov 10, 2026

• Form bridge: 22_tuples fails W3 where owned values differ at a join

  agent-task
  openIE-dev/rce#165 · Filter by author dcharlot65-openie opened on Nov 10, 2026

• Form bridge: 20_strings rt.text.strip reports v42 has no source in this region

  agent-task
  openIE-dev/rce#164 · Filter by author dcharlot65-openie opened on Nov 10, 2026

• Form bridge: early-ret arm must contribute nothing at the join

  agent-task
  openIE-dev/rce#163 · Filter by author dcharlot65-openie opened on Nov 10, 2026

• Form bridge: nine modules fail the round trip on an unused catch output

  agent-task
  openIE-dev/rce#162 · Filter by author dcharlot65-openie opened on Nov 10, 2026

• Compliance vocabulary across the repository (after the open branches land)

  agent-task
  openIE-dev/rce#43 · Filter by author dcharlot65-openie opened on Oct 28, 2026
  3