manifold-m5-verify

Constraint verification compares implementation, tests, docs, and operations against defined constraints to identify coverage gaps. It generates a verification matrix with statuses like SATISFIED, PARTIAL, and MISSING to highlight required actions across all artifacts.

A verification matrix tracks artifact coverage by mapping all constraints against all artifacts. It surfaces gaps by assigning statuses such as SATISFIED, PARTIAL, or MISSING, providing actionable details for incomplete or missing evidence across codebases and operations.

Generate a verification matrix by explicitly invoking the command against a feature name. This triggers an end-to-end verification workflow that compares all artifacts against defined constraints and outputs the matrix with detailed coverage gaps.

Yes, end-to-end verification applies to codebases, tests, docs, and deployment configurations. It coordinates verification status across all these artifacts to ensure constraints are met and to enforce evidence-based checks during phase transitions.

Tracking missing evidence requires verifying all artifacts against defined constraints to produce a comprehensive matrix. This approach highlights MISSING and PARTIAL statuses, detailing exactly where coverage gaps exist and what actions are required to resolve them.