@greenpandastudios/aug-cli 0.20.1 → 0.21.0

package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.aug

@@ -0,0 +1,3 @@
+// Generated by aug spec. This is a copy of the installed dependency source.
+// aug-spec: "bindings.aug.md" explains this file. Read it before changes; refresh with aug spec.
+extern C resource Database

package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.aug.md

@@ -0,0 +1,8 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `bindings.aug`
+
+<a id="symbol-Database"></a>
+## `Database` · native resource · [source](bindings.aug#L3)
+
+Native implementation: `@greenpandastudios/aug-sqlite@0.1.3`, `3.53.4`. 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 `3c75c2925c85f1b83db06ee00fa04f1d2d37c9fd6edca0d074ce89b4647ffffb`). An owned value releases its opaque handle through `aug_sqlite_release_v1` when its scope ends, including error and return paths.

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

@@ -0,0 +1,8 @@
+// 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.
+import Database from bindings
+SqliteError(int code, string message) implements Error:
+    pass
+/** Permission to open database files. Select the native adapter in main.aug. */
+capability DatabaseStorage:
+    open(string path) returns own Database unless SqliteError uses DatabaseStorage.open

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

@@ -0,0 +1,22 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `contracts.aug`
+
+<a id="symbol-SqliteError"></a>
+## `SqliteError` · class · [source](contracts.aug#L4)
+
+It implements `Error`. It takes `code` as an integer, kept read-only and `message` as a string, kept read-only.
+
+<a id="symbol-DatabaseStorage"></a>
+## `DatabaseStorage` · capability interface · [source](contracts.aug#L7)
+
+Permission to open database files. Select the native adapter in main.aug.
+
+<a id="symbol-DatabaseStorage.open"></a>
+### `DatabaseStorage.open` · [source](contracts.aug#L8)
+
+It takes `path` as a string. It returns ownership of [`Database`](bindings.aug.md#symbol-Database). It can call [`DatabaseStorage.open`](contracts.aug.md#symbol-DatabaseStorage.open). Failures can raise [`SqliteError`](contracts.aug.md#symbol-SqliteError).
+
+## Dependencies
+
+It uses [`Database`](bindings.aug.md#symbol-Database) from `bindings`.

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

@@ -0,0 +1,100 @@
+{
+  "format": 1,
+  "profile": "aug-native-abi-1",
+  "resources": [
+    {
+      "module": "bindings",
+      "name": "Database",
+      "release": "aug_sqlite_release_v1"
+    }
+  ],
+  "functions": [
+    {
+      "module": "api",
+      "name": "_open",
+      "symbol": "aug_sqlite_open_v1",
+      "params": [
+        {
+          "name": "path",
+          "kind": "utf8"
+        }
+      ],
+      "result": {
+        "kind": "resource",
+        "resource": "bindings.Database"
+      },
+      "error": "contracts.SqliteError",
+      "callingConvention": "C",
+      "status": "i32",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    },
+    {
+      "module": "api",
+      "name": "_execute",
+      "symbol": "aug_sqlite_execute_v1",
+      "params": [
+        {
+          "name": "database",
+          "kind": "resource",
+          "resource": "bindings.Database",
+          "ownership": "borrow"
+        },
+        {
+          "name": "sql",
+          "kind": "utf8"
+        },
+        {
+          "name": "parameters",
+          "kind": "utf8-list"
+        }
+      ],
+      "result": {
+        "kind": "i64"
+      },
+      "error": "contracts.SqliteError",
+      "callingConvention": "C",
+      "status": "i32",
+      "uses": [],
+      "changes": [
+        "database"
+      ],
+      "thread": "caller",
+      "retainsInputs": false
+    },
+    {
+      "module": "api",
+      "name": "_queryScalar",
+      "symbol": "aug_sqlite_scalar_v1",
+      "params": [
+        {
+          "name": "database",
+          "kind": "resource",
+          "resource": "bindings.Database",
+          "ownership": "read"
+        },
+        {
+          "name": "sql",
+          "kind": "utf8"
+        },
+        {
+          "name": "parameters",
+          "kind": "utf8-list"
+        }
+      ],
+      "result": {
+        "kind": "utf8",
+        "release": "aug_sqlite_text_release_v1"
+      },
+      "error": "contracts.SqliteError",
+      "callingConvention": "C",
+      "status": "i32",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    }
+  ]
+}

package/examples/native-sqlite/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 real SQLite through a tagged public package. Keep dependency versions, labeled SQL parameters, and native ownership explicit. Mutation requires a borrow. 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-sqlite/aug.lock.json

@@ -0,0 +1,236 @@
+{
+  "format": 1,
+  "compiler": "0.21.0",
+  "specifications": {
+    "url_ec6f73485e9c2d30be64": "https://github.com/GreenPandaStudios/aug-sqlite#v0.1.3"
+  },
+  "roots": {
+    "url_ec6f73485e9c2d30be64": "packages/url_ec6f73485e9c2d30be64"
+  },
+  "npm": {},
+  "git": [
+    {
+      "request": "https://github.com/GreenPandaStudios/aug-sqlite#v0.1.3",
+      "repository": "https://github.com/GreenPandaStudios/aug-sqlite.git",
+      "revision": "v0.1.3",
+      "folder": "",
+      "commit": "54371656e3f8d47d020b974f97267a9017b5e552"
+    }
+  ],
+  "packages": [
+    {
+      "path": "packages/url_ec6f73485e9c2d30be64",
+      "name": "@greenpandastudios/aug-sqlite",
+      "version": "0.1.3",
+      "source": "src",
+      "digest": "50bc12ee1c63d26c745aaa50ce065f893a1e23fb3c4027608ac90a5f81e8561d",
+      "dependencies": {},
+      "native": {
+        "profile": "aug-native-abi-1",
+        "bindings": "native.abi.json",
+        "bindingsSha256": "3c75c2925c85f1b83db06ee00fa04f1d2d37c9fd6edca0d074ce89b4647ffffb",
+        "upstream": {
+          "repository": "https://github.com/sqlite/sqlite",
+          "version": "3.53.4",
+          "sourceRevision": "1e71ddf93849c6a6ecf58b827c0692073d2dd7ee40196158068f7b29f422e87d"
+        },
+        "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-sqlite/releases/download/v0.1.3/native-linux-arm64.tar.gz",
+            "sha256": "480c6dfb5a257fc7047a28dd2eb6f2e60bbcb90ae4e301083a180744dadea8f2",
+            "maximumDownloadBytes": 1984618,
+            "maximumUnpackedBytes": 4131708,
+            "link": {
+              "kind": "dynamic",
+              "libraries": [
+                "lib/libaug_sqlite.so.1"
+              ]
+            },
+            "runtime": {
+              "files": [
+                "lib/libaug_sqlite.so.1"
+              ],
+              "closureManifest": "runtime-files.json",
+              "relocation": "loader-relative"
+            },
+            "components": [
+              {
+                "id": "https://github.com/sqlite/sqlite",
+                "version": "3.53.4",
+                "compatibilityKey": "aug-sqlite-runtime",
+                "linkage": "static",
+                "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-sqlite/releases/download/v0.1.3/native-linux-x64.tar.gz",
+            "sha256": "3b38b5d537fbe24462505b85f52ed421c80df7af400ff1dc0567aa3f542e6255",
+            "maximumDownloadBytes": 2178112,
+            "maximumUnpackedBytes": 4509173,
+            "link": {
+              "kind": "dynamic",
+              "libraries": [
+                "lib/libaug_sqlite.so.1"
+              ]
+            },
+            "runtime": {
+              "files": [
+                "lib/libaug_sqlite.so.1"
+              ],
+              "closureManifest": "runtime-files.json",
+              "relocation": "loader-relative"
+            },
+            "components": [
+              {
+                "id": "https://github.com/sqlite/sqlite",
+                "version": "3.53.4",
+                "compatibilityKey": "aug-sqlite-runtime",
+                "linkage": "static",
+                "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-sqlite/releases/download/v0.1.3/native-macos-arm64.tar.gz",
+            "sha256": "f79e5ac0751aa612d1119d7769d46ee7a34b904e5ea8a993886fb005311e1ad8",
+            "maximumDownloadBytes": 616575,
+            "maximumUnpackedBytes": 1248410,
+            "link": {
+              "kind": "dynamic",
+              "libraries": [
+                "lib/libaug_sqlite.1.dylib"
+              ]
+            },
+            "runtime": {
+              "files": [
+                "lib/libaug_sqlite.1.dylib"
+              ],
+              "closureManifest": "runtime-files.json",
+              "relocation": "loader-relative"
+            },
+            "components": [
+              {
+                "id": "https://github.com/sqlite/sqlite",
+                "version": "3.53.4",
+                "compatibilityKey": "aug-sqlite-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"
+          ],
+          "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-sqlite@0.1.3",
+            "sourceDigest": "50bc12ee1c63d26c745aaa50ce065f893a1e23fb3c4027608ac90a5f81e8561d",
+            "sourceCommit": "54371656e3f8d47d020b974f97267a9017b5e552",
+            "contractSha256": "3c75c2925c85f1b83db06ee00fa04f1d2d37c9fd6edca0d074ce89b4647ffffb",
+            "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-sqlite/releases/download/v0.1.3/native-macos-arm64.tar.gz",
+              "sha256": "f79e5ac0751aa612d1119d7769d46ee7a34b904e5ea8a993886fb005311e1ad8",
+              "maximumDownloadBytes": 616575,
+              "maximumUnpackedBytes": 1248410,
+              "link": {
+                "kind": "dynamic",
+                "libraries": [
+                  "lib/libaug_sqlite.1.dylib"
+                ]
+              },
+              "runtime": {
+                "files": [
+                  "lib/libaug_sqlite.1.dylib"
+                ],
+                "closureManifest": "runtime-files.json",
+                "relocation": "loader-relative"
+              },
+              "components": [
+                {
+                  "id": "https://github.com/sqlite/sqlite",
+                  "version": "3.53.4",
+                  "compatibilityKey": "aug-sqlite-runtime",
+                  "linkage": "static",
+                  "required": true
+                }
+              ],
+              "fileManifest": "files.json",
+              "provenance": "provenance.json",
+              "notices": "THIRD_PARTY_NOTICES.md"
+            }
+          }
+        ]
+      }
+    }
+  }
+}

package/examples/native-sqlite/database.aug

@@ -0,0 +1,15 @@
+// aug-spec: "database.aug.md" explains this file. Read it before changes; refresh with aug spec.
+import Database and SqliteError and openMemory and execute and queryScalar from "https://github.com/GreenPandaStudios/aug-sqlite#v0.1.3"
+
+/** Store a bound value in an in-memory SQLite database and read it back. */
+storedName() returns string unless SqliteError:
+    own Database database = openMemory()
+    borrow database:
+        execute(database, sql="CREATE TABLE users (name TEXT NOT NULL)", parameters=[])
+        execute(database, sql="INSERT INTO users (name) VALUES (?)", parameters=["August"])
+    return queryScalar(database, sql="SELECT name FROM users", parameters=[])
+
+test storedName:
+    when database:
+        it inserts_and_queries_bound_data:
+            assert(storedName() == "August")

package/examples/native-sqlite/database.aug.md

@@ -0,0 +1,27 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `database.aug`
+
+<a id="symbol-storedName"></a>
+## `storedName` · [source](database.aug#L5)
+
+Store a bound value in an in-memory SQLite database and read it back. Failures can raise [`SqliteError`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/contracts.aug.md#symbol-SqliteError).
+
+It gets `database` of type [`Database`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/bindings.aug.md#symbol-Database) from [`openMemory`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/api.aug.md#symbol-openMemory). `database` of type [`Database`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/bindings.aug.md#symbol-Database) owns this value. With temporary permission to change `database`, it calls [`execute`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/api.aug.md#symbol-execute) with `database`, `sql` `"CREATE TABLE users (name TEXT NOT NULL)"`, and `parameters` from a list with no items; then it calls [`execute`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/api.aug.md#symbol-execute) with `database`, `sql` `"INSERT INTO users (name) VALUES (?)"`, and `parameters` from a list containing `"August"`. It returns [`queryScalar`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/api.aug.md#symbol-queryScalar) with `database`, `sql` `"SELECT name FROM users"`, and `parameters` from a list with no items.
+
+<a id="symbol-test storedName"></a>
+## `test storedName` · [source](database.aug#L12)
+
+Tests [`storedName`](database.aug.md#symbol-storedName). Each case gets fresh setup and dependencies.
+
+### `database`
+
+#### `inserts_and_queries_bound_data` · [source](database.aug#L14)
+
+The test requires [`storedName`](database.aug.md#symbol-storedName) equals `"August"`.
+
+## Dependencies
+
+It uses [`execute`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/api.aug.md#symbol-execute), [`openMemory`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/api.aug.md#symbol-openMemory), [`queryScalar`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/api.aug.md#symbol-queryScalar), [`Database`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/bindings.aug.md#symbol-Database), and [`SqliteError`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/contracts.aug.md#symbol-SqliteError) from `https://github.com/GreenPandaStudios/aug-sqlite#v0.1.3`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/native-sqlite/main.aug

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

package/examples/native-sqlite/main.aug.md

@@ -0,0 +1,13 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `main.aug`
+
+## Startup
+
+It prints [`storedName`](database.aug.md#symbol-storedName). If this work raises [`SqliteError`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/contracts.aug.md#symbol-SqliteError) as `error`, it prints `error.message`.
+
+## Dependencies
+
+It uses [`SqliteError`](.aug-spec/packages/%40greenpandastudios/aug-sqlite/0.1.3/contracts.aug.md#symbol-SqliteError) (`message`) from `https://github.com/GreenPandaStudios/aug-sqlite#v0.1.3`. It uses [`storedName`](database.aug.md#symbol-storedName) from `database`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/native-zlib/.aug-spec/manifest.json

@@ -0,0 +1,16 @@
+{
+  "format": 1,
+  "files": [
+    ".aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/api.aug",
+    ".aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/api.aug.md",
+    ".aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/contracts.aug",
+    ".aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/contracts.aug.md",
+    ".aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/native.abi.json",
+    "compression.aug.md",
+    "main.aug.md"
+  ],
+  "nativeDescriptors": {
+    ".aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/native.abi.json": "c3d4b36eadcccd13caff71597ed77a8e7307f0cfe3d13660a8e9127efe942b3d"
+  },
+  "digest": "a90d4a0301197541db015da06486ffdd12ae464e0c68675cb40e838dabaec03a"
+}

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

@@ -0,0 +1,57 @@
+{
+  "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/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/api.aug

@@ -0,0 +1,29 @@
+// 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 CompressionError from contracts
+extern C _compress(Bytes input) returns Bytes unless CompressionError
+extern C _decompress(Bytes input, int maximumOutput) returns Bytes unless CompressionError
+/** Compress bytes with the standard zlib framing. */
+compress(Bytes input) returns Bytes:
+    unsafe:
+        return _compress(input)
+/** Decompress at most maximumOutput bytes (maximum 256 MiB). */
+decompress(Bytes input, int maximumOutput) returns Bytes:
+    unsafe:
+        return _decompress(input, maximumOutput)
+
+test compress:
+    when compression:
+        it preserves_bytes:
+            Bytes input = "The world runs on language".bytes()
+            Bytes packed = compress(input)
+            Bytes restored = decompress(input=packed, maximumOutput=4096)
+            assert(restored.text() == "The world runs on language")
+        it checks_output_limit:
+            Bytes packed = compress(input="length limit".bytes())
+            bool rejected = false
+            try:
+                decompress(input=packed, maximumOutput=1)
+            catch CompressionError error:
+                rejected = true
+            assert(rejected)

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

@@ -0,0 +1,54 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `api.aug`
+
+<a id="symbol-compress"></a>
+## `compress` · [source](api.aug#L7)
+
+Compress bytes with the standard zlib framing. It takes `input` as `Bytes`. Failures can raise [`CompressionError`](contracts.aug.md#symbol-CompressionError).
+
+Within an unsafe block, it returns [`_compress`](api.aug.md#symbol-_compress) with `input`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-decompress"></a>
+## `decompress` · [source](api.aug#L11)
+
+Decompress at most maximumOutput bytes (maximum 256 MiB). It takes `input` as `Bytes` and `maximumOutput` as an integer. Failures can raise [`CompressionError`](contracts.aug.md#symbol-CompressionError).
+
+Within an unsafe block, it returns [`_decompress`](api.aug.md#symbol-_decompress) with `input` and `maximumOutput`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-_compress"></a>
+## `_compress` · [source](api.aug#L4)
+
+It is private to its defining scope. It takes `input` as `Bytes`. It returns `Bytes`. Failures can raise [`CompressionError`](contracts.aug.md#symbol-CompressionError).
+
+Native implementation: `@greenpandastudios/aug-zlib@0.1.3`, `1.3.2`. 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 `c3d4b36eadcccd13caff71597ed77a8e7307f0cfe3d13660a8e9127efe942b3d`). It calls `aug_zlib_compress_v1` through the C ABI on the caller thread; a blocking native call blocks that thread. August copies the returned buffer, then calls `aug_zlib_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-_decompress"></a>
+## `_decompress` · [source](api.aug#L5)
+
+It is private to its defining scope. It takes `input` as `Bytes` and `maximumOutput` as an integer. It returns `Bytes`. Failures can raise [`CompressionError`](contracts.aug.md#symbol-CompressionError).
+
+Native implementation: `@greenpandastudios/aug-zlib@0.1.3`, `1.3.2`. 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 `c3d4b36eadcccd13caff71597ed77a8e7307f0cfe3d13660a8e9127efe942b3d`). It calls `aug_zlib_decompress_v1` through the C ABI on the caller thread; a blocking native call blocks that thread. August copies the returned buffer, then calls `aug_zlib_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 compress"></a>
+## `test compress` · [source](api.aug#L15)
+
+Tests [`compress`](api.aug.md#symbol-compress). Each case gets fresh setup and dependencies.
+
+### `compression`
+
+#### `preserves_bytes` · [source](api.aug#L17)
+
+It sets `input` of type `Bytes` to `bytes` on `"The world runs on language"`. It sets `packed` of type `Bytes` to [`compress`](api.aug.md#symbol-compress) with `input`. It sets `restored` of type `Bytes` to [`decompress`](api.aug.md#symbol-decompress) with `input` from `packed` and `maximumOutput` `4096`. The test requires `restored.text` equals `"The world runs on language"`.
+
+#### `checks_output_limit` · [source](api.aug#L22)
+
+It sets `packed` of type `Bytes` to [`compress`](api.aug.md#symbol-compress) with `input` from `bytes` on `"length limit"`. It sets `rejected` to `false`.
+
+It tries to call [`decompress`](api.aug.md#symbol-decompress) with `input` from `packed` and `maximumOutput` `1`. If this work raises [`CompressionError`](contracts.aug.md#symbol-CompressionError), it sets `rejected` to `true`. The test requires `rejected` is true.
+
+## Dependencies
+
+It uses [`CompressionError`](contracts.aug.md#symbol-CompressionError) from `contracts`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/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.
+CompressionError(int code, string message) implements Error:
+    pass

package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/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-CompressionError"></a>
+## `CompressionError` · 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.