| """ | |
| FORGE - Polyglot Verification Engine | |
| محرك التحقق متعدد اللغات | |
| Multi-lingual formal verification with APL-inspired mathematics. | |
| Author: Ahmad Ali Parr | |
| License: Sovereign Source | |
| """ | |
| from .verifier import ( | |
| BooleanKernel, | |
| VerificationContext, | |
| DenseArrayVerifier, | |
| # Multi-lingual identifiers | |
| VerificationState, | |
| ProofObligation, | |
| EntropyBound, | |
| 検証状態, | |
| 証明義務, | |
| エントロピー境界, | |
| 配列変換, | |
| 制約検証, | |
| 証明生成, | |
| حالة_التحقق, | |
| الالتزام_بالإثبات, | |
| حد_الإنتروبيا, | |
| مصفوفة_التحويل, | |
| التحقق_من_القيود, | |
| توليد_الدليل, | |
| ) | |
| __version__ = "1.0.0" | |
| __author__ = "Ahmad Ali Parr" | |
| __license__ = "Sovereign Source" | |
| __all__ = [ | |
| "BooleanKernel", | |
| "VerificationContext", | |
| "DenseArrayVerifier", | |
| ] | |