Encoding · Types · Structs · Enumerations · Constants · Vocabulary · Refusals · Protocol
Schema
One definition; this page and every encoder are emitted from it. Nothing below is written by hand, and each rule tag links the construct to the profile that admits it.
Encoding [DEF-E1]
| setting | value | rule |
|---|
escape | minimal | [DEF-E2] |
indent | 2 | [DEF-E3] |
map_keys | utf8-bytes | [DEF-E4] |
numbers | integer-decimal | [DEF-E5] |
opaque | verbatim | [DEF-E6] |
terminator | newline | [DEF-E7] |
duplicate_keys | last | [DEF-E8] |
depth_limit | 64 | [DEF-E9] |
Types
| kind | types |
|---|
| built in | string |
| declared below | Origin Origins |
| string map [DEF-A10] | map<string,string> |
Structs [DEF-T1]
A field is required, or says when it is omitted [DEF-A4]. Each struct says on its own what it does with a field name it has never heard of [DEF-A7]. A wire name never moves; where a language must spell it differently the field says so [DEF-A2].
RunOverrides
unknown fields refuse
| id | field | type | presence | named elsewhere |
|---|
| 1 | nas_store | string | required | — |
| 2 | store | string | required | — |
| 3 | log_sink | string | required | — |
| 4 | log_service | string | required | — |
Origin
unknown fields refuse
| id | field | type | presence | named elsewhere |
|---|
| 1 | rung | string | required | — |
| 2 | path | string | required | — |
Origins
unknown fields refuse
| id | field | type | presence | named elsewhere |
|---|
| 1 | nas_store | Origin | required | — |
| 2 | store | Origin | required | — |
| 3 | log_sink | Origin | required | — |
| 4 | log_service | Origin | required | — |
| 5 | off | Origin | required | — |
Snapshot
the document [DEF-A1] · unknown fields refuse
| id | field | type | presence | named elsewhere |
|---|
| 1 | nas_store | string | required | — |
| 2 | store | string | required | — |
| 3 | log_sink | string | required | — |
| 4 | log_service | string | required | — |
| 5 | off | map<string,string> | required | — |
| 6 | origins | Origins | required | — |
| 7 | stamp | string | required | — |
Refusal words [DEF-R1]
| order | word | stage |
|---|
| 1 | malformed | grammar |
| 2 | bad_string | grammar |
| 3 | number_spelling | grammar |
| 4 | wrong_type | grammar |
| 5 | depth_exceeded | grammar |
| 6 | duplicate_field | structure |
| 7 | unknown_field | structure |
| 8 | missing_field | structure |
| 9 | trailing_bytes | document |
Service ConfigReader [DEF-S1]
Per-user configuration read service. Caller identity is checked independently of overrides.
Wire identity: abstraction.config/reader@1
Frames carry version, service, method and typed arguments. Transport owns framing, associated exchanges, deadlines and connections. Unknown version/service/method and malformed arguments are rejected before invoking a handler. One-way WriteFrame success means local submission, not remote acceptance or persistence.
Request-response methods use ExchangeFrame. Replies carry version, service, method, ok and payload; success payload contains typed value (or an empty object for void). Error payload contains nonempty code and message, which may be empty. ServiceError preserves unknown codes. Unexpected handler failures become handler_error without private details; invalid results become invalid_result. Clients validate reply identity and result before exposing it. A malformed frame or transport failure remains a local error; the transport must associate each response with its exchange. C++ dispatchers are pure protocol bindings, not listening servers.
Read same-user machine/user configuration with explicit caller run overrides. No writes, watch or provider fallback.
Read
request-response Snapshot
- Argument 1:
RunOverrides overrides (required, including zero/false/empty)