@greenpandastudios/aug-cli 0.19.0 → 0.20.1

package/examples/developer-workflow/calculator.aug.md

@@ -1,228 +1,67 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `calculator.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`Arithmetic`](calculator.aug.md#symbol-Arithmetic) is an interface.
-- [`Calculator`](calculator.aug.md#symbol-Calculator) is a class implementing `Arithmetic`.
-- [`load`](calculator.aug.md#symbol-load) is a function returning `string`.
-- [`_SilentLogger`](calculator.aug.md#symbol-_SilentLogger) is a class implementing `Logger`.
-- [`test Calculator calculator`](calculator.aug.md#symbol-test%20Calculator%20calculator) is a same-file test suite.
+# `calculator.aug`
 
 <a id="symbol-Arithmetic"></a>
-
-## `Arithmetic`
-
-[source](calculator.aug#L4)
-
-Interface.
-
-**Author documentation**
+## `Arithmetic` · interface · [source](calculator.aug#L5)
 
 Adds two integers.
 
 <a id="symbol-Arithmetic.add"></a>
+### `Arithmetic.add` · [source](calculator.aug#L6)
 
-### `Arithmetic.add`
-
-[source](calculator.aug#L5)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `left` (`int`) — required labeled input.
-- `right` (`int`) — required labeled input.
-
-Returns: `int`.
-
-Capabilities: [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-Interface contract. A selected implementation supplies the behavior.
+It takes `left` and `right` as integers. It gets `console` ([`Console`](.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console)) from dependency injection. It returns `int`. It can call [`Console.write`](.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console.write).
 
 <a id="symbol-Calculator"></a>
+## `Calculator` · class · [source](calculator.aug#L9)
 
-## `Calculator`
-
-[source](calculator.aug#L8)
-
-Behavioral class.
-
-Satisfies [`Arithmetic`](calculator.aug.md#symbol-Arithmetic).
-
-**Author documentation**
-
-Uses the selected logger to describe each addition.
-
-**Inputs**
-
-- `logger` ([`Logger`](logging/logger.aug.md#symbol-Logger)) — injected; callers omit it — stored as `_logger` (private) and read-only after initialization.
+Uses the selected logger to describe each addition. It implements [`Arithmetic`](calculator.aug.md#symbol-Arithmetic). The `_logger` dependency is injected as [`Logger`](logging/logger.aug.md#symbol-Logger) and stored read-only and privately.
 
 <a id="symbol-Calculator.add"></a>
+### `Calculator.add` · [source](calculator.aug#L16)
 
-### `Calculator.add`
-
-[source](calculator.aug#L15)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `left` (`int`) — required labeled input.
-- `right` (`int`) — required labeled input.
-
-Returns: `int`.
-
-Capabilities: [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-**What it does**
-
-- Call [`Logger.log`](logging/logger.aug.md#symbol-Logger.log) on `_logger` with `message` = `"adding integers"`; inject `console` from `console`.
-- Return `left` plus `right`.
+Adds left and right, logging the operation. It takes `left` as an integer (First integer) and `right` as an integer (Second integer). It gets `console` ([`Console`](.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console)) from dependency injection. It returns `int` — Sum of the two integers.
 
-**Author documentation**
-
-Adds left and right, logging the operation.
-
-**Returns** Sum of the two integers.
-
-**Parameters**
-- `left`: First integer.
-- `right`: Second integer.
+It passes `"adding integers"` to [`_logger.log`](logging/logger.aug.md#symbol-Logger.log), using injected `console`. It returns `left` plus `right`.
 
 <a id="symbol-load"></a>
+## `load` · [source](calculator.aug#L26)
 
-## `load`
-
-[source](calculator.aug#L25)
-
-**Inputs**
-
-- `fail` (`bool`) — required labeled input.
-
-Returns: `string`.
-
-Can fail with `FileError`. Callers must catch or propagate these errors.
-
-**What it does**
+Demonstrates a checked failure instead of a successful result. It takes `fail` as a boolean (Whether to simulate a failed load). Failures can raise `FileError` (when fail is true).
 
-- If `fail` is true:
-  - Fail with call `FileError`. Transfer control to a matching catch or propagate the failure.
-- Return `"loaded"`.
-
-**Author documentation**
-
-Demonstrates a checked failure instead of a successful result.
-
-**Parameters**
-- `fail`: Whether to simulate a failed load.
-
-**Throws**
-- `FileError`: When fail is true.
+It checks that `fail` is false. It raises a `FileError` at the first failed check. It returns `"loaded"`.
 
 <a id="symbol-_SilentLogger"></a>
+## `_SilentLogger` · class · [source](calculator.aug#L33)
 
-## `_SilentLogger`
-
-[source](calculator.aug#L32)
-
-Behavioral class, private to this file.
-
-Satisfies [`Logger`](logging/logger.aug.md#symbol-Logger).
-
-**Author documentation**
-
-Test adapter: keeps calculator tests independent of console output.
+Test adapter: keeps calculator tests independent of console output. It implements [`Logger`](logging/logger.aug.md#symbol-Logger). It is private to this file.
 
 <a id="symbol-_SilentLogger.log"></a>
+### `_SilentLogger.log` · [source](calculator.aug#L34)
 
-### `_SilentLogger.log`
-
-[source](calculator.aug#L33)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `message` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-**What it does**
-
-- Continue without another operation.
-
-**Author documentation**
-
-**Parameters**
-- `message`: Text to write.
+It takes `message` as a string (Text to write). It gets `console` ([`Console`](.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console)) from dependency injection. It continues without an operation.
 
 <a id="symbol-test Calculator calculator"></a>
+## `test Calculator calculator` · [source](calculator.aug#L38)
 
-## `test Calculator calculator`
-
-[source](calculator.aug#L37)
-
-Same-file class tests for [`Calculator`](calculator.aug.md#symbol-Calculator). Each case gets isolated setup and dependency bindings.
-
-### Group `addition`
-
-**Setup before each case**
-
-- Provide [`SystemConsole`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-SystemConsole) when `Console` is requested. Use a fresh instance when this provider retains state; otherwise reuse one instance.
-- Provide [`_SilentLogger`](calculator.aug.md#symbol-_SilentLogger) when `Logger` is requested. Use a fresh instance when this provider retains state; otherwise reuse one instance.
-- Set `calculator` to call [`Calculator`](calculator.aug.md#symbol-Calculator); inject `_logger` from `Logger`.
-- Set `values` of type `List<int>` to a list containing `1`, `2`.
-
-#### `adds labeled inputs`
-
-[source](calculator.aug#L43)
-
-- Call `assert` with (call [`Calculator.add`](calculator.aug.md#symbol-Calculator.add) on `calculator` with `right` = `2`; `left` = `1`; inject `console` from `Console` equals `3`).
-- Grant exclusive mutable access to `values` for this block, then end the borrow:
-  - Call `append` on `values` with `value` = `3`.
-- Call `assert` with (call `length` on `values` equals `3`).
-
-#### `starts with fresh setup`
-
-[source](calculator.aug#L50)
-
-- Call `assert` with (call `length` on `values` equals `2`).
-- Call `assert` with (call [`Calculator.add`](calculator.aug.md#symbol-Calculator.add) on `calculator` with `left` = call `get` on `values` with `index` = `0`; `right` = call `get` on `values` with `index` = `1`; inject `console` from `Console` equals `3`).
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)
-
-Capability interface from `august.io`.
-
-- [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write)<`T`> (`value`: `T`) → `void`.
-
-### [`SystemConsole`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-SystemConsole)
+Tests [`Calculator`](calculator.aug.md#symbol-Calculator). Each case gets fresh setup and dependencies.
 
-Class from `august.io`.
+### `addition`
 
-Used as a type or provider.
+Setup for each case: `Console` is provided by [`SystemConsole`](.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-SystemConsole). Stateless instances are reused; stateful instances are created for each resolve. `Logger` is provided by [`_SilentLogger`](calculator.aug.md#symbol-_SilentLogger). Stateless instances are reused; stateful instances are created for each resolve.
 
-### [`Logger`](logging/logger.aug.md#symbol-Logger)
+It sets `calculator` to a [`Calculator`](calculator.aug.md#symbol-Calculator) using injected `Logger` for `_logger`. It sets `values` of type `List<int>` to a list containing `1`, `2`.
 
-Interface from `logging`.
+#### `adds labeled inputs` · [source](calculator.aug#L44)
 
-- [`Logger.log`](logging/logger.aug.md#symbol-Logger.log) (`message`: `string`) → `void`; inject `console`: [`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console); uses [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
+The test requires [`calculator.add`](calculator.aug.md#symbol-Calculator.add) with `right` `2` and `left` `1` using injected `Console` for `console` equals `3`. With temporary permission to change `values`, it appends `3` to `values`. The test requires the number of elements in `values` equals `3`.
 
-## Built-in operations used by this file
+#### `starts with fresh setup` · [source](calculator.aug#L51)
 
-- `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<int>.length` (no inputs) → `int`: Read the number of elements.
-- `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.
+The test requires the number of elements in `values` equals `2`. The test requires [`calculator.add`](calculator.aug.md#symbol-Calculator.add) with `left` from the item at index `0` in `values` and `right` from the item at index `1` in `values` using injected `Console` for `console` equals `3`.
 
-[Full built-in reference](https://greenpandastudios.github.io/augscript/language-constructs).
+## Dependencies
 
-## Shared language rules
+It uses [`Console`](.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console) ([`write`](.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console.write)) and [`SystemConsole`](.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-SystemConsole) from `august.io`. It uses [`Logger`](logging/logger.aug.md#symbol-Logger) ([`log`](logging/logger.aug.md#symbol-Logger.log)) from `logging`.
 
-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/examples/developer-workflow/logging/console.aug

@@ -1,8 +1,9 @@
+// aug-spec: "console.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 import Logger from logger
 /** Writes application messages to standard output. */
 ConsoleLogger() implements Logger {
-    log(resolve Console console, string message) uses Console.write {
+    log(resolve Console console, string message) {
         console.write(value=message)
     }
 }

package/examples/developer-workflow/logging/console.aug.md

@@ -1,67 +1,17 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `console.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`ConsoleLogger`](console.aug.md#symbol-ConsoleLogger) is a class implementing `Logger`.
+# `console.aug`
 
 <a id="symbol-ConsoleLogger"></a>
+## `ConsoleLogger` · class · [source](console.aug#L5)
 
-## `ConsoleLogger`
-
-[source](console.aug#L4)
-
-Behavioral class.
-
-Satisfies [`Logger`](logger.aug.md#symbol-Logger).
-
-**Author documentation**
-
-Writes application messages to standard output.
+Writes application messages to standard output. It implements [`Logger`](logger.aug.md#symbol-Logger).
 
 <a id="symbol-ConsoleLogger.log"></a>
+### `ConsoleLogger.log` · [source](console.aug#L6)
 
-### `ConsoleLogger.log`
-
-[source](console.aug#L5)
-
-**Inputs**
-
-- `console` ([`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `message` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-**What it does**
-
-- Call [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write) on `console` with `value` = `message`.
-
-**Author documentation**
-
-**Parameters**
-- `message`: Text to write.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)
-
-Capability interface from `august.io`.
-
-- [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write)<`T`> (`value`: `T`) → `void`.
-
-### [`Logger`](logger.aug.md#symbol-Logger)
-
-Interface from `logger`.
-
-Used as a type or provider.
+It takes `message` as a string (Text to write). It gets `console` ([`Console`](../.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console)) from dependency injection. It passes `message` to [`console.write`](../.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console.write).
 
-## Shared language rules
+## Dependencies
 
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It uses [`Console`](../.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console) ([`write`](../.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console.write)) from `august.io`. It uses [`Logger`](logger.aug.md#symbol-Logger) from `logger`.

package/examples/developer-workflow/logging/export.aug

@@ -1,2 +1,3 @@
+// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
 export Logger from logger
 export ConsoleLogger from console

package/examples/developer-workflow/logging/export.aug.md

@@ -1,19 +1,7 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `export.aug` specification
+# `export.aug`
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+## Exports
 
-## In this file
-
-- Export `Logger` from this folder.
-- Export `ConsoleLogger` from this folder.
-
-## Folder exports
-
-- Export the declaration `Logger` from [`logger.aug`](logger.aug.md#symbol-Logger).
-- Export the declaration `ConsoleLogger` from [`console.aug`](console.aug.md#symbol-ConsoleLogger).
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+Export the declaration `Logger` from [`logger.aug`](logger.aug.md#symbol-Logger). Export the declaration `ConsoleLogger` from [`console.aug`](console.aug.md#symbol-ConsoleLogger).

package/examples/developer-workflow/logging/logger.aug

@@ -1,3 +1,4 @@
+// aug-spec: "logger.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 /** Receives a message describing an application operation. */
 interface Logger {

package/examples/developer-workflow/logging/logger.aug.md

@@ -1,57 +1,17 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `logger.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`Logger`](logger.aug.md#symbol-Logger) is an interface.
+# `logger.aug`
 
 <a id="symbol-Logger"></a>
-
-## `Logger`
-
-[source](logger.aug#L3)
-
-Interface.
-
-**Author documentation**
+## `Logger` · interface · [source](logger.aug#L4)
 
 Receives a message describing an application operation.
 
 <a id="symbol-Logger.log"></a>
+### `Logger.log` · [source](logger.aug#L6)
 
-### `Logger.log`
-
-[source](logger.aug#L5)
-
-**Inputs**
-
-- `console` ([`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `message` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-Interface contract. A selected implementation supplies the behavior.
-
-**Author documentation**
-
-**Parameters**
-- `message`: Text to write.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)
-
-Capability interface from `august.io`.
-
-- [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write)<`T`> (`value`: `T`) → `void`.
+It takes `message` as a string (Text to write). It gets `console` ([`Console`](../.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console)) from dependency injection. It can call [`Console.write`](../.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console.write).
 
-## Shared language rules
+## Dependencies
 
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It uses [`Console`](../.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console) ([`write`](../.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-Console.write)) from `august.io`.

package/examples/developer-workflow/main.aug

@@ -1,3 +1,4 @@
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console and SystemConsole from august.io
 implement Console with SystemConsole
 import Logger and ConsoleLogger from logging

package/examples/developer-workflow/main.aug.md

@@ -1,79 +1,21 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `main.aug` specification
+# `main.aug`
 
-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`](.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-SystemConsole). The same instance is shared. `Logger` is provided by [`ConsoleLogger`](logging/console.aug.md#symbol-ConsoleLogger). The same instance is shared.
 
-- Register 2 dependency providers before startup.
-- Run startup operations with checked error recovery.
+## Startup
 
-## Dependency providers
+It sets `numbers` of type `List<int>` to a list containing `1`, `2`. It sets `pair` of type `Tuple<int,string>` to a tuple containing `1`, `"apple"`. It sets `unique` of type `Set<int>` to a set containing `1`, `2`, `1`. It sets `fruit` of type `Map<int,string>` to a map with `1` mapped to `"apples"`; `2` mapped to `"pears"`.
 
-Register these providers before startup. Their declaration order does not set initialization order; shared instances initialize in dependency order.
+It sets `calculator` to a [`Calculator`](calculator.aug.md#symbol-Calculator) using injected `Logger` for `_logger`. It prints [`calculator.add`](calculator.aug.md#symbol-Calculator.add) with `right` from the item at index `1` in `numbers` and `left` from the item at index `0` in `numbers` using injected `Console` for `console`. It prints `pair.get` with `index` `1`. It prints the number of elements in `unique`.
 
-- Provide [`SystemConsole`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-SystemConsole) when `Console` is requested. Reuse one instance.
-- Provide [`ConsoleLogger`](logging/console.aug.md#symbol-ConsoleLogger) when `Logger` is requested. Reuse one instance.
+It prints the value under `2` in `fruit`. It prints [`load`](calculator.aug.md#symbol-load) with `fail` `true`. If this work raises `FileError`, it prints `"load failed as expected"`. If this work raises `IndexError`, it prints `"unexpected index failure"`.
 
-## Startup, in source order
+## Dependencies
 
-- Try these operations:
-  - Set `numbers` of type `List<int>` to a list containing `1`, `2`.
-  - Set `pair` of type `Tuple<int,string>` to a tuple containing `1`, `"apple"`.
-  - Set `unique` of type `Set<int>` to a set containing `1`, `2`, `1`.
-  - Set `fruit` of type `Map<int,string>` to a map with `1` mapped to `"apples"`; `2` mapped to `"pears"`.
-  - Set `calculator` to call [`Calculator`](calculator.aug.md#symbol-Calculator); inject `_logger` from `Logger`.
-  - Call `print` with `value` = call [`Calculator.add`](calculator.aug.md#symbol-Calculator.add) on `calculator` with `right` = call `get` on `numbers` with `index` = `1`; `left` = call `get` on `numbers` with `index` = `0`; inject `console` from `Console`.
-  - Call `print` with `value` = call `get` on `pair` with `index` = `1`.
-  - Call `print` with `value` = call `length` on `unique`.
-  - Call `print` with `value` = call `get` on `fruit` with `key` = `2`.
-  - Try these operations:
-    - Call `print` with `value` = call [`load`](calculator.aug.md#symbol-load) with `fail` = `true`.
-  - If they fail with `FileError`, name the failure `error` and recover:
-    - Call `print` with `value` = `"load failed as expected"`.
-- If they fail with `IndexError`, name the failure `error` and recover:
-  - Call `print` with `value` = `"unexpected index failure"`.
+It uses [`SystemConsole`](.aug-spec/august/0.20.1/io/contracts.aug.md#symbol-SystemConsole) from `august.io`. It uses [`Calculator`](calculator.aug.md#symbol-Calculator) ([`add`](calculator.aug.md#symbol-Calculator.add)) and [`load`](calculator.aug.md#symbol-load) from `calculator`. It uses [`ConsoleLogger`](logging/console.aug.md#symbol-ConsoleLogger) from `logging`.
 
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`SystemConsole`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-SystemConsole)
-
-Class from `august.io`.
-
-Used as a type or provider.
-
-### [`Calculator`](calculator.aug.md#symbol-Calculator)
-
-Class from `calculator`.
-
-- Construct with no caller inputs → [`Calculator`](calculator.aug.md#symbol-Calculator).
-- [`Calculator.add`](calculator.aug.md#symbol-Calculator.add) (`left`: `int`, `right`: `int`) → `int`; inject `console`: [`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console); uses [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-### [`load`](calculator.aug.md#symbol-load)
-
-Function from `calculator`.
-
-- [`load`](calculator.aug.md#symbol-load) (`fail`: `bool`) → `string`; can fail with `FileError`.
-
-### [`ConsoleLogger`](logging/console.aug.md#symbol-ConsoleLogger)
-
-Class from `logging`.
-
-Used as a type or provider.
-
-## Built-in operations used by this file
-
-- `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`.
-- `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<int>.length` (no inputs) → `int`: Read the number of elements.
-- `Tuple<int, string>.get` (`index`: `int`) → `string`: Read a statically checked constant position. Prefer tuple destructuring when reading several positions.
-- `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/examples/drop/.aug-spec/manifest.json

@@ -4,5 +4,5 @@
     "main.aug.md",
     "resource.aug.md"
   ],
-  "digest": "772f94c0390ab48369860e4b045064eabee967b18881ea6422c7fbafb41df19a"
+  "digest": "0c92d38cb899d8bbc5d5cad117d433231dbce1a424688afaa32709db7d7fb1be"
 }

package/examples/drop/main.aug

@@ -1,3 +1,4 @@
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Resource from resource
 own Resource resource = Resource()
 print(value="using resource")

package/examples/drop/main.aug.md

@@ -1,35 +1,13 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `main.aug` specification
+# `main.aug`
 
-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 `resource` of type [`Resource`](resource.aug.md#symbol-Resource) to a [`Resource`](resource.aug.md#symbol-Resource). `resource` of type [`Resource`](resource.aug.md#symbol-Resource) owns this value. It prints `"using resource"`.
 
-- Run 2 other startup steps in source order.
+## Dependencies
 
-## Startup, in source order
+It uses [`Resource`](resource.aug.md#symbol-Resource) from `resource`.
 
-- Set `resource` of type [`Resource`](resource.aug.md#symbol-Resource) to call [`Resource`](resource.aug.md#symbol-Resource).
-- This variable owns the value.
-- Call `print` with `value` = `"using resource"`.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`Resource`](resource.aug.md#symbol-Resource)
-
-Class from `resource`.
-
-- Construct with no caller inputs → [`Resource`](resource.aug.md#symbol-Resource).
-
-## Built-in operations used by this file
-
-- `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/examples/drop/resource.aug

@@ -1,3 +1,4 @@
+// aug-spec: "resource.aug.md" explains this file. Read it before changes; refresh with aug spec.
 Resource() implements IResource {
     drop() {
         pass

package/examples/drop/resource.aug.md

@@ -1,44 +1,16 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `resource.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`Resource`](resource.aug.md#symbol-Resource) is a class implementing `IResource`.
-- [`IResource`](resource.aug.md#symbol-IResource) is an interface.
+# `resource.aug`
 
 <a id="symbol-Resource"></a>
+## `Resource` · class · [source](resource.aug#L2)
 
-## `Resource`
-
-[source](resource.aug#L1)
-
-Behavioral class.
-
-Satisfies [`IResource`](resource.aug.md#symbol-IResource).
+It implements [`IResource`](resource.aug.md#symbol-IResource).
 
 <a id="symbol-Resource.drop"></a>
+### `Resource.drop` · [source](resource.aug#L3)
 
-### `Resource.drop`
-
-[source](resource.aug#L2)
-
-Returns: no value.
-
-**What it does**
-
-- Continue without another operation.
+It continues without an operation.
 
 <a id="symbol-IResource"></a>
-
-## `IResource`
-
-[source](resource.aug#L6)
-
-Interface.
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+## `IResource` · interface · [source](resource.aug#L7)