aontu 0.64.0 → 0.66.0

package/README.md

@@ -35,8 +35,8 @@ conflict, reported with both sites.
 
 ```sh
 aontu vet service.aon deploy.json   # does this data satisfy this schema?
-aontu get '$.services.auth' sys.aon # one evaluated slice
-aontu why '$.services.auth.port' sys.aon  # what contributed, and where
+aontu model get '$.services.auth' sys.aon # one evaluated slice
+aontu model why '$.services.auth.port' sys.aon  # what contributed, and where
 aontu breaking --against git#main sys.aon # is the new version compatible?
 aontu hash sys.aon                  # a pin over MEANING, not bytes
 ```

package/dist/agentsmd.js

@@ -52,16 +52,16 @@ function agentsMd(src, opts) {
         '',
         '```',
         '# what does it say at a path?',
-        'aontu get ' + example + ' ' + name,
+        'aontu model get ' + example + ' ' + name,
         '',
         '# why does that value hold?',
-        'aontu why ' + example + ' ' + name,
+        'aontu model why ' + example + ' ' + name,
         '',
         '# does my document satisfy it?',
         'aontu vet ' + name + ' mine.aon',
         '',
         '# change it without editing it',
-        'aontu set ' + example + '=<value> --entry ' + name +
+        'aontu model set ' + example + '=<value> --entry ' + name +
             ' --overlay overlay.aon',
         '',
         '# the language itself, offline: the whole grammar on one page',

package/dist/agentsmd.js.map

@@ -1 +1 @@
-{"version":3,"file":"agentsmd.js","sourceRoot":"","sources":["../src/agentsmd.ts"],"names":[],"mappings":";;;;;AAAA,oDAAoD;AACpD,uCAAuC;AAGvC,mCAA+B;AAE/B,qCAAoC;AACpC,mCAA6B;AAC7B,mCAAqC;AAErC,yCAAyC;AAGzC,mEAAmE;AACnE,0CAA0C;AAC7B,QAAA,cAAc,GAAG,sBAAsB,CAAA;AACvC,QAAA,YAAY,GAAG,oBAAoB,CAAA;AAuBhD,+BAA+B;AAC/B,kBACE,GAAW,EAAE,IAAsB;IACnC,MAAM,OAAO,GAAG,IAAI,IAAI,EAAE,CAAA;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,gBAAgB,CAAA;IAE7C,MAAM,KAAK,GAAG,IAAI,aAAK,CAAC,IAAA,qBAAW,EAAC,OAAO,CAAC,CAAC,CAAA;IAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;IACxC,MAAM,SAAS,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAA;IAC3E,MAAM,CAAC,GAAQ,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAA;IAC/C,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,EAAE,QAAQ,EAAE,CAAC,IAAA,mBAAW,EAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;IAChE,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,uBAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC1E,MAAM,KAAK,GAAG,IAAA,WAAG,EAAC,GAAG,EAAE,GAAG,EAAE;QAC1B,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;QACxC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,IAAA,qBAAW,EAAC,OAAO,CAAC;KAC5C,CAAC,CAAA;IAEF,kEAAkE;IAClE,iEAAiE;IACjE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;IAEtD,MAAM,KAAK,GAAG;QACZ,QAAA,cAAc;QACd,oBAAoB,GAAG,IAAI,GAAG,GAAG;QACjC,EAAE;QACF,qCAAqC,GAAG,IAAI,GAAG,aAAa;QAC5D,mEAAmE;QACnE,8CAA8C;QAC9C,EAAE;QACF,UAAU,GAAG,IAAA,kBAAS,EAAC,CAAC,CAAC,GAAG,GAAG;QAC/B,8DAA8D;QAC9D,oCAAoC,GAAG,IAAI,GAAG,kBAAkB;QAChE,oBAAoB;YACpB,CAAC,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,YAAY,GAAG,KAAK,CAAC,GAAG,GAAG,GAAG;QAC9B,EAAE;QACF,sBAAsB;QACtB,EAAE;QACF,KAAK;QACL,+BAA+B;QAC/B,YAAY,GAAG,OAAO,GAAG,GAAG,GAAG,IAAI;QACnC,EAAE;QACF,6BAA6B;QAC7B,YAAY,GAAG,OAAO,GAAG,GAAG,GAAG,IAAI;QACnC,EAAE;QACF,gCAAgC;QAChC,YAAY,GAAG,IAAI,GAAG,WAAW;QACjC,EAAE;QACF,gCAAgC;QAChC,YAAY,GAAG,OAAO,GAAG,mBAAmB,GAAG,IAAI;YACnD,wBAAwB;QACxB,EAAE;QACF,+DAA+D;QAC/D,qBAAqB;QACrB,KAAK;QACL,EAAE;QACF,+CAA+C,GAAG,IAAI,GAAG,IAAI;QAC7D,QAAA,YAAY;KACb,CAAA;IAED,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAA;AACpE,CAAC;AAGD,wBAA+B,QAAgB,EAAE,MAAc;IAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAA,cAAc,CAAC,CAAA;IAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAA,YAAY,CAAC,CAAA;IACzC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,EAAE,KAAK,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;YACrD,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAA;QAC9B,OAAO,IAAI,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAA;IACtD,CAAC;IACD,IAAI,GAAG,GAAG,EAAE,GAAG,QAAA,YAAY,CAAC,MAAM,CAAA;IAClC,IAAI,IAAI,KAAK,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,GAAG,EAAE,CAAA;IACP,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,GAAG,EAAE,CAAA;IACP,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;AAC/D,CAAC"}
+{"version":3,"file":"agentsmd.js","sourceRoot":"","sources":["../src/agentsmd.ts"],"names":[],"mappings":";;;;;AAAA,oDAAoD;AACpD,uCAAuC;AAGvC,mCAA+B;AAE/B,qCAAoC;AACpC,mCAA6B;AAC7B,mCAAqC;AAErC,yCAAyC;AAGzC,mEAAmE;AACnE,0CAA0C;AAC7B,QAAA,cAAc,GAAG,sBAAsB,CAAA;AACvC,QAAA,YAAY,GAAG,oBAAoB,CAAA;AAuBhD,+BAA+B;AAC/B,kBACE,GAAW,EAAE,IAAsB;IACnC,MAAM,OAAO,GAAG,IAAI,IAAI,EAAE,CAAA;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,gBAAgB,CAAA;IAE7C,MAAM,KAAK,GAAG,IAAI,aAAK,CAAC,IAAA,qBAAW,EAAC,OAAO,CAAC,CAAC,CAAA;IAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;IACxC,MAAM,SAAS,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAA;IAC3E,MAAM,CAAC,GAAQ,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAA;IAC/C,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,EAAE,QAAQ,EAAE,CAAC,IAAA,mBAAW,EAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;IAChE,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,uBAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC1E,MAAM,KAAK,GAAG,IAAA,WAAG,EAAC,GAAG,EAAE,GAAG,EAAE;QAC1B,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;QACxC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,IAAA,qBAAW,EAAC,OAAO,CAAC;KAC5C,CAAC,CAAA;IAEF,kEAAkE;IAClE,iEAAiE;IACjE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;IAEtD,MAAM,KAAK,GAAG;QACZ,QAAA,cAAc;QACd,oBAAoB,GAAG,IAAI,GAAG,GAAG;QACjC,EAAE;QACF,qCAAqC,GAAG,IAAI,GAAG,aAAa;QAC5D,mEAAmE;QACnE,8CAA8C;QAC9C,EAAE;QACF,UAAU,GAAG,IAAA,kBAAS,EAAC,CAAC,CAAC,GAAG,GAAG;QAC/B,8DAA8D;QAC9D,oCAAoC,GAAG,IAAI,GAAG,kBAAkB;QAChE,oBAAoB;YACpB,CAAC,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,YAAY,GAAG,KAAK,CAAC,GAAG,GAAG,GAAG;QAC9B,EAAE;QACF,sBAAsB;QACtB,EAAE;QACF,KAAK;QACL,+BAA+B;QAC/B,kBAAkB,GAAG,OAAO,GAAG,GAAG,GAAG,IAAI;QACzC,EAAE;QACF,6BAA6B;QAC7B,kBAAkB,GAAG,OAAO,GAAG,GAAG,GAAG,IAAI;QACzC,EAAE;QACF,gCAAgC;QAChC,YAAY,GAAG,IAAI,GAAG,WAAW;QACjC,EAAE;QACF,gCAAgC;QAChC,kBAAkB,GAAG,OAAO,GAAG,mBAAmB,GAAG,IAAI;YACzD,wBAAwB;QACxB,EAAE;QACF,+DAA+D;QAC/D,qBAAqB;QACrB,KAAK;QACL,EAAE;QACF,+CAA+C,GAAG,IAAI,GAAG,IAAI;QAC7D,QAAA,YAAY;KACb,CAAA;IAED,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAA;AACpE,CAAC;AAGD,wBAA+B,QAAgB,EAAE,MAAc;IAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAA,cAAc,CAAC,CAAA;IAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAA,YAAY,CAAC,CAAA;IACzC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,EAAE,KAAK,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;YACrD,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAA;QAC9B,OAAO,IAAI,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAA;IACtD,CAAC;IACD,IAAI,GAAG,GAAG,EAAE,GAAG,QAAA,YAAY,CAAC,MAAM,CAAA;IAClC,IAAI,IAAI,KAAK,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,GAAG,EAAE,CAAA;IACP,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,GAAG,EAAE,CAAA;IACP,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;AAC/D,CAAC"}

package/dist/aontu.d.ts

@@ -23,7 +23,7 @@ import { loadProfile } from './profile';
 import { desugarTemplate, resugarTemplate, markerFor } from './template';
 import { format, unifiedDiff } from './format';
 export type { LintFinding, FormatReport, FormatOptions } from './format';
-declare const VERSION = "0.64.0";
+declare const VERSION = "0.66.0";
 declare class Aontu {
     opts: AontuOptions;
     lang: Lang;

package/dist/aontu.js

@@ -58,7 +58,7 @@ Object.defineProperty(exports, "markerFor", { enumerable: true, get: function ()
 const format_1 = require("./format");
 Object.defineProperty(exports, "format", { enumerable: true, get: function () { return format_1.format; } });
 Object.defineProperty(exports, "unifiedDiff", { enumerable: true, get: function () { return format_1.unifiedDiff; } });
-const VERSION = '0.64.0';
+const VERSION = '0.66.0';
 exports.VERSION = VERSION;
 function genQuiet(val, aontu) {
     return val.gen(aontu.ctx({ collect: true }));

package/dist/cli.d.ts

@@ -1,4 +1,6 @@
 import { Aontu } from './aontu';
+import type { Served, PkgHttp } from './pkg-net';
+import type { PkgToolOptions } from './pkg';
 import type { VetFinding } from './vet';
 import type { WhyRecord } from './provenance';
 type Mode = 'json' | 'canon';
@@ -41,9 +43,13 @@ declare function runSubsume(argv: string[]): number;
 declare function deprecatedAt(oldSrc: string, path: string, filePath: string): boolean;
 declare function runBreaking(argv: string[]): number;
 declare function runTrim(argv: string[]): number;
-declare function runMod(argv: string[]): number;
+declare function runPkg(argv: string[], servers: Servers): number | Promise<number>;
+declare function pkgToolOptions(trust: TrustArg, entryRoot: string): PkgToolOptions;
+declare function runPackageVerb(verb: string, argv: string[], servers: Servers): Promise<number>;
+declare function runModel(argv: string[]): number;
 declare function runRelations(argv: string[]): number;
 declare function runTrace(argv: string[]): number;
+declare function runRender(argv: string[]): Promise<number>;
 declare function runReaches(argv: string[]): number;
 declare function runView(argv: string[]): number;
 declare function runJsonSchema(argv: string[]): number;
@@ -56,10 +62,18 @@ declare function runSet(argv: string[]): number;
 declare function runAllow(argv: string[]): number;
 declare function runAgentsMd(argv: string[]): number;
 declare function runFmt(argv: string[]): number | Promise<number>;
+type Io = {
+    out: (s: string) => void;
+    err: (s: string) => void;
+};
 type Servers = {
     lsp: () => void;
     mcp: (argv: string[]) => void;
+    serve: (served: Served) => Promise<void>;
+    http: () => PkgHttp;
+    io?: Io;
 };
+declare function serveUntilInterrupted(): Promise<void>;
 declare function runHelp(argv: string[]): number;
 declare function runExplain(argv: string[]): number;
 declare function runInit(argv: string[]): number;
@@ -67,4 +81,4 @@ declare const KNOWN_VERBS: string[];
 declare function looksLikeVerb(arg: string): boolean;
 declare function nearestVerb(word: string, verbs: string[]): string;
 declare function main(argv: string[], servers?: Servers): void;
-export { evalSource, main, runVet, runSubsume, runBreaking, runTrim, runRelations, runReaches, runView, runJsonSchema, runTemplate, runTrace, runMod, runHash, runGet, runHelp, runExplain, runInit, nearestVerb, looksLikeVerb, KNOWN_VERBS, runWhy, renderWhyText, runSet, runAllow, runAgentsMd, runFmt, watchChange, watchSignature, vetWaiter, deprecatedAt, };
+export { evalSource, main, runVet, runSubsume, runBreaking, runTrim, runRelations, runReaches, runView, runJsonSchema, runTemplate, runTrace, runRender, runPkg, runModel, runPackageVerb, pkgToolOptions, serveUntilInterrupted, runHash, runGet, runHelp, runExplain, runInit, nearestVerb, looksLikeVerb, KNOWN_VERBS, runWhy, renderWhyText, runSet, runAllow, runAgentsMd, runFmt, watchChange, watchSignature, vetWaiter, deprecatedAt, };