@odla-ai/harness 0.10.2 → 0.10.3
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/dist/{chunk-VIZALA6O.js → chunk-TMBYA5JX.js} +7 -2
- package/dist/chunk-TMBYA5JX.js.map +1 -0
- package/dist/code-runtime-cli.cjs +6 -1
- package/dist/code-runtime-cli.cjs.map +1 -1
- package/dist/code-runtime-cli.js +1 -1
- package/dist/node.cjs +6 -1
- package/dist/node.cjs.map +1 -1
- package/dist/node.d.cts +9 -0
- package/dist/node.d.ts +9 -0
- package/dist/node.js +1 -1
- package/package.json +1 -1
- package/dist/chunk-VIZALA6O.js.map +0 -1
package/dist/node.d.cts
CHANGED
|
@@ -446,6 +446,13 @@ interface CodeSkillOpts {
|
|
|
446
446
|
* trust boundary; removing mutation tools from the manifest keeps a planner
|
|
447
447
|
* from spending turns calling effects it can never own. */
|
|
448
448
|
readOnly?: boolean;
|
|
449
|
+
/** Whether the session may run registered recipes. Defaults to `!readOnly`.
|
|
450
|
+
* A verifier is read-only and exists to run the proof: a recipe runs in a
|
|
451
|
+
* fresh container and mutates nothing in the workspace, so it is not the
|
|
452
|
+
* effect `readOnly` withholds. Without this a review-role session had no
|
|
453
|
+
* `odla_run_recipe` at all, judged by reading, and every merged verification
|
|
454
|
+
* failed for want of a check it could not perform (PM bug f11df55d). */
|
|
455
|
+
recipes?: boolean;
|
|
449
456
|
/** Exact CaMeL-registered recipes available to this attempt. */
|
|
450
457
|
recipeIds?: readonly string[];
|
|
451
458
|
/** Defaults to v1 so an unqualified run reproduces the baseline. */
|
|
@@ -476,6 +483,8 @@ interface CodeAgentAttemptOptions {
|
|
|
476
483
|
surface?: CodeSurface;
|
|
477
484
|
/** Present only repository inspection tools. */
|
|
478
485
|
readOnly?: boolean;
|
|
486
|
+
/** Whether registered recipes stay available to a read-only session; see CodeSkillOpts.recipes. */
|
|
487
|
+
recipes?: boolean;
|
|
479
488
|
maxSteps?: number;
|
|
480
489
|
/** Exact registered build/test recipe IDs available to the runtime. */
|
|
481
490
|
recipeIds?: readonly string[];
|
package/dist/node.d.ts
CHANGED
|
@@ -446,6 +446,13 @@ interface CodeSkillOpts {
|
|
|
446
446
|
* trust boundary; removing mutation tools from the manifest keeps a planner
|
|
447
447
|
* from spending turns calling effects it can never own. */
|
|
448
448
|
readOnly?: boolean;
|
|
449
|
+
/** Whether the session may run registered recipes. Defaults to `!readOnly`.
|
|
450
|
+
* A verifier is read-only and exists to run the proof: a recipe runs in a
|
|
451
|
+
* fresh container and mutates nothing in the workspace, so it is not the
|
|
452
|
+
* effect `readOnly` withholds. Without this a review-role session had no
|
|
453
|
+
* `odla_run_recipe` at all, judged by reading, and every merged verification
|
|
454
|
+
* failed for want of a check it could not perform (PM bug f11df55d). */
|
|
455
|
+
recipes?: boolean;
|
|
449
456
|
/** Exact CaMeL-registered recipes available to this attempt. */
|
|
450
457
|
recipeIds?: readonly string[];
|
|
451
458
|
/** Defaults to v1 so an unqualified run reproduces the baseline. */
|
|
@@ -476,6 +483,8 @@ interface CodeAgentAttemptOptions {
|
|
|
476
483
|
surface?: CodeSurface;
|
|
477
484
|
/** Present only repository inspection tools. */
|
|
478
485
|
readOnly?: boolean;
|
|
486
|
+
/** Whether registered recipes stay available to a read-only session; see CodeSkillOpts.recipes. */
|
|
487
|
+
recipes?: boolean;
|
|
479
488
|
maxSteps?: number;
|
|
480
489
|
/** Exact registered build/test recipe IDs available to the runtime. */
|
|
481
490
|
recipeIds?: readonly string[];
|
package/dist/node.js
CHANGED
package/package.json
CHANGED