@evolith/core-domain 1.0.1 → 1.0.3

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

@@ -1,46 +0,0 @@
-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

@@ -1,95 +0,0 @@
-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

@@ -1,89 +0,0 @@
-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

@@ -1,42 +0,0 @@
-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

@@ -1,250 +0,0 @@
-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

@@ -1,78 +0,0 @@
-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])
-}