clm-kernel 0.0.0__py3-none-any.whl

clm/layer0/types.py

@@ -0,0 +1,204 @@
+"""Common types and data structures for CLM Layer 0.
+
+Canonical Path: clm/kernel/scripts/clm/layer0/types.py
+Kenotic core type definitions including PrimeHash, PolynomialTerm, SafetyViolation,
+LivenessMetric, VerificationStatus, ExecutionResult, CHL Temporal Isomorphism dimensions,
+and VCard Sandwich boundary exceptions.
+"""
+
+from dataclasses import dataclass, field
+from datetime import datetime, timezone
+from enum import Enum
+from typing import Any, NewType
+
+# MCard as Prime Number (Atomic Identity)
+PrimeHash = NewType("PrimeHash", str)
+
+
+@dataclass
+class PolynomialTerm:
+    """Represents a term in the PCard Polynomial: A_i * X^{B_i}
+
+    Where:
+    - A_i (coefficient): Abstract Specification Hash (PrimeHash)
+    - B_i (exponent): Balanced Expectation Hash (PrimeHash)
+    - X: The Operator/Function being evaluated
+    """
+
+    coefficient: PrimeHash  # Abstract Spec
+    exponent: PrimeHash  # Balanced Expectation
+    weight: float = 1.0  # Optional weighting for semantic embedding
+
+
+@dataclass
+class SafetyViolation:
+    """Records safety property violations"""
+
+    property: str
+    violation_type: str
+    details: str
+    timestamp: datetime = field(default_factory=lambda: datetime.now(timezone.utc))
+
+
+@dataclass
+class LivenessMetric:
+    """Tracks liveness properties (progress toward goals)"""
+
+    goal: str
+    progress: float  # 0.0 to 1.0
+    timestamp: datetime = field(default_factory=lambda: datetime.now(timezone.utc))
+
+
+class VerificationStatus(Enum):
+    """Status of CLM verification tracking temporal progression"""
+
+    PENDING = "pending"
+    VERIFIED = "verified"
+    FAILED = "failed"
+    SKIPPED = "skipped"
+
+
+@dataclass
+class ExecutionResult:
+    """Result of a PCard execution with correctness measures
+
+    Implements Computable Certificate pattern:
+    - success/output: Generator's complex computation result
+    - verification_vcard: Certificate (immutable audit evidence)
+    - alignment_score: Directional alignment measure (cosine similarity)
+    - invariants_preserved: Jacobian check (transformation verifiability)
+    """
+
+    success: bool
+    output: Any
+    verification_vcard: str | None  # Hash of the verification VCard
+    execution_time_ms: int
+
+    # Correctness Measures (from MVP+CLM Integration)
+    alignment_score: float | None = None  # cos(actual, spec) - should be ≥ 0.85
+    invariants_preserved: bool = True  # |J| ≠ 0 check
+
+    # Safety and Liveness Tracking
+    safety_violations: list[SafetyViolation] = field(default_factory=list)
+    liveness_metrics: list[LivenessMetric] = field(default_factory=list)
+
+    error_message: str | None = None
+
+
+# ─────────────────────────────────────────────────────────────────────────────
+# CHL Temporal Metadata (Curry-Howard-Lambek Isomorphism)
+# ─────────────────────────────────────────────────────────────────────────────
+
+
+class CHLDimension(Enum):
+    """The three temporal dimensions of the CHL Isomorphism.
+
+    Curry-Howard-Lambek maps execution to three temporal planes:
+    - CURRY (Past):   Logic — Execution evidence, historical proof
+    - HOWARD (Present): Type Theory — Compile-time dependency mappings
+    - LAMBEK (Future): Category Theory — Design-time structural intent
+    """
+
+    CURRY = "curry"  # Past — Logic — Execution evidence
+    HOWARD = "howard"  # Present — Type Theory — Compile-time mappings
+    LAMBEK = "lambek"  # Future — Category Theory — Design-time intent
+
+
+class TemporalPhase(Enum):
+    """Fine-grained temporal phase within a CHL dimension."""
+
+    DESIGN_TIME = "design_time"  # Lambek: morphisms projecting intent
+    COMPILE_TIME = "compile_time"  # Howard: interactive dependency mapping
+    EXECUTION_TIME = "execution_time"  # Curry: deployed process harvesting
+
+
+@dataclass
+class CHLTemporal:
+    """CHL temporal metadata for a VCard proof or execution trace."""
+
+    dimension: CHLDimension
+    phase: TemporalPhase
+    timestamp: str = field(
+        default_factory=lambda: datetime.now(timezone.utc).isoformat()
+    )
+
+    def to_dict(self) -> dict[str, str]:
+        """Serialize to a flat dictionary for VCard content embedding."""
+        return {
+            "dimension": self.dimension.value,
+            "phase": self.phase.value,
+            "timestamp": self.timestamp,
+        }
+
+    @classmethod
+    def for_execution(cls) -> "CHLTemporal":
+        """Factory for execution-time evidence (Curry dimension)."""
+        return cls(
+            dimension=CHLDimension.CURRY,
+            phase=TemporalPhase.EXECUTION_TIME,
+        )
+
+    @classmethod
+    def for_compilation(cls) -> "CHLTemporal":
+        """Factory for compile-time mapping (Howard dimension)."""
+        return cls(
+            dimension=CHLDimension.HOWARD,
+            phase=TemporalPhase.COMPILE_TIME,
+        )
+
+    @classmethod
+    def for_design(cls) -> "CHLTemporal":
+        """Factory for design-time intent (Lambek dimension)."""
+        return cls(
+            dimension=CHLDimension.LAMBEK,
+            phase=TemporalPhase.DESIGN_TIME,
+        )
+
+
+# ─────────────────────────────────────────────────────────────────────────────
+# Three-Plane Sovereign Architecture Markers
+# ─────────────────────────────────────────────────────────────────────────────
+
+
+class ArchitecturalPlane(Enum):
+    """The three rigorous mathematical planes of the Sovereign Architecture.
+
+    1. DATA_PLANE:        Bits-to-hash guarantees, byte-identical cross-runtime
+    2. CONTROL_PLANE:     PTR prep → exec → post, Petri Net firing
+    3. APPLICATION_PLANE: VCard cryptographic boundaries, zero-trust workflows
+    """
+
+    DATA_PLANE = "data_plane"
+    CONTROL_PLANE = "control_plane"
+    APPLICATION_PLANE = "application_plane"
+
+
+# ─────────────────────────────────────────────────────────────────────────────
+# VCard Sandwich Boundary Exceptions
+# ─────────────────────────────────────────────────────────────────────────────
+
+
+class PreconditionViolation(RuntimeError):
+    """Raised when a PCard's precondition VCard check fails."""
+
+    def __init__(self, pcard_hash: str, input_hash: str, detail: str = ""):
+        self.pcard_hash = pcard_hash
+        self.input_hash = input_hash
+        msg = f"Precondition violation: PCard {pcard_hash[:16]} rejected input {input_hash[:16]}"
+        if detail:
+            msg += f" — {detail}"
+        super().__init__(msg)
+
+
+class PostconditionViolation(RuntimeError):
+    """Raised when a PCard's postcondition VCard check fails."""
+
+    def __init__(self, pcard_hash: str, output_repr: str = "", detail: str = ""):
+        self.pcard_hash = pcard_hash
+        self.output_repr = output_repr
+        msg = (
+            f"Postcondition violation: PCard {pcard_hash[:16]} produced invalid output"
+        )
+        if detail:
+            msg += f" — {detail}"
+        super().__init__(msg)