Skip to main content

Module exec

Module exec 

Source
Expand description

Typed dual-subprocess runner — the shared substrate every ParityCheck rides on.

The original sui-sweep ran two subprocesses inline. Reaching for the same shape from a second site (the rebuild-probe sweep, the eventual sui rebuild-shadow subcommand, the operator-facing fleet rebuild --shadow-sui wrapper) makes this the canonical place to put it.

Two construction guarantees this module pins down:

  1. NO SHELL. Every subprocess is built with typed Command pieces. There is no bash -c anywhere in the parity path.
  2. Timeout is mandatory. Every invocation goes through run_with_timeout, which SIGKILLs the child after timeout. The parity harness must never hang on a runaway evaluator.

Structs§

CapturedOutput
Captured output of one subprocess invocation.

Functions§

command_argv
Render a Command back to a typed argv vector for the report.
dual_run
Run two commands sequentially under the same timeout each, returning (sui_output, nix_output).
run_with_timeout
Run a single command with a hard SIGKILL on timeout.