@greenpandastudios/aug-cli 0.20.1 → 0.21.0

package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.3/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
+    }
+  ]
+}

package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/api.aug

@@ -0,0 +1,101 @@
+// 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 Tensor from bindings
+import TensorError from contracts
+extern C _tensor(List<float> values) returns own Tensor unless TensorError
+extern C _add(Tensor left, Tensor right) returns own Tensor unless TensorError
+extern C _sum(Tensor tensor) returns float unless TensorError
+extern C _values(Tensor tensor) returns List<float> unless TensorError
+/** Copy a list of float64 values into a CPU tensor. */
+tensor(List<float> values) returns own Tensor:
+    unsafe:
+        return _tensor(values)
+/** Add tensors without changing either input. */
+add(Tensor left, Tensor right) returns own Tensor:
+    unsafe:
+        return _add(left, right)
+/** Sum every element. */
+sum(Tensor tensor) returns float:
+    unsafe:
+        return _sum(tensor)
+/** Copy tensor values into an August list. */
+values(Tensor tensor) returns List<float>:
+    unsafe:
+        return _values(tensor)
+
+extern C _liveTensors() returns int
+extern C _liveBuffers() returns int
+
+_consumeAndFail(own Tensor value) unless TensorError:
+    throw TensorError(code=99, message="expected cleanup test")
+
+interface _TensorContainer:
+    total() returns float unless TensorError
+_TensorHolder(mutable own Tensor item) implements _TensorContainer:
+    total() returns float:
+        return sum(tensor=item)
+_replace(borrow _TensorHolder holder, own Tensor replacement):
+    holder.item = replacement
+
+
+test tensor:
+    when cpu:
+        it adds_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)
+            assert(sum(tensor=result) == 21.0)
+            List<float> output = values(tensor=result)
+            assert(output.length() == 3)
+
+    when ownership:
+        it transfers_into_a_field_and_releases_the_old_tensor:
+            int before = 0
+            unsafe:
+                before = _liveTensors()
+            scope:
+                own Tensor initial = tensor(values=[1.0])
+                own _TensorHolder holder = _TensorHolder(item=initial)
+                own Tensor replacement = tensor(values=[7.0])
+                borrow holder:
+                    _replace(holder, replacement)
+                assert(holder.total() == 7.0)
+                unsafe:
+                    assert(_liveTensors() == before + 1)
+            unsafe:
+                assert(_liveTensors() == before)
+        it preserves_native_error_methods:
+            bool caught = false
+            own Tensor left = tensor(values=[1.0, 2.0])
+            own Tensor right = tensor(values=[1.0, 2.0, 3.0])
+            try:
+                add(left, right)
+            catch TensorError error:
+                caught = error.explain().length() > 0
+            assert(caught)
+        it releases_a_transferred_tensor_when_the_callee_fails:
+            int before = 0
+            unsafe:
+                before = _liveTensors()
+            bool caught = false
+            try:
+                own Tensor value = tensor(values=[1.0])
+                _consumeAndFail(value)
+            catch TensorError error:
+                caught = error.code == 99
+            assert(caught)
+            unsafe:
+                assert(_liveTensors() == before)
+                assert(_liveBuffers() == 0)
+        it releases_scoped_and_unused_results:
+            int before = 0
+            unsafe:
+                before = _liveTensors()
+            scope:
+                own Tensor value = tensor(values=[2.0])
+                List<float> output = values(tensor=value)
+                assert(output.get(index=0) == 2.0)
+            tensor(values=[3.0])
+            unsafe:
+                assert(_liveTensors() == before)
+                assert(_liveBuffers() == 0)

package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/api.aug.md

@@ -0,0 +1,160 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `api.aug`
+
+<a id="symbol-tensor"></a>
+## `tensor` · [source](api.aug#L10)
+
+Copy a list of float64 values into a CPU tensor. It takes `values` as `List<float>`. It returns ownership of [`Tensor`](bindings.aug.md#symbol-Tensor). Failures can raise [`TensorError`](contracts.aug.md#symbol-TensorError).
+
+Within an unsafe block, it returns [`_tensor`](api.aug.md#symbol-_tensor) with `values`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-add"></a>
+## `add` · [source](api.aug#L14)
+
+Add tensors without changing either input. It takes `left` and `right` as [`Tensor`](bindings.aug.md#symbol-Tensor). It returns ownership of [`Tensor`](bindings.aug.md#symbol-Tensor). Failures can raise [`TensorError`](contracts.aug.md#symbol-TensorError).
+
+Within an unsafe block, it returns [`_add`](api.aug.md#symbol-_add) with `left` and `right`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-sum"></a>
+## `sum` · [source](api.aug#L18)
+
+Sum every element. It takes `tensor` as [`Tensor`](bindings.aug.md#symbol-Tensor). Failures can raise [`TensorError`](contracts.aug.md#symbol-TensorError).
+
+Within an unsafe block, it returns [`_sum`](api.aug.md#symbol-_sum) with `tensor`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-values"></a>
+## `values` · [source](api.aug#L22)
+
+Copy tensor values into an August list. It takes `tensor` as [`Tensor`](bindings.aug.md#symbol-Tensor). Failures can raise [`TensorError`](contracts.aug.md#symbol-TensorError).
+
+Within an unsafe block, it returns [`_values`](api.aug.md#symbol-_values) with `tensor`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-_tensor"></a>
+## `_tensor` · [source](api.aug#L5)
+
+It is private to its defining scope. It takes `values` as `List<float>`. It returns ownership of [`Tensor`](bindings.aug.md#symbol-Tensor). Failures can raise [`TensorError`](contracts.aug.md#symbol-TensorError).
+
+Native implementation: `@greenpandastudios/aug-pytorch@0.1.4`, `2.14.1`. Supported targets: linux arm64 glibc 2.36+ itanium-cxx11, linux x64 glibc 2.36+ itanium-cxx11, macos arm64 14.0+ apple-libc++. Binding contract: [`native.abi.json`](native.abi.json) (SHA-256 `f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5`). It calls `aug_torch_tensor_from_f64_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-_add"></a>
+## `_add` · [source](api.aug#L6)
+
+It is private to its defining scope. It takes `left` and `right` as [`Tensor`](bindings.aug.md#symbol-Tensor). It returns ownership of [`Tensor`](bindings.aug.md#symbol-Tensor). Failures can raise [`TensorError`](contracts.aug.md#symbol-TensorError).
+
+Native implementation: `@greenpandastudios/aug-pytorch@0.1.4`, `2.14.1`. Supported targets: linux arm64 glibc 2.36+ itanium-cxx11, linux x64 glibc 2.36+ itanium-cxx11, macos arm64 14.0+ apple-libc++. Binding contract: [`native.abi.json`](native.abi.json) (SHA-256 `f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5`). It calls `aug_torch_tensor_add_v1` through the C ABI on the caller thread; a blocking native call blocks that thread. `left` lends read access for this call; `right` lends read access for this call. 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-_sum"></a>
+## `_sum` · [source](api.aug#L7)
+
+It is private to its defining scope. It takes `tensor` as [`Tensor`](bindings.aug.md#symbol-Tensor). It returns `float`. Failures can raise [`TensorError`](contracts.aug.md#symbol-TensorError).
+
+Native implementation: `@greenpandastudios/aug-pytorch@0.1.4`, `2.14.1`. Supported targets: linux arm64 glibc 2.36+ itanium-cxx11, linux x64 glibc 2.36+ itanium-cxx11, macos arm64 14.0+ apple-libc++. Binding contract: [`native.abi.json`](native.abi.json) (SHA-256 `f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5`). It calls `aug_torch_tensor_sum_v1` through the C ABI on the caller thread; a blocking native call blocks that thread. `tensor` lends read 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-_values"></a>
+## `_values` · [source](api.aug#L8)
+
+It is private to its defining scope. It takes `tensor` as [`Tensor`](bindings.aug.md#symbol-Tensor). It returns `List<float>`. Failures can raise [`TensorError`](contracts.aug.md#symbol-TensorError).
+
+Native implementation: `@greenpandastudios/aug-pytorch@0.1.4`, `2.14.1`. Supported targets: linux arm64 glibc 2.36+ itanium-cxx11, linux x64 glibc 2.36+ itanium-cxx11, macos arm64 14.0+ apple-libc++. Binding contract: [`native.abi.json`](native.abi.json) (SHA-256 `f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5`). It calls `aug_torch_tensor_values_v1` through the C ABI on the caller thread; a blocking native call blocks that thread. `tensor` lends read access for this call. August copies the returned buffer, then calls `aug_torch_values_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-_liveTensors"></a>
+## `_liveTensors` · [source](api.aug#L26)
+
+It is private to its defining scope. It returns `int`.
+
+Native implementation: `@greenpandastudios/aug-pytorch@0.1.4`, `2.14.1`. Supported targets: linux arm64 glibc 2.36+ itanium-cxx11, linux x64 glibc 2.36+ itanium-cxx11, macos arm64 14.0+ apple-libc++. Binding contract: [`native.abi.json`](native.abi.json) (SHA-256 `f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5`). It calls `aug_probe_live_tensors_v1` through the C ABI on the caller thread; a blocking native call blocks that thread. 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-_liveBuffers"></a>
+## `_liveBuffers` · [source](api.aug#L27)
+
+It is private to its defining scope. It returns `int`.
+
+Native implementation: `@greenpandastudios/aug-pytorch@0.1.4`, `2.14.1`. Supported targets: linux arm64 glibc 2.36+ itanium-cxx11, linux x64 glibc 2.36+ itanium-cxx11, macos arm64 14.0+ apple-libc++. Binding contract: [`native.abi.json`](native.abi.json) (SHA-256 `f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5`). It calls `aug_probe_live_buffers_v1` through the C ABI on the caller thread; a blocking native call blocks that thread. 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-_consumeAndFail"></a>
+## `_consumeAndFail` · [source](api.aug#L29)
+
+It is private to its defining scope. It takes `value` as [`Tensor`](bindings.aug.md#symbol-Tensor) with ownership transferred. Failures can raise [`TensorError`](contracts.aug.md#symbol-TensorError). It raises a [`TensorError`](contracts.aug.md#symbol-TensorError) with `code` `99` and `message` `"expected cleanup test"`.
+
+<a id="symbol-_TensorContainer"></a>
+## `_TensorContainer` · interface · [source](api.aug#L32)
+
+It is private to this file.
+
+<a id="symbol-_TensorContainer.total"></a>
+### `_TensorContainer.total` · [source](api.aug#L33)
+
+It returns `float`. Failures can raise [`TensorError`](contracts.aug.md#symbol-TensorError).
+
+<a id="symbol-_TensorHolder"></a>
+## `_TensorHolder` · class · [source](api.aug#L34)
+
+It implements [`_TensorContainer`](api.aug.md#symbol-_TensorContainer). It is private to this file. It takes `item` as [`Tensor`](bindings.aug.md#symbol-Tensor) with ownership transferred, kept mutable.
+
+<a id="symbol-_TensorHolder.total"></a>
+### `_TensorHolder.total` · [source](api.aug#L35)
+
+Failures can raise [`TensorError`](contracts.aug.md#symbol-TensorError). It returns [`sum`](api.aug.md#symbol-sum) with `tensor` from `item`.
+
+<a id="symbol-_replace"></a>
+## `_replace` · [source](api.aug#L37)
+
+It is private to its defining scope. It takes `holder` as [`_TensorHolder`](api.aug.md#symbol-_TensorHolder) with permission to mutate it during the call and `replacement` as [`Tensor`](bindings.aug.md#symbol-Tensor) with ownership transferred. It may change `holder`. It sets `holder.item` to `replacement`.
+
+<a id="symbol-test tensor"></a>
+## `test tensor` · [source](api.aug#L41)
+
+Tests [`tensor`](api.aug.md#symbol-tensor). Each case gets fresh setup and dependencies.
+
+### `cpu`
+
+#### `adds_real_tensors` · [source](api.aug#L43)
+
+It sets `left` of type [`Tensor`](bindings.aug.md#symbol-Tensor) to [`tensor`](api.aug.md#symbol-tensor) with `values` from a list containing `1.0`, `2.0`, `3.0`. `left` of type [`Tensor`](bindings.aug.md#symbol-Tensor) owns this value. It sets `right` of type [`Tensor`](bindings.aug.md#symbol-Tensor) to [`tensor`](api.aug.md#symbol-tensor) with `values` from a list containing `4.0`, `5.0`, `6.0`. `right` of type [`Tensor`](bindings.aug.md#symbol-Tensor) owns this value.
+
+It sets `result` of type [`Tensor`](bindings.aug.md#symbol-Tensor) to [`add`](api.aug.md#symbol-add) with `left` and `right`. `result` of type [`Tensor`](bindings.aug.md#symbol-Tensor) owns this value. The test requires [`sum`](api.aug.md#symbol-sum) with `tensor` from `result` equals `21.0`. It sets `output` of type `List<float>` to [`values`](api.aug.md#symbol-values) with `tensor` from `result`.
+
+The test requires `output.length` equals `3`.
+
+### `ownership`
+
+#### `transfers_into_a_field_and_releases_the_old_tensor` · [source](api.aug#L52)
+
+It sets `before` to `0`. Within an unsafe block, it gets `before` from [`_liveTensors`](api.aug.md#symbol-_liveTensors). Native operations must satisfy their declared C contracts. Within a task and ownership scope, it sets `initial` of type [`Tensor`](bindings.aug.md#symbol-Tensor) to [`tensor`](api.aug.md#symbol-tensor) with `values` from a list containing `1.0`.
+
+`initial` of type [`Tensor`](bindings.aug.md#symbol-Tensor) owns this value. It sets `holder` of type [`_TensorHolder`](api.aug.md#symbol-_TensorHolder) to a [`_TensorHolder`](api.aug.md#symbol-_TensorHolder) with `item` from `initial`. `holder` of type [`_TensorHolder`](api.aug.md#symbol-_TensorHolder) owns this value. It sets `replacement` of type [`Tensor`](bindings.aug.md#symbol-Tensor) to [`tensor`](api.aug.md#symbol-tensor) with `values` from a list containing `7.0`.
+
+`replacement` of type [`Tensor`](bindings.aug.md#symbol-Tensor) owns this value. With temporary permission to change `holder`, it calls [`_replace`](api.aug.md#symbol-_replace) with `holder` and `replacement`. The test requires [`holder.total`](api.aug.md#symbol-_TensorHolder.total) equals `7.0`. Within an unsafe block, the test requires [`_liveTensors`](api.aug.md#symbol-_liveTensors) equals (`before` plus `1`).
+
+Native operations must satisfy their declared C contracts. On leaving this scope, join its child tasks and release its local values. Within an unsafe block, the test requires [`_liveTensors`](api.aug.md#symbol-_liveTensors) equals `before`. Native operations must satisfy their declared C contracts.
+
+#### `preserves_native_error_methods` · [source](api.aug#L67)
+
+It sets `caught` to `false`. It sets `left` of type [`Tensor`](bindings.aug.md#symbol-Tensor) to [`tensor`](api.aug.md#symbol-tensor) with `values` from a list containing `1.0`, `2.0`. `left` of type [`Tensor`](bindings.aug.md#symbol-Tensor) owns this value. It sets `right` of type [`Tensor`](bindings.aug.md#symbol-Tensor) to [`tensor`](api.aug.md#symbol-tensor) with `values` from a list containing `1.0`, `2.0`, `3.0`.
+
+`right` of type [`Tensor`](bindings.aug.md#symbol-Tensor) owns this value.
+
+It tries to call [`add`](api.aug.md#symbol-add) with `left` and `right`. If this work raises [`TensorError`](contracts.aug.md#symbol-TensorError) as `error`, it sets `caught` to `length` on `error.explain` is positive. The test requires `caught` is true.
+
+#### `releases_a_transferred_tensor_when_the_callee_fails` · [source](api.aug#L76)
+
+It sets `before` to `0`. Within an unsafe block, it gets `before` from [`_liveTensors`](api.aug.md#symbol-_liveTensors). Native operations must satisfy their declared C contracts. It sets `caught` to `false`.
+
+It sets `value` of type [`Tensor`](bindings.aug.md#symbol-Tensor) to [`tensor`](api.aug.md#symbol-tensor) with `values` from a list containing `1.0`. `value` of type [`Tensor`](bindings.aug.md#symbol-Tensor) owns this value. It calls [`_consumeAndFail`](api.aug.md#symbol-_consumeAndFail) with `value`. If this work raises [`TensorError`](contracts.aug.md#symbol-TensorError) as `error`, it sets `caught` to `error.code` equals `99`.
+
+The test requires `caught` is true. Within an unsafe block, the test requires [`_liveTensors`](api.aug.md#symbol-_liveTensors) equals `before`; then the test requires [`_liveBuffers`](api.aug.md#symbol-_liveBuffers) equals `0`. Native operations must satisfy their declared C contracts.
+
+#### `releases_scoped_and_unused_results` · [source](api.aug#L90)
+
+It sets `before` to `0`. Within an unsafe block, it gets `before` from [`_liveTensors`](api.aug.md#symbol-_liveTensors). Native operations must satisfy their declared C contracts. Within a task and ownership scope, it sets `value` of type [`Tensor`](bindings.aug.md#symbol-Tensor) to [`tensor`](api.aug.md#symbol-tensor) with `values` from a list containing `2.0`.
+
+`value` of type [`Tensor`](bindings.aug.md#symbol-Tensor) owns this value. It sets `output` of type `List<float>` to [`values`](api.aug.md#symbol-values) with `tensor` from `value`. The test requires `output.get` with `index` `0` equals `2.0`. On leaving this scope, join its child tasks and release its local values.
+
+It calls [`tensor`](api.aug.md#symbol-tensor) with `values` from a list containing `3.0`. Within an unsafe block, the test requires [`_liveTensors`](api.aug.md#symbol-_liveTensors) equals `before`; then the test requires [`_liveBuffers`](api.aug.md#symbol-_liveBuffers) equals `0`. Native operations must satisfy their declared C contracts.
+
+## Dependencies
+
+It uses [`Tensor`](bindings.aug.md#symbol-Tensor) from `bindings`. It uses [`TensorError`](contracts.aug.md#symbol-TensorError) from `contracts`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/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 Tensor

package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md

@@ -0,0 +1,8 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `bindings.aug`
+
+<a id="symbol-Tensor"></a>
+## `Tensor` · native resource · [source](bindings.aug#L3)
+
+Native implementation: `@greenpandastudios/aug-pytorch@0.1.4`, `2.14.1`. Supported targets: linux arm64 glibc 2.36+ itanium-cxx11, linux x64 glibc 2.36+ itanium-cxx11, macos arm64 14.0+ apple-libc++. Binding contract: [`native.abi.json`](native.abi.json) (SHA-256 `f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5`). An owned value releases its opaque handle through `aug_torch_tensor_release_v1` when its scope ends, including error and return paths.

package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/contracts.aug

@@ -0,0 +1,6 @@
+// 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.
+TensorError(int code, string message) implements Error:
+    /** Explain the native failure without losing its original message. */
+    explain() returns string:
+        return message

package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/contracts.aug.md

@@ -0,0 +1,13 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `contracts.aug`
+
+<a id="symbol-TensorError"></a>
+## `TensorError` · 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.
+
+<a id="symbol-TensorError.explain"></a>
+### `TensorError.explain` · [source](contracts.aug#L5)
+
+Explain the native failure without losing its original message. It returns `message`.

package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/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
+    }
+  ]
+}

package/examples/native-pytorch/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 CPU LibTorch through a tagged public package. Keep dependency versions and native ownership 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.