Module document 

The embedded AWL document, its compiled identity, and the verified names the server half keys on. The embedded update-check document: its bytes, its compiled identity, and the verified names the server half keys on.

One document, one place

crates/aion-server/update-check-embed/update-check.awl is the ONLY copy of the update-check document in this repository, embedded exactly as the assistant’s is (include_str! from inside the crate, so cargo package carries it and an installed binary holds the same bytes this repository does). The boot install, the dispatch observer, and this module’s tests all read this one artifact.

The names are declared once and VERIFIED, never restated

The dispatch observer ([super::observer]) recognises the check by its task queue and action name, and trusts a completed dispatch only when the run’s resolved body is the exact command below. Those three names are declared here as constants and EmbeddedUpdateCheck::load proves each one against the compiled document before returning — a document edit that renames the queue, the action, or the command fails loudly at load (at boot, and in this module’s own tests) instead of leaving the observer keyed on names the document no longer carries.

Structs

EmbeddedUpdateCheck

The embedded update check: the document’s bytes and the package compiled from them.

Enums

EmbeddedUpdateCheckError

A refusal to produce the embedded update-check package, naming the stage that refused.

Constants

EMBEDDED_UPDATE_CHECK_DOCUMENT

The embedded update-check document, compiled into the binary.

EMBEDDED_UPDATE_CHECK_FILENAME

The document’s own filename, recorded in the assembled archive’s awl/ provenance tree.

FETCH_ACTION

The one action: fetch the sparse-index line file for aion-cli.

FETCH_COMMAND

The declared command, verbatim as the document authors it. The observer records a check’s result ONLY when the dispatching run’s resolved body is exactly this command — see [super::observer] for why. The crate the URL ends in is the crate the index parser demands of every line (super::index::INDEX_CRATE_NAME); a document test pins the two together.

UPDATE_CHECK_QUEUE

The task queue the check’s one action is declared on. No worker serves it; the declared body executes at the server.

UPDATE_CHECK_WORKFLOW_TYPE

The workflow type an operator starts. Also the compiled entry module, which EmbeddedUpdateCheck::load verifies.

Functions

embedded_update_check

The process-wide embedded update check, compiled once on first use.