@greenpandastudios/aug-cli 0.20.1 → 0.21.0

package/docs/examples/native-zlib/dependencies/packages/@greenpandastudios/aug-zlib/0.1.3/native.abi-json.md

@@ -0,0 +1,76 @@
+---
+title: "Native binding contract · Compression with zlib"
+generated: true
+source: "examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/native.abi.json"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+search: false
+---
+
+# Native binding contract
+
+[Compression with zlib](../../../../../index.md)
+
+This is the exact descriptor checked for this dependency. It records native symbols, ownership, errors, and ABI boundaries. The compiler checks August declarations against it; foreign implementations remain the native author’s responsibility.
+
+```json
+{
+  "format": 1,
+  "profile": "aug-native-abi-1",
+  "resources": [],
+  "functions": [
+    {
+      "module": "api",
+      "name": "_compress",
+      "symbol": "aug_zlib_compress_v1",
+      "params": [
+        {
+          "name": "input",
+          "kind": "bytes"
+        }
+      ],
+      "result": {
+        "kind": "bytes",
+        "release": "aug_zlib_release_v1"
+      },
+      "error": "contracts.CompressionError",
+      "callingConvention": "C",
+      "status": "i32",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    },
+    {
+      "module": "api",
+      "name": "_decompress",
+      "symbol": "aug_zlib_decompress_v1",
+      "params": [
+        {
+          "name": "input",
+          "kind": "bytes"
+        },
+        {
+          "name": "maximumOutput",
+          "kind": "i64",
+          "minimum": 0,
+          "maximum": 268435456
+        }
+      ],
+      "result": {
+        "kind": "bytes",
+        "release": "aug_zlib_release_v1"
+      },
+      "error": "contracts.CompressionError",
+      "callingConvention": "C",
+      "status": "i32",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    }
+  ]
+}
+```

package/docs/examples/native-zlib/index.md

@@ -0,0 +1,38 @@
+---
+title: "Compression with zlib"
+generated: true
+source: "examples/native-zlib"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+---
+
+# Compression with zlib
+
+Compress a buffer with zlib and verify the restored bytes. A fixed output limit bounds decompression.
+
+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.
+
+This project requires the August `0.21.0` LLVM preview on macOS 14+ with Apple Silicon, or Debian/Ubuntu GNU/Linux x64 or ARM64 with glibc 2.36+. The library archives are public; the matching compiler release is still being qualified.
+
+## Project files
+
+- [`main.aug`](main.md)
+- [`compression.aug`](compression.md)
+
+
+## Try this project
+
+[Download this project](/downloads/native-zlib.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 native-zlib
+aug install .
+aug check .
+aug spec .
+aug test .
+aug run .
+```
+
+[Browse all examples](../index.md)

package/docs/examples/native-zlib/main.md

@@ -0,0 +1,78 @@
+---
+title: "main.aug · Compression with zlib"
+generated: true
+source: "examples/native-zlib/main.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+pageClass: aug-example-page
+---
+
+# `main.aug`
+
+[Compression with zlib](index.md) · Source and specification
+
+::: details Files in this project
+
+- [`main.aug`](main.md)
+- [`compression.aug`](compression.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 roundTrip from compression
+import CompressionError from "https://github.com/GreenPandaStudios/aug-zlib#v0.1.3"
+try:
+    print(value=roundTrip().text())
+catch CompressionError error:
+    print(value=error.message)
+catch ConversionError error:
+    print(value="Invalid UTF-8")
+```
+
+```aug [Braces]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
+import roundTrip from compression
+import CompressionError from "https://github.com/GreenPandaStudios/aug-zlib#v0.1.3"
+try {
+    print(value=roundTrip().text())
+}
+catch CompressionError error {
+    print(value=error.message)
+}
+catch ConversionError error {
+    print(value="Invalid UTF-8")
+}
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+### Startup
+
+It prints `text` on [`roundTrip`](compression.md#symbol-roundTrip). If this work raises [`CompressionError`](dependencies/packages/%40greenpandastudios/aug-zlib/0.1.3/contracts.md#symbol-CompressionError) as `error`, it prints `error.message`. If this work raises `ConversionError`, it prints `"Invalid UTF-8"`.
+
+### Dependencies
+
+It uses [`CompressionError`](dependencies/packages/%40greenpandastudios/aug-zlib/0.1.3/contracts.md#symbol-CompressionError) (`message`) from `https://github.com/GreenPandaStudios/aug-zlib#v0.1.3`. It uses [`roundTrip`](compression.md#symbol-roundTrip) from `compression`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
+
+::::
+
+:::::

package/docs/examples/new-syntax/console.md

@@ -65,11 +65,11 @@ It implements [`Logger`](logger.md#symbol-Logger).
 
 #### `ConsoleLogger.log` · [source](console.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 [`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/new-syntax/dependencies/august/{0.20.1 → 0.21.0}/io/contracts.md

@@ -1,7 +1,7 @@
 ---
-title: "august/0.20.1/io/contracts.aug · Labeled calls and injection"
+title: "august/0.21.0/io/contracts.aug · Labeled calls and injection"
 generated: true
-source: "examples/new-syntax/.aug-spec/august/0.20.1/io/contracts.aug"
+source: "examples/new-syntax/.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`
 
 [Labeled calls and injection](../../../../index.md) · Dependency source and specification
 

package/docs/examples/new-syntax/greeter.md

@@ -70,17 +70,17 @@ It implements [`IGreeter`](greeter.md#symbol-IGreeter). It takes `x` as an integ
 
 #### `Greeter.greet` · [source](greeter.md#code) {#symbol-Greeter.greet}
 
-It takes `name` as a string. 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`](logger.md#symbol-Logger.log), using injected `console`.
+It takes `name` as a string. 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`](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}
 
-It takes `name` as a string. 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 `name` as a string. 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`](logger.md#symbol-Logger) ([`log`](logger.md#symbol-Logger.log)) 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) ([`log`](logger.md#symbol-Logger.log)) from `logger`.
 
 ::::
 

package/docs/examples/new-syntax/logger.md

@@ -64,11 +64,11 @@ Displays application messages.
 
 #### `Logger.log` · [source](logger.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).
 
 ### 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/new-syntax/main.md

@@ -73,7 +73,7 @@ print(value=count)
 
 ### 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`](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`](console.md#symbol-ConsoleLogger). The same instance is shared.
 
 ### Startup
 
@@ -83,7 +83,7 @@ It prints `count`.
 
 ### Dependencies
 
-It uses [`SystemConsole`](dependencies/august/0.20.1/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`ConsoleLogger`](console.md#symbol-ConsoleLogger) from `console`. It uses [`Greeter`](greeter.md#symbol-Greeter) ([`greet`](greeter.md#symbol-Greeter.greet)) from `greeter`. It uses [`increment`](math.md#symbol-increment) from `math`.
+It uses [`SystemConsole`](dependencies/august/0.21.0/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`ConsoleLogger`](console.md#symbol-ConsoleLogger) from `console`. It uses [`Greeter`](greeter.md#symbol-Greeter) ([`greet`](greeter.md#symbol-Greeter.greet)) from `greeter`. It uses [`increment`](math.md#symbol-increment) from `math`.
 
 Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
 

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

@@ -1,7 +1,7 @@
 ---
-title: "august/0.20.1/io/contracts.aug · Move ownership"
+title: "august/0.21.0/io/contracts.aug · Move ownership"
 generated: true
-source: "examples/ownership-transfer/.aug-spec/august/0.20.1/io/contracts.aug"
+source: "examples/ownership-transfer/.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`
 
 [Move ownership](../../../../index.md) · Dependency source and specification
 

package/docs/examples/ownership-transfer/main.md

@@ -64,7 +64,7 @@ print(value="end of main")
 
 ### Providers
 
-`Console` is provided by [`SystemConsole`](dependencies/august/0.20.1/io/contracts.md#symbol-SystemConsole). 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.
 
 ### Startup
 
@@ -74,7 +74,7 @@ It gets `first` of type [`Resource`](resource.md#symbol-Resource) from [`make`](
 
 ### Dependencies
 
-It uses [`SystemConsole`](dependencies/august/0.20.1/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`Resource`](resource.md#symbol-Resource), [`consume`](resource.md#symbol-consume), and [`make`](resource.md#symbol-make) from `resource`.
+It uses [`SystemConsole`](dependencies/august/0.21.0/io/contracts.md#symbol-SystemConsole) from `august.io`. It uses [`Resource`](resource.md#symbol-Resource), [`consume`](resource.md#symbol-consume), and [`make`](resource.md#symbol-make) from `resource`.
 
 Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
 

package/docs/examples/ownership-transfer/resource.md

@@ -87,11 +87,11 @@ It returns ownership of [`Resource`](resource.md#symbol-Resource). It sets `valu
 
 ### `consume` · [source](resource.md#code) {#symbol-consume}
 
-It takes `value` as [`Resource`](resource.md#symbol-Resource) with ownership transferred. It gets `console` ([`Console`](dependencies/august/0.20.1/io/contracts.md#symbol-Console)) from dependency injection. It passes `"consumed"` to [`console.write`](dependencies/august/0.20.1/io/contracts.md#symbol-Console.write).
+It takes `value` as [`Resource`](resource.md#symbol-Resource) with ownership transferred. It gets `console` ([`Console`](dependencies/august/0.21.0/io/contracts.md#symbol-Console)) from dependency injection. It passes `"consumed"` 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/packages-math/aug-package-json.md

@@ -17,7 +17,7 @@ outline: [2, 3]
   "format": 1,
   "name": "@example/aug-math",
   "version": "0.1.0",
-  "compiler": "0.20.1",
+  "compiler": "0.21.0",
   "source": "src",
   "dependencies": {}
 }

package/docs/examples/records-benchmark/data.md

@@ -0,0 +1,55 @@
+---
+title: "data.aug · Record allocation benchmark"
+generated: true
+source: "benchmarks/records/data.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+pageClass: aug-example-page
+---
+
+# `data.aug`
+
+[Record allocation benchmark](index.md) · Source and specification
+
+::: details Files in this project
+
+- [`main.aug`](main.md)
+- [`data.aug`](data.md)
+
+:::
+
+::::: example-compare
+
+:::: example-code
+
+## Code {#code}
+
+::: code-group
+
+```aug [Indentation]
+// aug-spec: "data.aug.md" explains this file. Read it before changes; refresh with aug spec.
+record Item(int id, string name)
+```
+
+```aug [Braces]
+// aug-spec: "data.aug.md" explains this file. Read it before changes; refresh with aug spec.
+record Item(int id, string name)
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+### `Item` · immutable record · [source](data.md#code) {#symbol-Item}
+
+It takes `id` as an integer, kept read-only and `name` as a string, kept read-only.
+
+::::
+
+:::::

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

@@ -0,0 +1,36 @@
+---
+title: "Record allocation benchmark"
+generated: true
+source: "benchmarks/records"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+---
+
+# Record allocation benchmark
+
+Retain immutable records and sum their fields.
+
+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)
+- [`data.aug`](data.md)
+
+
+## Try this project
+
+[Download this project](/downloads/records-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 records-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/records-benchmark/main.md

@@ -0,0 +1,85 @@
+---
+title: "main.aug · Record allocation benchmark"
+generated: true
+source: "benchmarks/records/main.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+pageClass: aug-example-page
+---
+
+# `main.aug`
+
+[Record allocation benchmark](index.md) · Source and specification
+
+::: details Files in this project
+
+- [`main.aug`](main.md)
+- [`data.aug`](data.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 Item from data
+int iterations = 50000
+own List<Item> values = []
+int index = 0
+while index < iterations:
+    values.append(value=Item(id=index, name="August"))
+    index = index + 1
+int checksum = 0
+for item in values:
+    checksum = checksum + item.id
+print(value=checksum)
+```
+
+```aug [Braces]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
+import Item from data
+int iterations = 50000
+own List<Item> values = []
+int index = 0
+while index < iterations {
+    values.append(value=Item(id=index, name="August"))
+    index = index + 1
+}
+int checksum = 0
+for item in values {
+    checksum = checksum + item.id
+}
+print(value=checksum)
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+### Startup
+
+It sets `iterations` to `50000`. It sets `values` of type `List<Item>` to a list with no items. `values` of type `List<Item>` owns this value. It sets `index` to `0`.
+
+While `index` is less than `iterations`, it appends an [`Item`](data.md#symbol-Item) with `id` from `index` and `name` `"August"` to `values`; then it increases `index` by `1`. After the loop, it sets `checksum` to `0`. For each `item` in a snapshot of `values`, it increases `checksum` by `item.id`. After the loop, it prints `checksum`.
+
+### Dependencies
+
+It uses [`Item`](data.md#symbol-Item) (`id`) from `data`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
+
+::::
+
+:::::

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

@@ -0,0 +1,35 @@
+---
+title: "String processing benchmark"
+generated: true
+source: "benchmarks/strings"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+---
+
+# String processing benchmark
+
+Split text into parts and sum their byte lengths.
+
+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/strings-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 strings-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/strings-benchmark/main.md

@@ -0,0 +1,76 @@
+---
+title: "main.aug · String processing benchmark"
+generated: true
+source: "benchmarks/strings/main.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+pageClass: aug-example-page
+---
+
+# `main.aug`
+
+[String processing 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 = 20000
+int index = 0
+int checksum = 0
+while index < iterations:
+    parts = "August,clear,local,checked".split(separator=",")
+    for part in parts:
+        checksum = checksum + part.length()
+    index = index + 1
+print(value=checksum)
+```
+
+```aug [Braces]
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
+int iterations = 20000
+int index = 0
+int checksum = 0
+while index < iterations {
+    parts = "August,clear,local,checked".split(separator=",")
+    for part in parts {
+        checksum = checksum + part.length()
+    }
+    index = index + 1
+}
+print(value=checksum)
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+### Startup
+
+It sets `iterations` to `20000`. It sets `index` and `checksum` separately, each to `0`. While `index` is less than `iterations`, it sets `parts` to `split` on `"August,clear,local,checked"` with `separator` `","`. For each `part` in a snapshot of `parts`, it increases `checksum` by the byte length of `part`.
+
+After the loop, it increases `index` by `1`. After the loop, it prints `checksum`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
+
+::::
+
+:::::

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

@@ -0,0 +1,36 @@
+---
+title: "Task scheduling benchmark"
+generated: true
+source: "benchmarks/tasks"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+---
+
+# Task scheduling benchmark
+
+Start and join two tasks in each bounded scope.
+
+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)
+- [`operations.aug`](operations.md)
+
+
+## Try this project
+
+[Download this project](/downloads/tasks-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 tasks-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)