All issues

Search results

program.c marks inline-compound slots UNKNOWN on a premise #1037 falsified, which may reject valid comparisons

Status: Open.

#1130 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 18, 2026

·  

0.70.0

program.c: unchecked strdup_safe into column_names[] can silently resolve a join key to col0

Status: Open.

#1129 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 18, 2026

·  

0.70.0

wl_ir_stratify_program Step 6 indexes scc_id[] and strata[] with unvalidated edge endpoints

Status: Open.

#1128 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 18, 2026

·  

0.70.0

A dropped dependency edge makes an unstratifiable program evaluate as stratifiable, silently

Status: Open.

#1127 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 18, 2026

·  

0.70.0

next_pow2 helpers return 0 on overflow and three of four callers do not check it

Status: Open.

#1126 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 18, 2026

·  

0.70.0

clang-tidy ratchet: the check set itself is unguarded, and three documented paths are not executable

Status: Open.

#1118 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 17, 2026

·  

0.70.0

clang-tidy ratchet: four latent sharp edges from the #1100 review

Status: Open.

#1116 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 17, 2026

·  

0.70.0

make_delta_name(): the "$d$<name>" invariant has no direct test coverage

enhancementNew feature or requestNew feature or request

Status: Open.

#1104 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 16, 2026

·  

0.70.0

relation.c: memory-ledger accounting is asymmetric between free, growth and compaction

bugSomething isn't workingSomething isn't working

Status: Open.

#1103 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 16, 2026

·  

0.70.0

exec_plan_gen.c: stale comment about build_lftj_op(), and a leak on clone_plan_op() failure

bugSomething isn't workingSomething isn't working

Status: Open.

#1102 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 16, 2026

·  

0.70.0

[refactor][0.60.0] Split oversized wirelog/columnar/eval.c into focused modules

enhancementNew feature or requestNew feature or request

Status: Open.

#1086 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 13, 2026

·  

0.70.0

[clang-tidy][0.60.0] wirelog/passes/jpp.c findings

bugSomething isn't workingSomething isn't working

Status: Open.

#1085 In semantic-reasoning/wirelog;

· justinjoy opened on Aug 13, 2026

·  

0.60.0