@verevoir/recipes 0.8.1 → 0.10.0
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/CHANGELOG.md +4 -0
- package/dist/engine.d.ts +2 -0
- package/dist/engine.d.ts.map +1 -1
- package/dist/engine.js +2 -0
- package/dist/engine.js.map +1 -1
- package/dist/index.d.ts +7 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -0
- package/dist/index.js.map +1 -1
- package/dist/plan.d.ts +6 -1
- package/dist/plan.d.ts.map +1 -1
- package/dist/plan.js +5 -5
- package/dist/plan.js.map +1 -1
- package/dist/run-verify.d.ts +46 -0
- package/dist/run-verify.d.ts.map +1 -0
- package/dist/run-verify.js +56 -0
- package/dist/run-verify.js.map +1 -0
- package/dist/verify.d.ts +44 -0
- package/dist/verify.d.ts.map +1 -0
- package/dist/verify.js +20 -0
- package/dist/verify.js.map +1 -0
- package/llms.txt +82 -13
- package/package.json +8 -5
package/CHANGELOG.md
CHANGED
|
@@ -1,5 +1,9 @@
|
|
|
1
1
|
# Changelog
|
|
2
2
|
|
|
3
|
+
## 0.9.0 — 2026-06-22
|
|
4
|
+
|
|
5
|
+
- **Capability `verify` — the enforced postcondition** (STDIO-451). `parseCapability` now reads a `verify` scalar into `CapabilityDescriptor.verify` — the name of a deterministic check (e.g. `design-pack`) the consuming runtime runs as a **hard** postcondition: it runs the named verifier against what the model produced and loops the model on its findings until it passes. A prose `postcondition` is a hope; `verify` is enforced — the model's output is an input to the check, never trusted as final. Absent means the capability has no mechanically-checkable postcondition (judgement-shaped output). Forward-compatible (an older parser ignores the field, like `grants`). The corpus data half (the field on capabilities) and the executor that _honours_ it land separately (aigency-guardrails + aigency-web).
|
|
6
|
+
|
|
3
7
|
## 0.7.0 — 2026-06-18
|
|
4
8
|
|
|
5
9
|
- **Capability `grants` — least-permission tool declaration** (STDIO-392). `parseCapability` now reads a `grants` inline-list field into `CapabilityDescriptor.grants` — the tool permissions a capability's executor may use **beyond the read-only floor**. Empty (the default) means read-only: least permission, the safe default. The token defined today is `write` (modify working-repo files); more are added as the corpus is classified, and the executor that _honours_ grants (constraining the toolbelt) is a follow-on in the consuming app. The parser now also **deliberately ignores unrecognised descriptor fields**, so this field — and later `tier`/`portability` — never breaks an older parser (forward-compatible). The corpus data half (the field on capabilities) lands in aigency-guardrails.
|
package/dist/engine.d.ts
CHANGED
package/dist/engine.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAIA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,mBAAmB,CAAC;AAClC,cAAc,WAAW,CAAC"}
|
|
1
|
+
{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAIA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,mBAAmB,CAAC;AAClC,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC"}
|
package/dist/engine.js
CHANGED
package/dist/engine.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"engine.js","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,gFAAgF;AAChF,oFAAoF;AACpF,kFAAkF;AAClF,cAAc,gBAAgB,CAAC;AAC/B,cAAc,mBAAmB,CAAC;AAClC,cAAc,WAAW,CAAC"}
|
|
1
|
+
{"version":3,"file":"engine.js","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,gFAAgF;AAChF,oFAAoF;AACpF,kFAAkF;AAClF,cAAc,gBAAgB,CAAC;AAC/B,cAAc,mBAAmB,CAAC;AAClC,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -98,6 +98,13 @@ export interface CapabilityDescriptor {
|
|
|
98
98
|
description?: string;
|
|
99
99
|
/** How the capability runs. Absent for legacy objective-tree descriptors. */
|
|
100
100
|
execution?: CapabilityExecution;
|
|
101
|
+
/** The deterministic verifier the execution runs as a HARD postcondition — a
|
|
102
|
+
* named check (e.g. `design-pack`) the runtime resolves and runs against what
|
|
103
|
+
* the model produced, looping the model on its findings until it passes. A
|
|
104
|
+
* prose `postcondition` is a hope; this is enforced. Absent means the
|
|
105
|
+
* capability has no mechanically-checkable postcondition (judgement-shaped
|
|
106
|
+
* output). */
|
|
107
|
+
verify?: string;
|
|
101
108
|
/** Typed inputs — present when the capability is a conversation tool. */
|
|
102
109
|
inputs: CapabilityInput[];
|
|
103
110
|
/** What the capability produces (free text). Optional. */
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAwBA,qBAAa,eAAgB,SAAQ,KAAK;CAAG;AAE7C;6EAC6E;AAC7E,MAAM,MAAM,eAAe,GAAG,WAAW,GAAG,YAAY,CAAC;AAEzD,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAC;AAElF,MAAM,WAAW,UAAU;IACzB,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,IAAI,EAAE,cAAc,CAAC;IACrB,wCAAwC;IACxC,QAAQ,EAAE,OAAO,CAAC;IAClB,yBAAyB;IACzB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,eAAe;IAC9B,0DAA0D;IAC1D,EAAE,EAAE,MAAM,CAAC;IACX,oCAAoC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,mCAAmC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB;IACtB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,4BAA4B;IAC5B,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB;mBACe;IACf,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,6EAA6E;IAC7E,UAAU,EAAE,eAAe,CAAC;IAC5B;iDAC6C;IAC7C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;8BAC0B;IAC1B,YAAY,EAAE,MAAM,CAAC;CACtB;AAiGD;;gDAEgD;AAChD,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,eAAe,CAkEvE;AAED;;+BAE+B;AAC/B,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAEhE;AA0BD,qBAAa,oBAAqB,SAAQ,KAAK;CAAG;AAElD;;;;;;+BAM+B;AAC/B,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,UAAU,GAAG,QAAQ,CAAC;AAE5D;;;;;kDAKkD;AAClD,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;AAElE;4EAC4E;AAC5E,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;8EAC8E;AAC9E,MAAM,WAAW,oBAAoB;IACnC,6EAA6E;IAC7E,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,aAAa,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,wDAAwD;IACxD,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,wEAAwE;IACxE,IAAI,EAAE,cAAc,CAAC;IACrB;;oEAEgE;IAChE,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,+EAA+E;IAC/E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6EAA6E;IAC7E,SAAS,CAAC,EAAE,mBAAmB,CAAC;IAChC,yEAAyE;IACzE,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,0DAA0D;IAC1D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;gDAC4C;IAC5C,QAAQ,EAAE,MAAM,CAAC;CAClB;AAwDD;;2DAE2D;AAC3D,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,oBAAoB,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAwBA,qBAAa,eAAgB,SAAQ,KAAK;CAAG;AAE7C;6EAC6E;AAC7E,MAAM,MAAM,eAAe,GAAG,WAAW,GAAG,YAAY,CAAC;AAEzD,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAC;AAElF,MAAM,WAAW,UAAU;IACzB,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,IAAI,EAAE,cAAc,CAAC;IACrB,wCAAwC;IACxC,QAAQ,EAAE,OAAO,CAAC;IAClB,yBAAyB;IACzB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,eAAe;IAC9B,0DAA0D;IAC1D,EAAE,EAAE,MAAM,CAAC;IACX,oCAAoC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,mCAAmC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB;IACtB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,4BAA4B;IAC5B,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB;mBACe;IACf,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,6EAA6E;IAC7E,UAAU,EAAE,eAAe,CAAC;IAC5B;iDAC6C;IAC7C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;8BAC0B;IAC1B,YAAY,EAAE,MAAM,CAAC;CACtB;AAiGD;;gDAEgD;AAChD,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,eAAe,CAkEvE;AAED;;+BAE+B;AAC/B,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAEhE;AA0BD,qBAAa,oBAAqB,SAAQ,KAAK;CAAG;AAElD;;;;;;+BAM+B;AAC/B,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,UAAU,GAAG,QAAQ,CAAC;AAE5D;;;;;kDAKkD;AAClD,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;AAElE;4EAC4E;AAC5E,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;8EAC8E;AAC9E,MAAM,WAAW,oBAAoB;IACnC,6EAA6E;IAC7E,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,aAAa,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,wDAAwD;IACxD,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,wEAAwE;IACxE,IAAI,EAAE,cAAc,CAAC;IACrB;;oEAEgE;IAChE,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,+EAA+E;IAC/E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6EAA6E;IAC7E,SAAS,CAAC,EAAE,mBAAmB,CAAC;IAChC;;;;;kBAKc;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,yEAAyE;IACzE,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,0DAA0D;IAC1D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;gDAC4C;IAC5C,QAAQ,EAAE,MAAM,CAAC;CAClB;AAwDD;;2DAE2D;AAC3D,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,oBAAoB,CAqFjF;AAED;;gEAEgE;AAChE,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,eAAe,EACtB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,GACvC,MAAM,CAUR"}
|
package/dist/index.js
CHANGED
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,6EAA6E;AAC7E,qEAAqE;AACrE,EAAE;AACF,2EAA2E;AAC3E,2EAA2E;AAC3E,8EAA8E;AAC9E,yDAAyD;AACzD,EAAE;AACF,sBAAsB;AACtB,EAAE;AACF,QAAQ;AACR,oBAAoB;AACpB,sBAAsB;AACtB,mDAAmD;AACnD,2BAA2B;AAC3B,2BAA2B;AAC3B,YAAY;AACZ,6DAA6D;AAC7D,8DAA8D;AAC9D,mEAAmE;AACnE,QAAQ;AACR,wBAAwB;AAExB,MAAM,OAAO,eAAgB,SAAQ,KAAK;CAAG;AA6C7C,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,CAAU,CAAC;AAC7D,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC;IAC/C,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,OAAO;IACP,QAAQ;CACT,CAAC,CAAC;AAOH,SAAS,gBAAgB,CAAC,GAAW;IACnC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,IAAI,eAAe,CAAC,0CAA0C,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,eAAe,CAAC,6CAA6C,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO;QACL,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QAChC,IAAI,EAAE,KAAK;aACR,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;aACd,IAAI,CAAC,IAAI,CAAC;aACV,IAAI,EAAE;KACV,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC;aACL,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;aACZ,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;aAC7B,MAAM,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC5B,MAAM,OAAO,GACX,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC9C,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9C,CAAC;AAED,wEAAwE;AACxE,wEAAwE;AACxE,gDAAgD;AAChD,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;QAChB,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAClC,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5D,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,IAAI;SACnB,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;SAC5B,IAAI,EAAE;SACN,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACnB,MAAM,IAAI,GAAmB,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC;QACrD,CAAC,CAAE,SAA4B;QAC/B,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACtC,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;QAChB,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,QAAQ,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAClD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,QAAQ;QACzC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE;KACtD,CAAC;AACJ,CAAC;AAED;;gDAEgD;AAChD,MAAM,UAAU,UAAU,CAAC,MAAc,EAAE,GAAW;IACpD,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAEpD,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,SAAS;QAE3B,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACV,MAAM;gBACR,CAAC;gBACD,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,MAAM;oBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAChC,CAAC,GAAG,CAAC,CAAC;YACR,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,SAAS;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAEpC,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YACnB,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACzC,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACpE,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,eAAe,CAAC,sCAAsC,CAAC,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,eAAe,CACvB,aAAa,OAAO,CAAC,EAAE,8BAA8B,MAAM,yBAAyB,CACrF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GACd,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC;IAE5E,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,IAAI;QACJ,MAAM;QACN,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC;QACzC,UAAU;QACV,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,SAAS;QAC7C,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,SAAS;QAC5C,YAAY,EAAE,IAAI;KACnB,CAAC;AACJ,CAAC;AAED;;+BAE+B;AAC/B,MAAM,UAAU,gBAAgB,CAAC,KAAsB;IACrD,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;AACxB,CAAC;AAED,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,wEAAwE;AACxE,2EAA2E;AAC3E,EAAE;AACF,6EAA6E;AAC7E,0EAA0E;AAC1E,8EAA8E;AAC9E,6EAA6E;AAC7E,4DAA4D;AAC5D,EAAE;AACF,sBAAsB;AACtB,EAAE;AACF,QAAQ;AACR,oCAAoC;AACpC,wEAAwE;AACxE,sCAAsC;AACtC,+CAA+C;AAC/C,QAAQ;AACR,8BAA8B;AAE9B,MAAM,OAAO,oBAAqB,SAAQ,KAAK;CAAG;AA4DlD,MAAM,wBAAwB,GAAG,CAAC,MAAM,EAAE,eAAe,CAAU,CAAC;AAEpE,4EAA4E;AAC5E,8DAA8D;AAC9D,SAAS,0BAA0B,CAAC,GAAW;IAC7C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,IAAI,oBAAoB,CAAC,0CAA0C,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,oBAAoB,CAAC,6CAA6C,CAAC,CAAC;IAChF,CAAC;IACD,OAAO;QACL,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QAChC,IAAI,EAAE,KAAK;aACR,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;aACd,IAAI,CAAC,IAAI,CAAC;aACV,IAAI,EAAE;KACV,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,wDAAwD;AACxD,SAAS,UAAU,CAAC,KAAa;IAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC;aACL,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;aACZ,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;aAC7B,MAAM,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChC,CAAC;AAED;;+EAE+E;AAC/E,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,WAAW,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AAC/C,CAAC;AAED;;2DAE2D;AAC3D,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,GAAW;IACzD,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,0BAA0B,CAAC,GAAG,CAAC,CAAC;IAE9D,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,IAAI,QAAQ,GAAa,EAAE,CAAC;IAC5B,IAAI,SAAS,GAAa,EAAE,CAAC;IAC7B,IAAI,MAAM,GAAa,EAAE,CAAC;IAC1B,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,SAAS;QAC3B,uEAAuE;QACvE,yEAAyE;QACzE,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,SAAS;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAEpC,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YACxB,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,0EAA0E;YAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClF,MAAM,MAAM,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpD,IAAI,MAAM;oBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClC,CAAC;YACD,SAAS;QACX,CAAC;QACD,0EAA0E;QAC1E,yEAAyE;QACzE,2EAA2E;QAC3E,UAAU;QACV,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACvC,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,wBAAwB,EAAE,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAAC,sCAAsC,CAAC,EAAE,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,MAAM,IAAI,oBAAoB,CAC5B,oBAAoB,IAAI,8BAA8B,MAAM,yBAAyB,CACtF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GACR,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IAEnF,MAAM,SAAS,GACb,OAAO,CAAC,SAAS,KAAK,QAAQ;QAC9B,OAAO,CAAC,SAAS,KAAK,QAAQ;QAC9B,OAAO,CAAC,SAAS,KAAK,SAAS;QAC7B,CAAC,CAAC,OAAO,CAAC,SAAS;QACnB,CAAC,CAAC,SAAS,CAAC;IAEhB,OAAO;QACL,IAAI;QACJ,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,QAAQ;QACR,SAAS;QACT,MAAM;QACN,IAAI;QACJ,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,SAAS;QAC/B,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,SAAS;QAC7C,SAAS;QACT,MAAM;QACN,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,SAAS;QACnC,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED;;gEAEgE;AAChE,MAAM,UAAU,iBAAiB,CAC/B,KAAsB,EACtB,IAAwC;IAExC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM;SAC1B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;SAC5D,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAE1B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,YAAY,CAAC;IAErD,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAElG,OAAO,GAAG,KAAK,CAAC,YAAY,2BAA2B,UAAU,EAAE,CAAC;AACtE,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,6EAA6E;AAC7E,qEAAqE;AACrE,EAAE;AACF,2EAA2E;AAC3E,2EAA2E;AAC3E,8EAA8E;AAC9E,yDAAyD;AACzD,EAAE;AACF,sBAAsB;AACtB,EAAE;AACF,QAAQ;AACR,oBAAoB;AACpB,sBAAsB;AACtB,mDAAmD;AACnD,2BAA2B;AAC3B,2BAA2B;AAC3B,YAAY;AACZ,6DAA6D;AAC7D,8DAA8D;AAC9D,mEAAmE;AACnE,QAAQ;AACR,wBAAwB;AAExB,MAAM,OAAO,eAAgB,SAAQ,KAAK;CAAG;AA6C7C,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,CAAU,CAAC;AAC7D,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC;IAC/C,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,OAAO;IACP,QAAQ;CACT,CAAC,CAAC;AAOH,SAAS,gBAAgB,CAAC,GAAW;IACnC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,IAAI,eAAe,CAAC,0CAA0C,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,eAAe,CAAC,6CAA6C,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO;QACL,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QAChC,IAAI,EAAE,KAAK;aACR,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;aACd,IAAI,CAAC,IAAI,CAAC;aACV,IAAI,EAAE;KACV,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC;aACL,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;aACZ,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;aAC7B,MAAM,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC5B,MAAM,OAAO,GACX,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC9C,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9C,CAAC;AAED,wEAAwE;AACxE,wEAAwE;AACxE,gDAAgD;AAChD,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;QAChB,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAClC,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5D,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,IAAI;SACnB,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;SAC5B,IAAI,EAAE;SACN,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACnB,MAAM,IAAI,GAAmB,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC;QACrD,CAAC,CAAE,SAA4B;QAC/B,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACtC,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;QAChB,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,QAAQ,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAClD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,QAAQ;QACzC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE;KACtD,CAAC;AACJ,CAAC;AAED;;gDAEgD;AAChD,MAAM,UAAU,UAAU,CAAC,MAAc,EAAE,GAAW;IACpD,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAEpD,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,SAAS;QAE3B,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACV,MAAM;gBACR,CAAC;gBACD,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,MAAM;oBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAChC,CAAC,GAAG,CAAC,CAAC;YACR,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,SAAS;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAEpC,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YACnB,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACzC,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACpE,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,eAAe,CAAC,sCAAsC,CAAC,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,eAAe,CACvB,aAAa,OAAO,CAAC,EAAE,8BAA8B,MAAM,yBAAyB,CACrF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GACd,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC;IAE5E,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,IAAI;QACJ,MAAM;QACN,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC;QACzC,UAAU;QACV,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,SAAS;QAC7C,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,SAAS;QAC5C,YAAY,EAAE,IAAI;KACnB,CAAC;AACJ,CAAC;AAED;;+BAE+B;AAC/B,MAAM,UAAU,gBAAgB,CAAC,KAAsB;IACrD,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;AACxB,CAAC;AAED,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,wEAAwE;AACxE,2EAA2E;AAC3E,EAAE;AACF,6EAA6E;AAC7E,0EAA0E;AAC1E,8EAA8E;AAC9E,6EAA6E;AAC7E,4DAA4D;AAC5D,EAAE;AACF,sBAAsB;AACtB,EAAE;AACF,QAAQ;AACR,oCAAoC;AACpC,wEAAwE;AACxE,sCAAsC;AACtC,+CAA+C;AAC/C,QAAQ;AACR,8BAA8B;AAE9B,MAAM,OAAO,oBAAqB,SAAQ,KAAK;CAAG;AAmElD,MAAM,wBAAwB,GAAG,CAAC,MAAM,EAAE,eAAe,CAAU,CAAC;AAEpE,4EAA4E;AAC5E,8DAA8D;AAC9D,SAAS,0BAA0B,CAAC,GAAW;IAC7C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,IAAI,oBAAoB,CAAC,0CAA0C,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,oBAAoB,CAAC,6CAA6C,CAAC,CAAC;IAChF,CAAC;IACD,OAAO;QACL,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QAChC,IAAI,EAAE,KAAK;aACR,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;aACd,IAAI,CAAC,IAAI,CAAC;aACV,IAAI,EAAE;KACV,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,wDAAwD;AACxD,SAAS,UAAU,CAAC,KAAa;IAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC;aACL,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;aACZ,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;aAC7B,MAAM,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChC,CAAC;AAED;;+EAE+E;AAC/E,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,WAAW,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AAC/C,CAAC;AAED;;2DAE2D;AAC3D,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,GAAW;IACzD,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,0BAA0B,CAAC,GAAG,CAAC,CAAC;IAE9D,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,IAAI,QAAQ,GAAa,EAAE,CAAC;IAC5B,IAAI,SAAS,GAAa,EAAE,CAAC;IAC7B,IAAI,MAAM,GAAa,EAAE,CAAC;IAC1B,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,SAAS;QAC3B,uEAAuE;QACvE,yEAAyE;QACzE,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,SAAS;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAEpC,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YACxB,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,0EAA0E;YAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClF,MAAM,MAAM,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpD,IAAI,MAAM;oBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClC,CAAC;YACD,SAAS;QACX,CAAC;QACD,0EAA0E;QAC1E,yEAAyE;QACzE,2EAA2E;QAC3E,UAAU;QACV,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACvC,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,wBAAwB,EAAE,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAAC,sCAAsC,CAAC,EAAE,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,MAAM,IAAI,oBAAoB,CAC5B,oBAAoB,IAAI,8BAA8B,MAAM,yBAAyB,CACtF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GACR,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IAEnF,MAAM,SAAS,GACb,OAAO,CAAC,SAAS,KAAK,QAAQ;QAC9B,OAAO,CAAC,SAAS,KAAK,QAAQ;QAC9B,OAAO,CAAC,SAAS,KAAK,SAAS;QAC7B,CAAC,CAAC,OAAO,CAAC,SAAS;QACnB,CAAC,CAAC,SAAS,CAAC;IAEhB,OAAO;QACL,IAAI;QACJ,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,QAAQ;QACR,SAAS;QACT,MAAM;QACN,IAAI;QACJ,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,SAAS;QAC/B,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,SAAS;QAC7C,SAAS;QACT,MAAM;QACN,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,SAAS;QACnC,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,SAAS;QACnC,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED;;gEAEgE;AAChE,MAAM,UAAU,iBAAiB,CAC/B,KAAsB,EACtB,IAAwC;IAExC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM;SAC1B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;SAC5D,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAE1B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,YAAY,CAAC;IAErD,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAElG,OAAO,GAAG,KAAK,CAAC,YAAY,2BAA2B,UAAU,EAAE,CAAC;AACtE,CAAC"}
|
package/dist/plan.d.ts
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import type { ModelClass } from '@verevoir/llm';
|
|
2
2
|
import type { CapabilityDescriptor } from './index.js';
|
|
3
3
|
import type { RetrievedCapability } from './retrieval.js';
|
|
4
|
+
import { type ChatFn } from './provisioning.js';
|
|
4
5
|
/** One capability in the plan, with the practices that govern it and the
|
|
5
6
|
* in-plan capabilities it depends on (its resolvable `composes` edges). */
|
|
6
7
|
export interface PlanNode {
|
|
@@ -50,7 +51,7 @@ export declare function parseSelectedIds(text: string, ids: string[]): string[];
|
|
|
50
51
|
* produces (description ?? postcondition) — never the practice or edge detail.
|
|
51
52
|
* The caller passes the API key directly — no project-aware key resolution here.
|
|
52
53
|
*/
|
|
53
|
-
export declare function selectEntryCapabilities(request: string, candidates: RetrievedCapability[], corpus: CapabilityDescriptor[], apiKey: string | null, modelClass?: ModelClass): Promise<string[]>;
|
|
54
|
+
export declare function selectEntryCapabilities(request: string, candidates: RetrievedCapability[], corpus: CapabilityDescriptor[], apiKey: string | null, modelClass?: ModelClass, chat?: ChatFn): Promise<string[]>;
|
|
54
55
|
/** Injection seam so `planExecution` is testable without the embedder or any
|
|
55
56
|
* model call — a test supplies fakes; production uses the real retriever +
|
|
56
57
|
* reasoning calls. */
|
|
@@ -69,6 +70,10 @@ export interface PlanDeps {
|
|
|
69
70
|
* demonstrate the discrimination floor. Ignored when `selectEntry` /
|
|
70
71
|
* `classifyConcerns` are injected directly. */
|
|
71
72
|
coordinatorTier?: ModelClass;
|
|
73
|
+
/** The reasoning chat fn for the coordinator calls (narrow + concern-tag).
|
|
74
|
+
* Defaults to the Anthropic client; the host injects this to drive any
|
|
75
|
+
* provider. Ignored when `selectEntry` / `classifyConcerns` are injected. */
|
|
76
|
+
chat?: ChatFn;
|
|
72
77
|
}
|
|
73
78
|
/**
|
|
74
79
|
* Plan the execution of a request: retrieve high-recall candidates, narrow them
|
package/dist/plan.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAmCA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAmCA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAIL,KAAK,MAAM,EACZ,MAAM,mBAAmB,CAAC;AAE3B;2EAC2E;AAC3E,MAAM,WAAW,QAAQ;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,wDAAwD;IACxD,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,4EAA4E;IAC5E,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;uDACmD;IACnD,MAAM,EAAE,WAAW,GAAG,UAAU,CAAC;CAClC;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,0EAA0E;IAC1E,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB;AAwBD;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,UAAU,EAAE,MAAM,EAAE,EACpB,MAAM,EAAE,oBAAoB,EAAE,GAC7B,KAAK,CAAC;IACP,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,WAAW,GAAG,UAAU,CAAC;CAClC,CAAC,CAwDD;AAED;uDACuD;AACvD,eAAO,MAAM,oBAAoB,k1BAQuD,CAAC;AAEzF;;gFAEgF;AAChF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAOtE;AAED;;;;;;GAMG;AACH,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,mBAAmB,EAAE,EACjC,MAAM,EAAE,oBAAoB,EAAE,EAC9B,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,UAAU,GAAE,UAAwB,EACpC,IAAI,GAAE,MAAsB,GAC3B,OAAO,CAAC,MAAM,EAAE,CAAC,CA2BnB;AAED;;sBAEsB;AACtB,MAAM,WAAW,QAAQ;IACvB,8EAA8E;IAC9E,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;IAC5D,wDAAwD;IACxD,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,WAAW,CAAC,EAAE,CACZ,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,mBAAmB,EAAE,EACjC,MAAM,EAAE,oBAAoB,EAAE,KAC3B,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACvB,gBAAgB,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACxD;8BAC0B;IAC1B,CAAC,CAAC,EAAE,MAAM,CAAC;IACX;;;mDAG+C;IAC/C,eAAe,CAAC,EAAE,UAAU,CAAC;IAC7B;;iFAE6E;IAC7E,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,aAAa,CACjC,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,oBAAoB,EAAE,EAC9B,IAAI,EAAE,QAAQ,GACb,OAAO,CAAC,aAAa,CAAC,CAyCxB"}
|
package/dist/plan.js
CHANGED
|
@@ -31,8 +31,8 @@
|
|
|
31
31
|
// node provisions FOUNDATIONAL ∪ its concern-practices — using the
|
|
32
32
|
// capability's DECLARED concern tags when the corpus carries them (dormant
|
|
33
33
|
// until the corpus is tagged), else the request-level classification.
|
|
34
|
-
import { chat } from '@verevoir/llm/anthropic';
|
|
35
|
-
import { selectConcernTags, provisionPractices, declaredConcernsOf } from './provisioning.js';
|
|
34
|
+
import { chat as anthropicChat } from '@verevoir/llm/anthropic';
|
|
35
|
+
import { selectConcernTags, provisionPractices, declaredConcernsOf, } from './provisioning.js';
|
|
36
36
|
/** The capability type of a `composes` edge, with any `@fanKey` suffix
|
|
37
37
|
* stripped (the planner doesn't fan — it plans one node per capability type). */
|
|
38
38
|
function edgeType(entry) {
|
|
@@ -151,7 +151,7 @@ export function parseSelectedIds(text, ids) {
|
|
|
151
151
|
* produces (description ?? postcondition) — never the practice or edge detail.
|
|
152
152
|
* The caller passes the API key directly — no project-aware key resolution here.
|
|
153
153
|
*/
|
|
154
|
-
export async function selectEntryCapabilities(request, candidates, corpus, apiKey, modelClass = 'reasoning') {
|
|
154
|
+
export async function selectEntryCapabilities(request, candidates, corpus, apiKey, modelClass = 'reasoning', chat = anthropicChat) {
|
|
155
155
|
if (candidates.length === 0)
|
|
156
156
|
return [];
|
|
157
157
|
const byType = new Map(corpus.map((c) => [c.type, c]));
|
|
@@ -195,9 +195,9 @@ export async function planExecution(request, corpus, deps) {
|
|
|
195
195
|
const coordinatorTier = deps.coordinatorTier ?? 'reasoning';
|
|
196
196
|
const retrieve = deps.retrieve;
|
|
197
197
|
const selectEntry = deps.selectEntry ??
|
|
198
|
-
((req, cands, corp) => selectEntryCapabilities(req, cands, corp, deps.apiKey, coordinatorTier));
|
|
198
|
+
((req, cands, corp) => selectEntryCapabilities(req, cands, corp, deps.apiKey, coordinatorTier, deps.chat));
|
|
199
199
|
const classifyConcerns = deps.classifyConcerns ??
|
|
200
|
-
((prose) => selectConcernTags(prose, deps.apiKey, coordinatorTier));
|
|
200
|
+
((prose) => selectConcernTags(prose, deps.apiKey, coordinatorTier, deps.chat));
|
|
201
201
|
const byType = new Map(corpus.map((c) => [c.type, c]));
|
|
202
202
|
const candidates = await retrieve(request);
|
|
203
203
|
const entry = await selectEntry(request, candidates, corpus);
|
package/dist/plan.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"plan.js","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,iFAAiF;AACjF,+EAA+E;AAC/E,+EAA+E;AAC/E,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAC9E,yCAAyC;AACzC,EAAE;AACF,sBAAsB;AACtB,6EAA6E;AAC7E,2EAA2E;AAC3E,iCAAiC;AACjC,8EAA8E;AAC9E,6EAA6E;AAC7E,2EAA2E;AAC3E,+EAA+E;AAC/E,8EAA8E;AAC9E,mDAAmD;AACnD,6EAA6E;AAC7E,6EAA6E;AAC7E,6EAA6E;AAC7E,6EAA6E;AAC7E,6EAA6E;AAC7E,gFAAgF;AAChF,yDAAyD;AACzD,6EAA6E;AAC7E,uEAAuE;AACvE,4DAA4D;AAC5D,iFAAiF;AACjF,uEAAuE;AACvE,+EAA+E;AAC/E,0EAA0E;AAE1E,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;
|
|
1
|
+
{"version":3,"file":"plan.js","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,iFAAiF;AACjF,+EAA+E;AAC/E,+EAA+E;AAC/E,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAC9E,yCAAyC;AACzC,EAAE;AACF,sBAAsB;AACtB,6EAA6E;AAC7E,2EAA2E;AAC3E,iCAAiC;AACjC,8EAA8E;AAC9E,6EAA6E;AAC7E,2EAA2E;AAC3E,+EAA+E;AAC/E,8EAA8E;AAC9E,mDAAmD;AACnD,6EAA6E;AAC7E,6EAA6E;AAC7E,6EAA6E;AAC7E,6EAA6E;AAC7E,6EAA6E;AAC7E,gFAAgF;AAChF,yDAAyD;AACzD,6EAA6E;AAC7E,uEAAuE;AACvE,4DAA4D;AAC5D,iFAAiF;AACjF,uEAAuE;AACvE,+EAA+E;AAC/E,0EAA0E;AAE1E,OAAO,EAAE,IAAI,IAAI,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAIhE,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,GAEnB,MAAM,mBAAmB,CAAC;AAuB3B;iFACiF;AACjF,SAAS,QAAQ,CAAC,KAAa;IAC7B,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAChD,CAAC;AAED;;;yBAGyB;AACzB,SAAS,UAAU,CAAC,IAAY,EAAE,MAAyC;IACzE,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAC5B,UAAoB,EACpB,MAA8B;IAM9B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/D,sDAAsD;IACtD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,MAAM;QACpB,IAAI,CAAC,GAAG,CACN,CAAC,EACD,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACnD,CAAC;IAEJ,iEAAiE;IACjE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,CAAC;YAC7B,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACnE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,KAAK,MAAM,SAAS,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YACjE,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtD,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,gFAAgF;IAChF,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEpE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAChC,UAAU;QACV,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAE;QAChC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU;KACzD,CAAC,CAAC,CAAC;AACN,CAAC;AAED;uDACuD;AACvD,MAAM,CAAC,MAAM,oBAAoB,GAAG;;;;;;;;wFAQoD,CAAC;AAEzF;;gFAEgF;AAChF,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,GAAa;IAC1D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;QACpD,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAAe,EACf,UAAiC,EACjC,MAA8B,EAC9B,MAAqB,EACrB,aAAyB,WAAW,EACpC,OAAe,aAAa;IAE5B,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,GAAG;SACb,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QACzB,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;IAC7D,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC;QACrB,YAAY,EAAE,oBAAoB;QAClC,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EACL,aAAa,OAAO,MAAM;oBAC1B,4BAA4B,IAAI,MAAM;oBACtC,0DAA0D;aAC7D;SACF;QACD,UAAU;QACV,MAAM;KACP,CAAC,CAAC;IAEH,OAAO,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AAC5C,CAAC;AA8BD;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,OAAe,EACf,MAA8B,EAC9B,IAAc;IAEd,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,IAAI,WAAW,CAAC;IAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,MAAM,WAAW,GACf,IAAI,CAAC,WAAW;QAChB,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CACpB,uBAAuB,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,MAAM,gBAAgB,GACpB,IAAI,CAAC,gBAAgB;QACrB,CAAC,CAAC,KAAa,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAEzF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvD,MAAM,UAAU,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAE5C,2EAA2E;IAC3E,MAAM,WAAW,GAAG,MAAM,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAEpD,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,MAAM,SAAS,GAAG,MAAM,kBAAkB,CACxC,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,IAAI,WAAW,EAAE,EACzD,IAAI,CAAC,MAAM,EACX,eAAe,CAChB,CAAC;QACF,KAAK,CAAC,IAAI,CAAC;YACT,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,SAAS;YACT,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,MAAM,EAAE,CAAC,CAAC,MAAM;SACjB,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,OAAO;QACP,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;QAC7E,KAAK;KACN,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
import { type Verifier, type VerifyFinding } from './verify.js';
|
|
2
|
+
/** Default cap on produce→verify attempts. A few passes to fix what the gate
|
|
3
|
+
* found; if it can't, the run is not done rather than shipping unmet work. */
|
|
4
|
+
export declare const DEFAULT_MAX_VERIFY_ATTEMPTS = 3;
|
|
5
|
+
/** What the producer is told for one attempt: the findings from the previous
|
|
6
|
+
* verify (empty on the first attempt) to fix, and the 1-based attempt number. */
|
|
7
|
+
export interface ProduceAttempt {
|
|
8
|
+
findings: VerifyFinding[];
|
|
9
|
+
attempt: number;
|
|
10
|
+
}
|
|
11
|
+
export interface RunWithVerifyInput {
|
|
12
|
+
capability: string;
|
|
13
|
+
/** The verifier name the capability declared (`descriptor.verify`). */
|
|
14
|
+
verify: string;
|
|
15
|
+
/** Produce the artefact and return the producer's final text. The first call
|
|
16
|
+
* gets no findings; later calls get the prior verdict's findings to fix. */
|
|
17
|
+
produce: (attempt: ProduceAttempt) => Promise<string>;
|
|
18
|
+
/** The resolved check — reads the produced artefact back and verifies it. */
|
|
19
|
+
verifier: Verifier;
|
|
20
|
+
/** Cap on attempts. Defaults to DEFAULT_MAX_VERIFY_ATTEMPTS. */
|
|
21
|
+
maxAttempts?: number;
|
|
22
|
+
}
|
|
23
|
+
export interface RunWithVerifyResult {
|
|
24
|
+
/** The converged producer output, or the last attempt's if it never did. */
|
|
25
|
+
result: string;
|
|
26
|
+
/** How many produce→verify attempts ran (1-based). */
|
|
27
|
+
attempts: number;
|
|
28
|
+
/** Whether the verifier ultimately passed. */
|
|
29
|
+
converged: boolean;
|
|
30
|
+
/** The final attempt's findings — empty when converged. */
|
|
31
|
+
findings: VerifyFinding[];
|
|
32
|
+
}
|
|
33
|
+
/**
|
|
34
|
+
* Run the produce→verify loop. Returns the outcome truthfully (converged or not)
|
|
35
|
+
* rather than throwing — the host decides whether a non-converged run fails the
|
|
36
|
+
* work (`enforceConverged`) or is recorded (the cross-model matrix wants the
|
|
37
|
+
* attempt count, not an exception). Always runs `produce` at least once.
|
|
38
|
+
*/
|
|
39
|
+
export declare function runWithVerify(input: RunWithVerifyInput): Promise<RunWithVerifyResult>;
|
|
40
|
+
/**
|
|
41
|
+
* Fail-closed gate over a run's outcome: throw when it didn't converge, with the
|
|
42
|
+
* unmet findings, so a host that must not ship red is a one-liner. Returns the
|
|
43
|
+
* result unchanged when it converged.
|
|
44
|
+
*/
|
|
45
|
+
export declare function enforceConverged(capability: string, verify: string, outcome: RunWithVerifyResult): RunWithVerifyResult;
|
|
46
|
+
//# sourceMappingURL=run-verify.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"run-verify.d.ts","sourceRoot":"","sources":["../src/run-verify.ts"],"names":[],"mappings":"AAYA,OAAO,EAA2B,KAAK,QAAQ,EAAE,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAEzF;8EAC8E;AAC9E,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C;iFACiF;AACjF,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,uEAAuE;IACvE,MAAM,EAAE,MAAM,CAAC;IACf;gFAC4E;IAC5E,OAAO,EAAE,CAAC,OAAO,EAAE,cAAc,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,6EAA6E;IAC7E,QAAQ,EAAE,QAAQ,CAAC;IACnB,gEAAgE;IAChE,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,mBAAmB;IAClC,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC;IACf,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB,8CAA8C;IAC9C,SAAS,EAAE,OAAO,CAAC;IACnB,2DAA2D;IAC3D,QAAQ,EAAE,aAAa,EAAE,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAsB,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAwB3F;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,mBAAmB,GAC3B,mBAAmB,CAOrB"}
|
|
@@ -0,0 +1,56 @@
|
|
|
1
|
+
// The verify runner — the shared produce→verify→re-produce loop that enforces a
|
|
2
|
+
// capability's declared postcondition. A capability that declares a `verify` is
|
|
3
|
+
// "done" only when its verifier passes: produce, check, and on a not-clean
|
|
4
|
+
// verdict re-produce with the findings folded in, looping to a cap. The
|
|
5
|
+
// producer's output is an INPUT to the check, never trusted as final.
|
|
6
|
+
//
|
|
7
|
+
// PURE of model + IO: `produce` (the host's enact/tool loop) and `verifier` (the
|
|
8
|
+
// host's resolved check, reading the artefact back through its own adapter) are
|
|
9
|
+
// injected, so the loop is provider-agnostic and unit-testable with no network.
|
|
10
|
+
// It is the binary-gate sibling of the score-based refine loop (Ralph
|
|
11
|
+
// runRefineLoop); a rubric/prose verify that needs scoring routes through that.
|
|
12
|
+
import { isClean, formatFindings } from './verify.js';
|
|
13
|
+
/** Default cap on produce→verify attempts. A few passes to fix what the gate
|
|
14
|
+
* found; if it can't, the run is not done rather than shipping unmet work. */
|
|
15
|
+
export const DEFAULT_MAX_VERIFY_ATTEMPTS = 3;
|
|
16
|
+
/**
|
|
17
|
+
* Run the produce→verify loop. Returns the outcome truthfully (converged or not)
|
|
18
|
+
* rather than throwing — the host decides whether a non-converged run fails the
|
|
19
|
+
* work (`enforceConverged`) or is recorded (the cross-model matrix wants the
|
|
20
|
+
* attempt count, not an exception). Always runs `produce` at least once.
|
|
21
|
+
*/
|
|
22
|
+
export async function runWithVerify(input) {
|
|
23
|
+
// Non-finite (NaN/Infinity from a `Number(unset_env)` or a bad config) falls
|
|
24
|
+
// back to the default — `??` only catches null/undefined, and a NaN cap would
|
|
25
|
+
// make the loop run zero attempts, silently skipping the work.
|
|
26
|
+
const requested = input.maxAttempts;
|
|
27
|
+
const cap = Number.isFinite(requested) ? requested : DEFAULT_MAX_VERIFY_ATTEMPTS;
|
|
28
|
+
const max = Math.max(1, Math.floor(cap));
|
|
29
|
+
let findings = [];
|
|
30
|
+
let result = '';
|
|
31
|
+
for (let attempt = 1; attempt <= max; attempt += 1) {
|
|
32
|
+
result = await input.produce({ findings, attempt });
|
|
33
|
+
const verdict = await input.verifier({
|
|
34
|
+
capability: input.capability,
|
|
35
|
+
verify: input.verify,
|
|
36
|
+
result,
|
|
37
|
+
});
|
|
38
|
+
if (isClean(verdict)) {
|
|
39
|
+
return { result, attempts: attempt, converged: true, findings: [] };
|
|
40
|
+
}
|
|
41
|
+
findings = verdict.findings;
|
|
42
|
+
}
|
|
43
|
+
return { result, attempts: max, converged: false, findings };
|
|
44
|
+
}
|
|
45
|
+
/**
|
|
46
|
+
* Fail-closed gate over a run's outcome: throw when it didn't converge, with the
|
|
47
|
+
* unmet findings, so a host that must not ship red is a one-liner. Returns the
|
|
48
|
+
* result unchanged when it converged.
|
|
49
|
+
*/
|
|
50
|
+
export function enforceConverged(capability, verify, outcome) {
|
|
51
|
+
if (!outcome.converged) {
|
|
52
|
+
throw new Error(`${capability} failed its verify (${verify}) after ${outcome.attempts} attempt(s):\n${formatFindings(outcome.findings)}`);
|
|
53
|
+
}
|
|
54
|
+
return outcome;
|
|
55
|
+
}
|
|
56
|
+
//# sourceMappingURL=run-verify.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"run-verify.js","sourceRoot":"","sources":["../src/run-verify.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,2EAA2E;AAC3E,wEAAwE;AACxE,sEAAsE;AACtE,EAAE;AACF,iFAAiF;AACjF,gFAAgF;AAChF,gFAAgF;AAChF,sEAAsE;AACtE,gFAAgF;AAEhF,OAAO,EAAE,OAAO,EAAE,cAAc,EAAqC,MAAM,aAAa,CAAC;AAEzF;8EAC8E;AAC9E,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAiC7C;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,KAAyB;IAC3D,6EAA6E;IAC7E,8EAA8E;IAC9E,+DAA+D;IAC/D,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC;IACpC,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAE,SAAoB,CAAC,CAAC,CAAC,2BAA2B,CAAC;IAC7F,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,IAAI,QAAQ,GAAoB,EAAE,CAAC;IACnC,IAAI,MAAM,GAAG,EAAE,CAAC;IAEhB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,GAAG,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACnD,MAAM,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACpD,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC;YACnC,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,MAAM;SACP,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;IAC9B,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC/D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,UAAkB,EAClB,MAAc,EACd,OAA4B;IAE5B,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,GAAG,UAAU,uBAAuB,MAAM,WAAW,OAAO,CAAC,QAAQ,iBAAiB,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CACzH,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
|
package/dist/verify.d.ts
ADDED
|
@@ -0,0 +1,44 @@
|
|
|
1
|
+
/** How a capability's (or practice's) conformance is checked: a mechanical check
|
|
2
|
+
* (gate), a model scored against a rubric (threshold), or irreducible judgement
|
|
3
|
+
* (advisory, not a gate). */
|
|
4
|
+
export type VerifyKind = 'deterministic' | 'rubric' | 'prose';
|
|
5
|
+
/** One thing a verifier found wrong, model-actionable so a re-produce can fix
|
|
6
|
+
* it. `kind` is the verifier's own finding code (e.g. `DTCG`, `VALUE_DRIFT`). */
|
|
7
|
+
export interface VerifyFinding {
|
|
8
|
+
kind: string;
|
|
9
|
+
file?: string;
|
|
10
|
+
where?: string;
|
|
11
|
+
message: string;
|
|
12
|
+
}
|
|
13
|
+
/** A verifier's verdict. `ok` is the pass/fail (a rubric/prose verifier may pass
|
|
14
|
+
* or fail with no structured findings); `findings` are the actionable detail a
|
|
15
|
+
* re-produce fixes. A deterministic verifier keeps them in lock-step (`ok` ⟺ no
|
|
16
|
+
* findings); use `isClean` rather than reading either field alone. */
|
|
17
|
+
export interface VerifyResult {
|
|
18
|
+
ok: boolean;
|
|
19
|
+
findings: VerifyFinding[];
|
|
20
|
+
}
|
|
21
|
+
/** What the runtime hands a verifier. The producer's `result` is grounding for a
|
|
22
|
+
* rubric/judge; a deterministic verifier ignores it and reads the produced
|
|
23
|
+
* artefact back itself (off a branch, off disk) — which is why the host binds
|
|
24
|
+
* its own IO into the closure rather than this carrying a repo handle. */
|
|
25
|
+
export interface VerifyInput {
|
|
26
|
+
capability: string;
|
|
27
|
+
/** The verifier name the capability declared (`descriptor.verify`). */
|
|
28
|
+
verify: string;
|
|
29
|
+
/** The producer's final text. */
|
|
30
|
+
result: string;
|
|
31
|
+
}
|
|
32
|
+
/** The check the runtime runs as a hard postcondition — the producer's output is
|
|
33
|
+
* an INPUT to it, never trusted as final. Async: a real check reads an artefact
|
|
34
|
+
* back or calls a judge. */
|
|
35
|
+
export type Verifier = (input: VerifyInput) => Promise<VerifyResult>;
|
|
36
|
+
/** True when a run passed its verify — fail-closed across all kinds. A
|
|
37
|
+
* deterministic verifier signals pass by empty findings; a rubric/prose one
|
|
38
|
+
* signals it by `ok` and may carry no structured findings — so EITHER a falsy
|
|
39
|
+
* `ok` or any finding reads as not-clean, and a malformed `{ ok: true,
|
|
40
|
+
* findings: [...] }` stays not-clean too. */
|
|
41
|
+
export declare function isClean(result: VerifyResult): boolean;
|
|
42
|
+
/** Render findings as model-readable lines for a re-produce directive. */
|
|
43
|
+
export declare function formatFindings(findings: VerifyFinding[]): string;
|
|
44
|
+
//# sourceMappingURL=verify.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAMA;;6BAE6B;AAC7B,MAAM,MAAM,UAAU,GAAG,eAAe,GAAG,QAAQ,GAAG,OAAO,CAAC;AAE9D;iFACiF;AACjF,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;sEAGsE;AACtE,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,aAAa,EAAE,CAAC;CAC3B;AAED;;;0EAG0E;AAC1E,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,uEAAuE;IACvE,MAAM,EAAE,MAAM,CAAC;IACf,iCAAiC;IACjC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;4BAE4B;AAC5B,MAAM,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,WAAW,KAAK,OAAO,CAAC,YAAY,CAAC,CAAC;AAErE;;;;6CAI6C;AAC7C,wBAAgB,OAAO,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAErD;AAED,0EAA0E;AAC1E,wBAAgB,cAAc,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,MAAM,CAMhE"}
|
package/dist/verify.js
ADDED
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
// The verify contract — shared vocabulary for a capability's enforced
|
|
2
|
+
// postcondition. A capability declares a `verify` name (index.ts); the runtime
|
|
3
|
+
// resolves it to a Verifier and runs it as a hard gate, looping the producer on
|
|
4
|
+
// its findings until clean. `kind` says how conformance is judged — the same
|
|
5
|
+
// spectrum the refine/eval loop tools use (deterministic / judge / practices).
|
|
6
|
+
/** True when a run passed its verify — fail-closed across all kinds. A
|
|
7
|
+
* deterministic verifier signals pass by empty findings; a rubric/prose one
|
|
8
|
+
* signals it by `ok` and may carry no structured findings — so EITHER a falsy
|
|
9
|
+
* `ok` or any finding reads as not-clean, and a malformed `{ ok: true,
|
|
10
|
+
* findings: [...] }` stays not-clean too. */
|
|
11
|
+
export function isClean(result) {
|
|
12
|
+
return result.ok && result.findings.length === 0;
|
|
13
|
+
}
|
|
14
|
+
/** Render findings as model-readable lines for a re-produce directive. */
|
|
15
|
+
export function formatFindings(findings) {
|
|
16
|
+
return findings
|
|
17
|
+
.map((f) => `- ${f.kind}${f.file ? ` ${f.file}` : ''}${f.where ? ` ${f.where}` : ''}: ${f.message}`)
|
|
18
|
+
.join('\n');
|
|
19
|
+
}
|
|
20
|
+
//# sourceMappingURL=verify.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify.js","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,+EAA+E;AAC/E,gFAAgF;AAChF,6EAA6E;AAC7E,+EAA+E;AA0C/E;;;;6CAI6C;AAC7C,MAAM,UAAU,OAAO,CAAC,MAAoB;IAC1C,OAAO,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;AACnD,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,cAAc,CAAC,QAAyB;IACtD,OAAO,QAAQ;SACZ,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,CAC/F;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC"}
|
package/llms.txt
CHANGED
|
@@ -1,12 +1,19 @@
|
|
|
1
1
|
# @verevoir/recipes
|
|
2
2
|
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
3
|
+
Descriptor formats + zero-dependency parsers, plus the practices/capabilities
|
|
4
|
+
engine. A descriptor is a flat-frontmatter `.md`. Two kinds:
|
|
5
|
+
- a **recipe** (a.k.a. skill): a parameterised procedure (typed inputs →
|
|
6
|
+
instructions → result) a host compiles to a chat-time tool, an MCP prompt, or
|
|
7
|
+
runs inline;
|
|
8
|
+
- a **capability**: the data half of an outcome-shaped procedure — its
|
|
9
|
+
postcondition and its edges (composition / follow-on), with optional tool
|
|
10
|
+
inputs, gate, grants, and execution mode.
|
|
8
11
|
|
|
9
|
-
|
|
12
|
+
Plumbing only — the descriptor content lives in a project's corpus (e.g. a
|
|
13
|
+
guardrails repo) and is loaded at runtime; a different corpus is a different set
|
|
14
|
+
with no code change.
|
|
15
|
+
|
|
16
|
+
## Recipe (skill) format
|
|
10
17
|
|
|
11
18
|
`.md` with flat frontmatter (no YAML dep) + an instruction body:
|
|
12
19
|
- `id` (required, = filename stem), `name` (required), `description` (required)
|
|
@@ -18,21 +25,83 @@ at runtime; a different corpus is a different recipe set with no code change.
|
|
|
18
25
|
- `agent`: optional A2A endpoint
|
|
19
26
|
- body after closing `---` = instructions
|
|
20
27
|
|
|
21
|
-
##
|
|
28
|
+
## Capability format
|
|
29
|
+
|
|
30
|
+
`.md` with flat frontmatter + an optional guidance body. Unrecognised keys are
|
|
31
|
+
ignored, so the format is forward-compatible.
|
|
32
|
+
- `type` (required, = filename stem), `postcondition` (required, "you will have …")
|
|
33
|
+
- `composes`: inline list — capabilities whose outcomes this one builds on
|
|
34
|
+
- `nextSteps`: inline list — candidate follow-on capabilities
|
|
35
|
+
- `grants`: inline list — tool permissions beyond the read-only floor (least
|
|
36
|
+
permission; empty = read-only)
|
|
37
|
+
- `gate`: `none` (default) | `proposes` | `assent` — human-in-the-loop level for
|
|
38
|
+
running the executor
|
|
39
|
+
- `execution`: `native` | `inline` | `compose` — how it runs (absent ⇒ the
|
|
40
|
+
engine infers from `composes` / executors)
|
|
41
|
+
- `name`, `description`: tool display name + the description the model sees when
|
|
42
|
+
the capability compiles to a conversation tool
|
|
43
|
+
- `inputs`: block list (same `- <name>: <type> (required) — <description>` shape
|
|
44
|
+
as a recipe), present when the capability is a conversation tool
|
|
45
|
+
- `output`: free-text description of what it produces
|
|
46
|
+
- body after closing `---` = guidance (or, for `inline`, the prompt)
|
|
47
|
+
|
|
48
|
+
## API (root — `@verevoir/recipes`)
|
|
49
|
+
|
|
50
|
+
Parser only; zero runtime deps, no model adapter pulled in.
|
|
22
51
|
|
|
23
52
|
- `parseSkill(idHint, raw): SkillDescriptor` — throws `SkillParseError` on malformed input (no fence / missing required key / id≠filename).
|
|
24
53
|
- `isReasoningSkill(skill): boolean` — true when no `handler` (the ones worth exposing as prompts/inline tools).
|
|
25
54
|
- `renderSkillPrompt(skill, args): string` — instructions + supplied non-empty inputs, as the body a host model executes.
|
|
26
|
-
-
|
|
55
|
+
- `parseCapability(idHint, raw): CapabilityDescriptor` — throws `CapabilityParseError` on malformed input (no fence / missing required key / type≠filename).
|
|
56
|
+
- Recipe types: `SkillDescriptor`, `SkillInput` (`{name,type,required,description}`), `SkillInputType`, `SkillModelClass` (`'reasoning'|'extraction'`), `SkillParseError`.
|
|
57
|
+
- Capability types: `CapabilityDescriptor`, `CapabilityInput`, `CapabilityGate` (`'none'|'proposes'|'assent'`), `CapabilityExecution` (`'native'|'inline'|'compose'`), `CapabilityParseError`.
|
|
58
|
+
|
|
59
|
+
`CapabilityDescriptor` shape: `type`, `postcondition`, `composes` (string[]),
|
|
60
|
+
`nextSteps` (string[]), `grants` (string[]), `gate`, `execution?`, `name?`,
|
|
61
|
+
`description?`, `inputs` (CapabilityInput[]), `output?`, `guidance`.
|
|
62
|
+
|
|
63
|
+
## Engine (subpath — `@verevoir/recipes/engine`)
|
|
64
|
+
|
|
65
|
+
Separate export so parser-only consumers never load the model adapter
|
|
66
|
+
(`@verevoir/llm/anthropic`) or its `@anthropic-ai/sdk` peer. The engine over the
|
|
67
|
+
parsed descriptors:
|
|
68
|
+
|
|
69
|
+
- **Retrieval** — `buildCapabilityIndex`, `retrieveCapabilities(prose, corpus, embedder, k?)` (top-`k` advisory matches as `SurfacedCapability` `{type, summary}`), `cosine`, `addressingText`, `DEFAULT_K`; types `Embedder`, `CapabilityIndex`, `RetrievedCapability`, `SurfacedCapability`. The caller supplies the embedder — recipes bundles none.
|
|
70
|
+
- **Provisioning** — `provisionPractices`, `selectConcernTags` (concern-tagging; takes an optional `chat: ChatFn` defaulting to Anthropic, so it runs on any `@verevoir/llm` provider), `parseConcernTags`, `findPractices`, `declaredConcernsOf`; constants `FOUNDATIONAL`, `CONCERN_MENU`, `CONCERN_PRACTICES`; types `Concern`, `ProvisionInput`, `ChatFn`.
|
|
71
|
+
- **Planning** — `planExecution`, `buildPlanGraph`, `selectEntryCapabilities`, `parseSelectedIds`, `NARROW_SYSTEM_PROMPT`; types `PlanNode`, `ExecutionPlan`, `PlanDeps`.
|
|
27
72
|
|
|
28
73
|
## Consumers
|
|
29
74
|
|
|
30
|
-
The aigency web app (compiles recipes to chat tools) and
|
|
31
|
-
reasoning recipes as MCP prompts
|
|
32
|
-
|
|
75
|
+
The aigency web app (compiles recipes to chat tools, runs the engine) and
|
|
76
|
+
`@verevoir/mcp` (exposes reasoning recipes as MCP prompts; `provision` /
|
|
77
|
+
capability surfacing drive the engine) parse with this one library — one
|
|
78
|
+
descriptor format, many surfaces.
|
|
79
|
+
|
|
80
|
+
## Model-matrix smoke test
|
|
81
|
+
|
|
82
|
+
`docs/model-matrix-smoke.md` documents a periodic, low-cost check that the
|
|
83
|
+
capability/practice mechanism is hooked and behaves consistently across the
|
|
84
|
+
model spectrum (Anthropic, Google, Mistral, SambaNova's Llama + DeepSeek). It is
|
|
85
|
+
a smoke test of the *mechanism*, not a model benchmark — it does not judge which
|
|
86
|
+
model is better. Each cell (provider × workload-shape) confirms two
|
|
87
|
+
provider-varying halves both fire: (1) `provisionPractices` runs its
|
|
88
|
+
concern-tagging call on that cell's own provider (a non-empty practice set ⇒ the
|
|
89
|
+
mechanism is hooked there); (2) `chatWithToolLoop` runs with the provisioned
|
|
90
|
+
frame and the model calls ≥1 tool + returns a final answer (⇒ the provider can
|
|
91
|
+
drive the tool loop enactment depends on). Two workload shapes are exercised:
|
|
92
|
+
*story-shaped* (surgical, one concern — demands exclusion) and *prd-shaped*
|
|
93
|
+
(breadth, many concerns); prd-shaped is expected to provision more practices than
|
|
94
|
+
story-shaped on every provider. The runner lives in the host that has every
|
|
95
|
+
provider SDK + keys (`aigency-web/scripts/matrix-smoke.ts`), makes real (small)
|
|
96
|
+
API calls, is gated behind the env keys, and is never run in CI — an occasional
|
|
97
|
+
regression check after touching the engine, the provider adapters, or the
|
|
98
|
+
concern taxonomy. Gemini runs `chat`-only (function-calling is a follow-up), so
|
|
99
|
+
its cells are flagged tools-pending rather than counted as tool-driving.
|
|
33
100
|
|
|
34
101
|
## Notes
|
|
35
102
|
|
|
36
103
|
- ESM only, Node >= 20. Apache-2.0.
|
|
37
|
-
-
|
|
38
|
-
`recipes` to avoid colliding with the host *capability* concept.
|
|
104
|
+
- Recipe function/type names keep the `Skill*` prefix (AOA origin); the package
|
|
105
|
+
is `recipes` to avoid colliding with the host *capability* concept.
|
|
106
|
+
- `@verevoir/llm` + `@anthropic-ai/sdk` are optional peers — needed only for the
|
|
107
|
+
engine's reasoning calls, never for the root parser.
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@verevoir/recipes",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.10.0",
|
|
4
4
|
"description": "Recipe-descriptor format + zero-dependency parser: a flat-frontmatter .md describes a parameterised procedure (typed inputs → instructions → result) that a host compiles to a chat-time tool or an MCP prompt.",
|
|
5
5
|
"license": "Apache-2.0",
|
|
6
6
|
"type": "module",
|
|
@@ -35,10 +35,10 @@
|
|
|
35
35
|
"devDependencies": {
|
|
36
36
|
"@anthropic-ai/sdk": "^0.95.2",
|
|
37
37
|
"@types/node": "^25.8.0",
|
|
38
|
+
"@verevoir/llm": "^0.13.0",
|
|
38
39
|
"prettier": "^3",
|
|
39
40
|
"typescript": "^5",
|
|
40
|
-
"vitest": "^4"
|
|
41
|
-
"@verevoir/llm": "^0.13.0"
|
|
41
|
+
"vitest": "^4"
|
|
42
42
|
},
|
|
43
43
|
"publishConfig": {
|
|
44
44
|
"access": "public"
|
|
@@ -51,8 +51,8 @@
|
|
|
51
51
|
"node": ">=20"
|
|
52
52
|
},
|
|
53
53
|
"peerDependencies": {
|
|
54
|
-
"@
|
|
55
|
-
"@
|
|
54
|
+
"@anthropic-ai/sdk": "*",
|
|
55
|
+
"@verevoir/llm": ">=0.9.0"
|
|
56
56
|
},
|
|
57
57
|
"peerDependenciesMeta": {
|
|
58
58
|
"@verevoir/llm": {
|
|
@@ -61,5 +61,8 @@
|
|
|
61
61
|
"@anthropic-ai/sdk": {
|
|
62
62
|
"optional": true
|
|
63
63
|
}
|
|
64
|
+
},
|
|
65
|
+
"overrides": {
|
|
66
|
+
"vite": "^8.0.16"
|
|
64
67
|
}
|
|
65
68
|
}
|