orchestrata_governance.factory.projection
Reference › components › governance › orchestrata_governance › factory › projection
Projection analysis in the factory. analyzer (384 lines) computes what a spec projects onto, completeness checks that the required_set is covered, and the result types are pred_id, incomplete_projection and projection_undecidable. The first two are residue-only lifts (ADR-0103 P2-F).
6 modules, 535 lines of code.
Modules
| Module | Summary | LOC | Lifted from |
|---|---|---|---|
analyzer |
Residue-only lift of frozen factory.projection.analyzer (ADR-0103 P2-F). |
384 | lifted from orchestrata_ultimate.factory.projection.analyzer |
completeness |
Residue-only lift of frozen factory.projection.completeness (ADR-0103 P2-F). |
44 | lifted from orchestrata_ultimate.factory.projection.completeness |
incomplete_projection |
27 | ||
pred_id |
35 | ||
projection_undecidable |
16 | ||
required_set |
29 |
Dependency diagram
