"""
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",
]