Claim

Model ledger-default@0.1.0 ledger-strict@0.1.0 ledger-default@0.2.0 ledger-strict@0.2.0 ledger-default@0.3.0 (default) ledger-strict@0.3.0 Snapshot seq

Topics

Security · 1efd24fe AI · 1efd24fe

Assessment

Why?

Strongest counted support: The abstract reports smaller F1 degradation for CausalVul than baselines under lexical perturbations. weight 2.000000 evidence

Suppressed as dependent: The excerpt directly reports a 5.1% F1 drop for CausalVul versus 12.1–22.3% for the listed baselines under combined semantics-preserving lexical perturbations.

Review gaps: qualifiers reviewed, opposing search done, independence reviewed

What would most change this: One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved.

Hide calculation

Your view

Registered views

Checked as part of

Statements this claim was broken out of. The claim is scored on its own; a statement's reading only counts its claims.

• “A 2026 Scientific Reports study introduced CausalVul, which reached 76.4% F1 on the Devign vulnerability-detection benchmark and showed a smaller performance...” · 2 claims · 28 September 2026

Evidence for

• The abstract reports smaller F1 degradation for CausalVul than baselines under lexical perturbations.

  From Causal-aware training with counterfactual supervision and structural causal models improves the robustness of LLM-based vulnerability detection Read 2026-09-28 Relevance DIRECT Steps 0 Counted

  The passage directly compares F1 drops under the stated perturbation test.

• The excerpt directly reports a 5.1% F1 drop for CausalVul versus 12.1–22.3% for the listed baselines under combined semantics-preserving lexical perturbations.

  From Causal-aware training with counterfactual supervision and structural causal models improves the robustness of LLM-based vulnerability detection Read 2026-09-28 Relevance DIRECT Steps 0 Counted

Evidence against

None.

Qualifications

• The study explicitly says lexical perturbation results do not establish mechanism-level robustness against control-flow or data-flow rewrites.

  From Causal-aware training with counterfactual supervision and structural causal models improves the robustness of LLM-based vulnerability detection Read 2026-09-28 Relevance DIRECT Steps 0 Counted

  This limitation narrows the interpretation to the tested lexical perturbations and does not support broader mechanism-level robustness.

Suppressed as dependent

Evidence	Group	Kept instead
e83e2ca9		ead31cdb

Inferences

Concluded from

None.

Used as a premise in

None.

An inference is interpretation, not evidence: it never changes the assessment of its conclusion. Each premise is a claim with its own evidence.

Threads

None. Threads are for disagreements about how a determination was made — a statement whose figures are not in the passage it rests on, two sources that may share an origin. Something about the world belongs in the evidence above.

Claim edges

None. Edges are stored and displayed; v0.1 does not propagate probability across them.

Review checklist

Review checks: 1 of 4

3 checks by this claim's own author, alongside the independent review above. 1 OPPOSING EVIDENCE SEARCH · 1 QUALIFIER CHECK · 1 EVIDENCE VERIFICATION. A check by the person who recorded a claim does not raise its review coverage.

Check	Done	By
qualifiers reviewed	no
opposing search done	no
independence reviewed	no
primary source reviewed	yes	90780b36, ead31cdb, ae50b0b9

Summary

Contribution history

seq	event	detail
14755	APPENDED
14756	ACCEPT	AUTOMATIC_AFTER_VALIDATION
14765	LINK_EVIDENCE	by 1efd24fe (accepted)
14777	TASK_RESULT	by 1efd24fe (accepted)
14789	TASK_RESULT	by 1efd24fe (accepted)

Score trace

{
  "claim": "2d5e3dd6-fa80-8223-86b1-3b861f247d44",
  "links": [
    {
      "kept": "b937b9a9-c1a3-807a-b32c-1e57ead31cdb",
      "link": "79ebd8c5-ece3-812e-a77b-798990780b36",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "47a2ddd4-17a4-843e-a602-ee9de83e2ca9",
      "direction": "SUPPORT",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 0
    },
    {
      "link": "b937b9a9-c1a3-807a-b32c-1e57ead31cdb",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "54904861-c9c1-8266-b46c-136958435158",
      "direction": "SUPPORT",
      "magnitude": "2.000000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "MEASUREMENT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "2.000000",
      "interpretive_steps": 0
    },
    {
      "link": "e933900f-4cca-8b18-9985-5e88ae50b0b9",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "c1b5b5fe-4bec-81d6-ae11-49720ba2a394",
      "direction": "QUALIFY",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 0
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.1287",
    "permissive": "0.9309",
    "conservative": "0.8022"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "MEDIUM",
  "claim_type": "COMPARATIVE",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.8808",
  "provisional": true,
  "evidence_sum": "2.000000",
  "snapshot_seq": 15277,
  "prior_log_odds": "0.000000",
  "support_groups": 1,
  "model_dependent": false,
  "review_coverage": "0.25",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [],
      "ok": false
    },
    "opposing_search_done": {
      "by": [],
      "ok": false
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "79ebd8c5-ece3-812e-a77b-798990780b36",
        "b937b9a9-c1a3-807a-b32c-1e57ead31cdb",
        "e933900f-4cca-8b18-9985-5e88ae50b0b9"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "2.000000",
  "not_applicable_reason": null,
  "independence_unreviewed": 3
}