@greenpandastudios/aug-cli 0.19.0 → 0.20.1

package/docs/examples/index.md

@@ -10,51 +10,68 @@ outline: [2, 3]
 
 # Example projects
 
-Browse complete August projects here in the wiki. Each source file includes formatted code in **Indentation** and **Braces** styles and its actual compiled specification. Dependency links open the matching version’s source and explanation in this wiki.
+Read a complete program, follow its dependencies, and compare the source with its compiled explanation. Every file has highlighted **Indentation** and **Braces** views and the actual output of `aug spec`. Dependency links open the exact version used by the project. Each project has a download you can run with the published npm CLI.
 
-Start with [Hello world with dependencies](hello/index.md), then try [a small tested application](developer-workflow/index.md). The [OpenID Connect application](oidc-login/index.md) shows a larger project with server-rendered pages and HTTP handlers.
+Start with [Hello world with dependencies](hello/index.md) to trace a greeting through two folder boundaries. Then [review a change to the tested calculator](../guides/change-a-module.md). For a larger application, the [OpenID Connect example](oidc-login/index.md) combines pages, provider and client endpoints, and a session JWT. It is a development demonstration with documented limits.
+
+If you are learning the language for the first time, use [the book](../learn/index.md). The gallery is for exploring whole projects and looking at the code behind a specific feature or measurement.
 
 ## Start here
 
-- [Hello world with dependencies](hello/index.md) — A greeter, a logger, narrow folder exports, and explicit application bindings.
-- [Labeled calls and injection](new-syntax/index.md) — Constructor injection, named inputs, ordinary functions, and same-file tests.
-- [A small tested application](developer-workflow/index.md) — A calculator module with logging, fixtures, groups, and parameterized tests.
-- [Command-line arguments](cli-args/index.md) — Read arguments, inspect collections, and return a process exit status.
+| Project | What it demonstrates |
+| --- | --- |
+| [Hello world with dependencies](hello/index.md) | The application prints a greeting through an injected logger. Its entry point selects the providers, and each folder exposes a small public surface. |
+| [Labeled calls and injection](new-syntax/index.md) | Constructor injection, named inputs, ordinary functions, and same-file tests. |
+| [A small tested application](developer-workflow/index.md) | A calculator logs each addition. Its nearby tests replace the logger and verify both labeled inputs and fresh setup. |
+| [Command-line arguments](cli-args/index.md) | Read arguments, inspect collections, and return a process exit status. |
+
+## Web applications
+
+| Project | What it demonstrates |
+| --- | --- |
+| [Weather API](weather-api/index.md) | Serve five simulated forecasts as typed JSON. The record, endpoint, and tests share a file; main.aug starts the listener and main.yaml enables OpenAPI. |
+| [OpenID Connect login application](oidc-login/index.md) | One executable hosts a login page, an OpenID Connect provider and client, session JWTs, and logout. Accounts, keys, and sessions are held in memory for this development demonstration. |
 
 ## Values and errors
 
-- [Lists, tuples, sets, and maps](collections/index.md) — Create typed collections and update them through checked mutable access.
-- [Generic contracts](generics/index.md) — Write reusable records, interfaces, classes, and functions with type parameters.
-- [Generic dependency injection](generic-di/index.md) — Bind a generic interface and resolve a class that uses it.
-- [Checked failures](errors/index.md) — Declare errors with unless, catch them, and run cleanup.
+| Project | What it demonstrates |
+| --- | --- |
+| [Lists, tuples, sets, and maps](collections/index.md) | Create typed collections and update them through checked mutable access. |
+| [Generic contracts](generics/index.md) | Write reusable records, interfaces, classes, and functions with type parameters. |
+| [Generic dependency injection](generic-di/index.md) | Bind a generic interface and resolve a class that uses it. |
+| [Checked failures](errors/index.md) | Declare errors with unless, catch them, and run cleanup. |
 
 ## State and lifetime
 
-- [Read access and mutable borrows](ownership/index.md) — Share a reference for reading and grant explicit access for mutation.
-- [Move ownership](ownership-transfer/index.md) — Transfer an owned resource between labeled calls.
-- [Resource cleanup](drop/index.md) — Release an owned resource when its lifetime ends.
-- [Private state and helpers](visibility/index.md) — Keep underscore-prefixed implementation details inside their scope.
+| Project | What it demonstrates |
+| --- | --- |
+| [Read access and mutable borrows](ownership/index.md) | Share a reference for reading and grant explicit access for mutation. |
+| [Move ownership](ownership-transfer/index.md) | Transfer an owned resource between labeled calls. |
+| [Resource cleanup](drop/index.md) | Release an owned resource when its lifetime ends. |
+| [Private state and helpers](visibility/index.md) | Keep underscore-prefixed implementation details inside their scope. |
 
 ## Modules and packages
 
-- [Modules and composition](approved-design/index.md) — Combine domain modules, generic values, explicit capabilities, and scoped providers.
-- [Function and constructor middleware](interceptors/index.md) — Layer interceptors, map inputs, and keep logging dependencies explicit.
-- [Create a package](packages-math/index.md) — Publish a small arithmetic library through export.aug and test its public surface.
-- [Use a package](packages-app/index.md) — Install the neighboring arithmetic package and import it through a local alias.
+| Project | What it demonstrates |
+| --- | --- |
+| [Modules and composition](approved-design/index.md) | Startup combines narrow domain exports with a scoped counter provider. Records and validation keep data and checked failures visible. |
+| [Function and constructor middleware](interceptors/index.md) | Layer interceptors, map inputs, and keep logging dependencies explicit. |
+| [Create a package](packages-math/index.md) | Publish a small arithmetic library through export.aug and test its public surface. |
+| [Use a package](packages-app/index.md) | Install the neighboring arithmetic package and import it through a local alias. |
 
 ## Native applications
 
-- [A native C boundary](ffi/index.md) — Declare a C operation and call it inside an unsafe block.
-- [A finite benchmark](benchmark/index.md) — Measure a deterministic arithmetic workload with aug bench.
-
-## Web applications
-
-- [OpenID Connect login application](oidc-login/index.md) — A login page, provider, client, session JWT, and logout flow in one August project.
+| Project | What it demonstrates |
+| --- | --- |
+| [A native C boundary](ffi/index.md) | Declare a C operation and call it inside an unsafe block. |
+| [A finite benchmark](benchmark/index.md) | Measure a deterministic arithmetic workload with aug bench. |
 
 ## Measured programs
 
-- [Startup benchmark](startup-benchmark/index.md) — The small program used to measure process startup.
-- [CPU benchmark](cpu-benchmark/index.md) — Two million dependent integer steps with a checked result.
-- [Map and Set benchmark](collections-benchmark/index.md) — Insert, find, and iterate over 20,000 collection entries.
-- [JSON benchmark](json-benchmark/index.md) — Parse, decode, and serialize a typed record 5,000 times.
-- [HTTP benchmark](http-benchmark/index.md) — Serve the typed JSON endpoint used in the throughput measurements.
+| Project | What it demonstrates |
+| --- | --- |
+| [Startup benchmark](startup-benchmark/index.md) | The small program used to measure process startup. |
+| [CPU benchmark](cpu-benchmark/index.md) | Two million dependent integer steps with a checked result. |
+| [Map and Set benchmark](collections-benchmark/index.md) | Insert, find, and iterate over 20,000 collection entries. |
+| [JSON benchmark](json-benchmark/index.md) | Parse, decode, and serialize a typed record 5,000 times. |
+| [HTTP benchmark](http-benchmark/index.md) | Serve the typed JSON endpoint used in the throughput measurements. |

package/docs/examples/interceptors/app.md

@@ -31,6 +31,7 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
+// 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
@@ -44,7 +45,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
 interface IGreeter:
@@ -53,11 +54,12 @@ 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 + "!"
 ```
 
 ```aug [Braces]
+// 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
@@ -71,7 +73,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
 }
@@ -82,7 +84,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 + "!"
     }
 }
@@ -96,154 +98,33 @@ Greeter(resolve Logger logger to _logger, string name) implements IGreeter {
 
 ## Compiled specification {#specification}
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+### `describe` · [source](app.md#code) {#symbol-describe}
 
-### In this file
+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.md#symbol-Logger)) and `console` ([`Console`](dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. Failures can raise `ValidationError`.
 
-- [`describe`](app.md#symbol-describe) is a function returning `string`.
-- [`IGreeter`](app.md#symbol-IGreeter) is an interface.
-- [`Greeter`](app.md#symbol-Greeter) is a class implementing `IGreeter`.
+Layers run in the declared order. Call [`Audit.around`](interceptors.md#symbol-Audit.around). Call [`Positive.around`](interceptors.md#symbol-Positive.around). Map `x` to `y`. Call [`AddOne.around`](interceptors.md#symbol-AddOne.around). Map `x` to `y`.
 
-### `describe` {#symbol-describe}
+It passes `x` to [`console.write`](dependencies/august/0.20.1/io/contracts.md#symbol-Console.write). It returns `label`.
 
-[source](app.md#code)
+### `IGreeter` · interface · [source](app.md#code) {#symbol-IGreeter}
 
-**Inputs**
+#### `IGreeter.greet` · [source](app.md#code) {#symbol-IGreeter.greet}
 
-- `logger` ([`Logger`](logging.md#symbol-Logger)) — injected; callers omit it.
-- `console` ([`Console`](dependencies/august/0.19.0/io/contracts.md#symbol-Console)) — injected; callers omit it.
-- `x` (`int`) — required labeled input.
-- `label` (`string`) — required labeled input.
+It gets `logger` ([`Logger`](logging.md#symbol-Logger)) and `console` ([`Console`](dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. It returns `string`. It can call [`Console.write`](dependencies/august/0.20.1/io/contracts.md#symbol-Console.write).
 
-Returns: `string`.
+### `Greeter` · class · [source](app.md#code) {#symbol-Greeter}
 
-Capabilities: [`Console.write`](dependencies/august/0.19.0/io/contracts.md#symbol-Console.write).
+Construction stores its inputs; startup is visible in the greet call. It implements [`IGreeter`](app.md#symbol-IGreeter). It takes `name` as a string, kept read-only. It gets `_logger` ([`Logger`](logging.md#symbol-Logger)), kept read-only and private as `_logger` from dependency injection.
 
-Can fail with `ValidationError`. Callers must catch or propagate these errors.
+#### `Greeter.greet` · [source](app.md#code) {#symbol-Greeter.greet}
 
-**Interceptors, in execution order**
+Method annotations wrap each method invocation separately. It gets `logger` ([`Logger`](logging.md#symbol-Logger)) and `console` ([`Console`](dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. Layers run in the declared order. Call [`Audit.around`](interceptors.md#symbol-Audit.around).
 
-1. Call [`Audit.around`](interceptors.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.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.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.
+It returns the text `Hello, {name}!`.
 
-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.
+### Dependencies
 
-**What it does**
-
-- Call [`Console.write`](dependencies/august/0.19.0/io/contracts.md#symbol-Console.write) on `console` with `value` = `x`.
-- Return `label`.
-
-**Author documentation**
-
-Prints a number and returns its label.
-
-**Parameters**
-- `x`: The numeric input, validated and incremented by the chain.
-- `label`: Text forwarded through each layer unchanged.
-
-### `IGreeter` {#symbol-IGreeter}
-
-[source](app.md#code)
-
-Interface.
-
-#### `IGreeter.greet` {#symbol-IGreeter.greet}
-
-[source](app.md#code)
-
-**Inputs**
-
-- `logger` ([`Logger`](logging.md#symbol-Logger)) — injected; callers omit it.
-- `console` ([`Console`](dependencies/august/0.19.0/io/contracts.md#symbol-Console)) — injected; callers omit it.
-
-Returns: `string`.
-
-Capabilities: [`Console.write`](dependencies/august/0.19.0/io/contracts.md#symbol-Console.write).
-
-Interface contract. A selected implementation supplies the behavior.
-
-### `Greeter` {#symbol-Greeter}
-
-[source](app.md#code)
-
-Behavioral class.
-
-Satisfies [`IGreeter`](app.md#symbol-IGreeter).
-
-**Author documentation**
-
-Construction stores its inputs; startup is visible in the greet call.
-
-**Inputs**
-
-- `logger` ([`Logger`](logging.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.
-
-#### `Greeter.greet` {#symbol-Greeter.greet}
-
-[source](app.md#code)
-
-**Inputs**
-
-- `logger` ([`Logger`](logging.md#symbol-Logger)) — injected; callers omit it.
-- `console` ([`Console`](dependencies/august/0.19.0/io/contracts.md#symbol-Console)) — injected; callers omit it.
-
-Returns: `string`.
-
-Capabilities: [`Console.write`](dependencies/august/0.19.0/io/contracts.md#symbol-Console.write).
-
-**Interceptors, in execution order**
-
-1. Call [`Audit.around`](interceptors.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`](dependencies/august/0.19.0/io/contracts.md#symbol-Console)
-
-Capability interface from `august.io`.
-
-- [`Console.write`](dependencies/august/0.19.0/io/contracts.md#symbol-Console.write)<`T`> (`value`: `T`) → `void`.
-
-#### [`AddOne`](interceptors.md#symbol-AddOne)
-
-Interceptor from `interceptors`.
-
-- [`AddOne.around`](interceptors.md#symbol-AddOne.around) (`y`: `int`) → `T`.
-
-#### [`Audit`](interceptors.md#symbol-Audit)
-
-Interceptor from `interceptors`.
-
-- [`Audit.around`](interceptors.md#symbol-Audit.around) (no caller inputs) → `T`; inject `console`: [`Console`](dependencies/august/0.19.0/io/contracts.md#symbol-Console); uses [`Console.write`](dependencies/august/0.19.0/io/contracts.md#symbol-Console.write).
-
-#### [`Positive`](interceptors.md#symbol-Positive)
-
-Interceptor from `interceptors`.
-
-- [`Positive.around`](interceptors.md#symbol-Positive.around) (`y`: `int`) → `T`; can fail with `ValidationError`.
-
-#### [`Logger`](logging.md#symbol-Logger)
-
-Interface 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 [`Console`](dependencies/august/0.20.1/io/contracts.md#symbol-Console) ([`write`](dependencies/august/0.20.1/io/contracts.md#symbol-Console.write)) from `august.io`. It uses [`AddOne`](interceptors.md#symbol-AddOne) ([`around`](interceptors.md#symbol-AddOne.around)), [`Audit`](interceptors.md#symbol-Audit) ([`around`](interceptors.md#symbol-Audit.around)), and [`Positive`](interceptors.md#symbol-Positive) ([`around`](interceptors.md#symbol-Positive.around)) from `interceptors`. It uses [`Logger`](logging.md#symbol-Logger) from `logging`.
 
 ::::
 

package/docs/examples/interceptors/dependencies/august/0.20.1/io/contracts.md

@@ -0,0 +1,178 @@
+---
+title: "august/0.20.1/io/contracts.aug · Function and constructor middleware"
+generated: true
+source: "examples/interceptors/.aug-spec/august/0.20.1/io/contracts.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+search: false
+pageClass: aug-example-page
+---
+
+# `august/0.20.1/io/contracts.aug`
+
+[Function and constructor middleware](../../../../index.md) · Dependency source and specification
+
+This is the exact dependency version used by this example.
+
+::::: example-compare
+
+:::: example-code
+
+## Code {#code}
+
+::: code-group
+
+```aug [Indentation]
+// 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()
+```
+
+```aug [Braces]
+// 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()
+    }
+}
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+### `Console` · capability interface · [source](contracts.md#code) {#symbol-Console}
+
+Permission to write to a console, provided by an explicitly selected adapter.
+
+#### `Console.write` · [source](contracts.md#code) {#symbol-Console.write}
+
+Write one line of text. The type parameters are `T`. It takes `value` as `T` (Text to display). It can call [`Console.write`](contracts.md#symbol-Console.write).
+
+### `SystemConsole` · class · [source](contracts.md#code) {#symbol-SystemConsole}
+
+The native standard-output adapter. Construction performs no output. It implements [`Console`](contracts.md#symbol-Console).
+
+#### `SystemConsole.write` · [source](contracts.md#code) {#symbol-SystemConsole.write}
+
+Write one line of text. The type parameters are `T`. It takes `value` as `T` (Text to display). It prints `value`.
+
+### `FileReader` · capability interface · [source](contracts.md#code) {#symbol-FileReader}
+
+Read UTF-8 text through an explicitly selected filesystem adapter.
+
+#### `FileReader.read` · [source](contracts.md#code) {#symbol-FileReader.read}
+
+Read text. It takes `path` as a string (File path).
+
+It returns `string`. It can call [`FileReader.read`](contracts.md#symbol-FileReader.read). Failures can raise `FileError` (The file could not be read).
+
+### `FileWriter` · capability interface · [source](contracts.md#code) {#symbol-FileWriter}
+
+Write UTF-8 text through an explicitly selected filesystem adapter.
+
+#### `FileWriter.write` · [source](contracts.md#code) {#symbol-FileWriter.write}
+
+Write text. It takes `path` as a string (File path) and `content` as a string (Text). It can call [`FileWriter.write`](contracts.md#symbol-FileWriter.write). Failures can raise `FileError` (Writing failed).
+
+### `LocalFiles` · class · [source](contracts.md#code) {#symbol-LocalFiles}
+
+Native files. Operations are explicit; construction opens no files. It implements [`FileReader`](contracts.md#symbol-FileReader) and [`FileWriter`](contracts.md#symbol-FileWriter).
+
+#### `LocalFiles.read` · [source](contracts.md#code) {#symbol-LocalFiles.read}
+
+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`.
+
+#### `LocalFiles.write` · [source](contracts.md#code) {#symbol-LocalFiles.write}
+
+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`.
+
+### `Arguments` · capability interface · [source](contracts.md#code) {#symbol-Arguments}
+
+Read command-line input through an explicit dependency.
+
+#### `Arguments.read` · [source](contracts.md#code) {#symbol-Arguments.read}
+
+It returns `List<string>`. It can call [`Arguments.read`](contracts.md#symbol-Arguments.read).
+
+### `ProcessArguments` · class · [source](contracts.md#code) {#symbol-ProcessArguments}
+
+Native command-line arguments. It implements [`Arguments`](contracts.md#symbol-Arguments).
+
+#### `ProcessArguments.read` · [source](contracts.md#code) {#symbol-ProcessArguments.read}
+
+It returns `arguments`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
+
+::::
+
+:::::

package/docs/examples/interceptors/index.md

@@ -12,7 +12,7 @@ outline: [2, 3]
 
 Layer interceptors, map inputs, and keep logging dependencies explicit.
 
-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
 
@@ -24,12 +24,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/interceptors.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/interceptors
-aug spec examples/interceptors
-aug run examples/interceptors
+cd interceptors
+aug check .
+aug spec .
+aug run .
 ```
 
 [Browse all examples](../index.md)