@greenpandastudios/aug-cli 0.19.0 → 0.20.1

package/docs/api/io.md

@@ -6,15 +6,9 @@ editLink: false
 
 # august.io
 
-Public declarations exported by this module. Import names explicitly from `august.io`. Built-in wire/value types are described in [language constructs](../language-constructs.md).
+Console and file capabilities supplied with the compiler. Import names from `august.io`.
 
-- [Console](#api-Console)
-- [SystemConsole](#api-SystemConsole)
-- [FileReader](#api-FileReader)
-- [FileWriter](#api-FileWriter)
-- [LocalFiles](#api-LocalFiles)
-- [Arguments](#api-Arguments)
-- [ProcessArguments](#api-ProcessArguments)
+The signatures below include checked results and failures, including those inferred from a body. See [packages](../packages.md) for revision pinning and [language constructs](../language-constructs.md) for built-in value types.
 
 ## Console {#api-Console}
 
@@ -24,12 +18,12 @@ capability Console
 
 Permission to write to a console, provided by an explicitly selected adapter.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L2)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L3)
 
 ### Console.write
 
 ```text
-write<T>(T value) uses Console.write
+write<T>(T value)
 ```
 
 Write one line of text.
@@ -37,7 +31,9 @@ Write one line of text.
 **Parameters**
 - `value`: Text to display.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L4)
+Requires `Console.write`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L5)
 
 ## SystemConsole {#api-SystemConsole}
 
@@ -47,7 +43,7 @@ SystemConsole() implements Console
 
 The native standard-output adapter. Construction performs no output.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L7)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L8)
 
 ### SystemConsole.write
 
@@ -60,9 +56,9 @@ Write one line of text.
 **Parameters**
 - `value`: Text to display.
 
-Inferred capabilities: `Console.write`.
+Requires `Console.write`.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L8)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L9)
 
 ## FileReader {#api-FileReader}
 
@@ -72,12 +68,12 @@ capability FileReader
 
 Read UTF-8 text through an explicitly selected filesystem adapter.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L12)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L13)
 
 ### FileReader.read
 
 ```text
-read(string path) returns string uses FileReader.read unless FileError
+read(string path) returns string unless FileError
 ```
 
 Read text.
@@ -88,7 +84,9 @@ Read text.
 **Throws**
 - `FileError`: The file could not be read.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L14)
+Requires `FileReader.read`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L15)
 
 ## FileWriter {#api-FileWriter}
 
@@ -98,12 +96,12 @@ capability FileWriter
 
 Write UTF-8 text through an explicitly selected filesystem adapter.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L17)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L18)
 
 ### FileWriter.write
 
 ```text
-write(string path, string content) uses FileWriter.write unless FileError
+write(string path, string content) unless FileError
 ```
 
 Write text.
@@ -115,7 +113,9 @@ Write text.
 **Throws**
 - `FileError`: Writing failed.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L19)
+Requires `FileWriter.write`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L20)
 
 ## LocalFiles {#api-LocalFiles}
 
@@ -125,7 +125,7 @@ LocalFiles() implements FileReader, FileWriter
 
 Native files. Operations are explicit; construction opens no files.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L22)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L23)
 
 ### LocalFiles.read
 
@@ -141,9 +141,9 @@ Read text.
 **Throws**
 - `FileError`: The file could not be read.
 
-Inferred capabilities: `FileReader.read`.
+Requires `FileReader.read`.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L23)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L24)
 
 ### LocalFiles.write
 
@@ -160,9 +160,9 @@ Write text.
 **Throws**
 - `FileError`: Writing failed.
 
-Inferred capabilities: `FileWriter.write`.
+Requires `FileWriter.write`.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L25)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L26)
 
 ## Arguments {#api-Arguments}
 
@@ -172,17 +172,19 @@ capability Arguments
 
 Read command-line input through an explicit dependency.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L29)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L30)
 
 ### Arguments.read
 
 ```text
-read() returns List<string> uses Arguments.read
+read() returns List<string>
 ```
 
-The signature declares inputs, result, effects and checked errors.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L30)
+
+Requires `Arguments.read`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L31)
 
 ## ProcessArguments {#api-ProcessArguments}
 
@@ -192,7 +194,7 @@ ProcessArguments() implements Arguments
 
 Native command-line arguments.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L33)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L34)
 
 ### ProcessArguments.read
 
@@ -200,8 +202,8 @@ Native command-line arguments.
 read() returns List<string>
 ```
 
-The signature declares inputs, result, effects and checked errors.
 
-Inferred capabilities: `Arguments.read`.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L34)
+Requires `Arguments.read`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/io/contracts.aug#L35)

package/docs/api/json.md

@@ -6,9 +6,9 @@ editLink: false
 
 # august.json
 
-Public declarations exported by this module. Import names explicitly from `august.json`. Built-in wire/value types are described in [language constructs](../language-constructs.md).
+Install this source library with `aug add https://github.com/GreenPandaStudios/augscript/src/stdlib/json --as json`, then import its public names from `json`.
 
-- [parse](#api-parse)
+The signatures below include checked results and failures, including those inferred from a body. See [packages](../packages.md) for revision pinning and [language constructs](../language-constructs.md) for built-in value types.
 
 ## parse {#api-parse}
 
@@ -18,4 +18,4 @@ parse(string input) returns Json unless JsonError
 
 Parse strict UTF-8 JSON. Duplicate keys, invalid Unicode, oversized integers, and nesting beyond 64 levels raise JsonError.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/json/contracts.aug#L3)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/json/contracts.aug#L4)

package/docs/api/memory.md

@@ -6,11 +6,9 @@ editLink: false
 
 # august.memory
 
-Public declarations exported by this module. Import names explicitly from `august.memory`. Built-in wire/value types are described in [language constructs](../language-constructs.md).
+Install this source library with `aug add https://github.com/GreenPandaStudios/augscript/src/stdlib/memory --as memory`, then import its public names from `memory`.
 
-- [StoreFull](#api-StoreFull)
-- [ExpiringStore](#api-ExpiringStore)
-- [MemoryStore](#api-MemoryStore)
+The signatures below include checked results and failures, including those inferred from a body. See [packages](../packages.md) for revision pinning and [language constructs](../language-constructs.md) for built-in value types.
 
 ## StoreFull {#api-StoreFull}
 
@@ -20,7 +18,7 @@ StoreFull() implements Error
 
 The bounded store could not accept another live entry.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L2)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L3)
 
 ## ExpiringStore {#api-ExpiringStore}
 
@@ -30,37 +28,43 @@ capability ExpiringStore<T implements Data>
 
 A bounded, expiring capability for immutable values. Each generic DI binding has its own table.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L7)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L8)
 
 ### ExpiringStore.put
 
 ```text
-put(string key, T value, int expires, int now) uses ExpiringStore.put unless StoreFull
+put(string key, T value, int expires, int now) unless StoreFull
 ```
 
 Remove expired entries, then store at most 512 live entries. Time is supplied by the caller.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L9)
+Requires `ExpiringStore.put`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L10)
 
 ### ExpiringStore.take
 
 ```text
-take(string key, int now) returns optional T uses ExpiringStore.take
+take(string key, int now) returns optional T
 ```
 
 Atomically remove a value. Expired or absent entries return null.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L11)
+Requires `ExpiringStore.take`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L12)
 
 ### ExpiringStore.get
 
 ```text
-get(string key, int now) returns optional T uses ExpiringStore.get
+get(string key, int now) returns optional T
 ```
 
 Read a live value without consuming it.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L13)
+Requires `ExpiringStore.get`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L14)
 
 ## MemoryStore {#api-MemoryStore}
 
@@ -70,7 +74,7 @@ MemoryStore<T implements Data>() implements ExpiringStore<T>
 
 A synchronized table with short critical sections and no I/O while locked.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L16)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L17)
 
 ### MemoryStore.put
 
@@ -80,9 +84,9 @@ put(string key, T value, int expires, int now) unless StoreFull
 
 Remove expired entries, then store at most 512 live entries. Time is supplied by the caller.
 
-Inferred capabilities: `ExpiringStore<T>.put`.
+Requires `ExpiringStore<T>.put`.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L18)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L19)
 
 ### MemoryStore.take
 
@@ -92,9 +96,9 @@ take(string key, int now) returns optional T
 
 Atomically remove a value. Expired or absent entries return null.
 
-Inferred capabilities: `ExpiringStore<T>.take`.
+Requires `ExpiringStore<T>.take`.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L27)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L28)
 
 ### MemoryStore.get
 
@@ -104,6 +108,6 @@ get(string key, int now) returns optional T
 
 Read a live value without consuming it.
 
-Inferred capabilities: `ExpiringStore<T>.get`.
+Requires `ExpiringStore<T>.get`.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L36)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/memory/store.aug#L37)

package/docs/api/time.md

@@ -6,10 +6,9 @@ editLink: false
 
 # august.time
 
-Public declarations exported by this module. Import names explicitly from `august.time`. Built-in wire/value types are described in [language constructs](../language-constructs.md).
+Install this source library with `aug add https://github.com/GreenPandaStudios/augscript/src/stdlib/time --as time`, then import its public names from `time`.
 
-- [Clock](#api-Clock)
-- [SystemClock](#api-SystemClock)
+The signatures below include checked results and failures, including those inferred from a body. See [packages](../packages.md) for revision pinning and [language constructs](../language-constructs.md) for built-in value types.
 
 ## Clock {#api-Clock}
 
@@ -19,17 +18,19 @@ capability Clock
 
 An explicit clock dependency makes time-based behavior replaceable in tests.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/time/contracts.aug#L2)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/time/contracts.aug#L3)
 
 ### Clock.now
 
 ```text
-now() returns int uses Clock.now unless TimeError
+now() returns int unless TimeError
 ```
 
 Read whole Unix seconds in UTC.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/time/contracts.aug#L4)
+Requires `Clock.now`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/time/contracts.aug#L5)
 
 ## SystemClock {#api-SystemClock}
 
@@ -39,7 +40,7 @@ SystemClock() implements Clock
 
 Operating-system wall clock.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/time/contracts.aug#L7)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/time/contracts.aug#L8)
 
 ### SystemClock.now
 
@@ -49,6 +50,6 @@ now() returns int unless TimeError
 
 Read whole Unix seconds in UTC.
 
-Inferred capabilities: `Clock.now`.
+Requires `Clock.now`.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/time/contracts.aug#L8)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/time/contracts.aug#L9)

package/docs/api/web.md

@@ -6,18 +6,9 @@ editLink: false
 
 # august.web
 
-Public declarations exported by this module. Import names explicitly from `august.web`. Built-in wire/value types are described in [language constructs](../language-constructs.md).
-
-- [Principal](#api-Principal)
-- [Authentication](#api-Authentication)
-- [Authorization](#api-Authorization)
-- [RequestLogger](#api-RequestLogger)
-- [WebRequestLogger](#api-WebRequestLogger)
-- [HttpClient](#api-HttpClient)
-- [WebHttpClient](#api-WebHttpClient)
-- [redirect](#api-redirect)
-- [urlEncode](#api-urlEncode)
-- [cookie](#api-cookie)
+Install this source library with `aug add https://github.com/GreenPandaStudios/augscript/src/stdlib/web --as web`, then import its public names from `web`.
+
+The signatures below include checked results and failures, including those inferred from a body. See [packages](../packages.md) for revision pinning and [language constructs](../language-constructs.md) for built-in value types.
 
 ## Principal {#api-Principal}
 
@@ -27,7 +18,7 @@ record Principal(string subject, List<string> permissions)
 
 Immutable identity returned by an explicitly injected authentication adapter.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L2)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L3)
 
 ## Authentication {#api-Authentication}
 
@@ -37,17 +28,17 @@ capability Authentication
 
 Verify the request's credentials. null means unauthenticated; adapter failures raise HttpError.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L5)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L6)
 
 ### Authentication.authenticate
 
 ```text
-authenticate(HttpRequest request) returns optional Principal uses Authentication.authenticate unless HttpError
+authenticate(HttpRequest request) returns optional Principal unless HttpError
 ```
 
-The signature declares inputs, result, effects and checked errors.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L6)
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L7)
 
 ## Authorization {#api-Authorization}
 
@@ -57,17 +48,17 @@ capability Authorization
 
 Decide whether a verified identity has one named permission.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L9)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L10)
 
 ### Authorization.authorize
 
 ```text
-authorize(Principal identity, string permission) returns bool uses Authorization.authorize unless HttpError
+authorize(Principal identity, string permission) returns bool unless HttpError
 ```
 
-The signature declares inputs, result, effects and checked errors.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L10)
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L11)
 
 ## RequestLogger {#api-RequestLogger}
 
@@ -77,17 +68,19 @@ capability RequestLogger
 
 Observe a completed HTTP exchange, including failures and disconnects.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L13)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L14)
 
 ### RequestLogger.complete
 
 ```text
-complete(string method, string path, int status, int milliseconds) uses RequestLogger.complete
+complete(string method, string path, int status, int milliseconds)
 ```
 
-The signature declares inputs, result, effects and checked errors.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L14)
+
+Requires `RequestLogger.complete`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L15)
 
 ## WebRequestLogger {#api-WebRequestLogger}
 
@@ -97,7 +90,7 @@ WebRequestLogger() implements RequestLogger
 
 Emit escaped JSON request metadata to standard error. Credentials and query strings are excluded.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L18)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L19)
 
 ### WebRequestLogger.complete
 
@@ -105,11 +98,11 @@ Emit escaped JSON request metadata to standard error. Credentials and query stri
 complete(string method, string path, int status, int milliseconds)
 ```
 
-The signature declares inputs, result, effects and checked errors.
 
-Inferred capabilities: `RequestLogger.complete`.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L19)
+Requires `RequestLogger.complete`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L20)
 
 ## HttpClient {#api-HttpClient}
 
@@ -119,17 +112,19 @@ capability HttpClient
 
 An explicit outbound network capability. TLS verifies the peer and redirects are returned to the caller.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L24)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L25)
 
 ### HttpClient.request
 
 ```text
-request(string method, string url, optional Headers headers, optional Bytes body) returns HttpResponse<Bytes> uses HttpClient.request unless HttpError
+request(string method, string url, optional Headers headers, optional Bytes body) returns HttpResponse<Bytes> unless HttpError
 ```
 
 Perform an HTTP request with bounded bytes. Inside a task, waiting suspends the task's C stack.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L26)
+Requires `HttpClient.request`.
+
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L27)
 
 ## WebHttpClient {#api-WebHttpClient}
 
@@ -139,7 +134,7 @@ WebHttpClient() implements HttpClient
 
 Native libwebsockets transport. No socket is opened by construction.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L31)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L32)
 
 ### WebHttpClient.request
 
@@ -149,9 +144,9 @@ request(string method, string url, optional Headers headers, optional Bytes body
 
 Perform an HTTP request with bounded bytes. Inside a task, waiting suspends the task's C stack.
 
-Inferred capabilities: `HttpClient.request`.
+Requires `HttpClient.request`.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L32)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L33)
 
 ## redirect {#api-redirect}
 
@@ -161,7 +156,7 @@ redirect(string location, optional int status) returns HttpResponse<string> unle
 
 Return a redirect with an explicit status. Location is checked as a header value.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L37)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L38)
 
 ## urlEncode {#api-urlEncode}
 
@@ -171,7 +166,7 @@ urlEncode(string input) returns string unless HttpError
 
 Encode a UTF-8 value as one URL query or form component using RFC 3986 unreserved characters.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L49)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L50)
 
 ## cookie {#api-cookie}
 
@@ -181,4 +176,4 @@ cookie(string name, string value, string path, int maxAge, bool secure) returns
 
 Construct an HttpOnly, SameSite=Lax session cookie. Secure defaults are chosen explicitly at the call site. Values and paths reject delimiters and controls. maxAge=0 clears the cookie.
 
-[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L55)
+[Source](https://github.com/GreenPandaStudios/augscript/blob/main/src/stdlib/web/contracts.aug#L56)

package/docs/compatibility.md

@@ -1,6 +1,6 @@
 # Compatibility and supported platforms
 
-August 0.19 is a preview. This page states the proposed 1.0 compatibility contract and the evidence still needed before it takes effect. The [roadmap](roadmap.md) tracks that release gate.
+August 0.20 is a preview. This page states the proposed 1.0 compatibility contract and the evidence still needed before it takes effect. The [roadmap](roadmap.md) tracks that release gate.
 
 The [ownership and task conformance page](language-conformance.md) records executable candidate behavior for moves, aliasing, cleanup, cancellation, and delayed errors.
 
@@ -10,7 +10,7 @@ The [ownership and task conformance page](language-conformance.md) records execu
 | --- | --- |
 | August source | Accepted syntax, import visibility, labeled calls, types, ownership, effects, checked errors, tasks, and same-file tests keep their documented meaning through 1.x. Minor releases can add syntax or APIs. |
 | CLI and project files | Documented `aug` commands, `main.yaml` keys, `aug-package.json`, and `aug.lock.json` retain compatible reading within 1.x. New fields have defaults; removing or changing a field requires a major release. |
-| First-party packages | CLI, standard, web, and crypto packages use one exact version. A release tests installed tarballs together; mixing versions is unsupported. User packages declare a compatible compiler range and retain their own public `export.aug` surface. |
+| First-party packages | CLI, standard, web, and crypto packages use one exact version. A release tests installed tarballs together; mixing versions is unsupported. Explicit user manifests currently require the exact compiler version and retain their own public `export.aug` surface. |
 | Generated specifications | `aug spec` remains deterministic for a given compiler and project. Text and layout can improve between versions; tools should link to source and declarations rather than parse Markdown prose. |
 | Native boundary | `extern C` uses documented C-width mappings and the target platform's C ABI. The generated C runtime and `AugValue` layout are compiler-private today. Before 1.0, the project must either publish and test a versioned adapter ABI or keep that runtime surface private and verify that public `extern C` adapters need no private structure. |
 
@@ -18,7 +18,7 @@ A change that makes valid 1.x source fail to compile, changes its observable beh
 
 ## Migration between versions
 
-Each release documents source, configuration, package, and native changes in the changelog. When spelling can be changed safely, `aug migrate PROJECT` performs or suggests the edit. For changes requiring a choice, the diagnostic explains the alternatives without rewriting behavior silently. Upgrade the four first-party packages and the extension together, then run:
+Each release documents source, configuration, package, and native changes in the changelog. When spelling can be changed safely, `aug migrate PROJECT` performs or suggests the edit. For changes requiring a choice, the diagnostic explains the alternatives without rewriting behavior silently. Upgrade the compiler and extension together; update source dependencies deliberately with `aug install --update`, then run:
 
 ```sh
 aug check PROJECT

package/docs/contributing-benchmarks.md

@@ -0,0 +1,38 @@
+# Maintain the comparison suite
+
+This contributor workflow updates the recorded measurements and charts. Work in the August source workspace with Node 24+, Python and a C11 compiler. Application developers can [download the measured programs](examples/index.md#measured-programs) and use [the project benchmark commands](performance.md#benchmark-your-own-project).
+
+```sh
+npm ci
+node scripts/bootstrap-native.mjs
+npm run bench:compare
+```
+
+Set `AUG_BENCH_PYTHON=/path/to/python3` or `CC=/path/to/clang` to select the reference interpreter/compiler. `AUG_NATIVE_HOME` selects the native dependency cache. The raw result file records versions and a source fingerprint. Compilation timings are included separately from executable run time.
+
+For core/JSON only, extract the smaller native source dependencies and omit HTTP:
+
+```sh
+node scripts/bootstrap-native.mjs --extract-only --only minicoro,yyjson
+npm run bench:compare -- --skip-http
+```
+
+The full suite writes `docs/benchmark-results.json`; a core-only run writes `.aug-build/benchmarks/results-core.json` and preserves the complete wiki measurements. Focus on selected workloads while trying your own changes:
+
+```sh
+npm run bench:compare -- --only cpu,collections-200k
+npm run bench:compare -- --only http --http-requests 10000
+```
+
+Focused runs write `.aug-build/benchmarks/results-focused.json`. Use `--output PATH` to keep separate reports. Render graphs, tables and the exact source examples from the full result file using Python 3.12+:
+
+```sh
+python3 -m venv .aug-build/benchmark-plotting
+.aug-build/benchmark-plotting/bin/python -m pip install -r benchmarks/plot-requirements.txt
+.aug-build/benchmark-plotting/bin/python scripts/render-benchmarks.py
+.aug-build/benchmark-plotting/bin/python scripts/render-benchmarks.py --check
+npm run docs:build
+```
+
+The plot environment is isolated and ignored; published documentation includes the rendered graphs and needs no Python installation. Review this page's environment, interpretations and limitations when replacing measurements. Short exploratory runs can use `--iterations 3 --warmup 1 --http-rounds 1 --http-requests 1000`; they have less statistical coverage.
+