@greenpandastudios/aug-cli 0.19.0 → 0.21.0

package/docs/examples/developer-workflow/index.md

@@ -10,9 +10,17 @@ outline: [2, 3]
 
 # A small tested application
 
-A calculator module with logging, fixtures, groups, and parameterized tests.
+A calculator logs each addition. Its nearby tests replace the logger and verify both labeled inputs and fresh setup.
 
-Read a file below to see its highlighted source and the Markdown produced by `aug spec`. Choose **Indentation** or **Braces** above the code. Both views describe the same checked program; your choice is kept when you open another file.
+Open a file to read its source beside the explanation produced by `aug spec`. **Indentation** and **Braces** display the same checked program; your choice carries across file pages.
+
+## Follow the program
+
+Read [`main.aug`](main.md). Startup supplies providers, uses collections, invokes the calculator, and catches a simulated load failure.
+
+Read [`calculator.aug`](calculator.md). Read the arithmetic contract, the injected logger, and the same-file cases together. The private silent adapter keeps tests independent of output.
+
+Read [`logging/logger.aug`](logging/logger.md). This is the contract used by both the production logger and the test adapter.
 
 ## Project files
 
@@ -25,13 +33,14 @@ Read a file below to see its highlighted source and the Markdown produced by `au
 
 ## Try this project
 
-From a repository checkout with August installed:
+[Download this project](/downloads/developer-workflow.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/developer-workflow
-aug spec examples/developer-workflow
-aug test examples/developer-workflow
-aug run examples/developer-workflow
+cd developer-workflow
+aug check .
+aug spec .
+aug test .
+aug run .
 ```
 
 [Browse all examples](../index.md)

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

@@ -32,20 +32,22 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
+// 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)
 ```
 
 ```aug [Braces]
+// 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)
     }
 }
@@ -59,65 +61,17 @@ ConsoleLogger() implements Logger {
 
 ## Compiled specification {#specification}
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+### `ConsoleLogger` · class · [source](console.md#code) {#symbol-ConsoleLogger}
 
-### In this file
+Writes application messages to standard output. It implements [`Logger`](logger.md#symbol-Logger).
 
-- [`ConsoleLogger`](console.md#symbol-ConsoleLogger) is a class implementing `Logger`.
+#### `ConsoleLogger.log` · [source](console.md#code) {#symbol-ConsoleLogger.log}
 
-### `ConsoleLogger` {#symbol-ConsoleLogger}
+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).
 
-[source](console.md#code)
+### Dependencies
 
-Behavioral class.
-
-Satisfies [`Logger`](logger.md#symbol-Logger).
-
-**Author documentation**
-
-Writes application messages to standard output.
-
-#### `ConsoleLogger.log` {#symbol-ConsoleLogger.log}
-
-[source](console.md#code)
-
-**Inputs**
-
-- `console` ([`Console`](../dependencies/august/0.19.0/io/contracts.md#symbol-Console)) — injected; callers omit it.
-- `message` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](../dependencies/august/0.19.0/io/contracts.md#symbol-Console.write).
-
-**What it does**
-
-- Call [`Console.write`](../dependencies/august/0.19.0/io/contracts.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`](../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`.
-
-#### [`Logger`](logger.md#symbol-Logger)
-
-Interface from `logger`.
-
-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.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/developer-workflow/logging/export.md

@@ -32,11 +32,13 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
+// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
 export Logger from logger
 export ConsoleLogger from console
 ```
 
 ```aug [Braces]
+// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
 export Logger from logger
 export ConsoleLogger from console
 ```
@@ -49,21 +51,9 @@ export ConsoleLogger from console
 
 ## Compiled specification {#specification}
 
-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.md#symbol-Logger).
-- Export the declaration `ConsoleLogger` from [`console.aug`](console.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.md#symbol-Logger). Export the declaration `ConsoleLogger` from [`console.aug`](console.md#symbol-ConsoleLogger).
 
 ::::
 

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

@@ -32,6 +32,7 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
+// 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:
@@ -40,6 +41,7 @@ interface Logger:
 ```
 
 ```aug [Braces]
+// 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 {
@@ -56,55 +58,17 @@ interface Logger {
 
 ## Compiled specification {#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.md#symbol-Logger) is an interface.
-
-### `Logger` {#symbol-Logger}
-
-[source](logger.md#code)
-
-Interface.
-
-**Author documentation**
+### `Logger` · interface · [source](logger.md#code) {#symbol-Logger}
 
 Receives a message describing an application operation.
 
-#### `Logger.log` {#symbol-Logger.log}
-
-[source](logger.md#code)
-
-**Inputs**
-
-- `console` ([`Console`](../dependencies/august/0.19.0/io/contracts.md#symbol-Console)) — injected; callers omit it.
-- `message` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](../dependencies/august/0.19.0/io/contracts.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`](../dependencies/august/0.19.0/io/contracts.md#symbol-Console)
-
-Capability interface from `august.io`.
+#### `Logger.log` · [source](logger.md#code) {#symbol-Logger.log}
 
-- [`Console.write`](../dependencies/august/0.19.0/io/contracts.md#symbol-Console.write)<`T`> (`value`: `T`) → `void`.
+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).
 
-### Shared language rules
+### Dependencies
 
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+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/developer-workflow/main.md

@@ -32,6 +32,7 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console and SystemConsole from august.io
 implement Console with SystemConsole
 import Logger and ConsoleLogger from logging
@@ -43,7 +44,9 @@ try:
     Set<int> unique = {1, 2, 1}
     Map<int,string> fruit = {1: "apples", 2: "pears"}
     calculator = Calculator()
-    print(value=calculator.add(right=numbers.get(index=1), left=numbers.get(index=0)))
+    print(
+        value=calculator.add(right=numbers.get(index=1), left=numbers.get(index=0))
+    )
     print(value=pair.get(index=1))
     print(value=unique.length())
     print(value=fruit.get(key=2))
@@ -56,6 +59,7 @@ catch IndexError error:
 ```
 
 ```aug [Braces]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console and SystemConsole from august.io
 implement Console with SystemConsole
 import Logger and ConsoleLogger from logging
@@ -67,7 +71,9 @@ try {
     Set<int> unique = {1, 2, 1}
     Map<int,string> fruit = {1: "apples", 2: "pears"}
     calculator = Calculator()
-    print(value=calculator.add(right=numbers.get(index=1), left=numbers.get(index=0)))
+    print(
+        value=calculator.add(right=numbers.get(index=1), left=numbers.get(index=0))
+    )
     print(value=pair.get(index=1))
     print(value=unique.length())
     print(value=fruit.get(key=2))
@@ -91,81 +97,23 @@ catch IndexError error {
 
 ## Compiled specification {#specification}
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+### Providers
 
-### In this file
+`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.
 
-- 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.md#symbol-Calculator) using injected `Logger` for `_logger`. It prints [`calculator.add`](calculator.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`](dependencies/august/0.19.0/io/contracts.md#symbol-SystemConsole) when `Console` is requested. Reuse one instance.
-- Provide [`ConsoleLogger`](logging/console.md#symbol-ConsoleLogger) when `Logger` is requested. Reuse one instance.
+It prints the value under `2` in `fruit`. It prints [`load`](calculator.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.md#symbol-Calculator); inject `_logger` from `Logger`.
-  - Call `print` with `value` = call [`Calculator.add`](calculator.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.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`](dependencies/august/0.21.0/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`Calculator`](calculator.md#symbol-Calculator) ([`add`](calculator.md#symbol-Calculator.add)) and [`load`](calculator.md#symbol-load) from `calculator`. It uses [`ConsoleLogger`](logging/console.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`](dependencies/august/0.19.0/io/contracts.md#symbol-SystemConsole)
-
-Class from `august.io`.
-
-Used as a type or provider.
-
-#### [`Calculator`](calculator.md#symbol-Calculator)
-
-Class from `calculator`.
-
-- Construct with no caller inputs → [`Calculator`](calculator.md#symbol-Calculator).
-- [`Calculator.add`](calculator.md#symbol-Calculator.add) (`left`: `int`, `right`: `int`) → `int`; 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).
-
-#### [`load`](calculator.md#symbol-load)
-
-Function from `calculator`.
-
-- [`load`](calculator.md#symbol-load) (`fail`: `bool`) → `string`; can fail with `FileError`.
-
-#### [`ConsoleLogger`](logging/console.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/docs/examples/drop/index.md

@@ -12,7 +12,7 @@ outline: [2, 3]
 
 Release an owned resource when its lifetime ends.
 
-Read a file below to see its highlighted source and the Markdown produced by `aug spec`. Choose **Indentation** or **Braces** above the code. Both views describe the same checked program; your choice is kept when you open another file.
+Open a file to read its source beside the explanation produced by `aug spec`. **Indentation** and **Braces** display the same checked program; your choice carries across file pages.
 
 ## Project files
 
@@ -22,12 +22,13 @@ Read a file below to see its highlighted source and the Markdown produced by `au
 
 ## Try this project
 
-From a repository checkout with August installed:
+[Download this project](/downloads/drop.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/drop
-aug spec examples/drop
-aug run examples/drop
+cd drop
+aug check .
+aug spec .
+aug run .
 ```
 
 [Browse all examples](../index.md)

package/docs/examples/drop/main.md

@@ -29,12 +29,14 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Resource from resource
 own Resource resource = Resource()
 print(value="using resource")
 ```
 
 ```aug [Braces]
+// 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")
@@ -48,37 +50,15 @@ print(value="using resource")
 
 ## Compiled specification {#specification}
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+### Startup
 
-### In this file
+It sets `resource` of type [`Resource`](resource.md#symbol-Resource) to a [`Resource`](resource.md#symbol-Resource). `resource` of type [`Resource`](resource.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.md#symbol-Resource) from `resource`.
 
-- Set `resource` of type [`Resource`](resource.md#symbol-Resource) to call [`Resource`](resource.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.md#symbol-Resource)
-
-Class from `resource`.
-
-- Construct with no caller inputs → [`Resource`](resource.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/docs/examples/drop/resource.md

@@ -29,6 +29,7 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
+// aug-spec: "resource.aug.md" explains this file. Read it before changes; refresh with aug spec.
 Resource() implements IResource:
     drop():
         pass
@@ -37,6 +38,7 @@ interface IResource:
 ```
 
 ```aug [Braces]
+// aug-spec: "resource.aug.md" explains this file. Read it before changes; refresh with aug spec.
 Resource() implements IResource {
     drop() {
         pass
@@ -55,40 +57,15 @@ interface IResource {
 
 ## Compiled specification {#specification}
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+### `Resource` · class · [source](resource.md#code) {#symbol-Resource}
 
-### In this file
+It implements [`IResource`](resource.md#symbol-IResource).
 
-- [`Resource`](resource.md#symbol-Resource) is a class implementing `IResource`.
-- [`IResource`](resource.md#symbol-IResource) is an interface.
+#### `Resource.drop` · [source](resource.md#code) {#symbol-Resource.drop}
 
-### `Resource` {#symbol-Resource}
+It continues without an operation.
 
-[source](resource.md#code)
-
-Behavioral class.
-
-Satisfies [`IResource`](resource.md#symbol-IResource).
-
-#### `Resource.drop` {#symbol-Resource.drop}
-
-[source](resource.md#code)
-
-Returns: no value.
-
-**What it does**
-
-- Continue without another operation.
-
-### `IResource` {#symbol-IResource}
-
-[source](resource.md#code)
-
-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.md#code) {#symbol-IResource}
 
 ::::
 

package/docs/examples/errors/errors.md

@@ -29,14 +29,16 @@ pageClass: aug-example-page
 ::: code-group
 
 ```aug [Indentation]
-load(bool fail) returns string unless FileError:
+// aug-spec: "errors.aug.md" explains this file. Read it before changes; refresh with aug spec.
+load(bool fail):
     if fail:
         throw FileError()
     return "loaded"
 ```
 
 ```aug [Braces]
-load(bool fail) returns string unless FileError {
+// aug-spec: "errors.aug.md" explains this file. Read it before changes; refresh with aug spec.
+load(bool fail) {
     if fail {
         throw FileError()
     }
@@ -52,33 +54,11 @@ load(bool fail) returns string unless FileError {
 
 ## Compiled specification {#specification}
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+### `load` · [source](errors.md#code) {#symbol-load}
 
-### In this file
+It takes `fail` as a boolean. Failures can raise `FileError`.
 
-- [`load`](errors.md#symbol-load) is a function returning `string`.
-
-### `load` {#symbol-load}
-
-[source](errors.md#code)
-
-**Inputs**
-
-- `fail` (`bool`) — required labeled input.
-
-Returns: `string`.
-
-Can fail with `FileError`. Callers must catch or propagate these errors.
-
-**What it does**
-
-- If `fail` is true:
-  - Fail with call `FileError`. Transfer control to a matching catch or propagate the failure.
-- Return `"loaded"`.
-
-### Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It checks that `fail` is false. It raises a `FileError` at the first failed check. It returns `"loaded"`.
 
 ::::
 

package/docs/examples/errors/index.md

@@ -12,7 +12,7 @@ outline: [2, 3]
 
 Declare errors with unless, catch them, and run cleanup.
 
-Read a file below to see its highlighted source and the Markdown produced by `aug spec`. Choose **Indentation** or **Braces** above the code. Both views describe the same checked program; your choice is kept when you open another file.
+Open a file to read its source beside the explanation produced by `aug spec`. **Indentation** and **Braces** display the same checked program; your choice carries across file pages.
 
 ## Project files
 
@@ -22,12 +22,13 @@ Read a file below to see its highlighted source and the Markdown produced by `au
 
 ## Try this project
 
-From a repository checkout with August installed:
+[Download this project](/downloads/errors.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/errors
-aug spec examples/errors
-aug run examples/errors
+cd errors
+aug check .
+aug spec .
+aug run .
 ```
 
 [Browse all examples](../index.md)