mcard-js 2.1.5 → 2.1.7

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/README.md CHANGED
@@ -607,8 +607,8 @@ To run integration tests against a live Ollama instance:
607
607
  npx vitest tests/rag/Integration.test.ts
608
608
  ```
609
609
 
610
- ## Version 2.1.2 Release Notes (December 2025)
611
- > Python Parity Update
610
+ ## Version 2.1.7 Release Notes (December 2025)
611
+ > CLM Test Infrastructure & Runtime Fixes
612
612
 
613
613
  ### 🚀 New Features
614
614
  * **Multi-Runtime Consensus**: Execute CLMs across Python, JS, Rust, C, WASM, Lean with automatic consensus verification.
@@ -654,6 +654,14 @@ To run integration tests against a live Ollama instance:
654
654
  ```
655
655
 
656
656
 
657
+ ### 🛠️ CLM Execution Fixes (December 2025)
658
+ * **JavaScript Runtime Variable**: Changed all CLMs from `runtime: node` to `runtime: javascript` and updated inline code to use `target` instead of `input`.
659
+ * **Input Context Preservation**: `CLMLoader` now passes `__input_content__` to preserve original `given` values in merged `when` blocks.
660
+ * **Lambda Parser Fix**: Fixed beta reduction parser to correctly handle parenthesized expressions before splitting for application.
661
+ * **Orchestrator Filter Fix**: `run_clm_background` now strips file extensions from filter for proper CLM matching.
662
+ * **Floating-Point Tolerance**: Added 1e-6 tolerance for numeric comparisons in test result verification.
663
+ * **Execution Timing**: Added millisecond timing logs to `run-all-clms.ts` for performance profiling.
664
+
657
665
  ### 🛠️ Polyglot Runtime Fixes
658
666
  * **ESM Compatibility**: Fixed `ReferenceError: require is not defined` in `SqliteNodeEngine` and `schema.ts`.
659
667
  * **Double-Encoding Fix**: Resolved input context double-JSON-encoding.
@@ -1 +1 @@
1
- {"version":3,"file":"LambdaRuntime.d.ts","sourceRoot":"","sources":["../../../src/ptr/lambda/LambdaRuntime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAW5D,OAAO,EAMH,iBAAiB,EAEpB,MAAM,iBAAiB,CAAC;AA4BzB,MAAM,MAAM,eAAe,GACrB,OAAO,GACP,MAAM,GACN,YAAY,GACZ,YAAY,GACZ,WAAW,GACX,MAAM,GACN,aAAa,GACb,WAAW,GACX,YAAY,GACZ,UAAU,GACV,WAAW,GACX,WAAW,GACX,WAAW,GACX,OAAO,GACP,QAAQ,GACR,OAAO,CACR;AAEL,MAAM,WAAW,YAAY;IACzB,SAAS,EAAE,eAAe,CAAC;IAC3B,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAMD;;;;GAIG;AACH,qBAAa,aAAc,YAAW,OAAO;IACzC,OAAO,CAAC,UAAU,CAAiB;gBAEvB,UAAU,EAAE,cAAc;IAItC;;;;;;;OAOG;IACG,OAAO,CACT,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,GAAG,EACX,UAAU,EAAE,MAAM,GACnB,OAAO,CAAC,mBAAmB,CAAC;YA2EjB,aAAa;YAyBb,YAAY;YAgBZ,WAAW;YAgBX,WAAW;YAkBX,WAAW;YA4BX,MAAM;YA0BN,YAAY;YAsBZ,UAAU;YAkBV,gBAAgB;YAgBhB,cAAc;YAYd,UAAU;YAaV,UAAU;YASV,UAAU;YASV,OAAO;YAwBP,QAAQ;YAUR,OAAO;CAgBxB;AAMD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,qBAAqB,CACvC,UAAU,EAAE,cAAc,EAC1B,UAAU,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,CAAC,CAiFjB"}
1
+ {"version":3,"file":"LambdaRuntime.d.ts","sourceRoot":"","sources":["../../../src/ptr/lambda/LambdaRuntime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAW5D,OAAO,EAMH,iBAAiB,EAEpB,MAAM,iBAAiB,CAAC;AA4BzB,MAAM,MAAM,eAAe,GACrB,OAAO,GACP,MAAM,GACN,YAAY,GACZ,YAAY,GACZ,WAAW,GACX,MAAM,GACN,aAAa,GACb,WAAW,GACX,YAAY,GACZ,UAAU,GACV,WAAW,GACX,WAAW,GACX,WAAW,GACX,OAAO,GACP,QAAQ,GACR,OAAO,CACR;AAEL,MAAM,WAAW,YAAY;IACzB,SAAS,EAAE,eAAe,CAAC;IAC3B,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAMD;;;;GAIG;AACH,qBAAa,aAAc,YAAW,OAAO;IACzC,OAAO,CAAC,UAAU,CAAiB;gBAEvB,UAAU,EAAE,cAAc;IAItC;;;;;;;OAOG;IACG,OAAO,CACT,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,GAAG,EACX,UAAU,EAAE,MAAM,GACnB,OAAO,CAAC,mBAAmB,CAAC;YA2FjB,aAAa;YAyBb,YAAY;YAgBZ,WAAW;YAgBX,WAAW;YAkBX,WAAW;YA4BX,MAAM;YA0BN,YAAY;YAsBZ,UAAU;YAkBV,gBAAgB;YAgBhB,cAAc;YAYd,UAAU;YAaV,UAAU;YASV,UAAU;YASV,OAAO;YAwBP,QAAQ;YAUR,OAAO;CAgBxB;AAMD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,qBAAqB,CACvC,UAAU,EAAE,cAAc,EAC1B,UAAU,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,CAAC,CAiFjB"}
@@ -37,11 +37,27 @@ export class LambdaRuntime {
37
37
  * @param chapterDir - Chapter directory (used for relative paths if needed)
38
38
  */
39
39
  async execute(codeOrPath, context, config, chapterDir) {
40
- const termHash = codeOrPath;
40
+ let termHash = codeOrPath;
41
41
  const lambdaConfig = config;
42
42
  const ctx = (context && typeof context === 'object')
43
43
  ? context
44
44
  : {};
45
+ // Auto-parse expression if provided directly
46
+ if (termHash && (termHash.includes('\\') || termHash.includes('λ') || termHash.includes(' ') || termHash.includes('('))) {
47
+ try {
48
+ // If it looks like an expression, parse it first
49
+ // usage of static function at bottom of file
50
+ termHash = await parseLambdaExpression(this.collection, termHash);
51
+ }
52
+ catch (e) {
53
+ // Determine if we should fail or treat as hash?
54
+ // Hashes don't have spaces or parens, so failure here is likely real error
55
+ return {
56
+ success: false,
57
+ error: `Failed to parse input expression: ${e instanceof Error ? e.message : String(e)}`
58
+ };
59
+ }
60
+ }
45
61
  try {
46
62
  switch (lambdaConfig.operation) {
47
63
  case 'alpha':
@@ -1 +1 @@
1
- {"version":3,"file":"LambdaRuntime.js","sourceRoot":"","sources":["../../../src/ptr/lambda/LambdaRuntime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAQH,qBAAqB;AACrB,OAAO,EACH,WAAW,EACX,eAAe,EACf,cAAc,EACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACH,UAAU,EACV,SAAS,EACT,UAAU,EAEV,YAAY,EAGf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACH,SAAS,EACT,SAAS,EACT,YAAY,EACZ,aAAa,EAChB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACH,aAAa,EAEb,QAAQ,EACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAGH,SAAS,EAGT,KAAK,EACL,KAAK,EACL,KAAK,EACL,eAAe,EAClB,MAAM,cAAc,CAAC;AA0CtB,gFAAgF;AAChF,uBAAuB;AACvB,gFAAgF;AAEhF;;;;GAIG;AACH,MAAM,OAAO,aAAa;IACd,UAAU,CAAiB;IAEnC,YAAY,UAA0B;QAClC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IACjC,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO,CACT,UAAkB,EAClB,OAAgB,EAChB,MAAW,EACX,UAAkB;QAElB,MAAM,QAAQ,GAAG,UAAU,CAAC;QAC5B,MAAM,YAAY,GAAG,MAAsB,CAAC;QAC5C,MAAM,GAAG,GAAG,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,CAAC;YAChD,CAAC,CAAC,OAAkC;YACpC,CAAC,CAAC,EAAE,CAAC;QAET,IAAI,CAAC;YACD,QAAQ,YAAY,CAAC,SAAS,EAAE,CAAC;gBAC7B,KAAK,OAAO;oBACR,OAAO,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAE3D,KAAK,MAAM;oBACP,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;gBAEvC,KAAK,YAAY;oBACb,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;gBAEtC,KAAK,YAAY;oBACb,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAEzD,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;gBAEpD,KAAK,MAAM;oBACP,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;gBAE/C,KAAK,aAAa;oBACd,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAE1D,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAExD,KAAK,YAAY;oBACb,OAAO,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;gBAE3C,KAAK,UAAU;oBACX,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;gBAEzC,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAErC,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAErC,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAErC,KAAK,OAAO;oBACR,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAE7B,KAAK,QAAQ;oBACT,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAEnC,KAAK,OAAO;oBACR,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAE7B;oBACI,OAAO;wBACH,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,6BAA6B,YAAY,CAAC,SAAS,EAAE;qBAC/D,CAAC;YACV,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,OAAO;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;aAC1D,CAAC;QACN,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,4BAA4B;IAC5B,4EAA4E;IAEpE,KAAK,CAAC,aAAa,CACvB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,GAAG,CAAC,OAAiB,CAAC;QACxD,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,yCAAyC,EAAE,CAAC;QAChF,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC;QAE3E,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,YAAY,CAAC,QAAgB;QACvC,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEjE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,QAAgB;QACtC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEhE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;QACvD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,WAAW,CACrB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAkB,IAAI,GAAG,CAAC;QAElE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAC1E,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAE9D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,MAAM;YAChB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,WAAW,CACrB,QAAgB,EAChB,MAAoB;QAEpB,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC;QAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC;QAEzC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEpF,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;QAE7E,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE;gBACJ,UAAU,EAAE,UAAU,CAAC,UAAU;gBACjC,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,aAAa,EAAE,UAAU,CAAC,aAAa;aAC1C;YACD,QAAQ,EAAE,UAAU,CAAC,UAAU;YAC/B,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,MAAM,CAChB,QAAgB,EAChB,MAAoB;QAEpB,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC;QAE7C,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAE3E,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO;gBACH,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE;gBAC/B,QAAQ,EAAE,QAAQ;gBAClB,WAAW,EAAE,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC;aAChE,CAAC;QACN,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,YAAY,CACtB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,GAAG,CAAC,WAAqB,CAAC;QACpE,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,wDAAwD,EAAE,CAAC;QAC/F,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;QAEnF,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,KAAK,EAAE;SACvC,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CACpB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,GAAG,CAAC,WAAqB,CAAC;QACpE,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,sDAAsD,EAAE,CAAC;QAC7F,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;QAEjF,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE;SACjC,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,gBAAgB,CAAC,QAAgB;QAC3C,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAErE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,cAAc,CAAC,QAAgB;QACzC,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QACnE,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAE9D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,MAAM;YAChB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEpE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,mBAAmB,QAAQ,EAAE,EAAE,CAAC;QACpE,CAAC;QAED,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SACtD,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAE/D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;SAC7B,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEnE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE;SACjC,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,OAAO,CAAC,GAA4B;QAC9C,MAAM,UAAU,GAAG,GAAG,CAAC,UAAoB,CAAC;QAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,qCAAqC,EAAE,CAAC;QAC5E,CAAC;QAED,IAAI,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAE5D,OAAO;gBACH,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,MAAM;aACtB,CAAC;QACN,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,OAAO;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,gBAAgB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;aAC5E,CAAC;QACN,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,QAAQ,CAAC,QAAgB;QACnC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAEhE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM;YACd,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,OAAO,CAAC,GAA4B;QAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAkB,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,mCAAmC,EAAE,CAAC;QAC1E,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAE5D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;CACJ;AAED,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACvC,UAA0B,EAC1B,UAAkB;IAElB,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IACpC,IAAI,GAAG,GAAG,CAAC,CAAC;IAEZ,SAAS,IAAI;QACT,OAAO,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,CAAC;IAED,SAAS,OAAO;QACZ,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC1E,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACzB,CAAC;IAED,SAAS,MAAM,CAAC,KAAa;QACzB,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC;QACzB,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,aAAa,KAAK,WAAW,MAAM,GAAG,CAAC,CAAC;QAC5D,CAAC;IACL,CAAC;IAED,KAAK,UAAU,SAAS;QACpB,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,OAAO,IAAI,EAAE,IAAI,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,EAAE,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACxC,CAAC;QAED,iDAAiD;QACjD,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,GAAG,MAAM,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC;QAED,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,KAAK,UAAU,SAAS;QACpB,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC;QAErB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClC,OAAO,gBAAgB,EAAE,CAAC;QAC9B,CAAC;QAED,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC,CAAC,IAAI;YACf,MAAM,IAAI,GAAG,MAAM,SAAS,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,CAAC;YACZ,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,WAAW;QACX,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,EAAE,CAAC,CAAC;QACtD,CAAC;QAED,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,UAAU,gBAAgB;QAC3B,OAAO,EAAE,CAAC,CAAC,SAAS;QACpB,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;QAExB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAC;QACxD,CAAC;QAED,MAAM,CAAC,GAAG,CAAC,CAAC;QAEZ,MAAM,IAAI,GAAG,MAAM,SAAS,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/B,OAAO,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,SAAS,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,QAAQ,CAAC,UAAkB;IAChC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAEzB,kBAAkB;QAClB,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAChB,CAAC,EAAE,CAAC;YACJ,SAAS;QACb,CAAC;QAED,0BAA0B;QAC1B,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChB,CAAC,EAAE,CAAC;YACJ,SAAS;QACb,CAAC;QAED,cAAc;QACd,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClE,IAAI,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5B,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,SAAS;QACb,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC"}
1
+ {"version":3,"file":"LambdaRuntime.js","sourceRoot":"","sources":["../../../src/ptr/lambda/LambdaRuntime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAQH,qBAAqB;AACrB,OAAO,EACH,WAAW,EACX,eAAe,EACf,cAAc,EACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACH,UAAU,EACV,SAAS,EACT,UAAU,EAEV,YAAY,EAGf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACH,SAAS,EACT,SAAS,EACT,YAAY,EACZ,aAAa,EAChB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACH,aAAa,EAEb,QAAQ,EACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAGH,SAAS,EAGT,KAAK,EACL,KAAK,EACL,KAAK,EACL,eAAe,EAClB,MAAM,cAAc,CAAC;AA0CtB,gFAAgF;AAChF,uBAAuB;AACvB,gFAAgF;AAEhF;;;;GAIG;AACH,MAAM,OAAO,aAAa;IACd,UAAU,CAAiB;IAEnC,YAAY,UAA0B;QAClC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IACjC,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO,CACT,UAAkB,EAClB,OAAgB,EAChB,MAAW,EACX,UAAkB;QAElB,IAAI,QAAQ,GAAG,UAAU,CAAC;QAC1B,MAAM,YAAY,GAAG,MAAsB,CAAC;QAC5C,MAAM,GAAG,GAAG,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,CAAC;YAChD,CAAC,CAAC,OAAkC;YACpC,CAAC,CAAC,EAAE,CAAC;QAET,6CAA6C;QAC7C,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACtH,IAAI,CAAC;gBACD,iDAAiD;gBACjD,6CAA6C;gBAC7C,QAAQ,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YACtE,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACT,gDAAgD;gBAChD,2EAA2E;gBAC3E,OAAO;oBACH,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,qCAAqC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;iBAC3F,CAAC;YACN,CAAC;QACL,CAAC;QAED,IAAI,CAAC;YACD,QAAQ,YAAY,CAAC,SAAS,EAAE,CAAC;gBAC7B,KAAK,OAAO;oBACR,OAAO,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAE3D,KAAK,MAAM;oBACP,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;gBAEvC,KAAK,YAAY;oBACb,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;gBAEtC,KAAK,YAAY;oBACb,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAEzD,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;gBAEpD,KAAK,MAAM;oBACP,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;gBAE/C,KAAK,aAAa;oBACd,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAE1D,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAExD,KAAK,YAAY;oBACb,OAAO,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;gBAE3C,KAAK,UAAU;oBACX,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;gBAEzC,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAErC,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAErC,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAErC,KAAK,OAAO;oBACR,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAE7B,KAAK,QAAQ;oBACT,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAEnC,KAAK,OAAO;oBACR,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAE7B;oBACI,OAAO;wBACH,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,6BAA6B,YAAY,CAAC,SAAS,EAAE;qBAC/D,CAAC;YACV,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,OAAO;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;aAC1D,CAAC;QACN,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,4BAA4B;IAC5B,4EAA4E;IAEpE,KAAK,CAAC,aAAa,CACvB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,GAAG,CAAC,OAAiB,CAAC;QACxD,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,yCAAyC,EAAE,CAAC;QAChF,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC;QAE3E,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,YAAY,CAAC,QAAgB;QACvC,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEjE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,QAAgB;QACtC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEhE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;QACvD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,WAAW,CACrB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAkB,IAAI,GAAG,CAAC;QAElE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAC1E,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAE9D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,MAAM;YAChB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,WAAW,CACrB,QAAgB,EAChB,MAAoB;QAEpB,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC;QAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC;QAEzC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEpF,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;QAE7E,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE;gBACJ,UAAU,EAAE,UAAU,CAAC,UAAU;gBACjC,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,aAAa,EAAE,UAAU,CAAC,aAAa;aAC1C;YACD,QAAQ,EAAE,UAAU,CAAC,UAAU;YAC/B,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,MAAM,CAChB,QAAgB,EAChB,MAAoB;QAEpB,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC;QAE7C,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAE3E,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO;gBACH,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE;gBAC/B,QAAQ,EAAE,QAAQ;gBAClB,WAAW,EAAE,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC;aAChE,CAAC;QACN,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,YAAY,CACtB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,GAAG,CAAC,WAAqB,CAAC;QACpE,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,wDAAwD,EAAE,CAAC;QAC/F,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;QAEnF,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,KAAK,EAAE;SACvC,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CACpB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,GAAG,CAAC,WAAqB,CAAC;QACpE,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,sDAAsD,EAAE,CAAC;QAC7F,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;QAEjF,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE;SACjC,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,gBAAgB,CAAC,QAAgB;QAC3C,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAErE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,cAAc,CAAC,QAAgB;QACzC,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QACnE,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAE9D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,MAAM;YAChB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEpE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,mBAAmB,QAAQ,EAAE,EAAE,CAAC;QACpE,CAAC;QAED,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SACtD,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAE/D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;SAC7B,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEnE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE;SACjC,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,OAAO,CAAC,GAA4B;QAC9C,MAAM,UAAU,GAAG,GAAG,CAAC,UAAoB,CAAC;QAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,qCAAqC,EAAE,CAAC;QAC5E,CAAC;QAED,IAAI,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAE5D,OAAO;gBACH,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,MAAM;aACtB,CAAC;QACN,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,OAAO;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,gBAAgB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;aAC5E,CAAC;QACN,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,QAAQ,CAAC,QAAgB;QACnC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAEhE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM;YACd,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,OAAO,CAAC,GAA4B;QAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAkB,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,mCAAmC,EAAE,CAAC;QAC1E,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAE5D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;CACJ;AAED,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACvC,UAA0B,EAC1B,UAAkB;IAElB,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IACpC,IAAI,GAAG,GAAG,CAAC,CAAC;IAEZ,SAAS,IAAI;QACT,OAAO,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,CAAC;IAED,SAAS,OAAO;QACZ,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC1E,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACzB,CAAC;IAED,SAAS,MAAM,CAAC,KAAa;QACzB,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC;QACzB,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,aAAa,KAAK,WAAW,MAAM,GAAG,CAAC,CAAC;QAC5D,CAAC;IACL,CAAC;IAED,KAAK,UAAU,SAAS;QACpB,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,OAAO,IAAI,EAAE,IAAI,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,EAAE,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACxC,CAAC;QAED,iDAAiD;QACjD,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,GAAG,MAAM,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC;QAED,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,KAAK,UAAU,SAAS;QACpB,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC;QAErB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClC,OAAO,gBAAgB,EAAE,CAAC;QAC9B,CAAC;QAED,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC,CAAC,IAAI;YACf,MAAM,IAAI,GAAG,MAAM,SAAS,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,CAAC;YACZ,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,WAAW;QACX,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,EAAE,CAAC,CAAC;QACtD,CAAC;QAED,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,UAAU,gBAAgB;QAC3B,OAAO,EAAE,CAAC,CAAC,SAAS;QACpB,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;QAExB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAC;QACxD,CAAC;QAED,MAAM,CAAC,GAAG,CAAC,CAAC;QAEZ,MAAM,IAAI,GAAG,MAAM,SAAS,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/B,OAAO,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,SAAS,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,QAAQ,CAAC,UAAkB;IAChC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAEzB,kBAAkB;QAClB,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAChB,CAAC,EAAE,CAAC;YACJ,SAAS;QACb,CAAC;QAED,0BAA0B;QAC1B,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChB,CAAC,EAAE,CAAC;YACJ,SAAS;QACb,CAAC;QAED,cAAc;QACd,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClE,IAAI,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5B,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,SAAS;QACb,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC"}
@@ -0,0 +1,295 @@
1
+ /**
2
+ * CLM Action Monad - Composable Actions following Monad Laws.
3
+ *
4
+ * This module implements the Action monad for CLM, enabling composable
5
+ * agent actions that follow the three Monad Laws:
6
+ *
7
+ * 1. Left Identity: return a >>= f ≡ f a
8
+ * 2. Right Identity: m >>= return ≡ m
9
+ * 3. Associativity: (m >>= f) >>= g ≡ m >>= (λx. f x >>= g)
10
+ *
11
+ * Actions are the atomic units of computation in CLM workflows.
12
+ * Each action transforms context and produces a result while
13
+ * accumulating effects (memory updates, tool calls, logs).
14
+ *
15
+ * Aligned with the Lambda Calculus interpretation:
16
+ * - α-conversion: Action renaming (identity preservation)
17
+ * - β-reduction: Action execution (input substitution)
18
+ * - η-conversion: Behavioral equivalence (same I/O behavior)
19
+ */
20
+ import { MCard } from '../../model/MCard.js';
21
+ /**
22
+ * Status of an action execution.
23
+ */
24
+ export declare enum ActionStatus {
25
+ PENDING = "pending",
26
+ RUNNING = "running",
27
+ SUCCESS = "success",
28
+ FAILURE = "failure",
29
+ CANCELLED = "cancelled"
30
+ }
31
+ /**
32
+ * Context passed to actions during execution.
33
+ *
34
+ * This is the Reader monad component - read-only configuration
35
+ * and environment that flows through the action pipeline.
36
+ */
37
+ export interface ActionContext {
38
+ /** Session information */
39
+ sessionId: string;
40
+ agentId: string;
41
+ /** Configuration */
42
+ config: Record<string, any>;
43
+ secrets: Record<string, string>;
44
+ /** Input parameters (from CLM params interpolation) */
45
+ params: Record<string, any>;
46
+ /** Execution metadata */
47
+ timestamp: number;
48
+ traceId: string;
49
+ }
50
+ /**
51
+ * Create a default ActionContext.
52
+ */
53
+ export declare function createActionContext(partial?: Partial<ActionContext>): ActionContext;
54
+ /**
55
+ * Create a new context with updated params.
56
+ */
57
+ export declare function withParams(ctx: ActionContext, params: Record<string, any>): ActionContext;
58
+ /**
59
+ * Side effects produced by an action.
60
+ *
61
+ * This is the Writer monad component - accumulated effects
62
+ * that flow through the action pipeline.
63
+ */
64
+ export interface ActionEffect {
65
+ /** Memory updates (MCards to store) */
66
+ memoryUpdates: MCard[];
67
+ /** Tool calls made */
68
+ toolCalls: Array<Record<string, any>>;
69
+ /** Audit log entries */
70
+ logs: string[];
71
+ /** Token usage (for LLM actions) */
72
+ tokens: {
73
+ prompt: number;
74
+ completion: number;
75
+ };
76
+ /** Execution time (ms) */
77
+ executionTime: number;
78
+ }
79
+ /**
80
+ * Create an empty effect (monoid identity).
81
+ */
82
+ export declare function emptyEffect(): ActionEffect;
83
+ /**
84
+ * Combine two effects (monoid append).
85
+ */
86
+ export declare function combineEffects(a: ActionEffect, b: ActionEffect): ActionEffect;
87
+ /**
88
+ * Result of an action execution.
89
+ *
90
+ * Combines the computed value with accumulated effects.
91
+ * This is the full monad: Reader + Writer + Either.
92
+ */
93
+ export interface ActionResult<A> {
94
+ success: boolean;
95
+ value?: A;
96
+ error?: string;
97
+ effects: ActionEffect;
98
+ }
99
+ /**
100
+ * Create a successful result with a value.
101
+ */
102
+ export declare function pureResult<A>(value: A): ActionResult<A>;
103
+ /**
104
+ * Create a failed result with an error.
105
+ */
106
+ export declare function failResult<A>(error: string): ActionResult<A>;
107
+ /**
108
+ * Functor map: Apply function to value if successful.
109
+ */
110
+ export declare function mapResult<A, B>(result: ActionResult<A>, f: (a: A) => B): ActionResult<B>;
111
+ export type ActionFn<A> = (ctx: ActionContext) => Promise<ActionResult<A>>;
112
+ /**
113
+ * The Action Monad - A composable unit of computation.
114
+ *
115
+ * An Action encapsulates:
116
+ * - An async function from context to result
117
+ * - The ability to compose with other actions (bind/flatMap)
118
+ * - Effects accumulated during execution (Writer)
119
+ * - Context propagation (Reader)
120
+ * - Error handling (Either)
121
+ *
122
+ * Satisfies the Monad Laws:
123
+ *
124
+ * 1. Left Identity: Action.pure(a).bind(f) == f(a)
125
+ * 2. Right Identity: m.bind(Action.pure) == m
126
+ * 3. Associativity: m.bind(f).bind(g) == m.bind(x => f(x).bind(g))
127
+ */
128
+ export declare class Action<A> {
129
+ private _run;
130
+ /**
131
+ * Create an action from a function.
132
+ *
133
+ * @param run - Async function (ActionContext -> ActionResult<A>)
134
+ */
135
+ constructor(run: ActionFn<A>);
136
+ /**
137
+ * Execute this action with the given context.
138
+ *
139
+ * @param ctx - The execution context
140
+ * @returns The result of the action
141
+ */
142
+ execute(ctx: ActionContext): Promise<ActionResult<A>>;
143
+ /**
144
+ * Monadic bind (>>=, flatMap).
145
+ *
146
+ * Sequences this action with a function that produces
147
+ * another action based on this action's result.
148
+ *
149
+ * This is the KEY operation that makes Action a monad.
150
+ *
151
+ * @param f - Function from A to Action<B>
152
+ * @returns A new action that chains the computations
153
+ */
154
+ bind<B>(f: (a: A) => Action<B>): Action<B>;
155
+ /**
156
+ * Functor map.
157
+ *
158
+ * Apply a pure function to the action's result.
159
+ *
160
+ * @param f - Pure function from A to B
161
+ * @returns A new action with the transformed result
162
+ */
163
+ map<B>(f: (a: A) => B): Action<B>;
164
+ /**
165
+ * Sequence with another action, ignoring this result.
166
+ *
167
+ * Useful for side-effect-only actions.
168
+ *
169
+ * @param nextAction - The action to execute after this one
170
+ * @returns The result of nextAction
171
+ */
172
+ then<B>(nextAction: Action<B>): Action<B>;
173
+ /**
174
+ * Lift a pure value into Action (return/unit).
175
+ *
176
+ * This is the 'return' operation of the monad.
177
+ *
178
+ * Satisfies Left Identity: pure(a).bind(f) == f(a)
179
+ * Satisfies Right Identity: m.bind(pure) == m
180
+ *
181
+ * @param value - The value to lift
182
+ * @returns An action that immediately succeeds with the value
183
+ */
184
+ static pure<A>(value: A): Action<A>;
185
+ /**
186
+ * Create a failing action.
187
+ *
188
+ * @param error - The error message
189
+ * @returns An action that immediately fails
190
+ */
191
+ static fail<A>(error: string): Action<A>;
192
+ /**
193
+ * Reader monad operation: Get the current context.
194
+ *
195
+ * @returns An action that returns the context
196
+ */
197
+ static ask(): Action<ActionContext>;
198
+ /**
199
+ * Reader monad operation: Apply function to context.
200
+ *
201
+ * @param f - Function to apply to context
202
+ * @returns An action that returns f(context)
203
+ */
204
+ static asks<A>(f: (ctx: ActionContext) => A): Action<A>;
205
+ /**
206
+ * Writer monad operation: Emit an effect.
207
+ *
208
+ * @param effect - The effect to emit
209
+ * @returns An action that emits the effect
210
+ */
211
+ static tell(effect: ActionEffect): Action<void>;
212
+ /**
213
+ * Convenience: Log a message.
214
+ *
215
+ * @param message - The log message
216
+ * @returns An action that logs the message
217
+ */
218
+ static log(message: string): Action<void>;
219
+ /**
220
+ * Create an action from an async function.
221
+ *
222
+ * @param f - Async function (ctx -> A)
223
+ * @returns An action wrapping the function
224
+ */
225
+ static fromAsync<A>(f: (ctx: ActionContext) => Promise<A>): Action<A>;
226
+ /**
227
+ * Create an action from a synchronous function.
228
+ *
229
+ * @param f - Sync function (ctx -> A)
230
+ * @returns An action wrapping the function
231
+ */
232
+ static fromSync<A>(f: (ctx: ActionContext) => A): Action<A>;
233
+ }
234
+ /**
235
+ * Sequence a list of actions, collecting results.
236
+ *
237
+ * @param actions - List of actions to sequence
238
+ * @returns An action that produces a list of results
239
+ */
240
+ export declare function sequence<A>(actions: Action<A>[]): Action<A[]>;
241
+ /**
242
+ * Execute actions in parallel, collecting results.
243
+ *
244
+ * @param actions - List of actions to execute in parallel
245
+ * @returns An action that produces a list of results
246
+ */
247
+ export declare function parallel<A>(actions: Action<A>[]): Action<A[]>;
248
+ /**
249
+ * Kleisli composition: Compose two monadic functions.
250
+ *
251
+ * (g <=< f)(a) = f(a).bind(g)
252
+ *
253
+ * This is the categorical composition in the Kleisli category.
254
+ *
255
+ * @param f - First Kleisli arrow (A -> Action<B>)
256
+ * @param g - Second Kleisli arrow (B -> Action<C>)
257
+ * @returns Composed Kleisli arrow (A -> Action<C>)
258
+ */
259
+ export declare function kleisliCompose<A, B, C>(f: (a: A) => Action<B>, g: (b: B) => Action<C>): (a: A) => Action<C>;
260
+ /**
261
+ * The identity Kleisli arrow.
262
+ *
263
+ * This is Action.pure, serving as the identity for Kleisli composition.
264
+ *
265
+ * @returns The identity function in the Kleisli category
266
+ */
267
+ export declare function identityAction<A>(): (a: A) => Action<A>;
268
+ /**
269
+ * Verify Left Identity law: pure(a).bind(f) == f(a)
270
+ *
271
+ * @param a - A value
272
+ * @param f - A Kleisli arrow
273
+ * @param ctx - Execution context
274
+ * @returns True if the law holds
275
+ */
276
+ export declare function verifyLeftIdentity<A, B>(a: A, f: (a: A) => Action<B>, ctx: ActionContext): Promise<boolean>;
277
+ /**
278
+ * Verify Right Identity law: m.bind(pure) == m
279
+ *
280
+ * @param m - An action
281
+ * @param ctx - Execution context
282
+ * @returns True if the law holds
283
+ */
284
+ export declare function verifyRightIdentity<A>(m: Action<A>, ctx: ActionContext): Promise<boolean>;
285
+ /**
286
+ * Verify Associativity law: (m.bind(f)).bind(g) == m.bind(x => f(x).bind(g))
287
+ *
288
+ * @param m - An action
289
+ * @param f - First Kleisli arrow
290
+ * @param g - Second Kleisli arrow
291
+ * @param ctx - Execution context
292
+ * @returns True if the law holds
293
+ */
294
+ export declare function verifyAssociativity<A, B, C>(m: Action<A>, f: (a: A) => Action<B>, g: (b: B) => Action<C>, ctx: ActionContext): Promise<boolean>;
295
+ //# sourceMappingURL=Action.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Action.d.ts","sourceRoot":"","sources":["../../../src/ptr/node/Action.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAI7C;;GAEG;AACH,oBAAY,YAAY;IACpB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,SAAS,cAAc;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC1B,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAEhB,oBAAoB;IACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAEhC,uDAAuD;IACvD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAE5B,yBAAyB;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,GAAE,OAAO,CAAC,aAAa,CAAM,GAAG,aAAa,CAUvF;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,aAAa,CAKzF;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IACzB,uCAAuC;IACvC,aAAa,EAAE,KAAK,EAAE,CAAC;IAEvB,sBAAsB;IACtB,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IAEtC,wBAAwB;IACxB,IAAI,EAAE,MAAM,EAAE,CAAC;IAEf,oCAAoC;IACpC,MAAM,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAE/C,0BAA0B;IAC1B,aAAa,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,wBAAgB,WAAW,IAAI,YAAY,CAQ1C;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,YAAY,CAW7E;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC;IAC3B,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,YAAY,CAAC;CACzB;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAMvD;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,CAM5D;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAqBxF;AAGD,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,KAAK,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3E;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,MAAM,CAAC,CAAC;IACjB,OAAO,CAAC,IAAI,CAAc;IAE1B;;;;OAIG;gBACS,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;IAI5B;;;;;OAKG;IACG,OAAO,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAqB3D;;;;;;;;;;OAUG;IACH,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAoC1C;;;;;;;OAOG;IACH,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAIjC;;;;;;;OAOG;IACH,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAMzC;;;;;;;;;;OAUG;IACH,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAInC;;;;;OAKG;IACH,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;IAIxC;;;;OAIG;IACH,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,aAAa,CAAC;IAInC;;;;;OAKG;IACH,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,aAAa,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAIvD;;;;;OAKG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC;IAQ/C;;;;;OAKG;IACH,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;IAIzC;;;;;OAKG;IACH,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAWrE;;;;;OAKG;IACH,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,aAAa,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;CAU9D;AAID;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CA8B7D;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAgC7D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAClC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EACtB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,GACvB,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAErB;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAEvD;AAID;;;;;;;GAOG;AACH,wBAAsB,kBAAkB,CAAC,CAAC,EAAE,CAAC,EACzC,CAAC,EAAE,CAAC,EACJ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EACtB,GAAG,EAAE,aAAa,GACnB,OAAO,CAAC,OAAO,CAAC,CASlB;AAED;;;;;;GAMG;AACH,wBAAsB,mBAAmB,CAAC,CAAC,EACvC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EACZ,GAAG,EAAE,aAAa,GACnB,OAAO,CAAC,OAAO,CAAC,CASlB;AAED;;;;;;;;GAQG;AACH,wBAAsB,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7C,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EACZ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EACtB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EACtB,GAAG,EAAE,aAAa,GACnB,OAAO,CAAC,OAAO,CAAC,CASlB"}