PostconditionReport

The outcome of checking every consequence a `make` run promised — the report that makes `ok:true` MEAN the promised artifacts and wiring actually exist. A run is {@see self::ok()} only when no REQUIRED consequence is missing; a missing required consequence is a dangling reference (an entity with no repository, a field naming an enum that was never made) and puts the run in the `incomplete` state {@see \Milpa\DevTools\Operations\MakeHandler} reports instead of PASS. Advisory (non-required) checks — the plugin's activation in `config/plugins.php` — are carried for the caller to see but never fail the run.

public function __construct(array $checks):

Parameters

public function ok(): bool

True when no REQUIRED consequence is missing — advisory checks never fail the run.

public function missing(): array

The names of the required consequences that are missing — empty when the run is complete.

public function toArray(): array

The report as the plain array the {@see \Milpa\DevTools\Operations\MakeHandler} attaches to its result, so every surface (CLI, TUI, agent) reads the same shape.