{"version": "2.1.0", "$schema": "https://json.schemastore.org/sarif-2.1.0.json", "runs": [{"tool": {"driver": {"name": "Repobility", "informationUri": "https://repobility.com", "rules": [{"id": "scanner-233474fced00c3b8", "name": "Possibly dead Python function: load_paper", "shortDescription": {"text": "Possibly dead Python function: load_paper"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-5ddd0e416baa063d", "name": "Possibly dead Python function: load_review", "shortDescription": {"text": "Possibly dead Python function: load_review"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-d6501a14e58ad2b3", "name": "Possibly dead Python function: load_run", "shortDescription": {"text": "Possibly dead Python function: load_run"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-c98d87ce392051c8", "name": "Possibly dead Python function: proof_exists", "shortDescription": {"text": "Possibly dead Python function: proof_exists"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-37284a456a429412", "name": "Possibly dead Python function: find_by_convergence", "shortDescription": {"text": "Possibly dead Python function: find_by_convergence"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-4f425d0ba3740df3", "name": "Possibly dead Python function: load_log", "shortDescription": {"text": "Possibly dead Python function: load_log"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-7092efd35e99c1e8", "name": "Possibly dead Python function: load_flag", "shortDescription": {"text": "Possibly dead Python function: load_flag"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-7bd4106d81eb2d4c", "name": "Possibly dead Python function: load_run", "shortDescription": {"text": "Possibly dead Python function: load_run"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-13e7d5e8566ba3e0", "name": "Possibly dead Python function: latest_run", "shortDescription": {"text": "Possibly dead Python function: latest_run"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-e22c5050fce2a82b", "name": "Possibly dead Python function: block", "shortDescription": {"text": "Possibly dead Python function: block"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-763355a51205a756", "name": "Possibly dead Python function: inline", "shortDescription": {"text": "Possibly dead Python function: inline"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-041801a5d660baed", "name": "Possibly dead Python function: process_one_convergence", "shortDescription": {"text": "Possibly dead Python function: process_one_convergence"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-b9c2a8602cbc4141", "name": "Possibly dead Python function: block", "shortDescription": {"text": "Possibly dead Python function: block"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-193bd3ada2deee71", "name": "Possibly dead Python function: inline", "shortDescription": {"text": "Possibly dead Python function: inline"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-9710c8d059e53154", "name": "No frontend routes/components detected", "shortDescription": {"text": "No frontend routes/components detected"}, "fullDescription": {"text": "No React/Vue/Next routes were found. This is fine for backend-only repos."}, "properties": {"scanner": "scanner-primary", "layer": "frontend", "severity": "info", "confidence": 1.0}}, {"id": "scanner-6d47898d28b7224f", "name": "Insecure pattern 'direct_innerhtml_assignment' in docs/Tree_of_Reality.html:1355", "shortDescription": {"text": "Insecure pattern 'direct_innerhtml_assignment' in docs/Tree_of_Reality.html:1355"}, "fullDescription": {"text": "Found a known-risky pattern (direct_innerhtml_assignment). Review and replace if possible."}, "properties": {"scanner": "scanner-primary", "layer": "security", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-6fb3b43b4b616e97", "name": "Insecure pattern 'direct_innerhtml_assignment' in docs/Tree_of_Reality_explorer.html:812", "shortDescription": {"text": "Insecure pattern 'direct_innerhtml_assignment' in docs/Tree_of_Reality_explorer.html:812"}, "fullDescription": {"text": "Found a known-risky pattern (direct_innerhtml_assignment). Review and replace if possible."}, "properties": {"scanner": "scanner-primary", "layer": "security", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-f934f5d4854d338e", "name": "Insecure pattern 'direct_innerhtml_assignment' in docs/Tree_of_Reality_cladogram.html:817", "shortDescription": {"text": "Insecure pattern 'direct_innerhtml_assignment' in docs/Tree_of_Reality_cladogram.html:817"}, "fullDescription": {"text": "Found a known-risky pattern (direct_innerhtml_assignment). Review and replace if possible."}, "properties": {"scanner": "scanner-primary", "layer": "security", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-6372cebde0220094", "name": "No auth library detected", "shortDescription": {"text": "No auth library detected"}, "fullDescription": {"text": "The scanner did not find any standard auth library (JWT, OAuth, NextAuth, Auth0, etc.). The repo has auth/admin/session surface indicators, so auth may live in custom code, in a separate service, or be missing."}, "properties": {"scanner": "scanner-primary", "layer": "security", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-9d328a07465eac15", "name": "GitHub Action is tag-pinned rather than SHA-pinned", "shortDescription": {"text": "GitHub Action is tag-pinned rather than SHA-pinned"}, "fullDescription": {"text": "leanprover-community/lean-release-tag@v1 can move without a code change in this repo. Pin third-party actions to a reviewed 40-character commit SHA."}, "properties": {"scanner": "scanner-primary", "layer": "cicd", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-0365a3649d0378f9", "name": "GitHub Actions workflow grants broad write permissions", "shortDescription": {"text": "GitHub Actions workflow grants broad write permissions"}, "fullDescription": {"text": "CI tokens with write permissions increase blast radius when an action, dependency, or PR workflow is compromised. Prefer job-level least-privilege permissions."}, "properties": {"scanner": "scanner-primary", "layer": "cicd", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-ee21790b441be2c6", "name": "GitHub Action is tag-pinned rather than SHA-pinned", "shortDescription": {"text": "GitHub Action is tag-pinned rather than SHA-pinned"}, "fullDescription": {"text": "leanprover-community/mathlib-update-action@v1 can move without a code change in this repo. Pin third-party actions to a reviewed 40-character commit SHA."}, "properties": {"scanner": "scanner-primary", "layer": "cicd", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-05f79aab3528e771", "name": "GitHub Actions workflow grants broad write permissions", "shortDescription": {"text": "GitHub Actions workflow grants broad write permissions"}, "fullDescription": {"text": "CI tokens with write permissions increase blast radius when an action, dependency, or PR workflow is compromised. Prefer job-level least-privilege permissions."}, "properties": {"scanner": "scanner-primary", "layer": "cicd", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-a32e88f0f628791c", "name": "GitHub Actions workflow grants broad write permissions", "shortDescription": {"text": "GitHub Actions workflow grants broad write permissions"}, "fullDescription": {"text": "CI tokens with write permissions increase blast radius when an action, dependency, or PR workflow is compromised. Prefer job-level least-privilege permissions."}, "properties": {"scanner": "scanner-primary", "layer": "cicd", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-d1c22606d95ef85c", "name": "GitHub Action is tag-pinned rather than SHA-pinned", "shortDescription": {"text": "GitHub Action is tag-pinned rather than SHA-pinned"}, "fullDescription": {"text": "actions/checkout@v4 can move without a code change in this repo. Pin third-party actions to a reviewed 40-character commit SHA."}, "properties": {"scanner": "scanner-primary", "layer": "cicd", "severity": "low", "confidence": 1.0}}, {"id": "scanner-4752c1fbf071065d", "name": "GitHub Actions workflow grants broad write permissions", "shortDescription": {"text": "GitHub Actions workflow grants broad write permissions"}, "fullDescription": {"text": "CI tokens with write permissions increase blast radius when an action, dependency, or PR workflow is compromised. Prefer job-level least-privilege permissions."}, "properties": {"scanner": "scanner-primary", "layer": "cicd", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-3c726940a2545f6d", "name": "Very large file: synthesis/composer.py (1099 lines)", "shortDescription": {"text": "Very large file: synthesis/composer.py (1099 lines)"}, "fullDescription": {"text": "Files with >800 lines often hide complexity hotspots and discourage tests."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-95ffca70e8b7cac0", "name": "Very large file: synthesis/capstone.py (1408 lines)", "shortDescription": {"text": "Very large file: synthesis/capstone.py (1408 lines)"}, "fullDescription": {"text": "Files with >800 lines often hide complexity hotspots and discourage tests."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-6893a6c8b0861585", "name": "Very low test-to-source ratio", "shortDescription": {"text": "Very low test-to-source ratio"}, "fullDescription": {"text": "0 test file(s) for 40 source file(s) (ratio 0.00). Consider adding integration or unit tests for critical paths."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-3ab5d313dda8e5f9", "name": "Debug logging residue appears in source files", "shortDescription": {"text": "Debug logging residue appears in source files"}, "fullDescription": {"text": "Found 80 console/debugger/print-style debug statements in non-test source. This is a common fast-generation residue before production cleanup."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-11825279136b53a3", "name": "CI is configured but no tests are detected", "shortDescription": {"text": "CI is configured but no tests are detected"}, "fullDescription": {"text": "A CI pipeline exists, but the scan found no test files to gate. Opus labeled this generated-code pattern as config theater: release machinery exists, but it has little behavioral signal."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-ea8f3013f588db25", "name": "Shallow git history limits provenance confidence", "shortDescription": {"text": "Shallow git history limits provenance confidence"}, "fullDescription": {"text": "The repository is a shallow clone. Origin/evolution analysis cannot distinguish fresh generation, imported legacy code, or long-lived human code with high confidence."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-8424db9c75e04ba4", "name": "Very short observed git history", "shortDescription": {"text": "Very short observed git history"}, "fullDescription": {"text": "The repo has multiple source files but two or fewer visible commits. This is not a failure by itself, but it lowers confidence in evolution-based diagnosis."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "info", "confidence": 1.0}}, {"id": "scanner-b097f4378ad845cd", "name": "Legacy-named symbol `upgrade_lean_v2` in scripts/upgrade_lean_v2.py:15", "shortDescription": {"text": "Legacy-named symbol `upgrade_lean_v2` in scripts/upgrade_lean_v2.py:15"}, "fullDescription": {"text": "Names with suffixes like `_old`, `_v1`, `_deprecated` usually indicate replaced-but-not-removed code (typical AI-coder leftover). Confirm and delete, or rename if it's the active version."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-809c80da4f110dfb", "name": "Network/subprocess call without timeout or try/except \u2014 scripts/upgrade_lean_v2.py:240", "shortDescription": {"text": "Network/subprocess call without timeout or try/except \u2014 scripts/upgrade_lean_v2.py:240"}, "fullDescription": {"text": "`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-7fea4cf9e6a7fd2b", "name": "Commented-code block (5 lines) in scripts/run_stage_a.py:366", "shortDescription": {"text": "Commented-code block (5 lines) in scripts/run_stage_a.py:366"}, "fullDescription": {"text": "A long run of `//` or `#` lines usually means abandoned code. Delete or move to git history. Keeps the canvas + dead-code detection honest."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "info", "confidence": 1.0}}, {"id": "scanner-6667eea440e3bb4b", "name": "Legacy-named symbol `upgrade_proofs_v2` in scripts/upgrade_proofs_v2.py:17", "shortDescription": {"text": "Legacy-named symbol `upgrade_proofs_v2` in scripts/upgrade_proofs_v2.py:17"}, "fullDescription": {"text": "Names with suffixes like `_old`, `_v1`, `_deprecated` usually indicate replaced-but-not-removed code (typical AI-coder leftover). Confirm and delete, or rename if it's the active version."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-5b6f82367ce4dec9", "name": "Network/subprocess call without timeout or try/except \u2014 scripts/upgrade_proofs_v2.py:103", "shortDescription": {"text": "Network/subprocess call without timeout or try/except \u2014 scripts/upgrade_proofs_v2.py:103"}, "fullDescription": {"text": "`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-2c04133e54348533", "name": "Near-duplicate function bodies in 2 places", "shortDescription": {"text": "Near-duplicate function bodies in 2 places"}, "fullDescription": {"text": "Functions with the same first-5-line body hash:\nsynthesis/config.py:load, logos/config.py:load\n\nThis is *the* AI-coder failure mode (4\u00d7 more duplication in vibe-coded repos \u2014 see https://jw.hn/ai-code-hygiene). Consolidate or document why they're separate."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-be46ea126aa5d8dc", "name": "Near-duplicate function bodies in 3 places", "shortDescription": {"text": "Near-duplicate function bodies in 3 places"}, "fullDescription": {"text": "Functions with the same first-5-line body hash:\nsynthesis/cli.py:main, logos/cli.py:main, orchestrator/cli.py:main\n\nThis is *the* AI-coder failure mode (4\u00d7 more duplication in vibe-coded repos \u2014 see https://jw.hn/ai-code-hygiene). Consolidate or document why they're separate."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-02525d39071dd2c7", "name": "Near-duplicate function bodies in 5 places", "shortDescription": {"text": "Near-duplicate function bodies in 5 places"}, "fullDescription": {"text": "Functions with the same first-5-line body hash:\nsynthesis/api.py:query, logos/api.py:query, logos/api.py:query_json, logos/api.py:query\n\nThis is *the* AI-coder failure mode (4\u00d7 more duplication in vibe-coded repos \u2014 see https://jw.hn/ai-code-hygiene). Consolidate or document why they're separate."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}]}}, "automationDetails": {"id": "repobility/22852"}, "properties": {"repository": "wonderben-code/convergence-codex", "repoUrl": "https://github.com/wonderben-code/convergence-codex", "branch": "main"}, "results": [{"ruleId": "scanner-233474fced00c3b8", "level": "note", "message": {"text": "Possibly dead Python function: load_paper"}, "properties": {"repobilityId": "c11768bebd2355b3", "scanner": "scanner-primary", "fingerprint": "233474fced00c3b8", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "synthesis/store.py:27"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-5ddd0e416baa063d", "level": "note", "message": {"text": "Possibly dead Python function: load_review"}, "properties": {"repobilityId": "0dabe05c9827931c", "scanner": "scanner-primary", "fingerprint": "5ddd0e416baa063d", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "synthesis/store.py:56"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-d6501a14e58ad2b3", "level": "note", "message": {"text": "Possibly dead Python function: load_run"}, "properties": {"repobilityId": "d260ee43a4765383", "scanner": "scanner-primary", "fingerprint": "d6501a14e58ad2b3", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "synthesis/store.py:69"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-c98d87ce392051c8", "level": "note", "message": {"text": "Possibly dead Python function: proof_exists"}, "properties": {"repobilityId": "c64706cfa6f62bf4", "scanner": "scanner-primary", "fingerprint": "c98d87ce392051c8", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "logos/store.py:41"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-37284a456a429412", "level": "note", "message": {"text": "Possibly dead Python function: find_by_convergence"}, "properties": {"repobilityId": "a44960f375cf7bef", "scanner": "scanner-primary", "fingerprint": "37284a456a429412", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "logos/store.py:49"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-4f425d0ba3740df3", "level": "note", "message": {"text": "Possibly dead Python function: load_log"}, "properties": {"repobilityId": "adf711e1c1a02950", "scanner": "scanner-primary", "fingerprint": "4f425d0ba3740df3", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "logos/store.py:63"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-7092efd35e99c1e8", "level": "note", "message": {"text": "Possibly dead Python function: load_flag"}, "properties": {"repobilityId": "56e0c25b8f5f8148", "scanner": "scanner-primary", "fingerprint": "7092efd35e99c1e8", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "logos/store.py:76"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-7bd4106d81eb2d4c", "level": "note", "message": {"text": "Possibly dead Python function: load_run"}, "properties": {"repobilityId": "d260ee43a4765383", "scanner": "scanner-primary", "fingerprint": "7bd4106d81eb2d4c", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "logos/store.py:99"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-13e7d5e8566ba3e0", "level": "note", "message": {"text": "Possibly dead Python function: latest_run"}, "properties": {"repobilityId": "77d05e2542db8fce", "scanner": "scanner-primary", "fingerprint": "13e7d5e8566ba3e0", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "logos/store.py:106"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-e22c5050fce2a82b", "level": "note", "message": {"text": "Possibly dead Python function: block"}, "properties": {"repobilityId": "69448a040813ab75", "scanner": "scanner-primary", "fingerprint": "e22c5050fce2a82b", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "scripts/publish_paper_g.py:199"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-763355a51205a756", "level": "note", "message": {"text": "Possibly dead Python function: inline"}, "properties": {"repobilityId": "02d00dfd5da3402a", "scanner": "scanner-primary", "fingerprint": "763355a51205a756", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "scripts/publish_paper_g.py:202"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-041801a5d660baed", "level": "note", "message": {"text": "Possibly dead Python function: process_one_convergence"}, "properties": {"repobilityId": "c3b814fef0e3447a", "scanner": "scanner-primary", "fingerprint": "041801a5d660baed", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "scripts/run_stage_a.py:167"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-b9c2a8602cbc4141", "level": "note", "message": {"text": "Possibly dead Python function: block"}, "properties": {"repobilityId": "69448a040813ab75", "scanner": "scanner-primary", "fingerprint": "b9c2a8602cbc4141", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "scripts/publish_tree_of_reality.py:208"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-193bd3ada2deee71", "level": "note", "message": {"text": "Possibly dead Python function: inline"}, "properties": {"repobilityId": "02d00dfd5da3402a", "scanner": "scanner-primary", "fingerprint": "193bd3ada2deee71", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "scripts/publish_tree_of_reality.py:211"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-9710c8d059e53154", "level": "none", "message": {"text": "No frontend routes/components detected"}, "properties": {"repobilityId": "44ca61485762e494", "scanner": "scanner-primary", "fingerprint": "9710c8d059e53154", "layer": "frontend", "severity": "info", "confidence": 1.0, "tags": ["coverage"]}}, {"ruleId": "scanner-6d47898d28b7224f", "level": "warning", "message": {"text": "Insecure pattern 'direct_innerhtml_assignment' in docs/Tree_of_Reality.html:1355"}, "properties": {"repobilityId": "faa2db4e211f1c07", "scanner": "scanner-primary", "fingerprint": "6d47898d28b7224f", "layer": "security", "severity": "medium", "confidence": 1.0, "tags": ["owasp", "direct_innerhtml_assignment"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "docs/Tree_of_Reality.html"}, "region": {"startLine": 1355}}}]}, {"ruleId": "scanner-6fb3b43b4b616e97", "level": "warning", "message": {"text": "Insecure pattern 'direct_innerhtml_assignment' in docs/Tree_of_Reality_explorer.html:812"}, "properties": {"repobilityId": "71c8737bef578fd1", "scanner": "scanner-primary", "fingerprint": "6fb3b43b4b616e97", "layer": "security", "severity": "medium", "confidence": 1.0, "tags": ["owasp", "direct_innerhtml_assignment"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "docs/Tree_of_Reality_explorer.html"}, "region": {"startLine": 812}}}]}, {"ruleId": "scanner-f934f5d4854d338e", "level": "warning", "message": {"text": "Insecure pattern 'direct_innerhtml_assignment' in docs/Tree_of_Reality_cladogram.html:817"}, "properties": {"repobilityId": "9f590fe1df1cafbd", "scanner": "scanner-primary", "fingerprint": "f934f5d4854d338e", "layer": "security", "severity": "medium", "confidence": 1.0, "tags": ["owasp", "direct_innerhtml_assignment"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "docs/Tree_of_Reality_cladogram.html"}, "region": {"startLine": 817}}}]}, {"ruleId": "scanner-6372cebde0220094", "level": "warning", "message": {"text": "No auth library detected"}, "properties": {"repobilityId": "a5b6035a5bbf8054", "scanner": "scanner-primary", "fingerprint": "6372cebde0220094", "layer": "security", "severity": "medium", "confidence": 1.0, "tags": ["coverage", "auth"]}}, {"ruleId": "scanner-9d328a07465eac15", "level": "warning", "message": {"text": "GitHub Action is tag-pinned rather than SHA-pinned"}, "properties": {"repobilityId": "41133c29a945d84e", "scanner": "scanner-primary", "fingerprint": "9d328a07465eac15", "layer": "cicd", "severity": "medium", "confidence": 1.0, "tags": ["supply-chain", "github-actions", "pinned-dependencies"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "lean_verify/.github/workflows/create-release.yml"}, "region": {"startLine": 19}}}]}, {"ruleId": "scanner-0365a3649d0378f9", "level": "warning", "message": {"text": "GitHub Actions workflow grants broad write permissions"}, "properties": {"repobilityId": "de51dfb850e99dc1", "scanner": "scanner-primary", "fingerprint": "0365a3649d0378f9", "layer": "cicd", "severity": "medium", "confidence": 1.0, "tags": ["supply-chain", "github-actions", "least-privilege"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "lean_verify/.github/workflows/create-release.yml"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-ee21790b441be2c6", "level": "warning", "message": {"text": "GitHub Action is tag-pinned rather than SHA-pinned"}, "properties": {"repobilityId": "a405e0d8f8c285d0", "scanner": "scanner-primary", "fingerprint": "ee21790b441be2c6", "layer": "cicd", "severity": "medium", "confidence": 1.0, "tags": ["supply-chain", "github-actions", "pinned-dependencies"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "lean_verify/.github/workflows/update.yml"}, "region": {"startLine": 17}}}]}, {"ruleId": "scanner-ee21790b441be2c6", "level": "warning", "message": {"text": "GitHub Action is tag-pinned rather than SHA-pinned"}, "properties": {"repobilityId": "4e00bbb0b2fed1e7", "scanner": "scanner-primary", "fingerprint": "ee21790b441be2c6", "layer": "cicd", "severity": "medium", "confidence": 1.0, "tags": ["supply-chain", "github-actions", "pinned-dependencies"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "lean_verify/.github/workflows/update.yml"}, "region": {"startLine": 35}}}]}, {"ruleId": "scanner-05f79aab3528e771", "level": "warning", "message": {"text": "GitHub Actions workflow grants broad write permissions"}, "properties": {"repobilityId": "5b71175fa4c5711c", "scanner": "scanner-primary", "fingerprint": "05f79aab3528e771", "layer": "cicd", "severity": "medium", "confidence": 1.0, "tags": ["supply-chain", "github-actions", "least-privilege"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "lean_verify/.github/workflows/update.yml"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-a32e88f0f628791c", "level": "warning", "message": {"text": "GitHub Actions workflow grants broad write permissions"}, "properties": {"repobilityId": "c4c4cb7e5e0eb815", "scanner": "scanner-primary", "fingerprint": "a32e88f0f628791c", "layer": "cicd", "severity": "medium", "confidence": 1.0, "tags": ["supply-chain", "github-actions", "least-privilege"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "lean_verify/.github/workflows/lean_action_ci.yml"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-d1c22606d95ef85c", "level": "note", "message": {"text": "GitHub Action is tag-pinned rather than SHA-pinned"}, "properties": {"repobilityId": "9a9abf1447bd384d", "scanner": "scanner-primary", "fingerprint": "d1c22606d95ef85c", "layer": "cicd", "severity": "low", "confidence": 1.0, "tags": ["supply-chain", "github-actions", "pinned-dependencies"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": ".github/workflows/bitcoin-timestamp.yml"}, "region": {"startLine": 15}}}]}, {"ruleId": "scanner-4752c1fbf071065d", "level": "warning", "message": {"text": "GitHub Actions workflow grants broad write permissions"}, "properties": {"repobilityId": "b3d12a52d78a3029", "scanner": "scanner-primary", "fingerprint": "4752c1fbf071065d", "layer": "cicd", "severity": "medium", "confidence": 1.0, "tags": ["supply-chain", "github-actions", "least-privilege"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": ".github/workflows/bitcoin-timestamp.yml"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-3c726940a2545f6d", "level": "note", "message": {"text": "Very large file: synthesis/composer.py (1099 lines)"}, "properties": {"repobilityId": "54351c7f2ab6cc65", "scanner": "scanner-primary", "fingerprint": "3c726940a2545f6d", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["complexity"]}}, {"ruleId": "scanner-95ffca70e8b7cac0", "level": "note", "message": {"text": "Very large file: synthesis/capstone.py (1408 lines)"}, "properties": {"repobilityId": "eb65b0c232530f3f", "scanner": "scanner-primary", "fingerprint": "95ffca70e8b7cac0", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["complexity"]}}, {"ruleId": "scanner-6893a6c8b0861585", "level": "warning", "message": {"text": "Very low test-to-source ratio"}, "properties": {"repobilityId": "54a7de3f06314bf0", "scanner": "scanner-primary", "fingerprint": "6893a6c8b0861585", "layer": "quality", "severity": "medium", "confidence": 1.0, "tags": ["tests", "coverage"]}}, {"ruleId": "scanner-3ab5d313dda8e5f9", "level": "note", "message": {"text": "Debug logging residue appears in source files"}, "properties": {"repobilityId": "d4ef25bb3e4475df", "scanner": "scanner-primary", "fingerprint": "3ab5d313dda8e5f9", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["debug", "cleanup", "repo-hardening", "generated-repo-pattern"]}}, {"ruleId": "scanner-11825279136b53a3", "level": "warning", "message": {"text": "CI is configured but no tests are detected"}, "properties": {"repobilityId": "e2335f4384bc9d24", "scanner": "scanner-primary", "fingerprint": "11825279136b53a3", "layer": "quality", "severity": "medium", "confidence": 1.0, "tags": ["tests", "ci", "config-theater", "repo-hardening", "generated-repo-pattern"]}}, {"ruleId": "scanner-ea8f3013f588db25", "level": "note", "message": {"text": "Shallow git history limits provenance confidence"}, "properties": {"repobilityId": "f99ace2f2dc2bfea", "scanner": "scanner-primary", "fingerprint": "ea8f3013f588db25", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["provenance", "git-history", "generated-repo-pattern"]}}, {"ruleId": "scanner-8424db9c75e04ba4", "level": "none", "message": {"text": "Very short observed git history"}, "properties": {"repobilityId": "9a5bde2c8962cbf0", "scanner": "scanner-primary", "fingerprint": "8424db9c75e04ba4", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["provenance", "git-history", "generated-repo-pattern"]}}, {"ruleId": "scanner-b097f4378ad845cd", "level": "note", "message": {"text": "Legacy-named symbol `upgrade_lean_v2` in scripts/upgrade_lean_v2.py:15"}, "properties": {"repobilityId": "aaa1031a55121059", "scanner": "scanner-primary", "fingerprint": "b097f4378ad845cd", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "legacy-marker", "dead-code"]}}, {"ruleId": "scanner-809c80da4f110dfb", "level": "warning", "message": {"text": "Network/subprocess call without timeout or try/except \u2014 scripts/upgrade_lean_v2.py:240"}, "properties": {"repobilityId": "5dbd7f5c0fd3647e", "scanner": "scanner-primary", "fingerprint": "809c80da4f110dfb", "layer": "quality", "severity": "medium", "confidence": 1.0, "tags": ["integrity", "fragile-runtime", "robustness"]}}, {"ruleId": "scanner-7fea4cf9e6a7fd2b", "level": "none", "message": {"text": "Commented-code block (5 lines) in scripts/run_stage_a.py:366"}, "properties": {"repobilityId": "d6119ef293edab3f", "scanner": "scanner-primary", "fingerprint": "7fea4cf9e6a7fd2b", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["integrity", "commented-code", "dead-code"]}}, {"ruleId": "scanner-6667eea440e3bb4b", "level": "note", "message": {"text": "Legacy-named symbol `upgrade_proofs_v2` in scripts/upgrade_proofs_v2.py:17"}, "properties": {"repobilityId": "377b33e492c9ef69", "scanner": "scanner-primary", "fingerprint": "6667eea440e3bb4b", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "legacy-marker", "dead-code"]}}, {"ruleId": "scanner-5b6f82367ce4dec9", "level": "warning", "message": {"text": "Network/subprocess call without timeout or try/except \u2014 scripts/upgrade_proofs_v2.py:103"}, "properties": {"repobilityId": "6ad3f00a74477c56", "scanner": "scanner-primary", "fingerprint": "5b6f82367ce4dec9", "layer": "quality", "severity": "medium", "confidence": 1.0, "tags": ["integrity", "fragile-runtime", "robustness"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "811e8fc953b23585", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-be46ea126aa5d8dc", "level": "note", "message": {"text": "Near-duplicate function bodies in 3 places"}, "properties": {"repobilityId": "f7a4a05022cb2093", "scanner": "scanner-primary", "fingerprint": "be46ea126aa5d8dc", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "ba7021c059cd8215", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "69e221a3a66d0c8a", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "3d38222e056ee7b0", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-02525d39071dd2c7", "level": "note", "message": {"text": "Near-duplicate function bodies in 5 places"}, "properties": {"repobilityId": "f5fc347edfd995c7", "scanner": "scanner-primary", "fingerprint": "02525d39071dd2c7", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "ba43b14774559551", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "ccb134ec85611a8b", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "0120a3ab5189cb00", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "e7216374f3e6857d", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "cb1ab7358f8cb4b7", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "06c9e43c210db312", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "dec78ffab9e9bbe1", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "8eb929a79bcba832", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}]}]}