mcard-js 2.1.22 → 2.1.24

package/README.md

@@ -13,6 +13,8 @@ Full-featured TypeScript implementation of MCard content-addressable storage, su
 - **UTF-8 Handles**: International support (文檔, مستند, ドキュメント, документ)
 - **Monadic API**: Maybe, Either, IO monads for functional composition
 - **PTR Runtime**: Polynomial Type Runtime with polyglot execution (JS, Python, Rust, C, WASM, Lean)
+- **Bridgelet**: Universal Vehicle for cross-runtime execution (JS ↔ Python)
+- **Introspection**: Recursive analysis of CLM composition and dependencies
 - **LLM Integration**: Ollama, WebLLM (browser), and MLC-LLM providers
 - **Vector Search**: sqlite-vec extension for semantic similarity search
 
@@ -607,6 +609,39 @@ To run integration tests against a live Ollama instance:
     npx vitest tests/rag/Integration.test.ts
     ```
 
+## Version 0.1.42 / 2.1.24 Release Notes (January 13, 2026)
+> Single Source of Truth Schema Synchronization
+
+### 🔄 Schema Synchronization
+*   **Unified Schema Source**: `mcard-js` now strictly uses the canonical SQL schema files (`mcard_schema.sql`, `mcard_vector_schema.sql`) from the project root.
+*   **Distribution Integrity**: The `npm` package now includes the raw SQL schema files, ensuring guaranteed parity with the Python implementation.
+*   **Path Resolution**: Robust logic to resolve schema files in both development (monorepo) and production (dependency) contexts.
+
+---
+
+## Version 0.1.43 / 2.1.23 Release Notes (January 8, 2026)
+> CLM REPL Architecture, Bridgelet, and Introspection
+
+### 🌉 Bridgelet Universal Vehicle
+*   **Cross-Language Execution**: New `Bridgelet` class allows moving execution between runtimes (e.g., JS ↔ Python) via content-addressable MCards.
+*   **Unified Interface**: `invoke(pcardHash, inputVCardHash)` works consistently across adapters.
+*   **Architecture**: Implements the "Universal Vehicle" pattern from the CLM REPL Specification.
+
+### 🔍 Recursive CLM Introspection
+*   **Hierarchy Analysis**: `CLMIntrospector` builds a tree of CLM dependencies, enabling visualization of complex compositions.
+*   **Cycle Detection**: Automatically detects and warns about infinite recursion loops in CLM references.
+*   **Composition Analysis**: Distinguishes between Sequential (Coend) and Parallel (Tensor) compositions.
+
+### 🔭 OpenTelemetry Observability
+*   **REPL Tracer**: `OpenTelemetrySidecar` traces `prep`, `exec`, `post`, and `await` phases of the CLM execution loop.
+*   **Distributed Tracing**: Correlates spans across polyglot boundaries (e.g., JS calling Python).
+
+### 🧪 Test Coverage
+*   **New Tests**: Added 32 new unit tests covering Bridgelet, Introspection, and Observability.
+*   **Stability**: All 500+ existing tests passing.
+
+---
+
 ## Version 2.1.16 Release Notes (December 16, 2025)
 > Feature Parity, Refactoring, and UPTV Alignment
 

package/dist/model/PCard.d.ts

@@ -4,53 +4,77 @@
  * This module defines PCard, the execution unit in the MVP Cards architecture.
  * PCards are MCards containing a valid CLM (Cubical Logic Model) specification.
  *
- * ## Category Theory Role: FUNCTOR
+ * ## Categorical Foundation: STRONG PROFUNCTOR
  *
- * PCard is the **Functor** in the MVP Cards categorical hierarchy:
- * - **MCard (Monad)**: Data container
- * - **PCard (Functor)**: Pure transformation `fmap :: (a -> b) -> F a -> F b`
- * - **VCard (Applicative)**: Context-aware application
+ * PCard implements the Strong Profunctor pattern from category theory:
  *
- * ## Petri Net Role: TRANSITION
+ *     P: A^op × B → Set
  *
- * In the Categorical Petri Net model, PCard is the **Transition**:
- * - Consumes input VCards (Tokens) from input Places
- * - Executes CLM logic (Abstract → Concrete transformation)
- * - Produces output VCards (Tokens) for output Places
+ * Where:
+ *   - A^op denotes contravariance in input types (accepts MORE general)
+ *   - B denotes covariance in output types (produces MORE specific)
+ *   - Set is the category of sets (our value space)
  *
- * ### The Firing Rule
+ * The "Strong" property means PCard supports:
+ *   - first:  P(A, B) → P(C × A, C × B)  (threading context through)
+ *   - second: P(A, B) → P(A × C, B × C)  (preserving additional structure)
+ *
+ * ## Composition via Coend
  *
- * A PCard (Transition) fires when all input VCards (Tokens) are present:
+ * Two PCards compose via the Coend (categorical integral):
  *
- * ```
- * M' = M - •t + t•
- * ```
+ *     (P ⨾ Q)(A, C) = ∫ᴮ P(A, B) × Q(B, C)
  *
  * Where:
- * - M = Current marking (token distribution)
- * - •t = Pre-set (input VCards required)
- * - t• = Post-set (output VCards produced)
+ *   - ∫ᴮ is the Coend over the intermediate type B
+ *   - P(A, B) is the first PCard (input A, output B)
+ *   - Q(B, C) is the second PCard (input B, output C)
+ *   - Result is a new PCard from A to C
+ *
+ * The `andThen()` method implements this Coend composition.
  *
- * ### Handle Naming Convention for CLM Execution
+ * ## SMC Structure (Symmetric Monoidal Category)
  *
- * ```
- * clm://{module}/{function}/spec      # PCard (Transition definition)
- * clm://{module}/{function}/input     # Input VCard (Precondition)
- * clm://{module}/{function}/output    # Output VCard (Postcondition)
- * clm://{module}/{function}/balanced  # Balanced Expectations history
- * ```
+ * PCard composition forms a Symmetric Monoidal Category:
+ *   - **Identity**: The "pass-through" PCard
+ *   - **Composition**: Sequential chaining via `andThen()` (;)
+ *   - **Tensor Product**: Parallel composition via `andAlso()` (⊗)
+ *   - **Symmetry**: Port swapping via `swap()` (σ)
+ *
+ * ## Functor Role in MVP Cards Hierarchy
+ *
+ * PCard is the **Functor** in the categorical hierarchy:
+ *   - **MCard (Monad)**: Data container
+ *   - **PCard (Functor)**: Pure transformation `fmap :: (a -> b) -> F a -> F b`
+ *   - **VCard (Applicative)**: Context-aware application
+ *
+ * ## Petri Net Role: TRANSITION
+ *
+ * In the Categorical Petri Net model, PCard is the **Transition**:
+ *   - Consumes input VCards (Tokens) from input Places
+ *   - Executes CLM logic (Abstract → Concrete transformation)
+ *   - Produces output VCards (Tokens) for output Places
+ *
+ * ### The Firing Rule
+ *
+ *     M' = M - •t + t•
+ *
+ * Where:
+ *   - M = Current marking (token distribution)
+ *   - •t = Pre-set (input VCards required)
+ *   - t• = Post-set (output VCards produced)
  *
  * ## CLM Triad: Abstract, Concrete, Balanced
  *
  * PCard content encodes the three dimensions:
- * - **Abstract (A)**: WHY - Specification, intent, type signature
- * - **Concrete (C)**: HOW - Implementation, runtime logic
- * - **Balanced (B)**: WHAT - Tests, verification expectations (tracked in handle_history)
+ *   - **Abstract (A)**: WHY - Specification, intent, type signature
+ *   - **Concrete (C)**: HOW - Implementation, runtime logic
+ *   - **Balanced (B)**: WHAT - Tests, verification expectations
  *
  * ## DOTS Vocabulary Role: LENS + CHART
  *
- * - **Lens**: Tight morphism (Abstract ↔ Concrete coherence)
- * - **Chart**: Loose morphism (Balanced expectations wiring)
+ *   - **Lens**: Tight morphism (Abstract ↔ Concrete coherence)
+ *   - **Chart**: Loose morphism (Balanced expectations wiring)
  *
  * @see docs/PCard_Impl.md for full implementation specification
  */
@@ -132,10 +156,32 @@ export declare class PCard extends MCard {
      */
     get balancedExpectations(): any;
     /**
-     * Sequential Composition ($A ; B$)
+     * Sequential Composition via Coend (P ⨾ Q)
+     *
+     * Implements profunctor composition using the Coend formula:
+     *
+     *     (P ⨾ Q)(A, C) = ∫ᴮ P(A, B) × Q(B, C)
+     *
+     * Where:
+     *   - this is P: A → B
+     *   - otherPCard is Q: B → C
+     *   - Result is P ⨾ Q: A → C
+     *
+     * The Coend (∫ᴮ) "integrates out" the intermediate type B by:
+     * 1. Matching P's output type with Q's input type
+     * 2. Creating a chain where P's result feeds into Q
+     * 3. The composition is associative: (P ⨾ Q) ⨾ R = P ⨾ (Q ⨾ R)
+     *
+     * In PTR execution:
+     *   - P is executed first (prep → exec → post)
+     *   - P's output VCard becomes Q's input VCard
+     *   - Q is executed second
+     *   - Final result is Q's output VCard
+     *
+     * Note: Named 'andThen' to avoid conflict with Promise.then (Thenable).
      *
-     * Connects the output of this PCard to the input of otherPCard.
-     * Renamed to 'andThen' to avoid conflict with Promise.then (Thenable).
+     * @param otherPCard - The PCard to execute after this one (Q in P ⨾ Q)
+     * @returns A new PCard representing the composed profunctor (P ⨾ Q)
      */
     andThen(otherPCard: PCard): Promise<PCard>;
     /**

package/dist/model/PCard.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PCard.d.ts","sourceRoot":"","sources":["../../src/model/PCard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAGH,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAIhC,OAAO,EAAE,YAAY,EAA2B,MAAM,eAAe,CAAC;AAEtE;;GAEG;AACH,MAAM,WAAW,aAAa;IAC1B,8DAA8D;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,0DAA0D;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,OAAO,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC5B,+DAA+D;IAC/D,MAAM,EAAE,MAAM,CAAC;IACf,gCAAgC;IAChC,IAAI,EAAE,cAAc,GAAG,eAAe,GAAG,OAAO,GAAG,QAAQ,CAAC;IAC5D,kDAAkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACtC;AAED;;;;;GAKG;AACH,qBAAa,KAAM,SAAQ,KAAK;IAC5B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAM;IAChC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAU;IAEjC,SAAS,aACL,OAAO,EAAE,UAAU,EACnB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,GAAG,EACd,MAAM,EAAE,OAAO;IAOnB;;;;;;OAMG;WACU,MAAM,CACf,OAAO,EAAE,MAAM,GAAG,UAAU,EAC5B,aAAa,GAAE,MAAiB,EAChC,MAAM,GAAE,OAAc,GACvB,OAAO,CAAC,KAAK,CAAC;IA+BjB;;;;OAIG;IACH,eAAe,IAAI,YAAY;IA0B/B;;OAEG;IACH,IAAI,GAAG,IAAI,GAAG,CAEb;IAMD,OAAO,CAAC,UAAU;IAwBlB;;OAEG;IACH,IAAI,QAAQ,IAAI,GAAG,CAElB;IAED;;OAEG;IACH,IAAI,QAAQ,IAAI,GAAG,CAElB;IAED;;OAEG;IACH,IAAI,QAAQ,IAAI,GAAG,CAElB;IAED;;OAEG;IACH,IAAI,YAAY,IAAI,GAAG,CAEtB;IAED;;OAEG;IACH,IAAI,YAAY,IAAI,GAAG,CAEtB;IAED;;OAEG;IACH,IAAI,oBAAoB,IAAI,GAAG,CAE9B;IAMD;;;;;OAKG;IACG,OAAO,CAAC,UAAU,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAwBhD;;;;OAIG;IACG,OAAO,CAAC,UAAU,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAwBhD;;;;OAIG;IACG,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC;IA2B5B;;OAEG;IACH,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAQ7B;;OAEG;IACH,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAQ9B;;OAEG;IACH,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAQ5B;;OAEG;IACH,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAY9B;;;;;;;OAOG;IACH,iBAAiB,IAAI,aAAa,EAAE;IA6CpC;;;;;;OAMG;IACH,mBAAmB,IAAI,eAAe,EAAE;IAyCxC;;;;OAIG;IACH,mBAAmB,IAAI,MAAM;IAU7B;;;;;;OAMG;IACH,iBAAiB,IAAI,MAAM;IAK3B;;;;;;;OAOG;IACH,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE;IAoBtF;;;;OAIG;IACH,UAAU,IAAI,MAAM;IAMpB;;;;OAIG;IACH,cAAc,IAAI,OAAO;CAI5B"}
+{"version":3,"file":"PCard.d.ts","sourceRoot":"","sources":["../../src/model/PCard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+EG;AAIH,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAIhC,OAAO,EAAE,YAAY,EAA2B,MAAM,eAAe,CAAC;AAEtE;;GAEG;AACH,MAAM,WAAW,aAAa;IAC1B,8DAA8D;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,0DAA0D;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,OAAO,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC5B,+DAA+D;IAC/D,MAAM,EAAE,MAAM,CAAC;IACf,gCAAgC;IAChC,IAAI,EAAE,cAAc,GAAG,eAAe,GAAG,OAAO,GAAG,QAAQ,CAAC;IAC5D,kDAAkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACtC;AAED;;;;;GAKG;AACH,qBAAa,KAAM,SAAQ,KAAK;IAC5B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAM;IAChC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAU;IAEjC,SAAS,aACL,OAAO,EAAE,UAAU,EACnB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,GAAG,EACd,MAAM,EAAE,OAAO;IAOnB;;;;;;OAMG;WACU,MAAM,CACf,OAAO,EAAE,MAAM,GAAG,UAAU,EAC5B,aAAa,GAAE,MAAiB,EAChC,MAAM,GAAE,OAAc,GACvB,OAAO,CAAC,KAAK,CAAC;IA+BjB;;;;OAIG;IACH,eAAe,IAAI,YAAY;IA0B/B;;OAEG;IACH,IAAI,GAAG,IAAI,GAAG,CAEb;IAMD,OAAO,CAAC,UAAU;IAwBlB;;OAEG;IACH,IAAI,QAAQ,IAAI,GAAG,CAElB;IAED;;OAEG;IACH,IAAI,QAAQ,IAAI,GAAG,CAElB;IAED;;OAEG;IACH,IAAI,QAAQ,IAAI,GAAG,CAElB;IAED;;OAEG;IACH,IAAI,YAAY,IAAI,GAAG,CAEtB;IAED;;OAEG;IACH,IAAI,YAAY,IAAI,GAAG,CAEtB;IAED;;OAEG;IACH,IAAI,oBAAoB,IAAI,GAAG,CAE9B;IAgBD;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACG,OAAO,CAAC,UAAU,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IA0BhD;;;;OAIG;IACG,OAAO,CAAC,UAAU,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAwBhD;;;;OAIG;IACG,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC;IA2B5B;;OAEG;IACH,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAQ7B;;OAEG;IACH,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAQ9B;;OAEG;IACH,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAQ5B;;OAEG;IACH,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAY9B;;;;;;;OAOG;IACH,iBAAiB,IAAI,aAAa,EAAE;IA6CpC;;;;;;OAMG;IACH,mBAAmB,IAAI,eAAe,EAAE;IAyCxC;;;;OAIG;IACH,mBAAmB,IAAI,MAAM;IAU7B;;;;;;OAMG;IACH,iBAAiB,IAAI,MAAM;IAK3B;;;;;;;OAOG;IACH,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE;IAoBtF;;;;OAIG;IACH,UAAU,IAAI,MAAM;IAMpB;;;;OAIG;IACH,cAAc,IAAI,OAAO;CAI5B"}

package/dist/model/PCard.js

@@ -4,53 +4,77 @@
  * This module defines PCard, the execution unit in the MVP Cards architecture.
  * PCards are MCards containing a valid CLM (Cubical Logic Model) specification.
  *
- * ## Category Theory Role: FUNCTOR
+ * ## Categorical Foundation: STRONG PROFUNCTOR
  *
- * PCard is the **Functor** in the MVP Cards categorical hierarchy:
- * - **MCard (Monad)**: Data container
- * - **PCard (Functor)**: Pure transformation `fmap :: (a -> b) -> F a -> F b`
- * - **VCard (Applicative)**: Context-aware application
+ * PCard implements the Strong Profunctor pattern from category theory:
  *
- * ## Petri Net Role: TRANSITION
+ *     P: A^op × B → Set
  *
- * In the Categorical Petri Net model, PCard is the **Transition**:
- * - Consumes input VCards (Tokens) from input Places
- * - Executes CLM logic (Abstract → Concrete transformation)
- * - Produces output VCards (Tokens) for output Places
+ * Where:
+ *   - A^op denotes contravariance in input types (accepts MORE general)
+ *   - B denotes covariance in output types (produces MORE specific)
+ *   - Set is the category of sets (our value space)
  *
- * ### The Firing Rule
+ * The "Strong" property means PCard supports:
+ *   - first:  P(A, B) → P(C × A, C × B)  (threading context through)
+ *   - second: P(A, B) → P(A × C, B × C)  (preserving additional structure)
+ *
+ * ## Composition via Coend
  *
- * A PCard (Transition) fires when all input VCards (Tokens) are present:
+ * Two PCards compose via the Coend (categorical integral):
  *
- * ```
- * M' = M - •t + t•
- * ```
+ *     (P ⨾ Q)(A, C) = ∫ᴮ P(A, B) × Q(B, C)
  *
  * Where:
- * - M = Current marking (token distribution)
- * - •t = Pre-set (input VCards required)
- * - t• = Post-set (output VCards produced)
+ *   - ∫ᴮ is the Coend over the intermediate type B
+ *   - P(A, B) is the first PCard (input A, output B)
+ *   - Q(B, C) is the second PCard (input B, output C)
+ *   - Result is a new PCard from A to C
+ *
+ * The `andThen()` method implements this Coend composition.
+ *
+ * ## SMC Structure (Symmetric Monoidal Category)
+ *
+ * PCard composition forms a Symmetric Monoidal Category:
+ *   - **Identity**: The "pass-through" PCard
+ *   - **Composition**: Sequential chaining via `andThen()` (;)
+ *   - **Tensor Product**: Parallel composition via `andAlso()` (⊗)
+ *   - **Symmetry**: Port swapping via `swap()` (σ)
+ *
+ * ## Functor Role in MVP Cards Hierarchy
+ *
+ * PCard is the **Functor** in the categorical hierarchy:
+ *   - **MCard (Monad)**: Data container
+ *   - **PCard (Functor)**: Pure transformation `fmap :: (a -> b) -> F a -> F b`
+ *   - **VCard (Applicative)**: Context-aware application
+ *
+ * ## Petri Net Role: TRANSITION
  *
- * ### Handle Naming Convention for CLM Execution
+ * In the Categorical Petri Net model, PCard is the **Transition**:
+ *   - Consumes input VCards (Tokens) from input Places
+ *   - Executes CLM logic (Abstract → Concrete transformation)
+ *   - Produces output VCards (Tokens) for output Places
+ *
+ * ### The Firing Rule
  *
- * ```
- * clm://{module}/{function}/spec      # PCard (Transition definition)
- * clm://{module}/{function}/input     # Input VCard (Precondition)
- * clm://{module}/{function}/output    # Output VCard (Postcondition)
- * clm://{module}/{function}/balanced  # Balanced Expectations history
- * ```
+ *     M' = M - •t + t•
+ *
+ * Where:
+ *   - M = Current marking (token distribution)
+ *   - •t = Pre-set (input VCards required)
+ *   - t• = Post-set (output VCards produced)
  *
  * ## CLM Triad: Abstract, Concrete, Balanced
  *
  * PCard content encodes the three dimensions:
- * - **Abstract (A)**: WHY - Specification, intent, type signature
- * - **Concrete (C)**: HOW - Implementation, runtime logic
- * - **Balanced (B)**: WHAT - Tests, verification expectations (tracked in handle_history)
+ *   - **Abstract (A)**: WHY - Specification, intent, type signature
+ *   - **Concrete (C)**: HOW - Implementation, runtime logic
+ *   - **Balanced (B)**: WHAT - Tests, verification expectations
  *
  * ## DOTS Vocabulary Role: LENS + CHART
  *
- * - **Lens**: Tight morphism (Abstract ↔ Concrete coherence)
- * - **Chart**: Loose morphism (Balanced expectations wiring)
+ *   - **Lens**: Tight morphism (Abstract ↔ Concrete coherence)
+ *   - **Chart**: Loose morphism (Balanced expectations wiring)
  *
  * @see docs/PCard_Impl.md for full implementation specification
  */
@@ -203,13 +227,45 @@ export class PCard extends MCard {
         return this.balanced;
     }
     // =========================================================================
-    // SMC Algebraic Combinators (Function Composition)
+    // SMC ALGEBRAIC COMBINATORS (Profunctor Composition)
+    // =========================================================================
+    //
+    // These methods implement the Symmetric Monoidal Category structure,
+    // enabling algebraic composition of PCards as profunctors.
+    //
+    // Composition Laws (Categorical Coherence):
+    //   - Associativity: (f.andThen(g)).andThen(h) ≡ f.andThen(g.andThen(h))
+    //   - Identity: id.andThen(f) ≡ f ≡ f.andThen(id)
+    //   - Tensor Associativity: (A ⊗ B) ⊗ C ≅ A ⊗ (B ⊗ C)
+    //   - Symmetry Involution: swap().swap() ≡ id
     // =========================================================================
     /**
-     * Sequential Composition ($A ; B$)
+     * Sequential Composition via Coend (P ⨾ Q)
+     *
+     * Implements profunctor composition using the Coend formula:
+     *
+     *     (P ⨾ Q)(A, C) = ∫ᴮ P(A, B) × Q(B, C)
+     *
+     * Where:
+     *   - this is P: A → B
+     *   - otherPCard is Q: B → C
+     *   - Result is P ⨾ Q: A → C
+     *
+     * The Coend (∫ᴮ) "integrates out" the intermediate type B by:
+     * 1. Matching P's output type with Q's input type
+     * 2. Creating a chain where P's result feeds into Q
+     * 3. The composition is associative: (P ⨾ Q) ⨾ R = P ⨾ (Q ⨾ R)
+     *
+     * In PTR execution:
+     *   - P is executed first (prep → exec → post)
+     *   - P's output VCard becomes Q's input VCard
+     *   - Q is executed second
+     *   - Final result is Q's output VCard
+     *
+     * Note: Named 'andThen' to avoid conflict with Promise.then (Thenable).
      *
-     * Connects the output of this PCard to the input of otherPCard.
-     * Renamed to 'andThen' to avoid conflict with Promise.then (Thenable).
+     * @param otherPCard - The PCard to execute after this one (Q in P ⨾ Q)
+     * @returns A new PCard representing the composed profunctor (P ⨾ Q)
      */
     async andThen(otherPCard) {
         const newClm = {
@@ -221,6 +277,7 @@ export class PCard extends MCard {
             clm: {
                 abstract: {
                     type: "sequential_composition",
+                    coend_formula: "∫ᴮ P(A,B) × Q(B,C)",
                     steps: [this.hash, otherPCard.hash]
                 },
                 concrete: {

package/dist/model/PCard.js.map

@@ -1 +1 @@
-{"version":3,"file":"PCard.js","sourceRoot":"","sources":["../../src/model/PCard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAgB,uBAAuB,EAAE,MAAM,eAAe,CAAC;AA0BtE;;;;;GAKG;AACH,MAAM,OAAO,KAAM,SAAQ,KAAK;IACX,SAAS,CAAM;IACf,MAAM,CAAU;IAEjC,YACI,OAAmB,EACnB,IAAY,EACZ,MAAc,EACd,WAAmB,EACnB,YAAoB,EACpB,SAAc,EACd,MAAe;QAEf,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QACxD,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACzB,CAAC;IAED;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,CAAC,MAAM,CACf,OAA4B,EAC5B,gBAAwB,QAAQ,EAChC,SAAkB,IAAI;QAEtB,IAAI,WAAmB,CAAC;QACxB,IAAI,KAAiB,CAAC;QAEtB,qCAAqC;QACrC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC9B,WAAW,GAAG,OAAO,CAAC;YACtB,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC9C,CAAC;aAAM,CAAC;YACJ,KAAK,GAAG,OAAO,CAAC;YAChB,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACpD,CAAC;QAED,kCAAkC;QAClC,IAAI,SAAS,CAAC;QACd,IAAI,CAAC;YACD,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;YAC/B,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACtD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC/D,CAAC;QACL,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACpE,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,WAAW,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACnE,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAEzD,OAAO,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACzF,CAAC;IAED;;;;OAIG;IACH,eAAe;QACX,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAa,EAAE,CAAC;QAE/B,gDAAgD;QAChD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3C,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7C,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3C,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7C,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,OAAO,uBAAuB,CAC1B,IAAI,CAAC,MAAM,EACX,SAAS,EACT,SAAS,CACZ,CAAC;IACN,CAAC;IAED;;OAEG;IACH,IAAI,GAAG;QACH,OAAO,IAAI,CAAC,SAAS,CAAC;IAC1B,CAAC;IAED,4EAA4E;IAC5E,yCAAyC;IACzC,4EAA4E;IAEpE,UAAU,CAAC,WAAmB,EAAE,OAAiB;QACrD,gBAAgB;QAChB,IAAI,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACtC,IAAI,GAAG;YAAE,OAAO,GAAG,CAAC;QAEpB,2BAA2B;QAC3B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC1B,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,GAAG;gBAAE,OAAO,GAAG,CAAC;QACxB,CAAC;QAED,gDAAgD;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;QACpC,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACpD,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;YAC5B,IAAI,GAAG;gBAAE,OAAO,GAAG,CAAC;YACpB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC1B,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACtB,IAAI,GAAG;oBAAE,OAAO,GAAG,CAAC;YACxB,CAAC;QACL,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED;;OAEG;IACH,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC;IAClE,CAAC;IAED;;OAEG;IACH,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,uBAAuB,EAAE,cAAc,CAAC,CAAC,CAAC;IAClF,CAAC;IAED;;OAEG;IACH,IAAI,YAAY;QACZ,OAAO,IAAI,CAAC,QAAQ,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,IAAI,YAAY;QACZ,OAAO,IAAI,CAAC,QAAQ,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,IAAI,oBAAoB;QACpB,OAAO,IAAI,CAAC,QAAQ,CAAC;IACzB,CAAC;IAED,4EAA4E;IAC5E,mDAAmD;IACnD,4EAA4E;IAE5E;;;;;OAKG;IACH,KAAK,CAAC,OAAO,CAAC,UAAiB;QAC3B,MAAM,MAAM,GAAG;YACX,OAAO,EAAE;gBACL,EAAE,EAAE,YAAY,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;gBAC9E,KAAK,EAAE,gCAAgC;gBACvC,IAAI,EAAE,WAAW,IAAI,CAAC,IAAI,SAAS,UAAU,CAAC,IAAI,EAAE;aACvD;YACD,GAAG,EAAE;gBACD,QAAQ,EAAE;oBACN,IAAI,EAAE,wBAAwB;oBAC9B,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;iBACtC;gBACD,QAAQ,EAAE;oBACN,OAAO,EAAE,KAAK;oBACd,SAAS,EAAE,oBAAoB;oBAC/B,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;iBACtC;aACJ;SACJ,CAAC;QACF,qEAAqE;QACrE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3C,OAAO,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9D,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,OAAO,CAAC,UAAiB;QAC3B,MAAM,MAAM,GAAG;YACX,OAAO,EAAE;gBACL,EAAE,EAAE,YAAY,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;gBAC9E,KAAK,EAAE,mBAAmB;gBAC1B,IAAI,EAAE,OAAO,IAAI,CAAC,IAAI,QAAQ,UAAU,CAAC,IAAI,cAAc;aAC9D;YACD,GAAG,EAAE;gBACD,QAAQ,EAAE;oBACN,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,KAAK,EAAE,UAAU,CAAC,IAAI;iBACzB;gBACD,QAAQ,EAAE;oBACN,OAAO,EAAE,KAAK;oBACd,SAAS,EAAE,kBAAkB;oBAC7B,UAAU,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;iBAC3C;aACJ;SACJ,CAAC;QACF,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3C,OAAO,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9D,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,IAAI;QACN,MAAM,MAAM,GAAG;YACX,OAAO,EAAE;gBACL,EAAE,EAAE,WAAW,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;gBAC1C,KAAK,EAAE,kBAAkB;gBACzB,IAAI,EAAE,0BAA0B,IAAI,CAAC,IAAI,EAAE;aAC9C;YACD,GAAG,EAAE;gBACD,QAAQ,EAAE;oBACN,IAAI,EAAE,eAAe;oBACrB,MAAM,EAAE,IAAI,CAAC,IAAI;iBACpB;gBACD,QAAQ,EAAE;oBACN,OAAO,EAAE,KAAK;oBACd,SAAS,EAAE,gBAAgB;oBAC3B,MAAM,EAAE,IAAI,CAAC,IAAI;iBACpB;aACJ;SACJ,CAAC;QACF,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3C,OAAO,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9D,CAAC;IAED,4EAA4E;IAC5E,8BAA8B;IAC9B,4EAA4E;IAE5E;;OAEG;IACH,MAAM;QACF,OAAO;YACH,MAAM,EAAE,sBAAsB;YAC9B,UAAU,EAAE,IAAI,CAAC,QAAQ;YACzB,MAAM,EAAE,IAAI,CAAC,IAAI;SACpB,CAAC;IACN,CAAC;IAED;;OAEG;IACH,OAAO;QACH,OAAO;YACH,MAAM,EAAE,iBAAiB;YACzB,MAAM,EAAE,IAAI,CAAC,IAAI;YACjB,eAAe,EAAE,UAAU;SAC9B,CAAC;IACN,CAAC;IAED;;OAEG;IACH,KAAK;QACD,OAAO;YACH,MAAM,EAAE,uBAAuB;YAC/B,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,IAAI,CAAC,IAAI;SACpB,CAAC;IACN,CAAC;IAED;;OAEG;IACH,OAAO;QACH,OAAO;YACH,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO;YACjC,aAAa,EAAE,IAAI,CAAC,eAAe,EAAE;SACxC,CAAC;IACN,CAAC;IAED,4EAA4E;IAC5E,iCAAiC;IACjC,4EAA4E;IAE5E;;;;;;;OAOG;IACH,iBAAiB;QACb,MAAM,IAAI,GAAoB,EAAE,CAAC;QAEjC,gDAAgD;QAChD,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE;YAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QAC5D,CAAC,CAAA;QAED,yCAAyC;QACzC,MAAM,WAAW,GAAG,QAAQ,CAAC,cAAc,CAAC;YACxC,QAAQ,CAAC,eAAe,CAAC;YACzB,QAAQ,CAAC,UAAU,CAAC,CAAC;QAEzB,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7B,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;gBAC5B,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;oBAC1B,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;gBAC/B,CAAC;qBAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;oBACpB,IAAI,CAAC,IAAI,CAAC;wBACN,MAAM,EAAE,GAAG,CAAC,MAAM;wBAClB,YAAY,EAAE,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,aAAa;wBAC3C,OAAO,EAAE,GAAG,CAAC,OAAO;qBACvB,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;QACL,CAAC;QAED,qEAAqE;QACrE,MAAM,YAAY,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC;QAC9C,MAAM,gBAAgB,GAAG,YAAY,EAAE,UAAU,IAAI,EAAE,CAAC;QACxD,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;YACjC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,GAAG,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;YACpE,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;gBAClB,IAAI,CAAC,IAAI,CAAC;oBACN,MAAM,EAAE,UAAU,GAAG,CAAC,IAAI,EAAE;oBAC5B,YAAY,EAAE,GAAG,CAAC,IAAI;oBACtB,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,cAAc;iBACzC,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;;;;;OAMG;IACH,mBAAmB;QACf,MAAM,KAAK,GAAsB,EAAE,CAAC;QAEpC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE;YAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QAC5D,CAAC,CAAA;QAED,0CAA0C;QAC1C,MAAM,YAAY,GAAG,QAAQ,CAAC,eAAe,CAAC;YAC1C,QAAQ,CAAC,gBAAgB,CAAC;YAC1B,QAAQ,CAAC,UAAU,CAAC,CAAC;QAEzB,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YAC9B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAC9B,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACjD,CAAC;qBAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBACrB,KAAK,CAAC,IAAI,CAAC;wBACP,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,QAAQ;wBAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;qBAC1B,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;QACL,CAAC;QAED,2DAA2D;QAC3D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;YACvC,IAAI,OAAO,EAAE,KAAK,EAAE,CAAC;gBACjB,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;gBACxE,KAAK,CAAC,IAAI,CAAC;oBACP,MAAM,EAAE,SAAS,QAAQ,WAAW;oBACpC,IAAI,EAAE,cAAc;iBACvB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;OAIG;IACH,mBAAmB;QACf,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;QACvC,IAAI,OAAO,EAAE,EAAE,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,WAAW,OAAO,CAAC,EAAE,EAAE,CAAC;YACpG,OAAO,SAAS,QAAQ,OAAO,CAAC;QACpC,CAAC;QACD,gCAAgC;QAChC,OAAO,cAAc,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC;IAC3D,CAAC;IAED;;;;;;OAMG;IACH,iBAAiB;QACb,MAAM,UAAU,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC9C,OAAO,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACpD,CAAC;IAED;;;;;;;OAOG;IACH,OAAO,CAAC,eAAoC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;QAE7B,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAClD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC7B,CAAC;iBAAM,IAAI,GAAG,CAAC,YAAY,IAAI,SAAS,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;gBAC5D,mCAAmC;gBACnC,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,kBAAkB,CAAC,CAAC;YAClD,CAAC;QACL,CAAC;QAED,OAAO;YACH,OAAO,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;YAC7B,OAAO;SACV,CAAC;IACN,CAAC;IAED;;;;OAIG;IACH,UAAU;QACN,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO;YACxC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO;YAChC,YAAY,CAAC;IACrB,CAAC;IAED;;;;OAIG;IACH,cAAc;QACV,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;QACvE,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;IACvF,CAAC;CACJ"}
+{"version":3,"file":"PCard.js","sourceRoot":"","sources":["../../src/model/PCard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+EG;AAGH,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAgB,uBAAuB,EAAE,MAAM,eAAe,CAAC;AA0BtE;;;;;GAKG;AACH,MAAM,OAAO,KAAM,SAAQ,KAAK;IACX,SAAS,CAAM;IACf,MAAM,CAAU;IAEjC,YACI,OAAmB,EACnB,IAAY,EACZ,MAAc,EACd,WAAmB,EACnB,YAAoB,EACpB,SAAc,EACd,MAAe;QAEf,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QACxD,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACzB,CAAC;IAED;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,CAAC,MAAM,CACf,OAA4B,EAC5B,gBAAwB,QAAQ,EAChC,SAAkB,IAAI;QAEtB,IAAI,WAAmB,CAAC;QACxB,IAAI,KAAiB,CAAC;QAEtB,qCAAqC;QACrC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC9B,WAAW,GAAG,OAAO,CAAC;YACtB,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC9C,CAAC;aAAM,CAAC;YACJ,KAAK,GAAG,OAAO,CAAC;YAChB,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACpD,CAAC;QAED,kCAAkC;QAClC,IAAI,SAAS,CAAC;QACd,IAAI,CAAC;YACD,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;YAC/B,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACtD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC/D,CAAC;QACL,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACpE,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,WAAW,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACnE,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAEzD,OAAO,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACzF,CAAC;IAED;;;;OAIG;IACH,eAAe;QACX,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAa,EAAE,CAAC;QAE/B,gDAAgD;QAChD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3C,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7C,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3C,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7C,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,OAAO,uBAAuB,CAC1B,IAAI,CAAC,MAAM,EACX,SAAS,EACT,SAAS,CACZ,CAAC;IACN,CAAC;IAED;;OAEG;IACH,IAAI,GAAG;QACH,OAAO,IAAI,CAAC,SAAS,CAAC;IAC1B,CAAC;IAED,4EAA4E;IAC5E,yCAAyC;IACzC,4EAA4E;IAEpE,UAAU,CAAC,WAAmB,EAAE,OAAiB;QACrD,gBAAgB;QAChB,IAAI,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACtC,IAAI,GAAG;YAAE,OAAO,GAAG,CAAC;QAEpB,2BAA2B;QAC3B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC1B,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,GAAG;gBAAE,OAAO,GAAG,CAAC;QACxB,CAAC;QAED,gDAAgD;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;QACpC,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACpD,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;YAC5B,IAAI,GAAG;gBAAE,OAAO,GAAG,CAAC;YACpB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC1B,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACtB,IAAI,GAAG;oBAAE,OAAO,GAAG,CAAC;YACxB,CAAC;QACL,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED;;OAEG;IACH,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC;IAClE,CAAC;IAED;;OAEG;IACH,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,uBAAuB,EAAE,cAAc,CAAC,CAAC,CAAC;IAClF,CAAC;IAED;;OAEG;IACH,IAAI,YAAY;QACZ,OAAO,IAAI,CAAC,QAAQ,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,IAAI,YAAY;QACZ,OAAO,IAAI,CAAC,QAAQ,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,IAAI,oBAAoB;QACpB,OAAO,IAAI,CAAC,QAAQ,CAAC;IACzB,CAAC;IAED,4EAA4E;IAC5E,qDAAqD;IACrD,4EAA4E;IAC5E,EAAE;IACF,qEAAqE;IACrE,2DAA2D;IAC3D,EAAE;IACF,4CAA4C;IAC5C,yEAAyE;IACzE,kDAAkD;IAClD,sDAAsD;IACtD,8CAA8C;IAC9C,4EAA4E;IAE5E;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,KAAK,CAAC,OAAO,CAAC,UAAiB;QAC3B,MAAM,MAAM,GAAG;YACX,OAAO,EAAE;gBACL,EAAE,EAAE,YAAY,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;gBAC9E,KAAK,EAAE,gCAAgC;gBACvC,IAAI,EAAE,WAAW,IAAI,CAAC,IAAI,SAAS,UAAU,CAAC,IAAI,EAAE;aACvD;YACD,GAAG,EAAE;gBACD,QAAQ,EAAE;oBACN,IAAI,EAAE,wBAAwB;oBAC9B,aAAa,EAAE,oBAAoB;oBACnC,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;iBACtC;gBACD,QAAQ,EAAE;oBACN,OAAO,EAAE,KAAK;oBACd,SAAS,EAAE,oBAAoB;oBAC/B,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;iBACtC;aACJ;SACJ,CAAC;QACF,qEAAqE;QACrE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3C,OAAO,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9D,CAAC;IAGD;;;;OAIG;IACH,KAAK,CAAC,OAAO,CAAC,UAAiB;QAC3B,MAAM,MAAM,GAAG;YACX,OAAO,EAAE;gBACL,EAAE,EAAE,YAAY,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;gBAC9E,KAAK,EAAE,mBAAmB;gBAC1B,IAAI,EAAE,OAAO,IAAI,CAAC,IAAI,QAAQ,UAAU,CAAC,IAAI,cAAc;aAC9D;YACD,GAAG,EAAE;gBACD,QAAQ,EAAE;oBACN,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,KAAK,EAAE,UAAU,CAAC,IAAI;iBACzB;gBACD,QAAQ,EAAE;oBACN,OAAO,EAAE,KAAK;oBACd,SAAS,EAAE,kBAAkB;oBAC7B,UAAU,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;iBAC3C;aACJ;SACJ,CAAC;QACF,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3C,OAAO,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9D,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,IAAI;QACN,MAAM,MAAM,GAAG;YACX,OAAO,EAAE;gBACL,EAAE,EAAE,WAAW,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;gBAC1C,KAAK,EAAE,kBAAkB;gBACzB,IAAI,EAAE,0BAA0B,IAAI,CAAC,IAAI,EAAE;aAC9C;YACD,GAAG,EAAE;gBACD,QAAQ,EAAE;oBACN,IAAI,EAAE,eAAe;oBACrB,MAAM,EAAE,IAAI,CAAC,IAAI;iBACpB;gBACD,QAAQ,EAAE;oBACN,OAAO,EAAE,KAAK;oBACd,SAAS,EAAE,gBAAgB;oBAC3B,MAAM,EAAE,IAAI,CAAC,IAAI;iBACpB;aACJ;SACJ,CAAC;QACF,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3C,OAAO,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9D,CAAC;IAED,4EAA4E;IAC5E,8BAA8B;IAC9B,4EAA4E;IAE5E;;OAEG;IACH,MAAM;QACF,OAAO;YACH,MAAM,EAAE,sBAAsB;YAC9B,UAAU,EAAE,IAAI,CAAC,QAAQ;YACzB,MAAM,EAAE,IAAI,CAAC,IAAI;SACpB,CAAC;IACN,CAAC;IAED;;OAEG;IACH,OAAO;QACH,OAAO;YACH,MAAM,EAAE,iBAAiB;YACzB,MAAM,EAAE,IAAI,CAAC,IAAI;YACjB,eAAe,EAAE,UAAU;SAC9B,CAAC;IACN,CAAC;IAED;;OAEG;IACH,KAAK;QACD,OAAO;YACH,MAAM,EAAE,uBAAuB;YAC/B,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,IAAI,CAAC,IAAI;SACpB,CAAC;IACN,CAAC;IAED;;OAEG;IACH,OAAO;QACH,OAAO;YACH,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO;YACjC,aAAa,EAAE,IAAI,CAAC,eAAe,EAAE;SACxC,CAAC;IACN,CAAC;IAED,4EAA4E;IAC5E,iCAAiC;IACjC,4EAA4E;IAE5E;;;;;;;OAOG;IACH,iBAAiB;QACb,MAAM,IAAI,GAAoB,EAAE,CAAC;QAEjC,gDAAgD;QAChD,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE;YAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QAC5D,CAAC,CAAA;QAED,yCAAyC;QACzC,MAAM,WAAW,GAAG,QAAQ,CAAC,cAAc,CAAC;YACxC,QAAQ,CAAC,eAAe,CAAC;YACzB,QAAQ,CAAC,UAAU,CAAC,CAAC;QAEzB,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7B,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;gBAC5B,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;oBAC1B,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;gBAC/B,CAAC;qBAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;oBACpB,IAAI,CAAC,IAAI,CAAC;wBACN,MAAM,EAAE,GAAG,CAAC,MAAM;wBAClB,YAAY,EAAE,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,aAAa;wBAC3C,OAAO,EAAE,GAAG,CAAC,OAAO;qBACvB,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;QACL,CAAC;QAED,qEAAqE;QACrE,MAAM,YAAY,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC;QAC9C,MAAM,gBAAgB,GAAG,YAAY,EAAE,UAAU,IAAI,EAAE,CAAC;QACxD,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;YACjC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,GAAG,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;YACpE,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;gBAClB,IAAI,CAAC,IAAI,CAAC;oBACN,MAAM,EAAE,UAAU,GAAG,CAAC,IAAI,EAAE;oBAC5B,YAAY,EAAE,GAAG,CAAC,IAAI;oBACtB,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,cAAc;iBACzC,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;;;;;OAMG;IACH,mBAAmB;QACf,MAAM,KAAK,GAAsB,EAAE,CAAC;QAEpC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE;YAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QAC5D,CAAC,CAAA;QAED,0CAA0C;QAC1C,MAAM,YAAY,GAAG,QAAQ,CAAC,eAAe,CAAC;YAC1C,QAAQ,CAAC,gBAAgB,CAAC;YAC1B,QAAQ,CAAC,UAAU,CAAC,CAAC;QAEzB,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YAC9B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAC9B,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACjD,CAAC;qBAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBACrB,KAAK,CAAC,IAAI,CAAC;wBACP,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,QAAQ;wBAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;qBAC1B,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;QACL,CAAC;QAED,2DAA2D;QAC3D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;YACvC,IAAI,OAAO,EAAE,KAAK,EAAE,CAAC;gBACjB,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;gBACxE,KAAK,CAAC,IAAI,CAAC;oBACP,MAAM,EAAE,SAAS,QAAQ,WAAW;oBACpC,IAAI,EAAE,cAAc;iBACvB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;OAIG;IACH,mBAAmB;QACf,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;QACvC,IAAI,OAAO,EAAE,EAAE,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,WAAW,OAAO,CAAC,EAAE,EAAE,CAAC;YACpG,OAAO,SAAS,QAAQ,OAAO,CAAC;QACpC,CAAC;QACD,gCAAgC;QAChC,OAAO,cAAc,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC;IAC3D,CAAC;IAED;;;;;;OAMG;IACH,iBAAiB;QACb,MAAM,UAAU,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC9C,OAAO,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACpD,CAAC;IAED;;;;;;;OAOG;IACH,OAAO,CAAC,eAAoC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;QAE7B,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAClD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC7B,CAAC;iBAAM,IAAI,GAAG,CAAC,YAAY,IAAI,SAAS,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;gBAC5D,mCAAmC;gBACnC,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,kBAAkB,CAAC,CAAC;YAClD,CAAC;QACL,CAAC;QAED,OAAO;YACH,OAAO,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;YAC7B,OAAO;SACV,CAAC;IACN,CAAC;IAED;;;;OAIG;IACH,UAAU;QACN,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO;YACxC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO;YAChC,YAAY,CAAC;IACrB,CAAC;IAED;;;;OAIG;IACH,cAAc;QACV,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;QACvE,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;IACvF,CAAC;CACJ"}

package/dist/ptr/Bridgelet.d.ts

@@ -0,0 +1,180 @@
+/**
+ * Bridgelet Universal Vehicle - Cross-Language Execution Abstraction
+ *
+ * The Bridgelet provides a universal interface for executing CLM logic across
+ * different language runtimes, enabling polyglot composition of PCards.
+ *
+ * ## Conceptual Foundation
+ *
+ * Bridgelet = Universal Vehicle for Cross-Language Execution
+ *
+ * Just as a physical bridge connects two lands, a Bridgelet connects two
+ * language runtimes, enabling data and control flow across the boundary.
+ *
+ * ## Architecture
+ *
+ * ```
+ * ┌─────────────────────────────────────────────────────────────────────┐
+ * │                        Bridgelet Interface                          │
+ * │  invoke(pcard_hash, input_vcard) → output_vcard                    │
+ * └───────────────────────────┬─────────────────────────────────────────┘
+ *                             │
+ *         ┌───────────────────┼───────────────────────┐
+ *         ▼                   ▼                       ▼
+ *     ┌────────┐         ┌────────┐             ┌────────┐
+ *     │  JS    │         │ Python │             │ WASM   │
+ *     │Runtime │         │(HTTP)  │             │Runtime │
+ *     └────────┘         └────────┘             └────────┘
+ * ```
+ *
+ * ## Protocol
+ *
+ * 1. Serialize input VCard to content-addressable format (MCard)
+ * 2. Invoke target runtime with PCard hash and input MCard hash
+ * 3. Receive output MCard hash
+ * 4. Deserialize output MCard to VCard
+ *
+ * All data crosses the bridge as immutable MCards (content-addressed),
+ * ensuring EOS (Experimental-Operational Symmetry).
+ *
+ * @see CLM_MCard_REPL_Implementation.md §10: Bridgelet Universal Vehicle
+ * @see PTR_MCard_CLM_Recent_Developments_Jan2026.md §5.3: Polyglot Execution
+ */
+/**
+ * Supported runtime types for Bridgelet execution
+ */
+export declare enum RuntimeType {
+    JAVASCRIPT = "javascript",
+    TYPESCRIPT = "typescript",
+    PYTHON = "python",
+    WASM = "wasm",
+    LEAN = "lean",
+    UNKNOWN = "unknown"
+}
+/**
+ * Represents a cross-runtime invocation request.
+ *
+ * All data is represented by content hashes (MCard references),
+ * ensuring immutability and EOS compliance.
+ */
+export interface BridgeletInvocation {
+    /** PCard to execute (content hash) */
+    pcardHash: string;
+    /** Input VCard (content hash) */
+    inputVCardHash: string;
+    /** Target runtime */
+    targetRuntime: RuntimeType;
+    /** Execution context (serializable parameters) */
+    context: Record<string, any>;
+    /** Trace ID for observability */
+    traceId: string;
+}
+/**
+ * Result of a Bridgelet invocation.
+ *
+ * Contains the output VCard hash and execution metadata.
+ */
+export interface BridgeletResult {
+    /** Success status */
+    success: boolean;
+    /** Output VCard (content hash) */
+    outputVCardHash?: string;
+    /** Error message if failed */
+    error?: string;
+    /** Execution time in milliseconds */
+    executionTimeMs: number;
+    /** Runtime that executed the PCard */
+    executedBy: RuntimeType;
+    /** Additional metadata */
+    metadata: Record<string, any>;
+}
+/**
+ * Abstract interface for runtime-specific Bridgelet adapters.
+ *
+ * Each adapter implements the protocol for a specific runtime,
+ * handling serialization, invocation, and deserialization.
+ */
+export interface BridgeletAdapter {
+    /** Get the runtime type this adapter supports */
+    getRuntimeType(): RuntimeType;
+    /** Check if this runtime is available for execution */
+    isAvailable(): boolean;
+    /** Invoke a PCard in this runtime */
+    invoke(invocation: BridgeletInvocation): Promise<BridgeletResult>;
+}
+/**
+ * JavaScript/TypeScript Bridgelet adapter.
+ *
+ * Executes PCards using the local JavaScript CLM runner.
+ */
+export declare class JavaScriptBridgeletAdapter implements BridgeletAdapter {
+    private collection;
+    constructor(collection?: any);
+    getRuntimeType(): RuntimeType;
+    isAvailable(): boolean;
+    invoke(invocation: BridgeletInvocation): Promise<BridgeletResult>;
+}
+/**
+ * Universal Vehicle for Cross-Language Execution.
+ *
+ * The Bridgelet manages a registry of runtime adapters and routes
+ * PCard execution requests to the appropriate runtime based on
+ * the PCard's declared runtime requirement.
+ *
+ * ## Usage
+ *
+ * ```typescript
+ * const bridgelet = new Bridgelet(collection);
+ * bridgelet.registerAdapter(new JavaScriptBridgeletAdapter());
+ * bridgelet.registerAdapter(new PythonHTTPBridgeletAdapter('http://localhost:8000'));
+ *
+ * const result = await bridgelet.invoke({
+ *     pcardHash: "abc123",
+ *     inputVCardHash: "def456",
+ *     context: { param: "value" }
+ * });
+ * ```
+ *
+ * ## Cross-Language Composition
+ *
+ * The Bridgelet enables polyglot PCard composition:
+ *
+ * ```typescript
+ * jsPCard.andThen(pythonPCard).andThen(wasmPCard)
+ * ```
+ *
+ * Each transition crosses a runtime bridge, with data flowing
+ * as content-addressed MCards.
+ */
+export declare class Bridgelet {
+    private collection;
+    private adapters;
+    private traceCounter;
+    constructor(collection?: any);
+    /**
+     * Register a runtime adapter
+     */
+    registerAdapter(adapter: BridgeletAdapter): void;
+    /**
+     * Get list of available runtimes
+     */
+    getAvailableRuntimes(): RuntimeType[];
+    /**
+     * Generate a unique trace ID for observability
+     */
+    private generateTraceId;
+    /**
+     * Detect the required runtime for a PCard
+     */
+    private detectRuntime;
+    /**
+     * Invoke a PCard across the appropriate runtime bridge
+     */
+    invoke(options: {
+        pcardHash: string;
+        inputVCardHash: string;
+        context?: Record<string, any>;
+        targetRuntime?: RuntimeType;
+    }): Promise<BridgeletResult>;
+}
+//# sourceMappingURL=Bridgelet.d.ts.map

package/dist/ptr/Bridgelet.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bridgelet.d.ts","sourceRoot":"","sources":["../../src/ptr/Bridgelet.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAIH;;GAEG;AACH,oBAAY,WAAW;IACnB,UAAU,eAAe;IACzB,UAAU,eAAe;IACzB,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,IAAI,SAAS;IACb,OAAO,YAAY;CACtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAChC,sCAAsC;IACtC,SAAS,EAAE,MAAM,CAAC;IAElB,iCAAiC;IACjC,cAAc,EAAE,MAAM,CAAC;IAEvB,qBAAqB;IACrB,aAAa,EAAE,WAAW,CAAC;IAE3B,kDAAkD;IAClD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAE7B,iCAAiC;IACjC,OAAO,EAAE,MAAM,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC5B,qBAAqB;IACrB,OAAO,EAAE,OAAO,CAAC;IAEjB,kCAAkC;IAClC,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,8BAA8B;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,qCAAqC;IACrC,eAAe,EAAE,MAAM,CAAC;IAExB,sCAAsC;IACtC,UAAU,EAAE,WAAW,CAAC;IAExB,0BAA0B;IAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC7B,iDAAiD;IACjD,cAAc,IAAI,WAAW,CAAC;IAE9B,uDAAuD;IACvD,WAAW,IAAI,OAAO,CAAC;IAEvB,qCAAqC;IACrC,MAAM,CAAC,UAAU,EAAE,mBAAmB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;CACrE;AAED;;;;GAIG;AACH,qBAAa,0BAA2B,YAAW,gBAAgB;IAC/D,OAAO,CAAC,UAAU,CAAM;gBAEZ,UAAU,CAAC,EAAE,GAAG;IAI5B,cAAc,IAAI,WAAW;IAI7B,WAAW,IAAI,OAAO;IAIhB,MAAM,CAAC,UAAU,EAAE,mBAAmB,GAAG,OAAO,CAAC,eAAe,CAAC;CAmF1E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,qBAAa,SAAS;IAClB,OAAO,CAAC,UAAU,CAAM;IACxB,OAAO,CAAC,QAAQ,CAAiD;IACjE,OAAO,CAAC,YAAY,CAAK;gBAEb,UAAU,CAAC,EAAE,GAAG;IAO5B;;OAEG;IACH,eAAe,CAAC,OAAO,EAAE,gBAAgB,GAAG,IAAI;IAMhD;;OAEG;IACH,oBAAoB,IAAI,WAAW,EAAE;IAMrC;;OAEG;IACH,OAAO,CAAC,eAAe;IAKvB;;OAEG;YACW,aAAa;IA0C3B;;OAEG;IACG,MAAM,CAAC,OAAO,EAAE;QAClB,SAAS,EAAE,MAAM,CAAC;QAClB,cAAc,EAAE,MAAM,CAAC;QACvB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC9B,aAAa,CAAC,EAAE,WAAW,CAAC;KAC/B,GAAG,OAAO,CAAC,eAAe,CAAC;CAqD/B"}