Documentation

The streaming JSON reporter ingredient.

When activated via --streaming-json, replaces console output with newline-delimited JSON events streamed to stdout.

Ingredient that lists the test tree as JSON and exits without running tests.

Activated via --list-tests-json.

Default ingredients with streaming reporter added

Drop-in replacement for defaultMain that supports --streaming-json.

If you bypass this entry point and wire streamingIngredients manually, threat-model summaries will not appear in the JSON output unless you also call localOption (TMStoreOption (Just store)) . localOption (storeRecorder store) on your tree (with a freshly-allocated store from newTMStore).