agency-lang 0.11.0 → 0.13.0

package/dist/lib/agents/agency-agent/lib/models.js

@@ -326,7 +326,7 @@ async function __missingProviderEnvVar_impl(provider) {
       });
       await runner.ifElse(4, [
         {
-          condition: async () => !__eq(__stack.locals.baseVar, void 0) && (__eq(await __call(env, {
+          condition: async () => !__eq(__stack.locals.baseVar, null) && (__eq(await __call(env, {
             type: "positional",
             args: [__stack.locals.baseVar]
           }), null) || __eq(await __call(env, {
@@ -948,7 +948,7 @@ async function __resolveDetected_impl(model, fast, slow, provider) {
             });
             await runner2.ifElse(1, [
               {
-                condition: async () => __eq(__nn(__readStatic(MODELS, "MODELS", "dist/lib/agents/agency-agent/lib/models.agency")[__stack.args.provider]), void 0) && (__stack.locals.needFast || __stack.locals.needSlow),
+                condition: async () => __eq(__nn(__readStatic(MODELS, "MODELS", "dist/lib/agents/agency-agent/lib/models.agency")[__stack.args.provider]), null) && (__stack.locals.needFast || __stack.locals.needSlow),
                 body: async (runner3) => {
                   await runner3.step(0, async (runner4) => {
                     __stack.locals.known = await __callMethod(Object, "keys", {

package/dist/lib/agents/agency-agent/lib/repl.js

@@ -441,7 +441,7 @@ async function __searchSlashCommand_impl() {
       });
       await runner.ifElse(4, [
         {
-          condition: async () => !__eq(__stack.locals.choice, ``) && !__eq(__stack.locals.choice, null) && !__eq(__stack.locals.choice, void 0),
+          condition: async () => !__eq(__stack.locals.choice, ``) && !__eq(__stack.locals.choice, null) && !__eq(__stack.locals.choice, null),
           body: async (runner2) => {
             await runner2.step(0, async (runner3) => {
               const __funcResult = await __call(setSearchBackend, {

package/dist/lib/agents/agency-agent/lib/search.js

@@ -2047,7 +2047,7 @@ async function __appendTool_impl(opts, tool) {
       });
       await runner.ifElse(2, [
         {
-          condition: async () => __eq(__stack.locals.base, null) || __eq(__stack.locals.base, void 0),
+          condition: async () => __eq(__stack.locals.base, null) || __eq(__stack.locals.base, null),
           body: async (runner2) => {
             await runner2.step(0, async (runner3) => {
               __stack.locals.base = [];
@@ -2196,7 +2196,7 @@ async function __withWebSearch_impl(opts) {
       });
       await runner.ifElse(3, [
         {
-          condition: async () => !__eq(__stack.locals.tool, null) && !__eq(__stack.locals.tool, void 0),
+          condition: async () => !__eq(__stack.locals.tool, null) && !__eq(__stack.locals.tool, null),
           body: async (runner2) => {
             await runner2.step(0, async (runner3) => {
               const __funcResult = await __call(appendTool, {
@@ -2221,7 +2221,7 @@ async function __withWebSearch_impl(opts) {
       });
       await runner.ifElse(5, [
         {
-          condition: async () => !__eq(__stack.locals.hosted, null) && !__eq(__stack.locals.hosted, void 0),
+          condition: async () => !__eq(__stack.locals.hosted, null) && !__eq(__stack.locals.hosted, null),
           body: async (runner2) => {
             await runner2.step(0, async (runner3) => {
               __stack.args.opts.hostedTools = __stack.locals.hosted;
@@ -2558,7 +2558,7 @@ async function __configureSearch_impl(isLocal) {
       });
       await runner.ifElse(5, [
         {
-          condition: async () => !__eq(__stack.locals.settings.search, null) && !__eq(__stack.locals.settings.search, void 0),
+          condition: async () => !__eq(__stack.locals.settings.search, null) && !__eq(__stack.locals.settings.search, null),
           body: async (runner2) => {
             await runner2.step(0, async (runner3) => {
               __stack.locals.saved = __stack.locals.settings.search.backend ?? ``;

package/dist/lib/agents/agency-agent/lib/utils/renderLLMCallResponse.js

@@ -233,7 +233,7 @@ async function __renderLLMCallResponse_impl(data) {
       });
       await runner.ifElse(2, [
         {
-          condition: async () => !__eq(__stack.args.data.output, ``) && !__eq(__stack.args.data.output, null) && !__eq(__stack.args.data.output, void 0),
+          condition: async () => !__eq(__stack.args.data.output, ``) && !__eq(__stack.args.data.output, null) && !__eq(__stack.args.data.output, null),
           body: async (runner2) => {
             await runner2.step(0, async (runner3) => {
               await __callMethod(__stack.locals.response, "push", {

package/dist/lib/agents/agency-agent/tests/search.js

@@ -1912,7 +1912,7 @@ graph.node("tavilyBackendAppendsOneSearchTool", async (__state) => {
         }
       });
       await runner.step(3, async (runner2) => {
-        __stack.locals.hostedSet = !__eq(__stack.locals.opts.hostedTools, null) && !__eq(__stack.locals.opts.hostedTools, void 0);
+        __stack.locals.hostedSet = !__eq(__stack.locals.opts.hostedTools, null) && !__eq(__stack.locals.opts.hostedTools, null);
       });
       await runner.step(4, async (runner2) => {
         __stack.locals.__hoist_0 = await __call(toolCount, {
@@ -2043,7 +2043,7 @@ graph.node("offBackendLeavesOptsUnchanged", async (__state) => {
         }
       });
       await runner.step(3, async (runner2) => {
-        __stack.locals.hostedSet = !__eq(__stack.locals.opts.hostedTools, null) && !__eq(__stack.locals.opts.hostedTools, void 0);
+        __stack.locals.hostedSet = !__eq(__stack.locals.opts.hostedTools, null) && !__eq(__stack.locals.opts.hostedTools, null);
       });
       await runner.step(4, async (runner2) => {
         __stack.locals.__hoist_0 = await __call(toolCount, {

package/dist/lib/agents/agency-agent/tests/settings.js

@@ -393,7 +393,7 @@ graph.node("missingFileLoadsAsEmpty", async (__state) => {
       });
       await runner.ifElse(4, [
         {
-          condition: async () => __eq(__stack.locals.loaded.search, null) || __eq(__stack.locals.loaded.search, void 0),
+          condition: async () => __eq(__stack.locals.loaded.search, null) || __eq(__stack.locals.loaded.search, null),
           body: async (runner2) => {
             await runner2.step(0, async (runner3) => {
               runner3.halt({
@@ -521,7 +521,7 @@ graph.node("corruptFileLoadsAsEmpty", async (__state) => {
       });
       await runner.ifElse(4, [
         {
-          condition: async () => __eq(__stack.locals.loaded.search, null) || __eq(__stack.locals.loaded.search, void 0),
+          condition: async () => __eq(__stack.locals.loaded.search, null) || __eq(__stack.locals.loaded.search, null),
           body: async (runner2) => {
             await runner2.step(0, async (runner3) => {
               runner3.halt({

package/dist/lib/agents/eval/goalJudge.js

@@ -194,7 +194,7 @@ graph.node("main", async (__state) => {
   if (!__state.isResume) {
     __stack.args["goal"] = __state.data.goal;
     __stack.args["output"] = __state.data.output;
-    __stack.args["expected"] = __state.data.expected;
+    __stack.args["expected"] = __state.data.expected === void 0 ? `` : __state.data.expected;
   }
   try {
     await agencyStore.run({
@@ -298,7 +298,7 @@ Reserve scores above 0.5 for outputs that a careful human would accept as a corr
     };
   }
 });
-async function main(goal, output, expected, { messages, callbacks } = {}) {
+async function main(goal, output, expected = ``, { messages, callbacks } = {}) {
   return runNode({
     ctx: __globalCtx,
     nodeName: "main",

package/dist/lib/agents/optimize/mutatePrompt.js

@@ -194,7 +194,7 @@ graph.node("mutatePrompt", async (__state) => {
     __stack.args["goals"] = __state.data.goals;
     __stack.args["feedback"] = __state.data.feedback;
     __stack.args["history"] = __state.data.history;
-    __stack.args["diagnostics"] = __state.data.diagnostics;
+    __stack.args["diagnostics"] = __state.data.diagnostics === void 0 ? `` : __state.data.diagnostics;
   }
   try {
     await agencyStore.run({
@@ -306,7 +306,7 @@ graph.node("mutatePrompt", async (__state) => {
     };
   }
 });
-async function mutatePrompt(targets, goals, feedback, history, diagnostics, { messages, callbacks } = {}) {
+async function mutatePrompt(targets, goals, feedback, history, diagnostics = ``, { messages, callbacks } = {}) {
   return runNode({
     ctx: __globalCtx,
     nodeName: "mutatePrompt",

package/dist/lib/backends/agencyGenerator.d.ts

@@ -1,8 +1,25 @@
-import { AgencyComment, AgencyMultiLineComment, AgencyNode, AgencyProgram, Assignment, Comprehension, DebuggerStatement, Hole, InterruptStatement, Literal, NewLine, ObjectTypeTrivia, ParallelBlock, Scope, SeqBlock, TypeAlias, VariableType } from "../types.js";
+import { AgencyComment, AgencyMultiLineComment, AgencyNode, AgencyProgram, Assignment, Comprehension, DebuggerStatement, Hole, InterruptStatement, Literal, NewLine, ParallelBlock, Scope, SeqBlock, TypeAlias, VariableType } from "../types.js";
+import { LineComment } from "../types/base.js";
+import { ListTrivia, TriviaNode } from "../types/dataStructures.js";
+/** One rendered list item. `leadingLines` are whole lines that print above
+ *  it (an object-type property's `@validate` tags); the shared renderer
+ *  indents them, so callers hand back plain text. */
+type RenderedListItem = {
+    leadingLines?: string[];
+    code: string;
+};
+type RenderListWithTriviaOptions<T> = {
+    items: T[];
+    trivia: ListTrivia[] | undefined;
+    open: string;
+    close: string;
+    renderItem: (item: T, index: number) => RenderedListItem;
+    separator: (index: number, itemCount: number) => string;
+};
 import { AccessChainElement, ValueAccess } from "../types/access.js";
 import { CodeLiteral } from "../types/codeLiteral.js";
 import { BlockArgument } from "../types/blockArgument.js";
-import { AgencyArray, AgencyObject, Trivia } from "../types/dataStructures.js";
+import { AgencyArray, AgencyObject } from "../types/dataStructures.js";
 import { FunctionCall, FunctionDefinition } from "../types/function.js";
 import { GraphNodeDefinition } from "../types/graphNode.js";
 import { IfElse } from "../types/ifElse.js";
@@ -25,6 +42,7 @@ import { GuardBlock } from "../types/guardBlock.js";
 import { Tag } from "../types/tag.js";
 import { NewExpression } from "../types/newExpression.js";
 import { BindingPattern, MatchPattern } from "../types/pattern.js";
+type TypeRenderPolicy = "source" | "display";
 export declare function escapeStringText(s: string, delim: '"' | "'" | "`"): string;
 export declare class AgencyGenerator {
     protected graphNodes: GraphNodeDefinition[];
@@ -111,13 +129,34 @@ export declare class AgencyGenerator {
     private increaseIndent;
     private decreaseIndent;
     private indentStr;
+    /** `renderItems` is a callback, not an array, because a multi-line item has
+     *  to be built at the depth it will actually print at. Rewriting an
+     *  already-rendered item's lines instead would reach inside triple-quoted
+     *  strings, whose newlines are data rather than layout, and silently change
+     *  the program. So the items are rendered once to measure, and rendered
+     *  again after the indent increases if the list turns out to wrap. */
     private wrapList;
     private renderParams;
+    private renderTypeSource;
+    private renderTypeDisplay;
+    private objectTypeHasPropertyMetadata;
+    private renderType;
     private stringifyProp;
-    protected emitTriviaAt(trivia: (ObjectTypeTrivia | Trivia)[] | undefined, anchorIndex: number, lines: string[]): void;
-    protected aliasedTypeToString(aliasedType: VariableType): string;
+    /** One trivia node as its own source line. */
+    protected renderTriviaNode(node: TriviaNode): string;
+    /** Comments that print on their own line ABOVE item `anchorIndex`. */
+    protected beforeTriviaAt(trivia: ListTrivia[] | undefined, anchorIndex: number): TriviaNode[];
+    /** Comments that print at the END of item `anchorIndex`'s line. */
+    protected trailingTriviaAt(trivia: ListTrivia[] | undefined, anchorIndex: number): LineComment[];
+    /** Render one multiline list, owning indentation and both comment
+     *  placements. Callers supply how to render an item and where separators
+     *  go; they must not place comments themselves. */
+    protected renderListWithTrivia<T>(args: RenderListWithTriviaOptions<T>): string;
+    protected aliasedTypeToString(aliasedType: VariableType, policy: TypeRenderPolicy): string;
+    private renderObjectTypeSource;
     protected processEffectDeclaration(node: EffectDeclaration): string;
     protected processTypeAlias(node: TypeAlias): string;
+    private composeTypeAliasAssignment;
     /**
      * Format the `<T, U = string, ...>` chunk of a generic alias declaration.
      * Returns an empty string when there are no type params.
@@ -181,13 +220,32 @@ export declare class AgencyGenerator {
      *  node and stripping keywords, so all three kinds share one canonical
      *  signature path. */
     signatureOf(node: FunctionDefinition | GraphNodeDefinition | TypeAlias): string;
+    /** Render the annotations that precede a type alias declaration. */
+    declarationAnnotationPrefixOf(node: TypeAlias): string;
     protected processFunctionDefinition(node: FunctionDefinition): string;
     protected processFunctionCall(node: FunctionCall): string;
     protected renderArgs(args: FunctionCall["arguments"], block?: BlockArgument): string[];
-    protected renderArgList(args: FunctionCall["arguments"], block?: BlockArgument): string;
+    /** A list of already-rendered items laid out across lines with its
+     *  comments, or `undefined` when there are none. Callers keep their own
+     *  inline or wrapping behavior for the no-comment case, so trivia-free
+     *  output is untouched; a comment cannot share a line with what follows
+     *  it, so its presence forces the multiline form. */
+    protected renderListIfTrivia(rendered: string[], trivia: ListTrivia[] | undefined, open: string, close: string): string | undefined;
+    /** The one way a parenthesized `( ... )` list is printed. Without trivia
+     *  it keeps `wrapList`'s compact/wrapping behavior exactly; with trivia it
+     *  goes multiline. `rendered` must already be in canonical print order —
+     *  for a call that means `renderArgs` has appended any inline block last,
+     *  matching how `extractInlineBlock` remapped the anchors. */
+    protected renderParenList(renderItems: () => string[], trivia: ListTrivia[] | undefined, prefix: string, suffix: string): string;
+    /** A parenthesized argument list that normally stays on one line
+     *  (access chains, `interrupt`, `guard`). Trivia forces the multiline
+     *  form, since a `//` comment cannot share a line with what follows it. */
+    protected renderArgList(args: FunctionCall["arguments"], block?: BlockArgument, trivia?: ListTrivia[]): string;
     protected generateFunctionCallExpression(node: FunctionCall, context: "valueAccess" | "functionArg" | "topLevelStatement"): string;
     protected processAgencyArray(node: AgencyArray): string;
+    private renderArrayItem;
     protected processAgencyObject(node: AgencyObject): string;
+    private renderObjectEntry;
     private addQuotesToKey;
     protected processValueAccess(node: ValueAccess): string;
     /** Print `[| ... |]`. An expr-kind body that fits one line prints
@@ -200,6 +258,10 @@ export declare class AgencyGenerator {
     protected processCodeLiteral(node: CodeLiteral): string;
     protected asyncAwaitPrefix(code: string, async?: boolean): string;
     protected processMatchBlock(node: MatchBlock): string;
+    /** One arm, without its final newline — a complete construct an
+     *  attached comment can follow. */
+    private renderInlineMatchArm;
+    private renderBlockMatchArm;
     /** Whether a one-statement arm body may print inline (`=> stmt`)
      *  rather than as a `{ ... }` block.
      *
@@ -223,12 +285,21 @@ export declare class AgencyGenerator {
     protected formatIfExpression(node: IfElse): string;
     protected processGotoStatement(node: GotoStatement): string;
     protected processDebuggerStatement(node: DebuggerStatement): string;
+    /** The sole owner of line-comment source text. Do not rebuild
+     *  `//${content}` anywhere else. */
+    protected commentText(comment: LineComment): string;
     protected processComment(node: AgencyComment): string;
+    /** Place an attached comment after already-rendered code. Empty code has
+     *  no construct to attach to, so the comment is left to its owner. */
+    protected appendTrailingComment(code: string, comment: LineComment | undefined): string;
     protected processMultiLineComment(node: AgencyMultiLineComment): string;
     protected formatDocComment(node: {
         docComment?: AgencyMultiLineComment;
     }): string;
     protected processImportStatement(node: ImportStatement): string;
+    /** The names inside an import's `{ ... }`, with their aliases and
+     *  retry-safety markers. Shared by the sole-named and mixed paths. */
+    private renderImportNames;
     protected processImportNameType(node: ImportNameType): string;
     /** Render an imported/re-exported name with its `destructive` or
      *  `idempotent` prefix. A name carries at most one marker. */
@@ -280,3 +351,4 @@ export declare function generateAgency(program: AgencyProgram, opts?: {
  * NOT `expressionToString` (lib/utils/node.ts), which drops string quotes.
  */
 export declare function generateExpression(expr: AgencyNode): string;
+export {};