@greenpandastudios/aug-cli 0.19.0 → 0.21.0

package/examples/new-syntax/.aug-spec/manifest.json

@@ -1,13 +1,13 @@
 {
   "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",
     "console.aug.md",
     "greeter.aug.md",
     "logger.aug.md",
     "main.aug.md",
     "math.aug.md"
   ],
-  "digest": "2cf8231cb76a18e70e28c9ac46d35892c904328c98f186dbf7544e0e04333dbd"
+  "digest": "c305bf94b978c4d77a15fc4420051b9355df571964d02ee845ed0caf943184f0"
 }

package/examples/new-syntax/console.aug

@@ -1,7 +1,8 @@
+// aug-spec: "console.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 import Logger from logger
 ConsoleLogger() implements Logger {
-    log(resolve Console console, string message) uses Console.write {
+    log(resolve Console console, string message) {
         console.write(value=message)
     }
 }

package/examples/new-syntax/console.aug.md

@@ -1,63 +1,17 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `console.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`ConsoleLogger`](console.aug.md#symbol-ConsoleLogger) is a class implementing `Logger`.
+# `console.aug`
 
 <a id="symbol-ConsoleLogger"></a>
+## `ConsoleLogger` · class · [source](console.aug#L4)
 
-## `ConsoleLogger`
-
-[source](console.aug#L3)
-
-Behavioral class.
-
-Satisfies [`Logger`](logger.aug.md#symbol-Logger).
+It implements [`Logger`](logger.aug.md#symbol-Logger).
 
 <a id="symbol-ConsoleLogger.log"></a>
+### `ConsoleLogger.log` · [source](console.aug#L5)
 
-### `ConsoleLogger.log`
-
-[source](console.aug#L4)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `message` (`string`) — required labeled input.
-
-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` = `message`.
-
-**Author documentation**
-
-**Parameters**
-- `message`: Text to display.
-
-## 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`.
-
-### [`Logger`](logger.aug.md#symbol-Logger)
-
-Interface from `logger`.
-
-Used as a type or provider.
+It takes `message` as a string (Text to display). It gets `console` ([`Console`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. It passes `message` to [`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`. It uses [`Logger`](logger.aug.md#symbol-Logger) from `logger`.

package/examples/new-syntax/greeter.aug

@@ -1,7 +1,8 @@
+// aug-spec: "greeter.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 import Logger from logger
 Greeter(resolve Logger logger, int x) implements IGreeter {
-    greet(resolve Console console, string name) uses Console.write {
+    greet(resolve Console console, string name) {
         logger.log(message="Hello, " + name + "!")
     }
 }

package/examples/new-syntax/greeter.aug.md

@@ -1,89 +1,25 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `greeter.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`Greeter`](greeter.aug.md#symbol-Greeter) is a class implementing `IGreeter`.
-- [`IGreeter`](greeter.aug.md#symbol-IGreeter) is an interface.
+# `greeter.aug`
 
 <a id="symbol-Greeter"></a>
+## `Greeter` · class · [source](greeter.aug#L4)
 
-## `Greeter`
-
-[source](greeter.aug#L3)
-
-Behavioral class.
-
-Satisfies [`IGreeter`](greeter.aug.md#symbol-IGreeter).
-
-**Inputs**
-
-- `logger` ([`Logger`](logger.aug.md#symbol-Logger)) — injected; callers omit it — stored as `logger` and read-only after initialization.
-- `x` (`int`) — required labeled input — stored as `x` and read-only after initialization.
+It implements [`IGreeter`](greeter.aug.md#symbol-IGreeter). It takes `x` as an integer, kept read-only. It gets `logger` ([`Logger`](logger.aug.md#symbol-Logger)), kept read-only from dependency injection.
 
 <a id="symbol-Greeter.greet"></a>
+### `Greeter.greet` · [source](greeter.aug#L5)
 
-### `Greeter.greet`
-
-[source](greeter.aug#L4)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `name` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-**What it does**
-
-- Call [`Logger.log`](logger.aug.md#symbol-Logger.log) on `logger` with `message` = (text formed by joining `"Hello, "`, `name`, `"!"` in order); inject `console` from `console`.
+It takes `name` as a string. It gets `console` ([`Console`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. It passes the text `Hello, {name}!` to [`logger.log`](logger.aug.md#symbol-Logger.log), using injected `console`.
 
 <a id="symbol-IGreeter"></a>
-
-## `IGreeter`
-
-[source](greeter.aug#L8)
-
-Interface.
+## `IGreeter` · interface · [source](greeter.aug#L9)
 
 <a id="symbol-IGreeter.greet"></a>
+### `IGreeter.greet` · [source](greeter.aug#L10)
 
-### `IGreeter.greet`
-
-[source](greeter.aug#L9)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `name` (`string`) — required labeled input.
-
-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`.
-
-### [`Logger`](logger.aug.md#symbol-Logger)
-
-Interface from `logger`.
-
-- [`Logger.log`](logger.aug.md#symbol-Logger.log) (`message`: `string`) → `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).
+It takes `name` as a string. 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`. It uses [`Logger`](logger.aug.md#symbol-Logger) ([`log`](logger.aug.md#symbol-Logger.log)) from `logger`.

package/examples/new-syntax/logger.aug

@@ -1,3 +1,4 @@
+// aug-spec: "logger.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 /** Displays application messages. */
 interface Logger {

package/examples/new-syntax/logger.aug.md

@@ -1,57 +1,17 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `logger.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`Logger`](logger.aug.md#symbol-Logger) is an interface.
+# `logger.aug`
 
 <a id="symbol-Logger"></a>
-
-## `Logger`
-
-[source](logger.aug#L3)
-
-Interface.
-
-**Author documentation**
+## `Logger` · interface · [source](logger.aug#L4)
 
 Displays application messages.
 
 <a id="symbol-Logger.log"></a>
+### `Logger.log` · [source](logger.aug#L6)
 
-### `Logger.log`
-
-[source](logger.aug#L5)
-
-**Inputs**
-
-- `console` ([`Console`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `message` (`string`) — required labeled input.
-
-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.
-
-**Author documentation**
-
-**Parameters**
-- `message`: Text to display.
-
-## 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 takes `message` as a string (Text to display). 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/new-syntax/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 Logger from logger

package/examples/new-syntax/main.aug.md

@@ -1,64 +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
+`Console` is provided by [`SystemConsole`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-SystemConsole). The same instance is shared. `Logger` is provided by [`ConsoleLogger`](console.aug.md#symbol-ConsoleLogger). The same instance is shared.
 
-- Register 2 dependency providers before startup.
-- Run 5 other startup steps in source order.
+## Startup
 
-## Dependency providers
+It sets `greeter` to a [`Greeter`](greeter.aug.md#symbol-Greeter) with `x` `4` using injected `Logger` for `logger`. It passes `"AugScript"` to [`greeter.greet`](greeter.aug.md#symbol-Greeter.greet), using injected `Console`. It sets `count` to `7`. It sets `count` to [`increment`](math.aug.md#symbol-increment) with `value` from `count`.
 
-Register these providers before startup. Their declaration order does not set initialization order; shared instances initialize in dependency order.
+It prints `count`.
 
-- Provide [`SystemConsole`](.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-SystemConsole) when `Console` is requested. Reuse one instance.
-- Provide [`ConsoleLogger`](console.aug.md#symbol-ConsoleLogger) when `Logger` is requested. Reuse one instance.
+## Dependencies
 
-## Startup, in source order
+It uses [`SystemConsole`](.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-SystemConsole) from `august.io`. It uses [`ConsoleLogger`](console.aug.md#symbol-ConsoleLogger) from `console`. It uses [`Greeter`](greeter.aug.md#symbol-Greeter) ([`greet`](greeter.aug.md#symbol-Greeter.greet)) from `greeter`. It uses [`increment`](math.aug.md#symbol-increment) from `math`.
 
-- Set `greeter` to call [`Greeter`](greeter.aug.md#symbol-Greeter) with `x` = `4`; inject `logger` from `Logger`.
-- Call [`Greeter.greet`](greeter.aug.md#symbol-Greeter.greet) on `greeter` with `name` = `"AugScript"`; inject `console` from `Console`.
-- Set `count` of type `int` to `7`.
-- Set `count` to call [`increment`](math.aug.md#symbol-increment) with `value` = `count`.
-- Call `print` with `value` = `count`.
-
-## 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.
-
-### [`ConsoleLogger`](console.aug.md#symbol-ConsoleLogger)
-
-Class from `console`.
-
-Used as a type or provider.
-
-### [`Greeter`](greeter.aug.md#symbol-Greeter)
-
-Class from `greeter`.
-
-- Construct with `x`: `int` → [`Greeter`](greeter.aug.md#symbol-Greeter).
-- [`Greeter.greet`](greeter.aug.md#symbol-Greeter.greet) (`name`: `string`) → `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).
-
-### [`increment`](math.aug.md#symbol-increment)
-
-Function from `math`.
-
-- [`increment`](math.aug.md#symbol-increment) (`value`: `int`) → `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.
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/new-syntax/math.aug

@@ -1,3 +1,4 @@
-increment(int value) returns int {
+// aug-spec: "math.aug.md" explains this file. Read it before changes; refresh with aug spec.
+increment(int value) {
     return value + 1
 }

package/examples/new-syntax/math.aug.md

@@ -1,29 +1,8 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `math.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`increment`](math.aug.md#symbol-increment) is a function returning `int`.
+# `math.aug`
 
 <a id="symbol-increment"></a>
+## `increment` · [source](math.aug#L2)
 
-## `increment`
-
-[source](math.aug#L1)
-
-**Inputs**
-
-- `value` (`int`) — required labeled input.
-
-Returns: `int`.
-
-**What it does**
-
-- Return `value` plus `1`.
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It takes `value` as an integer. It returns `value` plus `1`.

package/examples/oidc-login/.aug-spec/manifest.json

@@ -1,18 +1,18 @@
 {
   "format": 1,
   "files": [
-    ".aug-spec/august/0.19.0/crypto/contracts.aug",
-    ".aug-spec/august/0.19.0/crypto/contracts.aug.md",
-    ".aug-spec/august/0.19.0/crypto/jose.aug",
-    ".aug-spec/august/0.19.0/crypto/jose.aug.md",
-    ".aug-spec/august/0.19.0/json/contracts.aug",
-    ".aug-spec/august/0.19.0/json/contracts.aug.md",
-    ".aug-spec/august/0.19.0/memory/store.aug",
-    ".aug-spec/august/0.19.0/memory/store.aug.md",
-    ".aug-spec/august/0.19.0/time/contracts.aug",
-    ".aug-spec/august/0.19.0/time/contracts.aug.md",
-    ".aug-spec/august/0.19.0/web/contracts.aug",
-    ".aug-spec/august/0.19.0/web/contracts.aug.md",
+    ".aug-spec/packages/@git/url_0eb7c89453c87681ed15/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/store.aug",
+    ".aug-spec/packages/@git/url_0eb7c89453c87681ed15/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/store.aug.md",
+    ".aug-spec/packages/@git/url_2d3c37c690c0fa115be1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug",
+    ".aug-spec/packages/@git/url_2d3c37c690c0fa115be1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug.md",
+    ".aug-spec/packages/@git/url_897efafd565158fc4908/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug",
+    ".aug-spec/packages/@git/url_897efafd565158fc4908/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug.md",
+    ".aug-spec/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/contracts.aug",
+    ".aug-spec/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/contracts.aug.md",
+    ".aug-spec/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/jose.aug",
+    ".aug-spec/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/jose.aug.md",
+    ".aug-spec/packages/@git/url_c092cd151499c4e1d8a1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug",
+    ".aug-spec/packages/@git/url_c092cd151499c4e1d8a1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug.md",
     "client/contracts.aug.md",
     "client/endpoints.aug.md",
     "client/export.aug.md",
@@ -36,5 +36,5 @@
     "provider/userinfo.aug.md",
     "provider/views.aug.md"
   ],
-  "digest": "21ab7e44109d4b6f126220d3aece959d724d2d71cf1e07dd5aa214f18e87e2fd"
+  "digest": "78cf80d2658be477f75de6700d0b2f997ddc6a912af4f3ca63462b6f927f8588"
 }

package/examples/oidc-login/.aug-spec/packages/@git/url_0eb7c89453c87681ed15/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/store.aug.md

@@ -0,0 +1,71 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `store.aug`
+
+<a id="symbol-StoreFull"></a>
+## `StoreFull` · class · [source](store.aug#L3)
+
+The bounded store could not accept another live entry. It implements `Error`.
+
+<a id="symbol-ExpiringStore"></a>
+## `ExpiringStore` · capability interface · [source](store.aug#L8)
+
+A bounded, expiring capability for immutable values. Each generic DI binding has its own table. The type parameters are `T` which must satisfy `Data`.
+
+<a id="symbol-ExpiringStore.put"></a>
+### `ExpiringStore.put` · [source](store.aug#L10)
+
+Remove expired entries, then store at most 512 live entries. Time is supplied by the caller. It takes `key` as a string, `value` as `T`, and `expires` and `now` as integers.
+
+It can call [`ExpiringStore.put`](store.aug.md#symbol-ExpiringStore.put). Failures can raise [`StoreFull`](store.aug.md#symbol-StoreFull).
+
+<a id="symbol-ExpiringStore.take"></a>
+### `ExpiringStore.take` · [source](store.aug#L12)
+
+Atomically remove a value. Expired or absent entries return null. It takes `key` as a string and `now` as an integer.
+
+It returns `optional T`. It can call [`ExpiringStore.take`](store.aug.md#symbol-ExpiringStore.take).
+
+<a id="symbol-ExpiringStore.get"></a>
+### `ExpiringStore.get` · [source](store.aug#L14)
+
+Read a live value without consuming it. It takes `key` as a string and `now` as an integer. It returns `optional T`. It can call [`ExpiringStore.get`](store.aug.md#symbol-ExpiringStore.get).
+
+<a id="symbol-MemoryStore"></a>
+## `MemoryStore` · class · [source](store.aug#L17)
+
+A synchronized table with short critical sections and no I/O while locked. It implements [`ExpiringStore<T>`](store.aug.md#symbol-ExpiringStore). The type parameters are `T` which must satisfy `Data`. The read-only, private field `_entries` has type `Shared<Map<string,_Entry<T>>>` and starts as a `Shared` with `value` from an empty map from `string` to [`_Entry<T>`](store.aug.md#symbol-_Entry).
+
+<a id="symbol-MemoryStore.put"></a>
+### `MemoryStore.put` · [source](store.aug#L19)
+
+Remove expired entries, then store at most 512 live entries. Time is supplied by the caller. It takes `key` as a string, `value` as `T`, and `expires` and `now` as integers. Failures can raise [`StoreFull`](store.aug.md#symbol-StoreFull).
+
+It sets `entry` to a [`_Entry`](store.aug.md#symbol-_Entry) for `T` with `value` and `expires`. While holding the lock on `_entries` as mutable `entries`, for each `name` and `saved` in a snapshot of `entries`, if `saved.expires` is at most `now`, it removes the key `name` from `entries`. After the loop, it checks that the number of elements in `entries` is less than `512` or whether `entries` contains the key `key` returns true. It raises a [`StoreFull`](store.aug.md#symbol-StoreFull) at the first failed check.
+
+It stores `entry` in `entries` under `key`. Release this lock when the block exits, including on return or failure.
+
+<a id="symbol-MemoryStore.take"></a>
+### `MemoryStore.take` · [source](store.aug#L28)
+
+Atomically remove a value. Expired or absent entries return null. It takes `key` as a string and `now` as an integer.
+
+While holding the lock on `_entries` as mutable `entries`, it obtains `entries.take` with `key`. If no value is found, it returns null. The non-null result becomes `saved`. It returns null if `saved.expires` is at most `now`, or `saved.value` otherwise.
+
+Release this lock when the block exits, including on return or failure.
+
+<a id="symbol-MemoryStore.get"></a>
+### `MemoryStore.get` · [source](store.aug#L37)
+
+Read a live value without consuming it. It takes `key` as a string and `now` as an integer.
+
+While holding the lock on `_entries` as mutable `entries`, it obtains the value under `key` in `entries`. If no value is found, it returns null. The non-null result becomes `saved`. It returns null if `saved.expires` is at most `now`, or `saved.value` otherwise.
+
+Release this lock when the block exits, including on return or failure.
+
+<a id="symbol-_Entry"></a>
+## `_Entry` · immutable record · [source](store.aug#L5)
+
+It is private to this file. The type parameters are `T` which must satisfy `Data`. It takes `value` as `T`, kept read-only and `expires` as an integer, kept read-only.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/oidc-login/.aug-spec/packages/@git/url_2d3c37c690c0fa115be1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug.md

@@ -0,0 +1,17 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `contracts.aug`
+
+<a id="symbol-parse"></a>
+## `parse` · [source](contracts.aug#L4)
+
+Parse strict UTF-8 JSON. Duplicate keys, invalid Unicode, oversized integers, and nesting beyond 64 levels raise JsonError. It takes `input` as a string. Failures can raise `JsonError`.
+
+Within an unsafe block, it returns [`_aug_json_parse`](contracts.aug.md#symbol-_aug_json_parse) with `input`. Native operations must satisfy their declared C contracts.
+
+<a id="symbol-_aug_json_parse"></a>
+## `_aug_json_parse` · [source](contracts.aug#L2)
+
+It is private to its defining scope. It takes `input` as a string. It returns `Json`. Failures can raise `JsonError`.
+
+Native C implementation; only its declared contract is visible here.