@greenpandastudios/aug-cli 0.19.0 → 0.21.0

package/examples/errors/.aug-spec/manifest.json

@@ -4,5 +4,5 @@
     "errors.aug.md",
     "main.aug.md"
   ],
-  "digest": "e6bc24537d7fcd3a30947a5cbe82781aaea07539bf46d6de1c63ad9158e2b8ca"
+  "digest": "ec8bb16fcea84ef665f8cccd5579839b3e98ecb72e0c8e8316574f8ba59fd7a7"
 }

package/examples/errors/errors.aug

@@ -1,4 +1,5 @@
-load(bool fail) returns string unless FileError {
+// aug-spec: "errors.aug.md" explains this file. Read it before changes; refresh with aug spec.
+load(bool fail) {
     if fail {
         throw FileError()
     }

package/examples/errors/errors.aug.md

@@ -1,33 +1,10 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `errors.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`load`](errors.aug.md#symbol-load) is a function returning `string`.
+# `errors.aug`
 
 <a id="symbol-load"></a>
+## `load` · [source](errors.aug#L2)
 
-## `load`
-
-[source](errors.aug#L1)
-
-**Inputs**
-
-- `fail` (`bool`) — required labeled input.
-
-Returns: `string`.
-
-Can fail with `FileError`. Callers must catch or propagate these errors.
-
-**What it does**
-
-- If `fail` is true:
-  - Fail with call `FileError`. Transfer control to a matching catch or propagate the failure.
-- Return `"loaded"`.
-
-## Shared language rules
+It takes `fail` as a boolean. Failures can raise `FileError`.
 
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It checks that `fail` is false. It raises a `FileError` at the first failed check. It returns `"loaded"`.

package/examples/errors/main.aug

@@ -1,3 +1,4 @@
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import load from errors
 try {
     print(value=load(fail=true))

package/examples/errors/main.aug.md

@@ -1,36 +1,13 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `main.aug` specification
+# `main.aug`
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+## Startup
 
-## In this file
+It prints [`load`](errors.aug.md#symbol-load) with `fail` `true`. If this work raises `FileError`, it prints `"caught FileError"`.
 
-- Run startup operations with checked error recovery.
+## Dependencies
 
-## Startup, in source order
+It uses [`load`](errors.aug.md#symbol-load) from `errors`.
 
-- Try these operations:
-  - Call `print` with `value` = call [`load`](errors.aug.md#symbol-load) with `fail` = `true`.
-- If they fail with `FileError`, name the failure `error` and recover:
-  - Call `print` with `value` = `"caught FileError"`.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`load`](errors.aug.md#symbol-load)
-
-Function from `errors`.
-
-- [`load`](errors.aug.md#symbol-load) (`fail`: `bool`) → `string`; can fail with `FileError`.
-
-## Built-in operations used by this file
-
-- `print` (`value`: `any`) → `void`: Composition and test output. Other callables receive Console and declare uses console.write.
-
-[Full built-in reference](https://greenpandastudios.github.io/augscript/language-constructs).
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/ffi/.aug-spec/manifest.json

@@ -4,5 +4,5 @@
     "main.aug.md",
     "native.aug.md"
   ],
-  "digest": "ac4fe999fd7c2342537d4792951167baa3dfe23077d3cba8e742bc1da69b185b"
+  "digest": "534eeae5abeca85bd9d9d122a79e9b07193f94237dbca31e4bc7f52e4d151677"
 }

package/examples/ffi/main.aug

@@ -1,2 +1,3 @@
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import announce from native
 announce()

package/examples/ffi/main.aug.md

@@ -1,27 +1,11 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `main.aug` specification
+# `main.aug`
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+## Startup
 
-## In this file
+It calls [`announce`](native.aug.md#symbol-announce).
 
-- Run 1 other startup step in source order.
+## Dependencies
 
-## Startup, in source order
-
-- Call [`announce`](native.aug.md#symbol-announce).
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`announce`](native.aug.md#symbol-announce)
-
-Function from `native`.
-
-- [`announce`](native.aug.md#symbol-announce) (no caller inputs) → `void`; uses `C.puts`.
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It uses [`announce`](native.aug.md#symbol-announce) from `native`.

package/examples/ffi/native.aug

@@ -1,5 +1,6 @@
+// aug-spec: "native.aug.md" explains this file. Read it before changes; refresh with aug spec.
 extern C puts(string message) returns c_int
-announce() uses C.puts {
+announce() {
     unsafe {
         puts(message="hello from C FFI")
     }

package/examples/ffi/native.aug.md

@@ -1,43 +1,13 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `native.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`puts`](native.aug.md#symbol-puts) is a function returning `c_int`.
-- [`announce`](native.aug.md#symbol-announce) is a function.
+# `native.aug`
 
 <a id="symbol-puts"></a>
+## `puts` · [source](native.aug#L2)
 
-## `puts`
-
-[source](native.aug#L1)
-
-**Inputs**
-
-- `message` (`string`) — required labeled input.
-
-Returns: `c_int`.
-
-Native C operation. Its declared inputs, result, effects, and errors are the visible contract. The C implementation is outside this specification.
+It takes `message` as a string. It returns `c_int`. Native C implementation; only its declared contract is visible here.
 
 <a id="symbol-announce"></a>
+## `announce` · [source](native.aug#L3)
 
-## `announce`
-
-[source](native.aug#L2)
-
-Returns: no value.
-
-Capabilities: `C.puts`.
-
-**What it does**
-
-- Enter an unsafe boundary. Native calls use their declared contracts; their foreign implementation is outside this specification:
-  - Call [`puts`](native.aug.md#symbol-puts) with `message` = `"hello from C FFI"`.
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+Within an unsafe block, it calls [`puts`](native.aug.md#symbol-puts) with `message` `"hello from C FFI"`. Native operations must satisfy their declared C contracts.

package/examples/{approved-design/.aug-spec/august/0.19.0 → generic-di/.aug-spec/august/0.21.0}/io/contracts.aug

@@ -1,4 +1,5 @@
 // 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.
 /** Permission to write to a console, provided by an explicitly selected adapter. */
 capability Console:
     /** Write one line of text. @param value Text to display. */
@@ -21,9 +22,9 @@ capability FileWriter:
 
 /** Native files. Operations are explicit; construction opens no files. */
 LocalFiles() implements FileReader, FileWriter:
-    read(string path) returns string unless FileError:
+    read(string path) :
         return read_file(path=path)
-    write(string path, string content) unless FileError:
+    write(string path, string content) :
         write_file(path=path, content=content)
 
 /** Read command-line input through an explicit dependency. */
@@ -32,5 +33,5 @@ capability Arguments:
 
 /** Native command-line arguments. */
 ProcessArguments() implements Arguments:
-    read() returns List<string>:
+    read() :
         return arguments()

package/examples/generic-di/.aug-spec/august/0.21.0/io/contracts.aug.md

@@ -0,0 +1,82 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `contracts.aug`
+
+<a id="symbol-Console"></a>
+## `Console` · capability interface · [source](contracts.aug#L4)
+
+Permission to write to a console, provided by an explicitly selected adapter.
+
+<a id="symbol-Console.write"></a>
+### `Console.write` · [source](contracts.aug#L6)
+
+Write one line of text. The type parameters are `T`. It takes `value` as `T` (Text to display). It can call [`Console.write`](contracts.aug.md#symbol-Console.write).
+
+<a id="symbol-SystemConsole"></a>
+## `SystemConsole` · class · [source](contracts.aug#L9)
+
+The native standard-output adapter. Construction performs no output. It implements [`Console`](contracts.aug.md#symbol-Console).
+
+<a id="symbol-SystemConsole.write"></a>
+### `SystemConsole.write` · [source](contracts.aug#L10)
+
+Write one line of text. The type parameters are `T`. It takes `value` as `T` (Text to display). It prints `value`.
+
+<a id="symbol-FileReader"></a>
+## `FileReader` · capability interface · [source](contracts.aug#L14)
+
+Read UTF-8 text through an explicitly selected filesystem adapter.
+
+<a id="symbol-FileReader.read"></a>
+### `FileReader.read` · [source](contracts.aug#L16)
+
+Read text. It takes `path` as a string (File path).
+
+It returns `string`. It can call [`FileReader.read`](contracts.aug.md#symbol-FileReader.read). Failures can raise `FileError` (The file could not be read).
+
+<a id="symbol-FileWriter"></a>
+## `FileWriter` · capability interface · [source](contracts.aug#L19)
+
+Write UTF-8 text through an explicitly selected filesystem adapter.
+
+<a id="symbol-FileWriter.write"></a>
+### `FileWriter.write` · [source](contracts.aug#L21)
+
+Write text. It takes `path` as a string (File path) and `content` as a string (Text). It can call [`FileWriter.write`](contracts.aug.md#symbol-FileWriter.write). Failures can raise `FileError` (Writing failed).
+
+<a id="symbol-LocalFiles"></a>
+## `LocalFiles` · class · [source](contracts.aug#L24)
+
+Native files. Operations are explicit; construction opens no files. It implements [`FileReader`](contracts.aug.md#symbol-FileReader) and [`FileWriter`](contracts.aug.md#symbol-FileWriter).
+
+<a id="symbol-LocalFiles.read"></a>
+### `LocalFiles.read` · [source](contracts.aug#L25)
+
+Read text. It takes `path` as a string (File path). Failures can raise `FileError` (The file could not be read). It returns `read_file` with `path`.
+
+<a id="symbol-LocalFiles.write"></a>
+### `LocalFiles.write` · [source](contracts.aug#L27)
+
+Write text. It takes `path` as a string (File path) and `content` as a string (Text). Failures can raise `FileError` (Writing failed). It calls `write_file` with `path` and `content`.
+
+<a id="symbol-Arguments"></a>
+## `Arguments` · capability interface · [source](contracts.aug#L31)
+
+Read command-line input through an explicit dependency.
+
+<a id="symbol-Arguments.read"></a>
+### `Arguments.read` · [source](contracts.aug#L32)
+
+It returns `List<string>`. It can call [`Arguments.read`](contracts.aug.md#symbol-Arguments.read).
+
+<a id="symbol-ProcessArguments"></a>
+## `ProcessArguments` · class · [source](contracts.aug#L35)
+
+Native command-line arguments. It implements [`Arguments`](contracts.aug.md#symbol-Arguments).
+
+<a id="symbol-ProcessArguments.read"></a>
+### `ProcessArguments.read` · [source](contracts.aug#L36)
+
+It returns `arguments`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/generic-di/.aug-spec/manifest.json

@@ -1,10 +1,10 @@
 {
   "format": 1,
   "files": [
-    ".aug-spec/august/0.19.0/io/contracts.aug",
-    ".aug-spec/august/0.19.0/io/contracts.aug.md",
+    ".aug-spec/august/0.21.0/io/contracts.aug",
+    ".aug-spec/august/0.21.0/io/contracts.aug.md",
     "main.aug.md",
     "types.aug.md"
   ],
-  "digest": "b17af6b6608d47ed145c9647c531e9a58d8300656c50b63e31de9574fa62244a"
+  "digest": "c35d712e53007b314341ed8017500a3d47af4489d9e1623931cf0af40a6a8208"
 }

package/examples/generic-di/main.aug

@@ -1,3 +1,4 @@
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console and SystemConsole from august.io
 implement Console with SystemConsole
 import Repository from types

package/examples/generic-di/main.aug.md

@@ -1,49 +1,17 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `main.aug` specification
+# `main.aug`
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+## Providers
 
-## In this file
+`Console` is provided by [`SystemConsole`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-SystemConsole). The same instance is shared. `Repository<int>` is provided by [`NumberRepository`](types.aug.md#symbol-NumberRepository). The same instance is shared.
 
-- Register 3 dependency providers before startup.
-- Run 2 other startup steps in source order.
+`app` is provided by [`Program`](types.aug.md#symbol-Program). The same instance is shared. It requires bindings for `Repository<int>`.
 
-## Dependency providers
+## Startup
 
-Register these providers before startup. Their declaration order does not set initialization order; shared instances initialize in dependency order.
+It sets `program` to the instance provided for `app`. It calls [`program.start`](types.aug.md#symbol-Program.start) using injected `Console` for `console`.
 
-- Provide [`SystemConsole`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-SystemConsole) when `Console` is requested. Reuse one instance.
-- Provide [`NumberRepository`](types.aug.md#symbol-NumberRepository) when `Repository<int>` is requested. Reuse one instance.
-- Provide [`Program`](types.aug.md#symbol-Program) when `app` is requested. Reuse one instance. Required dependencies: `Repository<int>`.
+## Dependencies
 
-## Startup, in source order
-
-- Set `program` to the instance provided for `app`.
-- Call [`Program.start`](types.aug.md#symbol-Program.start) on `program`; inject `console` from `Console`.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`SystemConsole`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-SystemConsole)
-
-Class from `august.io`.
-
-Used as a type or provider.
-
-### [`NumberRepository`](types.aug.md#symbol-NumberRepository)
-
-Class from `types`.
-
-Used as a type or provider.
-
-### [`Program`](types.aug.md#symbol-Program)
-
-Class from `types`.
-
-- [`Program.start`](types.aug.md#symbol-Program.start) (no caller inputs) → `void`; inject `console`: [`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console); uses [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It uses [`SystemConsole`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-SystemConsole) from `august.io`. It uses [`NumberRepository`](types.aug.md#symbol-NumberRepository) and [`Program`](types.aug.md#symbol-Program) ([`start`](types.aug.md#symbol-Program.start)) from `types`.

package/examples/generic-di/types.aug

@@ -1,14 +1,15 @@
+// aug-spec: "types.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 interface Repository<T> {
     get() returns T
 }
 NumberRepository() implements Repository<int> {
-    get() returns int {
+    get() {
         return 7
     }
 }
 Program(resolve Repository<int> repository) implements IProgram {
-    start(resolve Console console) uses Console.write {
+    start(resolve Console console) {
         console.write(value=repository.get())
     }
 }

package/examples/generic-di/types.aug.md

@@ -1,124 +1,45 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `types.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`Repository`](types.aug.md#symbol-Repository) is an interface.
-- [`NumberRepository`](types.aug.md#symbol-NumberRepository) is a class implementing `Repository<int>`.
-- [`Program`](types.aug.md#symbol-Program) is a class implementing `IProgram`.
-- [`IProgram`](types.aug.md#symbol-IProgram) is an interface.
+# `types.aug`
 
 <a id="symbol-Repository"></a>
+## `Repository` · interface · [source](types.aug#L3)
 
-## `Repository`
-
-[source](types.aug#L2)
-
-Interface.
-
-Type parameters: `T`.
+The type parameters are `T`.
 
 <a id="symbol-Repository.get"></a>
+### `Repository.get` · [source](types.aug#L4)
 
-### `Repository.get`
-
-[source](types.aug#L3)
-
-Returns: `T`.
-
-Interface contract. A selected implementation supplies the behavior.
+It returns `T`.
 
 <a id="symbol-NumberRepository"></a>
+## `NumberRepository` · class · [source](types.aug#L6)
 
-## `NumberRepository`
-
-[source](types.aug#L5)
-
-Behavioral class.
-
-Satisfies [`Repository`](types.aug.md#symbol-Repository).
+It implements [`Repository<int>`](types.aug.md#symbol-Repository).
 
 <a id="symbol-NumberRepository.get"></a>
+### `NumberRepository.get` · [source](types.aug#L7)
 
-### `NumberRepository.get`
-
-[source](types.aug#L6)
-
-Returns: `int`.
-
-**What it does**
-
-- Return `7`.
+It returns `7`.
 
 <a id="symbol-Program"></a>
+## `Program` · class · [source](types.aug#L11)
 
-## `Program`
-
-[source](types.aug#L10)
-
-Behavioral class.
-
-Satisfies [`IProgram`](types.aug.md#symbol-IProgram).
-
-**Inputs**
-
-- `repository` ([`Repository<int>`](types.aug.md#symbol-Repository)) — injected; callers omit it — stored as `repository` and read-only after initialization.
+It implements [`IProgram`](types.aug.md#symbol-IProgram). The `repository` dependency is injected as [`Repository<int>`](types.aug.md#symbol-Repository) and stored read-only.
 
 <a id="symbol-Program.start"></a>
+### `Program.start` · [source](types.aug#L12)
 
-### `Program.start`
-
-[source](types.aug#L11)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-**What it does**
-
-- Call [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write) on `console` with `value` = call [`Repository.get`](types.aug.md#symbol-Repository.get) on `repository`.
+It gets `console` ([`Console`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. It passes [`repository.get`](types.aug.md#symbol-Repository.get) to [`console.write`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write).
 
 <a id="symbol-IProgram"></a>
-
-## `IProgram`
-
-[source](types.aug#L15)
-
-Interface.
+## `IProgram` · interface · [source](types.aug#L16)
 
 <a id="symbol-IProgram.start"></a>
+### `IProgram.start` · [source](types.aug#L17)
 
-### `IProgram.start`
-
-[source](types.aug#L16)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-Interface contract. A selected implementation supplies the behavior.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)
-
-Capability interface from `august.io`.
-
-- [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write)<`T`> (`value`: `T`) → `void`.
+It gets `console` ([`Console`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. It can call [`Console.write`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write).
 
-## Shared language rules
+## Dependencies
 
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It uses [`Console`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console) ([`write`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write)) from `august.io`.

package/examples/generics/.aug-spec/manifest.json

@@ -4,5 +4,5 @@
     "main.aug.md",
     "types.aug.md"
   ],
-  "digest": "48c09c80b967fb33cac28f4e8ea6ebfb7ad51c57a08e7e0ded24cc2336c1f7aa"
+  "digest": "65617a65154d387a9b8e4cc9e2bddc27c80ec1bb925397af1386805135004636"
 }

package/examples/generics/main.aug

@@ -1,3 +1,4 @@
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Formatter from types
 import TextFormatter from types
 import Box from types

package/examples/generics/main.aug.md

@@ -1,58 +1,19 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `main.aug` specification
+# `main.aug`
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+## Providers
 
-## In this file
+`Formatter` is provided by [`TextFormatter`](types.aug.md#symbol-TextFormatter). The same instance is shared.
 
-- Register 1 dependency provider before startup.
-- Run 5 other startup steps in source order.
+## Startup
 
-## Dependency providers
+It sets `formatter` to the instance provided for `Formatter`. It prints [`formatter.title`](types.aug.md#symbol-Formatter.title). It prints [`formatter.format`](types.aug.md#symbol-Formatter.format) for `int` with `value` `42`. It sets `box` to a [`Box`](types.aug.md#symbol-Box) for `string` with `value` `"inside a generic box"`.
 
-Register these providers before startup. Their declaration order does not set initialization order; shared instances initialize in dependency order.
+It prints [`box.get`](types.aug.md#symbol-Box.get).
 
-- Provide [`TextFormatter`](types.aug.md#symbol-TextFormatter) when `Formatter` is requested. Reuse one instance.
+## Dependencies
 
-## Startup, in source order
+It uses [`Box`](types.aug.md#symbol-Box) ([`get`](types.aug.md#symbol-Box.get)), [`Formatter`](types.aug.md#symbol-Formatter) ([`format`](types.aug.md#symbol-Formatter.format) and [`title`](types.aug.md#symbol-Formatter.title)), and [`TextFormatter`](types.aug.md#symbol-TextFormatter) from `types`.
 
-- Set `formatter` to the instance provided for `Formatter`.
-- Call `print` with `value` = call [`Formatter.title`](types.aug.md#symbol-Formatter.title) on `formatter`.
-- Call `print` with `value` = call [`Formatter.format`](types.aug.md#symbol-Formatter.format) on `formatter` with type arguments `int` with `value` = `42`.
-- Set `box` to call [`Box`](types.aug.md#symbol-Box) with type arguments `string` with `value` = `"inside a generic box"`.
-- Call `print` with `value` = call [`Box.get`](types.aug.md#symbol-Box.get) on `box`.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`Box`](types.aug.md#symbol-Box)
-
-Class from `types`.
-
-- Construct with `value`: `T` → [`Box`](types.aug.md#symbol-Box).
-- [`Box.get`](types.aug.md#symbol-Box.get) (no caller inputs) → `T`.
-
-### [`Formatter`](types.aug.md#symbol-Formatter)
-
-Interface from `types`.
-
-- [`Formatter.format`](types.aug.md#symbol-Formatter.format)<`T`> (`value`: `T`) → `string`.
-- [`Formatter.title`](types.aug.md#symbol-Formatter.title) (no caller inputs) → `string`.
-
-### [`TextFormatter`](types.aug.md#symbol-TextFormatter)
-
-Class from `types`.
-
-Used as a type or provider.
-
-## Built-in operations used by this file
-
-- `print` (`value`: `any`) → `void`: Composition and test output. Other callables receive Console and declare uses console.write.
-
-[Full built-in reference](https://greenpandastudios.github.io/augscript/language-constructs).
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).