@ecoma-io/archkeep 0.25.0 → 0.27.0

package/src/corpus/goldens/report.json

@@ -0,0 +1,168 @@
+{
+  "schemaVersion": 2,
+  "tool": {
+    "name": "@ecoma-io/archkeep",
+    "version": "0.27.0"
+  },
+  "command": "report",
+  "workspace": {
+    "root": "<fixture-root>",
+    "provider": "native",
+    "marker": "archkeep.json",
+    "provenance": {
+      "commit": "1fd51709c377d99a6139891e1200291cf08aede9",
+      "remote": null,
+      "dirty": false
+    }
+  },
+  "status": "ok",
+  "exitCode": 0,
+  "coverage": {
+    "complete": true,
+    "projects": 3,
+    "analyzedFiles": 3,
+    "imports": 2,
+    "notAnalyzed": [],
+    "blindSpots": [],
+    "notes": [
+      "report composes health, waivers, fitness, the ADR registry and provenance through the same functions those commands run; it performs no scan of its own and cannot disagree with them about the same tree.",
+      "a waiver's active/expired status is judged against this run's reference instant, the same judgement `check` makes; remainingMs is not carried here — run `waivers` for it.",
+      "the debt surface here is the per-run one (the boundary law's own deferred rows). The ledger aged across snapshots is `debt`'s, which needs a snapshot directory."
+    ]
+  },
+  "result": {
+    "trendDir": null,
+    "metrics": {
+      "projects": {
+        "verdict": "ok",
+        "value": 3
+      },
+      "edges": {
+        "verdict": "ok",
+        "value": 2
+      },
+      "coverage": {
+        "verdict": "ok",
+        "value": 0
+      },
+      "violations": {
+        "verdict": "ok",
+        "value": 0
+      },
+      "waiverSurface": {
+        "verdict": "ok",
+        "value": 0
+      },
+      "cycles": {
+        "verdict": "ok",
+        "value": 0
+      },
+      "edgeDensity": {
+        "verdict": "ok",
+        "value": 0.6666666666666666
+      },
+      "debt": {
+        "verdict": "ok",
+        "value": 0
+      },
+      "fitness": {
+        "verdict": "ok",
+        "value": 0
+      }
+    },
+    "trends": null,
+    "waivers": {
+      "verdict": "ok",
+      "note": null,
+      "counts": {
+        "waivers": 0,
+        "covered": 0,
+        "expired": 0,
+        "stale": 0,
+        "suppressions": 0,
+        "suppressed": 0
+      },
+      "rows": []
+    },
+    "fitness": {
+      "verdict": "pass",
+      "note": null,
+      "functions": [
+        {
+          "name": "cycle-free",
+          "verdict": "pass",
+          "message": "3 matched projects form no dependency cycle",
+          "adrs": []
+        }
+      ]
+    },
+    "decisions": {
+      "verdict": "ok",
+      "note": null,
+      "registry": {
+        "dir": "docs/adr",
+        "count": 1
+      },
+      "records": [
+        {
+          "id": "0001-layers",
+          "status": "accepted",
+          "authority": true,
+          "bindings": [
+            "intentForbiddenEdge"
+          ],
+          "fitness": {
+            "id": "0001-layers",
+            "status": "accepted",
+            "level": "unverifiable",
+            "verified": false,
+            "reason": "no bound constraint for 0001-layers resolves or was evaluated — none can be verified"
+          },
+          "constraints": []
+        }
+      ],
+      "citations": [],
+      "unresolvedDecisionRefs": []
+    },
+    "provenance": {
+      "repo": {
+        "commit": "1fd51709c377d99a6139891e1200291cf08aede9",
+        "remote": null,
+        "dirty": false
+      },
+      "established": true,
+      "policySource": "module-boundaries.config.mjs",
+      "rows": {
+        "total": 6,
+        "unattested": [
+          {
+            "kind": "allowed[0]",
+            "label": "allowed[0] app→api"
+          },
+          {
+            "kind": "allowed[1]",
+            "label": "allowed[1] api→core"
+          },
+          {
+            "kind": "forbidden[0]",
+            "label": "forbidden[0] core→app"
+          },
+          {
+            "kind": "depConstraints[0]",
+            "label": "depConstraints[0] layer:core"
+          },
+          {
+            "kind": "depConstraints[1]",
+            "label": "depConstraints[1] layer:api"
+          },
+          {
+            "kind": "depConstraints[2]",
+            "label": "depConstraints[2] layer:app"
+          }
+        ]
+      }
+    },
+    "uninspectable": []
+  }
+}
+

package/src/corpus/goldens/report.text

@@ -0,0 +1,42 @@
+architecture governance report — every surface reached a verdict
+
+provenance
+  root        <fixture-root>
+  provider    native (archkeep.json)
+  policy      module-boundaries.config.mjs
+  commit      1fd51709c377d99a6139891e1200291cf08aede9
+  remote      none configured
+  rows        6 governed rows, 6 with no origin recorded
+    unattested  allowed[0] app→api — no origin recorded, cannot attest
+    unattested  allowed[1] api→core — no origin recorded, cannot attest
+    unattested  forbidden[0] core→app — no origin recorded, cannot attest
+    unattested  depConstraints[0] layer:core — no origin recorded, cannot attest
+    unattested  depConstraints[1] layer:api — no origin recorded, cannot attest
+    unattested  depConstraints[2] layer:app — no origin recorded, cannot attest
+
+health
+✔ report over complete coverage (2 imports in 3 files across 3 projects)
+  ok              projects  3
+  ok              edges  2
+  ok              coverage  0
+  ok              violations  0
+  ok              waiver surface  0
+  ok              cycles  0
+  ok              edge density  0.6666666666666666
+  ok              debt rows  0
+  ok              intent fitness  0
+
+governance surfaces
+  ok              waivers
+    0 waivers (0 expired, 0 covering nothing), 0 permanent suppressions hiding 0 violations
+  pass            fitness gates
+    pass            cycle-free  bound by: no recorded decision
+  ok              decisions
+    1 record in docs/adr/
+      0001-layers  (accepted)  binds intentForbiddenEdge
+          fitness: unverifiable — no bound constraint for 0001-layers resolves or was evaluated — none can be verified
+          stands on: no governed row cites this decision
+    no governed row cites a decisionRef
+
+could not inspect
+  nothing — every surface in this report reached a verdict

package/src/corpus/goldens/scenario.json

@@ -0,0 +1,441 @@
+{
+  "schemaVersion": 2,
+  "tool": {
+    "name": "@ecoma-io/archkeep",
+    "version": "0.27.0"
+  },
+  "command": "scenario",
+  "workspace": {
+    "root": "<fixture-root>",
+    "provider": "native",
+    "marker": "archkeep.json",
+    "provenance": {
+      "commit": "1fd51709c377d99a6139891e1200291cf08aede9",
+      "remote": null,
+      "dirty": false
+    }
+  },
+  "status": "ok",
+  "exitCode": 0,
+  "coverage": {
+    "complete": true,
+    "projects": 3,
+    "analyzedFiles": 3,
+    "imports": 2,
+    "notAnalyzed": [],
+    "blindSpots": [],
+    "notes": [
+      "scenario evaluation is virtual and not authoritative — run `check` for the real verdict",
+      "per-edge verdicts cover only depConstraints (3 of 15 violation types)"
+    ]
+  },
+  "result": {
+    "virtual": true,
+    "notAuthoritative": true,
+    "complete": false,
+    "completeness": {
+      "domains": {
+        "structural": {
+          "status": "evaluated",
+          "evaluated": true,
+          "partial": false,
+          "notEvaluated": false,
+          "unsupported": false,
+          "refused": false,
+          "note": ""
+        },
+        "constraint": {
+          "status": "evaluated",
+          "evaluated": true,
+          "partial": false,
+          "notEvaluated": false,
+          "unsupported": false,
+          "refused": false,
+          "note": ""
+        },
+        "boundary": {
+          "status": "evaluated",
+          "evaluated": true,
+          "partial": false,
+          "notEvaluated": false,
+          "unsupported": false,
+          "refused": false,
+          "note": ""
+        },
+        "decision": {
+          "status": "evaluated",
+          "evaluated": true,
+          "partial": false,
+          "notEvaluated": false,
+          "unsupported": false,
+          "refused": false,
+          "note": ""
+        },
+        "findings": {
+          "status": "not_evaluated",
+          "evaluated": false,
+          "partial": false,
+          "notEvaluated": true,
+          "unsupported": false,
+          "refused": false,
+          "note": "Findings not re-evaluated in scenario"
+        },
+        "debt": {
+          "status": "not_evaluated",
+          "evaluated": false,
+          "partial": false,
+          "notEvaluated": true,
+          "unsupported": false,
+          "refused": false,
+          "note": "Debt not re-evaluated in scenario"
+        },
+        "governance": {
+          "status": "not_evaluated",
+          "evaluated": false,
+          "partial": false,
+          "notEvaluated": true,
+          "unsupported": false,
+          "refused": false,
+          "note": "Governance incomplete — findings: not_evaluated, debt: not_evaluated"
+        },
+        "evidence": {
+          "status": "evaluated",
+          "evaluated": true,
+          "partial": false,
+          "notEvaluated": false,
+          "unsupported": false,
+          "refused": false,
+          "note": ""
+        }
+      },
+      "overallComplete": false,
+      "overallStatus": "not_evaluated",
+      "scenarioDomains": {
+        "changes": {
+          "status": "partial",
+          "evaluated": true,
+          "partial": true,
+          "notEvaluated": false,
+          "unsupported": false,
+          "refused": false,
+          "note": "Some changes could not be applied"
+        },
+        "base": {
+          "status": "evaluated",
+          "evaluated": true,
+          "partial": false,
+          "notEvaluated": false,
+          "unsupported": false,
+          "refused": false,
+          "note": ""
+        },
+        "mutationCoverage": {
+          "status": "partial",
+          "evaluated": true,
+          "partial": true,
+          "notEvaluated": false,
+          "unsupported": false,
+          "refused": false,
+          "note": "Not all mutations have explicit outcomes"
+        }
+      },
+      "evidenceComplete": {
+        "contractType": "scenario",
+        "domainCoverage": 1,
+        "claimEvidenceCoverage": 1,
+        "causalCoverage": 1,
+        "provenanceCoverage": 0,
+        "mutationCoverage": 0,
+        "surfaceParity": 0,
+        "hiddenGapCount": 0,
+        "falseCompleteCount": 0,
+        "baseIdentityValid": true,
+        "deterministic": true,
+        "overallStatus": "incomplete",
+        "overallComplete": false,
+        "gates": {
+          "domainCoverage": {
+            "value": 1,
+            "pass": true,
+            "required": true
+          },
+          "claimEvidenceCoverage": {
+            "value": 1,
+            "pass": true,
+            "required": true
+          },
+          "causalCoverage": {
+            "value": 1,
+            "pass": true,
+            "required": true
+          },
+          "provenanceCoverage": {
+            "value": 0,
+            "pass": false,
+            "required": true
+          },
+          "mutationCoverage": {
+            "value": 0,
+            "pass": false,
+            "required": true
+          },
+          "surfaceParity": {
+            "value": 0,
+            "pass": false,
+            "required": true
+          },
+          "hiddenGapCount": {
+            "value": 0,
+            "pass": true,
+            "required": true
+          },
+          "falseCompleteCount": {
+            "value": 0,
+            "pass": true,
+            "required": true
+          },
+          "baseIdentityValid": {
+            "value": true,
+            "pass": true,
+            "required": true
+          },
+          "deterministic": {
+            "value": true,
+            "pass": true,
+            "required": true
+          }
+        }
+      }
+    },
+    "project": "core",
+    "base": {
+      "revision": "1fd51709c377d99a6139891e1200291cf08aede9",
+      "identity": "verified",
+      "identityVerified": true,
+      "identityMismatch": false,
+      "provenance": "auto-resolved: git commit 1fd51709c377d99a6139891e1200291cf08aede9"
+    },
+    "changes": [],
+    "refused": [
+      "cannot add dependency: target project \"libs/app\" not in graph"
+    ],
+    "current": {
+      "impact": {
+        "project": "core",
+        "direct": [
+          "api"
+        ],
+        "transitive": [
+          "app"
+        ],
+        "dependents": [
+          "api",
+          "app"
+        ]
+      },
+      "constraintImpact": [
+        {
+          "project": "api",
+          "edges": [
+            {
+              "target": "core",
+              "type": "static"
+            }
+          ],
+          "constraintRows": [
+            {
+              "sourceTag": "layer:api",
+              "onlyDependOnLibsWithTags": [
+                "layer:api",
+                "layer:core"
+              ]
+            }
+          ],
+          "violations": []
+        },
+        {
+          "project": "app",
+          "edges": [],
+          "constraintRows": [
+            {
+              "sourceTag": "layer:app",
+              "onlyDependOnLibsWithTags": [
+                "layer:app",
+                "layer:api",
+                "layer:core"
+              ]
+            }
+          ],
+          "violations": []
+        }
+      ],
+      "decisionImpact": {
+        "decisions": [],
+        "unresolvedDecisionRefs": []
+      },
+      "evolutionAlignment": {
+        "projects": [
+          "api",
+          "app",
+          "core"
+        ],
+        "boundaries": [
+          "api>core:static"
+        ],
+        "constraints": [
+          "sourceTag:layer:api",
+          "sourceTag:layer:app"
+        ],
+        "decisions": []
+      }
+    },
+    "scenario": {
+      "impact": {
+        "project": "core",
+        "direct": [
+          "api"
+        ],
+        "transitive": [
+          "app"
+        ],
+        "dependents": [
+          "api",
+          "app"
+        ]
+      },
+      "constraintImpact": [
+        {
+          "project": "api",
+          "edges": [
+            {
+              "target": "core",
+              "type": "static"
+            }
+          ],
+          "constraintRows": [
+            {
+              "sourceTag": "layer:api",
+              "onlyDependOnLibsWithTags": [
+                "layer:api",
+                "layer:core"
+              ]
+            }
+          ],
+          "violations": []
+        },
+        {
+          "project": "app",
+          "edges": [],
+          "constraintRows": [
+            {
+              "sourceTag": "layer:app",
+              "onlyDependOnLibsWithTags": [
+                "layer:app",
+                "layer:api",
+                "layer:core"
+              ]
+            }
+          ],
+          "violations": []
+        }
+      ],
+      "decisionImpact": {
+        "decisions": [],
+        "unresolvedDecisionRefs": []
+      },
+      "evolutionAlignment": {
+        "projects": [
+          "api",
+          "app",
+          "core"
+        ],
+        "boundaries": [
+          "api>core:static"
+        ],
+        "constraints": [
+          "sourceTag:layer:api",
+          "sourceTag:layer:app"
+        ],
+        "decisions": []
+      }
+    },
+    "governanceImpact": {
+      "findingsFiltered": false,
+      "debtFiltered": false,
+      "governanceComplete": false,
+      "scenarioFindingsCount": 0,
+      "scenarioDebtCount": 0,
+      "findingsStatus": "not_evaluated",
+      "debtStatus": "not_evaluated"
+    },
+    "evidenceChain": {
+      "baseRevision": "1fd51709c377d99a6139891e1200291cf08aede9",
+      "appliedChanges": [],
+      "currentState": "current",
+      "scenarioState": "scenario",
+      "delta": {
+        "dependentsAdded": [],
+        "dependentsRemoved": [],
+        "constraintsChanged": {
+          "status": "unchanged"
+        },
+        "decisionsChanged": {
+          "status": "unchanged"
+        },
+        "structuralDelta": {
+          "dependentsAdded": [],
+          "dependentsRemoved": []
+        },
+        "governanceDelta": {
+          "findingsChanged": {
+            "status": "not_evaluated"
+          },
+          "debtChanged": {
+            "status": "not_evaluated"
+          }
+        },
+        "evidenceDelta": {
+          "baseRevision": "1fd51709c377d99a6139891e1200291cf08aede9",
+          "changesApplied": 0,
+          "changesRefused": 1
+        }
+      }
+    },
+    "delta": {
+      "dependentsAdded": [],
+      "dependentsRemoved": [],
+      "constraintsChanged": {
+        "status": "unchanged"
+      },
+      "decisionsChanged": {
+        "status": "unchanged"
+      },
+      "structuralDelta": {
+        "dependentsAdded": [],
+        "dependentsRemoved": []
+      },
+      "governanceDelta": {
+        "findingsChanged": {
+          "status": "not_evaluated"
+        },
+        "debtChanged": {
+          "status": "not_evaluated"
+        }
+      },
+      "evidenceDelta": {
+        "baseRevision": "1fd51709c377d99a6139891e1200291cf08aede9",
+        "changesApplied": 0,
+        "changesRefused": 1
+      }
+    },
+    "notes": [
+      "virtual evaluation — not authoritative",
+      "this scenario has not been committed; run `check` for the real verdict",
+      "constraint impact covers only depConstraints (3 of 15 violation types). A project with no violations here may still violate other rules.",
+      "finding impact not re-evaluated — no findings data provided to scenario. Pass findings data for complete governance re-evaluation.",
+      "debt impact not re-evaluated — no debt data provided to scenario. Pass debt data for complete governance re-evaluation.",
+      "changes that could not be applied: cannot add dependency: target project \"libs/app\" not in graph"
+    ]
+  }
+}
+

package/src/corpus/goldens/scenario.text

@@ -0,0 +1,28 @@
+Scenario evaluation for "core"
+==================================================
+Virtual: true  |  Not authoritative: true
+Coverage: 2 imports in 3 files across 3 projects
+
+Changes refused:
+  ✖ cannot add dependency: target project "libs/app" not in graph
+
+Current impact:
+  Direct:      1 project(s)
+  Transitive:  1 project(s)
+  Dependents:  2 project(s)
+
+Scenario impact:
+  Direct:      1 project(s)
+  Transitive:  1 project(s)
+  Dependents:  2 project(s)
+
+Delta:
+  No change to dependent set
+
+Notes:
+  virtual evaluation — not authoritative
+  this scenario has not been committed; run `check` for the real verdict
+  constraint impact covers only depConstraints (3 of 15 violation types). A project with no violations here may still violate other rules.
+  finding impact not re-evaluated — no findings data provided to scenario. Pass findings data for complete governance re-evaluation.
+  debt impact not re-evaluated — no debt data provided to scenario. Pass debt data for complete governance re-evaluation.
+  changes that could not be applied: cannot add dependency: target project "libs/app" not in graph