clm-kernel 0.0.0__py3-none-any.whl

clm/layer1/vm.py

@@ -0,0 +1,91 @@
+"""Layer 1: Colored Petri Net (CPN) Virtual Machine Execution Engine.
+
+Canonical Path: kernel/scripts/clm/layer1/vm.py
+Parity: Rust `src/layer1/vm.rs`, TypeScript `src/layer1/vm.ts`
+"""
+
+from __future__ import annotations
+
+from typing import Any
+
+from clm.layer1.matrix import IncidenceMatrix
+
+
+class PetriVM:
+    """Discrete in-memory Colored Petri Net Virtual Machine (Layer 1)."""
+
+    def __init__(self, topology: dict[str, Any]) -> None:
+        self.topology = topology
+        self.matrix = IncidenceMatrix.from_topology(topology)
+        self.marking: dict[str, int] = {
+            p["id"]: p.get("initial_tokens", 0) for p in topology.get("places", [])
+        }
+        self.fire_history: list[str] = []
+
+    def is_enabled(self, transition: dict[str, Any]) -> bool:
+        """Checks if transition is enabled under current marking."""
+        required: dict[str, int] = {}
+        for inp in transition.get("inputs", []):
+            required[inp] = required.get(inp, 0) + 1
+        for p, req in required.items():
+            if self.marking.get(p, 0) < req:
+                return False
+        return True
+
+    def enabled_transitions(self) -> list[str]:
+        """Returns list of enabled transition IDs."""
+        return [
+            t["id"]
+            for t in self.topology.get("transitions", [])
+            if self.is_enabled(t)
+        ]
+
+    def fire(self, transition_id: str) -> None:
+        """Fires transition, updating markings by incidence vector."""
+        matched = None
+        for t in self.topology.get("transitions", []):
+            if t["id"] == transition_id:
+                matched = t
+                break
+        if not matched:
+            raise ValueError(f"Transition '{transition_id}' not found")
+        if not self.is_enabled(matched):
+            raise RuntimeError(f"Transition '{transition_id}' is not enabled")
+
+        # Consume
+        for inp in matched.get("inputs", []):
+            self.marking[inp] = max(0, self.marking.get(inp, 0) - 1)
+
+        # Produce
+        for out in matched.get("outputs", []):
+            self.marking[out] = self.marking.get(out, 0) + 1
+
+        self.fire_history.append(transition_id)
+
+    def step(self) -> str | None:
+        """Fires one enabled transition if available."""
+        enabled = self.enabled_transitions()
+        if not enabled:
+            return None
+        target = enabled[0]
+        self.fire(target)
+        return target
+
+    def run(self, max_steps: int = 100) -> tuple[bool, dict[str, Any]]:
+        """Runs the Petri net to completion or until max_steps."""
+        steps = 0
+        while steps < max_steps:
+            if self.step() is None:
+                break
+            steps += 1
+        return True, {
+            "markings": dict(self.marking),
+            "fired_count": len(self.fire_history),
+            "history": list(self.fire_history),
+        }
+
+
+from clm.layer1.batch_processor import BatchProcessor
+from clm.layer1.engine import PTREngine
+
+__all__ = ["PetriVM", "PTREngine", "BatchProcessor"]

clm/layer2/__init__.py

@@ -0,0 +1,78 @@
+"""CLM layer2 layer package."""
+
+from __future__ import annotations
+
+from clm.layer2.classifier import (
+    CLMIntrospectionResult,
+    CLMIntrospector,
+    CLMNode,
+    CLMType,
+    CompositionType,
+    classify_clm,
+    detect_dialect,
+)
+from clm.layer2.file_registrar import register_file_mcard_py
+from clm.layer2.merkle import directory_fs_scan_py, directory_to_db_py
+from clm.layer2.mime import (
+    detect_encoding,
+    detect_mime,
+    get_magic_rules,
+    is_binary,
+    is_text,
+    validate,
+)
+from clm.layer2.shared_store import PTRSharedStore, create_store_from_context
+from clm.layer2.tridb import (
+    CLMDB,
+    DB_AGENT_IDENTITIES,
+    DB_CONTENT_MEMORY,
+    DB_EXECUTION_LOG,
+    HANDLE_AGENT_IDENTITIES,
+    HANDLE_CONTENT_MEMORY,
+    HANDLE_EXECUTION_LOG,
+    CLMRepository,
+    TriDatabase,
+    init_tridb,
+    memorize_mcard,
+    register_handle,
+    resolve_handle_content,
+    resolve_handle_hash,
+)
+from clm.layer2.vfs import MCardFileSystem, MCardStat
+
+__all__ = [
+    "classify_clm",
+    "detect_dialect",
+    "CLMType",
+    "CompositionType",
+    "CLMNode",
+    "CLMIntrospectionResult",
+    "CLMIntrospector",
+    "register_file_mcard_py",
+    "detect_encoding",
+    "is_binary",
+    "is_text",
+    "get_magic_rules",
+    "detect_mime",
+    "validate",
+    "MCardFileSystem",
+    "MCardStat",
+    "PTRSharedStore",
+    "create_store_from_context",
+    "CLMDB",
+    "CLMRepository",
+    "init_tridb",
+    "memorize_mcard",
+    "register_handle",
+    "resolve_handle_content",
+    "resolve_handle_hash",
+    "TriDatabase",
+    "HANDLE_AGENT_IDENTITIES",
+    "HANDLE_CONTENT_MEMORY",
+    "HANDLE_EXECUTION_LOG",
+    "DB_AGENT_IDENTITIES",
+    "DB_CONTENT_MEMORY",
+    "DB_EXECUTION_LOG",
+    "directory_fs_scan_py",
+    "directory_to_db_py",
+]