zexus 1.7.1 → 1.7.2

package/README.md

@@ -2,7 +2,7 @@
 
 <div align="center">
 
-![Zexus Logo](https://img.shields.io/badge/Zexus-v1.7.1-FF6B35?style=for-the-badge)
+![Zexus Logo](https://img.shields.io/badge/Zexus-v1.7.2-FF6B35?style=for-the-badge)
 [![License](https://img.shields.io/badge/License-MIT-blue.svg?style=for-the-badge)](LICENSE)
 [![Python](https://img.shields.io/badge/Python-3.8+-3776AB?style=for-the-badge&logo=python)](https://python.org)
 [![GitHub](https://img.shields.io/badge/GitHub-Zaidux/zexus--interpreter-181717?style=for-the-badge&logo=github)](https://github.com/Zaidux/zexus-interpreter)
@@ -67,9 +67,9 @@ Zexus is a next-generation, general-purpose programming language designed for se
 
 ---
 
-## 🎉 What's New in v1.7.1
+## 🎉 What's New in v1.7.2
 
-### Latest Features (v1.7.1)
+### Latest Features (v1.7.2)
 
 ✅ **FIND Keyword** - Declarative project search that resolves exact module paths with scope filtering and smart suggestions  
 ✅ **LOAD Keyword & Manager** - Provider-aware configuration loader with built-in ENV, JSON, and YAML support plus caching  

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zexus",
-  "version": "1.7.1",
+  "version": "1.7.2",
   "description": "A modern, security-first programming language with blockchain support",
   "main": "index.js",
   "bin": {

package/src/__init__.py

@@ -0,0 +1,7 @@
+"""Project `src` package.
+
+This file exists to support tests/imports that use the form
+`src.zexus...` while preserving the standard `zexus...` import style.
+
+The actual application code lives under `src/zexus/`.
+"""

package/src/zexus/__init__.py

@@ -4,7 +4,7 @@ Zexus Programming Language
 A declarative, intent-based programming language for modern applications.
 """
 
-__version__ = "1.7.1"
+__version__ = "1.7.2"
 __author__ = "Ziver Labs"
 __email__ = "ziverofficial567@gmail.com"
 

package/src/zexus/advanced_types.py

@@ -32,10 +32,25 @@ class TypeParameter:
         return self.name == other.name
     
     def satisfies_bounds(self, type_spec: 'TypeSpec') -> bool:
-        """Check if type satisfies bounds."""
+        """Check if type satisfies bounds.
+        
+        Verifies that type_spec is compatible with all upper bounds
+        defined on this type parameter.
+        """
         if not self.bounds:
             return True
-        # Simplified - would need full subtype checking
+        for bound in self.bounds:
+            # If both are AdvancedTypeSpec, use structural compatibility
+            if hasattr(type_spec, 'is_assignable_to') and hasattr(bound, 'is_assignable_to'):
+                if not type_spec.is_assignable_to(bound):
+                    return False
+            # If both have base_type, compare base types
+            elif hasattr(type_spec, 'base_type') and hasattr(bound, 'base_type'):
+                if type_spec.base_type != bound.base_type:
+                    return False
+            # String-based comparison fallback
+            elif str(type_spec) != str(bound):
+                return False
         return True
 
 

package/src/zexus/blockchain/__init__.py

@@ -9,6 +9,10 @@ Features:
 - Gas tracking and execution limits
 - Cryptographic primitives (hashing, signatures)
 - Smart contract execution environment
+- Real blockchain: chain, blocks, mempool
+- P2P networking with peer discovery
+- Pluggable consensus (PoW, PoA, PoS)
+- Full node with mining and sync
 """
 
 from .ledger import Ledger, LedgerManager, get_ledger_manager
@@ -19,6 +23,170 @@ from .transaction import (
 )
 from .crypto import CryptoPlugin, register_crypto_builtins
 
+# Real blockchain infrastructure
+from .chain import (
+    Block, BlockHeader, Transaction as ChainTransaction,
+    TransactionReceipt, Chain, Mempool
+)
+from .storage import (
+    StorageBackend, SQLiteBackend, LevelDBBackend, RocksDBBackend,
+    MemoryBackend, get_storage_backend, register_backend,
+)
+from .network import P2PNetwork, Message, MessageType, PeerInfo, PeerReputationManager
+from .consensus import (
+    ConsensusEngine, ProofOfWork, ProofOfAuthority, ProofOfStake,
+    BFTConsensus, BFTMessage, BFTPhase, BFTRoundState,
+    create_consensus
+)
+from .node import BlockchainNode, NodeConfig
+
+# JSON-RPC server (optional — requires aiohttp)
+try:
+    from .rpc import RPCServer, RPCError, RPCErrorCode, RPCMethodRegistry
+    _RPC_AVAILABLE = True
+except ImportError:
+    _RPC_AVAILABLE = False
+
+# Contract VM bridge (connects VM opcodes to real chain state)
+try:
+    from .contract_vm import ContractVM, ContractExecutionReceipt, ContractStateAdapter
+    _CONTRACT_VM_AVAILABLE = True
+except ImportError:
+    _CONTRACT_VM_AVAILABLE = False
+
+# Multichain / cross-chain bridge infrastructure
+try:
+    from .multichain import (
+        ChainRouter,
+        BridgeRelay,
+        BridgeContract,
+        CrossChainMessage,
+        MerkleProofEngine,
+        MessageStatus,
+    )
+    _MULTICHAIN_AVAILABLE = True
+except ImportError:
+    _MULTICHAIN_AVAILABLE = False
+
+# Event indexing & log filtering
+try:
+    from .events import EventIndex, EventLog, LogFilter, BloomFilter
+    _EVENTS_AVAILABLE = True
+except ImportError:
+    _EVENTS_AVAILABLE = False
+
+# Merkle Patricia Trie
+try:
+    from .mpt import MerklePatriciaTrie, StateTrie, TrieNode, NodeType
+    _MPT_AVAILABLE = True
+except ImportError:
+    _MPT_AVAILABLE = False
+
+# HD Wallet & Keystore
+try:
+    from .wallet import (
+        HDWallet, Account, Keystore, ExtendedKey,
+        generate_mnemonic, validate_mnemonic, mnemonic_to_seed,
+    )
+    _WALLET_AVAILABLE = True
+except ImportError:
+    _WALLET_AVAILABLE = False
+
+# Token Standards (ZX-20, ZX-721, ZX-1155)
+try:
+    from .tokens import (
+        ZX20Token, ZX20Interface,
+        ZX721Token, ZX721Interface,
+        ZX1155Token, ZX1155Interface,
+        TokenEvent, TransferEvent, ApprovalEvent,
+        TransferSingleEvent, TransferBatchEvent, ApprovalForAllEvent,
+    )
+    _TOKENS_AVAILABLE = True
+except ImportError:
+    _TOKENS_AVAILABLE = False
+
+# Upgradeable Contracts & Chain Governance
+try:
+    from .upgradeable import (
+        ProxyContract,
+        ImplementationRecord,
+        UpgradeManager,
+        ChainUpgradeGovernance,
+        ChainUpgradeProposal,
+        ProposalStatus,
+        ProposalType,
+        UpgradeEvent,
+        UpgradeEventType,
+    )
+    _UPGRADEABLE_AVAILABLE = True
+except ImportError:
+    _UPGRADEABLE_AVAILABLE = False
+
+# Formal Verification Engine
+try:
+    from .verification import (
+        FormalVerifier,
+        VerificationLevel,
+        VerificationReport,
+        VerificationFinding,
+        Severity,
+        FindingCategory,
+        StructuralVerifier,
+        InvariantVerifier,
+        PropertyVerifier,
+        TaintAnalyzer,
+        AnnotationParser,
+        Invariant,
+        ContractProperty,
+    )
+    _VERIFICATION_AVAILABLE = True
+except ImportError:
+    _VERIFICATION_AVAILABLE = False
+
+# Execution Accelerator
+try:
+    from .accelerator import (
+        ExecutionAccelerator,
+        AOTCompiler,
+        InlineCache,
+        NumericFastPath,
+        WASMCache,
+        BatchExecutor,
+        TxBatchResult,
+        CompiledAction,
+    )
+    _ACCELERATOR_AVAILABLE = True
+except ImportError:
+    _ACCELERATOR_AVAILABLE = False
+
+# Production monitoring
+try:
+    from .monitoring import NodeMetrics, MetricsServer
+    _MONITORING_AVAILABLE = True
+except ImportError:
+    _MONITORING_AVAILABLE = False
+
+# Rust native execution core
+try:
+    from .rust_bridge import RustCoreBridge, rust_core_available
+    _RUST_CORE_AVAILABLE = rust_core_available()
+except ImportError:
+    _RUST_CORE_AVAILABLE = False
+
+# Multiprocess executor (GIL-free parallelism)
+try:
+    from .multiprocess_executor import MultiProcessBatchExecutor, MPBatchResult
+    _MULTIPROCESS_AVAILABLE = True
+except ImportError:
+    _MULTIPROCESS_AVAILABLE = False
+
+# Load testing framework
+try:
+    from .loadtest import LoadTestRunner, LoadProfile, LoadTestReport, quick_benchmark
+    _LOADTEST_AVAILABLE = True
+except ImportError:
+    _LOADTEST_AVAILABLE = False
+
 __all__ = [
     # Ledger
     'Ledger',
@@ -37,4 +205,247 @@ __all__ = [
     # Crypto
     'CryptoPlugin',
     'register_crypto_builtins',
+
+    # Chain & Blocks
+    'Block',
+    'BlockHeader',
+    'ChainTransaction',
+    'TransactionReceipt',
+    'Chain',
+    'Mempool',
+
+    # Storage Backends
+    'StorageBackend',
+    'SQLiteBackend',
+    'LevelDBBackend',
+    'RocksDBBackend',
+    'MemoryBackend',
+    'get_storage_backend',
+    'register_backend',
+
+    # P2P Network
+    'P2PNetwork',
+    'Message',
+    'MessageType',
+    'PeerInfo',
+
+    # Consensus
+    'ConsensusEngine',
+    'ProofOfWork',
+    'ProofOfAuthority',
+    'ProofOfStake',
+    'BFTConsensus',
+    'BFTMessage',
+    'BFTPhase',
+    'BFTRoundState',
+    'create_consensus',
+
+    # Node
+    'BlockchainNode',
+    'NodeConfig',
+
+    # RPC Server
+    'RPCServer',
+    'RPCError',
+    'RPCErrorCode',
+    'RPCMethodRegistry',
+
+    # Contract VM
+    'ContractVM',
+    'ContractExecutionReceipt',
+    'ContractStateAdapter',
+
+    # Multichain / Bridge
+    'ChainRouter',
+    'BridgeRelay',
+    'BridgeContract',
+    'CrossChainMessage',
+    'MerkleProofEngine',
+    'MessageStatus',
+
+    # Event Indexing
+    'EventIndex',
+    'EventLog',
+    'LogFilter',
+    'BloomFilter',
+
+    # Merkle Patricia Trie
+    'MerklePatriciaTrie',
+    'StateTrie',
+    'TrieNode',
+    'NodeType',
+
+    # HD Wallet & Keystore
+    'HDWallet',
+    'Account',
+    'Keystore',
+    'ExtendedKey',
+    'generate_mnemonic',
+    'validate_mnemonic',
+    'mnemonic_to_seed',
+
+    # Token Standards
+    'ZX20Token',
+    'ZX20Interface',
+    'ZX721Token',
+    'ZX721Interface',
+    'ZX1155Token',
+    'ZX1155Interface',
+    'TokenEvent',
+    'TransferEvent',
+    'ApprovalEvent',
+    'TransferSingleEvent',
+    'TransferBatchEvent',
+    'ApprovalForAllEvent',
+
+    # Upgradeable Contracts & Chain Governance
+    'ProxyContract',
+    'ImplementationRecord',
+    'UpgradeManager',
+    'ChainUpgradeGovernance',
+    'ChainUpgradeProposal',
+    'ProposalStatus',
+    'ProposalType',
+    'UpgradeEvent',
+    'UpgradeEventType',
+
+    # Formal Verification
+    'FormalVerifier',
+    'VerificationLevel',
+    'VerificationReport',
+    'VerificationFinding',
+    'Severity',
+    'FindingCategory',
+    'StructuralVerifier',
+    'InvariantVerifier',
+    'PropertyVerifier',
+    'TaintAnalyzer',
+    'AnnotationParser',
+    'Invariant',
+    'ContractProperty',
+
+    # Execution Accelerator
+    'ExecutionAccelerator',
+    'AOTCompiler',
+    'InlineCache',
+    'NumericFastPath',
+    'WASMCache',
+    'BatchExecutor',
+    'TxBatchResult',
+    'CompiledAction',
+
+    # Production Monitoring
+    'NodeMetrics',
+    'MetricsServer',
+
+    # Rust Native Execution Core
+    'RustCoreBridge',
+    'rust_core_available',
+
+    # Multiprocess Executor
+    'MultiProcessBatchExecutor',
+    'MPBatchResult',
+
+    # Load Testing
+    'LoadTestRunner',
+    'LoadProfile',
+    'LoadTestReport',
+    'quick_benchmark',
+
+    # Dependency audit
+    'check_dependencies',
 ]
+
+
+# ── Dependency audit helper ──────────────────────────────────────────
+
+import warnings as _warnings
+
+
+def check_dependencies(verbose: bool = True) -> dict:
+    """Check optional blockchain dependencies and emit warnings.
+
+    Returns a dict mapping component names to their availability status.
+    When *verbose* is ``True`` (the default), a user-friendly summary is
+    printed and ``warnings.warn()`` is called for any missing component.
+
+    Usage::
+
+        from zexus.blockchain import check_dependencies
+        deps = check_dependencies()
+    """
+    status: dict = {}
+
+    # Rust native core
+    status["rust_core"] = _RUST_CORE_AVAILABLE
+    if not _RUST_CORE_AVAILABLE and verbose:
+        _warnings.warn(
+            "Rust execution core not compiled — throughput capped at "
+            "~500 TPS (Python GIL bound).  Build it for 1800+ TPS:\n"
+            "  cd rust_core/ && pip install maturin && maturin develop --release",
+            stacklevel=2,
+        )
+
+    # LevelDB
+    try:
+        import plyvel  # noqa: F401
+        status["leveldb"] = True
+    except ImportError:
+        status["leveldb"] = False
+        if verbose:
+            _warnings.warn(
+                "plyvel not installed — LevelDBBackend unavailable.  "
+                "Install: pip install plyvel  (requires libleveldb-dev)",
+                stacklevel=2,
+            )
+
+    # RocksDB
+    try:
+        import rocksdb  # noqa: F401  # type: ignore[import-untyped]
+        status["rocksdb"] = True
+    except ImportError:
+        status["rocksdb"] = False
+        if verbose:
+            _warnings.warn(
+                "python-rocksdb not installed — RocksDBBackend unavailable.  "
+                "Install: pip install python-rocksdb  (requires librocksdb-dev)",
+                stacklevel=2,
+            )
+
+    # aiohttp (for RPC server)
+    try:
+        import aiohttp  # noqa: F401
+        status["aiohttp"] = True
+    except ImportError:
+        status["aiohttp"] = False
+        if verbose:
+            _warnings.warn(
+                "aiohttp not installed — RPCServer unavailable.  "
+                "Install: pip install aiohttp",
+                stacklevel=2,
+            )
+
+    # Prometheus client (for monitoring)
+    try:
+        import prometheus_client  # noqa: F401
+        status["prometheus"] = True
+    except ImportError:
+        status["prometheus"] = False
+        if verbose:
+            _warnings.warn(
+                "prometheus_client not installed — Prometheus metrics export "
+                "unavailable.  Install: pip install prometheus-client",
+                stacklevel=2,
+            )
+
+    if verbose:
+        installed = [k for k, v in status.items() if v]
+        missing = [k for k, v in status.items() if not v]
+        print(f"Zexus Blockchain dependencies: "
+              f"{len(installed)} available, {len(missing)} missing")
+        if missing:
+            print(f"  Missing: {', '.join(missing)}")
+        if installed:
+            print(f"  Available: {', '.join(installed)}")
+
+    return status