@modelprofile.com/flexharness 10.13.0 → 10.15.0

package/dist_ts/classes.toolcatalog.d.ts

@@ -1,9 +1,11 @@
 import * as plugins from './plugins.js';
-import { type IFlexCatalogDescribeInput, type IFlexCatalogDescribeResult, type IFlexCatalogMethod, type IFlexCatalogRunContext, type IFlexCatalogSearchInput, type IFlexCatalogToolDefinition, type IFlexToolCatalog, type IFlexToolCatalogOptions, type TFlexCatalogCallError } from './interfaces.js';
+import { type IFlexCatalogProposal, type IFlexCatalogProposalContext, type IFlexCodeModeLimits, type TFlexCatalogCallDecision, type IFlexCatalogDescribeInput, type IFlexCatalogDescribeResult, type IFlexCatalogMethod, type IFlexCatalogRunContext, type IFlexCatalogSearchInput, type IFlexCatalogToolDefinition, type IFlexToolCatalog, type IFlexToolCatalogOptions, type TFlexCatalogCallError } from './interfaces.js';
 interface IPreparedCall {
     readonly success: true;
     readonly method: string;
     readonly params: unknown;
+    /** The method's `onCall` decision for the call; `run` without the hook. */
+    decide(context: IFlexCatalogRunContext<any>): Promise<TFlexCatalogCallDecision>;
     run(context: IFlexCatalogRunContext<any>): ReturnType<IFlexCatalogMethod['run']>;
 }
 interface IFailedCall {
@@ -18,6 +20,12 @@ interface IFailedCall {
 export declare class FlexToolCatalog<TScope = unknown> {
     private readonly core;
     private readonly admitted;
+    /** The limits of `run_code`; absent while code mode is off. */
+    readonly codeMode: Readonly<IFlexCodeModeLimits> | undefined;
+    /** Levels of a result's named types a TypeScript declaration declares. */
+    private readonly outputTypeDepth;
+    /** `search` follows a clear top match with its declaration. */
+    private readonly describeTopMatch;
     private namespaceTree?;
     private constructor();
     /**
@@ -32,10 +40,22 @@ export declare class FlexToolCatalog<TScope = unknown> {
     /** The same catalog offering only `paths`. */
     restrict(paths: Iterable<string>): FlexToolCatalog<TScope>;
     has(path: string): boolean;
-    /** The three built-in tools as the model sees them. Their text depends only on the catalog. */
+    /**
+     * The built-in tools as the model sees them: the three catalog tools, and `run_code` in code
+     * mode. Their text depends only on the catalog and its options.
+     */
     toolDefinitions(): Record<string, IFlexCatalogToolDefinition>;
-    /** Search results or a namespace listing as text. */
-    search(input?: IFlexCatalogSearchInput): string;
+    private codeToolDefinition;
+    /** Hands proposed calls to the catalog's `onProposals` and returns what the model sees for them. */
+    propose(proposals: readonly IFlexCatalogProposal[], context: IFlexCatalogProposalContext<TScope>): Promise<unknown>;
+    /**
+     * Search results or a namespace listing as text. A clear top match of a query's first page is
+     * followed by its declaration, as `describe` gives it with `options`.
+     */
+    search(input?: IFlexCatalogSearchInput, options?: {
+        declaredTypes?: Iterable<string>;
+        maxBytes?: number;
+    }): string;
     /**
      * The declarations of `input.methods` and `input.types`. Method declarations bring the named
      * types they use, minus `declaredTypes`, which a session already has.
@@ -44,7 +64,7 @@ export declare class FlexToolCatalog<TScope = unknown> {
         declaredTypes?: Iterable<string>;
         maxBytes?: number;
     }): IFlexCatalogDescribeResult;
-    /** The named types `describe_tools` results in `messages` declared. */
+    /** The named types the `describe_tools` and `search_tools` results in `messages` declared. */
     declaredTypesIn(messages: readonly plugins.ModelMessage[] | undefined): Set<string>;
     /**
      * Resolves and validates a call. A failure is the error `execute` reports to the model; success
@@ -68,8 +88,8 @@ export declare class FlexToolCatalog<TScope = unknown> {
     private foreignIssues;
 }
 /**
- * While a run has a catalog, its three tool names are reserved, and a method path must differ from
- * every tool name.
+ * While a run has a catalog, its tool names are reserved (`run_code` in code mode too), and a
+ * method path must differ from every tool name.
  */
 export declare const assertNoCatalogCollisions: (catalog: FlexToolCatalog<unknown>, tools: Readonly<Record<string, unknown>>) => void;
 /**