orchestrata_ultimate.factory.formalization
Reference › orchestrata_ultimate › factory › formalization › init
Package marker for declared formalization and C4 detection (SPEC-033 row B26, ADR-0022, REQ-033-C4). It defines no code of its own; see the package page.
At a glance
| Source | src/orchestrata_ultimate/factory/formalization/__init__.py |
| Lines of code | 28 |
| Classes | 0 |
| Functions | 0 |
| Imports (internal) | none |
| Imported by | none |
| Tests that import it | none |
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
"""SPEC-033 declared formalization + C4 detection (B26, ADR-0022, REQ-033-C4).
C4 is the model-free sibling of C2 (interpretation mutation): given a
requirement's DECLARED FORMALIZATION -- a finite constraint-satisfaction
problem over named, typed variables -- detect (a) contradiction (the
constraint set admits no solution) and (b) under-constraint (it admits >=2
materially different solutions). It has no generator-coverage limitation
because it is exhaustive over a finite, small domain, not sampled.
Modules
-------
models ``Domain``, ``Variable``, ``ConstraintKind``, ``Constraint``,
``Formalization`` -- the declared-formalization schema, structural
validation, and atomic JSON load/save.
c4 ``solutions``, ``check_contradiction``, ``check_under_constraint``,
``run_c4`` -- the exhaustive-search detectors + counterexample
enumeration (ADR-0026 discipline: findings carry witnesses, never
a boolean).
dor_bridge ``c4_blocking_findings`` -- human-readable finding lines for DoR
(B8 wires the actual gate; not done here).
C4 speaks only about the DECLARED formalization (ADR-0011's boundary): a
missing constraint that was also missing from the declaration is invisible
to C4, and no field in this package's outputs claims completeness of the
underlying requirement.
"""
from __future__ import annotations