invar-tools 1.15.2__py3-none-any.whl → 1.15.3__py3-none-any.whl

invar/templates/pi-tools/invar/index.ts

@@ -69,18 +69,24 @@ const factory: CustomToolFactory = (pi) => {
         const cmd = await resolveInvarCommand();
         const args = [...cmd.args, "guard"];
 
+        // Handle optional parameters with defaults
+        const changed = params.changed ?? true;
+        const contractsOnly = params.contracts_only ?? false;
+        const coverage = params.coverage ?? false;
+        const strict = params.strict ?? false;
+
         // Default is --changed (check modified files)
-        if (params.changed === false) {
+        if (changed === false) {
           args.push("--all");
         }
 
-        if (params.contracts_only) {
+        if (contractsOnly) {
           args.push("-c");
         }
-        if (params.coverage) {
+        if (coverage) {
           args.push("--coverage");
         }
-        if (params.strict) {
+        if (strict) {
           args.push("--strict");
         }
 
@@ -117,6 +123,11 @@ const factory: CustomToolFactory = (pi) => {
       async execute(toolCallId, params, onUpdate, ctx, signal) {
         const cmd = await resolveInvarCommand();
 
+        // Validate required parameter
+        if (!params.target) {
+          throw new Error("Missing required parameter: target (file path or file::symbol)");
+        }
+
         if (!isValidPath(params.target)) {
           throw new Error("Invalid target path: contains unsafe characters or path traversal");
         }
@@ -163,19 +174,21 @@ const factory: CustomToolFactory = (pi) => {
       async execute(toolCallId, params, onUpdate, ctx, signal) {
         const cmd = await resolveInvarCommand();
 
-        if (params.path && params.path !== "." && !isValidPath(params.path)) {
+        // Handle optional parameters with defaults
+        const targetPath = params.path ?? ".";
+        const topN = params.top ?? 10;
+
+        if (targetPath !== "." && !isValidPath(targetPath)) {
           throw new Error("Invalid path: contains unsafe characters or path traversal");
         }
 
         const args = [...cmd.args, "map"];
 
-        if (params.path && params.path !== ".") {
-          args.push(params.path);
+        if (targetPath !== ".") {
+          args.push(targetPath);
         }
 
-        if (params.top) {
-          args.push("--top", params.top.toString());
-        }
+        args.push("--top", topN.toString());
 
         const result = await pi.exec(cmd.command, args, {
           cwd: pi.cwd,
@@ -193,8 +206,8 @@ const factory: CustomToolFactory = (pi) => {
         return {
           content: [{ type: "text", text: result.stdout }],
           details: {
-            path: params.path || ".",
-            top: params.top || 10,
+            path: targetPath,
+            top: topN,
           },
         };
       },
@@ -221,14 +234,22 @@ const factory: CustomToolFactory = (pi) => {
       async execute(toolCallId, params, onUpdate, ctx, signal) {
         const cmd = await resolveInvarCommand();
 
+        // Validate required parameter
+        if (!params.file) {
+          throw new Error("Missing required parameter: file (markdown file path)");
+        }
+
         if (!isValidPath(params.file)) {
           throw new Error("Invalid file path: contains unsafe characters or path traversal");
         }
 
+        // Handle optional parameter with default
+        const maxDepth = params.depth ?? 6;
+
         const args = [...cmd.args, "doc", "toc", params.file];
 
-        if (params.depth && params.depth !== 6) {
-          args.push("--depth", params.depth.toString());
+        if (maxDepth !== 6) {
+          args.push("--depth", maxDepth.toString());
         }
 
         const result = await pi.exec(cmd.command, args, {
@@ -248,7 +269,7 @@ const factory: CustomToolFactory = (pi) => {
           content: [{ type: "text", text: result.stdout }],
           details: {
             file: params.file,
-            depth: params.depth || 6,
+            depth: maxDepth,
           },
         };
       },
@@ -276,13 +297,24 @@ const factory: CustomToolFactory = (pi) => {
       async execute(toolCallId, params, onUpdate, ctx, signal) {
         const cmd = await resolveInvarCommand();
 
+        // Validate required parameters
+        if (!params.file) {
+          throw new Error("Missing required parameter: file (markdown file path)");
+        }
+        if (!params.section) {
+          throw new Error("Missing required parameter: section (section path or identifier)");
+        }
+
         if (!isValidPath(params.file) || !isValidPath(params.section)) {
           throw new Error("Invalid file or section path: contains unsafe characters or path traversal");
         }
 
+        // Handle optional parameter with default
+        const includeChildren = params.children ?? true;
+
         const args = [...cmd.args, "doc", "read", params.file, params.section, "--json"];
 
-        if (params.children === false) {
+        if (includeChildren === false) {
           args.push("--no-children");
         }
 
@@ -335,12 +367,21 @@ const factory: CustomToolFactory = (pi) => {
       async execute(toolCallId, params, onUpdate, ctx, signal) {
         const cmd = await resolveInvarCommand();
 
+        // Validate required parameters
+        if (!params.file) {
+          throw new Error("Missing required parameter: file (markdown file path)");
+        }
+        if (!params.pattern) {
+          throw new Error("Missing required parameter: pattern (glob pattern for section titles)");
+        }
+
         if (!isValidPath(params.file)) {
           throw new Error("Invalid file path: contains unsafe characters or path traversal");
         }
 
         const args = [...cmd.args, "doc", "find", params.pattern, params.file, "--json"];
 
+        // Handle optional parameters
         if (params.content) {
           args.push("--content", params.content);
         }
@@ -397,10 +438,24 @@ const factory: CustomToolFactory = (pi) => {
       async execute(toolCallId, params, onUpdate, ctx, signal) {
         const cmd = await resolveInvarCommand();
 
+        // Validate required parameters
+        if (!params.file) {
+          throw new Error("Missing required parameter: file (markdown file path)");
+        }
+        if (!params.section) {
+          throw new Error("Missing required parameter: section (section path or identifier)");
+        }
+        if (!params.content) {
+          throw new Error("Missing required parameter: content (new content for section)");
+        }
+
         if (!isValidPath(params.file) || !isValidPath(params.section)) {
           throw new Error("Invalid file or section path: contains unsafe characters or path traversal");
         }
 
+        // Handle optional parameter with default
+        const keepHeading = params.keep_heading ?? true;
+
         // Write content to temporary file to avoid shell injection
         const tmpFile = path.join(pi.cwd, `.invar-tmp-${Date.now()}.txt`);
 
@@ -417,7 +472,7 @@ const factory: CustomToolFactory = (pi) => {
             tmpFile,
           ];
 
-          if (params.keep_heading === false) {
+          if (keepHeading === false) {
             args.push("--no-keep-heading");
           }
 
@@ -478,10 +533,24 @@ const factory: CustomToolFactory = (pi) => {
       async execute(toolCallId, params, onUpdate, ctx, signal) {
         const cmd = await resolveInvarCommand();
 
+        // Validate required parameters
+        if (!params.file) {
+          throw new Error("Missing required parameter: file (markdown file path)");
+        }
+        if (!params.anchor) {
+          throw new Error("Missing required parameter: anchor (section path for insertion point)");
+        }
+        if (!params.content) {
+          throw new Error("Missing required parameter: content (content to insert)");
+        }
+
         if (!isValidPath(params.file) || !isValidPath(params.anchor)) {
           throw new Error("Invalid file or anchor path: contains unsafe characters or path traversal");
         }
 
+        // Handle optional parameter with default
+        const position = params.position ?? "after";
+
         // Write content to temporary file
         const tmpFile = path.join(pi.cwd, `.invar-tmp-${Date.now()}.txt`);
 
@@ -498,8 +567,8 @@ const factory: CustomToolFactory = (pi) => {
             tmpFile,
           ];
 
-          if (params.position && params.position !== "after") {
-            args.push("--position", params.position);
+          if (position !== "after") {
+            args.push("--position", position);
           }
 
           const result = await pi.exec(cmd.command, args, {
@@ -556,13 +625,24 @@ const factory: CustomToolFactory = (pi) => {
       async execute(toolCallId, params, onUpdate, ctx, signal) {
         const cmd = await resolveInvarCommand();
 
+        // Validate required parameters
+        if (!params.file) {
+          throw new Error("Missing required parameter: file (markdown file path)");
+        }
+        if (!params.section) {
+          throw new Error("Missing required parameter: section (section path or identifier)");
+        }
+
         if (!isValidPath(params.file) || !isValidPath(params.section)) {
           throw new Error("Invalid file or section path: contains unsafe characters or path traversal");
         }
 
+        // Handle optional parameter with default
+        const includeChildren = params.children ?? true;
+
         const args = [...cmd.args, "doc", "delete", params.file, params.section];
 
-        if (params.children === false) {
+        if (includeChildren === false) {
           args.push("--no-children");
         }
 

{invar_tools-1.15.2.dist-info → invar_tools-1.15.3.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.15.2
+Version: 1.15.3
 Summary: AI-native software engineering tools with design-by-contract verification
 Project-URL: Homepage, https://github.com/tefx/invar
 Project-URL: Documentation, https://github.com/tefx/invar#readme

{invar_tools-1.15.2.dist-info → invar_tools-1.15.3.dist-info}/RECORD

@@ -143,7 +143,7 @@ invar/templates/onboard/assessment.md.jinja,sha256=EzqF0VUcxJZG2bVJLxTOyQlAERRbh
 invar/templates/onboard/roadmap.md.jinja,sha256=gmvZk4Hdwe0l3qSFV15QGcsr-OPMhsc6-1K9F2SFSIQ,3939
 invar/templates/onboard/patterns/python.md,sha256=3wwucAcQz0DlggtpqYo-ZCnmrXgBQ0aBgUHN_EZ1VW0,8681
 invar/templates/onboard/patterns/typescript.md,sha256=yOVfHtdAdjKkWNh66_dR7z2xEA4sggbIcCKthW-fqac,11983
-invar/templates/pi-tools/invar/index.ts,sha256=tl2SZsbfYcTq7Zpk5T9gFxRtCE_PaFYVWi_GNHiaKzY,19722
+invar/templates/pi-tools/invar/index.ts,sha256=7xonqiDDUtY09gjRzxet-Xr7_Dxl1AfB0xqiUmBFeKE,22581
 invar/templates/protocol/INVAR.md.jinja,sha256=t2ZIQZJvzDTJMrRw_ijUo6ScZmeNK0-nV-H7ztTIyQQ,1464
 invar/templates/protocol/python/architecture-examples.md,sha256=O96LH9WFpk7G9MrhSbifLS5pyibTIDG-_EGFF7g3V4M,1175
 invar/templates/protocol/python/contracts-syntax.md,sha256=Q6supTQ3tChVrlN7xhcdb3Q8VGIESxQLA-mQvrNIZmo,1162
@@ -181,10 +181,10 @@ invar/templates/skills/invar-reflect/template.md,sha256=Rr5hvbllvmd8jSLf_0ZjyKt6
 invar/templates/skills/investigate/SKILL.md.jinja,sha256=cp6TBEixBYh1rLeeHOR1yqEnFqv1NZYePORMnavLkQI,3231
 invar/templates/skills/propose/SKILL.md.jinja,sha256=6BuKiCqO1AEu3VtzMHy1QWGqr_xqG9eJlhbsKT4jev4,3463
 invar/templates/skills/review/SKILL.md.jinja,sha256=ET5mbdSe_eKgJbi2LbgFC-z1aviKcHOBw7J5Q28fr4U,14105
-invar_tools-1.15.2.dist-info/METADATA,sha256=hv_0ypXK9ZqotnGr7Ndo191bIKmZw-bA4sGeXpTgmwI,28595
-invar_tools-1.15.2.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.15.2.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.15.2.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.15.2.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.15.2.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.15.2.dist-info/RECORD,,
+invar_tools-1.15.3.dist-info/METADATA,sha256=8cn5xZHmi9QvgHc1iPzFdol25Q302gRncWutGH6_ZgQ,28595
+invar_tools-1.15.3.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.15.3.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.15.3.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.15.3.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.15.3.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.15.3.dist-info/RECORD,,