mcard-js 2.1.41 → 2.1.43

package/dist/model/PCard.js

@@ -1,558 +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 { parse } from 'yaml';
-import { MCard } from './MCard';
-import { HashValidator } from './hash/HashValidator';
-import { GTime } from './GTime';
-import { ContentTypeInterpreter } from './ContentTypeInterpreter';
-import { createPCardDOTSMetadata } from '../types/dots';
-/**
- * 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 class PCard extends MCard {
-    parsedClm;
-    isLens;
-    constructor(content, hash, g_time, contentType, hashFunction, parsedClm, isLens) {
-        super(content, hash, g_time, contentType, hashFunction);
-        this.parsedClm = parsedClm;
-        this.isLens = isLens;
-    }
-    /**
-     * 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 async create(content, hashAlgorithm = 'sha256', isLens = true) {
-        let textContent;
-        let bytes;
-        // Ensure we have both text and bytes
-        if (typeof content === 'string') {
-            textContent = content;
-            bytes = new TextEncoder().encode(content);
-        }
-        else {
-            bytes = content;
-            textContent = new TextDecoder().decode(content);
-        }
-        // Validate YAML and CLM structure
-        let parsedClm;
-        try {
-            parsedClm = parse(textContent);
-            if (typeof parsedClm !== 'object' || parsedClm === null) {
-                throw new Error('PCard content must be a YAML dictionary');
-            }
-        }
-        catch (e) {
-            throw new Error(`Invalid YAML content for PCard: ${e.message}`);
-        }
-        const hash = await HashValidator.computeHash(bytes, hashAlgorithm);
-        const g_time = GTime.stampNow(hashAlgorithm);
-        const contentType = ContentTypeInterpreter.detect(bytes);
-        return new PCard(bytes, hash, g_time, contentType, hashAlgorithm, parsedClm, isLens);
-    }
-    /**
-     * Get DOTS vocabulary metadata for this PCard
-     *
-     * Automatically extracts dependencies from the CLM structure if available.
-     */
-    getDOTSMetadata() {
-        const tightRefs = [];
-        const looseRefs = [];
-        // Extract dependencies from standard CLM fields
-        if (Array.isArray(this.parsedClm.tight_deps)) {
-            tightRefs.push(...this.parsedClm.tight_deps);
-        }
-        if (Array.isArray(this.parsedClm.dependencies)) {
-            tightRefs.push(...this.parsedClm.dependencies);
-        }
-        if (Array.isArray(this.parsedClm.loose_deps)) {
-            looseRefs.push(...this.parsedClm.loose_deps);
-        }
-        if (Array.isArray(this.parsedClm.alternatives)) {
-            looseRefs.push(...this.parsedClm.alternatives);
-        }
-        return createPCardDOTSMetadata(this.isLens, tightRefs, looseRefs);
-    }
-    /**
-     * Get the parsed CLM object
-     */
-    get clm() {
-        return this.parsedClm;
-    }
-    // =========================================================================
-    // Legacy Aliases and Recursive Accessors
-    // =========================================================================
-    getSection(sectionName, aliases) {
-        // 1. Check root
-        let val = this.parsedClm[sectionName];
-        if (val)
-            return val;
-        // 2. Check aliases at root
-        for (const alias of aliases) {
-            val = this.parsedClm[alias];
-            if (val)
-                return val;
-        }
-        // 3. Check inside 'clm' dict (nested structure)
-        const clmInner = this.parsedClm.clm;
-        if (typeof clmInner === 'object' && clmInner !== null) {
-            val = clmInner[sectionName];
-            if (val)
-                return val;
-            for (const alias of aliases) {
-                val = clmInner[alias];
-                if (val)
-                    return val;
-            }
-        }
-        return undefined;
-    }
-    /**
-     * Get the Abstract Specification section (UPTV Role: Abstract)
-     */
-    get abstract() {
-        return this.getSection('abstract', ['abstract_spec']);
-    }
-    /**
-     * Get the Concrete Implementation section (UPTV Role: Concrete)
-     */
-    get concrete() {
-        return this.getSection('concrete', ['concrete_impl', 'impl']);
-    }
-    /**
-     * Get the Balanced Expectations (tests) section (UPTV Role: Balanced)
-     */
-    get balanced() {
-        return this.getSection('balanced', ['balanced_expectations', 'expectations']);
-    }
-    /**
-     * Get the Abstract Specification section (Legacy)
-     */
-    get abstractSpec() {
-        return this.abstract;
-    }
-    /**
-     * Get the Concrete Implementation section (Legacy)
-     */
-    get concreteImpl() {
-        return this.concrete;
-    }
-    /**
-     * Get the Balanced Expectations (tests) section (Legacy)
-     */
-    get balancedExpectations() {
-        return this.balanced;
-    }
-    // =========================================================================
-    // 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 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)
-     */
-    async andThen(otherPCard) {
-        const newClm = {
-            chapter: {
-                id: `composed_${this.hash.substring(0, 8)}_${otherPCard.hash.substring(0, 8)}`,
-                title: "Sequentially Composed Function",
-                goal: `Compose ${this.hash} then ${otherPCard.hash}`
-            },
-            clm: {
-                abstract: {
-                    type: "sequential_composition",
-                    coend_formula: "∫ᴮ P(A,B) × Q(B,C)",
-                    steps: [this.hash, otherPCard.hash]
-                },
-                concrete: {
-                    runtime: "ptr",
-                    operation: "compose_sequential",
-                    steps: [this.hash, otherPCard.hash]
-                }
-            }
-        };
-        // Need to import stringify usually, assume global or imported at top
-        const { stringify } = await import('yaml');
-        return PCard.create(stringify(newClm), this.hashFunction);
-    }
-    /**
-     * Tensor Product ($A \otimes B$)
-     *
-     * Runs this PCard and otherPCard in parallel.
-     */
-    async andAlso(otherPCard) {
-        const newClm = {
-            chapter: {
-                id: `parallel_${this.hash.substring(0, 8)}_${otherPCard.hash.substring(0, 8)}`,
-                title: "Parallel Function",
-                goal: `Run ${this.hash} and ${otherPCard.hash} in parallel`
-            },
-            clm: {
-                abstract: {
-                    type: "tensor_product",
-                    left: this.hash,
-                    right: otherPCard.hash
-                },
-                concrete: {
-                    runtime: "ptr",
-                    operation: "compose_parallel",
-                    components: [this.hash, otherPCard.hash]
-                }
-            }
-        };
-        const { stringify } = await import('yaml');
-        return PCard.create(stringify(newClm), this.hashFunction);
-    }
-    /**
-     * Symmetry ($\sigma$)
-     *
-     * Swaps the input/output ports of a tensor product.
-     */
-    async swap() {
-        const newClm = {
-            chapter: {
-                id: `swapped_${this.hash.substring(0, 8)}`,
-                title: "Swapped Function",
-                goal: `Swap inputs/outputs of ${this.hash}`
-            },
-            clm: {
-                abstract: {
-                    type: "symmetry_swap",
-                    target: this.hash
-                },
-                concrete: {
-                    runtime: "ptr",
-                    operation: "apply_symmetry",
-                    target: this.hash
-                }
-            }
-        };
-        const { stringify } = await import('yaml');
-        return PCard.create(stringify(newClm), this.hashFunction);
-    }
-    // =========================================================================
-    // Universal Tooling Interface
-    // =========================================================================
-    /**
-     * Run the Balanced Expectations (Proof)
-     */
-    verify() {
-        return {
-            status: "pending_verification",
-            proof_plan: this.balanced,
-            target: this.hash
-        };
-    }
-    /**
-     * Run with instrumentation (eBPF/Tracing)
-     */
-    profile() {
-        return {
-            status: "profiling_ready",
-            target: this.hash,
-            instrumentation: "standard"
-        };
-    }
-    /**
-     * Run in Operative mode (Step-by-step)
-     */
-    debug() {
-        return {
-            status: "debug_session_created",
-            mode: "operative",
-            target: this.hash
-        };
-    }
-    /**
-     * Return documentation/explanation
-     */
-    explain() {
-        return {
-            abstract: this.abstract,
-            narrative: this.parsedClm.chapter,
-            dots_metadata: this.getDOTSMetadata()
-        };
-    }
-    // =========================================================================
-    // Petri Net Transition Semantics
-    // =========================================================================
-    /**
-     * 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() {
-        const refs = [];
-        // Helper to get field from root or nested 'clm'
-        const getField = (key) => {
-            return this.parsedClm[key] || this.parsedClm.clm?.[key];
-        };
-        // Check for explicit input_vcards in CLM
-        const inputVCards = getField('input_vcards') ||
-            getField('preconditions') ||
-            getField('requires');
-        if (Array.isArray(inputVCards)) {
-            for (const ref of inputVCards) {
-                if (typeof ref === 'string') {
-                    refs.push({ handle: ref });
-                }
-                else if (ref.handle) {
-                    refs.push({
-                        handle: ref.handle,
-                        expectedHash: ref.hash || ref.expected_hash,
-                        purpose: ref.purpose
-                    });
-                }
-            }
-        }
-        // Also check verification.pcard_refs for authentication requirements
-        const verification = getField('verification');
-        const verificationRefs = verification?.pcard_refs || [];
-        for (const ref of verificationRefs) {
-            if (typeof ref === 'string') {
-                refs.push({ handle: `auth://${ref}`, purpose: 'authenticate' });
-            }
-            else if (ref.hash) {
-                refs.push({
-                    handle: `auth://${ref.hash}`,
-                    expectedHash: ref.hash,
-                    purpose: ref.purpose || 'authenticate'
-                });
-            }
-        }
-        return refs;
-    }
-    /**
-     * Get output VCard specifications (Post-set: t•)
-     *
-     * These define what VCards (Tokens) this PCard produces when fired.
-     *
-     * @returns Array of output VCard specifications
-     */
-    getOutputVCardSpecs() {
-        const specs = [];
-        const getField = (key) => {
-            return this.parsedClm[key] || this.parsedClm.clm?.[key];
-        };
-        // Check for explicit output_vcards in CLM
-        const outputVCards = getField('output_vcards') ||
-            getField('postconditions') ||
-            getField('produces');
-        if (Array.isArray(outputVCards)) {
-            for (const spec of outputVCards) {
-                if (typeof spec === 'string') {
-                    specs.push({ handle: spec, type: 'result' });
-                }
-                else if (spec.handle) {
-                    specs.push({
-                        handle: spec.handle,
-                        type: spec.type || 'result',
-                        metadata: spec.metadata
-                    });
-                }
-            }
-        }
-        // Default: produce a verification VCard at balanced handle
-        if (specs.length === 0) {
-            const chapter = this.parsedClm.chapter;
-            if (chapter?.title) {
-                const safeName = chapter.title.toLowerCase().replace(/[^a-z0-9]/g, '_');
-                specs.push({
-                    handle: `clm://${safeName}/balanced`,
-                    type: 'verification'
-                });
-            }
-        }
-        return specs;
-    }
-    /**
-     * Get the canonical handle for this PCard (Transition)
-     *
-     * @returns Handle string in form `clm://{module}/{function}/spec`
-     */
-    getTransitionHandle() {
-        const chapter = this.parsedClm.chapter;
-        if (chapter?.id !== undefined) {
-            const safeName = chapter.title?.toLowerCase().replace(/[^a-z0-9]/g, '_') || `chapter_${chapter.id}`;
-            return `clm://${safeName}/spec`;
-        }
-        // Fallback to hash-based handle
-        return `clm://hash/${this.hash.substring(0, 16)}/spec`;
-    }
-    /**
-     * 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() {
-        const specHandle = this.getTransitionHandle();
-        return specHandle.replace('/spec', '/balanced');
-    }
-    /**
-     * 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) {
-        const inputRefs = this.getInputVCardRefs();
-        const missing = [];
-        for (const ref of inputRefs) {
-            const vCardHash = availableVCards.get(ref.handle);
-            if (!vCardHash) {
-                missing.push(ref.handle);
-            }
-            else if (ref.expectedHash && vCardHash !== ref.expectedHash) {
-                // Hash mismatch - treat as missing
-                missing.push(`${ref.handle} (hash mismatch)`);
-            }
-        }
-        return {
-            canFire: missing.length === 0,
-            missing
-        };
-    }
-    /**
-     * Get the runtime required for this PCard
-     *
-     * @returns Runtime name (e.g., 'javascript', 'python', 'lean')
-     */
-    getRuntime() {
-        return this.parsedClm.clm?.concrete?.runtime ||
-            this.parsedClm.concrete?.runtime ||
-            'javascript';
-    }
-    /**
-     * Check if this is a multi-runtime PCard
-     *
-     * @returns True if this PCard supports multiple runtimes
-     */
-    isMultiRuntime() {
-        const config = this.parsedClm.clm?.concrete || this.parsedClm.concrete;
-        return Array.isArray(config?.runtimes_config) && config.runtimes_config.length > 1;
-    }
-}
-//# sourceMappingURL=PCard.js.map

package/dist/model/PCard.js.map

@@ -1 +0,0 @@
-{"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,sBAAsB,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,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"}