@greenpandastudios/aug-cli 0.19.0

package/docs/examples/oidc-login/provider/userinfo.md

@@ -0,0 +1,228 @@
+---
+title: "provider/userinfo.aug · OpenID Connect login application"
+generated: true
+source: "examples/oidc-login/provider/userinfo.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+pageClass: aug-example-page
+---
+
+# `provider/userinfo.aug`
+
+[OpenID Connect login application](../index.md) · Source and specification
+
+::: details Files in this project
+
+- [`main.aug`](../main.md)
+- [`client/contracts.aug`](../client/contracts.md)
+- [`client/endpoints.aug`](../client/endpoints.md)
+- [`client/export.aug`](../client/export.md)
+- [`client/login.aug`](../client/login.md)
+- [`client/logout.aug`](../client/logout.md)
+- [`client/protocol.aug`](../client/protocol.md)
+- [`client/session.aug`](../client/session.md)
+- [`client/views.aug`](../client/views.md)
+- [`common/export.aug`](../common/export.md)
+- [`common/headers.aug`](../common/headers.md)
+- [`common/keys.aug`](../common/keys.md)
+- [`common/settings.aug`](../common/settings.md)
+- [`common/views.aug`](../common/views.md)
+- [`provider/authorization.aug`](authorization.md)
+- [`provider/contracts.aug`](contracts.md)
+- [`provider/credentials.aug`](credentials.md)
+- [`provider/discovery.aug`](discovery.md)
+- [`provider/export.aug`](export.md)
+- [`provider/token.aug`](token.md)
+- [`provider/userinfo.aug`](userinfo.md)
+- [`provider/views.aug`](views.md)
+
+:::
+
+::::: example-compare
+
+:::: example-code
+
+## Code {#code}
+
+::: code-group
+
+```aug [Indentation]
+import UserInfo and AccessGrant from contracts
+import securityHeaders from common
+import Clock from august.time
+import ExpiringStore from august.memory
+/** The opaque access token is valid only at this provider. Missing, expired and malformed credentials receive the same response. */
+endpoint GET "/provider/userinfo" as userinfo(optional string authorization from header, resolve Clock clock, resolve ExpiringStore<AccessGrant> access) returns HttpResponse<Json> uses clock.now and access.get unless TimeError and HttpError:
+    match authorization:
+        when null:
+            pass
+        when some header:
+            parts = header.split(separator=" ")
+            if parts.length() == 2:
+                try:
+                    if parts.get(index=0) == "Bearer":
+                        token = parts.get(index=1)
+                        if token.isToken(min=43, max=43):
+                            match access.get(key=token, now=clock.now()):
+                                when null:
+                                    pass
+                                when some grant:
+                                    return HttpResponse(body=Json(value=UserInfo(sub=grant.subject, name=grant.name)), headers=securityHeaders())
+                catch IndexError error:
+                    pass
+    headers = securityHeaders().with(name="www-authenticate", value="Bearer error=\"invalid_token\"")
+    return HttpResponse(body=Json(value={"error": "invalid_token"}), status=401, headers=headers)
+```
+
+```aug [Braces]
+import UserInfo and AccessGrant from contracts
+import securityHeaders from common
+import Clock from august.time
+import ExpiringStore from august.memory
+/** The opaque access token is valid only at this provider. Missing, expired and malformed credentials receive the same response. */
+endpoint GET "/provider/userinfo" as userinfo(optional string authorization from header, resolve Clock clock, resolve ExpiringStore<AccessGrant> access) returns HttpResponse<Json> uses clock.now and access.get unless TimeError and HttpError {
+    match authorization {
+        when null {
+            pass
+        }
+        when some header {
+            parts = header.split(separator=" ")
+            if parts.length() == 2 {
+                try {
+                    if parts.get(index=0) == "Bearer" {
+                        token = parts.get(index=1)
+                        if token.isToken(min=43, max=43) {
+                            match access.get(key=token, now=clock.now()) {
+                                when null {
+                                    pass
+                                }
+                                when some grant {
+                                    return HttpResponse(body=Json(value=UserInfo(sub=grant.subject, name=grant.name)), headers=securityHeaders())
+                                }
+                            }
+                        }
+                    }
+                }
+                catch IndexError error {
+                    pass
+                }
+            }
+        }
+    }
+    headers = securityHeaders().with(name="www-authenticate", value="Bearer error=\"invalid_token\"")
+    return HttpResponse(body=Json(value={"error": "invalid_token"}), status=401, headers=headers)
+}
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+
+### In this file
+
+- [`userinfo`](userinfo.md#symbol-userinfo) handles `GET` `/provider/userinfo` returning `HttpResponse<Json>`.
+
+### `userinfo` {#symbol-userinfo}
+
+[source](userinfo.md#code)
+
+**Inputs**
+
+- `authorization` (`optional string`) — read from the HTTP header; absent value becomes null.
+- `clock` ([`Clock`](../dependencies/august/0.19.0/time/contracts.md#symbol-Clock)) — injected; callers omit it.
+- `access` ([`ExpiringStore<AccessGrant>`](../dependencies/august/0.19.0/memory/store.md#symbol-ExpiringStore)) — injected; callers omit it.
+
+Returns: `HttpResponse<Json>`.
+
+Capabilities: [`clock.now`](../dependencies/august/0.19.0/time/contracts.md#symbol-Clock.now), [`access.get`](../dependencies/august/0.19.0/memory/store.md#symbol-ExpiringStore.get).
+
+Can fail with `TimeError`, `HttpError`. Callers must catch or propagate these errors.
+
+HTTP route: `GET` `/provider/userinfo`. Use status 200 when the handler returns a body; a returned HttpResponse can set its own status. An unhandled request failure returns status 500 and cancels its request tasks.
+
+**What it does**
+
+- Select the matching case for `authorization`:
+  - A null value, including omitted optional input:
+    - Continue without another operation.
+  - A present, non-null value, named `header`:
+    - Set `parts` to call `split` on `header` with `separator` = `" "`.
+    - If call `length` on `parts` equals `2`:
+      - Try these operations:
+        - If call `get` on `parts` with `index` = `0` equals `"Bearer"`:
+          - Set `token` to call `get` on `parts` with `index` = `1`.
+          - If call `isToken` on `token` with `min` = `43`; `max` = `43` is true:
+            - Select the matching case for call [`ExpiringStore.get`](../dependencies/august/0.19.0/memory/store.md#symbol-ExpiringStore.get) on `access` with `key` = `token`; `now` = call [`Clock.now`](../dependencies/august/0.19.0/time/contracts.md#symbol-Clock.now) on `clock`:
+              - A null value, including omitted optional input:
+                - Continue without another operation.
+              - A present, non-null value, named `grant`:
+                - Return call `HttpResponse` with `body` = call `Json` with `value` = call [`UserInfo`](contracts.md#symbol-UserInfo) with `sub` = `subject` of `grant`; `name` = `name` of `grant`; `headers` = call [`securityHeaders`](../common/headers.md#symbol-securityHeaders).
+      - If they fail with `IndexError`, name the failure `error` and recover:
+        - Continue without another operation.
+- Set `headers` to call `with` on call [`securityHeaders`](../common/headers.md#symbol-securityHeaders) with `name` = `"www-authenticate"`; `value` = `"Bearer error=\"invalid_token\""`.
+- Return call `HttpResponse` with `body` = call `Json` with `value` = a map with `"error"` mapped to `"invalid_token"`; `status` = `401`; `headers` = `headers`.
+
+**Author documentation**
+
+The opaque access token is valid only at this provider. Missing, expired and malformed credentials receive the same response.
+
+### Dependencies used by this file
+
+Only referenced types and operations appear here. Each name links to its complete specification.
+
+#### [`ExpiringStore`](../dependencies/august/0.19.0/memory/store.md#symbol-ExpiringStore)
+
+Capability interface from `august.memory`.
+
+- [`ExpiringStore.get`](../dependencies/august/0.19.0/memory/store.md#symbol-ExpiringStore.get) (`key`: `string`, `now`: `int`) → `optional T`.
+
+#### [`Clock`](../dependencies/august/0.19.0/time/contracts.md#symbol-Clock)
+
+Capability interface from `august.time`.
+
+- [`Clock.now`](../dependencies/august/0.19.0/time/contracts.md#symbol-Clock.now) (no caller inputs) → `int`; can fail with `TimeError`.
+
+#### [`securityHeaders`](../common/headers.md#symbol-securityHeaders)
+
+Function from `common`.
+
+- [`securityHeaders`](../common/headers.md#symbol-securityHeaders) (no caller inputs) → `Headers`; can fail with `HttpError`.
+
+#### [`AccessGrant`](contracts.md#symbol-AccessGrant)
+
+Record from `contracts`.
+
+- Read `name` (`string`).
+- Read `subject` (`string`).
+
+#### [`UserInfo`](contracts.md#symbol-UserInfo)
+
+Record from `contracts`.
+
+- Construct with `sub`: `string`, `name`: `string` → [`UserInfo`](contracts.md#symbol-UserInfo).
+
+### Built-in operations used by this file
+
+- `Headers.with` (`name`: `string`, `value`: `string`) → `Headers`: Return new headers with one additional validated field. Header names ignore case; duplicate values remain separate. Can fail with `HttpError`.
+- `List<string>.get` (`index`: `int`) → `string`: Read a zero-based position. An invalid index raises checked IndexError. Reference results grant reading. Can fail with `IndexError`.
+- `List<string>.length` (no inputs) → `int`: Read the number of elements.
+- `string.isToken` (`min`: `int`, `max`: `int`) → `bool`: Require an ASCII RFC 3986 unreserved token with a bounded length.
+- `string.split` (`separator`: `string`) → `List<string>`: Split at an exact separator, preserving empty parts.
+
+[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.
+
+::::
+
+:::::

package/docs/examples/oidc-login/provider/views.md

@@ -0,0 +1,137 @@
+---
+title: "provider/views.aug · OpenID Connect login application"
+generated: true
+source: "examples/oidc-login/provider/views.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+pageClass: aug-example-page
+---
+
+# `provider/views.aug`
+
+[OpenID Connect login application](../index.md) · Source and specification
+
+::: details Files in this project
+
+- [`main.aug`](../main.md)
+- [`client/contracts.aug`](../client/contracts.md)
+- [`client/endpoints.aug`](../client/endpoints.md)
+- [`client/export.aug`](../client/export.md)
+- [`client/login.aug`](../client/login.md)
+- [`client/logout.aug`](../client/logout.md)
+- [`client/protocol.aug`](../client/protocol.md)
+- [`client/session.aug`](../client/session.md)
+- [`client/views.aug`](../client/views.md)
+- [`common/export.aug`](../common/export.md)
+- [`common/headers.aug`](../common/headers.md)
+- [`common/keys.aug`](../common/keys.md)
+- [`common/settings.aug`](../common/settings.md)
+- [`common/views.aug`](../common/views.md)
+- [`provider/authorization.aug`](authorization.md)
+- [`provider/contracts.aug`](contracts.md)
+- [`provider/credentials.aug`](credentials.md)
+- [`provider/discovery.aug`](discovery.md)
+- [`provider/export.aug`](export.md)
+- [`provider/token.aug`](token.md)
+- [`provider/userinfo.aug`](userinfo.md)
+- [`provider/views.aug`](views.md)
+
+:::
+
+::::: example-compare
+
+:::: example-code
+
+## Code {#code}
+
+::: code-group
+
+```aug [Indentation]
+import Page from common
+/** A server form with a checked HTTP action. The browser submits to the provider endpoint. */
+ProviderLogin(string requestId, string csrf, string message, HttpAction submit) returns Html:
+    return <Page title={"Sign in with the August provider"}><p>{message}</p><p style={"background:#f3f5f9;padding:12px;border-radius:8px"}>Demo account: <strong>ada</strong> · password <strong>august-demo</strong></p><form method={"post"} action={"/provider/login"} onSubmit={submit}><input type={"hidden"} name={"request_id"} value={requestId} /><input type={"hidden"} name={"csrf"} value={csrf} /><p><label for={"username"}>Username</label><br /><input id={"username"} name={"username"} autocomplete={"username"} value={"ada"} maxlength={"64"} required={true} style={"padding:10px;width:90%"} /></p><p><label for={"password"}>Password</label><br /><input id={"password"} type={"password"} name={"password"} autocomplete={"current-password"} maxlength={"256"} required={true} style={"padding:10px;width:90%"} /></p><button type={"submit"} style={"padding:12px 20px;border:0;border-radius:9px;background:#4852d7;color:white;font:inherit"}>Sign in and return to the app</button></form><p style={"font-size:14px;color:#677189"}>The provider and app run in the same executable. Authorization codes still travel through the OpenID Connect protocol.</p></Page>
+ProviderFailure(string message) returns Html:
+    return <Page title={"Sign-in could not continue"}><p>{message}</p><a href={"/login/start"}>Start a new sign-in</a></Page>
+```
+
+```aug [Braces]
+import Page from common
+/** A server form with a checked HTTP action. The browser submits to the provider endpoint. */
+ProviderLogin(string requestId, string csrf, string message, HttpAction submit) returns Html {
+    return <Page title={"Sign in with the August provider"}><p>{message}</p><p style={"background:#f3f5f9;padding:12px;border-radius:8px"}>Demo account: <strong>ada</strong> · password <strong>august-demo</strong></p><form method={"post"} action={"/provider/login"} onSubmit={submit}><input type={"hidden"} name={"request_id"} value={requestId} /><input type={"hidden"} name={"csrf"} value={csrf} /><p><label for={"username"}>Username</label><br /><input id={"username"} name={"username"} autocomplete={"username"} value={"ada"} maxlength={"64"} required={true} style={"padding:10px;width:90%"} /></p><p><label for={"password"}>Password</label><br /><input id={"password"} type={"password"} name={"password"} autocomplete={"current-password"} maxlength={"256"} required={true} style={"padding:10px;width:90%"} /></p><button type={"submit"} style={"padding:12px 20px;border:0;border-radius:9px;background:#4852d7;color:white;font:inherit"}>Sign in and return to the app</button></form><p style={"font-size:14px;color:#677189"}>The provider and app run in the same executable. Authorization codes still travel through the OpenID Connect protocol.</p></Page>
+}
+ProviderFailure(string message) returns Html {
+    return <Page title={"Sign-in could not continue"}><p>{message}</p><a href={"/login/start"}>Start a new sign-in</a></Page>
+}
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+
+### In this file
+
+- [`ProviderLogin`](views.md#symbol-ProviderLogin) is a function returning `Html`.
+- [`ProviderFailure`](views.md#symbol-ProviderFailure) is a function returning `Html`.
+
+### `ProviderLogin` {#symbol-ProviderLogin}
+
+[source](views.md#code)
+
+**Inputs**
+
+- `requestId` (`string`) — required labeled input.
+- `csrf` (`string`) — required labeled input.
+- `message` (`string`) — required labeled input.
+- `submit` (`HttpAction`) — required labeled input.
+
+Returns: `Html`.
+
+**What it does**
+
+- Return the server component [`Page`](../common/views.md#symbol-Page) with `title` = `"Sign in with the August provider"` containing the HTML element `p` containing `message` (rendered on the server with embedded text escaped), the HTML element `p` with `style` = `"background:#f3f5f9;padding:12px;border-radius:8px"` containing `Demo account: `, the HTML element `strong` containing `ada` (rendered on the server with embedded text escaped), ` · password `, the HTML element `strong` containing `august-demo` (rendered on the server with embedded text escaped) (rendered on the server with embedded text escaped), the HTML element `form` with `method` = `"post"`, `action` = `"/provider/login"`, `onSubmit` = `submit` containing the HTML element `input` with `type` = `"hidden"`, `name` = `"request_id"`, `value` = `requestId` (rendered on the server with embedded text escaped), the HTML element `input` with `type` = `"hidden"`, `name` = `"csrf"`, `value` = `csrf` (rendered on the server with embedded text escaped), the HTML element `p` containing the HTML element `label` with `for` = `"username"` containing `Username` (rendered on the server with embedded text escaped), the HTML element `br` (rendered on the server with embedded text escaped), the HTML element `input` with `id` = `"username"`, `name` = `"username"`, `autocomplete` = `"username"`, `value` = `"ada"`, `maxlength` = `"64"`, `required` = `true`, `style` = `"padding:10px;width:90%"` (rendered on the server with embedded text escaped) (rendered on the server with embedded text escaped), the HTML element `p` containing the HTML element `label` with `for` = `"password"` containing `Password` (rendered on the server with embedded text escaped), the HTML element `br` (rendered on the server with embedded text escaped), the HTML element `input` with `id` = `"password"`, `type` = `"password"`, `name` = `"password"`, `autocomplete` = `"current-password"`, `maxlength` = `"256"`, `required` = `true`, `style` = `"padding:10px;width:90%"` (rendered on the server with embedded text escaped) (rendered on the server with embedded text escaped), the HTML element `button` with `type` = `"submit"`, `style` = `"padding:12px 20px;border:0;border-radius:9px;background:#4852d7;color:white;font:inherit"` containing `Sign in and return to the app` (rendered on the server with embedded text escaped) (rendered on the server with embedded text escaped), the HTML element `p` with `style` = `"font-size:14px;color:#677189"` containing `The provider and app run in the same executable. Authorization codes still travel through the OpenID Connect protocol.` (rendered on the server with embedded text escaped) (rendered on the server with embedded text escaped).
+
+**Author documentation**
+
+A server form with a checked HTTP action. The browser submits to the provider endpoint.
+
+### `ProviderFailure` {#symbol-ProviderFailure}
+
+[source](views.md#code)
+
+**Inputs**
+
+- `message` (`string`) — required labeled input.
+
+Returns: `Html`.
+
+**What it does**
+
+- Return the server component [`Page`](../common/views.md#symbol-Page) with `title` = `"Sign-in could not continue"` containing the HTML element `p` containing `message` (rendered on the server with embedded text escaped), the HTML element `a` with `href` = `"/login/start"` containing `Start a new sign-in` (rendered on the server with embedded text escaped) (rendered on the server with embedded text escaped).
+
+### Dependencies used by this file
+
+Only referenced types and operations appear here. Each name links to its complete specification.
+
+#### [`Page`](../common/views.md#symbol-Page)
+
+Function from `common`.
+
+- [`Page`](../common/views.md#symbol-Page) (`title`: `string`, `children`: `List<Html>`) → `Html`.
+
+### Shared language rules
+
+See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+
+::::
+
+:::::

package/docs/examples/ownership/counter.md

@@ -0,0 +1,140 @@
+---
+title: "counter.aug · Read access and mutable borrows"
+generated: true
+source: "examples/ownership/counter.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+pageClass: aug-example-page
+---
+
+# `counter.aug`
+
+[Read access and mutable borrows](index.md) · Source and specification
+
+::: details Files in this project
+
+- [`main.aug`](main.md)
+- [`counter.aug`](counter.md)
+
+:::
+
+::::: example-compare
+
+:::: example-code
+
+## Code {#code}
+
+::: code-group
+
+```aug [Indentation]
+Counter(mutable int value) implements ICounter:
+    increment() changes self:
+        borrow self:
+            value = value + 1
+    read() returns int:
+        return value
+interface ICounter:
+    increment() changes self
+    read() returns int
+```
+
+```aug [Braces]
+Counter(mutable int value) implements ICounter {
+    increment() changes self {
+        borrow self {
+            value = value + 1
+        }
+    }
+    read() returns int {
+        return value
+    }
+}
+interface ICounter {
+    increment() changes self
+    read() returns int
+}
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+
+### In this file
+
+- [`Counter`](counter.md#symbol-Counter) is a class implementing `ICounter`.
+- [`ICounter`](counter.md#symbol-ICounter) is an interface.
+
+### `Counter` {#symbol-Counter}
+
+[source](counter.md#code)
+
+Behavioral class.
+
+Satisfies [`ICounter`](counter.md#symbol-ICounter).
+
+**Inputs**
+
+- `value` (`int`) — required labeled input — stored as `value` and mutable.
+
+#### `Counter.increment` {#symbol-Counter.increment}
+
+[source](counter.md#code)
+
+Returns: no value.
+
+May change: `self`.
+
+**What it does**
+
+- Grant exclusive mutable access to `self` for this block, then end the borrow:
+  - Set `value` to `value` plus `1`.
+
+#### `Counter.read` {#symbol-Counter.read}
+
+[source](counter.md#code)
+
+Returns: `int`.
+
+**What it does**
+
+- Return `value`.
+
+### `ICounter` {#symbol-ICounter}
+
+[source](counter.md#code)
+
+Interface.
+
+#### `ICounter.increment` {#symbol-ICounter.increment}
+
+[source](counter.md#code)
+
+Returns: no value.
+
+May change: `self`.
+
+Interface contract. A selected implementation supplies the behavior.
+
+#### `ICounter.read` {#symbol-ICounter.read}
+
+[source](counter.md#code)
+
+Returns: `int`.
+
+Interface contract. A selected implementation supplies the behavior.
+
+### Shared language rules
+
+See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+
+::::
+
+:::::

package/docs/examples/ownership/index.md

@@ -0,0 +1,33 @@
+---
+title: "Read access and mutable borrows"
+generated: true
+source: "examples/ownership"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+---
+
+# Read access and mutable borrows
+
+Share a reference for reading and grant explicit access for mutation.
+
+Read a file below to see its highlighted source and the Markdown produced by `aug spec`. Choose **Indentation** or **Braces** above the code. Both views describe the same checked program; your choice is kept when you open another file.
+
+## Project files
+
+- [`main.aug`](main.md)
+- [`counter.aug`](counter.md)
+
+
+## Try this project
+
+From a repository checkout with August installed:
+
+```sh
+aug check examples/ownership
+aug spec examples/ownership
+aug run examples/ownership
+```
+
+[Browse all examples](../index.md)

package/docs/examples/ownership/main.md

@@ -0,0 +1,90 @@
+---
+title: "main.aug · Read access and mutable borrows"
+generated: true
+source: "examples/ownership/main.aug"
+editLink: false
+prev: false
+next: false
+outline: [2, 3]
+pageClass: aug-example-page
+---
+
+# `main.aug`
+
+[Read access and mutable borrows](index.md) · Source and specification
+
+::: details Files in this project
+
+- [`main.aug`](main.md)
+- [`counter.aug`](counter.md)
+
+:::
+
+::::: example-compare
+
+:::: example-code
+
+## Code {#code}
+
+::: code-group
+
+```aug [Indentation]
+import Counter from counter
+own Counter counter = Counter(value=1)
+counter.increment()
+print(value=counter.read())
+```
+
+```aug [Braces]
+import Counter from counter
+own Counter counter = Counter(value=1)
+counter.increment()
+print(value=counter.read())
+```
+
+:::
+
+::::
+
+:::: example-spec
+
+## Compiled specification {#specification}
+
+August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+
+### In this file
+
+- Run 3 other startup steps in source order.
+
+### Startup, in source order
+
+- Set `counter` of type [`Counter`](counter.md#symbol-Counter) to call [`Counter`](counter.md#symbol-Counter) with `value` = `1`.
+- This variable owns the value.
+- Call [`Counter.increment`](counter.md#symbol-Counter.increment) on `counter`.
+- Call `print` with `value` = call [`Counter.read`](counter.md#symbol-Counter.read) on `counter`.
+
+### Dependencies used by this file
+
+Only referenced types and operations appear here. Each name links to its complete specification.
+
+#### [`Counter`](counter.md#symbol-Counter)
+
+Class from `counter`.
+
+- Construct with `value`: `int` → [`Counter`](counter.md#symbol-Counter).
+- [`Counter.increment`](counter.md#symbol-Counter.increment) (no caller inputs) → `void`; changes `self`.
+- [`Counter.read`](counter.md#symbol-Counter.read) (no caller inputs) → `int`.
+
+### 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.
+
+::::
+
+:::::