orchestrata_ultimate.factory.contracts

Reference › orchestrata_ultimate › factory › contracts

Minimal design-node contract schema (SPEC-033 B3; ADR-0007, ADR-0008).

The contracts package defines the minimal design-node contract and uses it to validate @traces claims structurally (SPEC-033 row B3, ADR-0007, ADR-0008). models holds DesignNode and DesignContract (which modules, symbols and requirements a node owns), their validation and JSON persistence. trace_validation holds validate_traces, which checks changed files against a contract without reading the model-written @traces decorator: each changed unit must be claimed by a node, and each requirement must be cited by a test that reaches the unit. The contract is also the input to the conformance engine. The command-line entry points are scripts.factory_trace_check and scripts.factory_conformance. Start with models.

3 modules, 481 lines of code.

Modules

Module Summary LOC
__init__ Minimal design-node contract schema (SPEC-033 B3; ADR-0007, ADR-0008). 23
models The minimal design-node contract schema (SPEC-033 B3, ADR-0007). 201
trace_validation Structural trace validation (SPEC-033 B3; ADR-0007, ADR-0008). 257

Dependency diagram

Package dependency diagram orchestrata_ultimate.factory.contracts