@greenpandastudios/aug-cli 0.20.1 → 0.21.0

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

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

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

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

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

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

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

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

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

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

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

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

package/examples/native-blake3/AGENTS.md

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

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

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

package/examples/native-blake3/hashing.aug

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

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

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

package/examples/native-blake3/main.aug

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

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

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

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

@@ -0,0 +1,18 @@
+{
+  "format": 1,
+  "files": [
+    ".aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/api.aug",
+    ".aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/api.aug.md",
+    ".aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/bindings.aug",
+    ".aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md",
+    ".aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/contracts.aug",
+    ".aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/contracts.aug.md",
+    ".aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/native.abi.json",
+    "main.aug.md",
+    "tensors.aug.md"
+  ],
+  "nativeDescriptors": {
+    ".aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/native.abi.json": "f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5"
+  },
+  "digest": "ce21763c52d4bd78af38c7a85b8dd29521c82ae9b8a112aab03c9cbe8e27e3e7"
+}

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

@@ -0,0 +1,142 @@
+{
+  "format": 1,
+  "profile": "aug-native-abi-1",
+  "resources": [
+    {
+      "module": "bindings",
+      "name": "Tensor",
+      "release": "aug_torch_tensor_release_v1"
+    }
+  ],
+  "functions": [
+    {
+      "module": "api",
+      "name": "_tensor",
+      "symbol": "aug_torch_tensor_from_f64_v1",
+      "params": [
+        {
+          "name": "values",
+          "kind": "f64-list"
+        }
+      ],
+      "result": {
+        "kind": "resource",
+        "resource": "bindings.Tensor"
+      },
+      "error": "contracts.TensorError",
+      "callingConvention": "C",
+      "status": "i32",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    },
+    {
+      "module": "api",
+      "name": "_add",
+      "symbol": "aug_torch_tensor_add_v1",
+      "params": [
+        {
+          "name": "left",
+          "kind": "resource",
+          "resource": "bindings.Tensor",
+          "ownership": "read"
+        },
+        {
+          "name": "right",
+          "kind": "resource",
+          "resource": "bindings.Tensor",
+          "ownership": "read"
+        }
+      ],
+      "result": {
+        "kind": "resource",
+        "resource": "bindings.Tensor"
+      },
+      "error": "contracts.TensorError",
+      "callingConvention": "C",
+      "status": "i32",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    },
+    {
+      "module": "api",
+      "name": "_sum",
+      "symbol": "aug_torch_tensor_sum_v1",
+      "params": [
+        {
+          "name": "tensor",
+          "kind": "resource",
+          "resource": "bindings.Tensor",
+          "ownership": "read"
+        }
+      ],
+      "result": {
+        "kind": "f64"
+      },
+      "error": "contracts.TensorError",
+      "callingConvention": "C",
+      "status": "i32",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    },
+    {
+      "module": "api",
+      "name": "_values",
+      "symbol": "aug_torch_tensor_values_v1",
+      "params": [
+        {
+          "name": "tensor",
+          "kind": "resource",
+          "resource": "bindings.Tensor",
+          "ownership": "read"
+        }
+      ],
+      "result": {
+        "kind": "f64-list",
+        "release": "aug_torch_values_release_v1"
+      },
+      "error": "contracts.TensorError",
+      "callingConvention": "C",
+      "status": "i32",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    },
+    {
+      "module": "api",
+      "name": "_liveTensors",
+      "symbol": "aug_probe_live_tensors_v1",
+      "params": [],
+      "result": {
+        "kind": "i64"
+      },
+      "callingConvention": "C",
+      "status": "direct",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    },
+    {
+      "module": "api",
+      "name": "_liveBuffers",
+      "symbol": "aug_probe_live_buffers_v1",
+      "params": [],
+      "result": {
+        "kind": "i64"
+      },
+      "callingConvention": "C",
+      "status": "direct",
+      "uses": [],
+      "changes": [],
+      "thread": "caller",
+      "retainsInputs": false
+    }
+  ]
+}