Module project 

The application a verb operates on: locating it, reading its one stated config, and judging whether the compiled page is stale.

Structs

App

One located Frame application.

Functions

ensure_page_toolchain

Ensures the page’s type/proof toolchain is installed, announcing the one network step loudly before running it — never silently.

observe_step

Like run_step, but reports success as a bool instead of aborting — used by the multi-part verdicts (frame test, frame check) that run every scope before judging.

run_step

Runs one foreground command with inherited stdio, returning a typed failure carrying the command line when it exits unsuccessfully.