Issues

• Complete final merged-SHA serial enforcement acceptance

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2305 · Filter by author justinjoy opened on Oct 29, 2026

• Qualify serial evaluation control across supported ABIs and backends

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2304 · Filter by author justinjoy opened on Oct 29, 2026

• Close bounded resource lifecycle and serial policy composition

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2303 · Filter by author justinjoy opened on Oct 29, 2026

• Bound default nonlinear recursive plans and serial optimizer payloads

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2302 · Filter by author justinjoy opened on Oct 29, 2026

• Preserve supported representations in controlled sources, union and consolidation

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2301 · Filter by author justinjoy opened on Oct 29, 2026

• Complete bounded JOIN, probe and aggregate operator domains

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2300 · Filter by author justinjoy opened on Oct 29, 2026

• Complete bounded scalar expression and library-domain evaluation

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2299 · Filter by author justinjoy opened on Oct 29, 2026

• Integrate controlled LFTJ selection and recovery with session execution

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2298 · Filter by author justinjoy opened on Oct 29, 2026

• Compose controlled JOIN batches and pipelines through session hosts

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2297 · Filter by author justinjoy opened on Oct 29, 2026

• Enforce bounded differential selectors and removal semantics

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2296 · Filter by author justinjoy opened on Oct 29, 2026

• Integrate fresh and dirty controlled SNAPSHOT evaluation

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2295 · Filter by author justinjoy opened on Oct 29, 2026

• Support callback-free controlled STEP mutation successors

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2294 · Filter by author justinjoy opened on Oct 29, 2026

• [Umbrella] Complete remaining serial evaluation control coverage and recovery

  enhancementtrack/semantics
  semantic-reasoning/wirelog#2293 · Filter by author justinjoy opened on Oct 29, 2026

• join_spill and session_cold_relation fail under WIRELOG_JOIN_BATCH_BYTES=224

  semantic-reasoning/wirelog#2287 · Filter by author justinjoy opened on Oct 29, 2026

• Share the TDD test knob helper and quiet the stratum profile in parity tests

  semantic-reasoning/wirelog#2244 · Filter by author justinjoy opened on Oct 22, 2026

• Simplify the base-case VARIABLE skip after #2127

  semantic-reasoning/wirelog#2243 · Filter by author justinjoy opened on Oct 22, 2026

• Extend the random-program generator with the rule shapes behind #2127

  semantic-reasoning/wirelog#2242 · Filter by author justinjoy opened on Oct 22, 2026

• ANTIJOIN after a cross product asks for key columns its input does not have

  semantic-reasoning/wirelog#2241 · Filter by author justinjoy opened on Oct 22, 2026

• Step at two or more workers returns EINVAL when an IDB has not been evaluated yet

  semantic-reasoning/wirelog#2240 · Filter by author justinjoy opened on Oct 22, 2026

• Compare multi-worker results with an independent expected model, not with W=1

  semantic-reasoning/wirelog#2239 · Filter by author justinjoy opened on Oct 22, 2026

• Scope the materialized JOIN hint to one rule's shared prefix

  semantic-reasoning/wirelog#2238 · Filter by author justinjoy opened on Oct 22, 2026

• Inline nullary fact is not seeded

  semantic-reasoning/wirelog#2231 · Filter by author justinjoy opened on Oct 21, 2026

• Re-admit REDUCE grouped by column 0 to partitioned plain steps

  semantic-reasoning/wirelog#2230 · Filter by author justinjoy opened on Oct 21, 2026

• W=2/W=4 tests in test_tdd_nonrecursive.c never run more than one worker

  semantic-reasoning/wirelog#2229 · Filter by author justinjoy opened on Oct 21, 2026

• Retire col_eval_stratum_tdd_nonrecursive and the column-0 tdd_init_workers path

  semantic-reasoning/wirelog#2228 · Filter by author justinjoy opened on Oct 21, 2026