@greenpandastudios/aug-cli 0.19.0 → 0.21.0

package/examples/interceptors/logging.aug.md

@@ -1,96 +1,27 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `logging.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`Logger`](logging.aug.md#symbol-Logger) is an interface.
-- [`ConsoleLogger`](logging.aug.md#symbol-ConsoleLogger) is a class implementing `Logger`.
+# `logging.aug`
 
 <a id="symbol-Logger"></a>
-
-## `Logger`
-
-[source](logging.aug#L3)
-
-Interface.
-
-**Author documentation**
+## `Logger` · interface · [source](logging.aug#L4)
 
 Writes a message to the application log.
 
 <a id="symbol-Logger.log"></a>
+### `Logger.log` · [source](logging.aug#L6)
 
-### `Logger.log`
-
-[source](logging.aug#L5)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `message` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-Interface contract. A selected implementation supplies the behavior.
-
-**Author documentation**
-
-**Parameters**
-- `message`: Text to display.
+It takes `message` as a string (Text to display). It gets `console` ([`Console`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. It can call [`Console.write`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write).
 
 <a id="symbol-ConsoleLogger"></a>
+## `ConsoleLogger` · class · [source](logging.aug#L9)
 
-## `ConsoleLogger`
-
-[source](logging.aug#L8)
-
-Behavioral class.
-
-Satisfies [`Logger`](logging.aug.md#symbol-Logger).
-
-**Author documentation**
-
-Console logger shared by interceptor instances and the application.
+Console logger shared by interceptor instances and the application. It implements [`Logger`](logging.aug.md#symbol-Logger).
 
 <a id="symbol-ConsoleLogger.log"></a>
+### `ConsoleLogger.log` · [source](logging.aug#L10)
 
-### `ConsoleLogger.log`
-
-[source](logging.aug#L9)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `message` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-**What it does**
-
-- Call [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write) on `console` with `value` = `message`.
-
-**Author documentation**
-
-**Parameters**
-- `message`: Text to display.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)
-
-Capability interface from `august.io`.
-
-- [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write)<`T`> (`value`: `T`) → `void`.
+It takes `message` as a string (Text to display). It gets `console` ([`Console`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. It passes `message` to [`console.write`](.aug-spec/august/0.21.0/io/contracts.aug.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`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console) ([`write`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write)) from `august.io`.

package/examples/interceptors/main.aug

@@ -1,3 +1,4 @@
+// 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 from logging

package/examples/interceptors/main.aug.md

@@ -1,76 +1,19 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `main.aug` specification
+# `main.aug`
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+## Providers
 
-## In this file
+`Console` is provided by [`SystemConsole`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-SystemConsole). The same instance is shared. `Logger` is provided by [`ConsoleLogger`](logging.aug.md#symbol-ConsoleLogger). The same instance is shared.
 
-- Register 2 dependency providers before startup.
-- Run startup operations with checked error recovery.
-- Run 2 other startup steps in source order.
+## Startup
 
-## Dependency providers
+It prints [`describe`](app.aug.md#symbol-describe) with `label` `"value"` and `x` `6` using injected `Logger` for `logger` and `Console` for `console`. If this work raises [`ValidationError`](interceptors.aug.md#symbol-ValidationError), it prints `"rejected"`. It sets `greeter` to a [`Greeter`](app.aug.md#symbol-Greeter) with `name` `"AugScript"` using injected `Logger` for `_logger`. It prints [`greeter.greet`](app.aug.md#symbol-Greeter.greet) using injected `Logger` for `logger` and `Console` for `console`.
 
-Register these providers before startup. Their declaration order does not set initialization order; shared instances initialize in dependency order.
+It tries to call [`describe`](app.aug.md#symbol-describe) with `x` `-1` and `label` `"invalid"` using injected `Logger` for `logger` and `Console` for `console`. If this work raises [`ValidationError`](interceptors.aug.md#symbol-ValidationError), it prints `"rejected"`.
 
-- Provide [`SystemConsole`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-SystemConsole) when `Console` is requested. Reuse one instance.
-- Provide [`ConsoleLogger`](logging.aug.md#symbol-ConsoleLogger) when `Logger` is requested. Reuse one instance.
+## Dependencies
 
-## Startup, in source order
+It uses [`SystemConsole`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-SystemConsole) from `august.io`. It uses [`Greeter`](app.aug.md#symbol-Greeter) ([`greet`](app.aug.md#symbol-Greeter.greet)) and [`describe`](app.aug.md#symbol-describe) from `app`. It uses [`ValidationError`](interceptors.aug.md#symbol-ValidationError) from `interceptors`. It uses [`ConsoleLogger`](logging.aug.md#symbol-ConsoleLogger) from `logging`.
 
-- Try these operations:
-  - Call `print` with `value` = call [`describe`](app.aug.md#symbol-describe) with `label` = `"value"`; `x` = `6`; inject `logger` from `Logger`, `console` from `Console`.
-- If they fail with [`ValidationError`](interceptors.aug.md#symbol-ValidationError), name the failure `error` and recover:
-  - Call `print` with `value` = `"rejected"`.
-- Set `greeter` to call [`Greeter`](app.aug.md#symbol-Greeter) with `name` = `"AugScript"`; inject `_logger` from `Logger`.
-- Call `print` with `value` = call [`Greeter.greet`](app.aug.md#symbol-Greeter.greet) on `greeter`; inject `logger` from `Logger`, `console` from `Console`.
-- Try these operations:
-  - Call [`describe`](app.aug.md#symbol-describe) with `x` = `-1`; `label` = `"invalid"`; inject `logger` from `Logger`, `console` from `Console`.
-- If they fail with [`ValidationError`](interceptors.aug.md#symbol-ValidationError), name the failure `error` and recover:
-  - Call `print` with `value` = `"rejected"`.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`SystemConsole`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-SystemConsole)
-
-Class from `august.io`.
-
-Used as a type or provider.
-
-### [`Greeter`](app.aug.md#symbol-Greeter)
-
-Class from `app`.
-
-- Construct with `name`: `string` → [`Greeter`](app.aug.md#symbol-Greeter).
-- [`Greeter.greet`](app.aug.md#symbol-Greeter.greet) (no caller inputs) → `string`; inject `logger`: [`Logger`](logging.aug.md#symbol-Logger), `console`: [`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console); uses [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-### [`describe`](app.aug.md#symbol-describe)
-
-Function from `app`.
-
-- [`describe`](app.aug.md#symbol-describe) (`x`: `int`, `label`: `string`) → `string`; inject `logger`: [`Logger`](logging.aug.md#symbol-Logger), `console`: [`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console); uses [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write); can fail with `ValidationError`.
-
-### [`ValidationError`](interceptors.aug.md#symbol-ValidationError)
-
-Class from `interceptors`.
-
-Used as a type or provider.
-
-### [`ConsoleLogger`](logging.aug.md#symbol-ConsoleLogger)
-
-Class from `logging`.
-
-Used as a type or provider.
-
-## 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/examples/native-blake3/.aug-spec/manifest.json

@@ -0,0 +1,16 @@
+{
+  "format": 1,
+  "files": [
+    ".aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/api.aug",
+    ".aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/api.aug.md",
+    ".aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/contracts.aug",
+    ".aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/contracts.aug.md",
+    ".aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/native.abi.json",
+    "hashing.aug.md",
+    "main.aug.md"
+  ],
+  "nativeDescriptors": {
+    ".aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/native.abi.json": "3bf8dea97cde70a03021bf77ea08314d6d37fe7b4935ff16030b2ab929c21279"
+  },
+  "digest": "ffe72583bdbab712c267ceb7f0e8d8e624dea7c3e672e75541694832c904cbf7"
+}

package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.1/native.abi.json

@@ -0,0 +1,29 @@
+{
+  "format": 1,
+  "profile": "aug-native-abi-1",
+  "resources": [],
+  "functions": [
+    {
+      "module": "api",
+      "name": "_hash",
+      "symbol": "aug_blake3_hash_v1",
+      "params": [
+        {
+          "name": "input",
+          "kind": "bytes"
+        }
+      ],
+      "result": {
+        "kind": "utf8",
+        "release": "aug_blake3_text_release_v1"
+      },
+      "error": "contracts.HashError",
+      "callingConvention": "C",
+      "status": "i32",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    }
+  ]
+}

package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/api.aug

@@ -0,0 +1,14 @@
+// Generated by aug spec. This is a copy of the installed dependency source.
+// aug-spec: "api.aug.md" explains this file. Read it before changes; refresh with aug spec.
+import HashError from contracts
+extern C _hash(Bytes input) returns string unless HashError
+/** Return a lowercase 64-character BLAKE3 digest, computed by the Rust crate. */
+hash(Bytes input) returns string:
+    unsafe:
+        return _hash(input)
+
+test hash:
+    when vectors:
+        it hashes_abc:
+            Bytes input = "abc".bytes()
+            assert(hash(input) == "6437b3ac38465133ffb63b75273a8db548c558465d79db03fd359c6cd5bd9d85")

package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/api.aug.md

@@ -0,0 +1,34 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `api.aug`
+
+<a id="symbol-hash"></a>
+## `hash` · [source](api.aug#L6)
+
+Return a lowercase 64-character BLAKE3 digest, computed by the Rust crate. It takes `input` as `Bytes`. Failures can raise [`HashError`](contracts.aug.md#symbol-HashError).
+
+Within an unsafe block, it returns [`_hash`](api.aug.md#symbol-_hash) with `input`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-_hash"></a>
+## `_hash` · [source](api.aug#L4)
+
+It is private to its defining scope. It takes `input` as `Bytes`. It returns `string`. Failures can raise [`HashError`](contracts.aug.md#symbol-HashError).
+
+Native implementation: `@greenpandastudios/aug-blake3@0.1.3`, `1.8.7`. Supported targets: linux arm64 glibc 2.36+, linux x64 glibc 2.36+, macos arm64 14.0+. Binding contract: [`native.abi.json`](native.abi.json) (SHA-256 `3bf8dea97cde70a03021bf77ea08314d6d37fe7b4935ff16030b2ab929c21279`). It calls `aug_blake3_hash_v1` through the C ABI on the caller thread; a blocking native call blocks that thread. August copies the returned buffer, then calls `aug_blake3_text_release_v1` to release it. The compiler checks the provider, descriptor digest, signature and ownership at August call sites. The native author promises not to retain inputs, enter August from foreign threads, or unwind across the C boundary; internal native workers may run. The compiler does not prove those promises.
+
+<a id="symbol-test hash"></a>
+## `test hash` · [source](api.aug#L10)
+
+Tests [`hash`](api.aug.md#symbol-hash). Each case gets fresh setup and dependencies.
+
+### `vectors`
+
+#### `hashes_abc` · [source](api.aug#L12)
+
+It sets `input` of type `Bytes` to `bytes` on `"abc"`. The test requires [`hash`](api.aug.md#symbol-hash) with `input` equals `"6437b3ac38465133ffb63b75273a8db548c558465d79db03fd359c6cd5bd9d85"`.
+
+## Dependencies
+
+It uses [`HashError`](contracts.aug.md#symbol-HashError) from `contracts`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/contracts.aug

@@ -0,0 +1,4 @@
+// Generated by aug spec. This is a copy of the installed dependency source.
+// aug-spec: "contracts.aug.md" explains this file. Read it before changes; refresh with aug spec.
+HashError(int code, string message) implements Error:
+    pass

package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/contracts.aug.md

@@ -0,0 +1,8 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `contracts.aug`
+
+<a id="symbol-HashError"></a>
+## `HashError` · class · [source](contracts.aug#L3)
+
+It implements `Error`. It takes `code` as an integer, kept read-only and `message` as a string, kept read-only.

package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/native.abi.json

@@ -0,0 +1,29 @@
+{
+  "format": 1,
+  "profile": "aug-native-abi-1",
+  "resources": [],
+  "functions": [
+    {
+      "module": "api",
+      "name": "_hash",
+      "symbol": "aug_blake3_hash_v1",
+      "params": [
+        {
+          "name": "input",
+          "kind": "bytes"
+        }
+      ],
+      "result": {
+        "kind": "utf8",
+        "release": "aug_blake3_text_release_v1"
+      },
+      "error": "contracts.HashError",
+      "callingConvention": "C",
+      "status": "i32",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    }
+  ]
+}

package/examples/native-blake3/AGENTS.md

@@ -0,0 +1,5 @@
+# Working on this August project
+
+Read each file's adjacent `.aug.md` before editing; change `.aug` source and regenerate with `aug spec .`.
+This project imports the real Rust BLAKE3 implementation through a tagged public package. Keep dependency versions and known hash vectors explicit. Do not replace native operations with a mock.
+Use the August 0.21.0 LLVM preview on macOS 14+ ARM64. Run `aug install .`, `aug check .`, `aug test .`, and `aug run .`. Consumer installation must not invoke native build scripts.

package/examples/native-blake3/aug.lock.json

@@ -0,0 +1,253 @@
+{
+  "format": 1,
+  "compiler": "0.21.0",
+  "specifications": {
+    "url_0e8c1689393af3a98565": "https://github.com/GreenPandaStudios/aug-blake3#v0.1.3"
+  },
+  "roots": {
+    "url_0e8c1689393af3a98565": "packages/url_0e8c1689393af3a98565"
+  },
+  "npm": {},
+  "git": [
+    {
+      "request": "https://github.com/GreenPandaStudios/aug-blake3#v0.1.3",
+      "repository": "https://github.com/GreenPandaStudios/aug-blake3.git",
+      "revision": "v0.1.3",
+      "folder": "",
+      "commit": "e4ef39bdc89892e7b0644f5fa03ca4dc8b8042ae"
+    }
+  ],
+  "packages": [
+    {
+      "path": "packages/url_0e8c1689393af3a98565",
+      "name": "@greenpandastudios/aug-blake3",
+      "version": "0.1.3",
+      "source": "src",
+      "digest": "762d5c61efd539981a9cb9d8a1b838b7f0cf26b50373f334c163d6ab4fe6ef14",
+      "dependencies": {},
+      "native": {
+        "profile": "aug-native-abi-1",
+        "bindings": "native.abi.json",
+        "bindingsSha256": "3bf8dea97cde70a03021bf77ea08314d6d37fe7b4935ff16030b2ab929c21279",
+        "upstream": {
+          "repository": "https://github.com/BLAKE3-team/BLAKE3",
+          "version": "1.8.7",
+          "sourceRevision": "6d9e454fc11f76977dc803893aff6304ed33d6a26efae8696573bea74baa27ae"
+        },
+        "artifacts": [
+          {
+            "id": "linux-arm64",
+            "target": {
+              "triple": "aarch64-unknown-linux-gnu",
+              "os": "linux",
+              "arch": "arm64",
+              "minimumLibc": "2.36",
+              "cpuBaseline": "armv8-a",
+              "libc": "glibc"
+            },
+            "url": "https://github.com/GreenPandaStudios/aug-blake3/releases/download/v0.1.3/native-linux-arm64.tar.gz",
+            "sha256": "69e4de7c1928254c2fb285b0ecd557c4dd1346e9207d0b7ef56e00957caae748",
+            "maximumDownloadBytes": 90298456,
+            "maximumUnpackedBytes": 90976771,
+            "link": {
+              "kind": "dynamic",
+              "libraries": [
+                "lib/libaug_blake3.so.1"
+              ]
+            },
+            "runtime": {
+              "files": [
+                "lib/libaug_blake3.so.1",
+                "lib/libgcc_s.so.1"
+              ],
+              "closureManifest": "runtime-files.json",
+              "relocation": "loader-relative"
+            },
+            "components": [
+              {
+                "id": "https://github.com/BLAKE3-team/BLAKE3",
+                "version": "1.8.7",
+                "compatibilityKey": "aug-blake3-runtime",
+                "linkage": "static",
+                "required": true
+              },
+              {
+                "id": "gcc-runtime",
+                "version": "12.2.0-14+deb12u1",
+                "compatibilityKey": "gcc-runtime",
+                "linkage": "dynamic",
+                "required": true
+              }
+            ],
+            "fileManifest": "files.json",
+            "provenance": "provenance.json",
+            "notices": "THIRD_PARTY_NOTICES.md"
+          },
+          {
+            "id": "linux-x64",
+            "target": {
+              "triple": "x86_64-unknown-linux-gnu",
+              "os": "linux",
+              "arch": "x64",
+              "minimumLibc": "2.36",
+              "cpuBaseline": "x86-64",
+              "libc": "glibc"
+            },
+            "url": "https://github.com/GreenPandaStudios/aug-blake3/releases/download/v0.1.3/native-linux-x64.tar.gz",
+            "sha256": "67e682239e6133a29e381ee2b0c59beb3070f7cb049a487d0709e4be9714232f",
+            "maximumDownloadBytes": 90330447,
+            "maximumUnpackedBytes": 90846850,
+            "link": {
+              "kind": "dynamic",
+              "libraries": [
+                "lib/libaug_blake3.so.1"
+              ]
+            },
+            "runtime": {
+              "files": [
+                "lib/libaug_blake3.so.1",
+                "lib/libgcc_s.so.1"
+              ],
+              "closureManifest": "runtime-files.json",
+              "relocation": "loader-relative"
+            },
+            "components": [
+              {
+                "id": "https://github.com/BLAKE3-team/BLAKE3",
+                "version": "1.8.7",
+                "compatibilityKey": "aug-blake3-runtime",
+                "linkage": "static",
+                "required": true
+              },
+              {
+                "id": "gcc-runtime",
+                "version": "12.2.0-14+deb12u1",
+                "compatibilityKey": "gcc-runtime",
+                "linkage": "dynamic",
+                "required": true
+              }
+            ],
+            "fileManifest": "files.json",
+            "provenance": "provenance.json",
+            "notices": "THIRD_PARTY_NOTICES.md"
+          },
+          {
+            "id": "macos-arm64",
+            "target": {
+              "triple": "aarch64-apple-darwin",
+              "os": "macos",
+              "arch": "arm64",
+              "minimumOS": "14.0",
+              "cpuBaseline": "armv8-a",
+              "libc": "libSystem"
+            },
+            "url": "https://github.com/GreenPandaStudios/aug-blake3/releases/download/v0.1.3/native-macos-arm64.tar.gz",
+            "sha256": "2eae982e532845a67077abe9918c4eb736775fcbddfb6eef552303400687ffa5",
+            "maximumDownloadBytes": 169406,
+            "maximumUnpackedBytes": 503261,
+            "link": {
+              "kind": "dynamic",
+              "libraries": [
+                "lib/libaug_blake3.1.dylib"
+              ]
+            },
+            "runtime": {
+              "files": [
+                "lib/libaug_blake3.1.dylib"
+              ],
+              "closureManifest": "runtime-files.json",
+              "relocation": "loader-relative"
+            },
+            "components": [
+              {
+                "id": "https://github.com/BLAKE3-team/BLAKE3",
+                "version": "1.8.7",
+                "compatibilityKey": "aug-blake3-runtime",
+                "linkage": "static",
+                "required": true
+              }
+            ],
+            "fileManifest": "files.json",
+            "provenance": "provenance.json",
+            "notices": "THIRD_PARTY_NOTICES.md"
+          }
+        ],
+        "sourceBuild": {
+          "recipe": "native/build.json",
+          "inputs": "native/sources.lock.json",
+          "tools": [
+            "Node 24+",
+            "Clang",
+            "macOS: Apple SDK",
+            "GNU/Linux: Docker with the pinned Debian 12 maintainer image and patchelf",
+            "Rust and Cargo 1.98.1"
+          ],
+          "automatic": false
+        }
+      }
+    }
+  ],
+  "native": {
+    "format": 1,
+    "targets": {
+      "aarch64-apple-darwin/macos14": {
+        "target": {
+          "triple": "aarch64-apple-darwin",
+          "os": "macos",
+          "arch": "arm64",
+          "cpuBaseline": "armv8-a",
+          "libc": "libSystem",
+          "minimumOS": "26.0"
+        },
+        "packages": [
+          {
+            "sourcePackage": "@greenpandastudios/aug-blake3@0.1.3",
+            "sourceDigest": "762d5c61efd539981a9cb9d8a1b838b7f0cf26b50373f334c163d6ab4fe6ef14",
+            "sourceCommit": "e4ef39bdc89892e7b0644f5fa03ca4dc8b8042ae",
+            "contractSha256": "3bf8dea97cde70a03021bf77ea08314d6d37fe7b4935ff16030b2ab929c21279",
+            "artifact": {
+              "id": "macos-arm64",
+              "target": {
+                "triple": "aarch64-apple-darwin",
+                "os": "macos",
+                "arch": "arm64",
+                "minimumOS": "14.0",
+                "cpuBaseline": "armv8-a",
+                "libc": "libSystem"
+              },
+              "url": "https://github.com/GreenPandaStudios/aug-blake3/releases/download/v0.1.3/native-macos-arm64.tar.gz",
+              "sha256": "2eae982e532845a67077abe9918c4eb736775fcbddfb6eef552303400687ffa5",
+              "maximumDownloadBytes": 169406,
+              "maximumUnpackedBytes": 503261,
+              "link": {
+                "kind": "dynamic",
+                "libraries": [
+                  "lib/libaug_blake3.1.dylib"
+                ]
+              },
+              "runtime": {
+                "files": [
+                  "lib/libaug_blake3.1.dylib"
+                ],
+                "closureManifest": "runtime-files.json",
+                "relocation": "loader-relative"
+              },
+              "components": [
+                {
+                  "id": "https://github.com/BLAKE3-team/BLAKE3",
+                  "version": "1.8.7",
+                  "compatibilityKey": "aug-blake3-runtime",
+                  "linkage": "static",
+                  "required": true
+                }
+              ],
+              "fileManifest": "files.json",
+              "provenance": "provenance.json",
+              "notices": "THIRD_PARTY_NOTICES.md"
+            }
+          }
+        ]
+      }
+    }
+  }
+}

package/examples/native-blake3/hashing.aug

@@ -0,0 +1,11 @@
+// aug-spec: "hashing.aug.md" explains this file. Read it before changes; refresh with aug spec.
+import HashError and hash from "https://github.com/GreenPandaStudios/aug-blake3#v0.1.3"
+
+/** Hash UTF-8 text with the real Rust BLAKE3 implementation. */
+hashText(string value) returns string unless HashError:
+    return hash(input=value.bytes())
+
+test hashText:
+    when vectors:
+        it matches_the_published_abc_vector:
+            assert(hashText(value="abc") == "6437b3ac38465133ffb63b75273a8db548c558465d79db03fd359c6cd5bd9d85")

package/examples/native-blake3/hashing.aug.md

@@ -0,0 +1,25 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `hashing.aug`
+
+<a id="symbol-hashText"></a>
+## `hashText` · [source](hashing.aug#L5)
+
+Hash UTF-8 text with the real Rust BLAKE3 implementation. It takes `value` as a string. Failures can raise [`HashError`](.aug-spec/packages/%40greenpandastudios/aug-blake3/0.1.3/contracts.aug.md#symbol-HashError). It returns [`hash`](.aug-spec/packages/%40greenpandastudios/aug-blake3/0.1.3/api.aug.md#symbol-hash) with `input` from the UTF-8 bytes of `value`.
+
+<a id="symbol-test hashText"></a>
+## `test hashText` · [source](hashing.aug#L8)
+
+Tests [`hashText`](hashing.aug.md#symbol-hashText). Each case gets fresh setup and dependencies.
+
+### `vectors`
+
+#### `matches_the_published_abc_vector` · [source](hashing.aug#L10)
+
+The test requires [`hashText`](hashing.aug.md#symbol-hashText) with `value` `"abc"` equals `"6437b3ac38465133ffb63b75273a8db548c558465d79db03fd359c6cd5bd9d85"`.
+
+## Dependencies
+
+It uses [`hash`](.aug-spec/packages/%40greenpandastudios/aug-blake3/0.1.3/api.aug.md#symbol-hash) and [`HashError`](.aug-spec/packages/%40greenpandastudios/aug-blake3/0.1.3/contracts.aug.md#symbol-HashError) from `https://github.com/GreenPandaStudios/aug-blake3#v0.1.3`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/native-blake3/main.aug

@@ -0,0 +1,8 @@
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
+import hashText from hashing
+import HashError from "https://github.com/GreenPandaStudios/aug-blake3#v0.1.3"
+
+try:
+    print(value=hashText(value="abc"))
+catch HashError error:
+    print(value=error.message)