mcard-js 2.1.12 → 2.1.13

package/dist/ptr/lambda/LambdaTerm.js

@@ -0,0 +1,159 @@
+/**
+ * Lambda Term - Algebraic Data Type for Lambda Calculus
+ *
+ * Represents Lambda Calculus terms as content-addressable MCards.
+ * Each term variant is stored as JSON in MCard content, with sub-terms
+ * referenced by their SHA-256 hashes for structural sharing.
+ *
+ * The three term constructors mirror the BNF grammar:
+ *   M, N ::= x | λx.M | M N
+ *
+ * @module mcard-js/ptr/lambda/LambdaTerm
+ */
+import { MCard } from '../../model/MCard';
+// ─────────────────────────────────────────────────────────────────────────────
+// Constructors (Smart Constructors)
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Create a variable term
+ */
+export function mkVar(name) {
+    return { tag: 'Var', name };
+}
+/**
+ * Create an abstraction term
+ */
+export function mkAbs(param, bodyHash) {
+    return { tag: 'Abs', param, body: bodyHash };
+}
+/**
+ * Create an application term
+ */
+export function mkApp(funcHash, argHash) {
+    return { tag: 'App', func: funcHash, arg: argHash };
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// MCard Serialization
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Serialize a Lambda term to MCard content (JSON string)
+ */
+export function serializeTerm(term) {
+    return JSON.stringify(term);
+}
+/**
+ * Deserialize MCard content to Lambda term
+ */
+export function deserializeTerm(content) {
+    const parsed = JSON.parse(content);
+    // Validate structure
+    if (!parsed.tag) {
+        throw new Error('Invalid Lambda term: missing tag');
+    }
+    switch (parsed.tag) {
+        case 'Var':
+            if (typeof parsed.name !== 'string') {
+                throw new Error('Invalid Var term: name must be string');
+            }
+            return mkVar(parsed.name);
+        case 'Abs':
+            if (typeof parsed.param !== 'string' || typeof parsed.body !== 'string') {
+                throw new Error('Invalid Abs term: param and body must be strings');
+            }
+            return mkAbs(parsed.param, parsed.body);
+        case 'App':
+            if (typeof parsed.func !== 'string' || typeof parsed.arg !== 'string') {
+                throw new Error('Invalid App term: func and arg must be strings');
+            }
+            return mkApp(parsed.func, parsed.arg);
+        default:
+            throw new Error(`Unknown Lambda term tag: ${parsed.tag}`);
+    }
+}
+/**
+ * Create an MCard from a Lambda term
+ */
+export async function termToMCard(term) {
+    return MCard.create(serializeTerm(term));
+}
+/**
+ * Extract Lambda term from MCard
+ */
+export function mcardToTerm(mcard) {
+    return deserializeTerm(mcard.getContentAsText());
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Collection Operations
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Store a Lambda term in the collection and return its hash
+ */
+export async function storeTerm(collection, term) {
+    const mcard = await termToMCard(term);
+    await collection.add(mcard);
+    return mcard.hash;
+}
+/**
+ * Retrieve a Lambda term from the collection by hash
+ */
+export async function loadTerm(collection, hash) {
+    const mcard = await collection.get(hash);
+    if (!mcard)
+        return null;
+    return mcardToTerm(mcard);
+}
+/**
+ * Check if a term exists in the collection
+ */
+export async function termExists(collection, hash) {
+    const mcard = await collection.get(hash);
+    return mcard !== null;
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Pretty Printing
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Pretty-print a Lambda term (shallow - shows hashes for subterms)
+ */
+export function prettyPrintShallow(term) {
+    switch (term.tag) {
+        case 'Var':
+            return term.name;
+        case 'Abs':
+            return `λ${term.param}.〈${term.body.substring(0, 8)}…〉`;
+        case 'App':
+            return `(〈${term.func.substring(0, 8)}…〉 〈${term.arg.substring(0, 8)}…〉)`;
+    }
+}
+/**
+ * Pretty-print a Lambda term (deep - resolves all subterms from collection)
+ */
+export async function prettyPrintDeep(collection, hash) {
+    const term = await loadTerm(collection, hash);
+    if (!term)
+        return `〈missing:${hash.substring(0, 8)}…〉`;
+    switch (term.tag) {
+        case 'Var':
+            return term.name;
+        case 'Abs':
+            const body = await prettyPrintDeep(collection, term.body);
+            return `(λ${term.param}.${body})`;
+        case 'App':
+            const func = await prettyPrintDeep(collection, term.func);
+            const arg = await prettyPrintDeep(collection, term.arg);
+            return `(${func} ${arg})`;
+    }
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Type Guards
+// ─────────────────────────────────────────────────────────────────────────────
+export function isVar(term) {
+    return term.tag === 'Var';
+}
+export function isAbs(term) {
+    return term.tag === 'Abs';
+}
+export function isApp(term) {
+    return term.tag === 'App';
+}
+//# sourceMappingURL=LambdaTerm.js.map

package/dist/ptr/lambda/LambdaTerm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LambdaTerm.js","sourceRoot":"","sources":["../../../src/ptr/lambda/LambdaTerm.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAwC1C,gFAAgF;AAChF,oCAAoC;AACpC,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,KAAK,CAAC,IAAY;IAC9B,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,KAAK,CAAC,KAAa,EAAE,QAAgB;IACjD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACjD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,KAAK,CAAC,QAAgB,EAAE,OAAe;IACnD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;AACxD,CAAC;AAED,gFAAgF;AAChF,sBAAsB;AACtB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,IAAgB;IAC1C,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,OAAe;IAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEnC,qBAAqB;IACrB,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACxD,CAAC;IAED,QAAQ,MAAM,CAAC,GAAG,EAAE,CAAC;QACjB,KAAK,KAAK;YACN,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAClC,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC7D,CAAC;YACD,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAE9B,KAAK,KAAK;YACN,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACtE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;YACxE,CAAC;YACD,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAE5C,KAAK,KAAK;YACN,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;gBACpE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;YACtE,CAAC;YACD,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;QAE1C;YACI,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IAClE,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAgB;IAC9C,OAAO,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,KAAY;IACpC,OAAO,eAAe,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,gFAAgF;AAChF,wBAAwB;AACxB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC3B,UAA0B,EAC1B,IAAgB;IAEhB,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC,IAAI,CAAC;AACtB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC1B,UAA0B,EAC1B,IAAY;IAEZ,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC5B,UAA0B,EAC1B,IAAY;IAEZ,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,KAAK,KAAK,IAAI,CAAC;AAC1B,CAAC;AAED,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAgB;IAC/C,QAAQ,IAAI,CAAC,GAAG,EAAE,CAAC;QACf,KAAK,KAAK;YACN,OAAO,IAAI,CAAC,IAAI,CAAC;QACrB,KAAK,KAAK;YACN,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QAC5D,KAAK,KAAK;YACN,OAAO,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC;IAClF,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACjC,UAA0B,EAC1B,IAAY;IAEZ,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;IAEvD,QAAQ,IAAI,CAAC,GAAG,EAAE,CAAC;QACf,KAAK,KAAK;YACN,OAAO,IAAI,CAAC,IAAI,CAAC;QAErB,KAAK,KAAK;YACN,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,OAAO,KAAK,IAAI,CAAC,KAAK,IAAI,IAAI,GAAG,CAAC;QAEtC,KAAK,KAAK;YACN,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YACxD,OAAO,IAAI,IAAI,IAAI,GAAG,GAAG,CAAC;IAClC,CAAC;AACL,CAAC;AAED,gFAAgF;AAChF,cAAc;AACd,gFAAgF;AAEhF,MAAM,UAAU,KAAK,CAAC,IAAgB;IAClC,OAAO,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,IAAgB;IAClC,OAAO,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,IAAgB;IAClC,OAAO,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC;AAC9B,CAAC"}

package/dist/ptr/lambda/index.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Lambda Calculus Module for PTR
+ *
+ * Implements α-β-η conversions on MCard-stored Lambda terms.
+ *
+ * This module provides:
+ * - LambdaTerm ADT: Var, Abs, App stored as MCard content
+ * - Alpha Conversion: Variable renaming
+ * - Beta Reduction: Function application
+ * - Eta Conversion: Extensional equivalence
+ * - LambdaRuntime: PTR-compatible runtime for CLM execution
+ *
+ * @module mcard-js/ptr/lambda
+ */
+export type { LambdaTerm, VarTerm, AbsTerm, AppTerm, } from './LambdaTerm';
+export { mkVar, mkAbs, mkApp, serializeTerm, deserializeTerm, termToMCard, mcardToTerm, storeTerm, loadTerm, termExists, prettyPrintShallow, prettyPrintDeep, isVar, isAbs, isApp } from './LambdaTerm';
+export { freeVariables, boundVariables, isFreeIn, isClosed, generateFresh, generateFreshFor, difference, intersection } from './FreeVariables';
+export { alphaRename, alphaEquivalent, alphaNormalize } from './AlphaConversion';
+export type { ReductionStrategy, NormalizationResult } from './BetaReduction';
+export { isRedex, findLeftmostRedex, findInnermostRedex, betaReduce, reduceStep, normalize, isNormalForm, hasNormalForm } from './BetaReduction';
+export { isEtaRedex, etaReduce, etaReduceE, etaExpand, etaEquivalent, etaNormalize, findEtaRedexes } from './EtaConversion';
+export type { LambdaOperation, LambdaConfig, LambdaRuntimeResult } from './LambdaRuntime';
+export { LambdaRuntime, parseLambdaExpression } from './LambdaRuntime';
+//# sourceMappingURL=index.d.ts.map

package/dist/ptr/lambda/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ptr/lambda/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,YAAY,EAER,UAAU,EACV,OAAO,EACP,OAAO,EACP,OAAO,GACV,MAAM,cAAc,CAAC;AAEtB,OAAO,EAEH,KAAK,EACL,KAAK,EACL,KAAK,EAGL,aAAa,EACb,eAAe,EACf,WAAW,EACX,WAAW,EAGX,SAAS,EACT,QAAQ,EACR,UAAU,EAGV,kBAAkB,EAClB,eAAe,EAGf,KAAK,EACL,KAAK,EACL,KAAK,EACR,MAAM,cAAc,CAAC;AAGtB,OAAO,EACH,aAAa,EACb,cAAc,EACd,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,gBAAgB,EAChB,UAAU,EACV,YAAY,EACf,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EACH,WAAW,EACX,eAAe,EACf,cAAc,EACjB,MAAM,mBAAmB,CAAC;AAG3B,YAAY,EACR,iBAAiB,EACjB,mBAAmB,EACtB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACH,OAAO,EACP,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,UAAU,EACV,SAAS,EACT,YAAY,EACZ,aAAa,EAChB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EACH,UAAU,EACV,SAAS,EACT,UAAU,EACV,SAAS,EACT,aAAa,EACb,YAAY,EACZ,cAAc,EACjB,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EACR,eAAe,EACf,YAAY,EACZ,mBAAmB,EACtB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACH,aAAa,EACb,qBAAqB,EACxB,MAAM,iBAAiB,CAAC"}

package/dist/ptr/lambda/index.js

@@ -0,0 +1,34 @@
+/**
+ * Lambda Calculus Module for PTR
+ *
+ * Implements α-β-η conversions on MCard-stored Lambda terms.
+ *
+ * This module provides:
+ * - LambdaTerm ADT: Var, Abs, App stored as MCard content
+ * - Alpha Conversion: Variable renaming
+ * - Beta Reduction: Function application
+ * - Eta Conversion: Extensional equivalence
+ * - LambdaRuntime: PTR-compatible runtime for CLM execution
+ *
+ * @module mcard-js/ptr/lambda
+ */
+export { 
+// Smart Constructors
+mkVar, mkAbs, mkApp, 
+// Serialization
+serializeTerm, deserializeTerm, termToMCard, mcardToTerm, 
+// Storage
+storeTerm, loadTerm, termExists, 
+// Pretty Printing
+prettyPrintShallow, prettyPrintDeep, 
+// Type Guards
+isVar, isAbs, isApp } from './LambdaTerm';
+// Free Variables
+export { freeVariables, boundVariables, isFreeIn, isClosed, generateFresh, generateFreshFor, difference, intersection } from './FreeVariables';
+// Alpha Conversion
+export { alphaRename, alphaEquivalent, alphaNormalize } from './AlphaConversion';
+export { isRedex, findLeftmostRedex, findInnermostRedex, betaReduce, reduceStep, normalize, isNormalForm, hasNormalForm } from './BetaReduction';
+// Eta Conversion
+export { isEtaRedex, etaReduce, etaReduceE, etaExpand, etaEquivalent, etaNormalize, findEtaRedexes } from './EtaConversion';
+export { LambdaRuntime, parseLambdaExpression } from './LambdaRuntime';
+//# sourceMappingURL=index.js.map

package/dist/ptr/lambda/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ptr/lambda/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAWH,OAAO;AACH,qBAAqB;AACrB,KAAK,EACL,KAAK,EACL,KAAK;AAEL,gBAAgB;AAChB,aAAa,EACb,eAAe,EACf,WAAW,EACX,WAAW;AAEX,UAAU;AACV,SAAS,EACT,QAAQ,EACR,UAAU;AAEV,kBAAkB;AAClB,kBAAkB,EAClB,eAAe;AAEf,cAAc;AACd,KAAK,EACL,KAAK,EACL,KAAK,EACR,MAAM,cAAc,CAAC;AAEtB,iBAAiB;AACjB,OAAO,EACH,aAAa,EACb,cAAc,EACd,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,gBAAgB,EAChB,UAAU,EACV,YAAY,EACf,MAAM,iBAAiB,CAAC;AAEzB,mBAAmB;AACnB,OAAO,EACH,WAAW,EACX,eAAe,EACf,cAAc,EACjB,MAAM,mBAAmB,CAAC;AAQ3B,OAAO,EACH,OAAO,EACP,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,UAAU,EACV,SAAS,EACT,YAAY,EACZ,aAAa,EAChB,MAAM,iBAAiB,CAAC;AAEzB,iBAAiB;AACjB,OAAO,EACH,UAAU,EACV,SAAS,EACT,UAAU,EACV,SAAS,EACT,aAAa,EACb,YAAY,EACZ,cAAc,EACjB,MAAM,iBAAiB,CAAC;AASzB,OAAO,EACH,aAAa,EACb,qBAAqB,EACxB,MAAM,iBAAiB,CAAC"}

package/dist/ptr/llm/Config.d.ts

@@ -0,0 +1,57 @@
+/**
+ * LLM Configuration Module
+ *
+ * Centralized configuration for LLM providers and execution parameters.
+ * Replicates mcard.ptr.core.llm.config
+ */
+export declare const DEFAULT_PROVIDER = "ollama";
+export interface ProviderConfig {
+    base_url: string;
+    api_path: string;
+    chat_path: string;
+    models_path: string | null;
+    default_model: string;
+    available_models: string[];
+}
+export declare const LLM_PROVIDERS: Record<string, ProviderConfig>;
+export declare const DEFAULT_LLM_CONFIG: {
+    temperature: number;
+    max_tokens: number;
+    top_p: number;
+    top_k: number;
+    timeout: number;
+    stream: boolean;
+    response_format: string;
+    retry_count: number;
+    retry_delay: number;
+};
+export type ResponseFormat = 'text' | 'json' | 'structured' | 'markdown';
+export declare const RESPONSE_FORMATS: ResponseFormat[];
+export declare class LLMConfig {
+    provider: string;
+    model: string | null;
+    endpoint_url: string | null;
+    api_key: string | null;
+    system_prompt: string;
+    assistant_instruction: string;
+    temperature: number;
+    max_tokens: number;
+    top_p: number;
+    top_k: number | null;
+    frequency_penalty: number;
+    presence_penalty: number;
+    stop_sequences: string[];
+    response_format: string;
+    json_schema: Record<string, any> | null;
+    timeout: number;
+    retry_count: number;
+    retry_delay: number;
+    stream: boolean;
+    constructor(data?: Partial<LLMConfig>);
+    validate(): void;
+    get effective_model(): string;
+    get effective_base_url(): string;
+    to_provider_params(): Record<string, any>;
+    static from_concrete(concrete: any, context?: any): LLMConfig;
+}
+//# sourceMappingURL=Config.d.ts.map

package/dist/ptr/llm/Config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Config.d.ts","sourceRoot":"","sources":["../../../src/ptr/llm/Config.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,eAAO,MAAM,gBAAgB,WAAW,CAAC;AAEzC,MAAM,WAAW,cAAc;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED,eAAO,MAAM,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAiDxD,CAAC;AAEF,eAAO,MAAM,kBAAkB;;;;;;;;;;CAU9B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,YAAY,GAAG,UAAU,CAAC;AACzE,eAAO,MAAM,gBAAgB,EAAE,cAAc,EAA+C,CAAC;AAE7F,qBAAa,SAAS;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAEvB,aAAa,EAAE,MAAM,CAAC;IACtB,qBAAqB,EAAE,MAAM,CAAC;IAE9B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IAEzB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC;IAExC,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,OAAO,CAAC;gBAEJ,IAAI,GAAE,OAAO,CAAC,SAAS,CAAM;IA4BzC,QAAQ;IASR,IAAI,eAAe,IAAI,MAAM,CAE5B;IAED,IAAI,kBAAkB,IAAI,MAAM,CAK/B;IAED,kBAAkB,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IA8BzC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE,OAAO,GAAE,GAAQ,GAAG,SAAS;CA2BpE"}

package/dist/ptr/llm/Config.js

@@ -0,0 +1,183 @@
+/**
+ * LLM Configuration Module
+ *
+ * Centralized configuration for LLM providers and execution parameters.
+ * Replicates mcard.ptr.core.llm.config
+ */
+export const DEFAULT_PROVIDER = 'ollama';
+export const LLM_PROVIDERS = {
+    'ollama': {
+        base_url: 'http://localhost:11434',
+        api_path: '/api/generate',
+        chat_path: '/api/chat',
+        models_path: '/api/tags',
+        default_model: 'gemma3:latest',
+        available_models: ['gemma3:latest', 'llama3:latest', 'qwen3:latest'],
+    },
+    'webllm': {
+        base_url: '', // running in-browser
+        api_path: '',
+        chat_path: '',
+        models_path: null,
+        default_model: 'Llama-3-8B-Instruct-q4f32_1-MLC',
+        available_models: ['Llama-3-8B-Instruct-q4f32_1-MLC', 'Hermes-2-Pro-Llama-3-8B-q4f16_1-MLC', 'Phi-3-Mini-4k-Instruct-q4f16_1-MLC'],
+    },
+    'mlc-llm': {
+        base_url: 'http://localhost:8000',
+        api_path: '/v1/completions',
+        chat_path: '/v1/chat/completions',
+        models_path: '/v1/models',
+        default_model: 'Llama-3-8B-Instruct-q4f16_1-MLC',
+        available_models: [],
+    },
+    'lmstudio': {
+        base_url: 'http://localhost:1234',
+        api_path: '/v1/completions',
+        chat_path: '/v1/chat/completions',
+        models_path: '/v1/models',
+        default_model: 'local-model',
+        available_models: [],
+    },
+    'openai': {
+        base_url: 'https://api.openai.com',
+        api_path: '/v1/completions',
+        chat_path: '/v1/chat/completions',
+        models_path: '/v1/models',
+        default_model: 'gpt-4',
+        available_models: ['gpt-4', 'gpt-4-turbo', 'gpt-3.5-turbo'],
+    },
+    'anthropic': {
+        base_url: 'https://api.anthropic.com',
+        api_path: '/v1/messages',
+        chat_path: '/v1/messages',
+        models_path: null,
+        default_model: 'claude-3-sonnet-20240229',
+        available_models: ['claude-3-opus', 'claude-3-sonnet', 'claude-3-haiku'],
+    },
+};
+export const DEFAULT_LLM_CONFIG = {
+    temperature: 0.7,
+    max_tokens: 2048,
+    top_p: 1.0,
+    top_k: 40,
+    timeout: 120,
+    stream: false,
+    response_format: 'text',
+    retry_count: 3,
+    retry_delay: 1.0,
+};
+export const RESPONSE_FORMATS = ['text', 'json', 'structured', 'markdown'];
+export class LLMConfig {
+    provider;
+    model;
+    endpoint_url;
+    api_key;
+    system_prompt;
+    assistant_instruction;
+    temperature;
+    max_tokens;
+    top_p;
+    top_k;
+    frequency_penalty;
+    presence_penalty;
+    stop_sequences;
+    response_format;
+    json_schema;
+    timeout;
+    retry_count;
+    retry_delay;
+    stream;
+    constructor(data = {}) {
+        this.provider = data.provider || DEFAULT_PROVIDER;
+        this.model = data.model || null;
+        this.endpoint_url = data.endpoint_url || null;
+        this.api_key = data.api_key || null;
+        this.system_prompt = data.system_prompt || "";
+        this.assistant_instruction = data.assistant_instruction || "";
+        this.temperature = data.temperature ?? DEFAULT_LLM_CONFIG.temperature;
+        this.max_tokens = data.max_tokens ?? DEFAULT_LLM_CONFIG.max_tokens;
+        this.top_p = data.top_p ?? DEFAULT_LLM_CONFIG.top_p;
+        this.top_k = data.top_k ?? DEFAULT_LLM_CONFIG.top_k;
+        this.frequency_penalty = data.frequency_penalty || 0.0;
+        this.presence_penalty = data.presence_penalty || 0.0;
+        this.stop_sequences = data.stop_sequences || [];
+        this.response_format = data.response_format || DEFAULT_LLM_CONFIG.response_format;
+        this.json_schema = data.json_schema || null;
+        this.timeout = data.timeout ?? DEFAULT_LLM_CONFIG.timeout;
+        this.retry_count = data.retry_count ?? DEFAULT_LLM_CONFIG.retry_count;
+        this.retry_delay = data.retry_delay ?? DEFAULT_LLM_CONFIG.retry_delay;
+        this.stream = data.stream ?? DEFAULT_LLM_CONFIG.stream;
+        this.validate();
+    }
+    validate() {
+        if (!LLM_PROVIDERS[this.provider]) {
+            throw new Error(`Unknown provider: ${this.provider}. Available: ${Object.keys(LLM_PROVIDERS).join(', ')}`);
+        }
+        if (!RESPONSE_FORMATS.includes(this.response_format)) {
+            throw new Error(`Unknown response format: ${this.response_format}. Available: ${RESPONSE_FORMATS.join(', ')}`);
+        }
+    }
+    get effective_model() {
+        return this.model || LLM_PROVIDERS[this.provider].default_model;
+    }
+    get effective_base_url() {
+        if (this.endpoint_url) {
+            return this.endpoint_url.replace(/\/$/, '');
+        }
+        return LLM_PROVIDERS[this.provider].base_url;
+    }
+    to_provider_params() {
+        const params = {
+            model: this.effective_model,
+            temperature: this.temperature,
+        };
+        if (this.provider === 'ollama') {
+            params.options = {
+                num_predict: this.max_tokens,
+                top_p: this.top_p,
+                top_k: this.top_k,
+                temperature: this.temperature,
+            };
+            if (this.stop_sequences.length > 0) {
+                params.options.stop = this.stop_sequences;
+            }
+        }
+        else {
+            // OpenAI compatible
+            params.max_tokens = this.max_tokens;
+            params.top_p = this.top_p;
+            if (this.stop_sequences.length > 0) {
+                params.stop = this.stop_sequences;
+            }
+            if (this.frequency_penalty)
+                params.frequency_penalty = this.frequency_penalty;
+            if (this.presence_penalty)
+                params.presence_penalty = this.presence_penalty;
+        }
+        return params;
+    }
+    static from_concrete(concrete, context = {}) {
+        // Start with defaults from concrete's llm_config
+        const configData = { ...(concrete.llm_config || {}) };
+        // Override with top-level concrete fields
+        ['provider', 'model', 'system_prompt', 'temperature', 'max_tokens'].forEach(key => {
+            if (key in concrete) {
+                configData[key] = concrete[key];
+            }
+        });
+        // Override with context
+        const contextKeys = [
+            'provider', 'model', 'endpoint_url', 'api_key',
+            'system_prompt', 'assistant_instruction',
+            'temperature', 'max_tokens', 'top_p', 'top_k',
+            'response_format', 'timeout'
+        ];
+        contextKeys.forEach(key => {
+            if (key in context) {
+                configData[key] = context[key];
+            }
+        });
+        return new LLMConfig(configData);
+    }
+}
+//# sourceMappingURL=Config.js.map

package/dist/ptr/llm/Config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Config.js","sourceRoot":"","sources":["../../../src/ptr/llm/Config.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,QAAQ,CAAC;AAWzC,MAAM,CAAC,MAAM,aAAa,GAAmC;IACzD,QAAQ,EAAE;QACN,QAAQ,EAAE,wBAAwB;QAClC,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,WAAW;QACtB,WAAW,EAAE,WAAW;QACxB,aAAa,EAAE,eAAe;QAC9B,gBAAgB,EAAE,CAAC,eAAe,EAAE,eAAe,EAAE,cAAc,CAAC;KACvE;IACD,QAAQ,EAAE;QACN,QAAQ,EAAE,EAAE,EAAE,qBAAqB;QACnC,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,IAAI;QACjB,aAAa,EAAE,iCAAiC;QAChD,gBAAgB,EAAE,CAAC,iCAAiC,EAAE,qCAAqC,EAAE,oCAAoC,CAAC;KACrI;IACD,SAAS,EAAE;QACP,QAAQ,EAAE,uBAAuB;QACjC,QAAQ,EAAE,iBAAiB;QAC3B,SAAS,EAAE,sBAAsB;QACjC,WAAW,EAAE,YAAY;QACzB,aAAa,EAAE,iCAAiC;QAChD,gBAAgB,EAAE,EAAE;KACvB;IACD,UAAU,EAAE;QACR,QAAQ,EAAE,uBAAuB;QACjC,QAAQ,EAAE,iBAAiB;QAC3B,SAAS,EAAE,sBAAsB;QACjC,WAAW,EAAE,YAAY;QACzB,aAAa,EAAE,aAAa;QAC5B,gBAAgB,EAAE,EAAE;KACvB;IACD,QAAQ,EAAE;QACN,QAAQ,EAAE,wBAAwB;QAClC,QAAQ,EAAE,iBAAiB;QAC3B,SAAS,EAAE,sBAAsB;QACjC,WAAW,EAAE,YAAY;QACzB,aAAa,EAAE,OAAO;QACtB,gBAAgB,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,CAAC;KAC9D;IACD,WAAW,EAAE;QACT,QAAQ,EAAE,2BAA2B;QACrC,QAAQ,EAAE,cAAc;QACxB,SAAS,EAAE,cAAc;QACzB,WAAW,EAAE,IAAI;QACjB,aAAa,EAAE,0BAA0B;QACzC,gBAAgB,EAAE,CAAC,eAAe,EAAE,iBAAiB,EAAE,gBAAgB,CAAC;KAC3E;CACJ,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAC9B,WAAW,EAAE,GAAG;IAChB,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE,GAAG;IACV,KAAK,EAAE,EAAE;IACT,OAAO,EAAE,GAAG;IACZ,MAAM,EAAE,KAAK;IACb,eAAe,EAAE,MAAM;IACvB,WAAW,EAAE,CAAC;IACd,WAAW,EAAE,GAAG;CACnB,CAAC;AAGF,MAAM,CAAC,MAAM,gBAAgB,GAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;AAE7F,MAAM,OAAO,SAAS;IAClB,QAAQ,CAAS;IACjB,KAAK,CAAgB;IACrB,YAAY,CAAgB;IAC5B,OAAO,CAAgB;IAEvB,aAAa,CAAS;IACtB,qBAAqB,CAAS;IAE9B,WAAW,CAAS;IACpB,UAAU,CAAS;IACnB,KAAK,CAAS;IACd,KAAK,CAAgB;IACrB,iBAAiB,CAAS;IAC1B,gBAAgB,CAAS;IACzB,cAAc,CAAW;IAEzB,eAAe,CAAS;IACxB,WAAW,CAA6B;IAExC,OAAO,CAAS;IAChB,WAAW,CAAS;IACpB,WAAW,CAAS;IACpB,MAAM,CAAU;IAEhB,YAAY,OAA2B,EAAE;QACrC,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,gBAAgB,CAAC;QAClD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC;QAChC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC;QAC9C,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC;QAEpC,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC;QAC9C,IAAI,CAAC,qBAAqB,GAAG,IAAI,CAAC,qBAAqB,IAAI,EAAE,CAAC;QAE9D,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,kBAAkB,CAAC,WAAW,CAAC;QACtE,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,kBAAkB,CAAC,UAAU,CAAC;QACnE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,kBAAkB,CAAC,KAAK,CAAC;QACpD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,kBAAkB,CAAC,KAAK,CAAC;QACpD,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,IAAI,GAAG,CAAC;QACvD,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,IAAI,GAAG,CAAC;QACrD,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC;QAEhD,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,eAAe,IAAI,kBAAkB,CAAC,eAAe,CAAC;QAClF,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC;QAE5C,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,kBAAkB,CAAC,OAAO,CAAC;QAC1D,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,kBAAkB,CAAC,WAAW,CAAC;QACtE,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,kBAAkB,CAAC,WAAW,CAAC;QACtE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,kBAAkB,CAAC,MAAM,CAAC;QAEvD,IAAI,CAAC,QAAQ,EAAE,CAAC;IACpB,CAAC;IAED,QAAQ;QACJ,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,CAAC,QAAQ,gBAAgB,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAiC,CAAC,EAAE,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,CAAC,eAAe,gBAAgB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnH,CAAC;IACL,CAAC;IAED,IAAI,eAAe;QACf,OAAO,IAAI,CAAC,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC;IACpE,CAAC;IAED,IAAI,kBAAkB;QAClB,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,OAAO,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC;IACjD,CAAC;IAED,kBAAkB;QACd,MAAM,MAAM,GAAwB;YAChC,KAAK,EAAE,IAAI,CAAC,eAAe;YAC3B,WAAW,EAAE,IAAI,CAAC,WAAW;SAChC,CAAC;QAEF,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC7B,MAAM,CAAC,OAAO,GAAG;gBACb,WAAW,EAAE,IAAI,CAAC,UAAU;gBAC5B,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,WAAW,EAAE,IAAI,CAAC,WAAW;aAChC,CAAC;YACF,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,MAAM,CAAC,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC;YAC9C,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,oBAAoB;YACpB,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;YACpC,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YAC1B,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC;YACtC,CAAC;YACD,IAAI,IAAI,CAAC,iBAAiB;gBAAE,MAAM,CAAC,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;YAC9E,IAAI,IAAI,CAAC,gBAAgB;gBAAE,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;QAC/E,CAAC;QAED,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,QAAa,EAAE,UAAe,EAAE;QACjD,iDAAiD;QACjD,MAAM,UAAU,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;QAEtD,0CAA0C;QAC1C,CAAC,UAAU,EAAE,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YAC9E,IAAI,GAAG,IAAI,QAAQ,EAAE,CAAC;gBAClB,UAAU,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;YACpC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,wBAAwB;QACxB,MAAM,WAAW,GAAG;YAChB,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS;YAC9C,eAAe,EAAE,uBAAuB;YACxC,aAAa,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO;YAC7C,iBAAiB,EAAE,SAAS;SAC/B,CAAC;QAEF,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACtB,IAAI,GAAG,IAAI,OAAO,EAAE,CAAC;gBACjB,UAAU,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YACnC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,IAAI,SAAS,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;CACJ"}

package/dist/ptr/llm/LLMRuntime.d.ts

@@ -0,0 +1,35 @@
+/**
+ * LLM Runtime Module
+ *
+ * Provides LLMRuntime for executing LLM prompts as part of the PTR polyglot runtime system.
+ * Replicates mcard.ptr.core.llm.runtime.LLMRuntime
+ */
+import { Runtime } from '../node/RuntimeInterface.js';
+import { LLMConfig } from './Config.js';
+import { LLMProvider } from './providers/LLMProvider.js';
+import { IO } from '../../monads/IO.js';
+import { Either } from '../../monads/Either.js';
+export declare function get_provider(provider_name?: string, base_url?: string | null, timeout?: number): LLMProvider;
+export declare class LLMRuntime implements Runtime {
+    provider_name: string;
+    private _provider;
+    constructor(provider_name?: string);
+    get provider(): LLMProvider;
+    execute(codeOrPath: string, context: unknown, config: any, chapterDir: string): Promise<unknown>;
+    private _execute_completion;
+    private _execute_chat;
+    private _format_response;
+}
+/**
+ * Create a monadic LLM completion execution.
+ *
+ * Returns IO<Either<string, any>> for functional composition.
+ */
+export declare function promptMonad(prompt: string, config?: Partial<LLMConfig>): IO<Either<string, any>>;
+/**
+ * Create a monadic LLM chat execution.
+ *
+ * Returns IO<Either<string, any>> for functional composition.
+ */
+export declare function chatMonad(messages?: any[] | null, prompt?: string | null, system_prompt?: string, config?: Partial<LLMConfig>): IO<Either<string, any>>;
+//# sourceMappingURL=LLMRuntime.d.ts.map

package/dist/ptr/llm/LLMRuntime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LLMRuntime.d.ts","sourceRoot":"","sources":["../../../src/ptr/llm/LLMRuntime.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AACtD,OAAO,EAAE,SAAS,EAAoB,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAIzD,OAAO,EAAE,EAAE,EAAE,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAEhD,wBAAgB,YAAY,CACxB,aAAa,GAAE,MAAyB,EACxC,QAAQ,GAAE,MAAM,GAAG,IAAW,EAC9B,OAAO,GAAE,MAAY,GACtB,WAAW,CAYb;AAED,qBAAa,UAAW,YAAW,OAAO;IACtC,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,SAAS,CAA4B;gBAEjC,aAAa,GAAE,MAAyB;IAIpD,IAAI,QAAQ,IAAI,WAAW,CAK1B;IAEK,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;YA8CxF,mBAAmB;YAKnB,aAAa;IAiB3B,OAAO,CAAC,gBAAgB;CAsB3B;AAMD;;;;GAIG;AACH,wBAAgB,WAAW,CACvB,MAAM,EAAE,MAAM,EACd,MAAM,GAAE,OAAO,CAAC,SAAS,CAAM,GAChC,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAkBzB;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CACrB,QAAQ,GAAE,GAAG,EAAE,GAAG,IAAW,EAC7B,MAAM,GAAE,MAAM,GAAG,IAAW,EAC5B,aAAa,GAAE,MAAW,EAC1B,MAAM,GAAE,OAAO,CAAC,SAAS,CAAM,GAChC,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAgCzB"}