aontu 0.64.0 → 0.65.0

package/skill/error-codes.md

@@ -10,9 +10,9 @@ test suite holds to the engine in both implementations.
 | Class | Meaning | What to do |
 |-------|---------|------------|
 | `parse` | the text is not a document | fix the syntax at the site the frame points at |
-| `conflict` | two values cannot both hold | one of them is wrong: `aontu why <path>` names both and where they were written |
+| `conflict` | two values cannot both hold | one of them is wrong: `aontu model why <path>` names both and where they were written |
 | `incomplete` | nothing contradicts, but the value is not concrete | supply what is missing, or accept it with `--partial` |
-| `reference` | a path names nothing | check the spelling; `aontu get $ --keys` lists what is there |
+| `reference` | a path names nothing | check the spelling; `aontu model get $ --keys` lists what is there |
 | `compat` | a change breaks an earlier version | that is `aontu subsume` / `aontu breaking` talking: widen the change or version it |
 | `budget` | evaluation hit a deterministic limit | usually a cycle; simplify, or raise the budget deliberately |
 | `internal` | the engine surprised itself | a bug worth reporting |
@@ -37,14 +37,14 @@ offending values filled in, and for several codes it names the fix
 outright — `lossy_integer_literal` tells you to write the literal as
 `0d…`. It is absent for codes that have no hint text.
 
-For a conflict, `aontu why <path> mine.aon` lists every contribution
+For a conflict, `aontu model why <path> mine.aon` lists every contribution
 to that path with its role and source line, which turns "these
 disagree" into "these two lines disagree".
 
 Then fix it:
 
 ```
-aontu set '$.replicas=5' --entry schema.aon --overlay mine.aon --in-place
+aontu model set '$.replicas=5' --entry schema.aon --overlay mine.aon --in-place
 ```
 
 `--in-place` rewrites the pinned literal **where it was written**, so

package/skill/examples.md

@@ -59,7 +59,7 @@ services: {
 }
 ```
 
-The `&:` template meets EVERY key. `aontu why $.services.db.replicas`
+The `&:` template meets EVERY key. `aontu model why $.services.db.replicas`
 reports both contributions — the template's `*1|integer` and the
 literal `3` — with the line each was written on.
 
@@ -83,7 +83,7 @@ A port of `0` is now an error with a path, not a runtime surprise.
 service: { image: string, replicas: *1 | integer }
 
 # prod.aon
-@"base.aon"
+@"./base.aon"
 service: { image: "auth:v2.3", replicas: 5 }
 ```
 
@@ -91,9 +91,9 @@ Unification is order-independent: `base & prod` is `prod & base`. To
 change a value without editing the file, append to an overlay:
 
 ```
-aontu set '$.service.replicas=7' --entry prod.aon --overlay local.aon
+aontu model set '$.service.replicas=7' --entry prod.aon --overlay local.aon
 ```
 
 If the value is PINNED rather than open, that command refuses and
 names the pinning site — which is the honest answer, and where
-`aontu why` takes you next.
+`aontu model why` takes you next.

package/skill/grammar-card.md

@@ -54,6 +54,6 @@ ranges meet to their overlap.
 
 ## Files
 
-`@"other.aon"` includes another document — it unifies in, it does not
+`@"./other.aon"` includes another document — it unifies in, it does not
 concatenate. (A constrained decoder is not given this: generated
 documents describe values, they do not load files.)

package/skill/init/check.sh

@@ -16,10 +16,10 @@ cd "$(dirname "$0")"
 $AONTU vet --strict-coverage model.aon data.aon
 
 # 2. What does it say at a path?
-$AONTU get '$.entity.planet.table' data.aon
+$AONTU model get '$.entity.planet.table' data.aon
 
 # 3. Why does it say that? Every contribution, with the line it is on.
-$AONTU why '$.entity.planet.table' data.aon
+$AONTU model why '$.entity.planet.table' data.aon
 
 # 4. A pin for the truth: it survives reformatting and moves on any
 #    change of meaning.

package/skill/tasks.md

@@ -82,7 +82,7 @@ aontu trim --check model.aon     # entries whose removal changes nothing
 ## Generate code from a model, and hold it
 
 ```
-aontu get out gen.aon      # the component tree: files, and the lines in them
+aontu model get out gen.aon      # the component tree: files, and the lines in them
 aontu trace gen.aon        # what rule wrote each line
 ```
 
@@ -96,10 +96,10 @@ rule behind it.
 ## Ask what a model says, and why
 
 ```
-aontu get  $.entity.planet.table model.aon
-aontu why  $.entity.planet.table model.aon
-aontu get  $.entity --keys       model.aon
-aontu get  $.entity --types      model.aon
+aontu model get  $.entity.planet.table model.aon
+aontu model why  $.entity.planet.table model.aon
+aontu model get  $.entity --keys       model.aon
+aontu model get  $.entity --types      model.aon
 ```
 
 `why` names **every** contribution to a value, with the file and line
@@ -109,7 +109,7 @@ what you expected, and the second thing to run when `vet` refuses.
 ## Change a value without editing the file
 
 ```
-aontu set '$.entity.planet.table=planet_v2' --entry model.aon --overlay local.aon
+aontu model set '$.entity.planet.table=planet_v2' --entry model.aon --overlay local.aon
 ```
 
 The change is checked before it is written; a change that contradicts

package/src/agentsmd.ts

@@ -80,16 +80,16 @@ export function agentsMd(
     '',
     '```',
     '# 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/src/aontu.ts

@@ -35,7 +35,7 @@ import { format, unifiedDiff } from './format'
 export type { LintFinding, FormatReport, FormatOptions } from './format'
 
 
-const VERSION = '0.64.0'
+const VERSION = '0.65.0'
 
 
 function genQuiet(val: any, aontu: Aontu): any {