devtime-ei 0.3.0__tar.gz → 0.4.0__tar.gz

{devtime_ei-0.3.0 → devtime_ei-0.4.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: devtime-ei
-Version: 0.3.0
+Version: 0.4.0
 Summary: Local-first Engineering Intelligence for software repositories
 Author-email: Aviad Shakargi <aviad94@gmail.com>
 Maintainer-email: Aviad Shakargi <aviad94@gmail.com>
@@ -8,7 +8,7 @@ License: Apache-2.0
 Project-URL: Homepage, https://github.com/Shakargy/devtime
 Project-URL: Repository, https://github.com/Shakargy/devtime
 Project-URL: Issues, https://github.com/Shakargy/devtime/issues
-Project-URL: Release Notes, https://github.com/Shakargy/devtime/releases/tag/v0.3.0
+Project-URL: Release Notes, https://github.com/Shakargy/devtime/releases/tag/v0.4.0
 Project-URL: Demo, https://youtu.be/1Hiu3Y9J_SI
 Keywords: devtools,cli,static-analysis,repository-analysis,engineering-intelligence,local-first
 Classifier: Development Status :: 3 - Alpha

{devtime_ei-0.3.0 → devtime_ei-0.4.0}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "devtime-ei"
-version = "0.3.0"
+version = "0.4.0"
 description = "Local-first Engineering Intelligence for software repositories"
 readme = "README.md"
 requires-python = ">=3.11"
@@ -50,7 +50,7 @@ dev = [
 Homepage = "https://github.com/Shakargy/devtime"
 Repository = "https://github.com/Shakargy/devtime"
 Issues = "https://github.com/Shakargy/devtime/issues"
-"Release Notes" = "https://github.com/Shakargy/devtime/releases/tag/v0.3.0"
+"Release Notes" = "https://github.com/Shakargy/devtime/releases/tag/v0.4.0"
 Demo = "https://youtu.be/1Hiu3Y9J_SI"
 
 [project.scripts]

{devtime_ei-0.3.0 → devtime_ei-0.4.0}/src/devtime/__init__.py

@@ -1,6 +1,6 @@
 """DevTime - local-first Engineering Intelligence for repository memory."""
 
-__version__ = "0.3.0"
+__version__ = "0.4.0"
 
 # Version metadata (Builder Edition, Chapter 20).
 EVIDENCE_MODEL = "2026.06.1"

{devtime_ei-0.3.0 → devtime_ei-0.4.0}/src/devtime/cli.py

@@ -347,11 +347,29 @@ def risk(
     conn = connection.connect()
     try:
         intelligence = repository.load_all_concepts(conn)
+        from devtime.intelligence.verification import claims_affected_by_paths
+
+        claim_impact = claims_affected_by_paths(conn, info.changed_files)
     finally:
         conn.close()
 
     review = review_diff(info, intelligence)
     console.print(render_risk_review(review), markup=False)
+
+    # v0.4.0: claim impact. A diff is not just risky in general - it can
+    # destabilize a previously verified claim. Only evidence files count;
+    # nothing is printed when no verified claim is affected.
+    if claim_impact:
+        console.print("\nClaim impact:", markup=False)
+        for item in claim_impact:
+            console.print(
+                f"  - {item['claim_id']} (previous status: {item['previous_status']})",
+                markup=False,
+            )
+            for p in item["changed_evidence"]:
+                console.print(f"      changed evidence: {p}", markup=False)
+            console.print(f"      re-verify: {item['suggested_action']}", markup=False)
+
     if review.state == STATE_REVIEW_FAILED:
         raise typer.Exit(code=1)
 

{devtime_ei-0.3.0 → devtime_ei-0.4.0}/src/devtime/intelligence/verification.py

@@ -580,6 +580,38 @@ def load_latest_verification(
     )
 
 
+def claims_affected_by_paths(
+    conn: sqlite3.Connection, changed_paths: list[str]
+) -> list[dict]:
+    """Claim impact for a set of changed paths (v0.4.0, diff integration).
+
+    For every claim with a stored verification, report it when a changed path
+    is one of its recorded evidence files. Only evidence files count: a diff
+    touching unrelated files never flags a claim. Advisory output - the caller
+    decides what to do with it.
+    """
+    changed = set(changed_paths)
+    out: list[dict] = []
+    for slug in BUILTIN_CLAIMS:
+        latest = load_latest_verification(conn, slug)
+        if latest is None:
+            continue
+        result, fingerprints, created_at = latest
+        evidence_paths = {fp["path"] for fp in fingerprints}
+        hits = sorted(evidence_paths & changed)
+        if hits:
+            out.append(
+                {
+                    "claim_id": slug,
+                    "previous_status": result["status"],
+                    "verified_at": created_at,
+                    "changed_evidence": hits,
+                    "suggested_action": f"dtc verify {slug}",
+                }
+            )
+    return out
+
+
 def freshness_for(conn: sqlite3.Connection, slug: str) -> tuple[str, list[str]]:
     """Compare stored evidence fingerprints against current file hashes.
 

{devtime_ei-0.3.0 → devtime_ei-0.4.0}/src/devtime_ei.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: devtime-ei
-Version: 0.3.0
+Version: 0.4.0
 Summary: Local-first Engineering Intelligence for software repositories
 Author-email: Aviad Shakargi <aviad94@gmail.com>
 Maintainer-email: Aviad Shakargi <aviad94@gmail.com>
@@ -8,7 +8,7 @@ License: Apache-2.0
 Project-URL: Homepage, https://github.com/Shakargy/devtime
 Project-URL: Repository, https://github.com/Shakargy/devtime
 Project-URL: Issues, https://github.com/Shakargy/devtime/issues
-Project-URL: Release Notes, https://github.com/Shakargy/devtime/releases/tag/v0.3.0
+Project-URL: Release Notes, https://github.com/Shakargy/devtime/releases/tag/v0.4.0
 Project-URL: Demo, https://youtu.be/1Hiu3Y9J_SI
 Keywords: devtools,cli,static-analysis,repository-analysis,engineering-intelligence,local-first
 Classifier: Development Status :: 3 - Alpha