You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Rebuild canclang from scratch as a native C++/libTooling analyzer emitting canonical
schema v2, per the approved design spec (2026-07-08, kept locally). Locked decisions:
native C++20/CMake stack; clang::CFG for L3; SVF (flag-gated) for L2 + the L4 oracle;
orphan restart of main.
PR ladder (one child issue per rung; each rung's detailed plan is written when it starts):
Rebuild canclang from scratch as a native C++/libTooling analyzer emitting canonical
schema v2, per the approved design spec (2026-07-08, kept locally). Locked decisions:
native C++20/CMake stack; clang::CFG for L3; SVF (flag-gated) for L2 + the L4 oracle;
orphan restart of main.
PR ladder (one child issue per rung; each rung's detailed plan is written when it starts):
-a 1)-a 2)-jdeterminism (L1 scope)-a 3)--svf)-a 4)