Skip to main content

Module document

Module document 

Source
Expand description

The embedded AWL document, its compiled identity, and its verified session contract. The embedded assistant document: its bytes, its compiled identity, and the session contract the operator verbs bind to.

§One document, one place

crates/aion-server/assistant-embed/assistant.awl is the ONLY copy of the assistant document in this repository. It is not a copy of an example — the example was moved here, so there is no second file to drift from. Everything downstream (the boot install, the /assistant description, the aion assistant verbs, the ops-console contract test) reads this one artifact.

§The session contract is named once and VERIFIED, never restated

An operator verb has to know which input carries the objective, which signal continues the session, and which fields that signal’s payload takes. Those names are declared here exactly once, as constants, and EmbeddedAssistant::load proves each one against the compiled document before returning. A document edit that renames objective, drops the assistant_continue signal, or changes the continuation’s fields therefore fails loudly at load — at boot, in the verb, and in this module’s own tests — instead of leaving a constant quietly disagreeing with the document it names.

Structs§

EmbeddedAssistant
The embedded assistant: the document’s bytes, the package compiled from them, and the contract surfaces an operator drives it through.

Enums§

EmbeddedAssistantError
A refusal to produce the embedded assistant.

Constants§

CONTINUE_END_FIELD
The continuation field that ends the session cleanly.
CONTINUE_MESSAGE_FIELD
The continuation field carrying the operator’s next prompt.
CONTINUE_SIGNAL
The one control signal a parked session listens on.
EMBEDDED_ASSISTANT_DOCUMENT
The embedded assistant document, compiled into the binary.
EMBEDDED_ASSISTANT_FILENAME
The document’s own filename, recorded in the assembled archive’s awl/ provenance tree so a deployed package carries the source it was built from.
OBJECTIVE_INPUT
The start input carrying the operator’s opening ask.
REPO_PATH_INPUT
The start input carrying the repository the session grounds itself in. The document’s documented scratch mode is the empty string.
STATUS_QUERY
The read-only query reporting a live session’s phase and round count.

Functions§

embedded_assistant
The process-wide embedded assistant, compiled once on first use.