exhaust-implies-auto
IN premise
In `_derive_one_round`, proposals are auto-applied when either `args.auto` or `args.exhaust` is true; the `--exhaust` flag does not require the user to also pass `--auto`.
Summary
When running in exhaust mode, derived beliefs are automatically applied without needing explicit user approval. This means the --exhaust flag implicitly enables auto-apply behavior, so users do not need to pass both --exhaust and --auto together.
Dependents
These beliefs depend on this one:
- derive-pipeline-is-exhaustive-and-terminating — The derive pipeline supports exhaustive exploration mode while guaranteeing termination: `--exhaust` enables automatic application of all discovered proposals, and depth-based cycle detection with pre-recursion memoization prevents infinite loops even when justification chains are cyclic.
Details
| Source | entries/2026/04/23/reasons_lib-cli.md |