@greenpandastudios/aug-cli 0.19.0 → 0.21.0

package/examples/hello/main.aug.md

@@ -1,49 +1,17 @@
 <!-- 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.21.0/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 3 dependency providers before startup.
-- Run 2 other startup steps in source order.
+`app` is provided by [`Greeter`](app/greeter.aug.md#symbol-Greeter). The same instance is shared. It requires bindings for `Logger`.
 
-## Dependency providers
+## Startup
 
-Register these providers before startup. Their declaration order does not set initialization order; shared instances initialize in dependency order.
+It sets `greeter` to the instance provided for `app`. It passes `"AugScript"` to [`greeter.greet`](app/greeter.aug.md#symbol-Greeter.greet), using injected `Console`.
 
-- 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.
-- Provide [`Greeter`](app/greeter.aug.md#symbol-Greeter) when `app` is requested. Reuse one instance. Required dependencies: `Logger`.
+## Dependencies
 
-## Startup, in source order
-
-- Set `greeter` to the instance provided for `app`.
-- Call [`Greeter.greet`](app/greeter.aug.md#symbol-Greeter.greet) on `greeter` with `name` = `"AugScript"`; inject `console` from `Console`.
-
-## 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.
-
-### [`Greeter`](app/greeter.aug.md#symbol-Greeter)
-
-Class from `app`.
-
-- [`Greeter.greet`](app/greeter.aug.md#symbol-Greeter.greet) (`name`: `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).
-
-### [`ConsoleLogger`](logging/console.aug.md#symbol-ConsoleLogger)
-
-Class from `logging`.
-
-Used as a type or provider.
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It uses [`SystemConsole`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-SystemConsole) from `august.io`. It uses [`Greeter`](app/greeter.aug.md#symbol-Greeter) ([`greet`](app/greeter.aug.md#symbol-Greeter.greet)) from `app`. It uses [`ConsoleLogger`](logging/console.aug.md#symbol-ConsoleLogger) from `logging`.

package/examples/interceptors/.aug-spec/august/0.21.0/io/contracts.aug

@@ -0,0 +1,37 @@
+// Generated by aug spec. This is a copy of the installed dependency source.
+// aug-spec: "contracts.aug.md" explains this file. Read it before changes; refresh with aug spec.
+/** Permission to write to a console, provided by an explicitly selected adapter. */
+capability Console:
+    /** Write one line of text. @param value Text to display. */
+    write<T>(T value) uses Console.write
+
+/** The native standard-output adapter. Construction performs no output. */
+SystemConsole() implements Console:
+    write<T>(T value):
+        print(value=value)
+
+/** Read UTF-8 text through an explicitly selected filesystem adapter. */
+capability FileReader:
+    /** Read text. @param path File path. @throws FileError The file could not be read. */
+    read(string path) returns string uses FileReader.read unless FileError
+
+/** Write UTF-8 text through an explicitly selected filesystem adapter. */
+capability FileWriter:
+    /** Write text. @param path File path. @param content Text. @throws FileError Writing failed. */
+    write(string path, string content) uses FileWriter.write unless FileError
+
+/** Native files. Operations are explicit; construction opens no files. */
+LocalFiles() implements FileReader, FileWriter:
+    read(string path) :
+        return read_file(path=path)
+    write(string path, string content) :
+        write_file(path=path, content=content)
+
+/** Read command-line input through an explicit dependency. */
+capability Arguments:
+    read() returns List<string> uses Arguments.read
+
+/** Native command-line arguments. */
+ProcessArguments() implements Arguments:
+    read() :
+        return arguments()

package/examples/interceptors/.aug-spec/august/0.21.0/io/contracts.aug.md

@@ -0,0 +1,82 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `contracts.aug`
+
+<a id="symbol-Console"></a>
+## `Console` · capability interface · [source](contracts.aug#L4)
+
+Permission to write to a console, provided by an explicitly selected adapter.
+
+<a id="symbol-Console.write"></a>
+### `Console.write` · [source](contracts.aug#L6)
+
+Write one line of text. The type parameters are `T`. It takes `value` as `T` (Text to display). It can call [`Console.write`](contracts.aug.md#symbol-Console.write).
+
+<a id="symbol-SystemConsole"></a>
+## `SystemConsole` · class · [source](contracts.aug#L9)
+
+The native standard-output adapter. Construction performs no output. It implements [`Console`](contracts.aug.md#symbol-Console).
+
+<a id="symbol-SystemConsole.write"></a>
+### `SystemConsole.write` · [source](contracts.aug#L10)
+
+Write one line of text. The type parameters are `T`. It takes `value` as `T` (Text to display). It prints `value`.
+
+<a id="symbol-FileReader"></a>
+## `FileReader` · capability interface · [source](contracts.aug#L14)
+
+Read UTF-8 text through an explicitly selected filesystem adapter.
+
+<a id="symbol-FileReader.read"></a>
+### `FileReader.read` · [source](contracts.aug#L16)
+
+Read text. It takes `path` as a string (File path).
+
+It returns `string`. It can call [`FileReader.read`](contracts.aug.md#symbol-FileReader.read). Failures can raise `FileError` (The file could not be read).
+
+<a id="symbol-FileWriter"></a>
+## `FileWriter` · capability interface · [source](contracts.aug#L19)
+
+Write UTF-8 text through an explicitly selected filesystem adapter.
+
+<a id="symbol-FileWriter.write"></a>
+### `FileWriter.write` · [source](contracts.aug#L21)
+
+Write text. It takes `path` as a string (File path) and `content` as a string (Text). It can call [`FileWriter.write`](contracts.aug.md#symbol-FileWriter.write). Failures can raise `FileError` (Writing failed).
+
+<a id="symbol-LocalFiles"></a>
+## `LocalFiles` · class · [source](contracts.aug#L24)
+
+Native files. Operations are explicit; construction opens no files. It implements [`FileReader`](contracts.aug.md#symbol-FileReader) and [`FileWriter`](contracts.aug.md#symbol-FileWriter).
+
+<a id="symbol-LocalFiles.read"></a>
+### `LocalFiles.read` · [source](contracts.aug#L25)
+
+Read text. It takes `path` as a string (File path). Failures can raise `FileError` (The file could not be read). It returns `read_file` with `path`.
+
+<a id="symbol-LocalFiles.write"></a>
+### `LocalFiles.write` · [source](contracts.aug#L27)
+
+Write text. It takes `path` as a string (File path) and `content` as a string (Text). Failures can raise `FileError` (Writing failed). It calls `write_file` with `path` and `content`.
+
+<a id="symbol-Arguments"></a>
+## `Arguments` · capability interface · [source](contracts.aug#L31)
+
+Read command-line input through an explicit dependency.
+
+<a id="symbol-Arguments.read"></a>
+### `Arguments.read` · [source](contracts.aug#L32)
+
+It returns `List<string>`. It can call [`Arguments.read`](contracts.aug.md#symbol-Arguments.read).
+
+<a id="symbol-ProcessArguments"></a>
+## `ProcessArguments` · class · [source](contracts.aug#L35)
+
+Native command-line arguments. It implements [`Arguments`](contracts.aug.md#symbol-Arguments).
+
+<a id="symbol-ProcessArguments.read"></a>
+### `ProcessArguments.read` · [source](contracts.aug#L36)
+
+It returns `arguments`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/interceptors/.aug-spec/manifest.json

@@ -1,12 +1,12 @@
 {
   "format": 1,
   "files": [
-    ".aug-spec/august/0.19.0/io/contracts.aug",
-    ".aug-spec/august/0.19.0/io/contracts.aug.md",
+    ".aug-spec/august/0.21.0/io/contracts.aug",
+    ".aug-spec/august/0.21.0/io/contracts.aug.md",
     "app.aug.md",
     "interceptors.aug.md",
     "logging.aug.md",
     "main.aug.md"
   ],
-  "digest": "0adb5f6975eecb6f98cdbbb5c47143e82e4bdaa60ce10c2fd437cb8c3e635096"
+  "digest": "7585a80829aa29023840432758d4550c3e7411b89f8e2eab88cdeabb2af935fb"
 }

package/examples/interceptors/app.aug

@@ -1,3 +1,4 @@
+// aug-spec: "app.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 import Logger from logging
 import Audit from interceptors
@@ -11,7 +12,7 @@ import AddOne from interceptors
 [Audit]
 [Positive(y=x)]
 [AddOne(y=x)]
-describe(resolve Logger logger, resolve Console console, int x, string label) returns string uses Console.write {
+describe(resolve Logger logger, resolve Console console, int x, string label) {
     console.write(value=x)
     return label
 }
@@ -22,7 +23,7 @@ interface IGreeter {
 Greeter(resolve Logger logger to _logger, string name) implements IGreeter {
     /** Method annotations wrap each method invocation separately. */
     [Audit]
-    greet(resolve Logger logger, resolve Console console) returns string uses Console.write {
+    greet(resolve Logger logger, resolve Console console) {
         return "Hello, " + name + "!"
     }
 }

package/examples/interceptors/app.aug.md

@@ -1,162 +1,36 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `app.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`describe`](app.aug.md#symbol-describe) is a function returning `string`.
-- [`IGreeter`](app.aug.md#symbol-IGreeter) is an interface.
-- [`Greeter`](app.aug.md#symbol-Greeter) is a class implementing `IGreeter`.
+# `app.aug`
 
 <a id="symbol-describe"></a>
+## `describe` · [source](app.aug#L15)
 
-## `describe`
-
-[source](app.aug#L14)
-
-**Inputs**
-
-- `logger` ([`Logger`](logging.aug.md#symbol-Logger)) — injected; callers omit it.
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `x` (`int`) — required labeled input.
-- `label` (`string`) — required labeled input.
-
-Returns: `string`.
-
-Capabilities: [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-Can fail with `ValidationError`. Callers must catch or propagate these errors.
-
-**Interceptors, in execution order**
-
-1. Call [`Audit.around`](interceptors.aug.md#symbol-Audit.around). It can call the next layer or finish with its own result or failure. Unselected inputs pass through.
-2. Call [`Positive.around`](interceptors.aug.md#symbol-Positive.around). It can call the next layer or finish with its own result or failure. Map `x` to `y`. Unselected inputs pass through.
-3. Call [`AddOne.around`](interceptors.aug.md#symbol-AddOne.around). It can call the next layer or finish with its own result or failure. Map `x` to `y`. 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**
-
-- Call [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write) on `console` with `value` = `x`.
-- Return `label`.
-
-**Author documentation**
+Prints a number and returns its label. It takes `x` as an integer (the numeric input, validated and incremented by the chain) and `label` as a string (Text forwarded through each layer unchanged). It gets `logger` ([`Logger`](logging.aug.md#symbol-Logger)) and `console` ([`Console`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. Failures can raise `ValidationError`.
 
-Prints a number and returns its label.
+Layers run in the declared order. Call [`Audit.around`](interceptors.aug.md#symbol-Audit.around). Call [`Positive.around`](interceptors.aug.md#symbol-Positive.around). Map `x` to `y`. Call [`AddOne.around`](interceptors.aug.md#symbol-AddOne.around). Map `x` to `y`.
 
-**Parameters**
-- `x`: The numeric input, validated and incremented by the chain.
-- `label`: Text forwarded through each layer unchanged.
+It passes `x` to [`console.write`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write). It returns `label`.
 
 <a id="symbol-IGreeter"></a>
-
-## `IGreeter`
-
-[source](app.aug#L18)
-
-Interface.
+## `IGreeter` · interface · [source](app.aug#L19)
 
 <a id="symbol-IGreeter.greet"></a>
+### `IGreeter.greet` · [source](app.aug#L20)
 
-### `IGreeter.greet`
-
-[source](app.aug#L19)
-
-**Inputs**
-
-- `logger` ([`Logger`](logging.aug.md#symbol-Logger)) — injected; callers omit it.
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-
-Returns: `string`.
-
-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 gets `logger` ([`Logger`](logging.aug.md#symbol-Logger)) and `console` ([`Console`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. It returns `string`. It can call [`Console.write`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write).
 
 <a id="symbol-Greeter"></a>
+## `Greeter` · class · [source](app.aug#L23)
 
-## `Greeter`
-
-[source](app.aug#L22)
-
-Behavioral class.
-
-Satisfies [`IGreeter`](app.aug.md#symbol-IGreeter).
-
-**Author documentation**
-
-Construction stores its inputs; startup is visible in the greet call.
-
-**Inputs**
-
-- `logger` ([`Logger`](logging.aug.md#symbol-Logger)) — injected; callers omit it — stored as `_logger` (private) and read-only after initialization.
-- `name` (`string`) — required labeled input — stored as `name` and read-only after initialization.
+Construction stores its inputs; startup is visible in the greet call. It implements [`IGreeter`](app.aug.md#symbol-IGreeter). It takes `name` as a string, kept read-only. It gets `_logger` ([`Logger`](logging.aug.md#symbol-Logger)), kept read-only and private as `_logger` from dependency injection.
 
 <a id="symbol-Greeter.greet"></a>
+### `Greeter.greet` · [source](app.aug#L26)
 
-### `Greeter.greet`
-
-[source](app.aug#L25)
-
-**Inputs**
-
-- `logger` ([`Logger`](logging.aug.md#symbol-Logger)) — injected; callers omit it.
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-
-Returns: `string`.
-
-Capabilities: [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-**Interceptors, in execution order**
-
-1. Call [`Audit.around`](interceptors.aug.md#symbol-Audit.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 text formed by joining `"Hello, "`, `name`, `"!"` in order.
-
-**Author documentation**
-
-Method annotations wrap each method invocation separately.
-
-## 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`.
-
-### [`AddOne`](interceptors.aug.md#symbol-AddOne)
-
-Interceptor from `interceptors`.
-
-- [`AddOne.around`](interceptors.aug.md#symbol-AddOne.around) (`y`: `int`) → `T`.
-
-### [`Audit`](interceptors.aug.md#symbol-Audit)
-
-Interceptor from `interceptors`.
-
-- [`Audit.around`](interceptors.aug.md#symbol-Audit.around) (no caller inputs) → `T`; 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).
-
-### [`Positive`](interceptors.aug.md#symbol-Positive)
-
-Interceptor from `interceptors`.
-
-- [`Positive.around`](interceptors.aug.md#symbol-Positive.around) (`y`: `int`) → `T`; can fail with `ValidationError`.
-
-### [`Logger`](logging.aug.md#symbol-Logger)
-
-Interface from `logging`.
+Method annotations wrap each method invocation separately. It gets `logger` ([`Logger`](logging.aug.md#symbol-Logger)) and `console` ([`Console`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. Layers run in the declared order. Call [`Audit.around`](interceptors.aug.md#symbol-Audit.around).
 
-Used as a type or provider.
+It returns the text `Hello, {name}!`.
 
-## 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.21.0/io/contracts.aug.md#symbol-Console) ([`write`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write)) from `august.io`. It uses [`AddOne`](interceptors.aug.md#symbol-AddOne) ([`around`](interceptors.aug.md#symbol-AddOne.around)), [`Audit`](interceptors.aug.md#symbol-Audit) ([`around`](interceptors.aug.md#symbol-Audit.around)), and [`Positive`](interceptors.aug.md#symbol-Positive) ([`around`](interceptors.aug.md#symbol-Positive.around)) from `interceptors`. It uses [`Logger`](logging.aug.md#symbol-Logger) from `logging`.

package/examples/interceptors/interceptors.aug

@@ -1,3 +1,4 @@
+// aug-spec: "interceptors.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 import Logger from logging
 /** Raised when a numeric input fails validation. */
@@ -11,7 +12,7 @@ ValidationError(string message) implements Error {
 */
 interceptor Audit<T>(resolve Logger logger) {
     /** Wrap a call without changing its result. */
-    around(resolve Console console) returns T uses Console.write {
+    around(resolve Console console) {
         logger.log(message="before")
         T result = next()
         logger.log(message="after")
@@ -24,7 +25,7 @@ interceptor Positive<T>() {
     * @param y The target argument selected by a mapping such as y=x.
     * @throws ValidationError When the selected value is negative.
     */
-    around(int y) returns T unless ValidationError {
+    around(int y) returns T {
         if y < 0 {
             throw ValidationError(message="value must be nonnegative")
         }

package/examples/interceptors/interceptors.aug.md

@@ -1,180 +1,47 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `interceptors.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`ValidationError`](interceptors.aug.md#symbol-ValidationError) is a class implementing `Error`.
-- [`Audit`](interceptors.aug.md#symbol-Audit) is an interceptor.
-- [`Positive`](interceptors.aug.md#symbol-Positive) is an interceptor.
-- [`AddOne`](interceptors.aug.md#symbol-AddOne) is an interceptor.
+# `interceptors.aug`
 
 <a id="symbol-ValidationError"></a>
+## `ValidationError` · class · [source](interceptors.aug#L5)
 
-## `ValidationError`
-
-[source](interceptors.aug#L4)
-
-Behavioral class.
-
-Satisfies `Error`.
-
-**Author documentation**
-
-Raised when a numeric input fails validation.
-
-**Inputs**
-
-- `message` (`string`) — required labeled input — stored as `message` and read-only after initialization.
+Raised when a numeric input fails validation. It implements `Error`. It takes `message` as a string, kept read-only.
 
 <a id="symbol-Audit"></a>
-
-## `Audit`
-
-[source](interceptors.aug#L12)
-
-Function or constructor middleware.
-
-Type parameters: `T`.
-
-**Author documentation**
+## `Audit` · interceptor · [source](interceptors.aug#L13)
 
 Logs before and after a successful call.
-Generic T is inferred from the annotated function or constructor.
-
-**Parameters**
-- `logger`: Shared application logger, injected for each fresh instance.
+Generic T is inferred from the annotated function or constructor. The type parameters are `T`.
 
-**Inputs**
-
-- `logger` ([`Logger`](logging.aug.md#symbol-Logger)) — injected; callers omit it — stored as `logger` and read-only after initialization.
-
-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.
+The `logger` dependency is injected as [`Logger`](logging.aug.md#symbol-Logger) and stored read-only. Creates one interceptor per invocation. Its around operation may delegate once or finish early.
 
 <a id="symbol-Audit.around"></a>
+### `Audit.around` · [source](interceptors.aug#L15)
 
-### `Audit.around`
-
-[source](interceptors.aug#L14)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-
-Returns: `T`.
-
-Capabilities: [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-**What it does**
+Wrap a call without changing its result. It gets `console` ([`Console`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection.
 
-- Call [`Logger.log`](logging.aug.md#symbol-Logger.log) on `logger` with `message` = `"before"`; inject `console` from `console`.
-- Set `result` of type `T` to call `next`.
-- Call [`Logger.log`](logging.aug.md#symbol-Logger.log) on `logger` with `message` = `"after"`; inject `console` from `console`.
-- Return `result`.
-
-**Author documentation**
-
-Wrap a call without changing its result.
+It passes `"before"` to [`logger.log`](logging.aug.md#symbol-Logger.log), using injected `console`. It sets `result` of type `T` to `next`. It passes `"after"` to [`logger.log`](logging.aug.md#symbol-Logger.log), using injected `console`. It returns `result`.
 
 <a id="symbol-Positive"></a>
+## `Positive` · interceptor · [source](interceptors.aug#L23)
 
-## `Positive`
-
-[source](interceptors.aug#L22)
-
-Function or constructor middleware.
-
-Type parameters: `T`.
-
-**Author documentation**
-
-Rejects negative numbers before the target executes.
-
-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.
+Rejects negative numbers before the target executes. The type parameters are `T`. Creates one interceptor per invocation. Its around operation may delegate once or finish early.
 
 <a id="symbol-Positive.around"></a>
+### `Positive.around` · [source](interceptors.aug#L28)
 
-### `Positive.around`
-
-[source](interceptors.aug#L27)
-
-**Inputs**
-
-- `y` (`int`) — required labeled input.
-
-Returns: `T`.
-
-Can fail with `ValidationError`. Callers must catch or propagate these errors.
-
-**What it does**
-
-- If `y` is less than `0`:
-  - Fail with call [`ValidationError`](interceptors.aug.md#symbol-ValidationError) with `message` = `"value must be nonnegative"`. Transfer control to a matching catch or propagate the failure.
-- Return call `next`.
-
-**Author documentation**
-
-**Parameters**
-- `y`: The target argument selected by a mapping such as y=x.
-
-**Throws**
-- `ValidationError`: When the selected value is negative.
+It takes `y` as an integer (the target argument selected by a mapping such as y=x). Failures can raise [`ValidationError`](interceptors.aug.md#symbol-ValidationError) (when the selected value is negative). If `y` is negative, it raises a [`ValidationError`](interceptors.aug.md#symbol-ValidationError) with `message` `"value must be nonnegative"`. It returns `next`.
 
 <a id="symbol-AddOne"></a>
+## `AddOne` · interceptor · [source](interceptors.aug#L36)
 
-## `AddOne`
-
-[source](interceptors.aug#L35)
-
-Function or constructor middleware.
-
-Type parameters: `T`.
-
-**Author documentation**
-
-Adds one to the selected input before forwarding the call.
-
-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.
+Adds one to the selected input before forwarding the call. The type parameters are `T`. Creates one interceptor per invocation. Its around operation may delegate once or finish early.
 
 <a id="symbol-AddOne.around"></a>
+### `AddOne.around` · [source](interceptors.aug#L38)
 
-### `AddOne.around`
-
-[source](interceptors.aug#L37)
-
-**Inputs**
-
-- `y` (`int`) — required labeled input.
-
-Returns: `T`.
-
-**What it does**
-
-- Return call `next` with `y` = (`y` plus `1`).
-
-**Author documentation**
-
-**Parameters**
-- `y`: The input to increment.
-
-## 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`](logging.aug.md#symbol-Logger)
-
-Interface from `logging`.
-
-- [`Logger.log`](logging.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).
+It takes `y` as an integer (the input to increment). It returns `next` with `y` from `y` plus `1`.
 
-## 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.21.0/io/contracts.aug.md#symbol-Console) ([`write`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write)) from `august.io`. It uses [`Logger`](logging.aug.md#symbol-Logger) ([`log`](logging.aug.md#symbol-Logger.log)) from `logging`.

package/examples/interceptors/logging.aug

@@ -1,3 +1,4 @@
+// aug-spec: "logging.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 /** Writes a message to the application log. */
 interface Logger {
@@ -6,7 +7,7 @@ interface Logger {
 }
 /** Console logger shared by interceptor instances and the application. */
 ConsoleLogger() implements Logger {
-    log(resolve Console console, string message) uses Console.write {
+    log(resolve Console console, string message) {
         console.write(value=message)
     }
 }