mcard-js 2.1.41 → 2.1.43

package/dist/model/MCard.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"MCard.js","sourceRoot":"","sources":["../../src/model/MCard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAA8C,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAEpG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuFG;AACH,MAAM,OAAO,KAAK;IACL,OAAO,CAAa;IACpB,IAAI,CAAS;IACb,MAAM,CAAS;IACf,WAAW,CAAS,CAAC,wCAAwC;IAC7D,YAAY,CAAS;IAE9B,YAAsB,OAAmB,EAAE,IAAY,EAAE,MAAc,EAAE,WAAmB,EAAE,YAAoB;QAC9G,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAA4B,EAAE,gBAAwB,QAAQ;QAC9E,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QAC3D,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,OAAO,KAAK,QAAQ;YACrC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC;YACnC,CAAC,CAAC,OAAO,CAAC;QAEd,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC/C,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,CAAC,CAAC;IACtE,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,QAAQ,CAAC,OAAmB,EAAE,IAAY,EAAE,MAAc;QAC7D,MAAM,GAAG,GAAG,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC3D,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;IAC9D,CAAC;IAED;;OAEG;IACH,gBAAgB;QACZ,OAAO,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACH,UAAU;QACN,OAAO,IAAI,CAAC,OAAO,CAAC;IACxB,CAAC;IAED;;OAEG;IACH,QAAQ;QACJ,OAAO;YACH,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,OAAO,EAAE,IAAI,CAAC,gBAAgB,EAAE;YAChC,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,YAAY,EAAE,IAAI,CAAC,YAAY;SAClC,CAAC;IACN,CAAC;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,eAAe,CAAC,YAAsB,EAAE,EAAE,YAAsB,EAAE;QAC9D,OAAO,uBAAuB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACzD,CAAC;CACJ"}

package/dist/model/PCard.d.ts

@@ -1,271 +0,0 @@
-/**
- * PCard Model (Control Plane) - Petri Net TRANSITION
- *
- * This module defines PCard, the execution unit in the MVP Cards architecture.
- * PCards are MCards containing a valid CLM (Cubical Logic Model) specification.
- *
- * ## Categorical Foundation: STRONG PROFUNCTOR
- *
- * PCard implements the Strong Profunctor pattern from category theory:
- *
- *     P: A^op × B → Set
- *
- * 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 "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
- *
- * Two PCards compose via the Coend (categorical integral):
- *
- *     (P ⨾ Q)(A, C) = ∫ᴮ P(A, B) × Q(B, C)
- *
- * Where:
- *   - ∫ᴮ 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
- *
- * 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
- *
- * ## DOTS Vocabulary Role: LENS + CHART
- *
- *   - **Lens**: Tight morphism (Abstract ↔ Concrete coherence)
- *   - **Chart**: Loose morphism (Balanced expectations wiring)
- *
- * @see docs/PCard_Impl.md for full implementation specification
- */
-import { MCard } from './MCard';
-import { DOTSMetadata } from '../types/dots';
-/**
- * Input VCard reference for Petri Net pre-condition
- */
-export interface InputVCardRef {
-    /** Handle name (Place) where precondition VCard must exist */
-    handle: string;
-    /** Expected VCard hash (optional, for strict matching) */
-    expectedHash?: string;
-    /** Purpose of this precondition (e.g., 'authenticate', 'authorize') */
-    purpose?: string;
-}
-/**
- * Output VCard specification for Petri Net post-condition
- */
-export interface OutputVCardSpec {
-    /** Handle name (Place) where output VCard will be deposited */
-    handle: string;
-    /** Type of VCard to generate */
-    type: 'verification' | 'authorization' | 'audit' | 'result';
-    /** Additional metadata to include in the VCard */
-    metadata?: Record<string, unknown>;
-}
-/**
- * PCard - The Control Plane unit (Petri Net Transition)
- *
- * A PCard is an MCard whose content is a valid CLM specification.
- * It represents a transformation (Lens) with a specific interaction pattern (Chart).
- */
-export declare class PCard extends MCard {
-    private readonly parsedClm;
-    private readonly isLens;
-    protected constructor(content: Uint8Array, hash: string, g_time: string, contentType: string, hashFunction: string, parsedClm: any, isLens: boolean);
-    /**
-     * Create a new PCard from CLM content
-     *
-     * @param content - The CLM YAML string or bytes
-     * @param hashAlgorithm - Hash algorithm to use
-     * @param isLens - Whether this acts primarily as a Lens (default true)
-     */
-    static create(content: string | Uint8Array, hashAlgorithm?: string, isLens?: boolean): Promise<PCard>;
-    /**
-     * Get DOTS vocabulary metadata for this PCard
-     *
-     * Automatically extracts dependencies from the CLM structure if available.
-     */
-    getDOTSMetadata(): DOTSMetadata;
-    /**
-     * Get the parsed CLM object
-     */
-    get clm(): any;
-    private getSection;
-    /**
-     * Get the Abstract Specification section (UPTV Role: Abstract)
-     */
-    get abstract(): any;
-    /**
-     * Get the Concrete Implementation section (UPTV Role: Concrete)
-     */
-    get concrete(): any;
-    /**
-     * Get the Balanced Expectations (tests) section (UPTV Role: Balanced)
-     */
-    get balanced(): any;
-    /**
-     * Get the Abstract Specification section (Legacy)
-     */
-    get abstractSpec(): any;
-    /**
-     * Get the Concrete Implementation section (Legacy)
-     */
-    get concreteImpl(): any;
-    /**
-     * Get the Balanced Expectations (tests) section (Legacy)
-     */
-    get balancedExpectations(): any;
-    /**
-     * 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).
-     *
-     * @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>;
-    /**
-     * Tensor Product ($A \otimes B$)
-     *
-     * Runs this PCard and otherPCard in parallel.
-     */
-    andAlso(otherPCard: PCard): Promise<PCard>;
-    /**
-     * Symmetry ($\sigma$)
-     *
-     * Swaps the input/output ports of a tensor product.
-     */
-    swap(): Promise<PCard>;
-    /**
-     * Run the Balanced Expectations (Proof)
-     */
-    verify(): Record<string, any>;
-    /**
-     * Run with instrumentation (eBPF/Tracing)
-     */
-    profile(): Record<string, any>;
-    /**
-     * Run in Operative mode (Step-by-step)
-     */
-    debug(): Record<string, any>;
-    /**
-     * Return documentation/explanation
-     */
-    explain(): Record<string, any>;
-    /**
-     * Get input VCard references (Pre-set: •t)
-     *
-     * These represent the preconditions that must be satisfied before
-     * this PCard (Transition) can fire.
-     *
-     * @returns Array of input VCard references from CLM specification
-     */
-    getInputVCardRefs(): InputVCardRef[];
-    /**
-     * Get output VCard specifications (Post-set: t•)
-     *
-     * These define what VCards (Tokens) this PCard produces when fired.
-     *
-     * @returns Array of output VCard specifications
-     */
-    getOutputVCardSpecs(): OutputVCardSpec[];
-    /**
-     * Get the canonical handle for this PCard (Transition)
-     *
-     * @returns Handle string in form `clm://{module}/{function}/spec`
-     */
-    getTransitionHandle(): string;
-    /**
-     * Get the balanced expectations handle for this PCard
-     *
-     * This is where verification history is tracked in handle_history.
-     *
-     * @returns Handle string for balanced expectations
-     */
-    getBalancedHandle(): string;
-    /**
-     * Check if this PCard (Transition) can fire given the available VCards
-     *
-     * A transition can fire when all input VCards (preconditions) are present.
-     *
-     * @param availableVCards - Map of handle → VCard hash
-     * @returns Object with canFire boolean and missing preconditions
-     */
-    canFire(availableVCards: Map<string, string>): {
-        canFire: boolean;
-        missing: string[];
-    };
-    /**
-     * Get the runtime required for this PCard
-     *
-     * @returns Runtime name (e.g., 'javascript', 'python', 'lean')
-     */
-    getRuntime(): string;
-    /**
-     * Check if this is a multi-runtime PCard
-     *
-     * @returns True if this PCard supports multiple runtimes
-     */
-    isMultiRuntime(): boolean;
-}
-//# sourceMappingURL=PCard.d.ts.map

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

@@ -1 +0,0 @@
-{"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"}