Module formal_ai_cli 

CLI side of the experimental --use-formal-ai mode (issue #255): resolves the bounds and the runtime, tracks the execution like a direct run (start and finish blocks, log, execution record, START_* environment) and writes the evidence of the run into its log. Mirrors js/src/lib/formal-ai-cli.js.

The log stays local: this mode never creates issues or uploads logs.

Structs

CliOptions

What run_formal_ai_cli needs from the CLI.

Constants

EVIDENCE_SCHEMA

Functions

prefix_lines

[formal-ai] before every line, without trailing spaces.

request_text

Text of the request: the argv after --, joined by single spaces. It is only ever sent to Formal AI, never to a shell.

run_formal_ai_cli

Run --use-formal-ai and return the exit status.

validate_options

--use-formal-ai runs its tool calls directly in the current directory; other execution modes would change where and how they run.