amiss-bootstrap 0.9.1

Trusted CI wrapper that validates and launches a verified Amiss engine
Documentation

amiss-bootstrap

The trusted CI wrapper for Amiss. It validates a pinned action tree as plain data, checks the release manifest, the runtime closure, and the engine digest, and only then launches the verified engine with a cleared environment, fixed arguments, and a wall-clock timeout. The one crate in the workspace allowed to start a process.

The sealed entry is:

amiss-bootstrap exec --action-repository P --repository P --constraint F \
  --evaluation-request F --snapshot-request F --controls-request F --scratch P \
  --report F --result F

The nested controller workspace builds the offline constraint producer:

amiss-constraint --action-repository P --action-identity H/O/N \
  --action-commit OID --bootstrap F --required-status-name N --output F

It reads the exact commit from a local action object store, derives the tree, manifest, target platform, and bootstrap digest, validates every dependency lock and the selected runtime closure, and creates one canonical constraint without replacing an existing file. It fetches and authenticates nothing. The operator workflow and trust boundary are documented in Prepare the execution constraint.

--scratch is a controller-owned absolute directory for the private verified engine copy; the bootstrap never discovers it through ambient environment variables. --report and --result are required. They must be distinct, controller-created empty regular files named report and result directly inside --scratch. Bootstrap opens those files without replacing them. An accepted report is written and flushed to --report first; the short, versioned pass or block record is then written to --result as its commit marker. Failed evaluations leave the report empty and publish only their result record. A report without its result marker is ignored. An invalid invocation leaves both files untouched, and standard output carries no report bytes.

Part of Amiss.