DEM-PRODUCER-HTF (core): delete the neutral bias literals; resolve the "unknown" branch - #38

Merged

Gio2050 merged 3 commits into

mainfrom

Aug 26, 2026

Commits on Aug 26, 2026

DEM-PRODUCER-PLAN (core): delete the rrMultiplePlanned synthesis; generalize the composer

Gio2050
and
claude
committed
8548879
DEM-PRODUCER-CANDLE (core): delete the stub and the haFlatBackConfirmed literal

Gio2050
and
claude
committed
df746d3
DEM-PRODUCER-HTF (core): delete the neutral bias literals; resolve the "unknown" branch

Gio2050
and
claude
committed
836dd33