Wesker 0.4.0__tar.gz

wesker-0.4.0/.github/workflows/ci.yml

@@ -0,0 +1,60 @@
+name: CI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+    types: [opened, synchronize, reopened]
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+
+      - uses: astral-sh/setup-uv@v4
+        with:
+          version: "latest"
+
+      - name: Install dependencies
+        run: uv sync
+
+      - name: Lint
+        run: uv run ruff check Wesker/ tests/
+
+      - name: Format check
+        run: uv run ruff format --check Wesker/ tests/
+
+      - name: Test with coverage
+        run: uv run pytest tests/ --cov=Wesker --cov-report=xml:coverage.xml -q
+
+      - name: Upload coverage report
+        uses: actions/upload-artifact@v4
+        with:
+          name: coverage-report
+          path: coverage.xml
+
+  sonarcloud:
+    name: SonarCloud
+    runs-on: ubuntu-latest
+    needs: test
+    if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name == github.repository
+    env:
+      SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }}
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+
+      - name: Download coverage report
+        uses: actions/download-artifact@v4
+        with:
+          name: coverage-report
+
+      # Skips (keeping CI green) until SONAR_TOKEN is set; activates the
+      # Quality Gate + Coverage badges the moment the secret is added.
+      - name: SonarQube Scan
+        if: env.SONAR_TOKEN != ''
+        uses: SonarSource/sonarqube-scan-action@v6

wesker-0.4.0/.github/workflows/spec-badges.yml

@@ -0,0 +1,134 @@
+name: Specification Badges
+
+on:
+  push:
+    branches: [main]
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  spec_badges:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: astral-sh/setup-uv@v4
+        with:
+          version: "latest"
+
+      - name: Install dependencies
+        run: uv sync
+
+      # ── Wesker specification metrics — the tool profiling itself ──
+      #
+      # `python -m Wesker.metrics` runs in-process multi-pass mutation
+      # profiling over Wesker's own library core (engine, ci, filter),
+      # then MC/DC verification (GITHUB_ACTIONS auto-enables it), and emits
+      # MUTATION_KILL_PCT / MEAN_SIGMA / TEST_COUNT / MCDC_* to GITHUB_ENV.
+      #
+      # MC/DC methodology: ROR (Relational Operator Replacement) mutation.
+      # Offutt & Voas (1996) prove mutation testing subsumes MC/DC; Kaminski,
+      # Ammann & Offutt (2013) show ROR mutation is strictly stronger than
+      # MC/DC in fault-detection power. Targets are auto-discovered by AST
+      # scan — every function with relational operators, no hand-curation.
+      - name: Run Wesker specification metrics
+        run: uv run python -m Wesker.metrics
+        env:
+          WESKER_COLOR: "1"
+
+      - name: Create badges directory
+        run: mkdir -p .github/badges
+
+      # ── Badge generation ──────────────────────────────────────────
+
+      - name: Generate Mutation Kill Rate Badge
+        uses: emibcn/badge-action@v2.0.2
+        with:
+          label: "Mutation Kill Rate"
+          label-color: "333"
+          status: "${{ env.MUTATION_KILL_PCT }}%"
+          color: ${{ env.MUTATION_KILL_PCT == '100' && '2ea043' || 'e5534b' }}
+          path: ".github/badges/mutation-kill-rate.svg"
+
+      - name: "Generate Mean σ Badge"
+        uses: emibcn/badge-action@v2.0.2
+        with:
+          label: "Mean σ"
+          label-color: "333"
+          status: "${{ env.MEAN_SIGMA }}"
+          color: "8b5cf6"
+          path: ".github/badges/sigma.svg"
+
+      - name: Generate Test Count Badge
+        uses: emibcn/badge-action@v2.0.2
+        with:
+          label: "Tests"
+          label-color: "333"
+          status: "${{ env.TEST_COUNT }} (${{ env.TEST_RATIO }})"
+          color: "555"
+          path: ".github/badges/test-count.svg"
+
+      - name: Compute sampling ratio
+        run: |
+          python3 -c "
+          tested = ${{ env.MUTATION_TOTAL }}
+          universe = ${{ env.MUTATION_UNIVERSE }}
+          if universe and universe > 0:
+              pct = round(100 * tested / universe, 1)
+              print(f'SAMPLING_RATIO={tested}/{universe} ({pct}%)')
+          else:
+              print(f'SAMPLING_RATIO={tested}/{tested} (100%)')
+          " | while read line; do echo "$line" >> "$GITHUB_ENV"; done
+
+      - name: Generate Mutation Sampling Badge
+        uses: emibcn/badge-action@v2.0.2
+        with:
+          label: "Mutation Sampling"
+          label-color: "333"
+          status: "${{ env.SAMPLING_RATIO }}"
+          color: "555"
+          path: ".github/badges/mutation-sampling.svg"
+
+      - name: "Generate MC/DC Badge"
+        uses: emibcn/badge-action@v2.0.2
+        with:
+          label: "MC/DC"
+          label-color: "333"
+          status: "${{ env.MCDC_STATUS }} (${{ env.MCDC_COVERED }}/${{ env.MCDC_TOTAL }})"
+          color: ${{ env.MCDC_STATUS == 'Verified' && '0ea5e9' || 'e5534b' }}
+          path: ".github/badges/mcdc.svg"
+
+      # ── Push to badges branch ────────────────────────────────────
+
+      - name: Push badges to badges branch
+        if: github.ref == 'refs/heads/main'
+        run: |
+          cp .github/badges/*.svg /tmp/
+          rm -rf .github/badges
+
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+
+          if git ls-remote --exit-code --heads origin badges >/dev/null 2>&1; then
+            git fetch origin badges:badges
+            git switch badges
+          else
+            git switch --orphan badges
+            git rm -rf . >/dev/null 2>&1 || true
+          fi
+
+          mkdir -p .github/badges
+          cp /tmp/*.svg .github/badges/
+          git add .github/badges/*.svg
+
+          if git diff --cached --quiet; then
+            echo "No badge changes"
+            exit 0
+          fi
+
+          git commit -m "Update spec badges (kill=${{ env.MUTATION_KILL_PCT }}%, σ̄=${{ env.MEAN_SIGMA }}, tests=${{ env.TEST_COUNT }}, ratio=${{ env.TEST_RATIO }})"
+          git push origin badges

wesker-0.4.0/.gitignore

@@ -0,0 +1,18 @@
+__pycache__/
+*.pyc
+*.egg-info/
+dist/
+build/
+.wesker/
+.wesker-report.json
+# Detective's analysis artifacts — Wesker is dogfooded with it (ARCHITECTURE §11),
+# which drops reports/caches here. Regeneratable; never part of the package.
+.detective/
+.coverage
+coverage.xml
+.venv/
+
+# Dev tooling caches (not part of the package)
+.serena/
+.claude/
+.DS_Store

wesker-0.4.0/.lintgate/.gitignore

@@ -0,0 +1,2 @@
+# LintGate tool state — auto-generated, do not commit.
+*

wesker-0.4.0/.lintgate/analysis/controlplane_apply_repairs/aa7e69b50e.json

@@ -0,0 +1 @@
+{"_envelope":"v1","_meta":{"tool":"controlplane_apply_repairs","timestamp":1783745594.216842,"project":"/Users/rohanvinaik/tools/Wesker"},"_sections":{"meta":["run_id"],"findings":["repairs_executed","results"],"data":["pending_remaining"]},"run_id":"dd942832f273","summary":{"total_proposed":1,"collected":1,"succeeded":1,"failed":0,"skipped":0},"repairs_executed":1,"results":[{"action_id":"bd4f0431","command":"ruff check --fix .","status":"ok","returncode":0,"stderr":null}],"pending_remaining":0}

wesker-0.4.0/.lintgate/analysis/controlplane_apply_repairs/ec7c0048a4.json

@@ -0,0 +1 @@
+{"_envelope":"v1","_meta":{"tool":"controlplane_apply_repairs","timestamp":1783745062.9444742,"project":"/Users/rohanvinaik/tools/Wesker"},"_sections":{"meta":["run_id"],"findings":["repairs_executed","results"],"data":["pending_remaining"]},"run_id":"c5be24f8a742","summary":{"total_proposed":2,"collected":2,"succeeded":1,"failed":1,"skipped":0},"repairs_executed":2,"results":[{"action_id":"7e0a22ed","command":"Create .python-version with your target version (e.g., '3.11')","status":"error","error":"[Errno 2] No such file or directory: 'Create'"},{"action_id":"4ffb3bfb","command":"ruff check --fix .","status":"ok","returncode":0,"stderr":null}],"pending_remaining":0}

wesker-0.4.0/.lintgate/analysis/controlplane_get_details/c5be24f8a742.json

@@ -0,0 +1 @@
+{"_envelope":"v1","_meta":{"tool":"controlplane_get_details","timestamp":1783745052.9902341,"project":"/Users/rohanvinaik/tools/Wesker"},"_sections":{"meta":["run_id"],"status":["coherence"],"metrics":["duration_ms","total_matching"],"findings":["findings","repairs"],"actions":["next_actions"],"data":["finding_summary","channel_details","evidence"]},"run_id":"c5be24f8a742","duration_ms":16769.2,"coherence":{"state":"systemic","summary":"Multiple system failures: deps, git, specification, tests, lint, coherence. This suggests a structural problem, not isolated issues.","recommended_action":"Review overall approach. Failing channels: deps: 1 finding (top: python_version_file); git: 1 finding (top: missing_quality_infra); specification: 26 findings (top: SPEC012); tests: 4 findings (top: missing_test); lint: 71 findings (top: PERF011); coherence: 73 findings (top: COH101). Note: coherence findings are pre-existing and unrelated to your edit.","silent_channels":["behavior","structure","test_hygiene","test_effectiveness","performance"],"loud_channels":["deps","git","specification","tests","lint","coherence"]},"total_matching":5,"findings":[{"linter":"radon","kind":"complexity","message":"function '_discover_by_convention' has cyclomatic complexity 34 (grade E, threshold=25)","file":"/Users/rohanvinaik/tools/Wesker/Wesker/ci.py","line":53,"severity":"blocking","confidence":1.0,"fixable":false,"evidence":{"complexity":34,"grade":"E","threshold":25,"scope":"committed"},"suggestions":["CC=34 is very high. Extract each independent branch in '_discover_by_convention' into its own helper function with a descriptive name.","If the function validates multiple conditions, extract a _validate_*() helper for each concern.","Each early-return guard clause removes one branch from CC count."],"estimated_effort_minutes":15.0,"issue_id":"798c039f6da7","channel":"lint","delegation_suitability":{"score":0.2,"category":"low","reason":"2 downstream dependents. blocking severity","requires_context":["import patterns from prior fixes"]}},{"linter":"structure","kind":"file-too-long","message":"File has 1787 lines (limit: 600). Consider splitting into focused modules.","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","severity":"blocking","confidence":1.0,"fixable":false,"evidence":{"lines":1787,"threshold":600,"cohesion":{"score":0.058,"components":[["BoundaryInput","CategoryResult","Mutant","MutantResult","MutationCategory","ProfilingResult","SamplingResult","_ArithmeticMutator","_BaseMutator","_BoundaryMutator","_LogicalMutator","_StateMutator","_SwapMutator","_TypeMutator","_ValueMutator","_callee_name","_count_arithmetic_target","_count_boundary_target","_count_logical_target","_count_state_assign_target","_count_state_return_target","_count_state_target","_count_targets","_count_value_target","_docstring_positions","_elapsed","_extract_compare_parts","_find_closure_cell","_generate_boundary_inputs","_generate_state_mutants","_get_closure_bindings","_get_raw_attr","_greedy_dimension_order","_is_dead","_is_self_assign","_isinstance_type_name","_make_transformer","_patch_mutant_into_test","_preserve_closure_binding_shape","_preserve_descriptor_shape","_record_dimensions","_record_state_dimensions","_resolve_qualified_owner","_run_test_with_timeout","_select_greedy","_stable_target_key","_stable_target_order","_unpatch_mutant","_unwrap_descriptor","check_equivalent","estimate_universe_size","evaluate_mutant","extract_boundary_inputs","generate_mutants","run_function_converged","run_function_profiling","run_function_sampling"],["_count_swap_target"],["_count_type_target"]],"component_count":3,"is_cli_mixed":false},"split_proposals":[{"kind":"split_file","target":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","action":"Extract component 1 (BoundaryInput, CategoryResult, Mutant, MutantResult, +53 more) into a separate module","source":"static","confidence":0.55,"basis":["cohesion_analysis","connected_components"],"inputs":["BoundaryInput","CategoryResult","Mutant","MutantResult","MutationCategory","ProfilingResult","SamplingResult","_ArithmeticMutator","_BaseMutator","_BoundaryMutator","_LogicalMutator","_StateMutator","_SwapMutator","_TypeMutator","_ValueMutator","_callee_name","_count_arithmetic_target","_count_boundary_target","_count_logical_target","_count_state_assign_target","_count_state_return_target","_count_state_target","_count_targets","_count_value_target","_docstring_positions","_elapsed","_extract_compare_parts","_find_closure_cell","_generate_boundary_inputs","_generate_state_mutants","_get_closure_bindings","_get_raw_attr","_greedy_dimension_order","_is_dead","_is_self_assign","_isinstance_type_name","_make_transformer","_patch_mutant_into_test","_preserve_closure_binding_shape","_preserve_descriptor_shape","_record_dimensions","_record_state_dimensions","_resolve_qualified_owner","_run_test_with_timeout","_select_greedy","_stable_target_key","_stable_target_order","_unpatch_mutant","_unwrap_descriptor","check_equivalent","estimate_universe_size","evaluate_mutant","extract_boundary_inputs","generate_mutants","run_function_converged","run_function_profiling","run_function_sampling"],"expected_delta":{"component_separation":3},"cochange_annotation":{"status":"no_data","reason":"No co-change data available for this file."}}],"scope":"committed"},"suggestions":["Extract component 1 (BoundaryInput, CategoryResult, Mutant, MutantResult, +53 more) into a separate module","Extract related functions into a separate module","Group by responsibility: data, logic, I/O"],"estimated_effort_minutes":15.0,"issue_id":"f6ea54150d23","channel":"lint","delegation_suitability":{"score":0.1,"category":"low","reason":"3 downstream dependents. blocking severity","requires_context":["import patterns from prior fixes"]}},{"linter":"radon","kind":"maintainability","message":"Maintainability index 0.0 (grade C, threshold=5)","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","severity":"blocking","confidence":1.0,"fixable":false,"evidence":{"mi_score":0.0,"grade":"C","scope":"committed"},"suggestions":["File is difficult to maintain. Consider breaking into smaller modules."],"estimated_effort_minutes":15.0,"issue_id":"565b66f383e8","channel":"lint","delegation_suitability":{"score":0.1,"category":"low","reason":"3 downstream dependents. blocking severity","requires_context":["import patterns from prior fixes"]}},{"linter":"structure","kind":"deep-nesting","message":"Function '_collect_signals' has nesting depth 9 (limit: 6). Deeply nested code is hard to understand and maintain.","file":"/Users/rohanvinaik/tools/Wesker/Wesker/filter.py","line":41,"severity":"blocking","confidence":1.0,"fixable":false,"evidence":{"depth":9,"threshold":6,"scope":"committed"},"suggestions":["Use early returns (guard clauses) to flatten nesting","Extract nested blocks into named helper functions","Consider whether the logic can be simplified"],"estimated_effort_minutes":15.0,"issue_id":"60c9fc78a087","channel":"lint","delegation_suitability":{"score":0.3,"category":"low","reason":"1 downstream dependents. blocking severity","requires_context":["import patterns from prior fixes"]}},{"linter":"ty","kind":"unresolved-import","message":"unresolved-import: Cannot resolve imported module `pytest`","file":"tests/test_engine.py","line":18,"severity":"blocking","confidence":1.0,"fixable":false,"evidence":{"check_name":"unresolved-import","ty_severity":"major","sys_path_dynamic_import":false,"scope":"committed"},"estimated_effort_minutes":10.0,"issue_id":"2fc765f0c8ba","channel":"lint","delegation_suitability":{"score":0.4,"category":"medium","reason":"blocking severity","requires_context":[]}}],"finding_summary":{"domains":{"code":{"total":5,"blocking":5,"warning":0,"informational":0},"environment":{"total":0,"blocking":0,"warning":0,"informational":0}},"channels":{"lint":5}},"channel_details":{"deps":{"status":"fail","severity":"warning","finding_count":1,"duration_ms":12.4,"error":null},"behavior":{"status":"pass","severity":"none","finding_count":0,"duration_ms":11.6,"error":null},"git":{"status":"fail","severity":"warning","finding_count":1,"duration_ms":145.6,"error":null},"structure":{"status":"pass","severity":"none","finding_count":0,"duration_ms":252.4,"error":null},"test_effectiveness":{"status":"fail","severity":"informational","finding_count":1,"duration_ms":275.8,"error":null},"performance":{"status":"fail","severity":"informational","finding_count":2,"duration_ms":1574.5,"error":null},"test_hygiene":{"status":"pass","severity":"none","finding_count":0,"duration_ms":46.9,"error":null},"specification":{"status":"fail","severity":"warning","finding_count":26,"duration_ms":1348.4,"error":null},"tests":{"status":"fail","severity":"informational","finding_count":4,"duration_ms":3752.5,"error":null},"lint":{"status":"fail","severity":"blocking","finding_count":71,"duration_ms":16619.5,"error":null},"coherence":{"status":"fail","severity":"warning","finding_count":73,"duration_ms":0,"error":null}},"repairs":[{"action_id":"7e0a22ed","kind":"command","summary":"Create .python-version with your target version (e.g., '3.11')","safe":true,"payload":{"command":"Create .python-version with your target version (e.g., '3.11')","cwd":"/Users/rohanvinaik/tools/Wesker"}},{"action_id":"e3d9be71","kind":"command","summary":"Deploy missing quality infrastructure","safe":true,"payload":{"tool":"setup_github_quality","args":{"path":"/Users/rohanvinaik/tools/Wesker","write":true}}},{"action_id":"76d64b35","kind":"create_test_skeleton","summary":"Create test skeleton for ci.py (error_handling)","safe":true,"payload":{"source_file":"/Users/rohanvinaik/tools/Wesker/Wesker/ci.py","archetypes":["error_handling","round_trip","mock_isolation","input_validation","regression"]}},{"action_id":"1665a1b0","kind":"create_test_skeleton","summary":"Create test skeleton for cli.py (round_trip)","safe":true,"payload":{"source_file":"/Users/rohanvinaik/tools/Wesker/Wesker/cli.py","archetypes":["round_trip","input_validation"]}},{"action_id":"8b526c7f","kind":"create_test_skeleton","summary":"Create test skeleton for filter.py (configuration)","safe":true,"payload":{"source_file":"/Users/rohanvinaik/tools/Wesker/Wesker/filter.py","archetypes":["configuration","input_validation","regression"]}},{"action_id":"a1751f13","kind":"create_test_skeleton","summary":"Create test skeleton for metrics.py (mock_isolation)","safe":true,"payload":{"source_file":"/Users/rohanvinaik/tools/Wesker/Wesker/metrics.py","archetypes":["mock_isolation","error_handling","configuration","round_trip","input_validation"]}},{"action_id":"4ffb3bfb","kind":"command","summary":"Auto-fix 7 safe lint issues","safe":true,"payload":{"command":"ruff check --fix ."}}],"evidence":{"deps":{"issue_count":1,"repair_count":1,"surface":"mcp"},"behavior":{"alert_count":0,"hard_alerts":0,"soft_alerts":0,"next_actions":[],"compass_summary":{"hypotheses_active":0,"approaches_total":0,"prediction_recall":0.0},"behavior_compass_delta":{"last_fired":{},"signal_fire_counts":{},"early_nudge_emitted":false,"pending_nudge_signals":[],"pending_nudge_constraint_check_count":0,"nudge_outcomes":{},"_theory_recent_codas":{}},"intent_summary":{"window":0,"intent_counts":{}},"global_profile_delta":{"signal_fire_counts":{},"intent_summary":{},"nudge_outcomes":{}},"suppressed_nudges":0},"git":{"checks_run":6,"issue_count":1,"secrets_found":0,"quality_infra_findings":1},"structure":{"file_count":8,"total_loc":2412,"median_module_loc":134,"largest_modules":[{"file":"Wesker/engine.py","loc":1243},{"file":"Wesker/ci.py","loc":428},{"file":"Wesker/metrics.py","loc":346}],"package_count":3,"packages":{"<top-level>":1,"Wesker":6,"tests":1},"import_cycle_count":0,"orphan_count":0,"low_cohesion_packages":0,"checks_run":4,"zero_fan_in_count":3,"high_fan_in_modules":[{"module":"Wesker.engine","fan_in":3},{"module":"Wesker.ci","fan_in":2}],"_import_graph":{"Wesker.__main__":["Wesker.cli"],"Wesker.ci":["Wesker.engine","Wesker.filter"],"Wesker.cli":["Wesker.ci","Wesker.metrics"],"Wesker.filter":["Wesker.engine"],"Wesker.metrics":["Wesker.ci"],"tests.test_engine":["Wesker.engine"]},"_file_map":{"Wesker":"/Users/rohanvinaik/tools/Wesker/Wesker/__init__.py","Wesker.__main__":"/Users/rohanvinaik/tools/Wesker/Wesker/__main__.py","Wesker.ci":"/Users/rohanvinaik/tools/Wesker/Wesker/ci.py","Wesker.cli":"/Users/rohanvinaik/tools/Wesker/Wesker/cli.py","Wesker.engine":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","Wesker.filter":"/Users/rohanvinaik/tools/Wesker/Wesker/filter.py","Wesker.metrics":"/Users/rohanvinaik/tools/Wesker/Wesker/metrics.py","tests.test_engine":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py"},"_module_fan_in":{"Wesker":0,"Wesker.__main__":0,"Wesker.ci":2,"Wesker.cli":1,"Wesker.engine":3,"Wesker.filter":1,"Wesker.metrics":1,"tests.test_engine":0},"_file_cohesion":{"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py":{"score":0.058,"component_count":3,"split_proposals":[{"kind":"split_file","target":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","action":"Extract component 1 (BoundaryInput, CategoryResult, Mutant, MutantResult, +53 more) into a separate module","confidence":0.55}]}},"file_convergence":{"total_files":7,"actionable_split":0,"actionable_investigate":7,"top_files":[{"target":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","support_prob":1.0,"oppose_prob":0.0,"net_confidence":1.0,"supporting_lenses":["cohesion"],"opposing_lenses":[],"actionability":"investigate","evidence_count":1,"target_type":"file","split_proposals":[{"kind":"split_file","target":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","action":"Extract component 1 (BoundaryInput, CategoryResult, Mutant, MutantResult, +53 more) into a separate module","confidence":0.55}]},{"target":"Wesker","support_prob":0.6,"oppose_prob":0.0,"net_confidence":0.6,"supporting_lenses":["fan_in"],"opposing_lenses":[],"actionability":"investigate","evidence_count":1,"target_type":"file"},{"target":"Wesker.__main__","support_prob":0.6,"oppose_prob":0.0,"net_confidence":0.6,"supporting_lenses":["fan_in"],"opposing_lenses":[],"actionability":"investigate","evidence_count":1,"target_type":"file"},{"target":"Wesker.cli","support_prob":0.6,"oppose_prob":0.0,"net_confidence":0.6,"supporting_lenses":["fan_in"],"opposing_lenses":[],"actionability":"investigate","evidence_count":1,"target_type":"file"},{"target":"Wesker.filter","support_prob":0.6,"oppose_prob":0.0,"net_confidence":0.6,"supporting_lenses":["fan_in"],"opposing_lenses":[],"actionability":"investigate","evidence_count":1,"target_type":"file"}]}},"test_effectiveness":{"project_effectiveness_score":0.029,"semantic_ratio":1.0,"functions_analyzed":59,"mutation_vulnerable_count":57},"performance":{"pure_functions":65,"impure_functions":57,"purity_ratio":0.533,"purity_tiers":{"pure":65,"stable_read":37,"stateful":20},"properties_detected":{"pure":65,"bounded":2,"monotonic":1,"idempotent":0,"commutative":0,"associative":0},"optimization_opportunities":65,"pure_function_list":[{"name":"Wesker/ci.py::_pct_color","file":"/Users/rohanvinaik/tools/Wesker/Wesker/ci.py","hints":["cacheable"]},{"name":"Wesker/ci.py::walk_functions","file":"/Users/rohanvinaik/tools/Wesker/Wesker/ci.py","hints":["cacheable"]},{"name":"Wesker/ci.py::_code_hash","file":"/Users/rohanvinaik/tools/Wesker/Wesker/ci.py","hints":["cacheable"]},{"name":"Wesker/cli.py::_parse_mcdc_targets","file":"/Users/rohanvinaik/tools/Wesker/Wesker/cli.py","hints":["cacheable"]},{"name":"Wesker/engine.py::CategoryResult.survival_rate","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::SamplingResult.to_dict","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::ProfilingResult.to_dict","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_BaseMutator.__init__","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_ValueMutator.__init__","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_StateMutator.__init__","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_docstring_positions","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_count_value_target","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_count_boundary_target","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_count_swap_target","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_is_self_assign","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["overflow-safe","cacheable"]},{"name":"Wesker/engine.py::_count_state_assign_target","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_count_state_return_target","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_count_state_target","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_count_type_target","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_count_arithmetic_target","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_count_logical_target","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_is_dead","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["overflow-safe","cacheable"]},{"name":"Wesker/engine.py::_callee_name","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_isinstance_type_name","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_greedy_dimension_order","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_select_greedy","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_stable_target_order","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_stable_target_key","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_extract_compare_parts","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_resolve_qualified_owner","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_get_closure_bindings","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_find_closure_cell","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_get_raw_attr","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_unwrap_descriptor","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_preserve_descriptor_shape","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_unpatch_mutant","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/engine.py::_generate_boundary_inputs","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","hints":["cacheable"]},{"name":"Wesker/metrics.py::_mutate_line","file":"/Users/rohanvinaik/tools/Wesker/Wesker/metrics.py","hints":["cacheable"]},{"name":"Wesker/metrics.py::_check_equivalent","file":"/Users/rohanvinaik/tools/Wesker/Wesker/metrics.py","hints":["cacheable"]},{"name":"tests/test_engine.py::_fn","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::_selected_indices","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_is_dead_only_true_for_sentinel","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_record_dimensions_aligns_with_universe_count","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_record_dimensions_keys_carry_construct_kind","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_record_dimensions_marks_non_swappable_ops_dead","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_record_dimensions_value_keys_by_python_type","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_record_dimensions_unknown_category_is_empty","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_greedy_order_covers_distinct_dimensions_first","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_greedy_order_round_robins_by_depth","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_greedy_order_sinks_dead_keys_to_end","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_greedy_order_is_deterministic","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_greedy_order_empty","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_greedy_coverage_is_optimal_for_singleton_covers","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_select_greedy_windows_are_disjoint_and_cover","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_select_greedy_first_window_maximizes_coverage","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_select_greedy_exhausted_pass_falls_back_to_top_window","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_select_greedy_covers_all_indices_when_keys_short","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_generate_mutants_greedy_spans_dimensions_under_budget","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_generate_mutants_passes_are_disjoint","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_generate_mutants_greedy_false_uses_ast_order","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_generate_mutants_exhaustive_ignores_selection","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_state_greedy_spreads_across_attributes","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_converged_union_grows_with_passes","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_callee_name_variants","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]},{"name":"tests/test_engine.py::test_isinstance_type_name_variants","file":"/Users/rohanvinaik/tools/Wesker/tests/test_engine.py","hints":["cacheable"]}]},"test_hygiene":{"test_files_scanned":1,"stub_tests":0,"weak_only_tests":0,"duplicate_tests":0,"subsumed_files":0,"total_findings":0,"safe_delete_proposals":0},"specification":{"specification_coverage":0.0,"regime_distribution":{"A":83,"B":39,"unknown":0},"pure_underspecified_count":65,"total_estimated_sigma":1578,"risk_distribution":{"P0":7,"P1":36,"P2":79},"mean_testability":0.775,"stop_criteria_met_count":0,"sheaf_obstruction":267.0,"specification_function_list":{"Wesker/ci.py::_pct_color":{"spec_level":0.0,"regime":"A","sigma":6,"phase":"bulk","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::_discover_by_convention":{"spec_level":0.0,"regime":"B","sigma":38,"phase":"bulk","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::_build_static_impact_map":{"spec_level":0.0,"regime":"B","sigma":23,"phase":"bulk","is_pure":false,"risk_score":0.5,"priority_band":"P1","testability_score":0.4,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::_discover_all_test_files":{"spec_level":0.0,"regime":"A","sigma":20,"phase":"bulk","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::discover_tests":{"spec_level":0.0,"regime":"B","sigma":20,"phase":"bulk","is_pure":false,"risk_score":0.6,"priority_band":"P1","testability_score":0.9,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::load_test_callables":{"spec_level":0.0,"regime":"B","sigma":32,"phase":"bulk","is_pure":false,"risk_score":0.6,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::walk_functions":{"spec_level":0.0,"regime":"A","sigma":6,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::_load_cached_state":{"spec_level":0.0,"regime":"A","sigma":16,"phase":"bulk","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::profile_file":{"spec_level":0.0,"regime":"B","sigma":32,"phase":"bulk","is_pure":false,"risk_score":0.8,"priority_band":"P0","testability_score":0.5,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::profile_function":{"spec_level":0.0,"regime":"B","sigma":36,"phase":"bulk","is_pure":false,"risk_score":0.8,"priority_band":"P0","testability_score":0.5,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::_code_hash":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"bulk","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::_load_function_cache":{"spec_level":0.0,"regime":"A","sigma":16,"phase":"bulk","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::_save_function_cache":{"spec_level":0.0,"regime":"A","sigma":10,"phase":"bulk","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.4,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::profile_function_cached":{"spec_level":0.0,"regime":"B","sigma":39,"phase":"bulk","is_pure":false,"risk_score":0.8,"priority_band":"P0","testability_score":0.4,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/ci.py::profile_codebase":{"spec_level":0.0,"regime":"B","sigma":38,"phase":"bulk","is_pure":false,"risk_score":0.6,"priority_band":"P1","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/cli.py::_discover_python_files":{"spec_level":0.0,"regime":"B","sigma":21,"phase":"bulk","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/cli.py::_parse_mcdc_targets":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"bulk","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/cli.py::main":{"spec_level":0.0,"regime":"B","sigma":34,"phase":"bulk","is_pure":false,"risk_score":0.6,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::CategoryResult.survival_rate":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"tail","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::SamplingResult.to_dict":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"tail","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::ProfilingResult.to_dict":{"spec_level":0.0,"regime":"A","sigma":6,"phase":"tail","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_BaseMutator.__init__":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.6,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_BaseMutator._note":{"spec_level":0.0,"regime":"A","sigma":10,"phase":"tail","is_pure":false,"risk_score":0.5,"priority_band":"P1","testability_score":0.9,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_ValueMutator.__init__":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.7,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_ValueMutator.visit_Constant":{"spec_level":0.0,"regime":"B","sigma":26,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_ValueMutator._mutate_constant":{"spec_level":0.0,"regime":"A","sigma":18,"phase":"tail","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.9,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_BoundaryMutator.visit_Compare":{"spec_level":0.0,"regime":"B","sigma":22,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_SwapMutator.visit_Call":{"spec_level":0.0,"regime":"B","sigma":18,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_StateMutator.__init__":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.6,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_StateMutator.visit_Assign":{"spec_level":0.0,"regime":"B","sigma":22,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_StateMutator.visit_Return":{"spec_level":0.0,"regime":"B","sigma":19,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_TypeMutator.visit_Call":{"spec_level":0.0,"regime":"B","sigma":19,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_ArithmeticMutator.visit_BinOp":{"spec_level":0.0,"regime":"B","sigma":17,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_ArithmeticMutator.visit_UnaryOp":{"spec_level":0.0,"regime":"B","sigma":16,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_LogicalMutator.visit_BoolOp":{"spec_level":0.0,"regime":"B","sigma":17,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_LogicalMutator.visit_UnaryOp":{"spec_level":0.0,"regime":"B","sigma":16,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_docstring_positions":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_count_targets":{"spec_level":0.0,"regime":"A","sigma":16,"phase":"tail","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":1},"Wesker/engine.py::_count_value_target":{"spec_level":0.0,"regime":"A","sigma":5,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_count_boundary_target":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_count_swap_target":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_is_self_assign":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["overflow-safe","cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_count_state_assign_target":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_count_state_return_target":{"spec_level":0.0,"regime":"A","sigma":3,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_count_state_target":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_count_type_target":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_count_arithmetic_target":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_count_logical_target":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_generate_state_mutants":{"spec_level":0.0,"regime":"B","sigma":24,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_is_dead":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["overflow-safe","cacheable"],"stop_criteria_met":false,"coupling_surface":1},"Wesker/engine.py::_callee_name":{"spec_level":0.0,"regime":"A","sigma":5,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":1},"Wesker/engine.py::_isinstance_type_name":{"spec_level":0.0,"regime":"A","sigma":8,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":1},"Wesker/engine.py::_record_dimensions":{"spec_level":0.0,"regime":"A","sigma":16,"phase":"tail","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.8,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":1},"Wesker/engine.py::_record_state_dimensions":{"spec_level":0.0,"regime":"A","sigma":12,"phase":"tail","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.9,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":1},"Wesker/engine.py::_greedy_dimension_order":{"spec_level":0.0,"regime":"A","sigma":11,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":1},"Wesker/engine.py::_select_greedy":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":1},"Wesker/engine.py::generate_mutants":{"spec_level":0.0,"regime":"B","sigma":38,"phase":"tail","is_pure":false,"risk_score":0.7,"priority_band":"P0","testability_score":0.8,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":1},"Wesker/engine.py::_stable_target_order":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_stable_target_key":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_make_transformer":{"spec_level":0.0,"regime":"B","sigma":27,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.8,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::extract_boundary_inputs":{"spec_level":0.0,"regime":"B","sigma":26,"phase":"tail","is_pure":false,"risk_score":0.6,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_extract_compare_parts":{"spec_level":0.0,"regime":"A","sigma":8,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_patch_mutant_into_test":{"spec_level":0.0,"regime":"B","sigma":30,"phase":"tail","is_pure":false,"risk_score":0.5,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_resolve_qualified_owner":{"spec_level":0.0,"regime":"A","sigma":28,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.7,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_get_closure_bindings":{"spec_level":0.0,"regime":"A","sigma":6,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.7,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_find_closure_cell":{"spec_level":0.0,"regime":"A","sigma":6,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.7,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_get_raw_attr":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.7,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_unwrap_descriptor":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.7,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_preserve_descriptor_shape":{"spec_level":0.0,"regime":"A","sigma":10,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.7,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_preserve_closure_binding_shape":{"spec_level":0.0,"regime":"A","sigma":10,"phase":"tail","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_unpatch_mutant":{"spec_level":0.0,"regime":"A","sigma":8,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.7,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::evaluate_mutant":{"spec_level":0.0,"regime":"B","sigma":32,"phase":"tail","is_pure":false,"risk_score":0.7,"priority_band":"P0","testability_score":0.8,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_run_test_with_timeout":{"spec_level":0.0,"regime":"B","sigma":28,"phase":"tail","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_elapsed":{"spec_level":0.0,"regime":"A","sigma":8,"phase":"tail","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.9,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::run_function_sampling":{"spec_level":0.0,"regime":"B","sigma":34,"phase":"tail","is_pure":false,"risk_score":0.6,"priority_band":"P1","testability_score":0.8,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::run_function_profiling":{"spec_level":0.0,"regime":"B","sigma":36,"phase":"tail","is_pure":false,"risk_score":0.6,"priority_band":"P1","testability_score":0.8,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::estimate_universe_size":{"spec_level":0.0,"regime":"A","sigma":10,"phase":"tail","is_pure":false,"risk_score":0.5,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::_generate_boundary_inputs":{"spec_level":0.0,"regime":"A","sigma":11,"phase":"tail","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.6,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::check_equivalent":{"spec_level":0.0,"regime":"B","sigma":36,"phase":"tail","is_pure":false,"risk_score":0.6,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/engine.py::run_function_converged":{"spec_level":0.0,"regime":"B","sigma":52,"phase":"tail","is_pure":false,"risk_score":0.7,"priority_band":"P0","testability_score":0.8,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":1},"Wesker/filter.py::_collect_signals":{"spec_level":0.0,"regime":"B","sigma":28,"phase":"bulk","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.9,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/filter.py::filter_categories":{"spec_level":0.0,"regime":"B","sigma":22,"phase":"bulk","is_pure":false,"risk_score":0.6,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/filter.py::prioritize_categories":{"spec_level":0.0,"regime":"B","sigma":26,"phase":"bulk","is_pure":false,"risk_score":0.6,"priority_band":"P1","testability_score":0.8,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_load_config":{"spec_level":0.0,"regime":"B","sigma":34,"phase":"bulk","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.8,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_discover_targets":{"spec_level":0.0,"regime":"B","sigma":21,"phase":"bulk","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_count_functions":{"spec_level":0.0,"regime":"A","sigma":16,"phase":"bulk","is_pure":false,"risk_score":0.4,"priority_band":"P1","testability_score":0.4,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_compute_sigma":{"spec_level":0.0,"regime":"A","sigma":16,"phase":"bulk","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_count_tests":{"spec_level":0.0,"regime":"A","sigma":10,"phase":"bulk","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_count_source_loc":{"spec_level":0.0,"regime":"A","sigma":15,"phase":"bulk","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.8,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_mutate_line":{"spec_level":0.0,"regime":"A","sigma":8,"phase":"bulk","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_check_equivalent":{"spec_level":0.0,"regime":"A","sigma":4,"phase":"bulk","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.7,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_verify_mcdc_single":{"spec_level":0.0,"regime":"B","sigma":42,"phase":"bulk","is_pure":false,"risk_score":0.5,"priority_band":"P1","testability_score":0.4,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_discover_mcdc_targets":{"spec_level":0.0,"regime":"B","sigma":23,"phase":"bulk","is_pure":false,"risk_score":0.5,"priority_band":"P1","testability_score":0.4,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_verify_mcdc":{"spec_level":0.0,"regime":"A","sigma":19,"phase":"bulk","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.7,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::_write_metrics":{"spec_level":0.0,"regime":"A","sigma":15,"phase":"bulk","is_pure":false,"risk_score":0.3,"priority_band":"P2","testability_score":0.6,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"Wesker/metrics.py::main":{"spec_level":0.0,"regime":"B","sigma":20,"phase":"bulk","is_pure":false,"risk_score":0.8,"priority_band":"P0","testability_score":0.5,"optimization_hints":[],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::_fn":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"bulk","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":1},"tests/test_engine.py::_selected_indices":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"bulk","is_pure":true,"risk_score":0.0,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":1},"tests/test_engine.py::test_is_dead_only_true_for_sentinel":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_record_dimensions_aligns_with_universe_count":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.8,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_record_dimensions_keys_carry_construct_kind":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.8,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_record_dimensions_marks_non_swappable_ops_dead":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.8,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_record_dimensions_value_keys_by_python_type":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.8,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_record_dimensions_unknown_category_is_empty":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.8,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_greedy_order_covers_distinct_dimensions_first":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_greedy_order_round_robins_by_depth":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_greedy_order_sinks_dead_keys_to_end":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_greedy_order_is_deterministic":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_greedy_order_empty":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_greedy_coverage_is_optimal_for_singleton_covers":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.9,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_select_greedy_windows_are_disjoint_and_cover":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_select_greedy_first_window_maximizes_coverage":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_select_greedy_exhausted_pass_falls_back_to_top_window":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_select_greedy_covers_all_indices_when_keys_short":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_generate_mutants_greedy_spans_dimensions_under_budget":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.8,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_generate_mutants_passes_are_disjoint":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.8,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_generate_mutants_greedy_false_uses_ast_order":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.8,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_generate_mutants_exhaustive_ignores_selection":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.8,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_state_greedy_spreads_across_attributes":{"spec_level":0.0,"regime":"A","sigma":2,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.8,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_converged_union_grows_with_passes":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":0.8,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_callee_name_variants":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0},"tests/test_engine.py::test_isinstance_type_name_variants":{"spec_level":0.0,"regime":"A","sigma":1,"phase":"bulk","is_pure":true,"risk_score":0.2,"priority_band":"P2","testability_score":1.0,"optimization_hints":["cacheable"],"stop_criteria_met":false,"coupling_surface":0}},"composition_gaps":{"Wesker/ci.py::profile_file::Wesker/filter.py::prioritize_categories":{"gamma":4.0,"integration_surface":4.0,"spec_independent":false},"Wesker/ci.py::profile_file::Wesker/engine.py::run_function_converged":{"gamma":100.0,"integration_surface":100.0,"spec_independent":false},"Wesker/ci.py::profile_file::Wesker/filter.py::filter_categories":{"gamma":4.0,"integration_surface":4.0,"spec_independent":false},"Wesker/ci.py::profile_function::Wesker/filter.py::prioritize_categories":{"gamma":4.0,"integration_surface":4.0,"spec_independent":false},"Wesker/ci.py::profile_function::Wesker/engine.py::run_function_converged":{"gamma":100.0,"integration_surface":100.0,"spec_independent":false},"Wesker/ci.py::profile_function::Wesker/filter.py::filter_categories":{"gamma":4.0,"integration_surface":4.0,"spec_independent":false},"Wesker/cli.py::main::Wesker/metrics.py::_verify_mcdc":{"gamma":1.0,"integration_surface":1.0,"spec_independent":false},"Wesker/cli.py::main::Wesker/ci.py::profile_codebase":{"gamma":25.0,"integration_surface":25.0,"spec_independent":false},"Wesker/metrics.py::main::Wesker/ci.py::profile_codebase":{"gamma":25.0,"integration_surface":25.0,"spec_independent":false}}},"tests":{"impacted_tests_found":1,"missing_test_count":4,"test_failure_count":0},"lint":{"total_issues":71,"blocking_count":5,"warning_count":30,"info_count":36,"tuned_count":0,"fixable_count":7,"linters_run":12,"linters_skipped":0,"linters_errored":1,"recurrence":{"repeated_issue_count":38,"unique_signatures_tracked":750,"top_repeated":[{"count":21,"last_seen":1783745024.425185,"linter":"structure","kind":"file-too-long","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","line":null,"message":"File has 1787 lines (limit: 600). Consider splitting into focused modules."},{"count":21,"last_seen":1783745024.425185,"linter":"radon","kind":"maintainability","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","line":null,"message":"Maintainability index 0.0 (grade C, threshold=5)"},{"count":21,"last_seen":1783745024.425185,"linter":"structure","kind":"too-many-classes","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","line":null,"message":"File has 15 classes (limit: 6). This suggests mixed responsibilities."},{"count":21,"last_seen":1783745024.425185,"linter":"structure","kind":"too-many-attributes","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","line":130,"message":"Class 'ProfilingResult' has 16 attributes (limit: 15). This suggests the class has too many responsibilities."},{"count":21,"last_seen":1783745024.425185,"linter":"structure","kind":"too-many-functions","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","line":null,"message":"File has 44 top-level functions (limit: 20). Consider grouping into classes or modules."},{"count":21,"last_seen":1783745024.425185,"linter":"ruff_format","kind":"format","file":"Wesker/engine.py","line":null,"message":"File needs formatting"},{"count":6,"last_seen":1783745024.425185,"linter":"mypy","kind":"arg-type","file":"Wesker/ci.py","line":337,"message":"Argument 1 to \"filter_categories\" has incompatible type \"FunctionDef | AsyncFunctionDef\"; expected \"FunctionDef\""},{"count":6,"last_seen":1783745024.425185,"linter":"performance_checker","kind":"PERF011","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","line":636,"message":"Uncached pure call in loop. 'getattr' is called with loop-invariant arguments. Hoist this call before the loop or use @lru_cache to prevent redundant computation."},{"count":6,"last_seen":1783745024.425185,"linter":"performance_checker","kind":"PERF011","file":"/Users/rohanvinaik/tools/Wesker/Wesker/engine.py","line":952,"message":"Uncached pure call in loop. 'type' is called with loop-invariant arguments. Hoist this call before the loop or use @lru_cache to prevent redundant computation."},{"count":5,"last_seen":1783745024.425185,"linter":"ruff_format","kind":"format","file":"Wesker/ci.py","line":null,"message":"File needs formatting"}]},"pattern_alerts":[{"linter":"performance_checker","kind":"PERF011","count_this_run":20,"files_this_run":4,"recent_run_count":3,"total_count":178,"alert_reason":"recurring_across_runs"},{"linter":"ruff_format","kind":"format","count_this_run":7,"files_this_run":7,"recent_run_count":5,"total_count":37,"alert_reason":"recurring_across_runs"},{"linter":"structure","kind":"cognitive-complexity","count_this_run":6,"files_this_run":4,"recent_run_count":3,"total_count":115,"alert_reason":"recurring_across_runs"},{"linter":"structure","kind":"too-many-locals","count_this_run":3,"files_this_run":3,"recent_run_count":3,"total_count":57,"alert_reason":"recurring_across_runs"},{"linter":"structure","kind":"file-too-long","count_this_run":2,"files_this_run":2,"recent_run_count":3,"total_count":25,"alert_reason":"recurring_across_runs"},{"linter":"structure","kind":"too-many-args","count_this_run":2,"files_this_run":1,"recent_run_count":3,"total_count":69,"alert_reason":"recurring_across_runs"},{"linter":"mypy","kind":"assignment","count_this_run":2,"files_this_run":1,"recent_run_count":3,"total_count":44,"alert_reason":"recurring_across_runs"},{"linter":"structure","kind":"too-many-functions","count_this_run":2,"files_this_run":2,"recent_run_count":4,"total_count":23,"alert_reason":"recurring_across_runs"},{"linter":"radon","kind":"maintainability","count_this_run":1,"files_this_run":1,"recent_run_count":3,"total_count":21,"alert_reason":"recurring_across_runs"},{"linter":"structure","kind":"too-many-classes","count_this_run":1,"files_this_run":1,"recent_run_count":3,"total_count":21,"alert_reason":"recurring_across_runs"},{"linter":"structure","kind":"too-many-attributes","count_this_run":1,"files_this_run":1,"recent_run_count":3,"total_count":40,"alert_reason":"recurring_across_runs"},{"linter":"structure","kind":"too-many-statements","count_this_run":1,"files_this_run":1,"recent_run_count":3,"total_count":40,"alert_reason":"recurring_across_runs"},{"linter":"structure","kind":"too-many-returns","count_this_run":1,"files_this_run":1,"recent_run_count":3,"total_count":59,"alert_reason":"recurring_across_runs"},{"linter":"ty","kind":"unused-type-ignore-comment","count_this_run":1,"files_this_run":1,"recent_run_count":3,"total_count":21,"alert_reason":"recurring_across_runs"},{"linter":"ty","kind":"unresolved-attribute","count_this_run":6,"files_this_run":1,"recent_run_count":2,"total_count":12,"alert_reason":"single_run_volume"},{"linter":"mypy","kind":"arg-type","count_this_run":3,"files_this_run":2,"recent_run_count":2,"total_count":30,"alert_reason":"single_run_volume"}],"tier_used":"tier_2_structural","tier_reason":"Structural change (function/class modified)","tier_strictness":"relaxed","linter_statuses":{"ruff_format":"ok","ruff_check":"ok","ty":"ok","secret_checker":"ok","bandit_fast":"ok","structure_checker":"ok","complexity_checker":"ok","context_rule_checker":"ok","redefinition_checker":"ok","version_checker":"ok","performance_checker":"ok","mypy":"ok","pip_audit":"timeout"},"files_linted":["Wesker/__main__.py","Wesker/ci.py","Wesker/cli.py","Wesker/engine.py","Wesker/filter.py","Wesker/metrics.py","tests/test_engine.py"],"lint_timeout_ms":8448},"coherence":{"cross_channel_findings":73,"convergence":{"total_targets":134,"actionable_extract":0,"actionable_split":112,"top_targets":[{"target":"Wesker/ci.py::_discover_by_convention","support_prob":1.0,"oppose_prob":0.0,"net_confidence":1.0,"supporting_lenses":["contract_coverage","specification"],"opposing_lenses":[],"actionability":"split","evidence_count":2,"target_type":"function"},{"target":"Wesker/ci.py::_build_static_impact_map","support_prob":1.0,"oppose_prob":0.0,"net_confidence":1.0,"supporting_lenses":["contract_coverage","specification"],"opposing_lenses":[],"actionability":"split","evidence_count":2,"target_type":"function"},{"target":"Wesker/ci.py::discover_tests","support_prob":1.0,"oppose_prob":0.0,"net_confidence":1.0,"supporting_lenses":["contract_coverage","specification"],"opposing_lenses":[],"actionability":"split","evidence_count":2,"target_type":"function"},{"target":"Wesker/ci.py::load_test_callables","support_prob":1.0,"oppose_prob":0.0,"net_confidence":1.0,"supporting_lenses":["contract_coverage","specification"],"opposing_lenses":[],"actionability":"split","evidence_count":2,"target_type":"function"},{"target":"Wesker/ci.py::profile_file","support_prob":1.0,"oppose_prob":0.0,"net_confidence":1.0,"supporting_lenses":["contract_coverage","specification"],"opposing_lenses":[],"actionability":"split","evidence_count":2,"target_type":"function"}]}}},"next_actions":[{"tool":"controlplane_apply_repairs","args":{"path":".","run_id":"c5be24f8a742","safe_only":true},"reason":"Apply 7 safe auto-repairs found in these details.","priority":1},{"tool":"Bash / your file edit tools","reason":"Address the findings listed above by editing the corresponding files.","priority":2}]}