dsh-model-everything 0.1.0 → 0.2.0

package/src/tool.ts

@@ -3,6 +3,7 @@ import type { JsonValue } from './json-value.js'
 import { runVerification } from './engine.js'
 import { renderReportText } from './report-view.js'
 import { OptionShapeError, optionRefusal, requireObjectOption } from './option-shape.js'
+import { oneOf } from './model-file.js'
 
 export const MODEL_VERIFY_TOOL_NAME = 'model_verify'
 
@@ -22,8 +23,11 @@ export const modelVerifyTool = defineTool({
   parameters: {
     model: {
       type: 'json',
-      required: true,
-      description: 'LogicModelV1 state machine model to verify.',
+      description: 'LogicModelV1 state machine model to verify. Pass this, or modelPath, not both.',
+    },
+    modelPath: {
+      type: 'string',
+      description: 'Path to a JSON file holding the model, instead of inlining it. Formatting does not matter: whitespace, a BOM and pretty printing all parse. Relative paths resolve against the process working directory, which is the session workspace.',
     },
     maxStates: {
       type: 'integer',
@@ -41,6 +45,10 @@ export const modelVerifyTool = defineTool({
       type: 'json',
       description: 'Optional object mapping BEFORE state ids to AFTER state ids. Omit for identity mapping (same state names).',
     },
+    check: {
+      type: 'string',
+      description: 'Print one check in full when the digest truncated it. Pass the check id the CHECKS line lists (for example A9); the per-check budget no longer applies, and an id this report does not carry is answered with the ids that it does.',
+    },
     reportView: {
       type: 'string',
       enum: ['digest', 'full'],
@@ -53,7 +61,7 @@ export const modelVerifyTool = defineTool({
       description: 'this plugin verification report with summary and per-check findings.',
     },
     render(args, value) {
-      return [{ type: 'text' as const, text: renderReportText(value, { full: args.reportView === 'full' }) }]
+      return [{ type: 'text' as const, text: renderReportText(value, { full: args.reportView === 'full', check: args.check }) }]
     },
   },
   timeoutMs: 10_000,
@@ -81,7 +89,8 @@ export const modelVerifyTool = defineTool({
           )
         }
       }
-      return runVerification(args.model, {
+      const model = oneOf(args.model, args.modelPath, 'model', 'modelPath', 'VERIFY_OPTION_INVALID')
+      return runVerification(model, {
         maxStates: args.maxStates,
         maxPermutationEvents: args.maxPermutationEvents,
         beforeModel: args.beforeModel,