Repository navigation

proof(flags): canonical --cubical-compatible in force; grades as PROOF-POLICY §8 PWG - #32

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/serene-sagan-un5t4q

Nov 10, 2026

Merged

proof(flags): canonical --cubical-compatible in force; grades as PROOF-POLICY §8 PWG#32
hyperpolymath merged 2 commits into
mainfrom
claude/serene-sagan-un5t4q

Commits on Nov 9, 2026
- proof(flags): canonical --cubical-compatible invocation in force; grades as PROOF-POLICY §8 PWG
  claude
  committed
  3bf7f8e
Commits on Nov 10, 2026
- Merge origin/main into serene-sagan (#32): keep this PR's cubical-compatible proof
  claude
  committed
  023a84e