A shape of statement implies a fact of another property, read once per phrase and cached - #882

Merged

WaylandYang merged 4 commits into

devfrom

feat/implication-rules

Sep 23, 2026

Commits on Sep 23, 2026

A shape of statement implies a fact of another property, read once per phrase and cached

WaylandYang
and
claude
committed
6354185
Name the PR that builds implication rules in 0044's status line

WaylandYang
and
claude
committed
1a115e7
Scope the implied-source assertion to its own knowledge base so parallel tests cannot leak into it

WaylandYang
and
claude
committed
81c70c1
Merge branch 'dev' into feat/implication-rules
WaylandYang
authored
c590e08