@greenpandastudios/aug-cli 0.19.0 → 0.20.1

package/docs/examples/approved-design/domain/numbers.md

@@ -33,12 +33,13 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
+// aug-spec: "numbers.aug.md" explains this file. Read it before changes; refresh with aug spec.
 /** Raised when an input is outside the operation's domain. */
 RangeError(int value) implements Error:
     pass
 /** A pure validation layer, shared by any compatible callable. */
 interceptor Positive<T>():
-    around(int amount) returns T unless RangeError:
+    around(int amount) returns T:
         if amount < 0:
             throw RangeError(value=amount)
         return next()
@@ -49,7 +50,7 @@ interceptor Positive<T>():
 * @throws RangeError A validation layer rejected a negative input.
 */
 [Positive]
-double(int amount) returns int:
+double(int amount):
     return amount * 2
 test double:
     when "positive":
@@ -65,13 +66,14 @@ test double:
 ```
 
 ```aug [Braces]
+// aug-spec: "numbers.aug.md" explains this file. Read it before changes; refresh with aug spec.
 /** Raised when an input is outside the operation's domain. */
 RangeError(int value) implements Error {
     pass
 }
 /** A pure validation layer, shared by any compatible callable. */
 interceptor Positive<T>() {
-    around(int amount) returns T unless RangeError {
+    around(int amount) returns T {
         if amount < 0 {
             throw RangeError(value=amount)
         }
@@ -85,7 +87,7 @@ interceptor Positive<T>() {
 * @throws RangeError A validation layer rejected a negative input.
 */
 [Positive]
-double(int amount) returns int {
+double(int amount) {
     return amount * 2
 }
 test double {
@@ -115,133 +117,41 @@ test double {
 
 ## Compiled specification {#specification}
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+### `RangeError` · class · [source](numbers.md#code) {#symbol-RangeError}
 
-### In this file
+Raised when an input is outside the operation's domain. It implements `Error`. It takes `value` as an integer, kept read-only.
 
-- [`RangeError`](numbers.md#symbol-RangeError) is a class implementing `Error`.
-- [`Positive`](numbers.md#symbol-Positive) is an interceptor.
-- [`double`](numbers.md#symbol-double) is a function returning `int`.
-- [`test double`](numbers.md#symbol-test-20-double) is a same-file test suite.
+### `Positive` · interceptor · [source](numbers.md#code) {#symbol-Positive}
 
-### `RangeError` {#symbol-RangeError}
+A pure validation layer, shared by any compatible callable. The type parameters are `T`. Creates one interceptor per invocation. Its around operation may delegate once or finish early.
 
-[source](numbers.md#code)
+#### `Positive.around` · [source](numbers.md#code) {#symbol-Positive.around}
 
-Behavioral class.
+It takes `amount` as an integer. Failures can raise [`RangeError`](numbers.md#symbol-RangeError). If `amount` is negative, it raises a [`RangeError`](numbers.md#symbol-RangeError) with `value` from `amount`. It returns `next`.
 
-Satisfies `Error`.
+### `double` · [source](numbers.md#code) {#symbol-double}
 
-**Author documentation**
+Double a nonnegative amount. It takes `amount` as an integer (Integer to double). It returns `int` — Twice the amount, with defined integer wrapping. Failures can raise [`RangeError`](numbers.md#symbol-RangeError) (A validation layer rejected a negative input).
 
-Raised when an input is outside the operation's domain.
+Layers run in the declared order. Call [`Positive.around`](numbers.md#symbol-Positive.around). It returns `amount` times `2`.
 
-**Inputs**
+### `test double` · [source](numbers.md#code) {#symbol-test-20-double}
 
-- `value` (`int`) — required labeled input — stored as `value` and read-only after initialization.
+Tests [`double`](numbers.md#symbol-double). Each case gets fresh setup and dependencies.
 
-### `Positive` {#symbol-Positive}
+#### `positive`
 
-[source](numbers.md#code)
+##### `doubles` · [source](numbers.md#code)
 
-Function or constructor middleware.
+Run once for each row of a tuple containing `0`, `0`; a tuple containing `3`, `6`; a tuple containing `7`, `14`. Bind row positions to `input`, `expected`. The test requires [`double`](numbers.md#symbol-double) with `amount` from `input` equals `expected`.
 
-Type parameters: `T`.
+##### `rejects_negative` · [source](numbers.md#code)
 
-**Author documentation**
+It sets `rejected` to `false`.
 
-A pure validation layer, shared by any compatible callable.
+It tries to call [`double`](numbers.md#symbol-double) with `amount` `-1`. If this work raises [`RangeError`](numbers.md#symbol-RangeError) as `error`, it sets `rejected` to `error.value` equals `-1`. The test requires `rejected` is true.
 
-Create a fresh interceptor for each invocation. Its around operation can delegate once, change selected inputs, or short-circuit with a compatible result or failure.
-
-#### `Positive.around` {#symbol-Positive.around}
-
-[source](numbers.md#code)
-
-**Inputs**
-
-- `amount` (`int`) — required labeled input.
-
-Returns: `T`.
-
-Can fail with `RangeError`. Callers must catch or propagate these errors.
-
-**What it does**
-
-- If `amount` is less than `0`:
-  - Fail with call [`RangeError`](numbers.md#symbol-RangeError) with `value` = `amount`. Transfer control to a matching catch or propagate the failure.
-- Return call `next`.
-
-### `double` {#symbol-double}
-
-[source](numbers.md#code)
-
-**Inputs**
-
-- `amount` (`int`) — required labeled input.
-
-Returns: `int`.
-
-Can fail with `RangeError`. Callers must catch or propagate these errors.
-
-**Interceptors, in execution order**
-
-1. Call [`Positive.around`](numbers.md#symbol-Positive.around). It can call the next layer or finish with its own result or failure. Unselected inputs pass through.
-
-The first layer wraps the remaining layers. HTTP policies run before wire decoding; custom interceptors run after decoding. Follow linked behavior to see its conditions, input changes, and calls to the next layer.
-
-**What it does**
-
-- Return `amount` times `2`.
-
-**Author documentation**
-
-Double a nonnegative amount.
-
-**Returns** Twice the amount, with defined integer wrapping.
-
-**Parameters**
-- `amount`: Integer to double.
-
-**Throws**
-- `RangeError`: A validation layer rejected a negative input.
-
-### `test double` {#symbol-test-20-double}
-
-[source](numbers.md#code)
-
-Same-file function tests for [`double`](numbers.md#symbol-double). Each case gets isolated setup and dependency bindings.
-
-#### Group `positive`
-
-##### `doubles`
-
-[source](numbers.md#code)
-
-Run once for each row of a tuple containing `0`, `0`; a tuple containing `3`, `6`; a tuple containing `7`, `14`. Bind row positions to `input`, `expected`.
-
-- Call `assert` with (call [`double`](numbers.md#symbol-double) with `amount` = `input` equals `expected`).
-
-##### `rejects_negative`
-
-[source](numbers.md#code)
-
-- Set `rejected` of type `bool` to `false`.
-- Try these operations:
-  - Call [`double`](numbers.md#symbol-double) with `amount` = `-1`.
-- If they fail with [`RangeError`](numbers.md#symbol-RangeError), name the failure `error` and recover:
-  - Set `rejected` to `value` of `error` equals `-1`.
-- Call `assert` with `rejected` = `rejected`.
-
-### Built-in operations used by this file
-
-- `assert` (`condition`: `bool`) → `void`: Assert a bool in a test case or its setup. Catching an assertion failure cannot make the case pass; every case must execute an assertion.
-
-[Full built-in reference](https://greenpandastudios.github.io/augscript/language-constructs).
-
-### Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
 
 ::::
 

package/docs/examples/approved-design/index.md

@@ -10,9 +10,17 @@ outline: [2, 3]
 
 # Modules and composition
 
-Combine domain modules, generic values, explicit capabilities, and scoped providers.
+Startup combines narrow domain exports with a scoped counter provider. Records and validation keep data and checked failures visible.
 
-Read a file below to see its highlighted source and the Markdown produced by `aug spec`. Choose **Indentation** or **Braces** above the code. Both views describe the same checked program; your choice is kept when you open another file.
+Open a file to read its source beside the explanation produced by `aug spec`. **Indentation** and **Braces** display the same checked program; your choice carries across file pages.
+
+## Follow the program
+
+Read [`main.aug`](main.md). Follow the domain imports, provider choices, explicit scope, and checked failure before opening the implementation files.
+
+Read [`domain/export.aug`](domain/export.md). The export file gives callers the folder's deliberate public API.
+
+Read [`domain/numbers.aug`](domain/numbers.md). The validation interceptor rejects a negative input. Tests cover successful doubling and recovery from that failure.
 
 ## Project files
 
@@ -27,13 +35,14 @@ Read a file below to see its highlighted source and the Markdown produced by `au
 
 ## Try this project
 
-From a repository checkout with August installed:
+[Download this project](/downloads/approved-design.zip), then extract the archive in an empty working folder. It contains the checked source, configuration, and generated specs. [Install August](../../getting-started.md) once, then run these commands. Native libraries are prepared automatically when needed:
 
 ```sh
-aug check examples/approved-design
-aug spec examples/approved-design
-aug test examples/approved-design
-aug run examples/approved-design
+cd approved-design
+aug check .
+aug spec .
+aug test .
+aug run .
 ```
 
 [Browse all examples](../index.md)

package/docs/examples/approved-design/main.md

@@ -33,6 +33,7 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console and SystemConsole from august.io
 import Application and ApplicationImpl and Fruit and double and RangeError from domain
 import Counter and Counters from counters
@@ -48,7 +49,9 @@ match names.get(key=2):
     when some name:
         print(value=name)
 (code, label) to (3, "plum")
-print(value={Fruit(code=code, name=label), Fruit(name=label, code=code)}.length())
+print(
+    value={Fruit(code=code, name=label), Fruit(name=label, code=code)}.length()
+)
 scope:
     resolve Counter to counter
     borrow counter:
@@ -62,6 +65,7 @@ catch RangeError error:
 ```
 
 ```aug [Braces]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console and SystemConsole from august.io
 import Application and ApplicationImpl and Fruit and double and RangeError from domain
 import Counter and Counters from counters
@@ -80,7 +84,9 @@ match names.get(key=2) {
     }
 }
 (code, label) to (3, "plum")
-print(value={Fruit(code=code, name=label), Fruit(name=label, code=code)}.length())
+print(
+    value={Fruit(code=code, name=label), Fruit(name=label, code=code)}.length()
+)
 scope {
     resolve Counter to counter
     borrow counter {
@@ -105,110 +111,27 @@ catch RangeError error {
 
 ## Compiled specification {#specification}
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+### Providers
 
-### In this file
+`Console` is provided by [`SystemConsole`](dependencies/august/0.20.1/io/contracts.md#symbol-SystemConsole). The same instance is shared.
 
-- Include providers from `Counters`.
-- Register 2 dependency providers before startup.
-- Run startup operations with checked error recovery.
-- Run 7 other startup steps in source order.
+`Application` is provided by [`ApplicationImpl`](domain/app.md#symbol-ApplicationImpl). The same instance is shared. It requires bindings for `Console`. Include providers from [`Counters`](counters.md#symbol-Counters).
 
-### Dependency providers
+### Startup
 
-Register these providers before startup. Their declaration order does not set initialization order; shared instances initialize in dependency order.
+It sets `app` to the instance provided for `Application`. It calls [`app.start`](domain/app.md#symbol-Application.start). It sets `names` to a map with `1` mapped to `"apple"`; `2` mapped to `"pear"`. If the value under `2` in `names` is null, it prints `"missing fruit"`.
 
-- Provide [`SystemConsole`](dependencies/august/0.19.0/io/contracts.md#symbol-SystemConsole) when `Console` is requested. Reuse one instance.
-- Provide [`ApplicationImpl`](domain/app.md#symbol-ApplicationImpl) when `Application` is requested. Reuse one instance. Required dependencies: `Console`.
-- Include the providers from [`Counters`](counters.md#symbol-Counters) before execution.
+If the value under `2` in `names` is not null, using `name` for it prints `name`. It splits a tuple containing `3`, `"plum"` into `code` and `label` in order. It prints the number of elements in a set containing a [`Fruit`](domain/models.md#symbol-Fruit) with `code` and `name` from `label`, a [`Fruit`](domain/models.md#symbol-Fruit) with `name` from `label` and `code`. Within a task and ownership scope, it sets `counter` to the instance provided for `Counter`.
 
-### Startup, in source order
+With temporary permission to change `counter`, it calls [`counter.increment`](counters.md#symbol-Counter.increment). It prints [`counter.value`](counters.md#symbol-Counter.value). On leaving this scope, join its child tasks and release its local values. It prints [`double`](domain/numbers.md#symbol-double) with `amount` `7`.
 
-- Set `app` to the instance provided for `Application`.
-- Call [`Application.start`](domain/app.md#symbol-Application.start) on `app`.
-- Set `names` to a map with `1` mapped to `"apple"`; `2` mapped to `"pear"`.
-- Select the matching case for call `get` on `names` with `key` = `2`:
-  - A null value, including omitted optional input:
-    - Call `print` with `value` = `"missing fruit"`.
-  - A present, non-null value, named `name`:
-    - Call `print` with `value` = `name`.
-- Split a tuple containing `3`, `"plum"` into `code`, `label`, in that order.
-- Call `print` with `value` = call `length` on a set containing call [`Fruit`](domain/models.md#symbol-Fruit) with `code` = `code`; `name` = `label`, call [`Fruit`](domain/models.md#symbol-Fruit) with `name` = `label`; `code` = `code`.
-- Create a dependency and task scope. Join its child tasks and release scoped values before leaving:
-  - Set `counter` to the instance provided for `Counter`.
-  - Grant exclusive mutable access to `counter` for this block, then end the borrow:
-    - Call [`Counter.increment`](counters.md#symbol-Counter.increment) on `counter`.
-  - Call `print` with `value` = call [`Counter.value`](counters.md#symbol-Counter.value) on `counter`.
-- Try these operations:
-  - Call `print` with `value` = call [`double`](domain/numbers.md#symbol-double) with `amount` = `7`.
-  - Call [`double`](domain/numbers.md#symbol-double) with `amount` = `-1`.
-- If they fail with [`RangeError`](domain/numbers.md#symbol-RangeError), name the failure `error` and recover:
-  - Call `print` with `value` = `"negative amount rejected"`.
+It calls [`double`](domain/numbers.md#symbol-double) with `amount` `-1`. If this work raises [`RangeError`](domain/numbers.md#symbol-RangeError), it prints `"negative amount rejected"`.
 
-### Dependencies used by this file
+### Dependencies
 
-Only referenced types and operations appear here. Each name links to its complete specification.
+It uses [`SystemConsole`](dependencies/august/0.20.1/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`Counter`](counters.md#symbol-Counter) ([`increment`](counters.md#symbol-Counter.increment) and [`value`](counters.md#symbol-Counter.value)) and [`Counters`](counters.md#symbol-Counters) from `counters`. It uses [`Application`](domain/app.md#symbol-Application) ([`start`](domain/app.md#symbol-Application.start)), [`ApplicationImpl`](domain/app.md#symbol-ApplicationImpl), [`Fruit`](domain/models.md#symbol-Fruit), [`RangeError`](domain/numbers.md#symbol-RangeError), and [`double`](domain/numbers.md#symbol-double) from `domain`.
 
-#### [`SystemConsole`](dependencies/august/0.19.0/io/contracts.md#symbol-SystemConsole)
-
-Class from `august.io`.
-
-Used as a type or provider.
-
-#### [`Counter`](counters.md#symbol-Counter)
-
-Interface from `counters`.
-
-- [`Counter.increment`](counters.md#symbol-Counter.increment) (no caller inputs) → `void`; changes `self`.
-- [`Counter.value`](counters.md#symbol-Counter.value) (no caller inputs) → `int`.
-
-#### [`Counters`](counters.md#symbol-Counters)
-
-Composition from `counters`.
-
-Used as a type or provider.
-
-#### [`Application`](domain/app.md#symbol-Application)
-
-Interface from `domain`.
-
-- [`Application.start`](domain/app.md#symbol-Application.start) (no caller inputs) → `void`; uses [`Console.write`](dependencies/august/0.19.0/io/contracts.md#symbol-Console.write).
-
-#### [`ApplicationImpl`](domain/app.md#symbol-ApplicationImpl)
-
-Class from `domain`.
-
-Used as a type or provider.
-
-#### [`Fruit`](domain/models.md#symbol-Fruit)
-
-Record from `domain`.
-
-- Construct with `code`: `int`, `name`: `string` → [`Fruit`](domain/models.md#symbol-Fruit).
-
-#### [`RangeError`](domain/numbers.md#symbol-RangeError)
-
-Class from `domain`.
-
-Used as a type or provider.
-
-#### [`double`](domain/numbers.md#symbol-double)
-
-Function from `domain`.
-
-- [`double`](domain/numbers.md#symbol-double) (`amount`: `int`) → `int`; can fail with `RangeError`.
-
-### Built-in operations used by this file
-
-- `Map<int, string>.get` (`key`: `int`) → `optional string`: Read a value by key; an absent key returns null. contains distinguishes an absent key from a stored null.
-- `Set<Fruit>.length` (no inputs) → `int`: Read the number of elements.
-- `print` (`value`: `any`) → `void`: Composition and test output. Other callables receive Console and declare uses console.write.
-
-[Full built-in reference](https://greenpandastudios.github.io/augscript/language-constructs).
-
-### Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
 
 ::::
 

package/docs/examples/benchmark/index.md

@@ -12,7 +12,7 @@ outline: [2, 3]
 
 Measure a deterministic arithmetic workload with aug bench.
 
-Read a file below to see its highlighted source and the Markdown produced by `aug spec`. Choose **Indentation** or **Braces** above the code. Both views describe the same checked program; your choice is kept when you open another file.
+Open a file to read its source beside the explanation produced by `aug spec`. **Indentation** and **Braces** display the same checked program; your choice carries across file pages.
 
 ## Project files
 
@@ -22,12 +22,13 @@ Read a file below to see its highlighted source and the Markdown produced by `au
 
 ## Try this project
 
-From a repository checkout with August installed:
+[Download this project](/downloads/benchmark.zip), then extract the archive in an empty working folder. It contains the checked source, configuration, and generated specs. [Install August](../../getting-started.md) once, then run these commands. Native libraries are prepared automatically when needed:
 
 ```sh
-aug check examples/benchmark
-aug spec examples/benchmark
-aug run examples/benchmark
+cd benchmark
+aug check .
+aug spec .
+aug run .
 ```
 
 [Browse all examples](../index.md)

package/docs/examples/benchmark/main.md

@@ -28,6 +28,7 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 // A deterministic native workload: arithmetic and 20,000 hash entries.
 own Map<int,int> values = {}
 own Set<int> unique = {}
@@ -45,6 +46,7 @@ print(value=values.length() == unique.length())
 ```
 
 ```aug [Braces]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 // A deterministic native workload: arithmetic and 20,000 hash entries.
 own Map<int,int> values = {}
 own Set<int> unique = {}
@@ -72,45 +74,15 @@ print(value=values.length() == unique.length())
 
 ## Compiled specification {#specification}
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+### Startup
 
-### In this file
+It sets `values` of type `Map<int,int>` to a context-typed empty collection with no items. `values` of type `Map<int,int>` owns this value. It sets `unique` of type `Set<int>` to a context-typed empty collection with no items. `unique` of type `Set<int>` owns this value.
 
-- Run 8 other startup steps in source order.
+It sets `index` to `0`. While `index` is less than `20000`, it stores `index` times `3` in `values` under `index`; then it adds `index` to `unique`; then it increases `index` by `1`. After the loop, it sets `checksum` to `0`. For each `key` and `value` in a snapshot of `values`, if whether `unique` contains `key` returns true, it increases `checksum` by `value`.
 
-### Startup, in source order
+After the loop, it prints `checksum`. It prints the number of elements in `values` equals the number of elements in `unique`.
 
-- Set `values` of type `Map<int,int>` to a context-typed empty collection with no items.
-- This variable owns the value.
-- Set `unique` of type `Set<int>` to a context-typed empty collection with no items.
-- This variable owns the value.
-- Set `index` of type `int` to `0`.
-- While `index` is less than `20000`, repeat:
-  - Call `set` on `values` with `key` = `index`; `value` = (`index` times `3`).
-  - Call `add` on `unique` with `value` = `index`.
-  - Set `index` to `index` plus `1`.
-  - Check the condition again before the next iteration.
-- Set `checksum` of type `int` to `0`.
-- For each `key` and `value` in a snapshot of `values`, in iteration order:
-  - If call `contains` on `unique` with `value` = `key` is true:
-    - Set `checksum` to `checksum` plus `value`.
-- Call `print` with `value` = `checksum`.
-- Call `print` with `value` = (call `length` on `values` equals call `length` on `unique`).
-
-### Built-in operations used by this file
-
-- `Map<int, int>.length` (no inputs) → `int`: Read the number of elements.
-- `Map<int, int>.set` (`key`: `int`, `value`: `int`) → `void`: Insert or replace an entry with exclusive mutable access. Changes the receiver.
-- `Set<int>.add` (`value`: `int`) → `void`: Insert a unique element with exclusive mutable access. Changes the receiver.
-- `Set<int>.contains` (`value`: `int`) → `bool`: Test structural or identity equality with a stored element.
-- `Set<int>.length` (no inputs) → `int`: Read the number of elements.
-- `print` (`value`: `any`) → `void`: Composition and test output. Other callables receive Console and declare uses console.write.
-
-[Full built-in reference](https://greenpandastudios.github.io/augscript/language-constructs).
-
-### Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
 
 ::::
 

package/docs/examples/cli-args/index.md

@@ -12,7 +12,7 @@ outline: [2, 3]
 
 Read arguments, inspect collections, and return a process exit status.
 
-Read a file below to see its highlighted source and the Markdown produced by `aug spec`. Choose **Indentation** or **Braces** above the code. Both views describe the same checked program; your choice is kept when you open another file.
+Open a file to read its source beside the explanation produced by `aug spec`. **Indentation** and **Braces** display the same checked program; your choice carries across file pages.
 
 ## Project files
 
@@ -21,12 +21,13 @@ Read a file below to see its highlighted source and the Markdown produced by `au
 
 ## Try this project
 
-From a repository checkout with August installed:
+[Download this project](/downloads/cli-args.zip), then extract the archive in an empty working folder. It contains the checked source, configuration, and generated specs. [Install August](../../getting-started.md) once, then run these commands. Native libraries are prepared automatically when needed:
 
 ```sh
-aug check examples/cli-args
-aug spec examples/cli-args
-aug run examples/cli-args
+cd cli-args
+aug check .
+aug spec .
+aug run .
 ```
 
 [Browse all examples](../index.md)

package/docs/examples/cli-args/main.md

@@ -28,6 +28,7 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 try:
     args = arguments()
     print(value=args.length())
@@ -42,6 +43,7 @@ catch IndexError error:
 ```
 
 ```aug [Braces]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 try {
     args = arguments()
     print(value=args.length())
@@ -67,40 +69,13 @@ catch IndexError error {
 
 ## Compiled specification {#specification}
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+### Startup
 
-### In this file
+It sets `args` to `arguments`. It prints the number of elements in `args`. If the number of elements in `args` is positive, it prints the item at index `0` in `args`. It sets `numbers` to a list of `int` containing `1`, `2`.
 
-- Run startup operations with checked error recovery.
+With temporary permission to change `numbers`, it appends `3` to `numbers`. It prints the item at index `2` in `numbers`. If this work raises `IndexError`, it prints `"unexpected index failure"`.
 
-### Startup, in source order
-
-- Try these operations:
-  - Set `args` to call `arguments`.
-  - Call `print` with `value` = call `length` on `args`.
-  - If call `length` on `args` is greater than `0`:
-    - Call `print` with `value` = call `get` on `args` with `index` = `0`.
-  - Set `numbers` to a list of `int` containing `1`, `2`.
-  - Grant exclusive mutable access to `numbers` for this block, then end the borrow:
-    - Call `append` on `numbers` with `value` = `3`.
-  - Call `print` with `value` = call `get` on `numbers` with `index` = `2`.
-- If they fail with `IndexError`, name the failure `error` and recover:
-  - Call `print` with `value` = `"unexpected index failure"`.
-
-### Built-in operations used by this file
-
-- `List<int>.append` (`value`: `int`) → `void`: Append an element with exclusive mutable access. Read-only and owned aliases cannot be stored here. Changes the receiver.
-- `List<int>.get` (`index`: `int`) → `int`: Read a zero-based position. An invalid index raises checked IndexError. Reference results grant reading. Can fail with `IndexError`.
-- `List<string>.get` (`index`: `int`) → `string`: Read a zero-based position. An invalid index raises checked IndexError. Reference results grant reading. Can fail with `IndexError`.
-- `List<string>.length` (no inputs) → `int`: Read the number of elements.
-- `arguments` (no inputs) → `List<string>`: Composition arguments. Other callables receive the Arguments capability.
-- `print` (`value`: `any`) → `void`: Composition and test output. Other callables receive Console and declare uses console.write.
-
-[Full built-in reference](https://greenpandastudios.github.io/augscript/language-constructs).
-
-### Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
 
 ::::
 

package/docs/examples/collections/index.md

@@ -12,7 +12,7 @@ outline: [2, 3]
 
 Create typed collections and update them through checked mutable access.
 
-Read a file below to see its highlighted source and the Markdown produced by `aug spec`. Choose **Indentation** or **Braces** above the code. Both views describe the same checked program; your choice is kept when you open another file.
+Open a file to read its source beside the explanation produced by `aug spec`. **Indentation** and **Braces** display the same checked program; your choice carries across file pages.
 
 ## Project files
 
@@ -21,12 +21,13 @@ Read a file below to see its highlighted source and the Markdown produced by `au
 
 ## Try this project
 
-From a repository checkout with August installed:
+[Download this project](/downloads/collections.zip), then extract the archive in an empty working folder. It contains the checked source, configuration, and generated specs. [Install August](../../getting-started.md) once, then run these commands. Native libraries are prepared automatically when needed:
 
 ```sh
-aug check examples/collections
-aug spec examples/collections
-aug run examples/collections
+cd collections
+aug check .
+aug spec .
+aug run .
 ```
 
 [Browse all examples](../index.md)