@andresmassello/uscha 1.70.0 → 1.71.0

package/README.md

@@ -40,7 +40,7 @@ Requires **Python 3.8+** on the machine (the engine is Python stdlib — no pip
 runtime dependencies). The npm package is a thin router; the canonical installer is
 `uscha-kit/install-uscha.py`.
 
-**Kit v1.70.0** <!-- uscha:version --> · [uscha.dev](https://uscha.dev) ·
+**Kit v1.71.0** <!-- uscha:version --> · [uscha.dev](https://uscha.dev) ·
 [changelog](https://github.com/andresmassello/uscha/blob/main/uscha-kit/CHANGELOG.md)
 (the per-release changelogs live in the repo, not in the npm tarball)
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@andresmassello/uscha",
-  "version": "1.70.0",
+  "version": "1.71.0",
   "description": "Spec-driven development for LLM coding agents: 9 skills + a stdlib evidence engine. Facts block, guesses advise; the human approves.",
   "author": {
     "name": "Andres Massello",

package/uscha-kit/.claude/skills/uscha-devloop/qa_ledger.py

@@ -4533,6 +4533,10 @@ def cmd_fidelity(args):
         sys.exit(2)
     obs = (delta.get("observations") or []) if delta else []
     verdicts = _curation_verdicts(ledger, args.repo)
+    # fidelity respects the SAME bound that produced the delta (user decision, FR-001): a
+    # bounded discovery is measured over its own subtree, so unexplained_code and the other
+    # mechanical dimensions never mix the delta's scope with the whole repo's.
+    bound = delta.get("path") if delta else None
     dims = {}
     # traceability: canonical items reachable in code via the uscha-spec id machinery
     canon_items = []
@@ -4543,7 +4547,17 @@ def cmd_fidelity(args):
                 canon_items = json.load(fh).get("items") or []
         except (OSError, ValueError):
             canon_items = []
-    tracked = _tracked_files(repo_path) or []
+    tracked = [f for f in (_tracked_files(repo_path) or []) if _under_bound(f, bound)]
+    _scope = " (bounded to %s)" % bound if bound else ""
+    if bound:
+        # scope the DENOMINATOR too, not just the file scan: promote MERGES into CANONICAL
+        # repo-wide, so an earlier unbounded promote would otherwise count out-of-bound
+        # items as "no longer derives" -- the exact scope-mixing this release kills, half-
+        # done if only the numerator moves (fresh-review LOW). An item is under the bound
+        # when its primary provenance file is.
+        canon_items = [it for it in canon_items
+                       if any(_under_bound(f.split(":")[0].split("#")[0], bound)
+                              for f in (it.get("provenance") or {}).get("files") or [])]
     marked, marker_files = set(), set()
     for f, mid in _scan_spec_markers(repo_path, tracked):
         marked.add(mid)
@@ -4552,8 +4566,8 @@ def cmd_fidelity(args):
         traced = sum(1 for it in canon_items if (it.get("derived_from") or "") in marked)
         dims["traceability"] = _fid_dim(round(traced / len(canon_items), 4),
                                         "uscha-spec marker scan over %d git-tracked "
-                                        "files vs %d canonical item(s)"
-                                        % (len(tracked), len(canon_items)))
+                                        "files%s vs %d canonical item(s)"
+                                        % (len(tracked), _scope, len(canon_items)))
     else:
         dims["traceability"] = _fid_dim(None, "UNMEASURED: no canonical items promoted yet")
     # behavior: the latest ingested golden-diff gate verdict
@@ -4579,9 +4593,9 @@ def cmd_fidelity(args):
         cur_ids = {o["id"] for o in cur_static}
         okc = sum(1 for it in static_canon if it.get("derived_from") in cur_ids)
         dims["contracts"] = _fid_dim(round(okc / len(static_canon), 4),
-                                     "re-ran static extractors; %d/%d canonical static "
+                                     "re-ran static extractors%s; %d/%d canonical static "
                                      "item(s) still derive from the code"
-                                     % (okc, len(static_canon)))
+                                     % (_scope, okc, len(static_canon)))
     else:
         dims["contracts"] = _fid_dim(None, "UNMEASURED: no static-class canonical items")
     # curation_closure: curated OBS / total OBS in the active delta
@@ -4616,14 +4630,15 @@ def cmd_fidelity(args):
         unex = [f for f in prod if f not in lineage]
         dims["unexplained_code"] = _fid_dim(
             round(len(unex) / len(prod), 4),
-            "%d/%d tracked prod source file(s) with no path to a canonical item or "
-            "preserved OBS (v0 granularity: FILE)" % (len(unex), len(prod)),
+            "%d/%d tracked prod source file(s)%s with no path to a canonical item or "
+            "preserved OBS (v0 granularity: FILE)" % (len(unex), len(prod), _scope),
             files=unex[:10] + (["(+%d)" % (len(unex) - 10)] if len(unex) > 10 else []))
     else:
         dims["unexplained_code"] = _fid_dim(None, "UNMEASURED: no tracked prod source files")
     dims["semantic"] = _fid_dim(None, "not wired: an LLM-judged comparison enters as "
                                       "advisory only and can NEVER gate (INV-ADVISORY-01)")
     out = {"repo": args.repo,
+           **({"path": bound} if bound else {}),
            "dimensions": {k: dict(dims[k], **{"class": FIDELITY_DIMENSIONS[k]})
                           for k in ("traceability", "behavior", "contracts",
                                     "curation_closure", "unexplained_code", "semantic")}}
@@ -4632,8 +4647,8 @@ def cmd_fidelity(args):
     if args.json:
         print(json.dumps(out, indent=2, ensure_ascii=False))
     else:
-        print("FIDELITY %s (vector -- no blend; each number stands on its own evidence):"
-              % args.repo)
+        print("FIDELITY %s%s (vector -- no blend; each number stands on its own evidence):"
+              % (args.repo, " [bounded to %s]" % bound if bound else ""))
         for k, d in out["dimensions"].items():
             val = "UNMEASURED" if d["value"] is None else "%.2f" % d["value"]
             print("  %-17s %-10s [%s] %s" % (k, val, d["class"], d["provenance"]))

package/uscha-kit/.claude-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://json.schemastore.org/claude-code-plugin-manifest.json",
   "name": "uscha",
-  "version": "1.70.0",
+  "version": "1.71.0",
   "displayName": "Uscha",
   "description": "Spec-driven development for LLM coding agents: 9 skills (discovery, adr-refine, reverse-discovery, characterize, devloop, sysdoc, rubric, mirador, status) + a stdlib measurement engine (qa_ledger.py, 40 subcommands + universal installer + npm/npx router). Facts block, guesses advise; the human approves.",
   "author": {

package/uscha-kit/.codex-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "uscha",
-  "version": "1.70.0",
+  "version": "1.71.0",
   "description": "Uscha spec-driven development methodology for coding agents. Includes npm/npx router.",
   "author": {
     "name": "Andres Massello",

package/uscha-kit/README.md

@@ -1,6 +1,6 @@
 # uscha-kit
 
-**Kit version:** v1.70.0 <!-- uscha:version --> · **[uscha.dev](https://uscha.dev)**
+**Kit version:** v1.71.0 <!-- uscha:version --> · **[uscha.dev](https://uscha.dev)**
 
 Spec-driven orchestrator + multi-repo QA for Claude Code, with a deterministic ledger.
 **Nine skills** (`uscha-discovery`, `uscha-adr-refine`, `uscha-devloop`, `uscha-sysdoc`, `uscha-reverse-discovery`,

package/uscha-kit/VERSION

@@ -1 +1 @@
-uscha-kit 1.70.0
+uscha-kit 1.71.0

package/uscha-kit/reports/junit/.fidelity-cases.json

@@ -1 +1 @@
-{"AC-FV-01": true, "AC-FV-02": true, "AC-FV-04": true, "AC-FV-05": true, "AC-FV-03": true, "review-h2": true, "review-m4": true}
+{"AC-FV-01": true, "AC-FV-02": true, "AC-FV-04": true, "AC-FV-05": true, "AC-FV-03": true, "review-h2": true, "AC-FV-06": true, "review-m4": true}

package/uscha-kit/skills/uscha-devloop/qa_ledger.py

@@ -4533,6 +4533,10 @@ def cmd_fidelity(args):
         sys.exit(2)
     obs = (delta.get("observations") or []) if delta else []
     verdicts = _curation_verdicts(ledger, args.repo)
+    # fidelity respects the SAME bound that produced the delta (user decision, FR-001): a
+    # bounded discovery is measured over its own subtree, so unexplained_code and the other
+    # mechanical dimensions never mix the delta's scope with the whole repo's.
+    bound = delta.get("path") if delta else None
     dims = {}
     # traceability: canonical items reachable in code via the uscha-spec id machinery
     canon_items = []
@@ -4543,7 +4547,17 @@ def cmd_fidelity(args):
                 canon_items = json.load(fh).get("items") or []
         except (OSError, ValueError):
             canon_items = []
-    tracked = _tracked_files(repo_path) or []
+    tracked = [f for f in (_tracked_files(repo_path) or []) if _under_bound(f, bound)]
+    _scope = " (bounded to %s)" % bound if bound else ""
+    if bound:
+        # scope the DENOMINATOR too, not just the file scan: promote MERGES into CANONICAL
+        # repo-wide, so an earlier unbounded promote would otherwise count out-of-bound
+        # items as "no longer derives" -- the exact scope-mixing this release kills, half-
+        # done if only the numerator moves (fresh-review LOW). An item is under the bound
+        # when its primary provenance file is.
+        canon_items = [it for it in canon_items
+                       if any(_under_bound(f.split(":")[0].split("#")[0], bound)
+                              for f in (it.get("provenance") or {}).get("files") or [])]
     marked, marker_files = set(), set()
     for f, mid in _scan_spec_markers(repo_path, tracked):
         marked.add(mid)
@@ -4552,8 +4566,8 @@ def cmd_fidelity(args):
         traced = sum(1 for it in canon_items if (it.get("derived_from") or "") in marked)
         dims["traceability"] = _fid_dim(round(traced / len(canon_items), 4),
                                         "uscha-spec marker scan over %d git-tracked "
-                                        "files vs %d canonical item(s)"
-                                        % (len(tracked), len(canon_items)))
+                                        "files%s vs %d canonical item(s)"
+                                        % (len(tracked), _scope, len(canon_items)))
     else:
         dims["traceability"] = _fid_dim(None, "UNMEASURED: no canonical items promoted yet")
     # behavior: the latest ingested golden-diff gate verdict
@@ -4579,9 +4593,9 @@ def cmd_fidelity(args):
         cur_ids = {o["id"] for o in cur_static}
         okc = sum(1 for it in static_canon if it.get("derived_from") in cur_ids)
         dims["contracts"] = _fid_dim(round(okc / len(static_canon), 4),
-                                     "re-ran static extractors; %d/%d canonical static "
+                                     "re-ran static extractors%s; %d/%d canonical static "
                                      "item(s) still derive from the code"
-                                     % (okc, len(static_canon)))
+                                     % (_scope, okc, len(static_canon)))
     else:
         dims["contracts"] = _fid_dim(None, "UNMEASURED: no static-class canonical items")
     # curation_closure: curated OBS / total OBS in the active delta
@@ -4616,14 +4630,15 @@ def cmd_fidelity(args):
         unex = [f for f in prod if f not in lineage]
         dims["unexplained_code"] = _fid_dim(
             round(len(unex) / len(prod), 4),
-            "%d/%d tracked prod source file(s) with no path to a canonical item or "
-            "preserved OBS (v0 granularity: FILE)" % (len(unex), len(prod)),
+            "%d/%d tracked prod source file(s)%s with no path to a canonical item or "
+            "preserved OBS (v0 granularity: FILE)" % (len(unex), len(prod), _scope),
             files=unex[:10] + (["(+%d)" % (len(unex) - 10)] if len(unex) > 10 else []))
     else:
         dims["unexplained_code"] = _fid_dim(None, "UNMEASURED: no tracked prod source files")
     dims["semantic"] = _fid_dim(None, "not wired: an LLM-judged comparison enters as "
                                       "advisory only and can NEVER gate (INV-ADVISORY-01)")
     out = {"repo": args.repo,
+           **({"path": bound} if bound else {}),
            "dimensions": {k: dict(dims[k], **{"class": FIDELITY_DIMENSIONS[k]})
                           for k in ("traceability", "behavior", "contracts",
                                     "curation_closure", "unexplained_code", "semantic")}}
@@ -4632,8 +4647,8 @@ def cmd_fidelity(args):
     if args.json:
         print(json.dumps(out, indent=2, ensure_ascii=False))
     else:
-        print("FIDELITY %s (vector -- no blend; each number stands on its own evidence):"
-              % args.repo)
+        print("FIDELITY %s%s (vector -- no blend; each number stands on its own evidence):"
+              % (args.repo, " [bounded to %s]" % bound if bound else ""))
         for k, d in out["dimensions"].items():
             val = "UNMEASURED" if d["value"] is None else "%.2f" % d["value"]
             print("  %-17s %-10s [%s] %s" % (k, val, d["class"], d["provenance"]))

package/uscha-kit/uscha.config.json

@@ -1,5 +1,5 @@
 {
-  "version": "1.70.0",
+  "version": "1.71.0",
   "project": null,
   "defaults": {
     "coverage_threshold": 60,