@greenpandastudios/aug-cli 0.19.0 → 0.21.0

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

@@ -0,0 +1,48 @@
+// 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 Database from bindings
+import SqliteError and DatabaseStorage from contracts
+extern C _open(string path) returns own Database unless SqliteError
+extern C _execute(borrow Database database, string sql, List<string> parameters) returns int unless SqliteError changes database
+extern C _queryScalar(Database database, string sql, List<string> parameters) returns string unless SqliteError
+/** Open a serialized connection. Use :memory: for an in-memory database. */
+NativeDatabaseStorage() implements DatabaseStorage:
+    open(string path) returns own Database:
+        unsafe:
+            return _open(path)
+open(resolve DatabaseStorage storage, string path) returns own Database:
+    return storage.open(path)
+/** Open an in-memory database without filesystem permission. */
+openMemory() returns own Database:
+    unsafe:
+        return _open(path=":memory:")
+/** Execute one parameterized statement. Return the number of changed rows. */
+execute(borrow Database database, string sql, List<string> parameters) returns int:
+    unsafe:
+        return _execute(database, sql, parameters)
+/** Query one non-null text value with SELECT. Reject PRAGMAs, transactions, savepoints and writes before execution. Copy the result before finalization. */
+queryScalar(Database database, string sql, List<string> parameters) returns string:
+    unsafe:
+        return _queryScalar(database, sql, parameters)
+
+test openMemory:
+    when databases:
+        it binds_and_queries:
+            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=["O'Reilly"])
+            assert(queryScalar(database, sql="SELECT name FROM users", parameters=[]) == "O'Reilly")
+        it rejects_connection_and_transaction_control:
+            own Database database = openMemory()
+            for statement in ["PRAGMA query_only=ON", "BEGIN", "COMMIT", "ROLLBACK", "SAVEPOINT hidden"]:
+                rejected = false
+                try:
+                    queryScalar(database, sql=statement, parameters=[])
+                catch SqliteError error:
+                    rejected = error.code == 23
+                assert(rejected)
+            borrow database:
+                execute(database, sql="CREATE TABLE rows (value TEXT)", parameters=[])
+                execute(database, sql="INSERT INTO rows VALUES (?)", parameters=["unchanged"])
+            assert(queryScalar(database, sql="SELECT value FROM rows", parameters=[]) == "unchanged")

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

@@ -0,0 +1,91 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `api.aug`
+
+<a id="symbol-NativeDatabaseStorage"></a>
+## `NativeDatabaseStorage` · class · [source](api.aug#L9)
+
+Open a serialized connection. Use :memory: for an in-memory database. It implements [`DatabaseStorage`](contracts.aug.md#symbol-DatabaseStorage).
+
+<a id="symbol-NativeDatabaseStorage.open"></a>
+### `NativeDatabaseStorage.open` · [source](api.aug#L10)
+
+It takes `path` as a string. It returns ownership of [`Database`](bindings.aug.md#symbol-Database). Failures can raise [`SqliteError`](contracts.aug.md#symbol-SqliteError).
+
+Within an unsafe block, it returns [`_open`](api.aug.md#symbol-_open) with `path`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-open"></a>
+## `open` · [source](api.aug#L13)
+
+It takes `path` as a string. It gets `storage` ([`DatabaseStorage`](contracts.aug.md#symbol-DatabaseStorage)) from dependency injection. It returns ownership of [`Database`](bindings.aug.md#symbol-Database). Failures can raise [`SqliteError`](contracts.aug.md#symbol-SqliteError).
+
+It returns [`storage.open`](contracts.aug.md#symbol-DatabaseStorage.open) with `path`.
+
+<a id="symbol-openMemory"></a>
+## `openMemory` · [source](api.aug#L16)
+
+Open an in-memory database without filesystem permission. It returns ownership of [`Database`](bindings.aug.md#symbol-Database). Failures can raise [`SqliteError`](contracts.aug.md#symbol-SqliteError).
+
+Within an unsafe block, it returns [`_open`](api.aug.md#symbol-_open) with `path` `":memory:"`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-execute"></a>
+## `execute` · [source](api.aug#L20)
+
+Execute one parameterized statement. Return the number of changed rows. It takes `database` as [`Database`](bindings.aug.md#symbol-Database) with permission to mutate it during the call, `sql` as a string, and `parameters` as `List<string>`.
+
+It may change `database`. Failures can raise [`SqliteError`](contracts.aug.md#symbol-SqliteError). Within an unsafe block, it returns [`_execute`](api.aug.md#symbol-_execute) with `database`, `sql`, and `parameters`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-queryScalar"></a>
+## `queryScalar` · [source](api.aug#L24)
+
+Query one non-null text value with SELECT. Reject PRAGMAs, transactions, savepoints and writes before execution. Copy the result before finalization. It takes `database` as [`Database`](bindings.aug.md#symbol-Database), `sql` as a string, and `parameters` as `List<string>`.
+
+Failures can raise [`SqliteError`](contracts.aug.md#symbol-SqliteError). Within an unsafe block, it returns [`_queryScalar`](api.aug.md#symbol-_queryScalar) with `database`, `sql`, and `parameters`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-_open"></a>
+## `_open` · [source](api.aug#L5)
+
+It is private to its defining scope. It takes `path` as a string. It returns ownership of [`Database`](bindings.aug.md#symbol-Database). Failures can raise [`SqliteError`](contracts.aug.md#symbol-SqliteError).
+
+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`). It calls `aug_sqlite_open_v1` through the C ABI on the caller thread; a blocking native call blocks that thread. The caller owns the returned handle. 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-_execute"></a>
+## `_execute` · [source](api.aug#L6)
+
+It is private to its defining scope. It takes `database` as [`Database`](bindings.aug.md#symbol-Database) with permission to mutate it during the call, `sql` as a string, and `parameters` as `List<string>`.
+
+It returns `int`. It may change `database`. Failures can raise [`SqliteError`](contracts.aug.md#symbol-SqliteError).
+
+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`). It calls `aug_sqlite_execute_v1` through the C ABI on the caller thread; a blocking native call blocks that thread. `database` lends mutable access for this call. 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-_queryScalar"></a>
+## `_queryScalar` · [source](api.aug#L7)
+
+It is private to its defining scope. It takes `database` as [`Database`](bindings.aug.md#symbol-Database), `sql` as a string, and `parameters` as `List<string>`. It returns `string`. Failures can raise [`SqliteError`](contracts.aug.md#symbol-SqliteError).
+
+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`). It calls `aug_sqlite_scalar_v1` through the C ABI on the caller thread; a blocking native call blocks that thread. `database` lends read access for this call. August copies the returned buffer, then calls `aug_sqlite_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 openMemory"></a>
+## `test openMemory` · [source](api.aug#L28)
+
+Tests [`openMemory`](api.aug.md#symbol-openMemory). Each case gets fresh setup and dependencies.
+
+### `databases`
+
+#### `binds_and_queries` · [source](api.aug#L30)
+
+It gets `database` of type [`Database`](bindings.aug.md#symbol-Database) from [`openMemory`](api.aug.md#symbol-openMemory). `database` of type [`Database`](bindings.aug.md#symbol-Database) owns this value. With temporary permission to change `database`, it calls [`execute`](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`](api.aug.md#symbol-execute) with `database`, `sql` `"INSERT INTO users (name) VALUES (?)"`, and `parameters` from a list containing `"O'Reilly"`. The test requires [`queryScalar`](api.aug.md#symbol-queryScalar) with `database`, `sql` `"SELECT name FROM users"`, and `parameters` from a list with no items equals `"O'Reilly"`.
+
+#### `rejects_connection_and_transaction_control` · [source](api.aug#L36)
+
+It gets `database` of type [`Database`](bindings.aug.md#symbol-Database) from [`openMemory`](api.aug.md#symbol-openMemory). `database` of type [`Database`](bindings.aug.md#symbol-Database) owns this value. For each `statement` in a snapshot of a list containing `"PRAGMA query_only=ON"`, `"BEGIN"`, `"COMMIT"`, `"ROLLBACK"`, `"SAVEPOINT hidden"`, it sets `rejected` to `false`.
+
+It tries to call [`queryScalar`](api.aug.md#symbol-queryScalar) with `database`, `sql` from `statement`, and `parameters` from a list with no items. If this work raises [`SqliteError`](contracts.aug.md#symbol-SqliteError) as `error`, it sets `rejected` to `error.code` equals `23`. The test requires `rejected` is true. After the loop, with temporary permission to change `database`, it calls [`execute`](api.aug.md#symbol-execute) with `database`, `sql` `"CREATE TABLE rows (value TEXT)"`, and `parameters` from a list with no items; then it calls [`execute`](api.aug.md#symbol-execute) with `database`, `sql` `"INSERT INTO rows VALUES (?)"`, and `parameters` from a list containing `"unchanged"`.
+
+The test requires [`queryScalar`](api.aug.md#symbol-queryScalar) with `database`, `sql` `"SELECT value FROM rows"`, and `parameters` from a list with no items equals `"unchanged"`.
+
+## Dependencies
+
+It uses [`Database`](bindings.aug.md#symbol-Database) from `bindings`. It uses [`DatabaseStorage`](contracts.aug.md#symbol-DatabaseStorage) ([`open`](contracts.aug.md#symbol-DatabaseStorage.open)) and [`SqliteError`](contracts.aug.md#symbol-SqliteError) from `contracts`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

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"
+}