Did the decision survive? A proof, not a postmortem.
Verifies that the implementation conforms to what was designed — not whether the code works, but whether it aligns with the spec and architecture. Violations surface; they never block.
Place in the chain
Its place in the chain
- flmnt
- Sift
- Moment
- Facet
- Codex
- Forge
- Trace
- Proof
- Glean
the verification, against the chain
Conformance, three ways.
-
Structural
Static analysis against the designed architecture.
-
Behavioral
Replay and contract assertions via the harness.
-
Schema
Field declarations checked against the spec.
Relationships
-
Checks
Design ↔ implementation alignment.
-
Against
The DDD assertion corpus.
-
Stance
Surfaces violations — never blocks execution.