aontu 0.52.1 → 0.54.0

package/dist/sig.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sig.js","sourceRoot":"","sources":["../src/sig.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;QAoVvD,YAAY;QACZ,YAAY;QACZ,SAAS;QACT,YAAY;AArVd,iEAAiE;AACjE,kEAAkE;AAClE,gEAAgE;AAChE,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,mEAAmE;AACnE,qEAAqE;AACrE,iEAAiE;AACjE,mEAAmE;AACnE,sEAAsE;AACtE,yCAAyC;AACzC,EAAE;AACF,mDAAmD;AACnD,sCAAsC;AACtC,2EAA2E;AAC3E,2BAA2B;AAC3B,mEAAmE;AACnE,EAAE;AACF,qEAAqE;AACrE,mEAAmE;AACnE,iEAAiE;AACjE,qEAAqE;AACrE,yCAAyC;AAEzC,2CAAuC;AAEvC,uCAAmC;AA2BnC,MAAM,SAAS,GAA4B;IACzC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;CACxE,CAAA;AAGD,qEAAqE;AACrE,mEAAmE;AACnE,+DAA+D;AAC/D,gEAAgE;AAChE,oDAAoD;AACpD,SAAS,UAAU,CAAC,EAAO;IACzB,EAAE,CAAC,OAAO,CAAC;QACT,KAAK,EAAE;YACL,KAAK,EAAE;gBACL,KAAK,EAAE,GAAG;gBACV,KAAK,EAAE,GAAG;gBACV,KAAK,EAAE,GAAG;gBACV,KAAK,EAAE,GAAG;gBACV,KAAK,EAAE,KAAK;aACb;SACF;QACD,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE;KACvB,CAAC,CAAA;IAEF,+DAA+D;IAC/D,oEAAoE;IACpE,8DAA8D;IAC9D,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB,EAAE,CAAC,OAAO,GAAG,IAAI,CAAA;IAEjB,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;QACrC,IAAI,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,CAAA;YACzB,OAAO,OAAO,CAAA;QAChB,CAAC;QACD,OAAO,IAAe,CAAA;IACxB,CAAC,CAAA;IAED,EAAE,CAAC,OAAO,CAAC;QACT,GAAG,EAAE;YACH,SAAS,EAAE,CAAC,CAAM,EAAE,EAAE;gBACpB,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAA;gBACxC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAA;YAChB,CAAC;YACD,UAAU,EAAE,CAAC,CAAM,EAAE,EAAE;gBACrB,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;YAChC,CAAC;YACD,UAAU,EAAE,CAAC,CAAM,EAAE,EAAE;gBACrB,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAA;YAC5B,CAAC;YACD,SAAS,EAAE,CAAC,CAAM,EAAE,EAAE;gBACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAClC,CAAC;YAED,UAAU,EAAE,CAAC,CAAM,EAAE,EAAE;gBACrB,CAAC,CAAC,IAAI,GAAG,EAAE,CAAA;YACb,CAAC;YAED,SAAS,EAAE,CAAC,CAAM,EAAE,EAAE;gBACpB,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;YACjD,CAAC;YACD,WAAW,EAAE,CAAC,CAAM,EAAE,EAAE;gBACtB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAA;gBACnB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;YACjC,CAAC;YACD,eAAe,EAAE,CAAC,CAAM,EAAE,EAAE;gBAC1B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;gBACrC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;YACjC,CAAC;YACD,WAAW,EAAE,CAAC,CAAM,EAAE,EAAE;gBACtB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;YACjC,CAAC;YACD,UAAU,EAAE,CAAC,CAAM,EAAE,EAAE;gBACrB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAA;YACpB,CAAC;YACD,WAAW,EAAE,CAAC,CAAM,EAAE,EAAE;gBACtB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;gBACnB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAA;gBACvB,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;oBACtB,GAAG,CAAC,KAAK,GAAG,EAAE,CAAA;oBACd,GAAG,CAAC,IAAI,GAAG,EAAE,CAAA;gBACf,CAAC;qBACI,CAAC;oBACJ,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAA;gBACvB,CAAC;gBACD,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAClB,CAAC;YAED,aAAa,EAAE,CAAC,CAAM,EAAE,EAAE;gBACxB,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAA;YAChB,CAAC;YACD,aAAa,EAAE,CAAC,CAAM,EAAE,EAAE;gBACxB,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;oBAC7B,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAA;YACtC,CAAC;YAED,YAAY,EAAE,CAAC,CAAM,EAAE,EAAE;gBACvB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;YACzC,CAAC;YAED,WAAW,EAAE,CAAC,CAAM,EAAE,EAAE;gBACtB,CAAC,CAAC,IAAI,GAAG,EAAE,CAAA;YACb,CAAC;YACD,SAAS,EAAE,CAAC,CAAM,EAAE,EAAE;gBACpB,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAA;YACnE,CAAC;YACD,SAAS,EAAE,CAAC,CAAM,EAAE,EAAE;gBACpB,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAA;YACpD,CAAC;YACD,UAAU,EAAE,CAAC,CAAM,EAAE,EAAE;gBACrB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YACrB,CAAC;SACF;QAED,IAAI,EAAE;YACJ,GAAG,EAAE;gBACH,IAAI,EAAE;oBACJ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE;iBAC3C;gBACD,KAAK,EAAE;oBACL,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE;oBACtC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE;iBAC3B;aACF;YAED,IAAI,EAAE;gBACJ,IAAI,EAAE;oBACJ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE;oBAClB,EAAE,CAAC,EAAE,KAAK,EAAE;iBACb;gBACD,KAAK,EAAE;oBACL,EAAE,CAAC,EAAE,KAAK,EAAE;iBACb;aACF;YAED,GAAG,EAAE;gBACH,IAAI,EAAE;oBACJ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE;oBAChC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,eAAe,EAAE;oBACpC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE;iBAC7B;gBACD,KAAK,EAAE;oBACL,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE;oBAC7C,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE;oBAC1B,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE;oBACtC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE;iBACnC;aACF;YAED,OAAO,EAAE;gBACP,IAAI,EAAE;oBACJ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE;oBACxB,EAAE,CAAC,EAAE,MAAM,EAAE;iBACd;gBACD,KAAK,EAAE;oBACL,EAAE;iBACH;aACF;YAED,IAAI,EAAE;gBACJ,IAAI,EAAE;oBACJ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,EAAE;iBAC9B;gBACD,KAAK,EAAE;oBACL,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE;oBACvB,EAAE;iBACH;aACF;YAED,KAAK,EAAE;gBACL,IAAI,EAAE;oBACJ,EAAE,CAAC,EAAE,SAAS,EAAE;iBACjB;gBACD,KAAK,EAAE;oBACL,EAAE,CAAC,EAAE,KAAK,EAAE;iBACb;aACF;YAED,OAAO,EAAE;gBACP,IAAI,EAAE;oBACJ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE;oBAC9B,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE;iBAC3B;gBACD,KAAK,EAAE;oBACL,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE;oBACzC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE;iBAClC;aACF;SACF;KACF,CAAC,CAAA;AACJ,CAAC;AAGD,IAAI,SAAS,GAAQ,SAAS,CAAA;AAE9B,SAAS,aAAa;IACpB,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,SAAS,GAAG,IAAI,eAAM,CAAC,EAAE,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;IACnD,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAGD,gEAAgE;AAChE,qEAAqE;AACrE,oEAAoE;AACpE,SAAS;AACT,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,EAAE,GAAG,aAAa,EAAE,CAAA;IAC1B,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAA;IACrB,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC1B,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,6BAA6B;YAC3C,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAA;IACvC,CAAC;IACD,IAAI,IAAI,IAAI,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC,IAAI,IAAI,EAAE,KAAK,GAAG,CAAC,GAAG,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,IAAI,CAAC,CAAA;IAC/D,CAAC;IACD,OAAO,GAAc,CAAA;AACvB,CAAC;AAGD,4DAA4D;AAC5D,+DAA+D;AAC/D,SAAS,YAAY,CAAC,CAAS;IAC7B,MAAM,IAAI,GAAG,SAAS,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3C,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAW,EAAE,EAAE,CAChC,CAAC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAA;IACvE,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,CAAC,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC;QAC3D,CAAC,CAAC,IAAI;QACN,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3B,IAAI,GAAG,IAAI,CAAA;AACf,CAAC;AAGD,qEAAqE;AACrE,oEAAoE;AACpE,mBAAmB;AACnB,SAAS,SAAS,CAAC,GAAY;IAC7B,OAAO,GAAG,CAAC,IAAI,GAAG,GAAG;QACnB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,GAAG,CAAC,GAAG,CAAA;AAC5D,CAAC;AAGD,oEAAoE;AACpE,oEAAoE;AACpE,kEAAkE;AAClE,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,GAAG,GAA4B,EAAE,CAAA;IACvC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAA;QAC3B,IAAI,EAAE,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,SAAQ;QACV,CAAC;QACD,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;QAC9B,IAAI,SAAS,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,oCAAoC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAA;QAClE,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAA;IACrB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAUD,sEAAsE;AACtE,qEAAqE;AACrE,qEAAqE;AACrE,qEAAqE;AACrE,oEAAoE;AACpE,iDAAiD;AACjD,MAAM,OAAO,GACX,YAAY,CAAC,iBAAO,CAAC,CAAA,CAAC,iCAAiC;QAIvD,OAAO"}

package/dist/sigdecl.d.ts

@@ -0,0 +1,2 @@
+declare const SIGDECL: string;
+export { SIGDECL };

package/dist/sigdecl.js

@@ -0,0 +1,11 @@
+"use strict";
+/* Copyright (c) 2021-2026 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SIGDECL = void 0;
+// GENERATED by ts/scripts/sigdecl.cjs (`make sig`) from
+// test/spec/signature.tsv — DO NOT EDIT. The declaration is the
+// source (docs/design/SIGNATURES.0.md); ts/test/sig.test.ts asserts
+// this copy is identical with the shared file.
+const SIGDECL = "# The call surface: one declaration line per built-in function\n# (docs/design/SIGNATURES.0.md). THIS FILE IS THE SOURCE — both ports\n# carry a build-time-inlined copy (ts/src/sigdecl.ts, go/sigdecl.txt;\n# `make sig` regenerates both, and each port's suite asserts its copy\n# is byte-identical with this file) and parse it at initialisation\n# with the signature grammar, a tabnas grammar (ts/src/sig.ts,\n# go/sig.go). The suites also round-trip every line:\n# render(parse(line)) must be the line exactly, in both ports.\n#\n# The syntax (rendered TypeScript-ish, honest about argument MODES):\n#   line = name '(' [ arg {',' arg} ] ')' ':' type\n#   arg  = [mode] name ['?'] ':' type\n#        | '...' name ':' '(' [mode] type {',' [mode] type} ')'\n#   type = word {'|' word}\n#   mode = 'capture' | 'template' | 'trial' | 'projector' | 'text'\n# `value` mode is unmarked. `constraint` is the result word for\n# residuals whose meet depends on the peer; `any` is the honest type\n# where a function is a wrapper.\nupper(s: string|number) : string\nlower(s: string|number) : string\ncopy(v: any) : any\npref(v: any) : any\nsuper(t: any) : any\ntype(t: any) : any\nhide(v: any) : any\nclose(m: any) : any\nopen(m: any) : any\nmove(v: any) : any\npath(capture p?: path) : path\nmap() : map\nlist() : list\nmin(n: number|string) : constraint\nmax(n: number|string) : constraint\nabove(n: number|string) : constraint\nbelow(n: number|string) : constraint\nre(text p: string) : constraint\nlength(n: number|constraint) : constraint\nkey(up?: integer|biginteger) : string\nunique(projector k?: string) : constraint\nneq(...vals: number|string) : constraint\nmust(trial c: any, text msg: string) : constraint\ndeprecate(v: any, r?: map) : any\nacyclic() : constraint\ninverse(projector k: string) : constraint\nrefer(template t?: any) : constraint\nrel(template t?: any) : constraint\npack(d: map|list, template t: any) : map\neach(d: map|list, template t?: any) : list\nfilter(d: map|list, trial c: any) : map|list\nmatch(s: any, ...pr: (trial any, any), dflt?: any) : any\nadd(a: number, b: number) : number\nsub(a: number, b: number) : number\nmul(a: number, b: number) : number\ndiv(a: number, b: number) : number\nmod(a: number, b: number) : number\nrem(a: number, b: number) : number\nsum(d: map|list) : number\nleast(d: map|list) : number\ngreatest(d: map|list) : number\npick(d: map|list, projector k: string|integer) : any\njoin(d: map|list, sep?: string) : string\n";
+exports.SIGDECL = SIGDECL;
+//# sourceMappingURL=sigdecl.js.map

package/dist/sigdecl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sigdecl.js","sourceRoot":"","sources":["../src/sigdecl.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAEzD,wDAAwD;AACxD,gEAAgE;AAChE,oEAAoE;AACpE,+CAA+C;AAE/C,MAAM,OAAO,GACb,46EAA46E,CAAA;QAEn6E,OAAO"}

package/dist/siggate.d.ts

@@ -0,0 +1,4 @@
+import type { Val } from './type';
+import { AontuContext } from './ctx';
+declare function sigRefuse(ctx: AontuContext, fn: any, args: Val[]): Val | undefined;
+export { sigRefuse, };

package/dist/siggate.js

@@ -0,0 +1,90 @@
+"use strict";
+/* Copyright (c) 2021-2026 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.sigRefuse = sigRefuse;
+const err_1 = require("./err");
+const sig_1 = require("./sig");
+const ScalarKindVal_1 = require("./val/ScalarKindVal");
+// The scalar-kind words the gate enforces, each to its lattice
+// marker. A declared type is gate-checkable only when EVERY union
+// word is here: `any`, `constraint`, and the container words leave
+// the argument to the builtin.
+const SIG_KIND = new Map([
+    ['string', String],
+    ['number', Number],
+    ['integer', ScalarKindVal_1.Integer],
+    ['float', ScalarKindVal_1.Float],
+    ['biginteger', ScalarKindVal_1.BigInteger],
+    ['bigdecimal', ScalarKindVal_1.BigDecimal],
+    ['boolean', Boolean],
+    ['path', ScalarKindVal_1.Path],
+]);
+function gateWords(type) {
+    const out = [];
+    for (const word of type.split('|')) {
+        const marker = SIG_KIND.get(word);
+        if (undefined === marker) {
+            return undefined;
+        }
+        out.push(marker);
+    }
+    return out;
+}
+// The declared type admits a driven Val when the Val is a concrete
+// scalar whose leaf kind is, or sits below, one of the declared
+// words -- the same walk subsumption makes, so `number` admits every
+// numeric leaf and `string` admits a path value.
+function admits(markers, arg) {
+    const leaf = arg.superior?.();
+    if (true !== arg.isScalar || true !== leaf?.isScalarKind) {
+        return false;
+    }
+    for (const marker of markers) {
+        if (marker === leaf.peg || (0, ScalarKindVal_1.kindSubsumes)(marker, leaf.peg)) {
+            return true;
+        }
+    }
+    return false;
+}
+// The gate. Answers the func_arg refusal, or undefined to let the
+// call resolve.
+function sigRefuse(ctx, fn, args) {
+    const sig = sig_1.funcSig[fn.funcname()];
+    // key() reads its level off the written peg and `key_level` names
+    // what is wrong with a bad one; the gate leaves the meaning where
+    // it lives.
+    if (undefined === sig || 'key' === sig.name) {
+        return undefined;
+    }
+    for (let i = 0; i < sig.args.length; i++) {
+        const a = sig.args[i];
+        if (true === a.rest) {
+            break;
+        }
+        if ('value' !== a.mode) {
+            continue;
+        }
+        const markers = gateWords(a.type);
+        if (undefined === markers) {
+            continue;
+        }
+        const arg = args[i];
+        if (undefined === arg || true === arg.isNil || true !== arg.done) {
+            continue;
+        }
+        const shaped = (true === arg.isScalar) ||
+            (true === arg.isMap) || (true === arg.isList) ||
+            (true === arg.isScalarKind);
+        if (shaped && !admits(markers, arg)) {
+            return (0, err_1.makeNilErr)(ctx, 'func_arg', fn, arg, undefined, {
+                func: sig.name,
+                sig: (0, sig_1.renderSig)(sig),
+                arg: a.name,
+                argn: '' + (i + 1),
+                got: arg.canon,
+            });
+        }
+    }
+    return undefined;
+} /* node:coverage ignore next 5 */
+//# sourceMappingURL=siggate.js.map

package/dist/siggate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"siggate.js","sourceRoot":"","sources":["../src/siggate.ts"],"names":[],"mappings":";AAAA,yDAAyD;;QA8IvD,SAAS;AA/GX,+BAAkC;AAElC,+BAA0C;AAG1C,uDAO4B;AAG5B,+DAA+D;AAC/D,kEAAkE;AAClE,mEAAmE;AACnE,+BAA+B;AAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAc;IACpC,CAAC,QAAQ,EAAE,MAAM,CAAC;IAClB,CAAC,QAAQ,EAAE,MAAM,CAAC;IAClB,CAAC,SAAS,EAAE,uBAAO,CAAC;IACpB,CAAC,OAAO,EAAE,qBAAK,CAAC;IAChB,CAAC,YAAY,EAAE,0BAAU,CAAC;IAC1B,CAAC,YAAY,EAAE,0BAAU,CAAC;IAC1B,CAAC,SAAS,EAAE,OAAO,CAAC;IACpB,CAAC,MAAM,EAAE,oBAAI,CAAC;CACf,CAAC,CAAA;AAGF,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,GAAG,GAAU,EAAE,CAAA;IACrB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACzB,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAClB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAGD,mEAAmE;AACnE,gEAAgE;AAChE,qEAAqE;AACrE,iDAAiD;AACjD,SAAS,MAAM,CAAC,OAAc,EAAE,GAAQ;IACtC,MAAM,IAAI,GAAQ,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAA;IAClC,IAAI,IAAI,KAAK,GAAG,CAAC,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,YAAY,EAAE,CAAC;QACzD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,IAAA,4BAAY,EAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1D,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAGD,kEAAkE;AAClE,gBAAgB;AAChB,SAAS,SAAS,CAChB,GAAiB,EAAE,EAAO,EAAE,IAAW;IAEvC,MAAM,GAAG,GAAwB,aAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAA;IAEvD,kEAAkE;IAClE,kEAAkE;IAClE,YAAY;IACZ,IAAI,SAAS,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAA;IAClB,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAW,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC7B,IAAI,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACpB,MAAK;QACP,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACvB,SAAQ;QACV,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;YAC1B,SAAQ;QACV,CAAC;QACD,MAAM,GAAG,GAAQ,IAAI,CAAC,CAAC,CAAC,CAAA;QACxB,IAAI,SAAS,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,KAAK,IAAI,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;YACjE,SAAQ;QACV,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CAAC;YACpC,CAAC,IAAI,KAAK,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,CAAC;YAC7C,CAAC,IAAI,KAAK,GAAG,CAAC,YAAY,CAAC,CAAA;QAC7B,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC;YACpC,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE;gBACrD,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,GAAG,EAAE,IAAA,eAAS,EAAC,GAAG,CAAC;gBACnB,GAAG,EAAE,CAAC,CAAC,IAAI;gBACX,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBAClB,GAAG,EAAE,GAAG,CAAC,KAAK;aACf,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC,CAAC,iCAAiC"}

package/dist/site.d.ts

@@ -3,11 +3,15 @@ type SiteSpec = {
     row?: number;
     col?: number;
     url?: string;
+    len?: number;
+    src?: string;
 };
 declare class Site {
     row: number;
     col: number;
     url: string;
+    len: number;
+    src: string;
     constructor(val?: Val | SiteSpec);
 }
 export { Site, };

package/dist/site.js

@@ -2,12 +2,43 @@
 /* Copyright (c) 2021-2025 Richard Rodger, MIT License */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.Site = void 0;
+// Site locates a value in the text that produced it: where it starts
+// (row, col), HOW FAR IT RUNS (len), and the source text itself (src).
+//
+// THE EXTENT IS NOT OPTIONAL DETAIL — it is what makes a site safe to
+// edit. Without it the only length available is the CANON, and canon is
+// not source text: `port: 0x1F` has canon `31`, so replacing
+// `(col, canon.length)` writes `port: 5x1F` and corrupts the document.
+// The parser knew the extent all along — the token carries `len` and
+// `src` beside the `rI`/`cI` this already read — and dropping it was
+// the whole defect (status report 2026-08-21, §5).
+//
+// WHAT THE EXTENT COVERS is the TOKEN THE SITE POINTS AT, which is the
+// same thing row and col have always pointed at:
+//
+//   0x1F         a scalar literal   len 4   the whole literal
+//   "hi there"   a string           len 10  quotes included
+//   {x:1}        a map              len 1   the opening brace
+//   min(3)       a constraint       len 3   the name, not the call
+//
+// So for a SCALAR — which is what a repair edits, and what `set` and
+// the manual fallback rewrite — `(col, len)` is exactly the span to
+// replace. For a container it under-reaches to the opening delimiter,
+// which is safe in the direction that matters: a highlight that is too
+// short is a cosmetic flaw, while canon.length on a map over-reaches
+// across lines into text the value never occupied.
+//
+// -1 and '' mean UNKNOWN, the same convention row and col already use:
+// a value minted by unification rather than written by a document has
+// no site, and must not be edited as though it had one.
 class Site {
     constructor(val) {
         const site = (val?.site ?? val);
         this.row = site?.row ?? -1;
         this.col = site?.col ?? -1;
         this.url = site?.url ?? '';
+        this.len = site?.len ?? -1;
+        this.src = site?.src ?? '';
     }
 } /* node:coverage ignore next 6 */
 exports.Site = Site;

package/dist/site.js.map

@@ -1 +1 @@
-{"version":3,"file":"site.js","sourceRoot":"","sources":["../src/site.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAUzD,MAAM,IAAI;IAKR,YAAY,GAAoB;QAC9B,MAAM,IAAI,GAAG,CAAE,GAAW,EAAE,IAAI,IAAI,GAAG,CAAa,CAAA;QAEpD,IAAI,CAAC,GAAG,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;QAC1B,IAAI,CAAC,GAAG,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;QAC1B,IAAI,CAAC,GAAG,GAAG,IAAI,EAAE,GAAG,IAAI,EAAE,CAAA;IAC5B,CAAC;CACF,CAAC,iCAAiC;QAIjC,IAAI"}
+{"version":3,"file":"site.js","sourceRoot":"","sources":["../src/site.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAYzD,qEAAqE;AACrE,uEAAuE;AACvE,EAAE;AACF,sEAAsE;AACtE,wEAAwE;AACxE,6DAA6D;AAC7D,uEAAuE;AACvE,qEAAqE;AACrE,qEAAqE;AACrE,mDAAmD;AACnD,EAAE;AACF,uEAAuE;AACvE,iDAAiD;AACjD,EAAE;AACF,8DAA8D;AAC9D,4DAA4D;AAC5D,8DAA8D;AAC9D,mEAAmE;AACnE,EAAE;AACF,qEAAqE;AACrE,oEAAoE;AACpE,sEAAsE;AACtE,uEAAuE;AACvE,qEAAqE;AACrE,mDAAmD;AACnD,EAAE;AACF,uEAAuE;AACvE,sEAAsE;AACtE,wDAAwD;AACxD,MAAM,IAAI;IAOR,YAAY,GAAoB;QAC9B,MAAM,IAAI,GAAG,CAAE,GAAW,EAAE,IAAI,IAAI,GAAG,CAAa,CAAA;QAEpD,IAAI,CAAC,GAAG,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;QAC1B,IAAI,CAAC,GAAG,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;QAC1B,IAAI,CAAC,GAAG,GAAG,IAAI,EAAE,GAAG,IAAI,EAAE,CAAA;QAC1B,IAAI,CAAC,GAAG,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;QAC1B,IAAI,CAAC,GAAG,GAAG,IAAI,EAAE,GAAG,IAAI,EAAE,CAAA;IAC5B,CAAC;CACF,CAAC,iCAAiC;QAIjC,IAAI"}

package/dist/std.d.ts

@@ -0,0 +1 @@
+export declare const STD_SOURCES: Record<string, string>;

package/dist/std.js

@@ -0,0 +1,129 @@
+"use strict";
+/* Copyright (c) 2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.STD_SOURCES = void 0;
+// THE BUNDLED VOCABULARY (G4 phase 4,
+// docs/capability-review/g4-identity-relations.md): `@"std/system"` is
+// served from the engine itself — no filesystem, no package resolution
+// — so a document may use it under every include capability except
+// `none`, and the hermeticity posture is not widened by a source that
+// never leaves the process.
+//
+// The TEXT is the shared artifact: go/std.go carries the same bytes,
+// and test/spec/std-system.tsv pins its canon and its canon-hash in
+// both engines, so the two copies cannot drift without a red suite.
+// It carries no backtick for that reason: one string literal per port,
+// and Go's raw string has no escape.
+const STD_SYSTEM = `# std/system --- the SYSTEM VOCABULARY (G4 phase 4). Ports, components
+# and relations need no syntax: they are schemas. Everything here is
+# ordinary unification --- conjunction, spreads, marks, defaults ---
+# so the vocabulary costs the language nothing, and an author who wants
+# a different one writes it the same way.
+#
+# EXPERIMENTAL until the distribution layer can version it by
+# canon-hash. Entity ids deliberately do NOT embed versions: fusing
+# identity and version makes "v1 and v2 describe the same entity"
+# inexpressible.
+
+std: {
+
+  # One end of a connection.
+  Port: type({
+    direction: *in | out | inout
+    protocol?: string
+  })
+
+  # A node with ports. Where a Component sits in the tree is what it
+  # is a component OF -- containment is the document's own structure
+  # and needs no mark of its own.
+  Component: type({
+    ports?: {&: $.std.Port}
+  })
+
+  # A component that is a service. Written out rather than as
+  # $.std.Component & {kind: service}: a reference from one member of
+  # this file to another does not survive being INCLUDED into a
+  # document (the marks the include carries make the referring member
+  # unusable), so the vocabulary states each schema on its own.
+  Service: type({
+    kind: service
+    ports?: {&: $.std.Port}
+  })
+
+  # (The Relation schema that used to sit here is retired with the
+  # relations: magic key, RELATIONS.0.md P2: a relation is declared
+  # by the graph atoms at its field -- rel(t) & acyclic() &
+  # inverse(name) -- and the target half is rel(t)'s flow.)
+}
+`;
+const STD_VIEW = `# std/view --- the FIGURE VOCABULARY (VIEWS.0.md, "6. The view
+# document"). A view document declares its figures as data, and a
+# declaration is just a map: this is the schema for one, so a typo is
+# refused where every other mistake in an Aontu document is refused --
+# at evaluation, by unification -- rather than by the verb that reads
+# it afterwards.
+#
+#   @"std/view"
+#   @"./system.aon"
+#
+#   views: {&: $.view.Figure} & {
+#     arch: {kind: matrix, order: partition, out: "docs/arch.dsm.txt"}
+#   }
+#
+# The keys ARE the view options: the command-line flags without the
+# dashes, one vocabulary for the CLI, the library and the file. The
+# poset is not among the kinds, because a view document declares
+# figures of the ONE document it includes and the poset compares
+# several.
+#
+# EXPERIMENTAL until the distribution layer can version it by
+# canon-hash. This file carries no backtick: it is one string literal
+# per port, and Go raw strings have no escape.
+
+view: {
+
+  # One declared figure. The kind says what to draw and out says where
+  # it belongs; everything else narrows the drawing, and each option
+  # belongs to the kinds that read it.
+  Figure: type({
+    kind: tree | matrix | graph | layer | sets | layers | ladder
+    out: string
+
+    # Every kind.
+    as?: text | mermaid | dot | er | svg
+    at?: string
+    maxRows?: integer & min(0)
+
+    # tree, matrix, layer: the relation drawn. graph: the predicates
+    # kept. tree: the subtrees drawn.
+    relation?: string
+    relations?: [&: string]
+    roots?: [&: string]
+
+    # matrix.
+    order?: canon | partition
+    closure?: boolean
+
+    # graph, layer.
+    groupBy?: string
+    label?: string
+    layers?: [&: string]
+    edges?: upward | all | none
+
+    # sets, layers.
+    sets?: string
+    member?: string
+    universe?: string
+    minDegree?: integer & min(0)
+    maxCols?: integer & min(0)
+    minSize?: integer & min(0)
+  })
+}
+`;
+exports.STD_SOURCES = {
+    'std/system': STD_SYSTEM,
+    'std/system.aon': STD_SYSTEM,
+    'std/view': STD_VIEW,
+    'std/view.aon': STD_VIEW,
+};
+//# sourceMappingURL=std.js.map

package/dist/std.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"std.js","sourceRoot":"","sources":["../src/std.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAEpD,sCAAsC;AACtC,uEAAuE;AACvE,uEAAuE;AACvE,mEAAmE;AACnE,sEAAsE;AACtE,4BAA4B;AAC5B,EAAE;AACF,qEAAqE;AACrE,oEAAoE;AACpE,oEAAoE;AACpE,uEAAuE;AACvE,qCAAqC;AAErC,MAAM,UAAU,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAyClB,CAAA;AAGD,MAAM,QAAQ,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+DhB,CAAA;AAGY,QAAA,WAAW,GAA2B;IACjD,YAAY,EAAE,UAAU;IACxB,gBAAgB,EAAE,UAAU;IAC5B,UAAU,EAAE,QAAQ;IACpB,cAAc,EAAE,QAAQ;CACzB,CAAA"}

package/dist/subsume.d.ts

@@ -0,0 +1,39 @@
+import type { TrustOptions } from './type';
+import type { VetFinding } from './vet';
+export type SubsumeVerdict = 'subsumes' | 'does_not_subsume' | 'undecided' | 'error';
+export type SubsumeProfile = 'values' | 'defaults' | 'gen';
+export type SubsumeOptions = {
+    profile?: SubsumeProfile;
+    at?: string;
+    generalUrl?: string;
+    specificUrl?: string;
+    generalPath?: string;
+    specificPath?: string;
+    trust?: TrustOptions;
+};
+export type SubsumeReport = {
+    verdict: SubsumeVerdict;
+    findings: VetFinding[];
+};
+type SubState = {
+    profile: SubsumeProfile;
+    distributing?: boolean;
+    findings: VetFinding[];
+    generalUrl: string;
+    specificUrl: string;
+};
+type Tri = 'yes' | 'no' | 'undecided';
+export declare function effectiveDefault(v: any): any;
+export declare function subsumeNode(state: SubState, path: string[], g0: any, s0: any): Tri;
+/**
+ * Does `generalSrc` subsume `specificSrc` — is every instance the
+ * specific admits admitted by the general too?
+ *
+ * Both sources are evaluated fresh (single-use trees make this
+ * mandatory), and the recursion runs on the finished values. The
+ * verdict is three-valued plus `error` (a source that does not stand up
+ * on its own, mirroring vet's schema-error verdict); findings reuse
+ * G2's object with class `compat`.
+ */
+export declare function subsume(generalSrc: string, specificSrc: string, opts?: SubsumeOptions): SubsumeReport;
+export {};