@greenpandastudios/aug-cli 0.20.1 → 0.21.0

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

@@ -0,0 +1,309 @@
+{
+  "format": 1,
+  "compiler": "0.21.0",
+  "specifications": {
+    "url_db404a9d2d69617ca3ed": "https://github.com/GreenPandaStudios/aug-pytorch#v0.1.4"
+  },
+  "roots": {
+    "url_db404a9d2d69617ca3ed": "packages/url_db404a9d2d69617ca3ed"
+  },
+  "npm": {},
+  "git": [
+    {
+      "request": "https://github.com/GreenPandaStudios/aug-pytorch#v0.1.4",
+      "repository": "https://github.com/GreenPandaStudios/aug-pytorch.git",
+      "revision": "v0.1.4",
+      "folder": "",
+      "commit": "345c975b74a892ba1e0534503917e937dace6b87"
+    }
+  ],
+  "packages": [
+    {
+      "path": "packages/url_db404a9d2d69617ca3ed",
+      "name": "@greenpandastudios/aug-pytorch",
+      "version": "0.1.4",
+      "source": "src",
+      "digest": "4cf9a1763ba0a2c5fa3da6a47c13b39f0872952060e87f7692f5dad20417472a",
+      "dependencies": {},
+      "native": {
+        "profile": "aug-native-abi-1",
+        "bindings": "native.abi.json",
+        "bindingsSha256": "f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5",
+        "upstream": {
+          "repository": "https://github.com/pytorch/pytorch",
+          "version": "2.14.1",
+          "sourceRevision": "5c4886908584029761b579af026dcfb627c84070"
+        },
+        "artifacts": [
+          {
+            "id": "linux-arm64",
+            "target": {
+              "triple": "aarch64-unknown-linux-gnu",
+              "os": "linux",
+              "arch": "arm64",
+              "minimumLibc": "2.36",
+              "cpuBaseline": "armv8-a",
+              "libc": "glibc",
+              "cxxRuntime": "bundled-libstdc++",
+              "cxxABI": "itanium-cxx11",
+              "features": [
+                "cpu",
+                "float64"
+              ]
+            },
+            "url": "https://github.com/GreenPandaStudios/aug-pytorch/releases/download/v0.1.4/native-linux-arm64.tar.gz",
+            "sha256": "8eb7c5e30635949228548208bda1ac0a7c42801d2299a90ea4d4c2064e700573",
+            "maximumDownloadBytes": 205707311,
+            "maximumUnpackedBytes": 443080682,
+            "link": {
+              "kind": "dynamic",
+              "libraries": [
+                "lib/libaug_torch.so.1"
+              ]
+            },
+            "runtime": {
+              "files": [
+                "lib/libarm_compute.so",
+                "lib/libarm_compute_graph.so",
+                "lib/libaug_torch.so.1",
+                "lib/libc10.so",
+                "lib/libgcc_s.so.1",
+                "lib/libgfortran.so.5",
+                "lib/libgomp.so.1",
+                "lib/libopenblas.so.0",
+                "lib/libstdc++.so.6",
+                "lib/libtorch_cpu.so",
+                "lib/libz.so.1"
+              ],
+              "closureManifest": "runtime-files.json",
+              "relocation": "loader-relative"
+            },
+            "components": [
+              {
+                "id": "https://github.com/pytorch/pytorch",
+                "version": "2.14.1",
+                "compatibilityKey": "aug-pytorch-runtime",
+                "linkage": "dynamic",
+                "required": true
+              },
+              {
+                "id": "gcc-runtime",
+                "version": "12.2.0-14+deb12u1",
+                "compatibilityKey": "gcc-runtime",
+                "linkage": "dynamic",
+                "required": true
+              },
+              {
+                "id": "arm-compute",
+                "version": "53.2.0",
+                "compatibilityKey": "arm-compute",
+                "linkage": "dynamic",
+                "required": true
+              },
+              {
+                "id": "openblas",
+                "version": "0.3.34",
+                "compatibilityKey": "openblas",
+                "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",
+              "cxxRuntime": "bundled-libstdc++",
+              "cxxABI": "itanium-cxx11",
+              "features": [
+                "cpu",
+                "float64"
+              ]
+            },
+            "url": "https://github.com/GreenPandaStudios/aug-pytorch/releases/download/v0.1.4/native-linux-x64.tar.gz",
+            "sha256": "e39d75858c158af03bae161d54b3a267b4fcf3dc4568be6467df72e472793f7b",
+            "maximumDownloadBytes": 207516626,
+            "maximumUnpackedBytes": 535024433,
+            "link": {
+              "kind": "dynamic",
+              "libraries": [
+                "lib/libaug_torch.so.1"
+              ]
+            },
+            "runtime": {
+              "files": [
+                "lib/libaug_torch.so.1",
+                "lib/libc10.so",
+                "lib/libgcc_s.so.1",
+                "lib/libgomp.so.1",
+                "lib/libstdc++.so.6",
+                "lib/libtorch_cpu.so"
+              ],
+              "closureManifest": "runtime-files.json",
+              "relocation": "loader-relative"
+            },
+            "components": [
+              {
+                "id": "https://github.com/pytorch/pytorch",
+                "version": "2.14.1",
+                "compatibilityKey": "aug-pytorch-runtime",
+                "linkage": "dynamic",
+                "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",
+              "cxxRuntime": "system-libc++",
+              "cxxABI": "apple-libc++",
+              "features": [
+                "cpu",
+                "float64"
+              ]
+            },
+            "url": "https://github.com/GreenPandaStudios/aug-pytorch/releases/download/v0.1.4/native-macos-arm64.tar.gz",
+            "sha256": "a130f4a67b574456e5eb0538dc099cb99e5356fdb47ebd4926da6f9b65ccb1e1",
+            "maximumDownloadBytes": 92487957,
+            "maximumUnpackedBytes": 388370911,
+            "link": {
+              "kind": "dynamic",
+              "libraries": [
+                "lib/libaug_torch.1.dylib"
+              ]
+            },
+            "runtime": {
+              "files": [
+                "lib/libaug_torch.1.dylib",
+                "lib/libc10.dylib",
+                "lib/libomp.dylib",
+                "lib/libtorch_cpu.dylib"
+              ],
+              "closureManifest": "runtime-files.json",
+              "relocation": "loader-relative"
+            },
+            "components": [
+              {
+                "id": "https://github.com/pytorch/pytorch",
+                "version": "2.14.1",
+                "compatibilityKey": "aug-pytorch-runtime",
+                "linkage": "dynamic",
+                "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-pytorch@0.1.4",
+            "sourceDigest": "4cf9a1763ba0a2c5fa3da6a47c13b39f0872952060e87f7692f5dad20417472a",
+            "sourceCommit": "345c975b74a892ba1e0534503917e937dace6b87",
+            "contractSha256": "f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5",
+            "artifact": {
+              "id": "macos-arm64",
+              "target": {
+                "triple": "aarch64-apple-darwin",
+                "os": "macos",
+                "arch": "arm64",
+                "minimumOS": "14.0",
+                "cpuBaseline": "armv8-a",
+                "libc": "libSystem",
+                "cxxRuntime": "system-libc++",
+                "cxxABI": "apple-libc++",
+                "features": [
+                  "cpu",
+                  "float64"
+                ]
+              },
+              "url": "https://github.com/GreenPandaStudios/aug-pytorch/releases/download/v0.1.4/native-macos-arm64.tar.gz",
+              "sha256": "a130f4a67b574456e5eb0538dc099cb99e5356fdb47ebd4926da6f9b65ccb1e1",
+              "maximumDownloadBytes": 92487957,
+              "maximumUnpackedBytes": 388370911,
+              "link": {
+                "kind": "dynamic",
+                "libraries": [
+                  "lib/libaug_torch.1.dylib"
+                ]
+              },
+              "runtime": {
+                "files": [
+                  "lib/libaug_torch.1.dylib",
+                  "lib/libc10.dylib",
+                  "lib/libomp.dylib",
+                  "lib/libtorch_cpu.dylib"
+                ],
+                "closureManifest": "runtime-files.json",
+                "relocation": "loader-relative"
+              },
+              "components": [
+                {
+                  "id": "https://github.com/pytorch/pytorch",
+                  "version": "2.14.1",
+                  "compatibilityKey": "aug-pytorch-runtime",
+                  "linkage": "dynamic",
+                  "required": true
+                }
+              ],
+              "fileManifest": "files.json",
+              "provenance": "provenance.json",
+              "notices": "THIRD_PARTY_NOTICES.md"
+            }
+          }
+        ]
+      }
+    }
+  }
+}

package/examples/native-pytorch/main.aug

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

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

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

package/examples/native-pytorch/tensors.aug

@@ -0,0 +1,23 @@
+// aug-spec: "tensors.aug.md" explains this file. Read it before changes; refresh with aug spec.
+import Tensor and TensorError and tensor and add and sum and values from "https://github.com/GreenPandaStudios/aug-pytorch#v0.1.4"
+
+/** Add two CPU tensors using LibTorch and return the sum of their elements. */
+calculate() returns float unless TensorError:
+    own Tensor left = tensor(values=[1.0, 2.0, 3.0])
+    own Tensor right = tensor(values=[4.0, 5.0, 6.0])
+    own Tensor result = add(left, right)
+    return sum(tensor=result)
+
+test calculate:
+    when cpu:
+        it adds_and_reads_real_tensors:
+            own Tensor left = tensor(values=[1.0, 2.0, 3.0])
+            own Tensor right = tensor(values=[4.0, 5.0, 6.0])
+            own Tensor result = add(left, right)
+            List<float> output = values(tensor=result)
+            assert(output.length() == 3)
+            assert(output.get(index=0) == 5.0)
+            assert(output.get(index=1) == 7.0)
+            assert(output.get(index=2) == 9.0)
+            assert(sum(tensor=result) == 21.0)
+            assert(calculate() == 21.0)

package/examples/native-pytorch/tensors.aug.md

@@ -0,0 +1,35 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `tensors.aug`
+
+<a id="symbol-calculate"></a>
+## `calculate` · [source](tensors.aug#L5)
+
+Add two CPU tensors using LibTorch and return the sum of their elements. Failures can raise [`TensorError`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/contracts.aug.md#symbol-TensorError).
+
+It sets `left` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-tensor) with `values` from a list containing `1.0`, `2.0`, `3.0`. `left` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value. It sets `right` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-tensor) with `values` from a list containing `4.0`, `5.0`, `6.0`. `right` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value.
+
+It sets `result` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`add`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-add) with `left` and `right`. `result` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value. It returns [`sum`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-sum) with `tensor` from `result`.
+
+<a id="symbol-test calculate"></a>
+## `test calculate` · [source](tensors.aug#L11)
+
+Tests [`calculate`](tensors.aug.md#symbol-calculate). Each case gets fresh setup and dependencies.
+
+### `cpu`
+
+#### `adds_and_reads_real_tensors` · [source](tensors.aug#L13)
+
+It sets `left` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-tensor) with `values` from a list containing `1.0`, `2.0`, `3.0`. `left` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value. It sets `right` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-tensor) with `values` from a list containing `4.0`, `5.0`, `6.0`. `right` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value.
+
+It sets `result` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`add`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-add) with `left` and `right`. `result` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value. It sets `output` of type `List<float>` to [`values`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-values) with `tensor` from `result`. The test requires the number of elements in `output` equals `3`.
+
+The test requires the item at index `0` in `output` equals `5.0`. The test requires the item at index `1` in `output` equals `7.0`. The test requires the item at index `2` in `output` equals `9.0`. The test requires [`sum`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-sum) with `tensor` from `result` equals `21.0`.
+
+The test requires [`calculate`](tensors.aug.md#symbol-calculate) equals `21.0`.
+
+## Dependencies
+
+It uses [`add`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-add), [`sum`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-sum), [`tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-tensor), [`values`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-values), [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor), and [`TensorError`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/contracts.aug.md#symbol-TensorError) from `https://github.com/GreenPandaStudios/aug-pytorch#v0.1.4`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

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

@@ -0,0 +1,18 @@
+{
+  "format": 1,
+  "files": [
+    ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/api.aug",
+    ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/api.aug.md",
+    ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.aug",
+    ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.aug.md",
+    ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/contracts.aug",
+    ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/contracts.aug.md",
+    ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/native.abi.json",
+    "database.aug.md",
+    "main.aug.md"
+  ],
+  "nativeDescriptors": {
+    ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/native.abi.json": "3c75c2925c85f1b83db06ee00fa04f1d2d37c9fd6edca0d074ce89b4647ffffb"
+  },
+  "digest": "ed7a20db7ca07240f85a285f7e52186ec864cb5fbeb2904ef19ab3f97140fa39"
+}

package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.2/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/.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).