feat(sql): null-check SELECT * and recognise CTE names (L4/L2 soundness)#42

Merged

hyperpolymath merged 12 commits into

mainfrom

claude/new-session-znxgm7

Jun 28, 2026

Commits on Jun 27, 2026

P3: prove TypeCompat (level 3) as a real operand-type-compatibility guarantee
claude
committed
abi: add Layer-3 NullSafe (level 4) theorem with guard discovery
claude
committed

Commits on Jun 28, 2026

Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath
authored
Add Layer-4 ABI<->FFI seam proof (Typedqliser.ABI.FfiSeam)
claude
committed
abi(capstone): Layer-5 end-to-end ABI soundness certificate
claude
committed
ci: make CI green — bump rust-ci to standards@8dc2bf0 (toolchain: stable fix); port ABI-FFI gate Python->Bash (Python is estate-banned)
claude
committed
ci: adopt canonical Julia ABI-FFI gate (estate standard, matches verisimiser) in place of the interim Bash port
claude
committed
style: cargo fmt + clippy --fix to satisfy rust-ci (fmt --check + clippy -D warnings)
claude
committed
style: cargo fmt + clippy --fix under stable 1.96 (CI toolchain) — fmt --check + clippy -D warnings clean
claude
committed
feat(sql): resolve table aliases in L2/L3/L4 checks
claude
committed
feat(sql): null-check SELECT * + recognise CTE names (L4/L2 soundness)
claude
committed
merge main into session branch (keep branch tree; resolve stale merge-base)
claude
committed