dsh-model-everything 0.1.0 → 0.2.0

package/src/compose-tool.ts

@@ -38,6 +38,10 @@ export const modelComposeTool = defineTool({
       type: 'integer',
       description: 'Maximum composite states to explore. Default 10000.',
     },
+    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'],
@@ -50,7 +54,7 @@ export const modelComposeTool = defineTool({
       description: 'Composition verification report with C1/C2 findings and, when shared locations are declared, C3/C4/C5.',
     },
     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,

package/src/data-engine.ts

@@ -1200,7 +1200,7 @@ function dataNextSteps(checks: CheckResult[]): string[] {
   // check looked at the model. `pass` does not say that, and neither does a list of the failures.
   const skipped = checks.filter((check) => check.status === 'skip').map((check) => check.name + ' (' + check.id + ')')
   if (skipped.length > 0) {
-    steps.push('These examined nothing, so their silence is not a result: ' + skipped.join(', ') + '. Declare what each one would need, or accept that the model is unverified on those points.')
+    steps.push('Not checked: ' + skipped.join(', ') + ' examined nothing — silence there is not a pass. Declare what each needs, or treat the model as unverified on those points.')
   }
   if (warningCodes.length > 0) steps.push('Review the warning findings (' + warningCodes.join(', ') + '): a nullable field or a missing index is a decision, not silence.')
   steps.push('Re-run with beforeModel plus the mapping/copy/migration options after the change to prove the data behaviour did not regress: migration coverage, copy consistency, rollback symmetry, and the before/after comparison. Then compare the two reports with `report_diff` rather than reading them side by side.')

package/src/data-tool.ts

@@ -1,6 +1,7 @@
 import { defineTool } from '@deepseek-ai/dsh-tools'
 import type { JsonValue } from './json-value.js'
 import { runDataVerification, DATA_ENGINE_SCHEMA_VERSION } from './data-engine.js'
+import { oneOf } from './model-file.js'
 import { optionRefusal, requireArrayOption, requireObjectOption } from './option-shape.js'
 import { renderReportText } from './report-view.js'
 
@@ -19,8 +20,11 @@ export const modelDataModelVerifyTool = defineTool({
   parameters: {
     model: {
       type: 'json',
-      required: true,
-      description: 'DataModelV1 data model to verify.',
+      description: 'DataModelV1 data 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.',
     },
     beforeModel: {
       type: 'json',
@@ -42,6 +46,10 @@ export const modelDataModelVerifyTool = defineTool({
       type: 'json',
       description: 'Optional backup/restore pairs for DA7 rollback symmetry.',
     },
+    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'],
@@ -54,7 +62,7 @@ export const modelDataModelVerifyTool = defineTool({
       description: 'model-everything-datamodel 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,
@@ -67,7 +75,7 @@ export const modelDataModelVerifyTool = defineTool({
       requireArrayOption(args.copyPairs, 'copyPairs', 'DATA_OPTION_INVALID')
       requireArrayOption(args.migrationMappings, 'migrationMappings', 'DATA_OPTION_INVALID')
       requireArrayOption(args.backupPairs, 'backupPairs', 'DATA_OPTION_INVALID')
-      return runDataVerification(args.model, {
+      return runDataVerification(oneOf(args.model, args.modelPath, 'model', 'modelPath', 'DATA_OPTION_INVALID'), {
         beforeModel: args.beforeModel,
         fieldMapping: args.fieldMapping as Record<string, string> | undefined,
         copyPairs: args.copyPairs as Array<{ id: string; sourceEntity: string; targetEntity: string; mapping: Record<string, string> }> | undefined,

package/src/design-tool.ts

@@ -1,6 +1,7 @@
 import { defineTool } from '@deepseek-ai/dsh-tools'
 import type { JsonValue } from './json-value.js'
 import { REPORT_SCHEMAS } from './engine.js'
+import { oneOf } from './model-file.js'
 import { runDesignReview } from './design-engine.js'
 import { renderReportText } from './report-view.js'
 
@@ -22,10 +23,17 @@ export const designTool = defineTool({
   parameters: {
     model: {
       type: 'json',
-      required: true,
       description:
         'DesignModelV1: {schemaVersion: 1, architecture: {nodes: [ids], edges: [[from, to]]}, types?: [{name, stereotype, extends?, implements?, operations?, transitions?, forbids?, responsibilities?, dependsOn?, uses?, layer?}], declare?: {layers?, boundaries?, allowedEdges?, requiredEdges?}}. The schema is closed: an unknown key is refused rather than ignored. `types` is what makes the principle checks possible - with no `extends` there is no substitutability to decide, with no `uses` no interface can be called fat, and no `responsibilities` means nothing to compare the dependencies against.',
     },
+    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.',
+    },
+    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'],
@@ -38,23 +46,23 @@ export const designTool = defineTool({
       description: 'Design review report: every check with its status, `violations` (they decide the verdict), `signals`, `facts` (graph features), summary and next steps.',
     },
     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,
   isConcurrencySafe: () => true,
   async execute(args) {
-    if (args.model === undefined) {
+    if (args.model === undefined && args.modelPath === undefined) {
       return {
         ok: false,
         ran: false,
         verdict: 'fail',
-        verdictReason: 'the tool did not run: pass `model`, a DesignModelV1 with schemaVersion, architecture and the declarations to review it against',
+        verdictReason: 'the tool did not run: pass `model` (a DesignModelV1 with schemaVersion, architecture and the declarations) or `modelPath` (a JSON file holding one)',
         schema: REPORT_SCHEMAS.design,
         errorCode: 'DESIGN_INPUT',
-        error: 'design review needs `model`',
+        error: 'design review needs `model` or `modelPath`',
       } as unknown as JsonValue
     }
-    return runDesignReview(args.model) as unknown as JsonValue
+    return runDesignReview(oneOf(args.model, args.modelPath, 'model', 'modelPath', 'DESIGN_OPTION_INVALID')) as unknown as JsonValue
   },
 })

package/src/engine.ts

@@ -291,7 +291,7 @@ function verificationNextSteps(checks: CheckResult[], coverage: NarrativeCoverag
   // named check looked at the model. A list of failures does not say that, and neither does `pass`.
   const skipped = checks.filter((check) => check.status === 'skip').map((check) => check.name + ' (' + check.id + ')')
   if (skipped.length > 0) {
-    steps.push('These examined nothing, so their silence is not a result: ' + skipped.join(', ') + '. Declare what each one would need, or accept that the model is unverified on those points.')
+    steps.push('Not checked: ' + skipped.join(', ') + ' examined nothing — silence there is not a pass. Declare what each needs, or treat the model as unverified on those points.')
   }
   // Named checks above, bare codes here. That is deliberate: each warning is a different kind of thing,
   // so there is no single name to give the set, and the sentence points at where each one IS explained

package/src/model-file.ts

@@ -0,0 +1,49 @@
+/**
+ * Read a JSON model from a file instead of requiring it inline.
+ *
+ * A model is the largest argument any of these tools takes, and it is the one that arrives as
+ * streamed tool-call JSON: the provider rejected one session with `tool input is invalid JSON`
+ * after the model spent sixteen steps hand-editing a nested model argument. Reading it from the
+ * workspace removes that failure mode and the tokens.
+ */
+import { readFileSync } from 'node:fs'
+import { resolve } from 'node:path'
+
+import { OptionShapeError } from './option-shape.js'
+
+/** Read and parse one JSON file. Formatting is irrelevant: whitespace, BOM and pretty printing all parse. */
+export function readJsonFile(path: unknown, option: string, code: string): unknown {
+  if (typeof path !== 'string' || path.trim() === '') {
+    throw new OptionShapeError(code, `${option} must be a non-empty path to a JSON file.`)
+  }
+  const full = resolve(path)
+  let text: string
+  try {
+    text = readFileSync(full, 'utf8')
+  } catch (error) {
+    const reason = error instanceof Error ? error.message : String(error)
+    throw new OptionShapeError(code, `${option} could not be read: ${reason}. The path resolves against the process working directory; relative paths in a session resolve against the session's workspace.`)
+  }
+  try {
+    return JSON.parse(text.replace(/^\uFEFF/, ''))
+  } catch (error) {
+    const reason = error instanceof Error ? error.message : String(error)
+    throw new OptionShapeError(code, `${option} is not valid JSON: ${reason}.`)
+  }
+}
+
+/**
+ * Exactly one of the inline value and the file path. Both is ambiguous, neither is a missing
+ * argument, and each gets its own sentence so the caller knows which one to drop.
+ */
+export function oneOf(value: unknown, path: unknown, inlineName: string, pathName: string, code: string): unknown {
+  const hasValue = value !== undefined
+  const hasPath = path !== undefined
+  if (hasValue && hasPath) {
+    throw new OptionShapeError(code, `Pass either ${inlineName} or ${pathName}, not both: the file would be read and then ignored, or the other way round.`)
+  }
+  if (!hasValue && !hasPath) {
+    throw new OptionShapeError(code, `Pass ${inlineName} or ${pathName}: the model has to come from somewhere.`)
+  }
+  return hasPath ? readJsonFile(path, pathName, code) : value
+}