Sync with GitHub, license metadata from LICENSE files, commercial license notice

metadata license: None -> other (snapkitty-tri-license)
README: License section kept (already accurate) + commercial notice

README.md

@@ -1,3 +1,11 @@
+---
+license: other
+license_name: snapkitty-tri-license
+license_link: https://huggingface.co/Snapkitty/aes-verification-suite/blob/main/LICENSE
+tags:
+- snapkitty
+---
+
 # AES-128 Algebraic Verification Suite
 
 A complete, open-source toolkit for verifying the algebraic security properties of AES-128. Includes GF(2^8) arithmetic, S-box verification, corrected MILP differential trail search, GF(2) Jacobian rank computation, and formal Lean 4 proofs.
@@ -93,3 +101,9 @@ Tri-licensed under **AGPL-3.0** (default for open-source redistribution) with BS
 
 See [LICENSE](LICENSE) for full terms. License selection governed by the
 [SNAPKITTYWEST License Policy Engine](https://github.com/SNAPKITTYWEST/license-policy-engine).
+
+### 💼 Commercial License
+
+Snapkitty code is free and open under **AGPL-3.0** for open-source use. Building a commercial product or service? A **proprietary commercial license** from Snapkitty Collective LLC lets you ship this code without the AGPL's source-sharing and network-use obligations.
+
+**[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=Commercial%20license:%20aes-verification-suite)** · A.parr@belespritdaccord.uk