{"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": "foundry_unresolved_feedback", "name": "Foundry mined unresolved feedback: QEDGen/qedsvm", "shortDescription": {"text": "Foundry mined unresolved feedback: QEDGen/qedsvm"}, "fullDescription": {"text": "Graph query export: Human feedback without linked fix evidence\nQuery id: unresolved_feedback\nQuery type: motif_query\nIntent: Negative/unresolved examples that should not be hallucinated into fixes.\nMotif: unlinked_feedback_needs_evidence\nTraining usage: negative_or_unresolved\nGraph gold label: weak_supervision_needs_review\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#7\nEvidence:\nGraph motif: Human feedback exists without a linked fix\nMotif id: unlinked_feedback_needs_evidence\nPolarity: bad\nTraining usage: negative_or_unresolved\nSeverity: medium\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#7\nGraph gold label: weak_supervision_needs_review\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#7\nRepo: QEDGen/qedsvm\nIssue/PR number: 7\nGraph consistency label: weak_supervision_needs_review\nNodes: 17\nEdges: 21\nNode types: {'commit': 5, 'link_quality': 4, 'comment': 2, 'comment_chain': 2, 'thread': 1, 'repo': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chai"}, "properties": {"scanner": "foundry_dataset", "category": "practices", "severity": "medium", "confidence": 0.7, "cwe": "", "owasp": ""}}, {"id": "foundry_assumption_check", "name": "Foundry mined assumption checks: QEDGen/qedsvm", "shortDescription": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "fullDescription": {"text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#9\nOutcome: ambiguous_needs_more_evidence\nThread label: thread_needs_classification\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#9\nRepo: QEDGen/qedsvm\nThread label: thread_needs_classification\nOutcome: ambiguous_needs_more_evidence\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'human_feedback_general': 1}\nPolarities: {'neutral': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-32b728fa13378322\",\n    \"kind\": \"issue_body\",\n    \"label\": \"human_feedback_general\",\n    \"polarity\": \"neutral\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/9\",\n    \"text\": \"GitHub feedback: human_feedback_general\\nPolarity: neutral\\nKind: issue_body\\nRepo: QEDGen/qedsvm\\nAutho"}, "properties": {"scanner": "foundry_dataset", "category": "practices", "severity": "medium", "confidence": 0.62, "cwe": "", "owasp": ""}}, {"id": "foundry_test_ci_gap", "name": "Foundry mined test ci gap after feedback: QEDGen/qedsvm", "shortDescription": {"text": "Foundry mined test ci gap after feedback: QEDGen/qedsvm"}, "fullDescription": {"text": "Graph query export: Feedback exposes missing tests or CI\nQuery id: test_ci_gap_after_feedback\nQuery type: motif_query\nIntent: Hard negatives for feedback/fix chains without adequate guardrails.\nMotif: test_ci_gap_after_feedback\nTraining usage: hard_negative\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#36\nEvidence:\nGraph motif: Feedback or fix context exposes missing test/CI guardrails\nMotif id: test_ci_gap_after_feedback\nPolarity: bad\nTraining usage: hard_negative\nSeverity: high\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#36\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#36\nRepo: QEDGen/qedsvm\nIssue/PR number: 36\nGraph consistency label: supported_by_verification_signal\nNodes: 15\nEdges: 19\nNode types: {'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'pr_file': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comme"}, "properties": {"scanner": "foundry_dataset", "category": "testing", "severity": "high", "confidence": 0.78, "cwe": "", "owasp": ""}}, {"id": "foundry_schema_ui_api_gap", "name": "Foundry mined schema ui api mismatch: QEDGen/qedsvm", "shortDescription": {"text": "Foundry mined schema ui api mismatch: QEDGen/qedsvm"}, "fullDescription": {"text": "Graph query export: Schema, UI, and API mismatch\nQuery id: schema_ui_api_mismatch\nQuery type: motif_query\nIntent: Assumption-check examples for data-path consistency across layers.\nMotif: schema_ui_api_mismatch\nTraining usage: assumption_check\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#43\nEvidence:\nGraph motif: Schema, UI, and API evidence do not line up\nMotif id: schema_ui_api_mismatch\nPolarity: bad\nTraining usage: assumption_check\nSeverity: high\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#43\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#43\nRepo: QEDGen/qedsvm\nIssue/PR number: 43\nGraph consistency label: supported_by_verification_signal\nNodes: 23\nEdges: 43\nNode types: {'pr_file': 9, 'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'thread_touches_file': 9, 'comment_c"}, "properties": {"scanner": "foundry_dataset", "category": "quality", "severity": "high", "confidence": 0.76, "cwe": "", "owasp": ""}}, {"id": "foundry_auth_guardrail_gap", "name": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm", "shortDescription": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "fullDescription": {"text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#8\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#8\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#8\nRepo: QEDGen/qedsvm\nIssue/PR number: 8\nGraph consistency label: supported_by_verification_signal\nNodes: 27\nEdges: 36\nNode types: {'commit': 12, 'link_quality': 5, 'comment': 3, 'comment_chain': 3, 'thread': 1, 'repo': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge type"}, "properties": {"scanner": "foundry_dataset", "category": "auth", "severity": "critical", "confidence": 0.78, "cwe": "", "owasp": ""}}, {"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-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-1adbe6d14fbf47f8", "name": "Very large file: qedsvm-rs/tests/diff_mollusk.rs (3723 lines)", "shortDescription": {"text": "Very large file: qedsvm-rs/tests/diff_mollusk.rs (3723 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-aafaf698d51a1c64", "name": "Very large file: qedsvm-rs/qedrecover/src/main.rs (1740 lines)", "shortDescription": {"text": "Very large file: qedsvm-rs/qedrecover/src/main.rs (1740 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-2d0c7b7ab8f8aacf", "name": "Critical user flow still appears backed by mock or placeholder data", "shortDescription": {"text": "Critical user flow still appears backed by mock or placeholder data"}, "fullDescription": {"text": "A payment/auth/admin/order/billing-style flow contains mock, fake, TODO, dummy, or placeholder markers in runtime source. In the Fable corpus this is a high-leverage completeness smell: the app can look finished while the money, identity, or tenant flow is still scaffolded."}, "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}}]}}, "automationDetails": {"id": "repobility/17582"}, "properties": {"repository": "QEDGen/qedsvm", "repoUrl": "https://github.com/QEDGen/qedsvm", "branch": "main"}, "results": [{"ruleId": "foundry_unresolved_feedback", "level": "warning", "message": {"text": "Foundry mined unresolved feedback: QEDGen/qedsvm"}, "properties": {"repobilityId": 360894, "scanner": "foundry_dataset", "fingerprint": "a103e19d0046a9f61b83f2a14a77d2e76064c0fbad9f3214e2608dc9dbe92e1a", "category": "practices", "severity": "medium", "confidence": 0.7, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Human feedback without linked fix evidence", "intent": "Negative/unresolved examples that should not be hallucinated into fixes.", "labels": {"bug_fix": 5, "agent_instruction_gap": 1, "human_feedback_general": 1, "unlinked_human_feedback": 1, "claimed_resolved_unverified": 3, "issue_or_pull_request_thread": 1, "ambiguous_needs_more_evidence": 1, "human_reported_issue_then_fix_attempt": 1, "thread_has_human_issue_and_fix_context": 2}, "source": "graph_query_export", "motif_id": "unlinked_feedback_needs_evidence", "outcomes": {"claimed_resolved_unverified": 6, "ambiguous_needs_more_evidence": 2}, "polarity": "bad", "query_id": "unresolved_feedback", "severity": "medium", "ci_labels": {}, "synthetic": false, "edge_count": 21, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 2, "thread_has_comment": 2, "chain_has_link_quality": 4, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 2, "comment_chain_links_commit": 5, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 2}, "node_count": 17, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 2, "fix_outcome": 1, "issue_chain": 1, "link_quality": 4, "comment_chain": 2}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#7", "issue_number": "7", "quality_tiers": {"unresolved": 1, "weak_supervision": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "negative_or_unresolved", "source_motif_id": "graph-pattern-motif-thread-424707dea299e868", "graph_gold_label": "weak_supervision_needs_review", "changed_file_labels": {}}, "text": "Graph query export: Human feedback without linked fix evidence\nQuery id: unresolved_feedback\nQuery type: motif_query\nIntent: Negative/unresolved examples that should not be hallucinated into fixes.\nMotif: unlinked_feedback_needs_evidence\nTraining usage: negative_or_unresolved\nGraph gold label: weak_supervision_needs_review\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#7\nEvidence:\nGraph motif: Human feedback exists without a linked fix\nMotif id: unlinked_feedback_needs_evidence\nPolarity: bad\nTraining usage: negative_or_unresolved\nSeverity: medium\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#7\nGraph gold label: weak_supervision_needs_review\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#7\nRepo: QEDGen/qedsvm\nIssue/PR number: 7\nGraph consistency label: weak_supervision_needs_review\nNodes: 17\nEdges: 21\nNode types: {'commit': 5, 'link_quality': 4, 'comment': 2, 'comment_chain': 2, 'thread': 1, 'repo': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 5, 'chain_has_link_quality': 4, 'thread_has_comment': 2, 'thread_has_comment_chain': 2, 'comment_has_chain': 2, 'issue_chain_has_comment_chain': 2, 'repo_has_thread': 1, 'thread_has_issue_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'bug_fix': 5, 'claimed_resolved_unverified': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'agent_instruction_gap': 1, 'human_feedback_general': 1, 'human_reported_issue_then_fix_attempt': 1, 'unlinked_human_feedback': 1, 'ambiguous_needs_more_evidence': 1}\nOutcomes: {'claimed_resolved_unverified': 6, 'ambiguous_needs_more_evidence': 2}\nQuality tiers: {'weak_supervision': 3, 'unresolved': 1}\nCI labels: {}\nCurriculum targets:\n- Teach models to preserve unresolved human feedback instead of hallucinating fixes.\n- Build issue-to-regression examples where no accepted fix exists yet.\nAssumption checks:\n- Can a commit be linked by issue number, SHA, changed path, or time window?\n- If no link exists, is this explicitly labelled unresolved?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-71b16c1a79940ddb", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/unresolved_feedback/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/unresolved_feedback", "training_usage": "negative_or_unresolved"}}}, {"ruleId": "foundry_unresolved_feedback", "level": "warning", "message": {"text": "Foundry mined unresolved feedback: QEDGen/qedsvm"}, "properties": {"repobilityId": 360893, "scanner": "foundry_dataset", "fingerprint": "aa6e7c54cd843f9db096e337ef7299d9093937709df83083b3d3b4643ba35e17", "category": "practices", "severity": "medium", "confidence": 0.7, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Human feedback without linked fix evidence", "intent": "Negative/unresolved examples that should not be hallucinated into fixes.", "labels": {"bug_fix": 7, "ui_workflow": 1, "ui_workflow_gap": 1, "dependency_or_build": 3, "security_or_secrets": 2, "security_auth_secret": 4, "verification_or_tests": 3, "human_feedback_general": 1, "unlinked_human_feedback": 1, "claimed_resolved_unverified": 6, "issue_or_pull_request_thread": 1, "ambiguous_needs_more_evidence": 1, "human_reported_issue_then_fix_attempt": 4, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 1, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "unlinked_feedback_needs_evidence", "outcomes": {"claimed_resolved_unverified": 12, "ambiguous_needs_more_evidence": 2, "claimed_resolved_with_verification_signal": 2}, "polarity": "bad", "query_id": "unresolved_feedback", "severity": "medium", "ci_labels": {}, "synthetic": false, "edge_count": 61, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 6, "thread_has_comment": 6, "chain_has_link_quality": 8, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 6, "comment_chain_links_commit": 25, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 6}, "node_count": 40, "node_types": {"repo": 1, "commit": 16, "thread": 1, "comment": 6, "fix_outcome": 1, "issue_chain": 1, "link_quality": 8, "comment_chain": 6}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#24", "issue_number": "24", "quality_tiers": {"unresolved": 1, "weak_supervision": 7}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "negative_or_unresolved", "source_motif_id": "graph-pattern-motif-thread-388c38918de3316e", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {}}, "text": "Graph query export: Human feedback without linked fix evidence\nQuery id: unresolved_feedback\nQuery type: motif_query\nIntent: Negative/unresolved examples that should not be hallucinated into fixes.\nMotif: unlinked_feedback_needs_evidence\nTraining usage: negative_or_unresolved\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#24\nEvidence:\nGraph motif: Human feedback exists without a linked fix\nMotif id: unlinked_feedback_needs_evidence\nPolarity: bad\nTraining usage: negative_or_unresolved\nSeverity: medium\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#24\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#24\nRepo: QEDGen/qedsvm\nIssue/PR number: 24\nGraph consistency label: supported_by_verification_signal\nNodes: 40\nEdges: 61\nNode types: {'commit': 16, 'link_quality': 8, 'comment': 6, 'comment_chain': 6, 'thread': 1, 'repo': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 25, 'chain_has_link_quality': 8, 'thread_has_comment': 6, 'thread_has_comment_chain': 6, 'comment_has_chain': 6, 'issue_chain_has_comment_chain': 6, 'repo_has_thread': 1, 'thread_has_issue_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'bug_fix': 7, 'claimed_resolved_unverified': 6, 'security_auth_secret': 4, 'human_reported_issue_then_fix_attempt': 4, 'dependency_or_build': 3, 'verification_or_tests': 3, 'security_or_secrets': 2, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'human_feedback_general': 1, 'ui_workflow_gap': 1, 'unlinked_human_feedback': 1, 'ambiguous_needs_more_evidence': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'ui_workflow': 1, 'claimed_resolved_with_verification_signal': 1}\nOutcomes: {'claimed_resolved_unverified': 12, 'ambiguous_needs_more_evidence': 2, 'claimed_resolved_with_verification_signal': 2}\nQuality tiers: {'weak_supervision': 7, 'unresolved': 1}\nCI labels: {}\nCurriculum targets:\n- Teach models to preserve unresolved human feedback instead of hallucinating fixes.\n- Build issue-to-regression examples where no accepted fix exists yet.\nAssumption checks:\n- Can a commit be linked by issue number, SHA, changed path, or time window?\n- If no link exists, is this explicitly labelled unresolved?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-5a1bfd5388792929", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/unresolved_feedback/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/unresolved_feedback", "training_usage": "negative_or_unresolved"}}}, {"ruleId": "foundry_unresolved_feedback", "level": "warning", "message": {"text": "Foundry mined unresolved feedback: QEDGen/qedsvm"}, "properties": {"repobilityId": 360892, "scanner": "foundry_dataset", "fingerprint": "b2c19db66143f1966147f2c3e796e402f1de8a2b069c3578b818817771e8da99", "category": "practices", "severity": "medium", "confidence": 0.7, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Human feedback without linked fix evidence", "intent": "Negative/unresolved examples that should not be hallucinated into fixes.", "labels": {"source_or_other": 1, "verification_or_tests": 1, "human_feedback_general": 2, "unlinked_human_feedback": 1, "thread_needs_classification": 2, "issue_or_pull_request_thread": 1, "ambiguous_needs_more_evidence": 4, "comment_has_related_commit_context": 1}, "source": "graph_query_export", "motif_id": "unlinked_feedback_needs_evidence", "outcomes": {"ambiguous_needs_more_evidence": 8}, "polarity": "bad", "query_id": "unresolved_feedback", "severity": "medium", "ci_labels": {}, "synthetic": false, "edge_count": 21, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 2, "thread_has_comment": 2, "thread_touches_file": 1, "chain_has_link_quality": 4, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "issue_chain_touches_file": 1, "thread_has_comment_chain": 2, "comment_chain_links_commit": 1, "comment_chain_touches_file": 2, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 2}, "node_count": 14, "node_types": {"repo": 1, "commit": 1, "thread": 1, "comment": 2, "pr_file": 1, "fix_outcome": 1, "issue_chain": 1, "link_quality": 4, "comment_chain": 2}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#1", "issue_number": "1", "quality_tiers": {"unresolved": 1, "weak_supervision": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "negative_or_unresolved", "source_motif_id": "graph-pattern-motif-thread-9dd60a8d64dfcfbf", "graph_gold_label": "weak_supervision_needs_review", "changed_file_labels": {"source_or_other": 5}}, "text": "Graph query export: Human feedback without linked fix evidence\nQuery id: unresolved_feedback\nQuery type: motif_query\nIntent: Negative/unresolved examples that should not be hallucinated into fixes.\nMotif: unlinked_feedback_needs_evidence\nTraining usage: negative_or_unresolved\nGraph gold label: weak_supervision_needs_review\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#1\nEvidence:\nGraph motif: Human feedback exists without a linked fix\nMotif id: unlinked_feedback_needs_evidence\nPolarity: bad\nTraining usage: negative_or_unresolved\nSeverity: medium\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#1\nGraph gold label: weak_supervision_needs_review\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#1\nRepo: QEDGen/qedsvm\nIssue/PR number: 1\nGraph consistency label: weak_supervision_needs_review\nNodes: 14\nEdges: 21\nNode types: {'link_quality': 4, 'comment': 2, 'comment_chain': 2, 'thread': 1, 'repo': 1, 'pr_file': 1, 'commit': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'chain_has_link_quality': 4, 'thread_has_comment': 2, 'thread_has_comment_chain': 2, 'comment_has_chain': 2, 'comment_chain_touches_file': 2, 'issue_chain_has_comment_chain': 2, 'repo_has_thread': 1, 'thread_touches_file': 1, 'comment_chain_links_commit': 1, 'thread_has_issue_chain': 1, 'issue_chain_touches_file': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'ambiguous_needs_more_evidence': 4, 'human_feedback_general': 2, 'thread_needs_classification': 2, 'issue_or_pull_request_thread': 1, 'source_or_other': 1, 'comment_has_related_commit_context': 1, 'verification_or_tests': 1, 'unlinked_human_feedback': 1}\nOutcomes: {'ambiguous_needs_more_evidence': 8}\nQuality tiers: {'weak_supervision': 3, 'unresolved': 1}\nCI labels: {}\nCurriculum targets:\n- Teach models to preserve unresolved human feedback instead of hallucinating fixes.\n- Build issue-to-regression examples where no accepted fix exists yet.\nAssumption checks:\n- Can a commit be linked by issue number, SHA, changed path, or time window?\n- If no link exists, is this explicitly labelled unresolved?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-42111a439c26c292", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/unresolved_feedback/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/unresolved_feedback", "training_usage": "negative_or_unresolved"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300136, "scanner": "foundry_dataset", "fingerprint": "6744321ac28dd1f93b11e830e6584426ec25a82ea84550b6f62d8a8dca7a470e", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#9", "human_labels": ["human_feedback_general"], "issue_number": "9", "thread_label": "thread_needs_classification", "outcome_label": "ambiguous_needs_more_evidence", "source_backed": true, "max_confidence": 0.67, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-b0ed2dfbcf92ad63", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#9\nOutcome: ambiguous_needs_more_evidence\nThread label: thread_needs_classification\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#9\nRepo: QEDGen/qedsvm\nThread label: thread_needs_classification\nOutcome: ambiguous_needs_more_evidence\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'human_feedback_general': 1}\nPolarities: {'neutral': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-32b728fa13378322\",\n    \"kind\": \"issue_body\",\n    \"label\": \"human_feedback_general\",\n    \"polarity\": \"neutral\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/9\",\n    \"text\": \"GitHub feedback: human_feedback_general\\nPolarity: neutral\\nKind: issue_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/9\\nTitle: Translate Pinocchio packed ProgramError (high u32) to InstructionError on failure\\nBody:\\nSurfaced while empirically verifying the #2 fix against deployed Pinocchio 0.8 binaries from devnet. Not the same root cause as #2 \u2014 only became visible once we stopped failing early on `BufferParse`.\\n\\n## Symptom\\n\\nPinocchio handlers that return `Err(ProgramError::*)` exit the BPF VM with a packed u64: `(error_code as u64) << 32`. qedsvm surfaces this verbatim as `ProgramResult::Failure { exit_code: N }`, but mollusk decodes it into the matching `InstructionError` variant.\\n\\nConcrete divergence on `janus_pyth_price_resolver` (Pinocchio 0.8, devnet-deployed):\\n\\n```\\nmollusk: Failure(InvalidAccountData)         cu=290  accounts=2  return=0B\\nqedsvm:  Failure { exit_code: 17179869184 }  cu=290  accounts=2  return=0B\\n```\\n\\n`17179869184 = 4 << 32 = ProgramError::InvalidAccountData` (encoded as u32 = 4, shifted into the high half of u64). The post-state is otherwise byte+CU identical \u2014 only the encoding of the failure differs.\\n\\nSame en\"\n  }\n]\nChanged files:\n[]\nLinked chain ids:\n[\"evidence-chain-comment_to_commit-9846f1658ace91c6\"]\nSource graph evidence:\nSource evidence repo graph summary\nRepo: QEDGen/qedsvm\nGraph label: source_artifact_without_verification_graph\nNodes: 7\nEdges: 10\nNode types: {\"cooccurrence_profile\": 1, \"github_repo_summary\": 1, \"repo\": 1, \"source_artifact\": 3, \"source_bundle\": 1}\nEdge types: {\"artifact_needs_claim_verification\": 1, \"artifact_supports_design_schema_api\": 2, \"repo_has_cooccurrence_profile\": 1, \"repo_has_github_evidence_summary\": 1, \"repo_has_source_artifact\": 3, \"repo_has_source_bundle\": 1, \"source_bundle_uses_cooccurrence_profile\": 1}\nArtifact families: {\"architecture\": 1, \"designs\": 1, \"docs\": 1}\nHelicopter views: {}\nBundle labels: {\"source_backed_architecture_schema_bundle\": 1}\nCo-occurrence labels: {\"security_guardrail_cluster\": 1}", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-ed09aa2fcbe05f22", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300135, "scanner": "foundry_dataset", "fingerprint": "a668e821720d301965892cee7a726805dc9f558912d8680eaac20e5db3f2092c", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#8", "human_labels": ["api_integration_gap", "positive_human_signal", "security_auth_secret"], "issue_number": "8", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.792, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-bc07b95e3b486681", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 15, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision", "high_risk_human_feedback_label"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#8\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision, high_risk_human_feedback_label\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#8\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 3\nLinked commit count: 15\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'security_auth_secret': 1, 'api_integration_gap': 1, 'positive_human_signal': 1}\nPolarities: {'bad': 2, 'good': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-d05276b12a56ebd2\",\n    \"kind\": \"pull_request_body\",\n    \"label\": \"security_auth_secret\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/8\",\n    \"text\": \"GitHub feedback: security_auth_secret\\nPolarity: bad\\nKind: pull_request_body\\nRepo: QEDGen/qedsvm\\nAuthor: saicharanpogul (User)\\nURL: https://github.com/QEDGen/qedsvm/pull/8\\nTitle: diff: mollusk_to_qedsvm converter for cross-engine fixtures (#5)\\nBody:\\nCloses #5.\\n\\nAdds `qedsvm::diff::mollusk_to_qedsvm` (plus the single-account `mollusk_account_to_shared`) so cross-engine test code doesn't have to hand-roll the same field-by-field copy each time.\\n\\n## Why\\n\\nEvery diff-test consumer hits the `solana-account 3.x` \u2194 `4.x` split:\\n\\n- `qedsvm::Svm::process_instruction` takes `&[(Pubkey, AccountSharedData)]` from `solana-account 4.x`.\\n- `mollusk-svm 0.12.1-agave-4.0::process_instruction` takes `&[(Pubkey, mollusk_account::Account)]` where `mollusk_account` is aliased to `solana-account 3.x`.\\n\\nWe already had this converter in our [Janus harness](https://github.com/saicharanpogul/janus/blob/main/tests-qedsvm/src/lib.rs) \u2014 lifting it upstream removes ~6 lines of boilerplate per consumer and centralises the trait-import dance (`WritableAccount` for `set_*` methods is non-obvious from the compiler error).\\n\\n## What\\n\\n`src/diff.rs`:\\n- `mollusk_to_qedsvm(&[(Pubkey, mollusk_account::Account)]) -> Vec<(Pub\"\n  },\n  {\n    \"id\": \"github-feedback-comment-c83481241ecb1bbf\",\n    \"kind\": \"issue_comment\",\n    \"label\": \"api_integration_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/8#issuecomment-4541542988\",\n    \"text\": \"GitHub feedback: api_integration_gap\\nPolarity: bad\\nKind: issue_comment\\nRepo: QEDGen/qedsvm\\nAuthor: saicharanpogul (User)\\nURL: https://github.com/QEDGen/qedsvm/pull/8#issuecomment-4541542988\\nTitle: \\nBody:\\nAll three asks addressed. Force-pushed `bbe7c87` (clean rebase, no conflicts since #6 only touched `deserialize.rs` and `tests/svm_api.rs`).\\n\\n## What changed\\n\\n**1. Reciprocal direction added** (`qedsvm_to_mollusk` + `shared_to_mollusk_account`)\\n\\nSame shape as the forward pair.\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-8753e9c3674ac4cb", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300134, "scanner": "foundry_dataset", "fingerprint": "b2d324c4099bc0dd7126fb9145a09da704cc790e0b6e1f6ecaa1a258ff21aa3c", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#7", "human_labels": ["agent_instruction_gap", "human_feedback_general"], "issue_number": "7", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.662, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-d62099aed62fec9d", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#7\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#7\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 2\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'agent_instruction_gap': 1, 'human_feedback_general': 1}\nPolarities: {'bad': 1, 'neutral': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-f8025adbf2045a98\",\n    \"kind\": \"issue_body\",\n    \"label\": \"agent_instruction_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/7\",\n    \"text\": \"GitHub feedback: agent_instruction_gap\\nPolarity: bad\\nKind: issue_body\\nRepo: QEDGen/qedsvm\\nAuthor: saicharanpogul (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/7\\nTitle: System Program CreateAccount CPI rejected by qedsvm where mollusk succeeds\\nBody:\\nFiling this separately per the conversation on #2 / PR #6 \u2014 independent of the dup-marker fix, just was masked behind it.\\n\\n## Symptom\\n\\nInitialize handler of a Pinocchio program that calls `pinocchio_system::instructions::CreateAccount` to allocate a PDA:\\n\\n- **Mollusk** (0.12.1-agave-4.0): Success, 3265 CU consumed, PDA gets 48 bytes of state written by the program.\\n- **qedsvm** (PR #6 branch): `Failure { exit_code: 17179869184 }` (= `4 << 32` = `ProgramError::InvalidAccountData` packed), 3255 CU consumed (10 less), PDA has 0 bytes.\\n\\nThe 10-CU shortfall + zero-byte PDA both suggest qedsvm exits *during/around* the CreateAccount CPI itself \u2014 before the post-CPI write path runs.\\n\\n## Minimal repro\\n\\n`tests-qedsvm/tests/slot_height_resolver.rs` in [our janus repo](https://github.com/saicharanpogul/janus), commit `9c08f7d`. Same harness as the #2 repro; same toolchain assumptions.\\n\\n```bash\\ngit clone https://github.com/saicharanpogul/janus\"\n  },\n  {\n    \"id\": \"github-feedback-comment-57e13b29e365a2c7\",\n    \"kind\": \"issue_comment\",\n    \"label\": \"human_feedback_general\",\n    \"polarity\": \"neutral\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/7#issuecomment-4541516882\",\n    \"text\": \"GitHub feedback: human_feedback_general\\nPolarity: neutral\\nKind: issue_comment\\nRepo: QEDGen/qedsvm\\nAuthor: saicharanpogul (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/7#issuecomment-4541516882\\nTitle: \\nBody:\\nClosing as duplicate of #10 (your re-filed version is more specific). Will track the CPI work there.\"\n  }\n]\nChanged files:\n[]\nLinked chain ids:\n[\"evidence-chain-comment_to_commit-c4921f5263703b67\", \"evidence-chain-comment_to_commit-3a2d8ea074713f8b\"]\nSource graph evidence:\nSource evidence repo graph summary\nRepo: QEDGen/q\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-13b7db43d380f153", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300133, "scanner": "foundry_dataset", "fingerprint": "4f7f08c869ac573916dcba2476288a64c0f50bbc0a10d49589b5ed96db961da4", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#6", "human_labels": ["agent_instruction_gap", "deployment_env_gap"], "issue_number": "6", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.67, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-95500992dc94d442", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 10, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision", "high_risk_human_feedback_label"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#6\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision, high_risk_human_feedback_label\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#6\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 2\nLinked commit count: 10\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'agent_instruction_gap': 1, 'deployment_env_gap': 1}\nPolarities: {'bad': 2}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-504295c73c683fba\",\n    \"kind\": \"pull_request_body\",\n    \"label\": \"agent_instruction_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/6\",\n    \"text\": \"GitHub feedback: agent_instruction_gap\\nPolarity: bad\\nKind: pull_request_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/pull/6\\nTitle: Fix BufferParse(InvalidDupIndex) on Pinocchio programs (#2)\\nBody:\\n## Summary\\n\\n- Fixes [#2](https://github.com/QEDGen/qedsvm/issues/2): qedsvm now correctly deserializes the post-execution input buffer for any Pinocchio program, regardless of whether `try_borrow_*` guards are dropped before return.\\n- Confirmed root cause: pinocchio's `RuntimeAccount.borrow_state` overlays the agave `NON_DUP_MARKER` byte; pinocchio's `try_borrow_mut` writes `0`, `try_borrow` decrements, and `Drop` restores \u2014 so the byte can land anywhere on return.\\n- Fix: deserializer recomputes first-occurrence indices from `instruction.accounts` (same logic as the serializer) instead of trusting `dup_info` from the buffer. The dup structure is fully determined by the instruction.\\n- Dropped now-unreachable `DeserializeError::InvalidDupIndex` and unused `Reader::read_u8`.\\n\\n## Why this is the right shape\\n\\nThe serializer at `qedsvm-rs/src/serialize.rs:111-117` already derives dup structure from `instruction.accounts`. Having the deserializer deriv\"\n  },\n  {\n    \"id\": \"github-feedback-comment-1e44b36acd5c007f\",\n    \"kind\": \"issue_comment\",\n    \"label\": \"deployment_env_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/6#issuecomment-4539226412\",\n    \"text\": \"GitHub feedback: deployment_env_gap\\nPolarity: bad\\nKind: issue_comment\\nRepo: QEDGen/qedsvm\\nAuthor: saicharanpogul (User)\\nURL: https://github.com/QEDGen/qedsvm/pull/6#issuecomment-4539226412\\nTitle: \\nBody:\\nPulled the branch, rebuilt Lean side (`lake build` clean) + qedsvm-rs, re-ran our suite against it. Three results, two of them clean confirmations and one a likely-new finding worth a separate look.\\n\\n## Validation result \u2014 fix confirmed on the original repro\\n\\nThe minimal `slot_resolver_resolve` case (single read-only account\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-31b63f74afa2143a", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300132, "scanner": "foundry_dataset", "fingerprint": "a16f378d91f9ba1a803e91ede1342514d0a821e1bb140b67a503c316e1bac028", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#5", "human_labels": ["api_integration_gap"], "issue_number": "5", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "ambiguous_needs_more_evidence", "source_backed": true, "max_confidence": 0.67, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-ed48b5905f9eb648", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision", "high_risk_human_feedback_label"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#5\nOutcome: ambiguous_needs_more_evidence\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision, high_risk_human_feedback_label\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#5\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: ambiguous_needs_more_evidence\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'api_integration_gap': 1}\nPolarities: {'bad': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-5d43ad9c3abdd222\",\n    \"kind\": \"issue_body\",\n    \"label\": \"api_integration_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/5\",\n    \"text\": \"GitHub feedback: api_integration_gap\\nPolarity: bad\\nKind: issue_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/5\\nTitle: Add diff::mollusk_to_qedsvm() converter under diff-mollusk feature\\nBody:\\nReported by @saicharanpogul in #2 (split out as separate issue per request).\\n\\n## Symptom\\n\\nEvery consumer that diff-tests qedsvm against mollusk has to write the same ~6-line conversion from a mollusk account to a qedsvm `AccountSharedData`:\\n\\n```rust\\nlet mut acct = AccountSharedData::default();\\nacct.set_lamports(m.lamports);\\nacct.set_owner(m.owner);\\nacct.set_data_from_slice(&m.data);\\nacct.set_executable(m.executable);\\nacct.set_rent_epoch(m.rent_epoch);\\n```\\n\\n\u2026and they have to import `WritableAccount` from `solana-account` to get the setters, which the type error message doesn't make obvious.\\n\\n## Proposed fix\\n\\nUnder the existing `diff-mollusk` feature, expose:\\n\\n```rust\\npub mod diff {\\n    pub fn mollusk_to_qedsvm(\\n        key: solana_pubkey::Pubkey,\\n        m: &mollusk_account::AccountSharedData, // i.e. the v3.x type\\n    ) -> (solana_pubkey::Pubkey, solana_account::AccountSharedData);\\n\\n    pub fn qedsvm_to_mollusk(\\n        key: solana_pubkey::Pubke\"\n  }\n]\nChanged files:\n[]\nLinked chain ids:\n[\"evidence-chain-comment_to_commit-5ac00247ce0fe418\"]\nSource graph evidence:\nSource evidence repo graph summary\nRepo: QEDGen/qedsvm\nGraph label: source_artifact_without_verification_graph\nNodes: 7\nEdges: 10\nNode types: {\"cooccurrence_profile\": 1, \"github_repo_summary\": 1, \"repo\": 1, \"source_artifact\": 3, \"source_bundle\": 1}\nEdge types: {\"artifact_needs_claim_verification\": 1, \"artifact_supports_design_schema_api\": 2, \"repo_has_cooccurrence_profile\": 1, \"repo_has_github_evidence_summary\": 1, \"repo_has_source_artifact\": 3, \"repo_has_source_bundle\": 1, \"source_bundle_uses_cooccurrence_profile\": 1}\nArtifact families: {\"architecture\": 1, \"designs\": 1, \"docs\": 1}\nHelicopter views: {}\nBundle labels: {\"source_backed_architecture_schema_bundle\": 1}\nC\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-9a0d24891d4f09a0", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300131, "scanner": "foundry_dataset", "fingerprint": "4a82a558bbd8ed568eb08da0f9555fc8a7b601cdeaaf1cccd18dbc7da17855ec", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#42", "human_labels": ["security_auth_secret", "security_or_auth", "source_or_other", "test_or_ci", "ui_or_frontend"], "issue_number": "42", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.812, "repo_full_name": "QEDGen/qedsvm", "training_usage": "gold_candidate", "confidence_tier": "high_confidence", "source_chain_id": "evidence-chain-issue_chain-48509e3d0cbc0d51", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 100, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {"test_or_ci": 41, "ui_or_frontend": 5, "source_or_other": 48, "security_or_auth": 6}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_high_confidence", "high_risk_human_feedback_label"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#42\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_high_confidence, high_risk_human_feedback_label\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#42\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 100\nLabels: {'security_auth_secret': 1}\nPolarities: {'bad': 1}\nChanged file labels: {'source_or_other': 48, 'security_or_auth': 6, 'ui_or_frontend': 5, 'test_or_ci': 41}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-601315d708a53387\",\n    \"kind\": \"pull_request_body\",\n    \"label\": \"security_auth_secret\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/42\",\n    \"text\": \"GitHub feedback: security_auth_secret\\nPolarity: bad\\nKind: pull_request_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/pull/42\\nTitle: Soundness closure: audit L/M-series + H6 syscall region checks + CPI hardening (v0.5.0)\\nBody:\\nCloses the remaining soundness-audit gaps and hardens the lift pipeline. 39 commits; every one is sorry-free and axiom-clean.\\n\\n## Audit closes (TCB-level faithfulness)\\n- **L5 / L3** \u2014 `StateBounded` invariant: every register of every reachable state is a real u64, every memory cell a real byte. Proven through `step` and `executeFn` (foundation \u2192 layer-2 bound lemmas \u2192 preservation, axiom-audited).\\n- **L1** \u2014 typed `VmError` / `State.vmError` fault channel (35 abort sites swept, exitCode unchanged \u2192 zero spec churn).\\n- **M14** \u2014 cross-engine error-code comparison: VM faults collapse to agave's `ProgramFailedToComplete` catch-all, wired into the diff harness.\\n\\n## M-series fixes\\n- **M1** \u2014 fail closed on unresolvable relocation symbols + osabi/e_type gates + CPI-callee reloc guard.\\n- **M4** \u2014 decode-time fail-closed for verifier-rejected instructions.\\n- **M5** \u2014 `lddw` metered as 1 CU (verified non-issue, pinned).\\n- **M9\"\n  }\n]\nChanged files:\n[\n  {\n    \"id\": \"github-pr-file-file-a974590cac18c585\",\n    \"filename\": \"SVM/Ffi.lean\",\n    \"label\": \"source_or_other\",\n    \"status\": \"modified\",\n    \"additions\": 6,\n    \"deletions\": 1,\n    \"changes\": 7,\n    \"blob_url\": \"https://github.com/QEDGen/qedsvm/blob/494a1b97b71ce9c1037acb8b7b9b3e600af218d4/SVM%2FFfi.lean\"\n  },\n  {\n    \"id\": \"github-pr-file-file-ea21c92932e76c50\",\n    \"filename\": \"SVM/SBPF.lean\",\n    \"label\": \"source_or_other\",\n    \"status\": \"modified\",\n    \"additions\": 2,\n    \"deletions\": 0,\n    \"changes\": 2,\n    \"blob_url\": \"https://github.com/QEDGen/qedsvm/blob/494a1b97b71ce9c1037acb8b7b9b3e600af218d4/SVM%2FSBPF.lean\"\n  },\n  {\n    \"id\": \"github-pr-file-file-cc0eefbbfa823f25\",\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-5cd6235e731c479c", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "gold_candidate"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300130, "scanner": "foundry_dataset", "fingerprint": "bfff943c2ccde3353f7868aabf5395189882695f02ae3b806349c557c8c035ad", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#4", "human_labels": ["api_integration_gap"], "issue_number": "4", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "ambiguous_needs_more_evidence", "source_backed": true, "max_confidence": 0.65, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-bea9d6fb39ea2f78", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision", "high_risk_human_feedback_label"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#4\nOutcome: ambiguous_needs_more_evidence\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision, high_risk_human_feedback_label\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#4\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: ambiguous_needs_more_evidence\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'api_integration_gap': 1}\nPolarities: {'bad': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-e0f02fc0a145b186\",\n    \"kind\": \"issue_body\",\n    \"label\": \"api_integration_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/4\",\n    \"text\": \"GitHub feedback: api_integration_gap\\nPolarity: bad\\nKind: issue_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/4\\nTitle: Document solana-account dual-version workaround for downstream diff-test crates\\nBody:\\nReported by @saicharanpogul in #2 (split out as separate issue per request).\\n\\n## Symptom\\n\\nDownstream crates that diff qedsvm against `mollusk-svm` get a dependency-resolution clash:\\n\\n- `qedsvm-rs` uses `solana-account = \\\"4.x\\\"`\\n- `mollusk-svm = \\\"0.12.1-agave-4.0\\\"` internally pins `solana-account = \\\"3.x\\\"`\\n\\nCargo will pull both, and they have the same trait & type names. Direct interop breaks at the type level.\\n\\n## Workaround (the reporter is using)\\n\\nIn the consumer's `Cargo.toml`, alias mollusk's older version as a dev-dep:\\n\\n```toml\\n[dev-dependencies]\\nmollusk-account = { package = \\\"solana-account\\\", version = \\\"3.4.0\\\" }\\n```\\n\\nThis lets the test code construct the right account type per side without a name collision. We do the same in our own `qedsvm-rs/tests/`.\\n\\n## Ask\\n\\nDocument this in the README under a \\\\\\\"Using qedsvm with mollusk\\\\\\\" section so the next diff-test integrator doesn't have to discover the trick by reading our test sources.\"\n  }\n]\nChanged files:\n[]\nLinked chain ids:\n[\"evidence-chain-comment_to_commit-8160de2f981e2154\"]\nSource graph evidence:\nSource evidence repo graph summary\nRepo: QEDGen/qedsvm\nGraph label: source_artifact_without_verification_graph\nNodes: 7\nEdges: 10\nNode types: {\"cooccurrence_profile\": 1, \"github_repo_summary\": 1, \"repo\": 1, \"source_artifact\": 3, \"source_bundle\": 1}\nEdge types: {\"artifact_needs_claim_verification\": 1, \"artifact_supports_design_schema_api\": 2, \"repo_has_cooccurrence_profile\": 1, \"repo_has_github_evidence_summary\": 1, \"repo_has_source_artifact\": 3, \"repo_has_source_bundle\": 1, \"source_bundle_uses_cooccurrence_profile\": 1}\nArtifact families: {\"architecture\": 1, \"designs\": 1, \"docs\": 1}\nHelicopter views: {}\nBundle labels: {\"source_backed_architecture_schema_bund\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-8c5da41e8de05775", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300129, "scanner": "foundry_dataset", "fingerprint": "4257714f4d84ceb26619e5020855a68791527e0aa8e59ae38e8623a60c6f5d64", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#37", "human_labels": ["agent_instruction_gap"], "issue_number": "37", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.8, "repo_full_name": "QEDGen/qedsvm", "training_usage": "gold_candidate", "confidence_tier": "high_confidence", "source_chain_id": "evidence-chain-issue_chain-539d765a9233e0d2", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_high_confidence"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#37\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_high_confidence\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#37\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'agent_instruction_gap': 1}\nPolarities: {'bad': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-42cf1bc09141073b\",\n    \"kind\": \"issue_body\",\n    \"label\": \"agent_instruction_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/37\",\n    \"text\": \"GitHub feedback: agent_instruction_gap\\nPolarity: bad\\nKind: issue_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/37\\nTitle: qedmeta v0.2: emit the sidecar from qedrecover, incl. trace/idiom/const-exit tags\\nBody:\\nThe qedmeta v0.1 spec reserves two extension tables that now have real producers but no sidecar emission:\\n\\n- `[[instruction.tag]]` \u2014 happy/sad-path tags. Produced today by `scripts/capture_trace.sh` + `qedrecover --trace` (#33), emitted as `happyPathBlocks` in the recovered **Lean** metadata only.\\n- `[[instruction.idiom]]` \u2014 idiom tags. Produced by the recogniser (#35, `qedrecover/idioms.rs`), emitted as `idioms` in the Lean metadata only. Also `constExitBlocks` (#34) has no sidecar slot yet.\\n\\nThe v0.2 step: have qedrecover write these into the `qedmeta.toml` sidecar itself (same channel, shapes already sketched in `spec/qedmeta.md` and `tests/fixtures/p_token.qedmeta.toml`), so the sidecar is the single artifact a verifier consumes. Note qedrecover does not yet emit qedmeta.toml at all \u2014 the fixture is hand-shaped \u2014 so this includes the basic sidecar writer.\\n\\nLow urgency: the Lean-metadata channel serves current consumers; thi\"\n  }\n]\nChanged files:\n[]\nLinked chain ids:\n[\"evidence-chain-comment_to_commit-f7a0eb55fa24d0c4\"]\nSource graph evidence:\nSource evidence repo graph summary\nRepo: QEDGen/qedsvm\nGraph label: source_artifact_without_verification_graph\nNodes: 7\nEdges: 10\nNode types: {\"cooccurrence_profile\": 1, \"github_repo_summary\": 1, \"repo\": 1, \"source_artifact\": 3, \"source_bundle\": 1}\nEdge types: {\"artifact_needs_claim_verification\": 1, \"artifact_supports_design_schema_api\": 2, \"repo_has_cooccurrence_profile\": 1, \"repo_has_github_evidence_summary\": 1, \"repo_has_source_artifact\": 3, \"repo_has_source_bundle\": 1, \"source_bundle_uses_cooccurrence_profile\": 1}\nArtifact families: {\"architecture\": 1, \"designs\": 1, \"docs\": 1}\nHelicopter views: {}\nBundle labels: {\"source_backed_architecture_schema_bundle\": 1}\nCo-occurrence labels: {\"security_guardrail_cluster\": 1}", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-1d0f518ed0c27c0e", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "gold_candidate"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300128, "scanner": "foundry_dataset", "fingerprint": "2b37d5ff888f6deb642b820a830e180db0a127b948ffb16afc48389feb14d650", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#32", "human_labels": ["ui_workflow_gap"], "issue_number": "32", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "ambiguous_needs_more_evidence", "source_backed": true, "max_confidence": 0.92, "repo_full_name": "QEDGen/qedsvm", "training_usage": "gold_candidate", "confidence_tier": "high_confidence", "source_chain_id": "evidence-chain-issue_chain-966a8634174e5140", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 10, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_high_confidence"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#32\nOutcome: ambiguous_needs_more_evidence\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_high_confidence\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#32\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: ambiguous_needs_more_evidence\nComment count: 2\nLinked commit count: 10\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'ui_workflow_gap': 2}\nPolarities: {'bad': 2}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-b0579e78d86622b1\",\n    \"kind\": \"issue_body\",\n    \"label\": \"ui_workflow_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/32\",\n    \"text\": \"GitHub feedback: ui_workflow_gap\\nPolarity: bad\\nKind: issue_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/32\\nTitle: WP-track gaps surfaced by the qedgen un-vendoring: Width.bytes in wp_exec, region-coverage discharge, phase-window tactic, conditional r10 lemmas\\nBody:\\nFound while executing the qedgen-side un-vendoring (QEDGen/solana-skills#86). The library tactic surface ported cleanly \u2014 `Tactic/WP.lean` + `Tactic/Base.lean` are byte-identical to what qedgen's proofs were using \u2014 but migrating the example proof corpora surfaced four gaps, in decreasing priority:\\n\\n### 1. `Width.bytes` missing from `wp_exec`'s simp pipeline (validated fix)\\n\\nEvery `ldx`/`st`/`stx` step now evaluates `s.regions.containsRange addr w.bytes`. `Width.bytes` is a plain def \u2014 not `@[simp]`, not in the `wp_exec` macro's dsimp list \u2014 so `Width.dword.bytes` never reduces to `8`, region-coverage hypotheses (`rt.containsRange addr 8 = true`) never match, the `if` never resolves, and the proof stalls until the `rfl` fallback whnf-explodes into a heartbeat timeout (observed: 178-instruction program, 800k heartbeats).\\n\\nWorkaround validated on four migrated programs (11\"\n  },\n  {\n    \"id\": \"github-feedback-comment-4710ae54eb40f7f1\",\n    \"kind\": \"issue_comment\",\n    \"label\": \"ui_workflow_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/32#issuecomment-4666559656\",\n    \"text\": \"GitHub feedback: ui_workflow_gap\\nPolarity: bad\\nKind: issue_comment\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/32#issuecomment-4666559656\\nTitle: \\nBody:\\nAll four items are now upstream:\\n\\n1. **`Width.bytes` in the dsimp pipeline** \u2014 #36 (`e033a0a`), with the symbolic-region-table regression theorem pinning it at a low heartbeat budget.\\n2. **`region_covers`** \u2014 #38: mechanical discharge for concrete-table coverage (`simp`-unfold the fold, `decide_eq_true_eq`, `omega`); the bracket form unfolds table defs + address constants `at *` so bounds hypotheses\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-5123b7386dce5f6a", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "gold_candidate"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300127, "scanner": "foundry_dataset", "fingerprint": "97354ffa2554169ddd808b1bb105e06f0edda36ac5a46237a3fc0d752d49c843", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#26", "human_labels": ["docs_or_claims", "security_auth_secret", "security_or_auth", "source_or_other", "ui_or_frontend"], "issue_number": "26", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.92, "repo_full_name": "QEDGen/qedsvm", "training_usage": "gold_candidate", "confidence_tier": "high_confidence", "source_chain_id": "evidence-chain-issue_chain-64d4f3c6e2e2b8d6", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 17, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {"docs_or_claims": 1, "ui_or_frontend": 1, "source_or_other": 9, "security_or_auth": 6}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_high_confidence", "high_risk_human_feedback_label"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#26\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_high_confidence, high_risk_human_feedback_label\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#26\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 17\nLabels: {'security_auth_secret': 1}\nPolarities: {'bad': 1}\nChanged file labels: {'source_or_other': 9, 'docs_or_claims': 1, 'security_or_auth': 6, 'ui_or_frontend': 1}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-739ac9107698c6c8\",\n    \"kind\": \"pull_request_body\",\n    \"label\": \"security_auth_secret\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/26\",\n    \"text\": \"GitHub feedback: security_auth_secret\\nPolarity: bad\\nKind: pull_request_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/pull/26\\nTitle: qedsvm: retire the MIR pilot, converge token/mint codegen on qedsvm_discharge (#25)\\nBody:\\nCloses the unblocked half of #25. Retires the Direction-A MIR abstract layer now that the `qedsvm_discharge` route exists (#24), and repoints the token/mint refinement codegen + generated examples at the layout-general field-list obligation.\\n\\n## Library\\n- **New `SVM/Solana/MintFieldCodec.lean`** \u2014 the mint-side convergence keystone (`mintFields`, `mintSupply_codec`, `u64FieldAt_mintFields`, `mint_ensures_credit/debit`), mirroring `TokenFieldCodec.lean` so MintTo/Burn (supply field @36) converge too.\\n- **Pruned the MIR layer** \u2014 deleted `SVM/Solana/Mir.lean` + `SVM/Solana/Abstract/Triples.lean`; stripped the intrinsic bundling structures (`TokenTransferRefinement` etc.) and the `runMir`-based `tokenTransfer_correct`. **Kept** the `AsmRefinesToken*`/`AsmRefinesCounterIncrement`/`AsmRefinesFieldUpdate` asm predicates as the bridging input (see gate below) and the `AbstractState` Layer-0 vocabulary.\\n\\n## Codegen (`qedlift.rs`)\"\n  }\n]\nChanged files:\n[\n  {\n    \"id\": \"github-pr-file-file-9bbefeab31c03332\",\n    \"filename\": \"SVM/Solana.lean\",\n    \"label\": \"source_or_other\",\n    \"status\": \"modified\",\n    \"additions\": 2,\n    \"deletions\": 1,\n    \"changes\": 3,\n    \"blob_url\": \"https://github.com/QEDGen/qedsvm/blob/e47eeacec9543056e494a5a42c93cd4c17b5f4e7/SVM%2FSolana.lean\"\n  },\n  {\n    \"id\": \"github-pr-file-file-d37eb1bb3035bf32\",\n    \"filename\": \"SVM/Solana/Abstract.lean\",\n    \"label\": \"source_or_other\",\n    \"status\": \"modified\",\n    \"additions\": 0,\n    \"deletions\": 1,\n    \"changes\": 1,\n    \"blob_url\": \"https://github.com/QEDGen/qedsvm/blob/e47eeacec9543056e494a5a42c93cd4c17b5f4e7/SVM%2FSolana%2FAbstract.lean\"\n  },\n  {\n    \"id\": \"github-pr-file-fi\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-00773fc1fd0b1612", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "gold_candidate"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300126, "scanner": "foundry_dataset", "fingerprint": "8bfdbe9a65207516e9f3cc07c238dbb15a56aaa23fe0b90883f618d8354f764b", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#25", "human_labels": ["security_auth_secret"], "issue_number": "25", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.67, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-94eaa1c3761b5d78", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 25, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision", "high_risk_human_feedback_label"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#25\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision, high_risk_human_feedback_label\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#25\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 5\nLinked commit count: 25\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'security_auth_secret': 5}\nPolarities: {'bad': 5}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-cceef1000e5bdf76\",\n    \"kind\": \"issue_body\",\n    \"label\": \"security_auth_secret\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/25\",\n    \"text\": \"GitHub feedback: security_auth_secret\\nPolarity: bad\\nKind: issue_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/25\\nTitle: Retire the MIR pilot: migrate codegen + examples to qedsvm_discharge, delete Mir/Triples/AsmRefinesToken*\\nBody:\\n## Summary\\n\\nRetire the MIR pilot now that the `qedsvm_discharge` route exists (delivered in #24). Repoint the lift codegen and the example refinements at the discharge route, then delete `SVM/Solana/Mir.lean`, `SVM/Solana/Abstract/Triples.lean`, and collapse the `AsmRefinesToken*` family. This is the \\\"retire\\\" half of #24, split out because it is a migration, not the keystone.\\n\\n## Why this is now unblocked\\n\\n#24 delivered the discharge mechanism end-to-end: the `qedsvm_discharge` tactic (`SVM/SBPF/Tactic/Discharge.lean`), the field-list accessor projection (`u64FieldAt` / `u64FieldAt_found`), and the convergence keystone that turns a token obligation into a field-list obligation (`tokenAcctBalance_codec`). Both account shapes (vault `AsmRefinesFieldUpdate`, token `AsmRefinesTokenTransfer`) reach qedgen's parametric `ensures` through the same projection. So the abstract MIR domain is no longer load-bearing f\"\n  },\n  {\n    \"id\": \"github-feedback-comment-2d5cf3883c89f9d9\",\n    \"kind\": \"issue_comment\",\n    \"label\": \"security_auth_secret\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/25#issuecomment-4637841561\",\n    \"text\": \"GitHub feedback: security_auth_secret\\nPolarity: bad\\nKind: issue_comment\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/25#issuecomment-4637841561\\nTitle: \\nBody:\\nStarted: the discharge is now mechanically emitted by the codegen (additive, non-breaking).\\n\\nEvery field-update lift emits, alongside `refines_asm`, a `<Module>Refinement.ensures` theorem stating qedgen's accessor shift (`u64FieldAt off post = u64FieldAt off pre \u00b1 delta`) over the decoded field list, proved by the library `qedsvm_discharge` tactic. `\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-9e7814fc0e3037ff", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300125, "scanner": "foundry_dataset", "fingerprint": "acc1b1318859c5b91122ab28c245244940f636fd97f2972e493c5c313fabbb24", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#24", "human_labels": ["human_feedback_general", "security_auth_secret", "ui_workflow_gap"], "issue_number": "24", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.67, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-0be4c83ee23a2013", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 25, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision", "high_risk_human_feedback_label"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#24\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision, high_risk_human_feedback_label\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#24\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 6\nLinked commit count: 25\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'security_auth_secret': 4, 'human_feedback_general': 1, 'ui_workflow_gap': 1}\nPolarities: {'bad': 5, 'neutral': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-094b82801afa7b4a\",\n    \"kind\": \"issue_body\",\n    \"label\": \"security_auth_secret\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/24\",\n    \"text\": \"GitHub feedback: security_auth_secret\\nPolarity: bad\\nKind: issue_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/24\\nTitle: Retire the Lean MIR domain; discharge qedgen's parametric obligations directly\\nBody:\\n## Summary\\n\\nRetire qedsvm's hand-built abstract program domain (`SVM/Solana/Abstract/{State,Mir,Triples}` plus the per-intrinsic `AsmRefinesToken*` family) and replace it with a `qedsvm_discharge` tactic that proves qedgen's already-parametric obligations against pinned bytecode.\\n\\nThe abstract domain is generated for free by qedgen from a `.qedspec`, in a form strictly more general than qedsvm's MIR. Full write-up: [`docs/abstract-domain-direction.md`](https://github.com/QEDGen/qedsvm/blob/main/docs/abstract-domain-direction.md).\\n\\n## Evidence\\n\\nqedgen's generated SPL proof package states the transfer contract **parametrically** (`solana-skills: crates/qedgen/data/proofs/spl/Token.lean`):\\n\\n```lean\\naxiom ensures_axiom_0 {State : Type} [Inhabited State]\\n    (pre post : State) (amount : Nat) (from_balance : State \u2192 Nat) :\\n  (from_balance post) = (from_balance pre) - amount\\n```\\n\\nOne uniform schema, `accessor post = accessor pre \u00b1 amount`\"\n  },\n  {\n    \"id\": \"github-feedback-comment-f85f9e82ce1d9dc3\",\n    \"kind\": \"issue_comment\",\n    \"label\": \"human_feedback_general\",\n    \"polarity\": \"neutral\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/24#issuecomment-4637570512\",\n    \"text\": \"GitHub feedback: human_feedback_general\\nPolarity: neutral\\nKind: issue_comment\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/24#issuecomment-4637570512\\nTitle: \\nBody:\\nqedgen-side counterpart (finish the extraction): QEDGen/solana-skills#86\"\n  },\n  {\n    \"id\": \"github-feedback-comment-41216d74368c835f\",\n    \"kind\": \"issue_comment\",\n    \"label\": \"ui_workflow_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/iss\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-74686c39c9452424", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300124, "scanner": "foundry_dataset", "fingerprint": "6c5b6ee52a5dc8db7c4801d74b42a50374ae0e2c1a483426ef4dc3c9e8b37c48", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#23", "human_labels": ["human_feedback_general", "security_auth_secret"], "issue_number": "23", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.99, "repo_full_name": "QEDGen/qedsvm", "training_usage": "gold_candidate", "confidence_tier": "high_confidence", "source_chain_id": "evidence-chain-issue_chain-ca91ccfc5d61c978", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 7, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_high_confidence", "high_risk_human_feedback_label"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#23\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_high_confidence, high_risk_human_feedback_label\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#23\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 2\nLinked commit count: 7\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'security_auth_secret': 1, 'human_feedback_general': 1}\nPolarities: {'bad': 1, 'neutral': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-aba26ef99cac504e\",\n    \"kind\": \"issue_body\",\n    \"label\": \"security_auth_secret\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/23\",\n    \"text\": \"GitHub feedback: security_auth_secret\\nPolarity: bad\\nKind: issue_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/23\\nTitle: Publish a stable Lean package surface (both binary-proof engines) to unblock un-vendoring\\nBody:\\n## Summary\\n\\nPublish a stable, versioned Lean package surface for qedsvm so that qedgen (QEDGen/solana-skills) can `require` it via lake instead of vendoring a copy. This is the gate that unblocks finishing the qedsvm-from-qedgen extraction.\\n\\n## Why\\n\\nqedsvm was extracted from qedgen, but the extraction is incomplete: qedgen still carries a vendored copy of qedsvm's sBPF core at `lean_solana/QEDGen/Solana/SBPF/` (the `ISA.lean` headers are byte-identical), pinned \\\"until qedsvm tags stable.\\\" Until there is a versioned package surface to depend on, vendoring is the pragmatic choice; after it, the copy is pure debt and a drift risk.\\n\\n## What the public surface should expose\\n\\nqedsvm owns the sBPF semantics and every engine that proves things about the binary. There are two such engines today, and both should be importable library API, not forked:\\n\\n- SL / lift engine: `sl_block_auto`, `cuTripleWithinMem`, the decode + `CodeReq`\"\n  },\n  {\n    \"id\": \"github-feedback-comment-8ce5a56c659e75ec\",\n    \"kind\": \"issue_comment\",\n    \"label\": \"human_feedback_general\",\n    \"polarity\": \"neutral\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/23#issuecomment-4637570460\",\n    \"text\": \"GitHub feedback: human_feedback_general\\nPolarity: neutral\\nKind: issue_comment\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/23#issuecomment-4637570460\\nTitle: \\nBody:\\nqedgen-side counterpart (finish the extraction, un-vendor + import this surface): QEDGen/solana-skills#86\"\n  }\n]\nChanged files:\n[]\nLinked chain ids:\n[\"evidence-chain-comment_to_commit-62fb32167332a72e\", \"evidence-chain-comment_to_commit-a393e291359f169a\"]\nSource graph evidence:\nSource evidence\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-f816b21a66207308", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "gold_candidate"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300123, "scanner": "foundry_dataset", "fingerprint": "e8620b73048989dc1266482d4058b6fdaf6fede142984c755066ca868d019123", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#22", "human_labels": ["agent_instruction_gap", "security_or_auth", "source_or_other", "test_or_ci", "ui_or_frontend"], "issue_number": "22", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.67, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-2fd507366aac2f55", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 70, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {"test_or_ci": 27, "ui_or_frontend": 2, "source_or_other": 28, "security_or_auth": 13}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#22\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#22\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 70\nLabels: {'agent_instruction_gap': 1}\nPolarities: {'bad': 1}\nChanged file labels: {'source_or_other': 28, 'security_or_auth': 13, 'test_or_ci': 27, 'ui_or_frontend': 2}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-1f497a7531c47917\",\n    \"kind\": \"pull_request_body\",\n    \"label\": \"agent_instruction_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/22\",\n    \"text\": \"GitHub feedback: agent_instruction_gap\\nPolarity: bad\\nKind: pull_request_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/pull/22\\nTitle: qedlift: IDL-driven .so \u2192 Lean lifter, refinement chain, full opcode coverage\\nBody:\\n## What this branch does\\n\\nEnd-to-end **qedlift**: a tool that lifts compiled Solana `.so` bytecode into machine-checked Lean Hoare triples (`cuTripleWithinMem`), plus the separation-logic library and refinement theorems that turn those lifts into `asm-refines-intrinsic` proofs.\\n\\n### qedlift (`qedsvm-rs/src/bin/qedlift.rs`)\\n- Symbolic executor over decoded sBPF, emitting `sl_block_iter`/`sl_block_auto` proofs.\\n- `--trace` mode: TRACE_STEPS-guided lifting of real happy paths (sidesteps phantom static-walk loops).\\n- **Full ISA opcode coverage** of the walker: complete 32/64-bit ALU (incl. div/mod side-conditions, arsh), all conditional jumps, sub-dword loads/stores, `call_local` + nested exit frames.\\n- Syscalls: `sol_memset_`, `sol_get_sysvar`, `sol_log_`, and **CPI invoke** (`sol_invoke_signed{,_c}`, modelled at the SVM's documented effect-free `Cpi.exec` level \u2014 see the spec doc comments).\\n- IDL-driven batch mode (Codama), per-\"\n  }\n]\nChanged files:\n[\n  {\n    \"id\": \"github-pr-file-file-9e7219d413bb2563\",\n    \"filename\": \"SVM/SBPF/AccountCodec.lean\",\n    \"label\": \"source_or_other\",\n    \"status\": \"added\",\n    \"additions\": 128,\n    \"deletions\": 0,\n    \"changes\": 128,\n    \"blob_url\": \"https://github.com/QEDGen/qedsvm/blob/83927c05081a6d1a5d1d7246a78ae6f6ce3a55ac/SVM%2FSBPF%2FAccountCodec.lean\"\n  },\n  {\n    \"id\": \"github-pr-file-file-70f723de518853f8\",\n    \"filename\": \"SVM/SBPF/InstructionSpecs/Jump.lean\",\n    \"label\": \"source_or_other\",\n    \"status\": \"modified\",\n    \"additions\": 406,\n    \"deletions\": 0,\n    \"changes\": 406,\n    \"blob_url\": \"https://github.com/QEDGen/qedsvm/blob/83927c05081a6d1a5d1d7246a78ae6f6ce3a55ac/SVM%2FSBPF%2FInstructionSpecs%2FJump.lean\"\n  },\n  {\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-6dcd304dcdd055ba", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300122, "scanner": "foundry_dataset", "fingerprint": "aabe43a69f60672cca2b3bb8ffa01276ba62c3bdf103cbb0498074e53feb320d", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#15", "human_labels": ["agent_instruction_gap"], "issue_number": "15", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.65, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-906d64102a33f853", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#15\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#15\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'agent_instruction_gap': 1}\nPolarities: {'bad': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-14ab01e73747008d\",\n    \"kind\": \"pull_request_body\",\n    \"label\": \"agent_instruction_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/15\",\n    \"text\": \"GitHub feedback: agent_instruction_gap\\nPolarity: bad\\nKind: pull_request_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/pull/15\\nTitle: README: document solana-account dual-version diff-test pattern (#4)\\nBody:\\n## Summary\\n\\n- Closes [#4](https://github.com/QEDGen/qedsvm/issues/4): adds a \\\"Diff-test crates: handling the `solana-account` version split\\\" subsection under the existing \\\"From Rust\\\" section in the README.\\n- Shows both the dev-dep alias pattern and the new `qedsvm::diff::{mollusk_to_qedsvm, qedsvm_to_mollusk}` converters from #14 / #5, so the next diff-test integrator doesn't have to spelunk through our test sources to figure out the trick.\\n- Links to the Janus harness as a complete working example (the same harness that surfaced #2, #9, #10, and #5 in the first place).\\n\\n## Why now\\n\\n#14 / #5 just landed the `qedsvm::diff::*` converters. Before this PR, the helpers existed but the only way to discover them was reading `qedsvm-rs/src/diff.rs` directly. This snippet shows the canonical use side-by-side with the Cargo.toml alias pattern they pair with.\\n\\n## Test plan\\n\\n- [x] Manually reviewed the rendered Markdown\\n- [x] All referenced symbols\"\n  }\n]\nChanged files:\n[]\nLinked chain ids:\n[\"evidence-chain-comment_to_commit-45cb2a45536e6506\"]\nSource graph evidence:\nSource evidence repo graph summary\nRepo: QEDGen/qedsvm\nGraph label: source_artifact_without_verification_graph\nNodes: 7\nEdges: 10\nNode types: {\"cooccurrence_profile\": 1, \"github_repo_summary\": 1, \"repo\": 1, \"source_artifact\": 3, \"source_bundle\": 1}\nEdge types: {\"artifact_needs_claim_verification\": 1, \"artifact_supports_design_schema_api\": 2, \"repo_has_cooccurrence_profile\": 1, \"repo_has_github_evidence_summary\": 1, \"repo_has_source_artifact\": 3, \"repo_has_source_bundle\": 1, \"source_bundle_uses_cooccurrence_profile\": 1}\nArtifact families: {\"architecture\": 1, \"designs\": 1, \"docs\": 1}\nHelicopter views: {}\nBundle labels: {\"source_backed_architecture_schema_bundle\": 1}\nCo-occurrence labels: {\"security_guardrail_cluster\": 1}", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-83003281589d2711", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300121, "scanner": "foundry_dataset", "fingerprint": "2125c4aae3b3340824479e9a6e3175ea2038ec2900a2082b9a78a43bb87e2337", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#14", "human_labels": ["agent_instruction_gap"], "issue_number": "14", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.65, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-b18b83edcb6f39cb", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#14\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#14\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'agent_instruction_gap': 1}\nPolarities: {'bad': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-45835916bfbd47e3\",\n    \"kind\": \"pull_request_body\",\n    \"label\": \"agent_instruction_gap\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/14\",\n    \"text\": \"GitHub feedback: agent_instruction_gap\\nPolarity: bad\\nKind: pull_request_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/pull/14\\nTitle: diff: mollusk_to_qedsvm + qedsvm_to_mollusk converters (#5)\\nBody:\\nRebased version of @saicharanpogul's #8 (which became unmergeable when #12 and #13 landed). All implementation by @saicharanpogul; this PR is just the Cargo.lock merge resolution so the work can ship cleanly.\\n\\nCloses #8 in spirit and closes #5.\\n\\n## What's included\\n\\nThe reporter delivered everything #5's acceptance asked for:\\n\\n**`mollusk \u2192 qedsvm` direction**\\n- `qedsvm::diff::mollusk_to_qedsvm(&[(Pubkey, mollusk_account::Account)])`\\n- `qedsvm::diff::mollusk_account_to_shared(&mollusk_account::Account)`\\n\\n**`qedsvm \u2192 mollusk` direction** (the reciprocal I asked for in the review)\\n- `qedsvm::diff::qedsvm_to_mollusk(&[(Pubkey, AccountSharedData)])`\\n- `qedsvm::diff::shared_to_mollusk_account(&AccountSharedData)`\\n\\n**Tests (4 total)**\\n- `round_trip_preserves_fields` \u2014 every primitive field through\\n- `owner_byte_layout_preserved` \u2014 Pubkey bytes across the version boundary\\n- `vec_conversion_preserves_order_and_keys`\\n- `round_trip_mollusk_qedsvm_mollusk` \"\n  }\n]\nChanged files:\n[]\nLinked chain ids:\n[\"evidence-chain-comment_to_commit-39a7e880d9031262\"]\nSource graph evidence:\nSource evidence repo graph summary\nRepo: QEDGen/qedsvm\nGraph label: source_artifact_without_verification_graph\nNodes: 7\nEdges: 10\nNode types: {\"cooccurrence_profile\": 1, \"github_repo_summary\": 1, \"repo\": 1, \"source_artifact\": 3, \"source_bundle\": 1}\nEdge types: {\"artifact_needs_claim_verification\": 1, \"artifact_supports_design_schema_api\": 2, \"repo_has_cooccurrence_profile\": 1, \"repo_has_github_evidence_summary\": 1, \"repo_has_source_artifact\": 3, \"repo_has_source_bundle\": 1, \"source_bundle_uses_cooccurrence_profile\": 1}\nArtifact families: {\"architecture\": 1, \"designs\": 1, \"docs\": 1}\nHelicopter views: {}\nBundle labels: {\"source_backed_architecture_schema_bundle\": 1}\nCo-occurrence labels: {\"security_guardrail_cluster\": 1}", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-df9326aad0f87018", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300120, "scanner": "foundry_dataset", "fingerprint": "2a6d911d1a9aad131f09efb9921f8528b0e44be0db46912696683330617d99e7", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#13", "human_labels": ["security_auth_secret"], "issue_number": "13", "thread_label": "thread_has_human_issue_and_fix_context", "outcome_label": "claimed_resolved_unverified", "source_backed": true, "max_confidence": 0.67, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-7bbc7935c23e20b6", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision", "high_risk_human_feedback_label"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#13\nOutcome: claimed_resolved_unverified\nThread label: thread_has_human_issue_and_fix_context\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision, high_risk_human_feedback_label\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#13\nRepo: QEDGen/qedsvm\nThread label: thread_has_human_issue_and_fix_context\nOutcome: claimed_resolved_unverified\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'security_auth_secret': 1}\nPolarities: {'bad': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-58ac848cd7e3dc5e\",\n    \"kind\": \"pull_request_body\",\n    \"label\": \"security_auth_secret\",\n    \"polarity\": \"bad\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/13\",\n    \"text\": \"GitHub feedback: security_auth_secret\\nPolarity: bad\\nKind: pull_request_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/pull/13\\nTitle: CPI: parse CpiAccount layout for sol_invoke_signed_c (#10)\\nBody:\\n## Summary\\n\\n- Closes [#10](https://github.com/QEDGen/qedsvm/issues/10): Pinocchio programs that issue System Program CPIs via `invoke_signed` with a PDA-target now succeed end-to-end against mollusk's byte+CU.\\n- Root cause: the CPI dispatcher was hardcoded to the Rust-ABI `AccountInfo` layout (48-byte stride, `Rc<RefCell<...>>` lamports/data); `sol_invoke_signed_c` callers (Pinocchio, `solana-instruction-view`) pass C-shape `CpiAccount` (56-byte stride, direct pointers, inline `data_len`). Reading the wrong layout silently produces garbage `is_signer`, which broke PDA promotion before it could fire.\\n- Fix is one new parser + a two-line dispatch branch. `ParsedAcct` shape is unchanged so all downstream code (Native dispatch, signer promotion, write-back) is untouched.\\n\\n## Why the existing synthetic test passed but #10 fired\\n\\nThe synthetic `system_create_account_cpi_matches_mollusk` uses Rust-ABI `invoke_signed` (AccountInfo) and gives the new acco\"\n  }\n]\nChanged files:\n[]\nLinked chain ids:\n[\"evidence-chain-comment_to_commit-89454fc780f9d957\"]\nSource graph evidence:\nSource evidence repo graph summary\nRepo: QEDGen/qedsvm\nGraph label: source_artifact_without_verification_graph\nNodes: 7\nEdges: 10\nNode types: {\"cooccurrence_profile\": 1, \"github_repo_summary\": 1, \"repo\": 1, \"source_artifact\": 3, \"source_bundle\": 1}\nEdge types: {\"artifact_needs_claim_verification\": 1, \"artifact_supports_design_schema_api\": 2, \"repo_has_cooccurrence_profile\": 1, \"repo_has_github_evidence_summary\": 1, \"repo_has_source_artifact\": 3, \"repo_has_source_bundle\": 1, \"source_bundle_uses_cooccurrence_profile\": 1}\nArtifact families: {\"architecture\": 1, \"designs\": 1, \"docs\": 1}\nHelicopter views: {}\nBundle labels: {\"source_backed_architecture_schema_bundle\": 1}\nCo-occurrence la\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-66838306e2efe3cf", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300119, "scanner": "foundry_dataset", "fingerprint": "a2e4f1a2aad135106cc827d36bb238a34efb79fe40c843f32788087c0851084a", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#10", "human_labels": ["human_feedback_general"], "issue_number": "10", "thread_label": "thread_needs_classification", "outcome_label": "ambiguous_needs_more_evidence", "source_backed": true, "max_confidence": 0.67, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-98d8befb30b0ccc4", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 0, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {}, "linked_commit_count": 5, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#10\nOutcome: ambiguous_needs_more_evidence\nThread label: thread_needs_classification\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#10\nRepo: QEDGen/qedsvm\nThread label: thread_needs_classification\nOutcome: ambiguous_needs_more_evidence\nComment count: 1\nLinked commit count: 5\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 0\nLabels: {'human_feedback_general': 1}\nPolarities: {'neutral': 1}\nChanged file labels: {}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-eed6d79c582fb628\",\n    \"kind\": \"issue_body\",\n    \"label\": \"human_feedback_general\",\n    \"polarity\": \"neutral\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/issues/10\",\n    \"text\": \"GitHub feedback: human_feedback_general\\nPolarity: neutral\\nKind: issue_body\\nRepo: QEDGen/qedsvm\\nAuthor: abishekk92 (User)\\nURL: https://github.com/QEDGen/qedsvm/issues/10\\nTitle: System Program CreateAccount CPI: divergence with mollusk in slot_height_resolver::diff_initialize\\nBody:\\nSurfaced while empirically verifying the #2 fix against deployed Pinocchio 0.8 binaries. Distinct from #2 (deserialize) and #9 (error encoding) \u2014 this is a semantic divergence in the System Program CPI path.\\n\\n## Symptom\\n\\n`janus_slot_height_resolver::Initialize` issues a single CPI to `SystemProgram::CreateAccount` to allocate its 48-byte state account. Against the devnet-deployed binary:\\n\\n```\\nmollusk: Success                              cu=3265  accounts=4  account[1].data=48B\\nqedsvm:  Failure { exit_code: 17179869184 }   cu=3255  accounts=4  account[1].data=0B\\n```\\n\\n- **Status diverges**: mollusk Success, qedsvm Failure with `4 << 32` (`ProgramError::InvalidAccountData`, see #9 for the encoding).\\n- **CU diverges by 10**: qedsvm consumed 10 fewer units, consistent with hitting the failure inside the CPI and aborting early.\\n- **Post-state diverges**: account[1].data is 48 bytes (the freshly-allocated state \"\n  }\n]\nChanged files:\n[]\nLinked chain ids:\n[\"evidence-chain-comment_to_commit-2791e16974c948fa\"]\nSource graph evidence:\nSource evidence repo graph summary\nRepo: QEDGen/qedsvm\nGraph label: source_artifact_without_verification_graph\nNodes: 7\nEdges: 10\nNode types: {\"cooccurrence_profile\": 1, \"github_repo_summary\": 1, \"repo\": 1, \"source_artifact\": 3, \"source_bundle\": 1}\nEdge types: {\"artifact_needs_claim_verification\": 1, \"artifact_supports_design_schema_api\": 2, \"repo_has_cooccurrence_profile\": 1, \"repo_has_github_evidence_summary\": 1, \"repo_has_source_artifact\": 3, \"repo_has_source_bundle\": 1, \"source_bundle_uses_cooccurrence_profile\": 1}\nArtifact families: {\"architecture\": 1, \"designs\": 1, \"docs\": 1}\nHelicopter views: {}\nBundle labels: {\"source_backed_architecture_schema_bundle\": 1}\nCo-occurrence labels: {\"security_guardrail_cluster\": 1}", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-2b7a7ee9be7589da", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_assumption_check", "level": "warning", "message": {"text": "Foundry mined assumption checks: QEDGen/qedsvm"}, "properties": {"repobilityId": 300118, "scanner": "foundry_dataset", "fingerprint": "ce1a0c6ef99b914950dcb3a5c661e85772279cef81c940f4055d9a6a791fe31c", "category": "practices", "severity": "medium", "confidence": 0.62, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "comment_chain_pattern_product", "source": "comment_chain_pattern_miner", "product": "assumption_checks", "synthetic": false, "thread_key": "QEDGen/qedsvm#1", "human_labels": ["human_feedback_general", "source_or_other"], "issue_number": "1", "thread_label": "thread_needs_classification", "outcome_label": "ambiguous_needs_more_evidence", "source_backed": true, "max_confidence": 0.59, "repo_full_name": "QEDGen/qedsvm", "training_usage": "weak_supervision", "confidence_tier": "weak_supervision", "source_chain_id": "evidence-chain-issue_chain-ccff60fb954de052", "helicopter_views": {}, "artifact_families": {"docs": 1, "designs": 1, "architecture": 1}, "source_chain_kind": "issue_chain", "changed_file_count": 1, "source_graph_label": "source_artifact_without_verification_graph", "changed_file_labels": {"source_or_other": 1}, "linked_commit_count": 1, "helicopter_view_count": 0, "source_artifact_count": 3, "classification_reasons": ["source_graph_has_real_artifacts", "link_quality_weak_supervision"], "linked_ci_commit_count": 0, "verification_artifact_count": 0, "design_schema_api_artifact_count": 2}, "text": "Comment chain pattern product: assumption_checks\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#1\nOutcome: ambiguous_needs_more_evidence\nThread label: thread_needs_classification\nSource graph label: source_artifact_without_verification_graph\nReasons: source_graph_has_real_artifacts, link_quality_weak_supervision\nChain evidence:\nIssue/PR evidence chain: QEDGen/qedsvm#1\nRepo: QEDGen/qedsvm\nThread label: thread_needs_classification\nOutcome: ambiguous_needs_more_evidence\nComment count: 2\nLinked commit count: 1\nLinked CI commit count: 0\nLinked CI labels: {}\nChanged file count: 1\nLabels: {'human_feedback_general': 2}\nPolarities: {'neutral': 2}\nChanged file labels: {'source_or_other': 1}\nExamples:\n[\n  {\n    \"id\": \"github-feedback-comment-057a379f43734a5b\",\n    \"kind\": \"pull_request_body\",\n    \"label\": \"human_feedback_general\",\n    \"polarity\": \"neutral\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/1\",\n    \"text\": \"GitHub feedback: human_feedback_general\\nPolarity: neutral\\nKind: pull_request_body\\nRepo: QEDGen/qedsvm\\nAuthor: dependabot[bot] (Bot)\\nURL: https://github.com/QEDGen/qedsvm/pull/1\\nTitle: build(deps): bump openssl from 0.10.79 to 0.10.80 in /qedsvm-rs\\nBody:\\nBumps [openssl](https://github.com/rust-openssl/rust-openssl) from 0.10.79 to 0.10.80.\\n<details>\\n<summary>Release notes</summary>\\n<p><em>Sourced from <a href=\\\"https://github.com/rust-openssl/rust-openssl/releases\\\">openssl's releases</a>.</em></p>\\n<blockquote>\\n<h2>openssl-v0.10.80</h2>\\n<h2>What's Changed</h2>\\n<ul>\\n<li>Prefer Homebrew openssl@4 and stop looking for openssl@1.1 by <a href=\\\"https://github.com/alex\\\"><code>@\u200balex</code></a> in <a href=\\\"https://redirect.github.com/rust-openssl/rust-openssl/pull/2633\\\">rust-openssl/rust-openssl#2633</a></li>\\n<li>Fix output buffer overflow in cipher_update_inplace for AES key-wrap-with-padding by <a href=\\\"https://github.com/alex\\\"><code>@\u200balex</code></a> in <a href=\\\"https://redirect.github.com/rust-openssl/rust-openssl/pull/2638\\\">rust-openssl/rust-openssl#2638</a></li>\\n<li>Release openssl 0.10.80 and openssl-sys 0.9.116 by <a href=\\\"https://github.com/alex\\\"><code>@\u200balex</code></a> in <a href=\\\"h\"\n  },\n  {\n    \"id\": \"github-feedback-comment-79120d277388a525\",\n    \"kind\": \"issue_comment\",\n    \"label\": \"human_feedback_general\",\n    \"polarity\": \"neutral\",\n    \"url\": \"https://github.com/QEDGen/qedsvm/pull/1#issuecomment-4599186814\",\n    \"text\": \"GitHub feedback: human_feedback_general\\nPolarity: neutral\\nKind: issue_comment\\nRepo: QEDGen/qedsvm\\nAuthor: dependabot[bot] (Bot)\\nURL: https://github.com/QEDGen/qedsvm/pull/1#issuecomment-4599186814\\nTitle: \\nBody:\\nLooks like openssl is up-to-date now, so this is no longer needed.\"\n  }\n]\nChanged files:\n[\n  {\n    \"id\": \"github-pr-file-file-0baf63f16e245615\",\n    \"filename\": \"qedsvm-rs/Cargo.lock\",\n    \"label\": \"source_or_other\",\n    \"status\": \"modified\",\n    \"additions\": 4,\n    \"deletions\": 4,\n    \"changes\": 8,\n    \"blob_url\": \"https://github.com/QEDGen/qe\n[truncated by importer]", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "comment-chain-pattern-assumption_checks-29c3e02eb638871b", "synthetic": false, "gold_label": "", "graph_label": "source_artifact_without_verification_graph", "source_path": "/data/distillate/foundry_data/comment_chain_patterns/assumption_checks/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "comment_chain_patterns/assumption_checks", "training_usage": "weak_supervision"}}}, {"ruleId": "foundry_test_ci_gap", "level": "error", "message": {"text": "Foundry mined test ci gap after feedback: QEDGen/qedsvm"}, "properties": {"repobilityId": 336228, "scanner": "foundry_dataset", "fingerprint": "2cac3e89a79ba712ffc1e63f0bd7ab9c5f321b186a9a9eb830102c50004c8f00", "category": "testing", "severity": "high", "confidence": 0.78, "triageState": "open", "verdict": "confirmed", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Feedback exposes missing tests or CI", "intent": "Hard negatives for feedback/fix chains without adequate guardrails.", "labels": {"bug_fix": 1, "test_ci_gap": 1, "source_or_other": 1, "verification_or_tests": 4, "issue_or_pull_request_thread": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 3, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "test_ci_gap_after_feedback", "outcomes": {"claimed_resolved_with_verification_signal": 6}, "polarity": "bad", "query_id": "test_ci_gap_after_feedback", "severity": "high", "ci_labels": {}, "synthetic": false, "edge_count": 19, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "thread_touches_file": 1, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "issue_chain_touches_file": 1, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "comment_chain_touches_file": 1, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 15, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "pr_file": 1, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#36", "issue_number": "36", "quality_tiers": {"high_confidence": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "hard_negative", "source_motif_id": "graph-pattern-motif-thread-8045b473adfb82bb", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {"source_or_other": 4}}, "text": "Graph query export: Feedback exposes missing tests or CI\nQuery id: test_ci_gap_after_feedback\nQuery type: motif_query\nIntent: Hard negatives for feedback/fix chains without adequate guardrails.\nMotif: test_ci_gap_after_feedback\nTraining usage: hard_negative\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#36\nEvidence:\nGraph motif: Feedback or fix context exposes missing test/CI guardrails\nMotif id: test_ci_gap_after_feedback\nPolarity: bad\nTraining usage: hard_negative\nSeverity: high\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#36\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#36\nRepo: QEDGen/qedsvm\nIssue/PR number: 36\nGraph consistency label: supported_by_verification_signal\nNodes: 15\nEdges: 19\nNode types: {'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'pr_file': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_touches_file': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'comment_chain_touches_file': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'issue_chain_touches_file': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'verification_or_tests': 4, 'claimed_resolved_with_verification_signal': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'test_ci_gap': 1, 'source_or_other': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'bug_fix': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 6}\nQuality tiers: {'high_confidence': 3}\nCI labels: {}\nCurriculum targets:\n- Turn human feedback into regression tests and CI gates.\n- Penalize fixes that do not add or exercise verification for affected workflows.\nAssumption checks:\n- Did the fix add tests for the exact complaint?\n- Does CI run those tests, or is verification only implied?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-85ef57d53791832a", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/test_ci_gap_after_feedback/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/test_ci_gap_after_feedback", "training_usage": "hard_negative"}}}, {"ruleId": "foundry_test_ci_gap", "level": "error", "message": {"text": "Foundry mined test ci gap after feedback: QEDGen/qedsvm"}, "properties": {"repobilityId": 336227, "scanner": "foundry_dataset", "fingerprint": "dee2a5368de5b6996b4dccd638aa75130fe69f9c955c1aae1539bb31596ff605", "category": "testing", "severity": "high", "confidence": 0.78, "triageState": "open", "verdict": "confirmed", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Feedback exposes missing tests or CI", "intent": "Hard negatives for feedback/fix chains without adequate guardrails.", "labels": {"bug_fix": 1, "test_ci_gap": 1, "security_or_auth": 2, "verification_or_tests": 4, "issue_or_pull_request_thread": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 3, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "test_ci_gap_after_feedback", "outcomes": {"claimed_resolved_with_verification_signal": 6}, "polarity": "bad", "query_id": "test_ci_gap_after_feedback", "severity": "high", "ci_labels": {}, "synthetic": false, "edge_count": 22, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "thread_touches_file": 2, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "issue_chain_touches_file": 2, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "comment_chain_touches_file": 2, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 16, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "pr_file": 2, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#21", "issue_number": "21", "quality_tiers": {"weak_supervision": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "hard_negative", "source_motif_id": "graph-pattern-motif-thread-ccf8b9c17db93e08", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {"security_or_auth": 8}}, "text": "Graph query export: Feedback exposes missing tests or CI\nQuery id: test_ci_gap_after_feedback\nQuery type: motif_query\nIntent: Hard negatives for feedback/fix chains without adequate guardrails.\nMotif: test_ci_gap_after_feedback\nTraining usage: hard_negative\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#21\nEvidence:\nGraph motif: Feedback or fix context exposes missing test/CI guardrails\nMotif id: test_ci_gap_after_feedback\nPolarity: bad\nTraining usage: hard_negative\nSeverity: high\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#21\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#21\nRepo: QEDGen/qedsvm\nIssue/PR number: 21\nGraph consistency label: supported_by_verification_signal\nNodes: 16\nEdges: 22\nNode types: {'commit': 5, 'link_quality': 3, 'pr_file': 2, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'thread_touches_file': 2, 'comment_chain_touches_file': 2, 'issue_chain_touches_file': 2, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'verification_or_tests': 4, 'claimed_resolved_with_verification_signal': 3, 'security_or_auth': 2, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'test_ci_gap': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'bug_fix': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 6}\nQuality tiers: {'weak_supervision': 3}\nCI labels: {}\nCurriculum targets:\n- Turn human feedback into regression tests and CI gates.\n- Penalize fixes that do not add or exercise verification for affected workflows.\nAssumption checks:\n- Did the fix add tests for the exact complaint?\n- Does CI run those tests, or is verification only implied?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-625abb68583dab4c", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/test_ci_gap_after_feedback/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/test_ci_gap_after_feedback", "training_usage": "hard_negative"}}}, {"ruleId": "foundry_test_ci_gap", "level": "error", "message": {"text": "Foundry mined test ci gap after feedback: QEDGen/qedsvm"}, "properties": {"repobilityId": 336226, "scanner": "foundry_dataset", "fingerprint": "a22f8536d2258ad577f07535ec4d1fe17b5ad5016080476acba790e2d75d6d42", "category": "testing", "severity": "high", "confidence": 0.78, "triageState": "open", "verdict": "confirmed", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Feedback exposes missing tests or CI", "intent": "Hard negatives for feedback/fix chains without adequate guardrails.", "labels": {"bug_fix": 1, "test_ci_gap": 1, "source_or_other": 1, "security_or_auth": 11, "verification_or_tests": 4, "issue_or_pull_request_thread": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 3, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "test_ci_gap_after_feedback", "outcomes": {"claimed_resolved_with_verification_signal": 6}, "polarity": "bad", "query_id": "test_ci_gap_after_feedback", "severity": "high", "ci_labels": {}, "synthetic": false, "edge_count": 52, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "thread_touches_file": 12, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "issue_chain_touches_file": 12, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "comment_chain_touches_file": 12, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 26, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "pr_file": 12, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#20", "issue_number": "20", "quality_tiers": {"weak_supervision": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "hard_negative", "source_motif_id": "graph-pattern-motif-thread-b91287a89c988dee", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {"source_or_other": 4, "security_or_auth": 44}}, "text": "Graph query export: Feedback exposes missing tests or CI\nQuery id: test_ci_gap_after_feedback\nQuery type: motif_query\nIntent: Hard negatives for feedback/fix chains without adequate guardrails.\nMotif: test_ci_gap_after_feedback\nTraining usage: hard_negative\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#20\nEvidence:\nGraph motif: Feedback or fix context exposes missing test/CI guardrails\nMotif id: test_ci_gap_after_feedback\nPolarity: bad\nTraining usage: hard_negative\nSeverity: high\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#20\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#20\nRepo: QEDGen/qedsvm\nIssue/PR number: 20\nGraph consistency label: supported_by_verification_signal\nNodes: 26\nEdges: 52\nNode types: {'pr_file': 12, 'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'thread_touches_file': 12, 'comment_chain_touches_file': 12, 'issue_chain_touches_file': 12, 'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'security_or_auth': 11, 'verification_or_tests': 4, 'claimed_resolved_with_verification_signal': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'test_ci_gap': 1, 'source_or_other': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'bug_fix': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 6}\nQuality tiers: {'weak_supervision': 3}\nCI labels: {}\nCurriculum targets:\n- Turn human feedback into regression tests and CI gates.\n- Penalize fixes that do not add or exercise verification for affected workflows.\nAssumption checks:\n- Did the fix add tests for the exact complaint?\n- Does CI run those tests, or is verification only implied?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-4cc24a665ca52cad", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/test_ci_gap_after_feedback/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/test_ci_gap_after_feedback", "training_usage": "hard_negative"}}}, {"ruleId": "foundry_test_ci_gap", "level": "error", "message": {"text": "Foundry mined test ci gap after feedback: QEDGen/qedsvm"}, "properties": {"repobilityId": 336225, "scanner": "foundry_dataset", "fingerprint": "7930620e8fd4eb93c8a540ce51f05f6a1db4908f75104466963fa9879ea6c91c", "category": "testing", "severity": "high", "confidence": 0.78, "triageState": "open", "verdict": "confirmed", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Feedback exposes missing tests or CI", "intent": "Hard negatives for feedback/fix chains without adequate guardrails.", "labels": {"bug_fix": 1, "test_ci_gap": 1, "source_or_other": 2, "dependency_or_build": 1, "verification_or_tests": 3, "issue_or_pull_request_thread": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 3, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "test_ci_gap_after_feedback", "outcomes": {"claimed_resolved_with_verification_signal": 6}, "polarity": "bad", "query_id": "test_ci_gap_after_feedback", "severity": "high", "ci_labels": {}, "synthetic": false, "edge_count": 22, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "thread_touches_file": 2, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "issue_chain_touches_file": 2, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "comment_chain_touches_file": 2, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 16, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "pr_file": 2, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#19", "issue_number": "19", "quality_tiers": {"weak_supervision": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "hard_negative", "source_motif_id": "graph-pattern-motif-thread-e9c72cfb747700d5", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {"source_or_other": 8}}, "text": "Graph query export: Feedback exposes missing tests or CI\nQuery id: test_ci_gap_after_feedback\nQuery type: motif_query\nIntent: Hard negatives for feedback/fix chains without adequate guardrails.\nMotif: test_ci_gap_after_feedback\nTraining usage: hard_negative\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#19\nEvidence:\nGraph motif: Feedback or fix context exposes missing test/CI guardrails\nMotif id: test_ci_gap_after_feedback\nPolarity: bad\nTraining usage: hard_negative\nSeverity: high\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#19\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#19\nRepo: QEDGen/qedsvm\nIssue/PR number: 19\nGraph consistency label: supported_by_verification_signal\nNodes: 16\nEdges: 22\nNode types: {'commit': 5, 'link_quality': 3, 'pr_file': 2, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'thread_touches_file': 2, 'comment_chain_touches_file': 2, 'issue_chain_touches_file': 2, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'verification_or_tests': 3, 'claimed_resolved_with_verification_signal': 3, 'source_or_other': 2, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'test_ci_gap': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'dependency_or_build': 1, 'bug_fix': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 6}\nQuality tiers: {'weak_supervision': 3}\nCI labels: {}\nCurriculum targets:\n- Turn human feedback into regression tests and CI gates.\n- Penalize fixes that do not add or exercise verification for affected workflows.\nAssumption checks:\n- Did the fix add tests for the exact complaint?\n- Does CI run those tests, or is verification only implied?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-3225137755b0d1c2", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/test_ci_gap_after_feedback/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/test_ci_gap_after_feedback", "training_usage": "hard_negative"}}}, {"ruleId": "foundry_test_ci_gap", "level": "error", "message": {"text": "Foundry mined test ci gap after feedback: QEDGen/qedsvm"}, "properties": {"repobilityId": 336224, "scanner": "foundry_dataset", "fingerprint": "a6ca4fd0cba82fde65e80a6e091442a6f7c07a9ee1207d95fc91a6cc2ef70edc", "category": "testing", "severity": "high", "confidence": 0.78, "triageState": "open", "verdict": "confirmed", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Feedback exposes missing tests or CI", "intent": "Hard negatives for feedback/fix chains without adequate guardrails.", "labels": {"bug_fix": 1, "test_ci_gap": 1, "verification_or_tests": 4, "issue_or_pull_request_thread": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 3, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "test_ci_gap_after_feedback", "outcomes": {"claimed_resolved_with_verification_signal": 6}, "polarity": "bad", "query_id": "test_ci_gap_after_feedback", "severity": "high", "ci_labels": {}, "synthetic": false, "edge_count": 16, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 14, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#18", "issue_number": "18", "quality_tiers": {"weak_supervision": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "hard_negative", "source_motif_id": "graph-pattern-motif-thread-a348cf26c25d712c", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {}}, "text": "Graph query export: Feedback exposes missing tests or CI\nQuery id: test_ci_gap_after_feedback\nQuery type: motif_query\nIntent: Hard negatives for feedback/fix chains without adequate guardrails.\nMotif: test_ci_gap_after_feedback\nTraining usage: hard_negative\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#18\nEvidence:\nGraph motif: Feedback or fix context exposes missing test/CI guardrails\nMotif id: test_ci_gap_after_feedback\nPolarity: bad\nTraining usage: hard_negative\nSeverity: high\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#18\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#18\nRepo: QEDGen/qedsvm\nIssue/PR number: 18\nGraph consistency label: supported_by_verification_signal\nNodes: 14\nEdges: 16\nNode types: {'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'verification_or_tests': 4, 'claimed_resolved_with_verification_signal': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'test_ci_gap': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'bug_fix': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 6}\nQuality tiers: {'weak_supervision': 3}\nCI labels: {}\nCurriculum targets:\n- Turn human feedback into regression tests and CI gates.\n- Penalize fixes that do not add or exercise verification for affected workflows.\nAssumption checks:\n- Did the fix add tests for the exact complaint?\n- Does CI run those tests, or is verification only implied?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-0d5e82cf1250179e", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/test_ci_gap_after_feedback/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/test_ci_gap_after_feedback", "training_usage": "hard_negative"}}}, {"ruleId": "foundry_test_ci_gap", "level": "error", "message": {"text": "Foundry mined test ci gap after feedback: QEDGen/qedsvm"}, "properties": {"repobilityId": 336223, "scanner": "foundry_dataset", "fingerprint": "476f72437300163c49898c005e90c0d412496c05567713bbec308ce6b77db14d", "category": "testing", "severity": "high", "confidence": 0.78, "triageState": "open", "verdict": "confirmed", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Feedback exposes missing tests or CI", "intent": "Hard negatives for feedback/fix chains without adequate guardrails.", "labels": {"bug_fix": 1, "test_ci_gap": 1, "verification_or_tests": 4, "issue_or_pull_request_thread": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 3, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "test_ci_gap_after_feedback", "outcomes": {"claimed_resolved_with_verification_signal": 6}, "polarity": "bad", "query_id": "test_ci_gap_after_feedback", "severity": "high", "ci_labels": {}, "synthetic": false, "edge_count": 16, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 14, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#17", "issue_number": "17", "quality_tiers": {"weak_supervision": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "hard_negative", "source_motif_id": "graph-pattern-motif-thread-d5f8c016e9a3dfcc", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {}}, "text": "Graph query export: Feedback exposes missing tests or CI\nQuery id: test_ci_gap_after_feedback\nQuery type: motif_query\nIntent: Hard negatives for feedback/fix chains without adequate guardrails.\nMotif: test_ci_gap_after_feedback\nTraining usage: hard_negative\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#17\nEvidence:\nGraph motif: Feedback or fix context exposes missing test/CI guardrails\nMotif id: test_ci_gap_after_feedback\nPolarity: bad\nTraining usage: hard_negative\nSeverity: high\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#17\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#17\nRepo: QEDGen/qedsvm\nIssue/PR number: 17\nGraph consistency label: supported_by_verification_signal\nNodes: 14\nEdges: 16\nNode types: {'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'verification_or_tests': 4, 'claimed_resolved_with_verification_signal': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'test_ci_gap': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'bug_fix': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 6}\nQuality tiers: {'weak_supervision': 3}\nCI labels: {}\nCurriculum targets:\n- Turn human feedback into regression tests and CI gates.\n- Penalize fixes that do not add or exercise verification for affected workflows.\nAssumption checks:\n- Did the fix add tests for the exact complaint?\n- Does CI run those tests, or is verification only implied?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-cf07e2c3acc7af8f", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/test_ci_gap_after_feedback/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/test_ci_gap_after_feedback", "training_usage": "hard_negative"}}}, {"ruleId": "foundry_test_ci_gap", "level": "error", "message": {"text": "Foundry mined test ci gap after feedback: QEDGen/qedsvm"}, "properties": {"repobilityId": 336222, "scanner": "foundry_dataset", "fingerprint": "6d38dd7b1fc4f75aa98374d0dfb6db81e5311cd3520eedb5d028d6c147e50b5a", "category": "testing", "severity": "high", "confidence": 0.78, "triageState": "open", "verdict": "confirmed", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Feedback exposes missing tests or CI", "intent": "Hard negatives for feedback/fix chains without adequate guardrails.", "labels": {"bug_fix": 3, "test_ci_gap": 1, "dependency_or_build": 3, "security_or_secrets": 1, "security_auth_secret": 2, "verification_or_tests": 5, "human_feedback_general": 2, "issue_or_pull_request_thread": 1, "ambiguous_needs_more_evidence": 2, "comment_has_related_commit_context": 2, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 5, "human_reported_issue_then_verified_fix_attempt": 3}, "source": "graph_query_export", "motif_id": "test_ci_gap_after_feedback", "outcomes": {"ambiguous_needs_more_evidence": 4, "claimed_resolved_with_verification_signal": 10}, "polarity": "bad", "query_id": "test_ci_gap_after_feedback", "severity": "high", "ci_labels": {}, "synthetic": false, "edge_count": 56, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 5, "thread_has_comment": 5, "chain_has_link_quality": 7, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 5, "comment_chain_links_commit": 25, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 5}, "node_count": 33, "node_types": {"repo": 1, "commit": 12, "thread": 1, "comment": 5, "fix_outcome": 1, "issue_chain": 1, "link_quality": 7, "comment_chain": 5}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#11", "issue_number": "11", "quality_tiers": {"high_confidence": 7}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "hard_negative", "source_motif_id": "graph-pattern-motif-thread-4d7ae5bb0e11be7e", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {}}, "text": "Graph query export: Feedback exposes missing tests or CI\nQuery id: test_ci_gap_after_feedback\nQuery type: motif_query\nIntent: Hard negatives for feedback/fix chains without adequate guardrails.\nMotif: test_ci_gap_after_feedback\nTraining usage: hard_negative\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#11\nEvidence:\nGraph motif: Feedback or fix context exposes missing test/CI guardrails\nMotif id: test_ci_gap_after_feedback\nPolarity: bad\nTraining usage: hard_negative\nSeverity: high\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#11\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#11\nRepo: QEDGen/qedsvm\nIssue/PR number: 11\nGraph consistency label: supported_by_verification_signal\nNodes: 33\nEdges: 56\nNode types: {'commit': 12, 'link_quality': 7, 'comment': 5, 'comment_chain': 5, 'thread': 1, 'repo': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 25, 'chain_has_link_quality': 7, 'thread_has_comment': 5, 'thread_has_comment_chain': 5, 'comment_has_chain': 5, 'issue_chain_has_comment_chain': 5, 'repo_has_thread': 1, 'thread_has_issue_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'verification_or_tests': 5, 'claimed_resolved_with_verification_signal': 5, 'human_reported_issue_then_verified_fix_attempt': 3, 'bug_fix': 3, 'dependency_or_build': 3, 'security_auth_secret': 2, 'human_feedback_general': 2, 'comment_has_related_commit_context': 2, 'ambiguous_needs_more_evidence': 2, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'test_ci_gap': 1, 'security_or_secrets': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 10, 'ambiguous_needs_more_evidence': 4}\nQuality tiers: {'high_confidence': 7}\nCI labels: {}\nCurriculum targets:\n- Turn human feedback into regression tests and CI gates.\n- Penalize fixes that do not add or exercise verification for affected workflows.\nAssumption checks:\n- Did the fix add tests for the exact complaint?\n- Does CI run those tests, or is verification only implied?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-bf686c2b5d98cb89", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/test_ci_gap_after_feedback/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/test_ci_gap_after_feedback", "training_usage": "hard_negative"}}}, {"ruleId": "foundry_schema_ui_api_gap", "level": "error", "message": {"text": "Foundry mined schema ui api mismatch: QEDGen/qedsvm"}, "properties": {"repobilityId": 328231, "scanner": "foundry_dataset", "fingerprint": "d482e356f44ac3ef4dae6c2828c28364731869a927f2b7a43f2cc4362f8b56f7", "category": "quality", "severity": "high", "confidence": 0.76, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Schema, UI, and API mismatch", "intent": "Assumption-check examples for data-path consistency across layers.", "labels": {"bug_fix": 3, "test_or_ci": 3, "commit_general": 1, "ui_or_frontend": 5, "source_or_other": 1, "verification_or_tests": 1, "data_schema_persistence": 1, "issue_or_pull_request_thread": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 3, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "schema_ui_api_mismatch", "outcomes": {"claimed_resolved_with_verification_signal": 6}, "polarity": "bad", "query_id": "schema_ui_api_mismatch", "severity": "high", "ci_labels": {}, "synthetic": false, "edge_count": 43, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "thread_touches_file": 9, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "issue_chain_touches_file": 9, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "comment_chain_touches_file": 9, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 23, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "pr_file": 9, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#43", "issue_number": "43", "quality_tiers": {"high_confidence": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-06a879565ff0439c", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {"test_or_ci": 12, "ui_or_frontend": 20, "source_or_other": 4}}, "text": "Graph query export: Schema, UI, and API mismatch\nQuery id: schema_ui_api_mismatch\nQuery type: motif_query\nIntent: Assumption-check examples for data-path consistency across layers.\nMotif: schema_ui_api_mismatch\nTraining usage: assumption_check\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#43\nEvidence:\nGraph motif: Schema, UI, and API evidence do not line up\nMotif id: schema_ui_api_mismatch\nPolarity: bad\nTraining usage: assumption_check\nSeverity: high\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#43\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#43\nRepo: QEDGen/qedsvm\nIssue/PR number: 43\nGraph consistency label: supported_by_verification_signal\nNodes: 23\nEdges: 43\nNode types: {'pr_file': 9, 'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'thread_touches_file': 9, 'comment_chain_touches_file': 9, 'issue_chain_touches_file': 9, 'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'ui_or_frontend': 5, 'test_or_ci': 3, 'bug_fix': 3, 'claimed_resolved_with_verification_signal': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'data_schema_persistence': 1, 'source_or_other': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'commit_general': 1, 'verification_or_tests': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 6}\nQuality tiers: {'high_confidence': 3}\nCI labels: {}\nCurriculum targets:\n- Create schema-to-API-to-UI consistency tasks with migrations and tests.\n- Teach models to verify persistence, route contracts, and UI state together.\nAssumption checks:\n- Do schema changes have matching API and UI handling?\n- Are migrations and tests present for the data path?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-0d35d737c348b437", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/schema_ui_api_mismatch/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/schema_ui_api_mismatch", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_schema_ui_api_gap", "level": "error", "message": {"text": "Foundry mined schema ui api mismatch: QEDGen/qedsvm"}, "properties": {"repobilityId": 328230, "scanner": "foundry_dataset", "fingerprint": "be8b2a9052e1677fb3300625f9893d4b7bb5a09e1b0d7806b3602128503a9fda", "category": "quality", "severity": "high", "confidence": 0.76, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Schema, UI, and API mismatch", "intent": "Assumption-check examples for data-path consistency across layers.", "labels": {"data_schema": 1, "verification_or_tests": 4, "data_schema_persistence": 1, "issue_or_pull_request_thread": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 3, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "schema_ui_api_mismatch", "outcomes": {"claimed_resolved_with_verification_signal": 6}, "polarity": "bad", "query_id": "schema_ui_api_mismatch", "severity": "high", "ci_labels": {}, "synthetic": false, "edge_count": 16, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 14, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#41", "issue_number": "41", "quality_tiers": {"high_confidence": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-a2cb0b5e499d763f", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {}}, "text": "Graph query export: Schema, UI, and API mismatch\nQuery id: schema_ui_api_mismatch\nQuery type: motif_query\nIntent: Assumption-check examples for data-path consistency across layers.\nMotif: schema_ui_api_mismatch\nTraining usage: assumption_check\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#41\nEvidence:\nGraph motif: Schema, UI, and API evidence do not line up\nMotif id: schema_ui_api_mismatch\nPolarity: bad\nTraining usage: assumption_check\nSeverity: high\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#41\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#41\nRepo: QEDGen/qedsvm\nIssue/PR number: 41\nGraph consistency label: supported_by_verification_signal\nNodes: 14\nEdges: 16\nNode types: {'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'verification_or_tests': 4, 'claimed_resolved_with_verification_signal': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'data_schema_persistence': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'data_schema': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 6}\nQuality tiers: {'high_confidence': 3}\nCI labels: {}\nCurriculum targets:\n- Create schema-to-API-to-UI consistency tasks with migrations and tests.\n- Teach models to verify persistence, route contracts, and UI state together.\nAssumption checks:\n- Do schema changes have matching API and UI handling?\n- Are migrations and tests present for the data path?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-fd0917d8f068c75e", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/schema_ui_api_mismatch/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/schema_ui_api_mismatch", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_auth_guardrail_gap", "level": "error", "message": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "properties": {"repobilityId": 331924, "scanner": "foundry_dataset", "fingerprint": "3071d6cc51b37ed6ec0598abafbfb10cff9332c482ddfff79fec1abe15e7605a", "category": "auth", "severity": "critical", "confidence": 0.78, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Security/auth changes without enough guardrails", "intent": "Assumption-check security/auth examples requiring stronger tests or CI.", "labels": {"bug_fix": 4, "api_integration_gap": 1, "dependency_or_build": 1, "generated_provenance": 1, "security_auth_secret": 1, "positive_human_signal": 1, "verification_or_tests": 6, "claimed_resolved_unverified": 3, "issue_or_pull_request_thread": 1, "human_positive_or_acceptance_signal": 1, "human_reported_issue_then_fix_attempt": 1, "positive_feedback_with_related_change": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 1, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "security_auth_without_guardrails", "outcomes": {"claimed_resolved_unverified": 6, "human_positive_or_acceptance_signal": 2, "claimed_resolved_with_verification_signal": 2}, "polarity": "bad", "query_id": "security_auth_guardrail_gaps", "severity": "critical", "ci_labels": {}, "synthetic": false, "edge_count": 36, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 3, "thread_has_comment": 3, "chain_has_link_quality": 5, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 3, "comment_chain_links_commit": 15, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 3}, "node_count": 27, "node_types": {"repo": 1, "commit": 12, "thread": 1, "comment": 3, "fix_outcome": 1, "issue_chain": 1, "link_quality": 5, "comment_chain": 3}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#8", "issue_number": "8", "quality_tiers": {"weak_supervision": 5}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-fa411da1967f8ea4", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {}}, "text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#8\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#8\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#8\nRepo: QEDGen/qedsvm\nIssue/PR number: 8\nGraph consistency label: supported_by_verification_signal\nNodes: 27\nEdges: 36\nNode types: {'commit': 12, 'link_quality': 5, 'comment': 3, 'comment_chain': 3, 'thread': 1, 'repo': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 15, 'chain_has_link_quality': 5, 'thread_has_comment': 3, 'thread_has_comment_chain': 3, 'comment_has_chain': 3, 'issue_chain_has_comment_chain': 3, 'repo_has_thread': 1, 'thread_has_issue_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'verification_or_tests': 6, 'bug_fix': 4, 'claimed_resolved_unverified': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'security_auth_secret': 1, 'api_integration_gap': 1, 'positive_human_signal': 1, 'human_reported_issue_then_fix_attempt': 1, 'generated_provenance': 1, 'dependency_or_build': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'claimed_resolved_with_verification_signal': 1, 'positive_feedback_with_related_change': 1, 'human_positive_or_acceptance_signal': 1}\nOutcomes: {'claimed_resolved_unverified': 6, 'claimed_resolved_with_verification_signal': 2, 'human_positive_or_acceptance_signal': 2}\nQuality tiers: {'weak_supervision': 5}\nCI labels: {}\nCurriculum targets:\n- Train auth boundary repair with tests, permission matrices, and secret-handling checks.\n- Keep risky auth changes separate from ordinary bug-fix examples.\nAssumption checks:\n- Are auth/permission paths covered by tests?\n- Are secrets, CORS, or access rules verified rather than summarized?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-5cef47e83e3cb938", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/security_auth_guardrail_gaps/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/security_auth_guardrail_gaps", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_auth_guardrail_gap", "level": "error", "message": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "properties": {"repobilityId": 331923, "scanner": "foundry_dataset", "fingerprint": "cc3f8a09b58df080b0f1eea3b1c34434459904993dd40a17cbc599a2a5d47c28", "category": "auth", "severity": "critical", "confidence": 0.78, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Security/auth changes without enough guardrails", "intent": "Assumption-check security/auth examples requiring stronger tests or CI.", "labels": {"docs_or_chore": 1, "api_or_backend": 1, "docs_or_claims": 6, "runtime_failure": 1, "source_or_other": 90, "security_or_auth": 3, "dependency_or_build": 1, "verification_or_tests": 3, "issue_or_pull_request_thread": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 3, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "security_auth_without_guardrails", "outcomes": {"claimed_resolved_with_verification_signal": 6}, "polarity": "bad", "query_id": "security_auth_guardrail_gaps", "severity": "critical", "ci_labels": {}, "synthetic": false, "edge_count": 140, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "thread_touches_file": 100, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "issue_chain_touches_file": 12, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "comment_chain_touches_file": 12, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 114, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "pr_file": 100, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#44", "issue_number": "44", "quality_tiers": {"weak_supervision": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-e9e80a954ce4f9d8", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {"api_or_backend": 4, "docs_or_claims": 24, "source_or_other": 360, "security_or_auth": 12}}, "text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#44\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#44\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#44\nRepo: QEDGen/qedsvm\nIssue/PR number: 44\nGraph consistency label: supported_by_verification_signal\nNodes: 114\nEdges: 140\nNode types: {'pr_file': 100, 'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'thread_touches_file': 100, 'comment_chain_touches_file': 12, 'issue_chain_touches_file': 12, 'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'source_or_other': 90, 'docs_or_claims': 6, 'security_or_auth': 3, 'verification_or_tests': 3, 'claimed_resolved_with_verification_signal': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'runtime_failure': 1, 'api_or_backend': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'docs_or_chore': 1, 'dependency_or_build': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 6}\nQuality tiers: {'weak_supervision': 3}\nCI labels: {}\nCurriculum targets:\n- Train auth boundary repair with tests, permission matrices, and secret-handling checks.\n- Keep risky auth changes separate from ordinary bug-fix examples.\nAssumption checks:\n- Are auth/permission paths covered by tests?\n- Are secrets, CORS, or access rules verified rather than summarized?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-d6151d29fc23ca32", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/security_auth_guardrail_gaps/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/security_auth_guardrail_gaps", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_auth_guardrail_gap", "level": "error", "message": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "properties": {"repobilityId": 331922, "scanner": "foundry_dataset", "fingerprint": "e0df0a6ae8b8cc16337ce24127097574af8fba1f16b1a2c6012b15dd8993fdc4", "category": "auth", "severity": "critical", "confidence": 0.78, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Security/auth changes without enough guardrails", "intent": "Assumption-check security/auth examples requiring stronger tests or CI.", "labels": {"bug_fix": 1, "docs_or_claims": 1, "ui_or_frontend": 1, "source_or_other": 9, "security_or_auth": 6, "dependency_or_build": 3, "security_or_secrets": 1, "security_auth_secret": 1, "claimed_resolved_unverified": 3, "issue_or_pull_request_thread": 1, "human_reported_issue_then_fix_attempt": 1, "thread_has_human_issue_and_fix_context": 2}, "source": "graph_query_export", "motif_id": "security_auth_without_guardrails", "outcomes": {"claimed_resolved_unverified": 6}, "polarity": "bad", "query_id": "security_auth_guardrail_gaps", "severity": "critical", "ci_labels": {}, "synthetic": false, "edge_count": 57, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "thread_touches_file": 17, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "issue_chain_touches_file": 12, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "comment_chain_touches_file": 12, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 31, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "pr_file": 17, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#26", "issue_number": "26", "quality_tiers": {"high_confidence": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-857d2107b3847475", "graph_gold_label": "supported_by_high_confidence_link", "changed_file_labels": {"docs_or_claims": 4, "ui_or_frontend": 4, "source_or_other": 36, "security_or_auth": 24}}, "text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: supported_by_high_confidence_link\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#26\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#26\nGraph gold label: supported_by_high_confidence_link\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#26\nRepo: QEDGen/qedsvm\nIssue/PR number: 26\nGraph consistency label: supported_by_high_confidence_link\nNodes: 31\nEdges: 57\nNode types: {'pr_file': 17, 'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'thread_touches_file': 17, 'comment_chain_touches_file': 12, 'issue_chain_touches_file': 12, 'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'source_or_other': 9, 'security_or_auth': 6, 'dependency_or_build': 3, 'claimed_resolved_unverified': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'security_auth_secret': 1, 'docs_or_claims': 1, 'ui_or_frontend': 1, 'human_reported_issue_then_fix_attempt': 1, 'bug_fix': 1, 'security_or_secrets': 1}\nOutcomes: {'claimed_resolved_unverified': 6}\nQuality tiers: {'high_confidence': 3}\nCI labels: {}\nCurriculum targets:\n- Train auth boundary repair with tests, permission matrices, and secret-handling checks.\n- Keep risky auth changes separate from ordinary bug-fix examples.\nAssumption checks:\n- Are auth/permission paths covered by tests?\n- Are secrets, CORS, or access rules verified rather than summarized?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-443ae31258e94ebc", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/security_auth_guardrail_gaps/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/security_auth_guardrail_gaps", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_auth_guardrail_gap", "level": "error", "message": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "properties": {"repobilityId": 331921, "scanner": "foundry_dataset", "fingerprint": "8ab21ff3f81192ad0c62823444467a5b6dead38f80392e2c295e13380072a579", "category": "auth", "severity": "critical", "confidence": 0.78, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Security/auth changes without enough guardrails", "intent": "Assumption-check security/auth examples requiring stronger tests or CI.", "labels": {"bug_fix": 7, "dependency_or_build": 5, "security_or_secrets": 1, "security_auth_secret": 5, "claimed_resolved_unverified": 7, "issue_or_pull_request_thread": 1, "human_reported_issue_then_fix_attempt": 5, "thread_has_human_issue_and_fix_context": 2}, "source": "graph_query_export", "motif_id": "security_auth_without_guardrails", "outcomes": {"claimed_resolved_unverified": 14}, "polarity": "bad", "query_id": "security_auth_guardrail_gaps", "severity": "critical", "ci_labels": {}, "synthetic": false, "edge_count": 56, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 5, "thread_has_comment": 5, "chain_has_link_quality": 7, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 5, "comment_chain_links_commit": 25, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 5}, "node_count": 34, "node_types": {"repo": 1, "commit": 13, "thread": 1, "comment": 5, "fix_outcome": 1, "issue_chain": 1, "link_quality": 7, "comment_chain": 5}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#25", "issue_number": "25", "quality_tiers": {"weak_supervision": 7}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-be8989ee50ccc845", "graph_gold_label": "weak_supervision_needs_review", "changed_file_labels": {}}, "text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: weak_supervision_needs_review\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#25\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#25\nGraph gold label: weak_supervision_needs_review\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#25\nRepo: QEDGen/qedsvm\nIssue/PR number: 25\nGraph consistency label: weak_supervision_needs_review\nNodes: 34\nEdges: 56\nNode types: {'commit': 13, 'link_quality': 7, 'comment': 5, 'comment_chain': 5, 'thread': 1, 'repo': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 25, 'chain_has_link_quality': 7, 'thread_has_comment': 5, 'thread_has_comment_chain': 5, 'comment_has_chain': 5, 'issue_chain_has_comment_chain': 5, 'repo_has_thread': 1, 'thread_has_issue_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'bug_fix': 7, 'claimed_resolved_unverified': 7, 'security_auth_secret': 5, 'human_reported_issue_then_fix_attempt': 5, 'dependency_or_build': 5, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'security_or_secrets': 1}\nOutcomes: {'claimed_resolved_unverified': 14}\nQuality tiers: {'weak_supervision': 7}\nCI labels: {}\nCurriculum targets:\n- Train auth boundary repair with tests, permission matrices, and secret-handling checks.\n- Keep risky auth changes separate from ordinary bug-fix examples.\nAssumption checks:\n- Are auth/permission paths covered by tests?\n- Are secrets, CORS, or access rules verified rather than summarized?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-fe1920b157bc779d", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/security_auth_guardrail_gaps/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/security_auth_guardrail_gaps", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_auth_guardrail_gap", "level": "error", "message": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "properties": {"repobilityId": 331920, "scanner": "foundry_dataset", "fingerprint": "ca1dea5e31c2df5678e70af337f697550b3a8d4682a3f0e0461472c7d46e79c4", "category": "auth", "severity": "critical", "confidence": 0.78, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Security/auth changes without enough guardrails", "intent": "Assumption-check security/auth examples requiring stronger tests or CI.", "labels": {"bug_fix": 7, "ui_workflow": 1, "ui_workflow_gap": 1, "dependency_or_build": 3, "security_or_secrets": 2, "security_auth_secret": 4, "verification_or_tests": 3, "human_feedback_general": 1, "unlinked_human_feedback": 1, "claimed_resolved_unverified": 6, "issue_or_pull_request_thread": 1, "ambiguous_needs_more_evidence": 1, "human_reported_issue_then_fix_attempt": 4, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 1, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "security_auth_without_guardrails", "outcomes": {"claimed_resolved_unverified": 12, "ambiguous_needs_more_evidence": 2, "claimed_resolved_with_verification_signal": 2}, "polarity": "bad", "query_id": "security_auth_guardrail_gaps", "severity": "critical", "ci_labels": {}, "synthetic": false, "edge_count": 61, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 6, "thread_has_comment": 6, "chain_has_link_quality": 8, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 6, "comment_chain_links_commit": 25, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 6}, "node_count": 40, "node_types": {"repo": 1, "commit": 16, "thread": 1, "comment": 6, "fix_outcome": 1, "issue_chain": 1, "link_quality": 8, "comment_chain": 6}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#24", "issue_number": "24", "quality_tiers": {"unresolved": 1, "weak_supervision": 7}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-832dca1486e58a14", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {}}, "text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#24\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#24\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#24\nRepo: QEDGen/qedsvm\nIssue/PR number: 24\nGraph consistency label: supported_by_verification_signal\nNodes: 40\nEdges: 61\nNode types: {'commit': 16, 'link_quality': 8, 'comment': 6, 'comment_chain': 6, 'thread': 1, 'repo': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 25, 'chain_has_link_quality': 8, 'thread_has_comment': 6, 'thread_has_comment_chain': 6, 'comment_has_chain': 6, 'issue_chain_has_comment_chain': 6, 'repo_has_thread': 1, 'thread_has_issue_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'bug_fix': 7, 'claimed_resolved_unverified': 6, 'security_auth_secret': 4, 'human_reported_issue_then_fix_attempt': 4, 'dependency_or_build': 3, 'verification_or_tests': 3, 'security_or_secrets': 2, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'human_feedback_general': 1, 'ui_workflow_gap': 1, 'unlinked_human_feedback': 1, 'ambiguous_needs_more_evidence': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'ui_workflow': 1, 'claimed_resolved_with_verification_signal': 1}\nOutcomes: {'claimed_resolved_unverified': 12, 'ambiguous_needs_more_evidence': 2, 'claimed_resolved_with_verification_signal': 2}\nQuality tiers: {'weak_supervision': 7, 'unresolved': 1}\nCI labels: {}\nCurriculum targets:\n- Train auth boundary repair with tests, permission matrices, and secret-handling checks.\n- Keep risky auth changes separate from ordinary bug-fix examples.\nAssumption checks:\n- Are auth/permission paths covered by tests?\n- Are secrets, CORS, or access rules verified rather than summarized?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-bdb1177c9f91e27c", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/security_auth_guardrail_gaps/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/security_auth_guardrail_gaps", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_auth_guardrail_gap", "level": "error", "message": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "properties": {"repobilityId": 331919, "scanner": "foundry_dataset", "fingerprint": "015be1e2a860d44249ead08d6e8cdfd49ddac42a8b4dc625db1bfe5ed0d1579c", "category": "auth", "severity": "critical", "confidence": 0.78, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Security/auth changes without enough guardrails", "intent": "Assumption-check security/auth examples requiring stronger tests or CI.", "labels": {"bug_fix": 2, "dependency_or_build": 3, "security_auth_secret": 1, "human_feedback_general": 1, "claimed_resolved_unverified": 3, "issue_or_pull_request_thread": 1, "ambiguous_needs_more_evidence": 1, "comment_has_related_commit_context": 1, "human_reported_issue_then_fix_attempt": 1, "thread_has_human_issue_and_fix_context": 2}, "source": "graph_query_export", "motif_id": "security_auth_without_guardrails", "outcomes": {"claimed_resolved_unverified": 6, "ambiguous_needs_more_evidence": 2}, "polarity": "bad", "query_id": "security_auth_guardrail_gaps", "severity": "critical", "ci_labels": {}, "synthetic": false, "edge_count": 23, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 2, "thread_has_comment": 2, "chain_has_link_quality": 4, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 2, "comment_chain_links_commit": 7, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 2}, "node_count": 17, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 2, "fix_outcome": 1, "issue_chain": 1, "link_quality": 4, "comment_chain": 2}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#23", "issue_number": "23", "quality_tiers": {"high_confidence": 3, "weak_supervision": 1}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-25894ffc6f0043bc", "graph_gold_label": "supported_by_high_confidence_link", "changed_file_labels": {}}, "text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: supported_by_high_confidence_link\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#23\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#23\nGraph gold label: supported_by_high_confidence_link\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#23\nRepo: QEDGen/qedsvm\nIssue/PR number: 23\nGraph consistency label: supported_by_high_confidence_link\nNodes: 17\nEdges: 23\nNode types: {'commit': 5, 'link_quality': 4, 'comment': 2, 'comment_chain': 2, 'thread': 1, 'repo': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 7, 'chain_has_link_quality': 4, 'thread_has_comment': 2, 'thread_has_comment_chain': 2, 'comment_has_chain': 2, 'issue_chain_has_comment_chain': 2, 'repo_has_thread': 1, 'thread_has_issue_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'dependency_or_build': 3, 'claimed_resolved_unverified': 3, 'bug_fix': 2, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'security_auth_secret': 1, 'human_feedback_general': 1, 'human_reported_issue_then_fix_attempt': 1, 'comment_has_related_commit_context': 1, 'ambiguous_needs_more_evidence': 1}\nOutcomes: {'claimed_resolved_unverified': 6, 'ambiguous_needs_more_evidence': 2}\nQuality tiers: {'high_confidence': 3, 'weak_supervision': 1}\nCI labels: {}\nCurriculum targets:\n- Train auth boundary repair with tests, permission matrices, and secret-handling checks.\n- Keep risky auth changes separate from ordinary bug-fix examples.\nAssumption checks:\n- Are auth/permission paths covered by tests?\n- Are secrets, CORS, or access rules verified rather than summarized?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-53b05dd5763585bd", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/security_auth_guardrail_gaps/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/security_auth_guardrail_gaps", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_auth_guardrail_gap", "level": "error", "message": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "properties": {"repobilityId": 331918, "scanner": "foundry_dataset", "fingerprint": "cd65410c17c28a6a876965f0ddcc100d2869a863e606606dfce89691386e442e", "category": "auth", "severity": "critical", "confidence": 0.78, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Security/auth changes without enough guardrails", "intent": "Assumption-check security/auth examples requiring stronger tests or CI.", "labels": {"bug_fix": 1, "test_ci_gap": 1, "security_or_auth": 2, "verification_or_tests": 4, "issue_or_pull_request_thread": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 3, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "security_auth_without_guardrails", "outcomes": {"claimed_resolved_with_verification_signal": 6}, "polarity": "bad", "query_id": "security_auth_guardrail_gaps", "severity": "critical", "ci_labels": {}, "synthetic": false, "edge_count": 22, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "thread_touches_file": 2, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "issue_chain_touches_file": 2, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "comment_chain_touches_file": 2, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 16, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "pr_file": 2, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#21", "issue_number": "21", "quality_tiers": {"weak_supervision": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-5e28953a395217a1", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {"security_or_auth": 8}}, "text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#21\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#21\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#21\nRepo: QEDGen/qedsvm\nIssue/PR number: 21\nGraph consistency label: supported_by_verification_signal\nNodes: 16\nEdges: 22\nNode types: {'commit': 5, 'link_quality': 3, 'pr_file': 2, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'thread_touches_file': 2, 'comment_chain_touches_file': 2, 'issue_chain_touches_file': 2, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'verification_or_tests': 4, 'claimed_resolved_with_verification_signal': 3, 'security_or_auth': 2, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'test_ci_gap': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'bug_fix': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 6}\nQuality tiers: {'weak_supervision': 3}\nCI labels: {}\nCurriculum targets:\n- Train auth boundary repair with tests, permission matrices, and secret-handling checks.\n- Keep risky auth changes separate from ordinary bug-fix examples.\nAssumption checks:\n- Are auth/permission paths covered by tests?\n- Are secrets, CORS, or access rules verified rather than summarized?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-b6c1a94aebdda12c", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/security_auth_guardrail_gaps/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/security_auth_guardrail_gaps", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_auth_guardrail_gap", "level": "error", "message": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "properties": {"repobilityId": 331917, "scanner": "foundry_dataset", "fingerprint": "72d15557a69a8b559352d324f4375a5500ecd5d55622c8d8e218f37a7078c234", "category": "auth", "severity": "critical", "confidence": 0.78, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Security/auth changes without enough guardrails", "intent": "Assumption-check security/auth examples requiring stronger tests or CI.", "labels": {"bug_fix": 1, "test_ci_gap": 1, "source_or_other": 1, "security_or_auth": 11, "verification_or_tests": 4, "issue_or_pull_request_thread": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 3, "human_reported_issue_then_verified_fix_attempt": 1}, "source": "graph_query_export", "motif_id": "security_auth_without_guardrails", "outcomes": {"claimed_resolved_with_verification_signal": 6}, "polarity": "bad", "query_id": "security_auth_guardrail_gaps", "severity": "critical", "ci_labels": {}, "synthetic": false, "edge_count": 52, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "thread_touches_file": 12, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "issue_chain_touches_file": 12, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "comment_chain_touches_file": 12, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 26, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "pr_file": 12, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#20", "issue_number": "20", "quality_tiers": {"weak_supervision": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-da990e1fc4c3e45b", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {"source_or_other": 4, "security_or_auth": 44}}, "text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#20\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#20\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#20\nRepo: QEDGen/qedsvm\nIssue/PR number: 20\nGraph consistency label: supported_by_verification_signal\nNodes: 26\nEdges: 52\nNode types: {'pr_file': 12, 'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'thread_touches_file': 12, 'comment_chain_touches_file': 12, 'issue_chain_touches_file': 12, 'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'security_or_auth': 11, 'verification_or_tests': 4, 'claimed_resolved_with_verification_signal': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'test_ci_gap': 1, 'source_or_other': 1, 'human_reported_issue_then_verified_fix_attempt': 1, 'bug_fix': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 6}\nQuality tiers: {'weak_supervision': 3}\nCI labels: {}\nCurriculum targets:\n- Train auth boundary repair with tests, permission matrices, and secret-handling checks.\n- Keep risky auth changes separate from ordinary bug-fix examples.\nAssumption checks:\n- Are auth/permission paths covered by tests?\n- Are secrets, CORS, or access rules verified rather than summarized?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-dccfa022fe09da19", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/security_auth_guardrail_gaps/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/security_auth_guardrail_gaps", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_auth_guardrail_gap", "level": "error", "message": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "properties": {"repobilityId": 331916, "scanner": "foundry_dataset", "fingerprint": "a799e890f814cd4ac747e3c833e19ad9c611aefee2eb969d3051b17f6d9ced92", "category": "auth", "severity": "critical", "confidence": 0.78, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Security/auth changes without enough guardrails", "intent": "Assumption-check security/auth examples requiring stronger tests or CI.", "labels": {"bug_fix": 2, "dependency_or_build": 3, "security_or_secrets": 1, "security_auth_secret": 2, "positive_human_signal": 1, "verification_or_tests": 5, "issue_or_pull_request_thread": 1, "human_positive_or_acceptance_signal": 1, "positive_feedback_with_related_change": 1, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 4, "human_reported_issue_then_verified_fix_attempt": 2}, "source": "graph_query_export", "motif_id": "security_auth_without_guardrails", "outcomes": {"human_positive_or_acceptance_signal": 2, "claimed_resolved_with_verification_signal": 8}, "polarity": "bad", "query_id": "security_auth_guardrail_gaps", "severity": "critical", "ci_labels": {}, "synthetic": false, "edge_count": 36, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 3, "thread_has_comment": 3, "chain_has_link_quality": 5, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 3, "comment_chain_links_commit": 15, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 3}, "node_count": 26, "node_types": {"repo": 1, "commit": 11, "thread": 1, "comment": 3, "fix_outcome": 1, "issue_chain": 1, "link_quality": 5, "comment_chain": 3}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#2", "issue_number": "2", "quality_tiers": {"high_confidence": 5}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-a98a36d607cbaaf7", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {}}, "text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#2\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#2\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#2\nRepo: QEDGen/qedsvm\nIssue/PR number: 2\nGraph consistency label: supported_by_verification_signal\nNodes: 26\nEdges: 36\nNode types: {'commit': 11, 'link_quality': 5, 'comment': 3, 'comment_chain': 3, 'thread': 1, 'repo': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 15, 'chain_has_link_quality': 5, 'thread_has_comment': 3, 'thread_has_comment_chain': 3, 'comment_has_chain': 3, 'issue_chain_has_comment_chain': 3, 'repo_has_thread': 1, 'thread_has_issue_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'verification_or_tests': 5, 'claimed_resolved_with_verification_signal': 4, 'dependency_or_build': 3, 'security_auth_secret': 2, 'human_reported_issue_then_verified_fix_attempt': 2, 'bug_fix': 2, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'positive_human_signal': 1, 'security_or_secrets': 1, 'positive_feedback_with_related_change': 1, 'human_positive_or_acceptance_signal': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 8, 'human_positive_or_acceptance_signal': 2}\nQuality tiers: {'high_confidence': 5}\nCI labels: {}\nCurriculum targets:\n- Train auth boundary repair with tests, permission matrices, and secret-handling checks.\n- Keep risky auth changes separate from ordinary bug-fix examples.\nAssumption checks:\n- Are auth/permission paths covered by tests?\n- Are secrets, CORS, or access rules verified rather than summarized?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-66d861f17d93df8f", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/security_auth_guardrail_gaps/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/security_auth_guardrail_gaps", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_auth_guardrail_gap", "level": "error", "message": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "properties": {"repobilityId": 331915, "scanner": "foundry_dataset", "fingerprint": "20e9d0b55125431e3980d459921919b9ea9cc81b471787e2ee4bc5329462a994", "category": "auth", "severity": "critical", "confidence": 0.78, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Security/auth changes without enough guardrails", "intent": "Assumption-check security/auth examples requiring stronger tests or CI.", "labels": {"bug_fix": 3, "dependency_or_build": 1, "security_or_secrets": 1, "security_auth_secret": 1, "claimed_resolved_unverified": 3, "issue_or_pull_request_thread": 1, "human_reported_issue_then_fix_attempt": 1, "thread_has_human_issue_and_fix_context": 2}, "source": "graph_query_export", "motif_id": "security_auth_without_guardrails", "outcomes": {"claimed_resolved_unverified": 6}, "polarity": "bad", "query_id": "security_auth_guardrail_gaps", "severity": "critical", "ci_labels": {}, "synthetic": false, "edge_count": 16, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 1, "thread_has_comment": 1, "chain_has_link_quality": 3, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 1, "comment_chain_links_commit": 5, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 1}, "node_count": 14, "node_types": {"repo": 1, "commit": 5, "thread": 1, "comment": 1, "fix_outcome": 1, "issue_chain": 1, "link_quality": 3, "comment_chain": 1}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#13", "issue_number": "13", "quality_tiers": {"weak_supervision": 3}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-9988db96c242d0f3", "graph_gold_label": "weak_supervision_needs_review", "changed_file_labels": {}}, "text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: weak_supervision_needs_review\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#13\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#13\nGraph gold label: weak_supervision_needs_review\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#13\nRepo: QEDGen/qedsvm\nIssue/PR number: 13\nGraph consistency label: weak_supervision_needs_review\nNodes: 14\nEdges: 16\nNode types: {'commit': 5, 'link_quality': 3, 'thread': 1, 'repo': 1, 'comment': 1, 'comment_chain': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 5, 'chain_has_link_quality': 3, 'repo_has_thread': 1, 'thread_has_comment': 1, 'thread_has_comment_chain': 1, 'comment_has_chain': 1, 'thread_has_issue_chain': 1, 'issue_chain_has_comment_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'bug_fix': 3, 'claimed_resolved_unverified': 3, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'security_auth_secret': 1, 'human_reported_issue_then_fix_attempt': 1, 'dependency_or_build': 1, 'security_or_secrets': 1}\nOutcomes: {'claimed_resolved_unverified': 6}\nQuality tiers: {'weak_supervision': 3}\nCI labels: {}\nCurriculum targets:\n- Train auth boundary repair with tests, permission matrices, and secret-handling checks.\n- Keep risky auth changes separate from ordinary bug-fix examples.\nAssumption checks:\n- Are auth/permission paths covered by tests?\n- Are secrets, CORS, or access rules verified rather than summarized?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-89cc7a6481bb598e", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/security_auth_guardrail_gaps/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/security_auth_guardrail_gaps", "training_usage": "assumption_check"}}}, {"ruleId": "foundry_auth_guardrail_gap", "level": "error", "message": {"text": "Foundry mined security auth guardrail gaps: QEDGen/qedsvm"}, "properties": {"repobilityId": 331914, "scanner": "foundry_dataset", "fingerprint": "c0bdc7592ad495b4c15a4ac6a29208ac300b8cf5da9b4cd5d03ba82cd9fec077", "category": "auth", "severity": "critical", "confidence": 0.78, "triageState": "open", "verdict": "needs_review", "isResolved": false, "reason": "Imported from mined Foundry/Fable5 evidence with real GitHub/source provenance. Review source_id before acting.", "evidence": {"meta": {"kind": "graph_query_record", "title": "Security/auth changes without enough guardrails", "intent": "Assumption-check security/auth examples requiring stronger tests or CI.", "labels": {"bug_fix": 3, "test_ci_gap": 1, "dependency_or_build": 3, "security_or_secrets": 1, "security_auth_secret": 2, "verification_or_tests": 5, "human_feedback_general": 2, "issue_or_pull_request_thread": 1, "ambiguous_needs_more_evidence": 2, "comment_has_related_commit_context": 2, "thread_has_human_issue_and_fix_context": 2, "claimed_resolved_with_verification_signal": 5, "human_reported_issue_then_verified_fix_attempt": 3}, "source": "graph_query_export", "motif_id": "security_auth_without_guardrails", "outcomes": {"ambiguous_needs_more_evidence": 4, "claimed_resolved_with_verification_signal": 10}, "polarity": "bad", "query_id": "security_auth_guardrail_gaps", "severity": "critical", "ci_labels": {}, "synthetic": false, "edge_count": 56, "edge_types": {"repo_has_thread": 1, "comment_has_chain": 5, "thread_has_comment": 5, "chain_has_link_quality": 7, "thread_has_fix_outcome": 1, "thread_has_issue_chain": 1, "thread_has_comment_chain": 5, "comment_chain_links_commit": 25, "issue_chain_has_fix_outcome": 1, "issue_chain_has_comment_chain": 5}, "node_count": 33, "node_types": {"repo": 1, "commit": 12, "thread": 1, "comment": 5, "fix_outcome": 1, "issue_chain": 1, "link_quality": 7, "comment_chain": 5}, "query_type": "motif_query", "thread_key": "QEDGen/qedsvm#11", "issue_number": "11", "quality_tiers": {"high_confidence": 7}, "repo_full_name": "QEDGen/qedsvm", "training_usage": "assumption_check", "source_motif_id": "graph-pattern-motif-thread-d15a9d252eda32bb", "graph_gold_label": "supported_by_verification_signal", "changed_file_labels": {}}, "text": "Graph query export: Security/auth changes without enough guardrails\nQuery id: security_auth_guardrail_gaps\nQuery type: motif_query\nIntent: Assumption-check security/auth examples requiring stronger tests or CI.\nMotif: security_auth_without_guardrails\nTraining usage: assumption_check\nGraph gold label: supported_by_verification_signal\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#11\nEvidence:\nGraph motif: Security/auth change without enough guardrails\nMotif id: security_auth_without_guardrails\nPolarity: bad\nTraining usage: assumption_check\nSeverity: critical\nRepo: QEDGen/qedsvm\nThread: QEDGen/qedsvm#11\nGraph gold label: supported_by_verification_signal\nThread graph evidence:\nGitHub issue/PR evidence subgraph\nThread: QEDGen/qedsvm#11\nRepo: QEDGen/qedsvm\nIssue/PR number: 11\nGraph consistency label: supported_by_verification_signal\nNodes: 33\nEdges: 56\nNode types: {'commit': 12, 'link_quality': 7, 'comment': 5, 'comment_chain': 5, 'thread': 1, 'repo': 1, 'issue_chain': 1, 'fix_outcome': 1}\nEdge types: {'comment_chain_links_commit': 25, 'chain_has_link_quality': 7, 'thread_has_comment': 5, 'thread_has_comment_chain': 5, 'comment_has_chain': 5, 'issue_chain_has_comment_chain': 5, 'repo_has_thread': 1, 'thread_has_issue_chain': 1, 'thread_has_fix_outcome': 1, 'issue_chain_has_fix_outcome': 1}\nLabels: {'verification_or_tests': 5, 'claimed_resolved_with_verification_signal': 5, 'human_reported_issue_then_verified_fix_attempt': 3, 'bug_fix': 3, 'dependency_or_build': 3, 'security_auth_secret': 2, 'human_feedback_general': 2, 'comment_has_related_commit_context': 2, 'ambiguous_needs_more_evidence': 2, 'thread_has_human_issue_and_fix_context': 2, 'issue_or_pull_request_thread': 1, 'test_ci_gap': 1, 'security_or_secrets': 1}\nOutcomes: {'claimed_resolved_with_verification_signal': 10, 'ambiguous_needs_more_evidence': 4}\nQuality tiers: {'high_confidence': 7}\nCI labels: {}\nCurriculum targets:\n- Train auth boundary repair with tests, permission matrices, and secret-handling checks.\n- Keep risky auth changes separate from ordinary bug-fix examples.\nAssumption checks:\n- Are auth/permission paths covered by tests?\n- Are secrets, CORS, or access rules verified rather than summarized?", "source": "foundry_mined_dataset", "repo_url": "https://github.com/QEDGen/qedsvm", "source_id": "graph-query-motif_query-64d905635443e39c", "synthetic": false, "gold_label": "", "graph_label": "", "source_path": "/data/distillate/foundry_data/graph_queries/security_auth_guardrail_gaps/shard-0.jsonl", "bundle_label": "", "priority_band": "", "priority_score": 0, "repo_full_name": "QEDGen/qedsvm", "source_dataset": "graph_queries/security_auth_guardrail_gaps", "training_usage": "assumption_check"}}}, {"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-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-1adbe6d14fbf47f8", "level": "note", "message": {"text": "Very large file: qedsvm-rs/tests/diff_mollusk.rs (3723 lines)"}, "properties": {"repobilityId": "3534cc957b686c30", "scanner": "scanner-primary", "fingerprint": "1adbe6d14fbf47f8", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["complexity"]}}, {"ruleId": "scanner-aafaf698d51a1c64", "level": "note", "message": {"text": "Very large file: qedsvm-rs/qedrecover/src/main.rs (1740 lines)"}, "properties": {"repobilityId": "168c07cc76dcb262", "scanner": "scanner-primary", "fingerprint": "aafaf698d51a1c64", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["complexity"]}}, {"ruleId": "scanner-2d0c7b7ab8f8aacf", "level": "warning", "message": {"text": "Critical user flow still appears backed by mock or placeholder data"}, "properties": {"repobilityId": "7862e72865b4f4d3", "scanner": "scanner-primary", "fingerprint": "2d0c7b7ab8f8aacf", "layer": "quality", "severity": "medium", "confidence": 1.0, "tags": ["placeholder", "mock-data", "critical-flow", "generated-repo-pattern"]}}, {"ruleId": "scanner-ea8f3013f588db25", "level": "note", "message": {"text": "Shallow git history limits provenance confidence"}, "properties": {"repobilityId": "76c5c7820e2e4f07", "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": "feb5dfe05cbe4848", "scanner": "scanner-primary", "fingerprint": "8424db9c75e04ba4", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["provenance", "git-history", "generated-repo-pattern"]}}]}]}