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 |