fix(ci): restore lint-full and test-architecture on main

Baseline ruff check/format drift and a provider-import architecture
violation were failing Lint & Format for every PR. Reformat the affected
benchmark/test files, fix unused imports and Path.stat usage, move the
audit-fix source assertion off a provider import, and refresh the two
Dockerfile checksums plus C901 baseline entries that those edits require.

Co-authored-by: morluto <morluto@users.noreply.github.com>

Author: cursoragent

benchmarks/datasets/public-reproductions-v1/reliability-series-path/tests/Dockerfile

@@ -1,7 +1,7 @@
 FROM ghcr.io/astral-sh/uv:0.8.4-python3.12-bookworm-slim@sha256:dc7e1d08f8ca979826ec0b68b31c783e0b35b568be6a078d4cbedf38c4cc085e
 RUN python -m pip install --no-cache-dir attrs==26.1.0 jsonschema==4.26.0 jsonschema-specifications==2025.9.1 referencing==0.37.0 rpds-py==2026.6.3 typing-extensions==4.16.0
 LABEL jacobian.task="jacobian/reliability-series-path" \
-      jacobian.checksum="fa251bc1ee598db6f9549f6d1ac60c8f1fc72137ea31afa7da2e9c2b33005f0a"
+      jacobian.checksum="9a6e6ef290c586fd07a5e261ffc0ff5f89cf00afbdcc590e1a205931e23ebe36"
 COPY expected.json input.json test.sh verifier.py verifier_support.py public_contract.json /tests/
 COPY input.json /app/input.json
 RUN chmod +x /tests/test.sh && \

benchmarks/datasets/public-reproductions-v1/reliability-series-path/tests/verifier.py

@@ -27,9 +27,10 @@ def _math(s, x, e):
     states = r.get("states")
     if type(states) is not int:
         return False
-    return _frac(r.get("probability")) == _frac(
-        e["expected_probability"]
-    ) and states == e["expected_states"]
+    return (
+        _frac(r.get("probability")) == _frac(e["expected_probability"])
+        and states == e["expected_states"]
+    )
 
 
 def main():

benchmarks/datasets/public-reproductions-v1/reliability-single-edge/tests/Dockerfile

@@ -1,7 +1,7 @@
 FROM ghcr.io/astral-sh/uv:0.8.4-python3.12-bookworm-slim@sha256:dc7e1d08f8ca979826ec0b68b31c783e0b35b568be6a078d4cbedf38c4cc085e
 RUN python -m pip install --no-cache-dir attrs==26.1.0 jsonschema==4.26.0 jsonschema-specifications==2025.9.1 referencing==0.37.0 rpds-py==2026.6.3 typing-extensions==4.16.0
 LABEL jacobian.task="jacobian/reliability-single-edge" \
-      jacobian.checksum="fa251bc1ee598db6f9549f6d1ac60c8f1fc72137ea31afa7da2e9c2b33005f0a"
+      jacobian.checksum="9a6e6ef290c586fd07a5e261ffc0ff5f89cf00afbdcc590e1a205931e23ebe36"
 COPY expected.json input.json test.sh verifier.py verifier_support.py public_contract.json /tests/
 COPY input.json /app/input.json
 RUN chmod +x /tests/test.sh && \

benchmarks/datasets/public-reproductions-v1/reliability-single-edge/tests/verifier.py

@@ -27,9 +27,10 @@ def _math(s, x, e):
     states = r.get("states")
     if type(states) is not int:
         return False
-    return _frac(r.get("probability")) == _frac(
-        e["expected_probability"]
-    ) and states == e["expected_states"]
+    return (
+        _frac(r.get("probability")) == _frac(e["expected_probability"])
+        and states == e["expected_states"]
+    )
 
 
 def main():

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-collision-found-01/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-collision-found-02/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-grid-exhausted-01/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-grid-exhausted-02/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-keller-only-01/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-keller-only-02/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",