100%

Parser Optimization (ledger grind)

Goal

LEDGER GRIND-CYCLE section (same ratchet discipline as 03). depends_on 02 (lib.rs split). Micro-bench -> plan.json:ledger[] KEPT/REVERTED/INERT -> repeat to plateau.

Work Items

  • GRIND: #[inline] audit on precedence-level + Pratt-loop parse fns (OPER_TABLE dispatch) -> micro-bench (parser) -> ledger cycle -> repeat.
  • GRIND: ExprArena pre-alloc sizing (with_capacity(source_len/N)) -> micro-bench -> ledger cycle -> repeat.
  • GRIND: snapshot/cursor + expression-parsing tuning (ParseOutcome, TokenSet bitset recovery) -> micro-bench -> ledger cycle -> repeat.