orchestrata_ultimate.factory.contracts

Reference › orchestrata_ultimate › factory › contracts › init

Package marker for the design-node contract schema and structural trace validation (SPEC-033 row B3, ADR-0007, ADR-0008). It defines no code of its own; see the package page.

At a glance

Class diagram

No classes; see Functions.

Dependency diagram

No internal imports and no importers.

API

No public API: the module defines no classes, functions or constants.

Source

Permalink: https://gitlab.com/MSamy/orchestrata-ultimate-architecture/-/blob/a4cbc2bdf/src/orchestrata_ultimate/factory/contracts/__init__.py

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

ADR-0007 ("traces are structurally validated, never model-declared") needs a
representation of "the design node's contract" to check a trace against — a
schema did not exist before this package, and B3 was blocked on that gap
(spec 033 backlog table, row B3). This package builds **exactly** that
minimal schema and its structural validator, no more:

Modules
-------
models              ``DesignNode`` / ``DesignContract`` (frozen dataclasses)
                     plus ``load_contract`` / ``save_contract`` (atomic JSON,
                     exact round-trip) and ``validate_contract`` (structural
                     checks run on load).
trace_validation    ``validate_traces`` — the ADR-0007 conjunction
                     (unit-in-contract AND reached-by-asserting-test),
                     checked over structural facts only (file lists, AST
                     imports, citation scans) — never the ``@traces``
                     decorator itself, which is the model-declared channel
                     ADR-0007 distrusts.
"""

from __future__ import annotations