Repository navigation

fix: repair allTake proof break; MPL-2.0 licensing; Markdown README; reconcile counts (125/68/0.4.7) - #256

Merged

hyperpolymath merged 7 commits into

mainfrom

fix/glama-license-tables-proof

Jun 25, 2026

Merged

fix: repair allTake proof break; MPL-2.0 licensing; Markdown README; reconcile counts (125/68/0.4.7)#256
hyperpolymath merged 7 commits into
mainfrom
fix/glama-license-tables-proof

Commits on Jun 25, 2026
- fix(abi): remove duplicate allTake definition in SafetyLemmas
  
  hyperpolymath
  and
  claude
  committed
  daf8129
- chore(license,packaging): MPL-2.0 not AGPL; real Markdown README; npm hygiene
  
  hyperpolymath
  and
  claude
  committed
  04cdf2f
- docs(metadata): reconcile cartridge/tool/version counts to one source of truth
  
  hyperpolymath
  and
  claude
  committed
  14a43ee
- Merge origin/main into fix/glama-license-tables-proof (resolve conflicts)
  
  hyperpolymath
  and
  claude
  committed
  4547d05
- chore(site,readme): SonarCloud badges + canon site/security.txt
  
  hyperpolymath
  and
  claude
  committed
  39c6118
- chore(site): complete served .well-known set (humans.txt, ai.txt)
  
  hyperpolymath
  and
  claude
  committed
  7d9591f
- Merge origin/main into fix/glama-license-tables-proof; resolve README conflict
  
  hyperpolymath
  and
  claude
  committed
  377e478