@greenpandastudios/aug-cli 0.20.1 → 0.21.0

package/docs/examples/errors-benchmark/main.md

@@ -0,0 +1,92 @@
+---
+title: "main.aug · Checked-error benchmark"
+generated: true
+source: "benchmarks/errors/main.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+pageClass: aug-example-page
+---
+
+# `main.aug`
+
+[Checked-error benchmark](index.md) · Source and specification
+
+::: details Files in this project
+
+- [`main.aug`](main.md)
+- [`operations.aug`](operations.md)
+
+:::
+
+::::: example-compare
+
+:::: example-code
+
+## Code {#code}
+
+::: code-group
+
+```aug [Indentation]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
+import validate from operations
+int iterations = 20000
+int index = 0
+int checksum = 0
+int failures = 0
+while index < iterations:
+    try:
+        checksum = checksum + validate(value=index)
+    catch FileError error:
+        failures = failures + 1
+    index = index + 1
+print(value=checksum)
+print(value=failures)
+```
+
+```aug [Braces]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
+import validate from operations
+int iterations = 20000
+int index = 0
+int checksum = 0
+int failures = 0
+while index < iterations {
+    try {
+        checksum = checksum + validate(value=index)
+    }
+    catch FileError error {
+        failures = failures + 1
+    }
+    index = index + 1
+}
+print(value=checksum)
+print(value=failures)
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+### Startup
+
+It sets `iterations` to `20000`. It sets `index`, `checksum`, and `failures` separately, each to `0`.
+
+While `index` is less than `iterations`, it tries to increase `checksum` by [`validate`](operations.md#symbol-validate) with `value` from `index`. If this work raises `FileError`, it increases `failures` by `1`. It increases `index` by `1`. After the loop, it prints `checksum`.
+
+It prints `failures`.
+
+### Dependencies
+
+It uses [`validate`](operations.md#symbol-validate) from `operations`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
+
+::::
+
+:::::

package/docs/examples/errors-benchmark/operations.md

@@ -0,0 +1,65 @@
+---
+title: "operations.aug · Checked-error benchmark"
+generated: true
+source: "benchmarks/errors/operations.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+pageClass: aug-example-page
+---
+
+# `operations.aug`
+
+[Checked-error benchmark](index.md) · Source and specification
+
+::: details Files in this project
+
+- [`main.aug`](main.md)
+- [`operations.aug`](operations.md)
+
+:::
+
+::::: example-compare
+
+:::: example-code
+
+## Code {#code}
+
+::: code-group
+
+```aug [Indentation]
+// aug-spec: "operations.aug.md" explains this file. Read it before changes; refresh with aug spec.
+validate(int value) returns int unless FileError:
+    if value - value / 16 * 16 == 0:
+        throw FileError()
+    return value
+```
+
+```aug [Braces]
+// aug-spec: "operations.aug.md" explains this file. Read it before changes; refresh with aug spec.
+validate(int value) returns int unless FileError {
+    if value - value / 16 * 16 == 0 {
+        throw FileError()
+    }
+    return value
+}
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+### `validate` · [source](operations.md#code) {#symbol-validate}
+
+It takes `value` as an integer. Failures can raise `FileError`.
+
+It checks that (`value` minus ((`value` divided by `16`) times `16`)) does not equal `0`. It raises a `FileError` at the first failed check. It returns `value`.
+
+::::
+
+:::::

package/docs/examples/float-benchmark/index.md

@@ -0,0 +1,35 @@
+---
+title: "Floating-point benchmark"
+generated: true
+source: "benchmarks/float"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+---
+
+# Floating-point benchmark
+
+Accumulate exact binary fractions and check the final value.
+
+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
+
+- [`main.aug`](main.md)
+
+
+## Try this project
+
+[Download this project](/downloads/float-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
+cd float-benchmark
+aug check .
+aug spec .
+aug run .
+```
+
+See [the performance page](../../performance.md) for measurements, input sizes, and reproduction steps.
+
+[Browse all examples](../index.md)

package/docs/examples/float-benchmark/main.md

@@ -0,0 +1,75 @@
+---
+title: "main.aug · Floating-point benchmark"
+generated: true
+source: "benchmarks/float/main.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+pageClass: aug-example-page
+---
+
+# `main.aug`
+
+[Floating-point benchmark](index.md) · Source and specification
+
+::: details Files in this project
+
+- [`main.aug`](main.md)
+
+:::
+
+::::: example-compare
+
+:::: example-code
+
+## Code {#code}
+
+::: code-group
+
+```aug [Indentation]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
+int iterations = 1000000
+float sum = 0.0
+int index = 0
+while index < iterations:
+    int remainder = index - index / 8 * 8
+    sum = sum + remainder * 0.125 + 0.5
+    index = index + 1
+print(value=sum == 937500.0)
+print(value=iterations)
+```
+
+```aug [Braces]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
+int iterations = 1000000
+float sum = 0.0
+int index = 0
+while index < iterations {
+    int remainder = index - index / 8 * 8
+    sum = sum + remainder * 0.125 + 0.5
+    index = index + 1
+}
+print(value=sum == 937500.0)
+print(value=iterations)
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+### Startup
+
+It sets `iterations` to `1000000`. It sets `sum` to `0.0`. It sets `index` to `0`. While `index` is less than `iterations`, it sets `remainder` to `index` minus ((`index` divided by `8`) times `8`); then it sets `sum` to (`sum` plus (`remainder` times `0.125`)) plus `0.5`; then it increases `index` by `1`.
+
+After the loop, it prints `sum` equals `937500.0`. It prints `iterations`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
+
+::::
+
+:::::

package/docs/examples/generic-di/dependencies/august/{0.20.1 → 0.21.0}/io/contracts.md

@@ -1,7 +1,7 @@
 ---
-title: "august/0.20.1/io/contracts.aug · Generic dependency injection"
+title: "august/0.21.0/io/contracts.aug · Generic dependency injection"
 generated: true
-source: "examples/generic-di/.aug-spec/august/0.20.1/io/contracts.aug"
+source: "examples/generic-di/.aug-spec/august/0.21.0/io/contracts.aug"
 editLink: false
 prev: false
 next: false
@@ -10,7 +10,7 @@ search: false
 pageClass: aug-example-page
 ---
 
-# `august/0.20.1/io/contracts.aug`
+# `august/0.21.0/io/contracts.aug`
 
 [Generic dependency injection](../../../../index.md) · Dependency source and specification
 

package/docs/examples/generic-di/main.md

@@ -64,7 +64,7 @@ program.start()
 
 ### Providers
 
-`Console` is provided by [`SystemConsole`](dependencies/august/0.20.1/io/contracts.md#symbol-SystemConsole). The same instance is shared. `Repository<int>` is provided by [`NumberRepository`](types.md#symbol-NumberRepository). The same instance is shared.
+`Console` is provided by [`SystemConsole`](dependencies/august/0.21.0/io/contracts.md#symbol-SystemConsole). The same instance is shared. `Repository<int>` is provided by [`NumberRepository`](types.md#symbol-NumberRepository). The same instance is shared.
 
 `app` is provided by [`Program`](types.md#symbol-Program). The same instance is shared. It requires bindings for `Repository<int>`.
 
@@ -74,7 +74,7 @@ It sets `program` to the instance provided for `app`. It calls [`program.start`]
 
 ### Dependencies
 
-It uses [`SystemConsole`](dependencies/august/0.20.1/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`NumberRepository`](types.md#symbol-NumberRepository) and [`Program`](types.md#symbol-Program) ([`start`](types.md#symbol-Program.start)) from `types`.
+It uses [`SystemConsole`](dependencies/august/0.21.0/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`NumberRepository`](types.md#symbol-NumberRepository) and [`Program`](types.md#symbol-Program) ([`start`](types.md#symbol-Program.start)) from `types`.
 
 ::::
 

package/docs/examples/generic-di/types.md

@@ -94,17 +94,17 @@ It implements [`IProgram`](types.md#symbol-IProgram). The `repository` dependenc
 
 #### `Program.start` · [source](types.md#code) {#symbol-Program.start}
 
-It gets `console` ([`Console`](dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. It passes [`repository.get`](types.md#symbol-Repository.get) to [`console.write`](dependencies/august/0.20.1/io/contracts.md#symbol-Console.write).
+It gets `console` ([`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection. It passes [`repository.get`](types.md#symbol-Repository.get) to [`console.write`](dependencies/august/0.21.0/io/contracts.md#symbol-Console.write).
 
 ### `IProgram` · interface · [source](types.md#code) {#symbol-IProgram}
 
 #### `IProgram.start` · [source](types.md#code) {#symbol-IProgram.start}
 
-It gets `console` ([`Console`](dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. It can call [`Console.write`](dependencies/august/0.20.1/io/contracts.md#symbol-Console.write).
+It gets `console` ([`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection. It can call [`Console.write`](dependencies/august/0.21.0/io/contracts.md#symbol-Console.write).
 
 ### Dependencies
 
-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 [`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console) ([`write`](dependencies/august/0.21.0/io/contracts.md#symbol-Console.write)) from `august.io`.
 
 ::::
 

package/docs/examples/hello/app/greeter.md

@@ -95,17 +95,17 @@ Welcomes a user through the configured logger. It implements [`IGreeter`](greete
 
 #### `Greeter.greet` · [source](greeter.md#code) {#symbol-Greeter.greet}
 
-Prints a personalized greeting. It takes `name` as a string (the user to welcome). It gets `console` ([`Console`](../dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. It passes the text `Hello, {name}!` to [`logger.log`](../logging/logger.md#symbol-Logger.log), using injected `console`.
+Prints a personalized greeting. It takes `name` as a string (the user to welcome). It gets `console` ([`Console`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection. It passes the text `Hello, {name}!` to [`logger.log`](../logging/logger.md#symbol-Logger.log), using injected `console`.
 
 ### `IGreeter` · interface · [source](greeter.md#code) {#symbol-IGreeter}
 
 #### `IGreeter.greet` · [source](greeter.md#code) {#symbol-IGreeter.greet}
 
-Prints a personalized greeting. It takes `name` as a string (the user to welcome). It gets `console` ([`Console`](../dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. It can call [`Console.write`](../dependencies/august/0.20.1/io/contracts.md#symbol-Console.write).
+Prints a personalized greeting. It takes `name` as a string (the user to welcome). It gets `console` ([`Console`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection. It can call [`Console.write`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console.write).
 
 ### Dependencies
 
-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 [`Logger`](../logging/logger.md#symbol-Logger) ([`log`](../logging/logger.md#symbol-Logger.log)) from `logging`.
+It uses [`Console`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console) ([`write`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console.write)) from `august.io`. It uses [`Logger`](../logging/logger.md#symbol-Logger) ([`log`](../logging/logger.md#symbol-Logger.log)) from `logging`.
 
 ::::
 

package/docs/examples/hello/dependencies/august/{0.20.1 → 0.21.0}/io/contracts.md

@@ -1,7 +1,7 @@
 ---
-title: "august/0.20.1/io/contracts.aug · Hello world with dependencies"
+title: "august/0.21.0/io/contracts.aug · Hello world with dependencies"
 generated: true
-source: "examples/hello/.aug-spec/august/0.20.1/io/contracts.aug"
+source: "examples/hello/.aug-spec/august/0.21.0/io/contracts.aug"
 editLink: false
 prev: false
 next: false
@@ -10,7 +10,7 @@ search: false
 pageClass: aug-example-page
 ---
 
-# `august/0.20.1/io/contracts.aug`
+# `august/0.21.0/io/contracts.aug`
 
 [Hello world with dependencies](../../../../index.md) · Dependency source and specification
 

package/docs/examples/hello/logging/console.md

@@ -66,11 +66,11 @@ It implements [`Logger`](logger.md#symbol-Logger).
 
 #### `ConsoleLogger.log` · [source](console.md#code) {#symbol-ConsoleLogger.log}
 
-Writes one message. It takes `message` as a string (Text to write). It gets `console` ([`Console`](../dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. It passes `message` to [`console.write`](../dependencies/august/0.20.1/io/contracts.md#symbol-Console.write).
+Writes one message. It takes `message` as a string (Text to write). It gets `console` ([`Console`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection. It passes `message` to [`console.write`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console.write).
 
 ### Dependencies
 
-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 [`Logger`](logger.md#symbol-Logger) from `logger`.
+It uses [`Console`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console) ([`write`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console.write)) from `august.io`. It uses [`Logger`](logger.md#symbol-Logger) from `logger`.
 
 ::::
 

package/docs/examples/hello/logging/logger.md

@@ -71,11 +71,11 @@ Writes messages to an application log.
 
 #### `Logger.log` · [source](logger.md#code) {#symbol-Logger.log}
 
-Writes one message. It takes `message` as a string (Text to write). It gets `console` ([`Console`](../dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. It can call [`Console.write`](../dependencies/august/0.20.1/io/contracts.md#symbol-Console.write).
+Writes one message. It takes `message` as a string (Text to write). It gets `console` ([`Console`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection. It can call [`Console.write`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console.write).
 
 ### Dependencies
 
-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 [`Console`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console) ([`write`](../dependencies/august/0.21.0/io/contracts.md#symbol-Console.write)) from `august.io`.
 
 ::::
 

package/docs/examples/hello/main.md

@@ -68,7 +68,7 @@ greeter.greet(name="AugScript")
 
 ### Providers
 
-`Console` is provided by [`SystemConsole`](dependencies/august/0.20.1/io/contracts.md#symbol-SystemConsole). The same instance is shared. `Logger` is provided by [`ConsoleLogger`](logging/console.md#symbol-ConsoleLogger). The same instance is shared.
+`Console` is provided by [`SystemConsole`](dependencies/august/0.21.0/io/contracts.md#symbol-SystemConsole). The same instance is shared. `Logger` is provided by [`ConsoleLogger`](logging/console.md#symbol-ConsoleLogger). The same instance is shared.
 
 `app` is provided by [`Greeter`](app/greeter.md#symbol-Greeter). The same instance is shared. It requires bindings for `Logger`.
 
@@ -78,7 +78,7 @@ It sets `greeter` to the instance provided for `app`. It passes `"AugScript"` to
 
 ### Dependencies
 
-It uses [`SystemConsole`](dependencies/august/0.20.1/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`Greeter`](app/greeter.md#symbol-Greeter) ([`greet`](app/greeter.md#symbol-Greeter.greet)) from `app`. It uses [`ConsoleLogger`](logging/console.md#symbol-ConsoleLogger) from `logging`.
+It uses [`SystemConsole`](dependencies/august/0.21.0/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`Greeter`](app/greeter.md#symbol-Greeter) ([`greet`](app/greeter.md#symbol-Greeter.greet)) from `app`. It uses [`ConsoleLogger`](logging/console.md#symbol-ConsoleLogger) from `logging`.
 
 ::::
 

package/docs/examples/index.md

@@ -10,12 +10,21 @@ outline: [2, 3]
 
 # Example projects
 
-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.
+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. Download a project to try it; native examples require the LLVM preview described on their pages.
 
 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.
 
+## Native libraries (LLVM preview)
+
+| Project | What it demonstrates |
+| --- | --- |
+| [CPU tensors with PyTorch](native-pytorch/index.md) | Import real LibTorch from its public August package, add CPU tensors, and verify the elements and sum. Owned tensors are released when their scope ends. |
+| [A database with SQLite](native-sqlite/index.md) | Create an in-memory database, insert a labeled bound value, and query it through the real SQLite implementation. Mutation requires a borrow; scope exit closes the database. |
+| [Compression with zlib](native-zlib/index.md) | Compress a buffer with zlib and verify the restored bytes. A fixed output limit bounds decompression. |
+| [Hashing with Rust BLAKE3](native-blake3/index.md) | Import a Rust implementation through an ordinary August package and verify a published BLAKE3 hash vector. |
+
 ## Start here
 
 | Project | What it demonstrates |
@@ -71,6 +80,14 @@ If you are learning the language for the first time, use [the book](../learn/ind
 | Project | What it demonstrates |
 | --- | --- |
 | [Startup benchmark](startup-benchmark/index.md) | The small program used to measure process startup. |
+| [Floating-point benchmark](float-benchmark/index.md) | Accumulate exact binary fractions and check the final value. |
+| [Function-call benchmark](calls-benchmark/index.md) | Call a labeled function repeatedly with a dependent integer result. |
+| [List traversal benchmark](list-benchmark/index.md) | Grow a list and sum its snapshot values. |
+| [String processing benchmark](strings-benchmark/index.md) | Split text into parts and sum their byte lengths. |
+| [Map deletion benchmark](map-churn-benchmark/index.md) | Delete, replace and reinsert entries, then check values and insertion order. |
+| [Checked-error benchmark](errors-benchmark/index.md) | Interleave successful calls and caught checked failures. |
+| [Record allocation benchmark](records-benchmark/index.md) | Retain immutable records and sum their fields. |
+| [Task scheduling benchmark](tasks-benchmark/index.md) | Start and join two tasks in each bounded scope. |
 | [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. |

package/docs/examples/interceptors/app.md

@@ -100,17 +100,17 @@ Greeter(resolve Logger logger to _logger, string name) implements IGreeter {
 
 ### `describe` · [source](app.md#code) {#symbol-describe}
 
-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`.
+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.21.0/io/contracts.md#symbol-Console)) from dependency injection. Failures can raise `ValidationError`.
 
 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`.
 
-It passes `x` to [`console.write`](dependencies/august/0.20.1/io/contracts.md#symbol-Console.write). It returns `label`.
+It passes `x` to [`console.write`](dependencies/august/0.21.0/io/contracts.md#symbol-Console.write). It returns `label`.
 
 ### `IGreeter` · interface · [source](app.md#code) {#symbol-IGreeter}
 
 #### `IGreeter.greet` · [source](app.md#code) {#symbol-IGreeter.greet}
 
-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).
+It gets `logger` ([`Logger`](logging.md#symbol-Logger)) and `console` ([`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection. It returns `string`. It can call [`Console.write`](dependencies/august/0.21.0/io/contracts.md#symbol-Console.write).
 
 ### `Greeter` · class · [source](app.md#code) {#symbol-Greeter}
 
@@ -118,13 +118,13 @@ Construction stores its inputs; startup is visible in the greet call. It impleme
 
 #### `Greeter.greet` · [source](app.md#code) {#symbol-Greeter.greet}
 
-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).
+Method annotations wrap each method invocation separately. It gets `logger` ([`Logger`](logging.md#symbol-Logger)) and `console` ([`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection. Layers run in the declared order. Call [`Audit.around`](interceptors.md#symbol-Audit.around).
 
 It returns the text `Hello, {name}!`.
 
 ### Dependencies
 
-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`.
+It uses [`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console) ([`write`](dependencies/august/0.21.0/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 → 0.21.0}/io/contracts.md

@@ -1,7 +1,7 @@
 ---
-title: "august/0.20.1/io/contracts.aug · Function and constructor middleware"
+title: "august/0.21.0/io/contracts.aug · Function and constructor middleware"
 generated: true
-source: "examples/interceptors/.aug-spec/august/0.20.1/io/contracts.aug"
+source: "examples/interceptors/.aug-spec/august/0.21.0/io/contracts.aug"
 editLink: false
 prev: false
 next: false
@@ -10,7 +10,7 @@ search: false
 pageClass: aug-example-page
 ---
 
-# `august/0.20.1/io/contracts.aug`
+# `august/0.21.0/io/contracts.aug`
 
 [Function and constructor middleware](../../../../index.md) · Dependency source and specification
 

package/docs/examples/interceptors/interceptors.md

@@ -131,7 +131,7 @@ The `logger` dependency is injected as [`Logger`](logging.md#symbol-Logger) and
 
 #### `Audit.around` · [source](interceptors.md#code) {#symbol-Audit.around}
 
-Wrap a call without changing its result. It gets `console` ([`Console`](dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection.
+Wrap a call without changing its result. It gets `console` ([`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection.
 
 It passes `"before"` to [`logger.log`](logging.md#symbol-Logger.log), using injected `console`. It sets `result` of type `T` to `next`. It passes `"after"` to [`logger.log`](logging.md#symbol-Logger.log), using injected `console`. It returns `result`.
 
@@ -153,7 +153,7 @@ It takes `y` as an integer (the input to increment). It returns `next` with `y`
 
 ### Dependencies
 
-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 [`Logger`](logging.md#symbol-Logger) ([`log`](logging.md#symbol-Logger.log)) from `logging`.
+It uses [`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console) ([`write`](dependencies/august/0.21.0/io/contracts.md#symbol-Console.write)) from `august.io`. It uses [`Logger`](logging.md#symbol-Logger) ([`log`](logging.md#symbol-Logger.log)) from `logging`.
 
 ::::
 

package/docs/examples/interceptors/logging.md

@@ -73,7 +73,7 @@ Writes a message to the application log.
 
 #### `Logger.log` · [source](logging.md#code) {#symbol-Logger.log}
 
-It takes `message` as a string (Text to display). It gets `console` ([`Console`](dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. It can call [`Console.write`](dependencies/august/0.20.1/io/contracts.md#symbol-Console.write).
+It takes `message` as a string (Text to display). It gets `console` ([`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection. It can call [`Console.write`](dependencies/august/0.21.0/io/contracts.md#symbol-Console.write).
 
 ### `ConsoleLogger` · class · [source](logging.md#code) {#symbol-ConsoleLogger}
 
@@ -81,11 +81,11 @@ Console logger shared by interceptor instances and the application. It implement
 
 #### `ConsoleLogger.log` · [source](logging.md#code) {#symbol-ConsoleLogger.log}
 
-It takes `message` as a string (Text to display). It gets `console` ([`Console`](dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. It passes `message` to [`console.write`](dependencies/august/0.20.1/io/contracts.md#symbol-Console.write).
+It takes `message` as a string (Text to display). It gets `console` ([`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection. It passes `message` to [`console.write`](dependencies/august/0.21.0/io/contracts.md#symbol-Console.write).
 
 ### Dependencies
 
-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 [`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console) ([`write`](dependencies/august/0.21.0/io/contracts.md#symbol-Console.write)) from `august.io`.
 
 ::::
 

package/docs/examples/interceptors/main.md

@@ -88,7 +88,7 @@ catch ValidationError error {
 
 ### Providers
 
-`Console` is provided by [`SystemConsole`](dependencies/august/0.20.1/io/contracts.md#symbol-SystemConsole). The same instance is shared. `Logger` is provided by [`ConsoleLogger`](logging.md#symbol-ConsoleLogger). The same instance is shared.
+`Console` is provided by [`SystemConsole`](dependencies/august/0.21.0/io/contracts.md#symbol-SystemConsole). The same instance is shared. `Logger` is provided by [`ConsoleLogger`](logging.md#symbol-ConsoleLogger). The same instance is shared.
 
 ### Startup
 
@@ -98,7 +98,7 @@ It tries to call [`describe`](app.md#symbol-describe) with `x` `-1` and `label`
 
 ### Dependencies
 
-It uses [`SystemConsole`](dependencies/august/0.20.1/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`Greeter`](app.md#symbol-Greeter) ([`greet`](app.md#symbol-Greeter.greet)) and [`describe`](app.md#symbol-describe) from `app`. It uses [`ValidationError`](interceptors.md#symbol-ValidationError) from `interceptors`. It uses [`ConsoleLogger`](logging.md#symbol-ConsoleLogger) from `logging`.
+It uses [`SystemConsole`](dependencies/august/0.21.0/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`Greeter`](app.md#symbol-Greeter) ([`greet`](app.md#symbol-Greeter.greet)) and [`describe`](app.md#symbol-describe) from `app`. It uses [`ValidationError`](interceptors.md#symbol-ValidationError) from `interceptors`. It uses [`ConsoleLogger`](logging.md#symbol-ConsoleLogger) from `logging`.
 
 Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
 

package/docs/examples/list-benchmark/index.md

@@ -0,0 +1,35 @@
+---
+title: "List traversal benchmark"
+generated: true
+source: "benchmarks/list"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+---
+
+# List traversal benchmark
+
+Grow a list and sum its snapshot values.
+
+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
+
+- [`main.aug`](main.md)
+
+
+## Try this project
+
+[Download this project](/downloads/list-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
+cd list-benchmark
+aug check .
+aug spec .
+aug run .
+```
+
+See [the performance page](../../performance.md) for measurements, input sizes, and reproduction steps.
+
+[Browse all examples](../index.md)