examples/basic_demo.py

#!/usr/bin/env python3
# -*- coding: utf-8 -*-
"""
FORGE Basic Demo
基本デモ | العرض الأساسي

Demonstrates multi-lingual verification with entropy constraints.

Author: Ahmad Ali Parr
"""

from forge import VerificationContext, DenseArrayVerifier

def main():
    print("╔══════════════════════════════════════════════════════════════╗")
    print("║ FORGE: POLYGLOT VERIFICATION DEMO                          ║")
    print("║ Operator: Ahmad Ali Parr | 多言語検証デモ | عرض متعدد اللغات  ║")
    print("╚══════════════════════════════════════════════════════════════╝\n")

    # Initialize context
    ctx = VerificationContext(
        agent_id="FORGE-001",
        role="🔐Proof",
        entropy=0.15,
        trusted=True,
        active=True,
        状態="検証中",
        حالة="قيد_التحقق"
    )

    print(f"[INIT] Agent: {ctx.agent_id} | Role: {ctx.role}")
    print(f"[INIT] Entropy: {ctx.entropy} (bound: ≤0.20) ✓")
    print(f"[INIT] State (EN): verifying | (JA): {ctx.状態} | (AR): {ctx.حالة}\n")

    verifier = DenseArrayVerifier(ctx)

    # ═══════════════════════════════════════════════════════════════
    # PHASE 1: Array Transformation
    # ═══════════════════════════════════════════════════════════════
    print("┌─────────────────────────────────────────────────────────────┐")
    print("│ PHASE 1: APL-Inspired Array Transformation                 │")
    print("└─────────────────────────────────────────────────────────────┘\n")

    input_matrix = [
        [1, 0, 1, 1, 0],
        [0, 1, 0, 1, 1],
        [1, 1, 0, 0, 1],
        [0, 0, 1, 1, 0],
        [1, 0, 0, 1, 1]
    ]

    print("[INPUT MATRIX] 5×5")
    for row in input_matrix:
        print(f"  {row}")

    transformed = verifier.apl_transform(input_matrix)

    print(f"\n[TRANSFORMED MATRIX]")
    for row in transformed:
        print(f"  {row}")

    # ═══════════════════════════════════════════════════════════════
    # PHASE 2: Entropy Validation
    # ═══════════════════════════════════════════════════════════════
    print("\n┌─────────────────────────────────────────────────────────────┐")
    print("│ PHASE 2: Shannon Entropy Constraint (H ≤ 0.20)             │")
    print("└─────────────────────────────────────────────────────────────┘\n")

    candidates = [0.05, 0.12, 0.18, 0.25, 0.08, 0.15]
    print(f"[CANDIDATES] {candidates}")

    accepted, proofs = verifier.verify_entropy_constraint(candidates)

    print(f"[ACCEPTED] {accepted}")
    print(f"[PROOFS] {proofs}")
    print(f"[PASS RATE] {sum(proofs)}/{len(proofs)} ({(sum(proofs)/len(proofs))*100:.0f}%)")

    # ═══════════════════════════════════════════════════════════════
    # PHASE 3: Proof Generation
    # ═══════════════════════════════════════════════════════════════
    print("\n┌─────────────────────────────────────────────────────────────┐")
    print("│ PHASE 3: Proof Obligation Generation                       │")
    print("└─────────────────────────────────────────────────────────────┘\n")

    proof = verifier.generate_proof_obligation(transformed)

    print(f"[PROOF GENERATED]")
    print(f"  Obligation ID (EN): {proof['obligation_id']}")
    print(f"  証明義務ID (JA): {proof['証明義務ID']}")
    print(f"  التزام_الإثبات (AR): {proof['التزام_الإثبات']}")
    print(f"  Transform Hash: {proof['transform_hash']}")
    print(f"  Validation: {proof['validation_result']}")

    print("\n╔══════════════════════════════════════════════════════════════╗")
    print("║ DEMO COMPLETE | デモ完了 | العرض مكتمل                        ║")
    print("╚══════════════════════════════════════════════════════════════╝")

if __name__ == "__main__":
    main()