@evolith/core-domain 1.0.0 → 1.0.1

package/rulesets/opa/cli-release-readiness.test.rego

@@ -0,0 +1,46 @@
+package evolith.cli_release_readiness_test
+
+import data.evolith.cli_release_readiness
+
+compliant_input := {"satellite": {"releaseReadiness": {
+  "buildPasses": true,
+  "testsPass": true,
+  "lockFilePresent": true,
+  "mcpSmokePasses": true,
+  "readmeExists": true,
+}}}
+
+test_compliant_release_readiness_has_no_violations {
+  violations := cli_release_readiness.violations with input as compliant_input
+  count(violations) == 0
+}
+
+test_build_failure_is_rejected {
+  i := json.patch(compliant_input, [{"op": "replace", "path": "/satellite/releaseReadiness/buildPasses", "value": false}])
+  violations := cli_release_readiness.violations with input as i
+  violations[_].id == "CLI-RR-01"
+}
+
+test_tests_failure_is_rejected {
+  i := json.patch(compliant_input, [{"op": "replace", "path": "/satellite/releaseReadiness/testsPass", "value": false}])
+  violations := cli_release_readiness.violations with input as i
+  violations[_].id == "CLI-RR-02"
+}
+
+test_missing_lock_file_is_rejected {
+  i := json.patch(compliant_input, [{"op": "replace", "path": "/satellite/releaseReadiness/lockFilePresent", "value": false}])
+  violations := cli_release_readiness.violations with input as i
+  violations[_].id == "CLI-RR-03"
+}
+
+test_mcp_smoke_failure_is_rejected {
+  i := json.patch(compliant_input, [{"op": "replace", "path": "/satellite/releaseReadiness/mcpSmokePasses", "value": false}])
+  violations := cli_release_readiness.violations with input as i
+  violations[_].id == "CLI-RR-04"
+}
+
+test_missing_readme_is_rejected {
+  i := json.patch(compliant_input, [{"op": "replace", "path": "/satellite/releaseReadiness/readmeExists", "value": false}])
+  violations := cli_release_readiness.violations with input as i
+  violations[_].id == "CLI-RR-05"
+}

package/rulesets/opa/compliance-baseline.rego

@@ -0,0 +1,95 @@
+package evolith.compliance_baseline
+
+# ---------------------------------------------------------------------------
+# Native counterpart: rulesets/compliance-baseline/compliance-baseline.rules.json
+# CB-VAL-*: format validation (evolith.yaml structure)
+# CB-01..05: semantic validation (implementation evidence per pillar)
+# Dual-Engine Parity: R-25
+# ---------------------------------------------------------------------------
+
+required_pillars := {"agnosticBaseline", "referenceBlueprint", "engineeringManifesto", "definitionOfDone", "repositoryTaxonomy"}
+
+# ---------------------------------------------------------------------------
+# CB-VAL: Format validation — evolith.yaml compliance section structure
+# ---------------------------------------------------------------------------
+
+violations[{"id": "CB-VAL-01", "message": msg}] {
+    missing := required_pillars - {p | p := object.keys(input.spec.compliance)[_]}
+    count(missing) > 0
+    msg := sprintf("Missing compliance pillars: %v", [concat(", ", missing)])
+}
+
+violations[{"id": "CB-VAL-02", "message": msg}] {
+    pillar := required_pillars[_]
+    val := input.spec.compliance[pillar]
+    not is_string(val)
+    msg := sprintf("Pillar '%s' reference must be a non-empty string", [pillar])
+}
+
+violations[{"id": "CB-VAL-02", "message": msg}] {
+    pillar := required_pillars[_]
+    val := input.spec.compliance[pillar]
+    is_string(val)
+    count(val) == 0
+    msg := sprintf("Pillar '%s' reference must be a non-empty string", [pillar])
+}
+
+# ---------------------------------------------------------------------------
+# CB-01: Agnostic Baseline — technology selection validated
+# Checks that agnosticBaseline pillar is declared in evolith.yaml compliance.
+# Deep content validation (approved package list) is performed by the CLI.
+# ---------------------------------------------------------------------------
+
+violations[{"id": "CB-01", "message": "Technology selection must be validated against Agnostic Baseline. Declare spec.compliance.agnosticBaseline in evolith.yaml pointing to the authoritative tech stack document."}] {
+    not input.spec.compliance.agnosticBaseline
+}
+
+# ---------------------------------------------------------------------------
+# CB-02: Reference Blueprint — architecture traceable to Blueprint
+# ---------------------------------------------------------------------------
+
+violations[{"id": "CB-02", "message": "Product architecture must be traceable to the Reference Blueprint. Declare spec.compliance.referenceBlueprint in evolith.yaml."}] {
+    not input.spec.compliance.referenceBlueprint
+}
+
+# ---------------------------------------------------------------------------
+# CB-03: Engineering Manifesto — principles enforced via linting
+# Also checks that the satellite has at least one linting workflow configured.
+# ---------------------------------------------------------------------------
+
+violations[{"id": "CB-03", "message": "Engineering Manifesto principles must be enforced. Declare spec.compliance.engineeringManifesto in evolith.yaml."}] {
+    not input.spec.compliance.engineeringManifesto
+}
+
+violations[{"id": "CB-03", "message": "Engineering Manifesto requires linting enforcement. No CI workflow containing 'lint' detected in satellite .github/workflows/."}] {
+    input.spec.compliance.engineeringManifesto
+    not any_workflow_has_lint
+}
+
+any_workflow_has_lint if {
+    wf := input.satellite.workflows[_]
+    contains(wf, "lint")
+}
+
+# ---------------------------------------------------------------------------
+# CB-04: Definition of Done — satisfied before story closure
+# ---------------------------------------------------------------------------
+
+violations[{"id": "CB-04", "message": "Definition of Done must be satisfied before story closure. Declare spec.compliance.definitionOfDone in evolith.yaml."}] {
+    not input.spec.compliance.definitionOfDone
+}
+
+# ---------------------------------------------------------------------------
+# CB-05: Repository Taxonomy — structure follows Taxonomy rules
+# Checks that satellite has the minimum required top-level directories.
+# ---------------------------------------------------------------------------
+
+violations[{"id": "CB-05", "message": "Repository structure must follow Taxonomy rules. Declare spec.compliance.repositoryTaxonomy in evolith.yaml."}] {
+    not input.spec.compliance.repositoryTaxonomy
+}
+
+violations[{"id": "CB-05", "message": "Repository Taxonomy requires 'src' directory. Satellite is missing expected top-level directory."}] {
+    input.spec.compliance.repositoryTaxonomy
+    satellite_dirs := {d | d := input.satellite.directories[_]}
+    not satellite_dirs["src"]
+}

package/rulesets/opa/compliance-baseline.test.rego

@@ -0,0 +1,89 @@
+package evolith.compliance_baseline_test
+
+import data.evolith.compliance_baseline
+
+test_compliant_baseline_has_no_violations {
+    violations := compliance_baseline.violations with input as {
+        "spec": {
+            "compliance": {
+                "agnosticBaseline": "reference/agnostic-baseline.md",
+                "referenceBlueprint": "reference/blueprint.md",
+                "engineeringManifesto": "reference/engineering-manifesto.md",
+                "definitionOfDone": "reference/dod.md",
+                "repositoryTaxonomy": "reference/taxonomy.md"
+            }
+        }
+    }
+    count(violations) == 0
+}
+
+test_missing_pillar_is_violation {
+    violations := compliance_baseline.violations with input as {
+        "spec": {
+            "compliance": {
+                "agnosticBaseline": "reference/agnostic-baseline.md",
+                "referenceBlueprint": "reference/blueprint.md",
+                "engineeringManifesto": "reference/engineering-manifesto.md",
+                "definitionOfDone": "reference/dod.md"
+            }
+        }
+    }
+    violations[_].id == "CB-VAL-01"
+}
+
+test_empty_pillar_reference_is_violation {
+    violations := compliance_baseline.violations with input as {
+        "spec": {
+            "compliance": {
+                "agnosticBaseline": "reference/agnostic-baseline.md",
+                "referenceBlueprint": "",
+                "engineeringManifesto": "reference/engineering-manifesto.md",
+                "definitionOfDone": "reference/dod.md",
+                "repositoryTaxonomy": "reference/taxonomy.md"
+            }
+        }
+    }
+    violations[_].id == "CB-VAL-02"
+}
+
+test_non_string_pillar_reference_is_violation {
+    violations := compliance_baseline.violations with input as {
+        "spec": {
+            "compliance": {
+                "agnosticBaseline": "reference/agnostic-baseline.md",
+                "referenceBlueprint": 123,
+                "engineeringManifesto": "reference/engineering-manifesto.md",
+                "definitionOfDone": "reference/dod.md",
+                "repositoryTaxonomy": "reference/taxonomy.md"
+            }
+        }
+    }
+    violations[_].id == "CB-VAL-02"
+}
+
+test_multiple_missing_pillars {
+    violations := compliance_baseline.violations with input as {
+        "spec": {
+            "compliance": {
+                "agnosticBaseline": "ref.md"
+            }
+        }
+    }
+    count(violations) >= 1
+    violations[_].id == "CB-VAL-01"
+}
+
+test_all_empty_references {
+    violations := compliance_baseline.violations with input as {
+        "spec": {
+            "compliance": {
+                "agnosticBaseline": "",
+                "referenceBlueprint": "",
+                "engineeringManifesto": "",
+                "definitionOfDone": "",
+                "repositoryTaxonomy": ""
+            }
+        }
+    }
+    count(violations) == 5
+}

package/rulesets/opa/dod.rego

@@ -0,0 +1,42 @@
+package evolith.dod
+
+violations[{"id": "DOD-01", "message": "Code review count must be >= 1"}] {
+    input.story.reviewCount < 1
+}
+
+violations[{"id": "DOD-02", "message": "Test coverage must be >= 80%"}] {
+    input.story.coveragePercent < 80
+}
+
+violations[{"id": "DOD-03", "message": "Acceptance criteria must be verified"}] {
+    not input.story.acceptanceCriteriaVerified
+}
+
+violations[{"id": "DOD-04", "message": "Documentation must be updated"}] {
+    not input.story.documentationUpdated
+}
+
+violations[{"id": "DOD-05", "message": "Observability instrumentation must be added"}] {
+    not input.story.observabilityAdded
+}
+
+violations[{"id": "DOD-06", "message": "Security gates must pass"}] {
+    not input.story.securityGatesPassed
+}
+
+violations[{"id": "DOD-07", "message": "ADR must be created when architectural decision is made"}] {
+    input.story.architecturalDecisionMade
+    not input.story.adrCreated
+}
+
+violations[{"id": "DOD-08", "message": "Integration tests must be passing"}] {
+    not input.story.integrationTestsPassing
+}
+
+violations[{"id": "DOD-09", "message": "Linting must pass"}] {
+    not input.story.lintPassing
+}
+
+violations[{"id": "DOD-10", "message": "CI pipeline must be green"}] {
+    not input.story.ciGreen
+}

package/rulesets/opa/dod.test.rego

@@ -0,0 +1,250 @@
+package evolith.dod_test
+
+import data.evolith.dod
+
+test_compliant_story_has_no_violations {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 2,
+            "coveragePercent": 90,
+            "acceptanceCriteriaVerified": true,
+            "documentationUpdated": true,
+            "observabilityAdded": true,
+            "securityGatesPassed": true,
+            "architecturalDecisionMade": false,
+            "adrCreated": false,
+            "integrationTestsPassing": true,
+            "lintPassing": true,
+            "ciGreen": true
+        }
+    }
+    count(violations) == 0
+}
+
+test_missing_code_review_is_violation {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 0,
+            "coveragePercent": 90,
+            "acceptanceCriteriaVerified": true,
+            "documentationUpdated": true,
+            "observabilityAdded": true,
+            "securityGatesPassed": true,
+            "architecturalDecisionMade": false,
+            "adrCreated": false,
+            "integrationTestsPassing": true,
+            "lintPassing": true,
+            "ciGreen": true
+        }
+    }
+    violations[_].id == "DOD-01"
+}
+
+test_low_coverage_is_violation {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 1,
+            "coveragePercent": 60,
+            "acceptanceCriteriaVerified": true,
+            "documentationUpdated": true,
+            "observabilityAdded": true,
+            "securityGatesPassed": true,
+            "architecturalDecisionMade": false,
+            "adrCreated": false,
+            "integrationTestsPassing": true,
+            "lintPassing": true,
+            "ciGreen": true
+        }
+    }
+    violations[_].id == "DOD-02"
+}
+
+test_acceptance_criteria_not_verified_is_violation {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 1,
+            "coveragePercent": 85,
+            "acceptanceCriteriaVerified": false,
+            "documentationUpdated": true,
+            "observabilityAdded": true,
+            "securityGatesPassed": true,
+            "architecturalDecisionMade": false,
+            "adrCreated": false,
+            "integrationTestsPassing": true,
+            "lintPassing": true,
+            "ciGreen": true
+        }
+    }
+    violations[_].id == "DOD-03"
+}
+
+test_documentation_not_updated_is_violation {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 1,
+            "coveragePercent": 85,
+            "acceptanceCriteriaVerified": true,
+            "documentationUpdated": false,
+            "observabilityAdded": true,
+            "securityGatesPassed": true,
+            "architecturalDecisionMade": false,
+            "adrCreated": false,
+            "integrationTestsPassing": true,
+            "lintPassing": true,
+            "ciGreen": true
+        }
+    }
+    violations[_].id == "DOD-04"
+}
+
+test_observability_not_added_is_violation {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 1,
+            "coveragePercent": 85,
+            "acceptanceCriteriaVerified": true,
+            "documentationUpdated": true,
+            "observabilityAdded": false,
+            "securityGatesPassed": true,
+            "architecturalDecisionMade": false,
+            "adrCreated": false,
+            "integrationTestsPassing": true,
+            "lintPassing": true,
+            "ciGreen": true
+        }
+    }
+    violations[_].id == "DOD-05"
+}
+
+test_security_gates_not_passed_is_violation {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 1,
+            "coveragePercent": 85,
+            "acceptanceCriteriaVerified": true,
+            "documentationUpdated": true,
+            "observabilityAdded": true,
+            "securityGatesPassed": false,
+            "architecturalDecisionMade": false,
+            "adrCreated": false,
+            "integrationTestsPassing": true,
+            "lintPassing": true,
+            "ciGreen": true
+        }
+    }
+    violations[_].id == "DOD-06"
+}
+
+test_architectural_decision_without_adr_is_violation {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 1,
+            "coveragePercent": 85,
+            "acceptanceCriteriaVerified": true,
+            "documentationUpdated": true,
+            "observabilityAdded": true,
+            "securityGatesPassed": true,
+            "architecturalDecisionMade": true,
+            "adrCreated": false,
+            "integrationTestsPassing": true,
+            "lintPassing": true,
+            "ciGreen": true
+        }
+    }
+    violations[_].id == "DOD-07"
+}
+
+test_architectural_decision_with_adr_is_not_violation {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 1,
+            "coveragePercent": 85,
+            "acceptanceCriteriaVerified": true,
+            "documentationUpdated": true,
+            "observabilityAdded": true,
+            "securityGatesPassed": true,
+            "architecturalDecisionMade": true,
+            "adrCreated": true,
+            "integrationTestsPassing": true,
+            "lintPassing": true,
+            "ciGreen": true
+        }
+    }
+    count(violations) == 0
+}
+
+test_integration_tests_not_passing_is_violation {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 1,
+            "coveragePercent": 85,
+            "acceptanceCriteriaVerified": true,
+            "documentationUpdated": true,
+            "observabilityAdded": true,
+            "securityGatesPassed": true,
+            "architecturalDecisionMade": false,
+            "adrCreated": false,
+            "integrationTestsPassing": false,
+            "lintPassing": true,
+            "ciGreen": true
+        }
+    }
+    violations[_].id == "DOD-08"
+}
+
+test_lint_not_passing_is_violation {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 1,
+            "coveragePercent": 85,
+            "acceptanceCriteriaVerified": true,
+            "documentationUpdated": true,
+            "observabilityAdded": true,
+            "securityGatesPassed": true,
+            "architecturalDecisionMade": false,
+            "adrCreated": false,
+            "integrationTestsPassing": true,
+            "lintPassing": false,
+            "ciGreen": true
+        }
+    }
+    violations[_].id == "DOD-09"
+}
+
+test_ci_not_green_is_violation {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 1,
+            "coveragePercent": 85,
+            "acceptanceCriteriaVerified": true,
+            "documentationUpdated": true,
+            "observabilityAdded": true,
+            "securityGatesPassed": true,
+            "architecturalDecisionMade": false,
+            "adrCreated": false,
+            "integrationTestsPassing": true,
+            "lintPassing": true,
+            "ciGreen": false
+        }
+    }
+    violations[_].id == "DOD-10"
+}
+
+test_multiple_violations_detected {
+    violations := dod.violations with input as {
+        "story": {
+            "reviewCount": 0,
+            "coveragePercent": 50,
+            "acceptanceCriteriaVerified": false,
+            "documentationUpdated": false,
+            "observabilityAdded": false,
+            "securityGatesPassed": false,
+            "architecturalDecisionMade": false,
+            "adrCreated": false,
+            "integrationTestsPassing": false,
+            "lintPassing": false,
+            "ciGreen": false
+        }
+    }
+    count(violations) == 9
+}

package/rulesets/opa/engineering-manifesto.rego

@@ -0,0 +1,78 @@
+package evolith.engineering_manifesto
+
+violations[{"id": "EM-S-01", "message": msg}] {
+    input.classLineCount > 200
+    msg := sprintf("Class exceeds 200 lines (%d lines found)", [input.classLineCount])
+}
+
+violations[{"id": "EM-S-03", "message": msg}] {
+    input.liskovViolations > 0
+    msg := sprintf("Liskov Substitution violations detected (%d found)", [input.liskovViolations])
+}
+
+violations[{"id": "EM-S-05", "message": "Domain layer must not import Infrastructure layer"}] {
+    input.domainImportsInfrastructure
+}
+
+violations[{"id": "EM-K-01", "message": msg}] {
+    input.maxCyclomaticComplexity > 15
+    msg := sprintf("Cyclomatic complexity exceeds 15 (found %d)", [input.maxCyclomaticComplexity])
+}
+
+violations[{"id": "AP-01", "message": msg}] {
+    input.classLineCount > 500
+    msg := sprintf("God class detected: %d lines exceeds 500-line threshold", [input.classLineCount])
+}
+
+violations[{"id": "AP-01", "message": msg}] {
+    input.classMethodCount > 20
+    msg := sprintf("God class detected: %d methods exceeds 20-method threshold", [input.classMethodCount])
+}
+
+violations[{"id": "AP-02", "message": "Circular dependency detected"}] {
+    input.circularDependencies
+}
+
+violations[{"id": "AP-03", "message": msg}] {
+    input.shotgunSurgerySignals > 0
+    msg := sprintf("Shotgun Surgery detected: one change requires modifying %d different classes (%d signals found)", [input.shotgunSurgeryClassCount, input.shotgunSurgerySignals])
+}
+
+violations[{"id": "AP-04", "message": msg}] {
+    input.spaghettiCodeSignals > 0
+    msg := sprintf("Spaghetti Code detected: complex nested control structures found (%d signals)", [input.spaghettiCodeSignals])
+}
+
+violations[{"id": "AP-05", "message": msg}] {
+    input.magicNumbersCount > 0
+    msg := sprintf("Magic numbers detected (%d found)", [input.magicNumbersCount])
+}
+
+violations[{"id": "EM-S-02", "message": "Open/Closed Principle violated — class modified directly for new behavior instead of extending via interface or inheritance"}] {
+    input.openClosedViolations > 0
+}
+
+violations[{"id": "EM-S-04", "message": msg}] {
+    input.interfaceSegregationViolations > 0
+    msg := sprintf("Interface Segregation violated: %d fat interfaces found with methods unused by implementing classes", [input.interfaceSegregationViolations])
+}
+
+violations[{"id": "EM-D-01", "message": msg}] {
+    input.duplicateCodeRatio > 5
+    msg := sprintf("DRY violation: duplicate code ratio is %v%% (threshold: 5%%)", [input.duplicateCodeRatio])
+}
+
+violations[{"id": "EM-D-02", "message": msg}] {
+    input.duplicateConfigCount > 0
+    msg := sprintf("Configuration duplication detected: %d configuration values hardcoded in multiple locations", [input.duplicateConfigCount])
+}
+
+violations[{"id": "EM-K-02", "message": msg}] {
+    input.prematureAbstractionSignals > 0
+    msg := sprintf("Premature abstraction detected: %d abstractions with only one concrete use", [input.prematureAbstractionSignals])
+}
+
+violations[{"id": "EM-Y-01", "message": msg}] {
+    input.yagniViolations > 0
+    msg := sprintf("YAGNI violation: %d unused features or abstractions implemented ahead of actual need", [input.yagniViolations])
+}