aontu 0.61.0 → 0.62.0

package/dist/std.js

@@ -2,19 +2,23 @@
 /* Copyright (c) 2025 Richard Rodger, MIT License */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.AONTU_MODELS = exports.AONTU_SCHEME = 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 LANGUAGE-SUPPLIED MODELS (G4 phase 4,
+// docs/capability-review/g4-identity-relations.md): `@"aontu: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.
+//
+// EVERY name here carries the `aontu:` prefix (ADR-028): a
+// language-supplied schema is spelled one way, and the scheme is what
+// makes it unshadowable. There is no second, bare-name spelling.
 //
 // 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
+// and test/spec/aontu-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
+const STD_SYSTEM = `# aontu: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
@@ -25,48 +29,74 @@ const STD_SYSTEM = `# std/system --- the SYSTEM VOCABULARY (G4 phase 4). Ports,
 # identity and version makes "v1 and v2 describe the same entity"
 # inexpressible.
 
-std: {
-
+aontu: System: {
   # One end of a connection.
-  Port: type({
-    direction: *in | out | inout
-    protocol?: string
-  })
+  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}
-  })
+  Component: type({ ports?:{ &: $.aontu.System.Port } })
 
   # A component that is a service. Written out rather than as
-  # $.std.Component & {kind: service}: a reference from one member of
+  # $.aontu.System.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}
-  })
-
+  Service: type({ kind:service ports?:{ &: $.aontu.System.Port } })
+
+  # A semantic version (semver.org 2.0.0) as an ORDERED TUPLE: major,
+  # minor, patch, pre-release. A list and not a dotted string, because a
+  # version is COMPARED and the comparison runs component by component
+  # from the left: "1.10.0" sorts below "1.9.0" as text. A list and not
+  # a map, because a map has no order of its own to compare along.
+  #
+  # THE TAIL DEFAULTS, so [1] is [1 0 0 ""] and [1 2] is [1 2 0 ""].
+  # A major-only version is the common case and should cost one token.
+  #
+  # LEADING ZEROES ARE IMPOSSIBLE HERE rather than merely forbidden:
+  # the numeric parts are integers, and 01 is not a distinct integer
+  # literal. The spec's "MUST NOT contain leading zeroes" needs no rule.
+  #
+  # THE PRE-RELEASE CHECK IS PARTIAL, and deliberately says so. The
+  # spec's grammar is dot-separated identifiers, each non-empty, each
+  # [0-9A-Za-z-], numeric ones without leading zeroes -- which as a
+  # regex is a quantified group containing a quantifier, and re()
+  # refuses that shape outright (constraint_pattern) because it
+  # backtracks exponentially. So the alphabet is checked and the
+  # STRUCTURE is not: "beta_1" is refused, "alpha..1" and "01" are not.
+  # Carrying the pre-release as a LIST of identifiers would check it in
+  # full, one identifier per element, and is the change to make if that
+  # matters more than [1 0 0 ""] does.
+  #
+  # BUILD METADATA IS NOT CARRIED. The spec has it, and the spec also
+  # says it MUST be ignored when determining precedence -- so a type
+  # whose purpose is comparison is the wrong place for it.
+  Semver: type(
+    [
+      integer & min(0)
+      *0 | (integer & min(0))
+      *0 | (integer & min(0))
+      *"" | (string & re("^[0-9A-Za-z.-]+$"))
+    ] & length(4)
+  )
   # (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
+const STD_VIEW = `# aontu: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"
+#   @"aontu:view"
 #   @"./system.aon"
 #
-#   views: {&: $.view.Figure} & {
+#   views: {&: $.aontu.View.Figure} & {
 #     arch: {kind: matrix, order: partition, out: "docs/arch.dsm.txt"}
 #   }
 #
@@ -80,8 +110,7 @@ const STD_VIEW = `# std/view --- the FIGURE VOCABULARY (VIEWS.0.md, "6. The view
 # canon-hash. This file carries no backtick: it is one string literal
 # per port, and Go raw strings have no escape.
 
-view: {
-
+aontu: 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.
@@ -295,7 +324,7 @@ const STD_CODE = String.raw `# aontu:code --- THE OUTPUT VOCABULARY. An aontu tr
 
 %source = close({ path?:string hash?:string & re("^aon1-[A-Za-z0-9_-]+$") })
 
-code: close({ source?:%source units:[&: %unit] })
+aontu: Code: close({ source?:%source units:[&: %unit] })
 `;
 const STD_PROFILE = String.raw `# aontu:profile --- THE PROFILE VOCABULARY. A profile is the data
 # 'aontu render' applies to a unit of one language, and it is DATA and
@@ -367,7 +396,7 @@ const STD_PROFILE = String.raw `# aontu:profile --- THE PROFILE VOCABULARY. A pr
   banner?: string
 })
 
-profile: %profile
+aontu: Profile: %profile
 `;
 // The text profile (RENDER.0.md D5): the profile of a fragment-only
 // unit, and the fallback of every language without a lowering.
@@ -382,7 +411,7 @@ const STD_LANG_TEXT = String.raw `# aontu:lang/text --- THE TEXT PROFILE. The pr
 
 @"aontu:profile"
 
-profile: { lang:"text" indent:{ unit:" " width:2 } }
+aontu: Profile: { lang:"text" indent:{ unit:" " width:2 } }
 `;
 // THE TYPESCRIPT PROFILE (docs/design/RENDER.0.md D5, P5): the data the
 // typescript lowering renders under -- two spaces, the JSDoc forms, the
@@ -402,7 +431,7 @@ const STD_LANG_TYPESCRIPT = String.raw `# aontu:lang/typescript --- THE TYPESCRI
 
 @"aontu:profile"
 
-profile: {
+aontu: Profile: {
   lang: "typescript"
   lowering: "typescript"
   indent: { unit:" " width:2 }
@@ -410,13 +439,15 @@ profile: {
   comment: block: { open:"/*" prefix:" * " close:" */" }
   comment: doc: { open:"/**" prefix:" * " close:" */" }
   str: quote: "\""
-  str: escape: "8": "\\b"
-  str: escape: "9": "\\t"
-  str: escape: "10": "\\n"
-  str: escape: "12": "\\f"
-  str: escape: "13": "\\r"
-  str: escape: "34": "\\\""
-  str: escape: "92": "\\\\"
+  str: escape: {
+    "8": "\\b"
+    "9": "\\t"
+    "10": "\\n"
+    "12": "\\f"
+    "13": "\\r"
+    "34": "\\\""
+    "92": "\\\\"
+  }
   ident: {
     chars: "ascii-word"
     reserved: [
@@ -477,14 +508,16 @@ profile: {
     case: alias: "pascal"
     acronyms: []
   }
-  types: prim: string: "string"
-  types: prim: int: "number"
-  types: prim: bigint: "bigint"
-  types: prim: float: "number"
-  types: prim: decimal: "string"
-  types: prim: bool: "boolean"
-  types: prim: null: "null"
-  types: prim: any: "unknown"
+  types: prim: {
+    string: "string"
+    int: "number"
+    bigint: "bigint"
+    float: "number"
+    decimal: "string"
+    bool: "boolean"
+    null: "null"
+    any: "unknown"
+  }
   types: list: { close:"[]" childPrec:2 }
   types: map: { open:"Record<" close:">" }
   types: opt: { close:" | null" prec:1 childPrec:2 }
@@ -511,21 +544,23 @@ const STD_LANG_GO = String.raw `# aontu:lang/go --- THE GO PROFILE. The data a u
 
 @"aontu:profile"
 
-profile: {
+aontu: Profile: {
   lang: "go"
   lowering: "go"
   indent: { unit:"\t" width:1 }
   comment: { line:prefix:"// " block:{ open:"/*" close:"*/" } doc:prefix:"// " }
   str: quote: "\""
-  str: escape: "7": "\\a"
-  str: escape: "8": "\\b"
-  str: escape: "9": "\\t"
-  str: escape: "10": "\\n"
-  str: escape: "11": "\\v"
-  str: escape: "12": "\\f"
-  str: escape: "13": "\\r"
-  str: escape: "34": "\\\""
-  str: escape: "92": "\\\\"
+  str: escape: {
+    "7": "\\a"
+    "8": "\\b"
+    "9": "\\t"
+    "10": "\\n"
+    "11": "\\v"
+    "12": "\\f"
+    "13": "\\r"
+    "34": "\\\""
+    "92": "\\\\"
+  }
   ident: {
     chars: "ascii-word"
     reserved: [
@@ -604,14 +639,16 @@ profile: {
       "XSS"
     ]
   }
-  types: prim: string: "string"
-  types: prim: int: "int64"
-  types: prim: bigint: "string"
-  types: prim: float: "float64"
-  types: prim: decimal: "string"
-  types: prim: bool: "bool"
-  types: prim: null: "any"
-  types: prim: any: "any"
+  types: prim: {
+    string: "string"
+    int: "int64"
+    bigint: "string"
+    float: "float64"
+    decimal: "string"
+    bool: "bool"
+    null: "any"
+    any: "any"
+  }
   types: list: open: "[]"
   types: map: open: "map["
   types: opt: open: "*"
@@ -619,10 +656,8 @@ profile: {
 }
 `;
 exports.STD_SOURCES = {
-    'std/system': STD_SYSTEM,
-    'std/system.aon': STD_SYSTEM,
-    'std/view': STD_VIEW,
-    'std/view.aon': STD_VIEW,
+    'aontu:system': STD_SYSTEM,
+    'aontu:view': STD_VIEW,
     'aontu:code': STD_CODE,
     'aontu:lang/go': STD_LANG_GO,
     'aontu:lang/text': STD_LANG_TEXT,

package/dist/std.js.map

@@ -1 +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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmEhB,CAAA;AAGD,4DAA4D;AAC5D,uEAAuE;AACvE,sEAAsE;AACtE,sEAAsE;AACtE,sEAAsE;AACtE,8DAA8D;AAC9D,EAAE;AACF,mEAAmE;AACnE,iEAAiE;AACjE,sEAAsE;AACtE,oEAAoE;AACpE,gEAAgE;AAChE,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgK1B,CAAA;AAGD,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuE7B,CAAA;AAGD,oEAAoE;AACpE,+DAA+D;AAC/D,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;CAY/B,CAAA;AAED,wEAAwE;AACxE,wEAAwE;AACxE,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,qEAAqE;AACrE,MAAM,mBAAmB,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsGrC,CAAA;AAED,2EAA2E;AAC3E,wEAAwE;AACxE,uEAAuE;AACvE,4DAA4D;AAC5D,gDAAgD;AAChD,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuH7B,CAAA;AAEY,QAAA,WAAW,GAA2B;IACjD,YAAY,EAAE,UAAU;IACxB,gBAAgB,EAAE,UAAU;IAC5B,UAAU,EAAE,QAAQ;IACpB,cAAc,EAAE,QAAQ;IACxB,YAAY,EAAE,QAAQ;IACtB,eAAe,EAAE,WAAW;IAC5B,iBAAiB,EAAE,aAAa;IAChC,uBAAuB,EAAE,mBAAmB;IAC5C,eAAe,EAAE,WAAW;CAC7B,CAAA;AAED,sEAAsE;AACtE,qEAAqE;AACrE,WAAW;AACE,QAAA,YAAY,GAAG,QAAQ,CAAA;AACvB,QAAA,YAAY,GACvB,MAAM,CAAC,IAAI,CAAC,QAAA,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAA,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA"}
+{"version":3,"file":"std.js","sourceRoot":"","sources":["../src/std.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAEpD,4CAA4C;AAC5C,sEAAsE;AACtE,+DAA+D;AAC/D,uEAAuE;AACvE,wEAAwE;AACxE,iCAAiC;AACjC,EAAE;AACF,2DAA2D;AAC3D,sEAAsE;AACtE,iEAAiE;AACjE,EAAE;AACF,qEAAqE;AACrE,sEAAsE;AACtE,oEAAoE;AACpE,uEAAuE;AACvE,qCAAqC;AAErC,MAAM,UAAU,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmElB,CAAA;AAGD,MAAM,QAAQ,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAkEhB,CAAA;AAGD,4DAA4D;AAC5D,uEAAuE;AACvE,sEAAsE;AACtE,sEAAsE;AACtE,sEAAsE;AACtE,8DAA8D;AAC9D,EAAE;AACF,mEAAmE;AACnE,iEAAiE;AACjE,sEAAsE;AACtE,oEAAoE;AACpE,gEAAgE;AAChE,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgK1B,CAAA;AAGD,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuE7B,CAAA;AAGD,oEAAoE;AACpE,+DAA+D;AAC/D,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;CAY/B,CAAA;AAED,wEAAwE;AACxE,wEAAwE;AACxE,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,qEAAqE;AACrE,MAAM,mBAAmB,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0GrC,CAAA;AAED,2EAA2E;AAC3E,wEAAwE;AACxE,uEAAuE;AACvE,4DAA4D;AAC5D,gDAAgD;AAChD,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2H7B,CAAA;AAEY,QAAA,WAAW,GAA2B;IACjD,cAAc,EAAE,UAAU;IAC1B,YAAY,EAAE,QAAQ;IACtB,YAAY,EAAE,QAAQ;IACtB,eAAe,EAAE,WAAW;IAC5B,iBAAiB,EAAE,aAAa;IAChC,uBAAuB,EAAE,mBAAmB;IAC5C,eAAe,EAAE,WAAW;CAC7B,CAAA;AAED,sEAAsE;AACtE,qEAAqE;AACrE,WAAW;AACE,QAAA,YAAY,GAAG,QAAQ,CAAA;AACvB,QAAA,YAAY,GACvB,MAAM,CAAC,IAAI,CAAC,QAAA,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAA,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA"}