Automation¶
Atlas automation resolves command ownership, loads explicit inputs, gates effects, and emits structured results. Shell, Make, and umbrella entrypoints are adapters around that control plane; they are not independent sources of repository behavior.
Route parity¶
flowchart LR
Registry[Registry identity + owner] --> Parser[CLI exposure]
Parser --> Dispatch[Dispatch implementation]
Dispatch --> Wrapper[Umbrella or Make delegation]
Wrapper --> Result[Equivalent result + exit semantics]
| Surface | Role | Contract boundary |
|---|---|---|
bijux dev atlas ... |
Installed maintainer route | Delegates without changing arguments or meaning |
bijux-atlas-dev ... |
Direct control-plane binary | Authoritative command implementation |
cargo run --locked -p bijux-atlas-dev -- ... |
Checkout execution | Behavior of the current source tree |
make ... |
Curated convenience aliases | Wrapper only; no hidden orchestration |
Registry membership establishes ownership and intent. It does not prove parser exposure, dispatch, or wrapper parity. Compare argument forwarding, default format, exit status, capability requirements, and report identity through every supported route.
Effect boundary¶
flowchart LR
Contract[Registered command] --> Required[Required effects]
Run[Arguments + granted effects] --> Gate{Required subset granted?}
Required --> Gate
Gate -->|no| Denied[Structured denial or skip]
Gate -->|yes| Execute[Owned adapter]
Execute --> Receipt[Target-bound result]
| Effect | Record with the result |
|---|---|
| filesystem write | Owned paths, previous and resulting identity, and generated status |
| subprocess | Executable identity, arguments, exit status, and captured output |
| Git | Repository, revision, worktree state, and exact operation |
| network | Endpoint, trust policy, retrieved identity, time, and partial-failure state |
| cluster | Profile, context, namespace, requested mutation, and admitted identity |
Capability presence proves permission, not successful execution. Denials, missing tools, skipped external checks, and incomplete outputs remain explicit.
Report validation depth¶
The generic reports validate route walks JSON reports and checks that each
report_id exists in the registry and its numeric version matches. It does
not validate payloads against referenced JSON Schemas, inspect internal status,
or prove that referenced artifacts exist.
| Layer | Establishes |
|---|---|
| registry validation | Report identity and version membership |
| schema validation | Payload fields and types match the report contract |
| semantic validation | Status, findings, counts, and invariants agree |
| artifact verification | Referenced outputs exist and match recorded hashes |
| candidate binding | Inputs and outputs belong to the release under review |
Use every applicable layer before treating a report as decision-bearing. A generic registry pass is catalog hygiene, not full report conformance.
Route by intent¶
| Need | Continue to |
|---|---|
| Discover the exposed command model | Automation Command Surface |
| Trace direct and delegated dispatch | Command Routing |
| Understand execution and effects | Automation Control Plane |
| Inspect report families | Automation Reports Reference |
| Regenerate governed references | Generated Reference Workflows |
| Review external-tool policy | Subprocess Allowance |
| Separate teaching runs from release proof | Tutorial Runs |
| Add a public command | Adding CLI Surface |
| Add a public HTTP route | Adding HTTP Surface |
| Add a governed contract | Adding Contracts |