complectens

Layered tests use named helpers with per-layer deftests to prove each contract independently. This modular test design prevents forward references, enforces a top-down dependency graph, and keeps failure points traceable to the exact layer.

A per-layer proof is a dedicated deftest that validates the contract of a specific named helper. This testing approach ensures each layer is independently verified before final top-down composition, providing a clear failure trace for debugging.

Modular tests fail to trace failures when they lack per-layer deftests for named helpers. Implementing a top-down dependency graph with individual proofs for each layer ensures failure points remain traceable to the exact helper contract.

Enforce a top-down dependency graph by composing final tests from upper layers and preventing forward references between helpers. This structure documents intent and keeps tests modular by validating each named helper with its own deftest.

Complectens identifies whether a test suite uses layered, named helpers with per-layer proofs instead of monolithic tests. It validates top-down structure and prevents forward references, making it suitable for refactoring monolithic suites into modular tests.

Layered test design works without external dependencies by defining named helpers and per-layer deftests within a single file. This approach relies on structuring tests modularly and validating top-down composition rather than requiring specific frameworks.