aontu 0.57.0 → 0.58.0

package/src/mcp.ts

@@ -49,6 +49,7 @@ import { jsonSchema } from './jsonschema'
 import { relationCheck } from './relation'
 import { reachCheck } from './reach'
 import { view } from './view'
+import { render } from './render'
 import { patch } from './patch'
 
 
@@ -178,7 +179,7 @@ function realpathOf(p: string): string {
   }
 }
 
-function outsideRoot(root: string, full: string): boolean {
+export function outsideRoot(root: string, full: string): boolean {
   const rootReal = realpathOf(root)
   const fullReal = realpathOf(full)
   return fullReal !== rootReal && !fullReal.startsWith(rootReal + pathSep)
@@ -215,7 +216,7 @@ const TOOLS: ToolDef[] = [
     description:
       'Select one node of an evaluated document by path and render it: ' +
       'generated JSON by default, or the canon, types, keys or ' +
-      'depth-elided view. A view other than json is a valid Aontu ' +
+      'depth-elided view. A view other than json is a valid aontu ' +
       'document that subsumes the truth it summarises.',
     properties: {
       src: { type: 'string', description: 'The document' },
@@ -388,7 +389,7 @@ const TOOLS: ToolDef[] = [
             path: { type: 'string', description: 'The path ($.a.b)' },
             value: {
               type: 'string',
-              description: 'The value, as Aontu source text',
+              description: 'The value, as aontu source text',
             },
           },
           required: ['path', 'value'],
@@ -680,6 +681,44 @@ const TOOLS: ToolDef[] = [
         at: null == a.at ? undefined : str(a.at), path: paths.source,
       }),
   },
+  {
+    name: 'render',
+    description:
+      'Render a document that evaluates to an aontu:code instance: ' +
+      'evaluate it, vet the value at `at` against the bundled ' +
+      'vocabulary, and fold code.units into bytes. Returns verdict ' +
+      '(ok | lossy | error), the units -- each a path, a language and ' +
+      'its text -- and a `lossy` list of what the renderer could not ' +
+      'check (a fragment says nothing about the target\'s syntax; a ' +
+      'text escape or a raw block is verbatim). The tool never writes: ' +
+      'the caller receives the units as text and places them itself.',
+    properties: {
+      source: { type: 'string', description: 'The document' },
+      at: {
+        type: 'string',
+        description: 'Render the value at this path of the document ($.a.b)',
+      },
+      unit: {
+        type: 'string',
+        description: 'Render only the unit with this path',
+      },
+      strict: {
+        type: 'boolean',
+        description: 'Refuse the opaque escapes (a text declaration, a raw block)',
+      },
+    },
+    required: ['source'],
+    docs: ['source'],
+    refuse: (_a, finding) =>
+      ({ verdict: 'error', units: [], lossy: [], errors: [finding] }),
+    run: (a, _trust, paths) =>
+      render(str(a.source), {
+        at: null == a.at ? undefined : str(a.at),
+        unit: null == a.unit ? undefined : str(a.unit),
+        strict: true === a.strict,
+        path: paths.source,
+      }),
+  },
 ]
 
 
@@ -1082,7 +1121,7 @@ export function callTool(
 // startup grant, not a per-call negotiation, so initialize is where a
 // caller learns whether `<name>Path` arguments are served.
 export function serverInstructions(root?: string): string {
-  return 'Aontu tools take document TEXT arguments and answer the ' +
+  return 'aontu tools take document TEXT arguments and answer the ' +
     'same JSON reports the aontu CLI prints with --format json. ' +
     (null == root
       ? 'Evaluation is confined: includes (@"...") are denied, and ' +