sourcecode 2.5.8__py3-none-any.whl → 2.5.12__py3-none-any.whl

sourcecode/__init__.py

@@ -4,4 +4,4 @@ ASK Engine is the product. ``ask`` is the canonical CLI command; ``sourcecode``
 the legacy compatibility alias and the Python/PyPI package name. See
 docs/PRODUCT_IDENTITY.md (normative)."""
 
-__version__ = "2.5.8"
+__version__ = "2.5.12"

sourcecode/architecture_analyzer.py

@@ -5,9 +5,8 @@ from pathlib import Path
 from typing import Literal, Optional
 
 from sourcecode.reconciliation import (
-    incoherent_layers,
-    pattern_contradicted,
-    unattested_layers,
+    reconcile_architecture_evidence,
+    reconcile_code_modules,
 )
 
 from sourcecode.schema import (
@@ -280,6 +279,18 @@ class ArchitectureAnalyzer:
     ) -> ArchitectureAnalysis:
         limitations: list[str] = []
         evidence: list[dict] = []
+        # INV-F1-4: reconciliation rules that refute a layer/pattern must not
+        # apply their verdict silently — a pruned layer or a rejected pattern is
+        # a positively-detected contradiction the reader is entitled to see, or
+        # "no architecture" becomes indistinguishable from "we refuted the
+        # architecture claim". `_detect_layers` and its helpers append the
+        # findings' sink-neutral detail here; drained into `limitations` below.
+        self._refutations: list[str] = []
+        # Gap #2 (fail-open): a reconciliation rule that could not be evaluated
+        # is NOT a clean result — surfaced here as its own limitation, never as a
+        # refutation and never silently, so an unverified pattern cannot ship as
+        # confirmed.
+        self._reconciliation_errors: list[str] = []
 
         # Step 1: filter paths
         filtered = self._filter_paths(sm.file_paths)
@@ -482,6 +493,25 @@ class ArchitectureAnalyzer:
                     "confidence": "low",
                 })
 
+        # INV-F1-4 sink: surface every refutation that shaped the returned
+        # result. Prefix frames it as a refutation; the detail (unchanged) states
+        # the contradiction, keeping it sink-neutral (INV-F1-5). Dedup: the
+        # layered→modular fallthrough can refute the same directory twice.
+        _seen: set[str] = set()
+        for _detail in self._refutations:
+            if _detail in _seen:
+                continue
+            _seen.add(_detail)
+            limitations.append(f"Architecture claim refuted on evidence: {_detail}")
+        # Fail-open sink: a rule that could not run is surfaced distinctly — the
+        # pattern it would have checked is reported UNVERIFIED, never certified.
+        _seen_err: set[str] = set()
+        for _detail in self._reconciliation_errors:
+            if _detail in _seen_err:
+                continue
+            _seen_err.add(_detail)
+            limitations.append(f"Architecture reconciliation could not run: {_detail}")
+
         return ArchitectureAnalysis(
             requested=True,
             pattern=pattern,
@@ -627,6 +657,24 @@ class ArchitectureAnalyzer:
         return domains
 
     def _detect_layers(self, paths: list[str]) -> tuple[str, list[ArchitectureLayer]]:
+        # Drop directory ENTRIES. `flatten_file_tree` emits every node — files AND
+        # the directories above them — so `sm.file_paths` carries `src`, `src/main`,
+        # `src/main/java/.../model` … A directory is not a file: counting it as a
+        # layer/module member makes it read as jvm-less in `runtime_census` (it holds
+        # no file OF ITS OWN, only children), and a directory that transitively holds
+        # all the Java is then refuted as "no jvm code" — the demonstrated
+        # contamination (petclinic phantom `orchestration` = `src/main`; the
+        # directory half of `data` = `.../model`). A path that is an ancestor of
+        # another path in the set is such an entry; leaf files (incl. template
+        # view-layers) are never ancestors and are kept untouched.
+        _norm = [p.replace("\\", "/") for p in paths]
+        _ancestors: set[str] = set()
+        for _p in _norm:
+            _segs = _p.split("/")
+            for _k in range(1, len(_segs)):
+                _ancestors.add("/".join(_segs[:_k]))
+        paths = [p for p, n in zip(paths, _norm) if n not in _ancestors]
+
         # Exclude non-source paths (tests, benchmarks, docs, tooling, vendored assets)
         # from layer scoring. Also exclude anything under a `resources/` segment: in
         # Maven/Gradle layouts `src/main/resources/**` is bundled config/assets — e.g.
@@ -665,6 +713,13 @@ class ArchitectureAnalyzer:
         best_priority = -1
         best_matched: dict[str, list[str]] = {}
         best_layer_files: dict[str, set[int]] = {}
+        # INV-F1-4: refutations that fired while assembling each candidate. Only
+        # those that shaped the RETURNED result are surfaced (below): the winning
+        # pattern's pruned layers, or — when no classical pattern qualifies — the
+        # contradictions that removed the contenders. A refutation of a candidate
+        # that lost on score anyway is not what the reader is being misled about.
+        cand_refutations: dict[str, list[str]] = {}
+        contradiction_details: list[str] = []
 
         for pattern_name, layer_keys in LAYER_PATTERNS.items():
             matched: dict[str, list[str]] = {}
@@ -692,16 +747,34 @@ class ArchitectureAnalyzer:
             # template/asset-only layers are untouched, so a real Spring-MVC
             # `templates/` view survives.
             _layer_paths = {k: [source_paths[i] for i in v] for k, v in layer_files.items()}
-            for _bad in incoherent_layers(pattern_name, _layer_paths, source_paths):
-                matched.pop(_bad, None)
-                layer_files.pop(_bad, None)
-
-            # A claim that IS a runtime split must show one: JobRunr, a JVM
-            # library, read "Fullstack with frontend, backend layers" off a
-            # `dashboard/ui/model/` package of 16 Java files. Nothing to prune —
-            # the pattern itself is what the evidence contradicts.
-            if pattern_contradicted(pattern_name, _layer_paths, source_paths):
+            _refs: list[str] = []
+            _split_contradicted = False
+            for _f in reconcile_architecture_evidence(
+                pattern=pattern_name, layer_files=_layer_paths, repo_files=source_paths
+            ):
+                if _f.error:
+                    # A rule that could not run is surfaced always (not tied to
+                    # whether this candidate wins) and never as a refutation.
+                    self._reconciliation_errors.append(_f.detail)
+                    continue
+                _refs.append(_f.detail)
+                if _f.rule == "composition_runtime_split":
+                    # A claim that IS a runtime split must show one: JobRunr, a JVM
+                    # library, read "Fullstack with frontend, backend layers" off a
+                    # `dashboard/ui/model/` package of 16 Java files. Nothing to
+                    # prune — the pattern itself is what the evidence contradicts.
+                    _split_contradicted = True
+                else:
+                    # layer_language_coherence: drop the layers owned by a
+                    # different runtime; template/asset-only layers are untouched,
+                    # so a real Spring-MVC `templates/` view survives.
+                    for _bad in _f.symbols:
+                        matched.pop(_bad, None)
+                        layer_files.pop(_bad, None)
+            if _split_contradicted:
+                contradiction_details.extend(_refs)
                 continue
+            cand_refutations[pattern_name] = _refs
 
             # A pattern with unmet required keys cannot qualify (e.g. mvc needs a view).
             required = _PATTERN_REQUIRED_KEYS.get(pattern_name)
@@ -717,6 +790,10 @@ class ArchitectureAnalyzer:
                 best_layer_files = layer_files
 
         if best_score >= 2:
+            # The reported pattern is the one whose refutations misled the reader
+            # if left silent (keycloak's dropped `view` layer). Contradictions of
+            # OTHER, losing candidates did not shape this result — omit them.
+            self._refutations.extend(cand_refutations.get(best_pattern, []))
             layer_confidence: Literal["high", "medium", "low"] = "medium" if best_score >= 3 else "low"
             layers: list[ArchitectureLayer] = []
             for layer_key, matched_dirs in best_matched.items():
@@ -729,6 +806,11 @@ class ArchitectureAnalyzer:
                 ))
             return best_pattern, layers
 
+        # No classical pattern qualified. If a contender was removed by a runtime
+        # split contradiction (jobrunr's "fullstack"), that is why — and the
+        # eventual fallthrough result would otherwise look like a silent absence.
+        self._refutations.extend(contradiction_details)
+
         # 2. Spring domain-module detection (petclinic-style: deep common prefix + feature dirs)
         spring_result = self._detect_spring_domain_modules(source_paths)
         if spring_result is not None:
@@ -872,8 +954,16 @@ class ArchitectureAnalyzer:
         # Architecture with orchestration, data layers" rested on ONE directory
         # entry plus a settings.gradle, with 47 Java files visible and ignored.
         # A logical code layer that holds no code of this repo is not one.
-        for _bad in unattested_layers(non_empty, paths):
-            non_empty.pop(_bad, None)
+        # INV-F1-4: this path only runs when no classical pattern won, so a
+        # pruning here directly shapes the returned result (fewer layers, or a
+        # drop below 2 that falls through to flat/unknown) — surface it.
+        for _f in reconcile_code_modules(layer_files=non_empty, repo_files=paths):
+            if _f.error:
+                self._reconciliation_errors.append(_f.detail)
+                continue
+            for _bad in _f.symbols:
+                non_empty.pop(_bad, None)
+            self._refutations.append(_f.detail)
         if len(non_empty) >= 2:
             return "layered", [
                 ArchitectureLayer(name=k, pattern="layered", files=v, confidence="low")
@@ -904,8 +994,14 @@ class ArchitectureAnalyzer:
         # count alone let build and asset directories be reported as modules —
         # ofbiz "docker, framework, runtime, gradle", neo4j "packaging",
         # eureka "images" (five PNGs). The real modules survive untouched.
-        for _bad in unattested_layers(meaningful, paths):
-            meaningful.pop(_bad, None)
+        # INV-F1-4: same as the layered path — surface each refuted module.
+        for _f in reconcile_code_modules(layer_files=meaningful, repo_files=paths):
+            if _f.error:
+                self._reconciliation_errors.append(_f.detail)
+                continue
+            for _bad in _f.symbols:
+                meaningful.pop(_bad, None)
+            self._refutations.append(_f.detail)
         if len(meaningful) >= 2:
             return "modular", [
                 ArchitectureLayer(name=k, pattern="modular", files=v, confidence="low")

sourcecode/architecture_summary.py

@@ -210,23 +210,38 @@ class ArchitectureSummarizer:
         # welds a foreign runtime's framework onto the primary's label. Drop what
         # the claimed stack does not attest, and never let the TYPE label — which
         # those same frameworks drove — survive its own evidence (P2-F).
-        from sourcecode.reconciliation import type_claim_unattested, unattested_frameworks
+        from sourcecode.reconciliation import (
+            has_execution_error,
+            reconcile_headline_evidence,
+            type_claim_unattested,
+        )
 
-        foreign = unattested_frameworks(primary.stack, sm.project_type, sm.stacks)
-        attested = [name for name in fw_names if name not in foreign]
-        dropped = [name for name in fw_names if name in foreign]
-        if dropped and not attested and type_claim_unattested(
+        _headline_findings = reconcile_headline_evidence(
             claimed_stack=primary.stack, project_type=sm.project_type, stacks=sm.stacks
-        ):
-            return self._describe_foreign_evidence(sm, stack_label, runtime, dropped)
-        fw_names = attested
+        )
+        if has_execution_error(_headline_findings):
+            # Fail-open guard (gap #2): the attestation rule could not run, and
+            # this prose surface has no gap channel to warn on. Rather than assert
+            # an unverified weld ("C#/.NET … using JAX-RS"), withhold the framework
+            # clause — the claim is not made when its check did not execute.
+            fw_names = []
+        else:
+            foreign = frozenset(s for f in _headline_findings for s in f.symbols)
+            attested = [name for name in fw_names if name not in foreign]
+            dropped = [name for name in fw_names if name in foreign]
+            if dropped and not attested and type_claim_unattested(
+                claimed_stack=primary.stack, project_type=sm.project_type, stacks=sm.stacks
+            ):
+                return self._describe_foreign_evidence(sm, stack_label, runtime, dropped)
+            fw_names = attested
 
         fw_str = f" using {', '.join(fw_names)}" if fw_names else ""
         if runtime:
             # BUG #4: never assert "rest api" in the headline unless the endpoints
-            # command actually backs it (Java/Kotlin only — that is where we have an
-            # authoritative extractor). Degrade to a qualified, consistent phrasing.
-            if sm.project_type == "api" and primary.stack in {"java", "kotlin"}:
+            # command actually backs it. Authority is Java ONLY: extract_java_endpoints
+            # reads *.java and is blind to .kt — a Kotlin REST API would otherwise
+            # degrade to "only 0 endpoints detected" over routes it cannot see.
+            if sm.project_type == "api" and primary.stack == "java":
                 total, high = self._endpoint_support()
                 if high < _MIN_REST_ENDPOINTS_FOR_LABEL:
                     plural = "s" if total != 1 else ""
@@ -310,23 +325,62 @@ class ArchitectureSummarizer:
 
     def _qualify_web_pattern(self, arch: Any, arch_line: str, sm: SourceMap) -> str:
         """BUG #1 (Jenkins field test): the "mvc" pattern is a directory-name
-        heuristic (dirs matching controller/model/view keywords). On a Java/Kotlin
-        repo, do not assert "MVC pattern with ... view layers" in prose when the
+        heuristic (dirs matching controller/model/view keywords). On a JVM repo,
+        do not assert "MVC pattern with ... view layers" in prose when the
         canonical endpoint extractor finds no HTTP controllers in the same run —
         Jenkins (Stapler web framework) matches model/view-ish dirs but declares
-        zero Spring MVC controllers. Cross-check against `endpoints` and degrade to
-        a consistent, non-committal phrasing instead of a categorical MVC claim."""
+        zero Spring MVC controllers.
+
+        This is a reconciliation rule (layer table × endpoint index), so the
+        judgement lives in F-1 (`reconcile_web_pattern_evidence`), not as an
+        ad-hoc `if` here (ADR-0005 §6.2/§8.4). The honest predicate is ZERO
+        modeled controllers, not `< 5`: with the old threshold, 1–4 real
+        controllers still degraded to the categorical "no HTTP controllers
+        detected" — a false statement. One controller backs the MVC claim; only
+        an empty index contradicts it.
+
+        **Authority = Java only.** The extractor (`extract_java_endpoints`) reads
+        `*.java`; it is blind to `.kt`/`.scala`/`.groovy`. So zero controllers is
+        a contradiction ONLY for a Java-primary repo. On Kotlin/Scala/Groovy an
+        empty index is the extractor's blindness, not absence of controllers —
+        degrading there asserted "no HTTP controllers detected" over real `.kt`
+        routes (INV-F1-1: never fire on absence of evidence). Gating the rule on
+        the JVM *family* was wrong; the boundary is the extractor's file coverage."""
+        from sourcecode.reconciliation import (
+            has_execution_error,
+            reconcile_web_pattern_evidence,
+        )
+
         if not arch_line or arch.pattern not in ("mvc", "spring_mvc_layered"):
             return arch_line
         primary = next((s for s in sm.stacks if s.primary), sm.stacks[0] if sm.stacks else None)
-        if primary is None or primary.stack not in {"java", "kotlin"}:
-            return arch_line
         _total, high = self._endpoint_support()
-        if high >= _MIN_REST_ENDPOINTS_FOR_LABEL:
-            return arch_line
-        # No controller backing → the MVC/view claim is unverified. Report the
-        # directory-derived layers without the framework label or the "view" claim.
+        # The endpoint extractor reads .java only — it is authoritative for a
+        # Java-primary repo, blind elsewhere.
+        _authoritative = bool(primary) and primary.stack == "java"
+        _findings = reconcile_web_pattern_evidence(
+            pattern=arch.pattern,
+            endpoint_evidence_authoritative=_authoritative,
+            modeled_endpoint_count=high,
+        )
         layer_names = [l.name for l in arch.layers[:4] if l.name != "view"] if arch.layers else []
+        if has_execution_error(_findings):
+            # Fail-open guard (gap #2): the cross-check could not run. Withhold the
+            # categorical MVC label AND the "no controllers" claim (both unverified);
+            # report only the directory-derived layers, or nothing.
+            if layer_names:
+                return (
+                    f"Layered code organization ({', '.join(layer_names)}; "
+                    "directory-based — endpoint cross-check unavailable)."
+                )
+            return ""
+        if not _findings:
+            # Non-Java (extractor blind), not a web pattern, or ≥1 controller backs
+            # the claim → keep. On Kotlin/Scala/Groovy the MVC label stays
+            # unverified rather than falsely negated.
+            return arch_line
+        # Contradiction: zero modeled controllers. Degrade — the claim is
+        # directory names, not routes; the "no HTTP controllers" wording is TRUE.
         if layer_names:
             return (
                 f"Layered code organization ({', '.join(layer_names)}; "

sourcecode/classifier.py

@@ -207,7 +207,7 @@ class TypeClassifier:
         # structured codebase (e.g. JobRunr: core + per-framework adapter modules).
         # This is checked BEFORE the weak `bin/`-directory CLI heuristic so a build
         # output / wrapper `bin/` dir does not mislabel a library as a CLI.
-        if stack_names & {"java", "kotlin", "scala"} and self._is_multi_module(file_tree):
+        if stack_names & _JVM_STACKS and self._is_multi_module(file_tree):
             return "library"
 
         # Weak CLI heuristic: a top-level bin/ directory (only when nothing stronger).

sourcecode/cli.py

@@ -7,7 +7,7 @@ import sys
 import threading
 import time
 from pathlib import Path
-from typing import Any, Optional, cast
+from typing import Any, NoReturn, Optional, cast
 
 import typer
 
@@ -293,6 +293,30 @@ _OPTIONS_WITH_VALUE: frozenset[str] = frozenset({
 })
 
 
+def _reject_path_before_subcommand(path_token: str, subcommand: str) -> "NoReturn":
+    """Refuse `ask <path> <subcommand>` instead of silently scanning the CWD.
+
+    `_detected_path` is only read by the root analysis: a subcommand takes its own
+    `path` Argument, which defaults to the current directory. So the path token in
+    `ask spaghetti-api endpoints` was swallowed here and the subcommand ran against
+    the CWD — from a directory of checkouts that is every repository at once.
+    Measured: it answered with 1077 endpoints from keycloak, neo4j and eureka
+    instead of spaghetti-api's 7, exit code 0, no warning.
+
+    A wrong answer that looks right is the one failure this tool must not produce,
+    and the token order cannot be repaired by guessing: subcommands disagree about
+    where a path sits (`impact-chain <symbol> <path>`), so there is no slot to move
+    it to. Name the correct command and stop.
+    """
+    print(
+        f"error: path '{path_token}' comes before the '{subcommand}' subcommand, "
+        f"so it would be ignored and the current directory scanned instead.\n"
+        f"       use: ask {subcommand} {path_token}",
+        file=sys.stderr,
+    )
+    raise SystemExit(2)
+
+
 def _preprocess_args(args: list[str]) -> list[str]:
     """Extract a repository path token from an args list and store it in _detected_path.
 
@@ -300,6 +324,8 @@ def _preprocess_args(args: list[str]) -> list[str]:
     Correctly skips option values (e.g. ``yaml`` in ``--format yaml``).
     If the first non-flag, non-value positional token is a known subcommand name,
     args are returned unchanged so Click can dispatch the subcommand.
+    A path token followed by a subcommand is rejected — see
+    ``_reject_path_before_subcommand``.
     """
     result = list(args)
     skip_next = False
@@ -315,11 +341,17 @@ def _preprocess_args(args: list[str]) -> list[str]:
                 skip_next = True
             continue
         if arg in _SUBCOMMANDS:
+            if _path_index >= 0:
+                # A path already claimed a slot, so this subcommand can only be
+                # the wrong-order form: the path would be dropped and the CWD
+                # scanned in its place.
+                _reject_path_before_subcommand(result[_path_index], arg)
             return result  # known subcommand — leave for Click to dispatch
+        if _path_index >= 0:
+            continue  # a later positional is the subcommand's own business
         # First genuine positional: treat as repository path
         _set_detected_path(arg)
         _path_index = i
-        break
     if _path_index >= 0:
         result.pop(_path_index)
     return result

sourcecode/confidence_analyzer.py

@@ -120,6 +120,20 @@ class ConfidenceAnalyzer:
                 project_type=sm.project_type,
                 stacks=sm.stacks,
             ):
+                if _rf.error:
+                    # Fail-open guard (gap #2): the stack-attestation rule could
+                    # not run. Never let that read as "primary attests every
+                    # framework" — record it as an anomaly + gap, not silence.
+                    anomalies.append(
+                        "Stack/framework attestation could not be evaluated — "
+                        "primary-stack attribution is UNVERIFIED"
+                    )
+                    gaps.append(AnalysisGap(
+                        area="framework_stack_attestation",
+                        reason=_rf.detail,
+                        impact="medium",
+                    ))
+                    continue
                 anomalies.append(
                     f"{', '.join(_rf.symbols)} declared by another runtime, not by the "
                     f"{_primary.stack} primary stack"

sourcecode/prepare_context.py

@@ -1249,6 +1249,17 @@ class TaskContextBuilder:
                 [ws.path for ws in workspace_analysis.workspaces],
             )
 
+        # F-1 single-ownership (ADR-0005 §INV-F1-4): run the architecture analysis
+        # ONCE, here, and keep it on sm.architecture — the single owned analysis.
+        # ArchitectureSummarizer/ContextSummarizer reuse it instead of each computing
+        # (and discarding) a private copy, and its refutations are transported into
+        # `limitations` below (surface #3, F1-SURFACE-INTEGRATION-2026-07-18).
+        from sourcecode.architecture_analyzer import ArchitectureAnalyzer as _ArchAnalyzer
+        try:
+            sm.architecture = _ArchAnalyzer().analyze(self.root, sm)
+        except Exception:
+            sm.architecture = None
+
         project_summary = ProjectSummarizer(self.root).generate(sm)
         architecture_summary = ArchitectureSummarizer(self.root).generate(sm)
 
@@ -1306,6 +1317,19 @@ class TaskContextBuilder:
         key_dependencies: list[dict[str, Any]] = []
         limitations: list[str] = []
 
+        # INV-F1-4 transport: this surface narrates the architecture, so it must
+        # carry the owner's refutations — the same lines surface #1 (serializer)
+        # emits. Only the F-1 refutation / execution-error lines (their fixed
+        # prefixes); pattern-inference notes stay out of the onboard surface. The
+        # analysis is the single owned one (sm.architecture) — no re-run, no re-judge.
+        if sm.architecture is not None:
+            for _arch_lim in (sm.architecture.limitations or []):
+                if _arch_lim.startswith((
+                    "Architecture claim refuted on evidence:",
+                    "Architecture reconciliation could not run:",
+                )):
+                    limitations.append(_arch_lim)
+
         if spec.enable_dependencies:
             from dataclasses import asdict
             from sourcecode.dependency_analyzer import DependencyAnalyzer

sourcecode/reconciliation.py

@@ -62,17 +62,75 @@ from pathlib import Path
 
 @dataclass(frozen=True)
 class ReconciliationFinding:
-    """One positively-detected contradiction between two evidence views."""
+    """One reconciliation outcome that a consumer must not narrate away.
+
+    Two kinds ride this one type, distinguished by `error`:
+
+    - a **detected contradiction** (`error=False`, `symbols` non-empty): two
+      views positively disagree; the consumer degrades the claim and names it.
+    - an **execution error** (`error=True`, `symbols` empty): a rule could not be
+      evaluated. It exists so that a rule that raises is NEVER indistinguishable
+      from a rule that ran and found nothing — the fail-open that let an
+      exception silently certify the very claim the rule was meant to check.
+
+    A rule that is *not applicable*, or that ran and found the views consistent,
+    yields NO finding: both legitimately mean "no contradiction, the claim may
+    stand", and no consumer acts differently on them. Only the error case needed
+    a physical state of its own (ADR-0005 §8.2).
+    """
     rule: str                 # stable rule id, e.g. "endpoint_coverage"
     symbols: tuple[str, ...]  # symbols the contradiction is anchored to
     detail: str               # one-sentence human/agent-readable statement
+    error: bool = False       # True iff this marks a rule that could not run
 
     def to_dict(self) -> dict:
-        return {
+        d = {
             "rule": self.rule,
             "symbols": list(self.symbols),
             "detail": self.detail,
         }
+        # Healthy findings serialize byte-identically to before; the flag appears
+        # only when set, so no existing consumer/snapshot shifts.
+        if self.error:
+            d["error"] = True
+        return d
+
+
+def _execution_error(rule_id: str, exc: Exception) -> ReconciliationFinding:
+    """Build the finding that marks a rule which raised instead of running."""
+    return ReconciliationFinding(
+        rule=rule_id,
+        symbols=(),
+        error=True,
+        detail=(
+            f"the {rule_id} reconciliation rule could not be evaluated "
+            f"({type(exc).__name__}) — its consistency check did NOT run, so the "
+            "claim it guards is UNVERIFIED, not confirmed."
+        ),
+    )
+
+
+def _run_rule(rule_id: str, thunk) -> list[ReconciliationFinding]:
+    """Run one rule in isolation. On any exception, return an execution-error
+    finding instead of swallowing it — the core of the fail-open fix. Per-rule
+    (not per-surface) so one rule raising never blanks a sibling rule's finding.
+    """
+    try:
+        return list(thunk())
+    except Exception as exc:  # noqa: BLE001 — deliberate: convert, never swallow
+        return [_execution_error(rule_id, exc)]
+
+
+def execution_errors(
+    findings: "list[ReconciliationFinding]",
+) -> list[ReconciliationFinding]:
+    """The execution-error findings in a batch (empty if every rule ran)."""
+    return [f for f in findings if getattr(f, "error", False)]
+
+
+def has_execution_error(findings: "list[ReconciliationFinding]") -> bool:
+    """True iff any rule in the batch could not be evaluated."""
+    return any(getattr(f, "error", False) for f in findings)
 
 
 def http_handler_classes(cir) -> frozenset[str]:
@@ -142,14 +200,12 @@ def reconcile_impact_evidence(
         modeled_classes: classes the endpoint index has ≥1 route for
                          (endpoint_index.controller_fqns).
     """
-    findings: list[ReconciliationFinding] = []
-    try:
-        findings.extend(
-            _rule_endpoint_coverage(chain_classes, handler_classes, modeled_classes)
-        )
-    except Exception:
-        pass
-    return findings
+    return _run_rule(
+        "endpoint_coverage",
+        lambda: _rule_endpoint_coverage(
+            chain_classes, handler_classes, modeled_classes
+        ),
+    )
 
 
 # ---------------------------------------------------------------------------
@@ -374,21 +430,38 @@ def _rule_composition_runtime_split(
     ]
 
 
+def reconcile_code_modules(
+    *, layer_files: dict[str, list[str]], repo_files: "list[str]"
+) -> list[ReconciliationFinding]:
+    """Run the code-module attestation rule. Never raises.
+
+    Returns the findings (name AND detail), so a consumer can both prune the
+    refuted layers and SURFACE why — INV-F1-4: a rule that is applied silently
+    replaces one dishonesty with another.
+
+    Args:
+        layer_files: {claimed module -> its files}.
+        repo_files:  every source file, supplying the repo's own runtime.
+    """
+    def _run() -> list[ReconciliationFinding]:
+        repo_runtimes = runtime_census({"_repo": list(repo_files)})["_repo"]
+        return _rule_layer_code_attestation(runtime_census(layer_files), repo_runtimes)
+
+    return _run_rule("layer_code_attestation", _run)
+
+
 def unattested_layers(
     layer_files: dict[str, list[str]], repo_files: "list[str]"
 ) -> frozenset[str]:
     """Layers holding no code of the repo's runtime (convenience view).
 
-    For consumers claiming code modules / logical code layers. Never raises.
+    Names only; consumers that must also surface the contradiction use
+    `reconcile_code_modules` instead. Never raises.
     """
-    try:
-        repo_runtimes = runtime_census({"_repo": list(repo_files)})["_repo"]
-        out: set[str] = set()
-        for f in _rule_layer_code_attestation(runtime_census(layer_files), repo_runtimes):
-            out.update(f.symbols)
-        return frozenset(out)
-    except Exception:
-        return frozenset()
+    out: set[str] = set()
+    for f in reconcile_code_modules(layer_files=layer_files, repo_files=repo_files):
+        out.update(f.symbols)
+    return frozenset(out)
 
 
 def reconcile_architecture_evidence(
@@ -405,16 +478,22 @@ def reconcile_architecture_evidence(
         repo_files:  every source file considered — supplies the repo's own
                      runtime, the arbiter of which layers belong to the claim.
     """
-    findings: list[ReconciliationFinding] = []
     try:
         census = runtime_census(layer_files)
         repo_runtimes = runtime_census({"_repo": list(repo_files)})["_repo"]
-        findings.extend(
-            _rule_layer_language_coherence(pattern, census, repo_runtimes)
-        )
-        findings.extend(_rule_composition_runtime_split(pattern, census))
-    except Exception:
-        pass
+    except Exception as exc:
+        # Shared view prep failed — neither rule could run. One error finding,
+        # attributed to the primary architecture rule, carries that to the sink.
+        return [_execution_error("layer_language_coherence", exc)]
+    findings: list[ReconciliationFinding] = []
+    findings += _run_rule(
+        "layer_language_coherence",
+        lambda: _rule_layer_language_coherence(pattern, census, repo_runtimes),
+    )
+    findings += _run_rule(
+        "composition_runtime_split",
+        lambda: _rule_composition_runtime_split(pattern, census),
+    )
     return findings
 
 
@@ -470,6 +549,19 @@ _STACK_FAMILY: dict[str, str] = {
     "elixir": "beam", "erlang": "beam",
 }
 
+
+def stack_runtime_family(stack_id: str) -> str | None:
+    """Runtime family of a stack id (``jvm``/``js``/``python``/…), or None.
+
+    The single source of truth for "which stacks share a runtime". A consumer
+    that gates on JVM-ness (a Kotlin, Scala or Groovy repo is the SAME runtime as
+    a Java one) reads this instead of hardcoding ``{"java", "kotlin"}`` — which
+    silently dropped Scala and Groovy and let an unverified claim ship on them.
+    None means "unjudgeable", never a contradiction (INV-F1-1).
+    """
+    return _STACK_FAMILY.get(stack_id or "")
+
+
 # Project types that are SUPPOSED to span runtimes — their headline names a tier
 # split, so a framework from another runtime is the point, not a contradiction.
 # Same carve-out (and same names) as `_CROSS_RUNTIME_PATTERNS` for layer claims.
@@ -577,17 +669,13 @@ def reconcile_headline_evidence(
     """
     if project_type in _CROSS_RUNTIME_TYPES:
         return []
-    findings: list[ReconciliationFinding] = []
-    try:
-        findings.extend(
-            _rule_framework_stack_attestation(
-                _STACK_FAMILY.get(claimed_stack or ""),
-                framework_owner_families(stacks),
-            )
-        )
-    except Exception:
-        pass
-    return findings
+    return _run_rule(
+        "framework_stack_attestation",
+        lambda: _rule_framework_stack_attestation(
+            _STACK_FAMILY.get(claimed_stack or ""),
+            framework_owner_families(stacks),
+        ),
+    )
 
 
 def type_claim_unattested(
@@ -614,6 +702,12 @@ def type_claim_unattested(
             return False
         return not any(family in fams for fams in owners.values())
     except Exception:
+        # A bool predicate cannot carry an execution-error finding. It never
+        # decides alone: every caller runs `reconcile_headline_evidence` on the
+        # SAME stacks first (same `framework_owner_families` call), so an
+        # exception here has already surfaced as an execution-error finding
+        # there. Returning False adds NO extra clause — it does not certify a
+        # claim the paired findings call left unguarded.
         return False
 
 
@@ -629,6 +723,81 @@ def unattested_frameworks(
     return frozenset(out)
 
 
+# ---------------------------------------------------------------------------
+# Narrative reconciliation (web-pattern claim × endpoint index)
+# ---------------------------------------------------------------------------
+
+# Patterns that assert an HTTP/view tier. The claim is directory-derived (dirs
+# named controller/model/view); the endpoint index is the authoritative
+# controller evidence for the SAME run. They contradict when the pattern names a
+# web tier but the index modeled NO controller at all — Jenkins (Stapler)
+# matched model/view dirs and declared zero Spring MVC controllers.
+_WEB_PATTERNS: frozenset[str] = frozenset({"mvc", "spring_mvc_layered"})
+
+
+def _rule_web_pattern_attestation(
+    pattern: str, endpoint_evidence_authoritative: bool, modeled_endpoint_count: int
+) -> list[ReconciliationFinding]:
+    """A web/MVC pattern claim that the endpoint index does not back at all.
+
+    Provable ABSENCE, not a threshold: the rule fires only at ZERO modeled
+    controllers (`== 0`), never at "few". One controller backs the claim — the
+    pattern has real HTTP evidence and is not contradicted. The "< N is not
+    really a web app" judgement is a LABEL heuristic and stays in the consumer
+    (ADR-0005 limit 2: a rule may not carry a threshold).
+
+    **Authority gate (INV-F1-1).** Zero controllers is a CONTRADICTION only where
+    the endpoint extractor can actually see the code. The canonical extractor
+    reads `*.java` only — so on a Kotlin/Scala/Groovy repo an empty index is
+    *absence of evidence* (the extractor is blind to `.kt`/`.scala`/`.groovy`),
+    NOT a contradiction, and firing there is a false negative (measured: a Kotlin
+    `@RestController` with real routes read "no HTTP controllers detected"). The
+    caller passes `endpoint_evidence_authoritative`; when false, the rule stays
+    silent. The consumer decides authority (it owns the extractor fact), keeping
+    this rule free of any language/extractor coupling.
+    """
+    if pattern not in _WEB_PATTERNS or not endpoint_evidence_authoritative:
+        return []
+    if modeled_endpoint_count > 0:
+        return []
+    return [
+        ReconciliationFinding(
+            rule="web_pattern_endpoint_attestation",
+            symbols=(pattern,),
+            detail=(
+                f"the '{pattern}' claim names an HTTP/view tier but the endpoint "
+                "index modeled no controller — the layers are directory names, "
+                "not routes."
+            ),
+        )
+    ]
+
+
+def reconcile_web_pattern_evidence(
+    *,
+    pattern: str,
+    endpoint_evidence_authoritative: bool,
+    modeled_endpoint_count: int,
+) -> list[ReconciliationFinding]:
+    """Run the web-pattern attestation rule. Never raises.
+
+    Args:
+        pattern:                        the claimed architecture pattern.
+        endpoint_evidence_authoritative: True iff the endpoint extractor can see
+                                        this repo's controllers (it reads .java
+                                        only — the consumer owns this fact). When
+                                        False, zero endpoints is absence, not a
+                                        contradiction (INV-F1-1), and no finding.
+        modeled_endpoint_count:         high-confidence controllers modeled.
+    """
+    return _run_rule(
+        "web_pattern_endpoint_attestation",
+        lambda: _rule_web_pattern_attestation(
+            pattern, endpoint_evidence_authoritative, modeled_endpoint_count
+        ),
+    )
+
+
 def reconcile_extraction_evidence(
     *,
     type_decl_files: frozenset[str],
@@ -640,9 +809,7 @@ def reconcile_extraction_evidence(
         type_decl_files: files whose masked source declares a Java type.
         extracted_files: files symbol extraction produced ≥1 symbol for.
     """
-    findings: list[ReconciliationFinding] = []
-    try:
-        findings.extend(_rule_parse_coverage(type_decl_files, extracted_files))
-    except Exception:
-        pass
-    return findings
+    return _run_rule(
+        "parse_coverage",
+        lambda: _rule_parse_coverage(type_decl_files, extracted_files),
+    )

sourcecode/spring_impact.py

@@ -1265,6 +1265,7 @@ class ImpactOrchestrator:
         # provably declares HTTP handlers but has no modeled route is a
         # positively-detected under-report of endpoints_affected.
         endpoint_coverage_blind_spot = False
+        reconciliation_error_blind_spot = False
         reconciliation_findings: list[dict] = []
         try:
             _chain_classes = frozenset(
@@ -1277,9 +1278,23 @@ class ImpactOrchestrator:
                 modeled_classes=frozenset(model.endpoint_index.controller_fqns),
             )
             reconciliation_findings = [f.to_dict() for f in _rec]
+            # Fail-open guard (gap #2): an execution-error finding means a rule
+            # could not run. It must NEVER be read as "no contradiction" — surface
+            # it as its own blind spot so an unevaluated endpoint check can't pass
+            # for a clean one. (The error finding carries rule="endpoint_coverage"
+            # too, hence the `not _f.error` on the contradiction branch below.)
+            _rec_errors = [f for f in _rec if f.error]
+            if _rec_errors:
+                reconciliation_error_blind_spot = True
+                warnings.append(
+                    "Evidence reconciliation could not run for this query — "
+                    + _rec_errors[0].detail
+                    + " The endpoint-coverage check did NOT execute; treat the "
+                    "endpoint list as unverified, not confirmed complete."
+                )
             _unmapped: list[str] = []
             for _f in _rec:
-                if _f.rule == "endpoint_coverage":
+                if _f.rule == "endpoint_coverage" and not _f.error:
                     endpoint_coverage_blind_spot = True
                     _unmapped = list(_f.symbols)
             if endpoint_coverage_blind_spot:
@@ -1294,8 +1309,16 @@ class ImpactOrchestrator:
                     "locator chains). Callers remain reliable; verify these classes' "
                     "exposure before treating the endpoint list as complete."
                 )
-        except Exception:
-            pass
+        except Exception as _rec_exc:
+            # Even assembling the reconciliation inputs failed (e.g.
+            # http_handler_classes traversing a malformed IR). Same invariant: an
+            # exception is not evidence of consistency — record a blind spot.
+            reconciliation_error_blind_spot = True
+            warnings.append(
+                "Evidence reconciliation could not run for this query "
+                f"({type(_rec_exc).__name__}) — the endpoint-coverage check did "
+                "NOT execute; treat the endpoint list as unverified."
+            )
 
         blind_spots = (
             # framework_di stops being a blind spot once CH-007 recovers callers
@@ -1305,6 +1328,7 @@ class ImpactOrchestrator:
             + (["method_scope_unproven"] if method_scope_blind_spot else [])
             + (["parse_coverage"] if parse_coverage_blind_spot else [])
             + (["endpoint_coverage_partial"] if endpoint_coverage_blind_spot else [])
+            + (["reconciliation_error"] if reconciliation_error_blind_spot else [])
         )
 
         confidence: str
@@ -1322,9 +1346,16 @@ class ImpactOrchestrator:
             or parse_coverage_blind_spot
         ):
             confidence = "low"
-        elif resolution == "partial" or confidence_reducing or endpoint_coverage_blind_spot:
+        elif (
+            resolution == "partial"
+            or confidence_reducing
+            or endpoint_coverage_blind_spot
+            or reconciliation_error_blind_spot
+        ):
             # endpoint_coverage: the callers are still trustworthy — only the
             # endpoint axis is provably incomplete, so cap at medium, not low.
+            # reconciliation_error: the endpoint check did not run at all, so we
+            # cannot claim "high" — same medium cap, callers still stand.
             confidence = "medium"
         else:
             confidence = "high"

sourcecode/summarizer.py

@@ -9,7 +9,10 @@ from pathlib import Path
 from typing import Any
 
 from sourcecode.architecture_analyzer import _LAYER_MIN_SHARE, _PATTERN_REQUIRED_KEYS
-from sourcecode.reconciliation import incoherent_layers, pattern_contradicted
+from sourcecode.reconciliation import (
+    has_execution_error,
+    reconcile_architecture_evidence,
+)
 from sourcecode.detectors.parsers import load_json_file, load_toml_file
 from sourcecode.tree_utils import safe_read_text
 from sourcecode.entrypoint_classifier import is_production_entry_point
@@ -437,9 +440,22 @@ class ProjectSummarizer:
             # SIM-3: same coherence rule the architecture prose applies — this
             # table is the headline's copy, and a fix applied to only one of the
             # two duplicated tables leaves the other one lying.
-            for _bad in incoherent_layers(pattern_name, layer_files, file_paths):
-                layer_files.pop(_bad, None)
-            if pattern_contradicted(pattern_name, layer_files, file_paths):
+            _arch_findings = reconcile_architecture_evidence(
+                pattern=pattern_name, layer_files=layer_files, repo_files=file_paths
+            )
+            # Fail-open guard (gap #2): this headline word has no gap channel. If
+            # the coherence/split check could not run, do not headline an
+            # unverified pattern — skip it, exactly as a contradiction would.
+            if has_execution_error(_arch_findings):
+                continue
+            _split_contradicted = False
+            for _f in _arch_findings:
+                if _f.rule == "composition_runtime_split":
+                    _split_contradicted = True
+                else:
+                    for _bad in _f.symbols:
+                        layer_files.pop(_bad, None)
+            if _split_contradicted:
                 continue
             # A pattern must show its defining trait here too, or the headline
             # contradicts the architecture prose that already enforces this.

{sourcecode-2.5.8.dist-info → sourcecode-2.5.12.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sourcecode
-Version: 2.5.8
+Version: 2.5.12
 Summary: Persistent structural context and ultra-fast repeated analysis for AI coding agents
 License-File: LICENSE
 Keywords: agents,ai,codebase,context,developer-tools,llm

{sourcecode-2.5.8.dist-info → sourcecode-2.5.12.dist-info}/RECORD

@@ -1,18 +1,18 @@
-sourcecode/__init__.py,sha256=_NfSfXuUp-msE-TND4uH-8TBeVxxl6h_wE6eoRCY_E8,308
+sourcecode/__init__.py,sha256=OYjcfmD8BAbYO_oviKYCufYRUQmu9cFURHhQC4BEofc,309
 sourcecode/adaptive_scanner.py,sha256=XffluXKzJUXrMtjEiAOnSNPZnztdIcts17T9ouHeID0,10521
 sourcecode/archetype.py,sha256=d7yoN6Tj4OBj-VgSMPEKg4WF9H8FypnZ5A6AkUh5oIE,34484
-sourcecode/architecture_analyzer.py,sha256=1CEIeFtuxdzeFaeUtA5QuDmFkb5eilUK8zRmk9tcDxc,55644
-sourcecode/architecture_summary.py,sha256=oBkjx7hZxmpdKLt4EracjRKHJFOGuPTd6SadTyPxY7Q,29568
+sourcecode/architecture_analyzer.py,sha256=GFc4ek-s1IHWM7pl-0L32WahZ93AmDgrAMcOuBKA5Dk,61463
+sourcecode/architecture_summary.py,sha256=BVVRHd952cjRhjHnR6CPrvKgaa-tdM16l-pBi1yDCPs,32395
 sourcecode/ast_extractor.py,sha256=FEsYTsMCXbJfSYQZRk1k-I-PjUNGnKqO1IxMftsgA5U,51351
 sourcecode/cache.py,sha256=1V3vsaODAa2UBJAC0xpvxpmRdriCezQx5Q8JCcfgziE,31892
 sourcecode/call_surface.py,sha256=fiqYfHooxN1fX9oQoysq1LS3LoZcobhyUNjAGEZKpwk,4148
 sourcecode/caller_metrics.py,sha256=HG8RCOkpzzsEGdnMRob6byrwjoj5__t0TEsBj4yR7ks,2574
 sourcecode/canonical_ir.py,sha256=5hLAhhSpXNOdZAvPt-J-rXccJE6M3A6gVhmhU0Tym6Y,29269
 sourcecode/cir_graphs.py,sha256=9G0HHj1kw2325IDyzo2OpX73BNswEckecf4MZUXB4JM,12078
-sourcecode/classifier.py,sha256=9olDN5joeKHcwG9vf73X-t_son16hLVNib0rBbqk1vc,18865
-sourcecode/cli.py,sha256=46Chp0JsEWD_j0HUWOx4tOhrsXSWgWV8JhL5G8SyW4I,322078
+sourcecode/classifier.py,sha256=rkMapdklDuIv3rXrNEwwL65UldkvTn8VuKa73GPoSDo,18849
+sourcecode/cli.py,sha256=mlMgyRukRoHXYdAYHBN4z06LszwdRo0QLdhs0KYtup8,323804
 sourcecode/code_notes_analyzer.py,sha256=EJemNCNc9Dn-1RZYu-aNbK0ELzmsyC4s6FdHi3XyNEI,9392
-sourcecode/confidence_analyzer.py,sha256=KCRg8B4WH15LpOB7oYhE4dD5nou9Xi48RT3vpaO6Ar4,20868
+sourcecode/confidence_analyzer.py,sha256=vnbPI-20FnHdjO6STxHW8fbaxmB4A7y58io63ibFZjc,21586
 sourcecode/context_cache.py,sha256=maws79rLKDwyZ7c9Q2LwlIxqZHRFlaKzErtO3mglWoA,25036
 sourcecode/context_graph.py,sha256=WFtUvfxoE8XtQxtRJLvaF4SJuS00ICjNoTk0sH2_V5U,44454
 sourcecode/context_scorer.py,sha256=QpChSpsmaAYz91rXA4Ue5xzQmNz_ZboZN09YOHScq1U,14679
@@ -48,10 +48,10 @@ sourcecode/output_budget.py,sha256=Js9yUlfQtPhqBl9R6wn_9UHVjjJc3GtLcqyfjf5t50Q,9
 sourcecode/path_filters.py,sha256=T1y0SJsmUJBju2Hh_-z40kURAowUEq42FpPgWLbOaY0,6931
 sourcecode/pr_comment_renderer.py,sha256=KmcjMruhR44gjzMDJwjBSkWP9QEvh8xWBLyxzxoRbj0,14542
 sourcecode/pr_impact.py,sha256=dCDVw83EDbyVf6F9ZmEQmsFz8ruVH7d4mpeKQCIZHM0,16805
-sourcecode/prepare_context.py,sha256=PYygAKL_jwz8gGElgM9mroUSih18UKSSjv08ndfl4aA,222877
+sourcecode/prepare_context.py,sha256=-Xu33qCETuqw-OFfT3ukvAtxde7krCjQpn7wR3pbdOg,224290
 sourcecode/progress.py,sha256=qn30sWaHOkjTgXsSBmiPkz7Rsbwc5oSlIe6JNEMYp_k,3149
 sourcecode/ranking_engine.py,sha256=ZAucq_YX2KkWUuAZf4P0lhtQ_38vEFnUhuGtSZd1S0E,12970
-sourcecode/reconciliation.py,sha256=Ulmo4cNgeBnS1KxWv7kKFkXkwgJaQ70P0x6zC4F0I_I,26342
+sourcecode/reconciliation.py,sha256=GU-1PTcVr8zcbtC7BASfpHcZndP9AdboXPNQiBc0fzo,34251
 sourcecode/redactor.py,sha256=SB4hwIvg8h-hvcqKcDWaZvA-aSyn-at-BIRwa0tUv5E,3227
 sourcecode/relevance_scorer.py,sha256=0AgEt4KrV73nioMqBgjhGjtY7L2C7L7cSyKtj3IKcrw,9408
 sourcecode/rename_refactor.py,sha256=h6dNFlB9aZ_3q6heeHBkgXQeXaT03nvPSsYH6P8qxFg,12965
@@ -70,12 +70,12 @@ sourcecode/semantic_services.py,sha256=nbUuPv-F01USTt_9CHT8iy_ucCIw3fz4W3Aquea_p
 sourcecode/serializer.py,sha256=FmQo7eojA_z3ptLW-Vgze5mrEJ6FabcZqiwbQWWTgFI,130056
 sourcecode/spring_event_topology.py,sha256=5_ON_21Le5zbG-1GRc5GLIi5HJfy_QjcXLVPC5WeUGQ,18055
 sourcecode/spring_findings.py,sha256=EX7kLZLN74CFyR9iZPm3CI115BfFKNd4WRPuErNljZM,5729
-sourcecode/spring_impact.py,sha256=ayZtHZ2YCRSlZpKBACoM9M7tW0K1W_C0r8SGj3R-4vU,70603
+sourcecode/spring_impact.py,sha256=MkUI27OCOhkjvBoA4f9X1eDBIY0SmyPuLVCWIfZgOcE,72430
 sourcecode/spring_model.py,sha256=zOAgFmrRbG4a6KLm1TJl55aWMyPNsz3OS3FSczqPG6A,16594
 sourcecode/spring_security_audit.py,sha256=Rk-aSohezdc7YDYbSoJquVnwpkDB8ty1BCD-4Hc4R5A,22832
 sourcecode/spring_semantic.py,sha256=jteQ1PkY9ArFJv0embg_jBIdbOxqrk9mQ2Xz8OF_FKA,14214
 sourcecode/spring_tx_analyzer.py,sha256=QMXkxa_hrqDVN3D8WJsd0nT7vfdZCT1E8ZWNoFFbvgU,34692
-sourcecode/summarizer.py,sha256=E70QILQ8cCNIH485c7lVMv5dXOpUn8qx1habi1_cn6o,26340
+sourcecode/summarizer.py,sha256=SWj-y5BJ_Qw89ljLg-KXaLsvU87usOw-raTckPutCk4,26976
 sourcecode/tree_utils.py,sha256=8GAkIfQAsvtEudIeW1l4ooH_oRtrWR8cpJQJsEa_Pfw,2093
 sourcecode/type_usage_surface.py,sha256=51IrKRQoIoRnlsiDjHnqpJBn2rc6E59aRhgS0HTzAF0,4428
 sourcecode/validation_inference.py,sha256=UtmYv-d4TEzT1ihGEipAhtXDrwq0XtVtjMpb3i7NsNc,10815
@@ -137,8 +137,8 @@ sourcecode/telemetry/consent.py,sha256=LIAO9ohJZF8OuZwM4u1VWtALlYfTCCKq4wV3Vwc7i
 sourcecode/telemetry/events.py,sha256=LtzYfaX9Ilckj5PTvAcTpDa9mLqDsYPDUiDkRa58piY,2580
 sourcecode/telemetry/filters.py,sha256=NHa5T-6DaZduQPFuC34jOqHWQgSizM-Ygq8aZ4j19ng,5834
 sourcecode/telemetry/transport.py,sha256=4gGHsq0WeY9VywEZXA3vUxykfiYnw9uuqfjAAec7F8o,1681
-sourcecode-2.5.8.dist-info/METADATA,sha256=woc6vFFAaDW8k2ZxGcFwNar-lnPjeWZA15ZhMjSZBz8,10851
-sourcecode-2.5.8.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
-sourcecode-2.5.8.dist-info/entry_points.txt,sha256=-JEAdChrK5We51kZcb7OaDcyil-dHBjBPL-NhuO-QY8,89
-sourcecode-2.5.8.dist-info/licenses/LICENSE,sha256=7DdHrU9Z_3e7dSvq4ISijZNjnuHo5NIHNiHDouMQ9JU,10491
-sourcecode-2.5.8.dist-info/RECORD,,
+sourcecode-2.5.12.dist-info/METADATA,sha256=_ZdJavgYcJbSneqocYtK_QZUZ7nsYc9aJkKevISBgO8,10852
+sourcecode-2.5.12.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
+sourcecode-2.5.12.dist-info/entry_points.txt,sha256=-JEAdChrK5We51kZcb7OaDcyil-dHBjBPL-NhuO-QY8,89
+sourcecode-2.5.12.dist-info/licenses/LICENSE,sha256=7DdHrU9Z_3e7dSvq4ISijZNjnuHo5NIHNiHDouMQ9JU,10491
+sourcecode-2.5.12.dist-info/RECORD,,