{"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-d926a34d20d6762b", "name": "Possibly dead Python function: is_WIP", "shortDescription": {"text": "Possibly dead Python function: is_WIP"}, "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-578dd553aedd4d8b", "name": "Possibly dead Python function: is_thm_rule_key", "shortDescription": {"text": "Possibly dead Python function: is_thm_rule_key"}, "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-501350cc44f4d55f", "name": "Possibly dead Python function: xor_theory_prefix", "shortDescription": {"text": "Possibly dead Python function: xor_theory_prefix"}, "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-1678169043459903", "name": "Possibly dead Python function: destruct_key", "shortDescription": {"text": "Possibly dead Python function: destruct_key"}, "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-06247ff37593a8bc", "name": "Possibly dead Python function: theory_long_name", "shortDescription": {"text": "Possibly dead Python function: theory_long_name"}, "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-4549fcfde8874079", "name": "Possibly dead Python function: get_REVERSE_SYMBOLS", "shortDescription": {"text": "Possibly dead Python function: get_REVERSE_SYMBOLS"}, "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-cdb0f9552ffcccbe", "name": "Possibly dead Python function: replace_symbol", "shortDescription": {"text": "Possibly dead Python function: replace_symbol"}, "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-ebe2e2ea4c3479bf", "name": "Possibly dead Python function: replace_subsupscript", "shortDescription": {"text": "Possibly dead Python function: replace_subsupscript"}, "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-1fa1e3c521df99d3", "name": "Possibly dead Python function: unicode_of_ascii", "shortDescription": {"text": "Possibly dead Python function: unicode_of_ascii"}, "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-0dd12ce145ca2a42", "name": "Possibly dead Python function: symbol_offsets", "shortDescription": {"text": "Possibly dead Python function: symbol_offsets"}, "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-9d6eab4fe8037394", "name": "Possibly dead Python function: end_of_line_offset", "shortDescription": {"text": "Possibly dead Python function: end_of_line_offset"}, "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-0a05673d35d73aab", "name": "Possibly dead Python function: pack", "shortDescription": {"text": "Possibly dead Python function: pack"}, "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-15369600734d5d8d", "name": "Possibly dead Python function: to_unicode_position", "shortDescription": {"text": "Possibly dead Python function: to_unicode_position"}, "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-08b3f6b9c5fd9dcc", "name": "Possibly dead Python function: to_position", "shortDescription": {"text": "Possibly dead Python function: to_position"}, "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-71572bfea33ea144", "name": "Possibly dead Python function: to_s", "shortDescription": {"text": "Possibly dead Python function: to_s"}, "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-36cafc03f330ad99", "name": "Possibly dead Python function: offset_of", "shortDescription": {"text": "Possibly dead Python function: offset_of"}, "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-03b1915d29160ae7", "name": "Insecure pattern 'exec_used' in Isabelle_RPC_Host/run_python.py:31", "shortDescription": {"text": "Insecure pattern 'exec_used' in Isabelle_RPC_Host/run_python.py:31"}, "fullDescription": {"text": "Found a known-risky pattern (exec_used). Review and replace if possible."}, "properties": {"scanner": "scanner-primary", "layer": "security", "severity": "high", "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-4601e3ad3bb28677", "name": "No CI/CD pipelines detected", "shortDescription": {"text": "No CI/CD pipelines detected"}, "fullDescription": {"text": "No GitHub Actions, GitLab CI, or CircleCI configs found. Without CI you can't gate deploys on tests/lints."}, "properties": {"scanner": "scanner-primary", "layer": "cicd", "severity": "medium", "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 12 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 5 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-b9088664ace7f748", "name": "Composite production-readiness gap", "shortDescription": {"text": "Composite production-readiness gap"}, "fullDescription": {"text": "Multiple low-cost hardening controls are missing together: ci, tests. Opus verification showed these co-occurring gaps are a better readiness signal than reading each flag in isolation."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "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-eae72ad779bca34f", "name": "Commented-code block (8 lines) in Isabelle_RPC_Host/__init__.py:21", "shortDescription": {"text": "Commented-code block (8 lines) in Isabelle_RPC_Host/__init__.py:21"}, "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-82d60ba5f8bfe224", "name": "Commented-code block (8 lines) in Isabelle_RPC_Host/context.py:465", "shortDescription": {"text": "Commented-code block (8 lines) in Isabelle_RPC_Host/context.py:465"}, "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-21bd548a90433404", "name": "Commented-code block (5 lines) in Isabelle_RPC_Host/tokens.py:92", "shortDescription": {"text": "Commented-code block (5 lines) in Isabelle_RPC_Host/tokens.py:92"}, "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-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:\nIsabelle_RPC_Host/context.py:theorems, Isabelle_RPC_Host/context.py:introduction_rules, Isabelle_RPC_Host/context.py:elimination_rules, Isabelle_RPC_Host/context.py:induction_rules\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-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:\nIsabelle_RPC_Host/unicode.py:get_SYMBOLS_AND_REVERSED, Isabelle_RPC_Host/unicode.py:get_SYMBOLS\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/23052"}, "properties": {"repository": "xqyww123/Isabelle_RPC", "repoUrl": "https://github.com/xqyww123/Isabelle_RPC", "branch": "main"}, "results": [{"ruleId": "scanner-d926a34d20d6762b", "level": "note", "message": {"text": "Possibly dead Python function: is_WIP"}, "properties": {"repobilityId": "3e47aeff519995bb", "scanner": "scanner-primary", "fingerprint": "d926a34d20d6762b", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/universal_key.py:82"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-578dd553aedd4d8b", "level": "note", "message": {"text": "Possibly dead Python function: is_thm_rule_key"}, "properties": {"repobilityId": "55359431a25519cb", "scanner": "scanner-primary", "fingerprint": "578dd553aedd4d8b", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/universal_key.py:92"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-501350cc44f4d55f", "level": "note", "message": {"text": "Possibly dead Python function: xor_theory_prefix"}, "properties": {"repobilityId": "a0457542f5daa8fc", "scanner": "scanner-primary", "fingerprint": "501350cc44f4d55f", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/universal_key.py:101"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-1678169043459903", "level": "note", "message": {"text": "Possibly dead Python function: destruct_key"}, "properties": {"repobilityId": "88fbf02b4ea8d8d6", "scanner": "scanner-primary", "fingerprint": "1678169043459903", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/universal_key.py:122"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-06247ff37593a8bc", "level": "note", "message": {"text": "Possibly dead Python function: theory_long_name"}, "properties": {"repobilityId": "2aa603ad83f5342a", "scanner": "scanner-primary", "fingerprint": "06247ff37593a8bc", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/context.py:487"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-4549fcfde8874079", "level": "note", "message": {"text": "Possibly dead Python function: get_REVERSE_SYMBOLS"}, "properties": {"repobilityId": "b4adb13048f7d077", "scanner": "scanner-primary", "fingerprint": "4549fcfde8874079", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/unicode.py:70"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-cdb0f9552ffcccbe", "level": "note", "message": {"text": "Possibly dead Python function: replace_symbol"}, "properties": {"repobilityId": "dd9b85621cc3fe0a", "scanner": "scanner-primary", "fingerprint": "cdb0f9552ffcccbe", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/unicode.py:145"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-ebe2e2ea4c3479bf", "level": "note", "message": {"text": "Possibly dead Python function: replace_subsupscript"}, "properties": {"repobilityId": "1664c320f6ead1ae", "scanner": "scanner-primary", "fingerprint": "ebe2e2ea4c3479bf", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/unicode.py:149"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-1fa1e3c521df99d3", "level": "note", "message": {"text": "Possibly dead Python function: unicode_of_ascii"}, "properties": {"repobilityId": "d00c7e436e5bc3cf", "scanner": "scanner-primary", "fingerprint": "1fa1e3c521df99d3", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/unicode.py:157"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-0dd12ce145ca2a42", "level": "note", "message": {"text": "Possibly dead Python function: symbol_offsets"}, "properties": {"repobilityId": "1a8d7191ace50e00", "scanner": "scanner-primary", "fingerprint": "0dd12ce145ca2a42", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/position.py:252"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-9d6eab4fe8037394", "level": "note", "message": {"text": "Possibly dead Python function: end_of_line_offset"}, "properties": {"repobilityId": "b6fee38de7d79e79", "scanner": "scanner-primary", "fingerprint": "9d6eab4fe8037394", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/position.py:267"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-0a05673d35d73aab", "level": "note", "message": {"text": "Possibly dead Python function: pack"}, "properties": {"repobilityId": "24c28e8ba1e548d3", "scanner": "scanner-primary", "fingerprint": "0a05673d35d73aab", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/position.py:502"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-15369600734d5d8d", "level": "note", "message": {"text": "Possibly dead Python function: to_unicode_position"}, "properties": {"repobilityId": "feaf5daa4348ee9a", "scanner": "scanner-primary", "fingerprint": "15369600734d5d8d", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/position.py:512"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-08b3f6b9c5fd9dcc", "level": "note", "message": {"text": "Possibly dead Python function: to_position"}, "properties": {"repobilityId": "3b6c8fae40d57bae", "scanner": "scanner-primary", "fingerprint": "08b3f6b9c5fd9dcc", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/position.py:415"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-71572bfea33ea144", "level": "note", "message": {"text": "Possibly dead Python function: to_s"}, "properties": {"repobilityId": "e0bfa2e57fab6320", "scanner": "scanner-primary", "fingerprint": "71572bfea33ea144", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/position.py:429"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-36cafc03f330ad99", "level": "note", "message": {"text": "Possibly dead Python function: offset_of"}, "properties": {"repobilityId": "7df10b1ef985353a", "scanner": "scanner-primary", "fingerprint": "36cafc03f330ad99", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/position.py:489"}, "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-03b1915d29160ae7", "level": "error", "message": {"text": "Insecure pattern 'exec_used' in Isabelle_RPC_Host/run_python.py:31"}, "properties": {"repobilityId": "a9e95ad2d96a6555", "scanner": "scanner-primary", "fingerprint": "03b1915d29160ae7", "layer": "security", "severity": "high", "confidence": 1.0, "tags": ["owasp", "exec_used"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "Isabelle_RPC_Host/run_python.py"}, "region": {"startLine": 31}}}]}, {"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-4601e3ad3bb28677", "level": "warning", "message": {"text": "No CI/CD pipelines detected"}, "properties": {"repobilityId": "c3ee439bce2bc51e", "scanner": "scanner-primary", "fingerprint": "4601e3ad3bb28677", "layer": "cicd", "severity": "medium", "confidence": 1.0, "tags": ["coverage"]}}, {"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": "74628a76a379ea43", "scanner": "scanner-primary", "fingerprint": "3ab5d313dda8e5f9", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["debug", "cleanup", "repo-hardening", "generated-repo-pattern"]}}, {"ruleId": "scanner-b9088664ace7f748", "level": "note", "message": {"text": "Composite production-readiness gap"}, "properties": {"repobilityId": "d87b33c7728c057d", "scanner": "scanner-primary", "fingerprint": "b9088664ace7f748", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["production-readiness", "repo-hardening", "generated-repo-pattern"]}}, {"ruleId": "scanner-ea8f3013f588db25", "level": "note", "message": {"text": "Shallow git history limits provenance confidence"}, "properties": {"repobilityId": "f8edf23e5c7db18f", "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": "4b1c5ba1933f6dbe", "scanner": "scanner-primary", "fingerprint": "8424db9c75e04ba4", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["provenance", "git-history", "generated-repo-pattern"]}}, {"ruleId": "scanner-eae72ad779bca34f", "level": "none", "message": {"text": "Commented-code block (8 lines) in Isabelle_RPC_Host/__init__.py:21"}, "properties": {"repobilityId": "00e766030aeaa196", "scanner": "scanner-primary", "fingerprint": "eae72ad779bca34f", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["integrity", "commented-code", "dead-code"]}}, {"ruleId": "scanner-82d60ba5f8bfe224", "level": "none", "message": {"text": "Commented-code block (8 lines) in Isabelle_RPC_Host/context.py:465"}, "properties": {"repobilityId": "594845df1cb587c5", "scanner": "scanner-primary", "fingerprint": "82d60ba5f8bfe224", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["integrity", "commented-code", "dead-code"]}}, {"ruleId": "scanner-21bd548a90433404", "level": "none", "message": {"text": "Commented-code block (5 lines) in Isabelle_RPC_Host/tokens.py:92"}, "properties": {"repobilityId": "4d916b2b10db5434", "scanner": "scanner-primary", "fingerprint": "21bd548a90433404", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["integrity", "commented-code", "dead-code"]}}, {"ruleId": "scanner-02525d39071dd2c7", "level": "note", "message": {"text": "Near-duplicate function bodies in 5 places"}, "properties": {"repobilityId": "137063ab98801d49", "scanner": "scanner-primary", "fingerprint": "02525d39071dd2c7", "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": "9633ad4094d0f6e0", "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": "f4a7e769078d4625", "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": "d790e81a50b2a82c", "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": "2db19da6bd9bc38c", "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": "44096b6936b9ec22", "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": "f493c1148b996bb2", "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": "173544e4a62aafb2", "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": "799272cbbacb3f24", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}]}]}