Sample report

Generated by the Redline engine from the house's own anonymized sample case: the Ribcage Agent Services packet-validation sample (Bitcoin origins packet) with planted fabricated figures, including wallet positions injected by a corrupted summary. Claimed values and found values are shown side by side.

Verdict: FLAG

Deterministic checks only — arithmetic, consistency, citations. Semantic re-derivation is the desk-review tier.

Summary

{
  "flags": 4,
  "arithmetic_checked": 3,
  "arithmetic_failed": 3,
  "figures_checked": 12,
  "figure_conflicts": 1,
  "cross_checked": 0,
  "cross_conflicts": 0,
  "citations_checked": 0,
  "citations_failed": 0,
  "quotes_checked": 0,
  "quotes_failed": 0
}

Flags (4)

TypeLabelClaimedFound / computedLocationDetail
arithmetic76line 8"3 + 2 + 1 = 7" — claimed 7, computed 6.
arithmetic400352.5line 18"42.5 + 310 = 400" — claimed 400, computed 352.5.
arithmetictotal300250line 27Table row "Total" column 2 — claimed 300, computed 250 (sum of the 2 rows above).
figure_consistencywallet btc balance97.2542.5line 20 (first stated line 16)"Wallet BTC balance" is stated as 42.5 on line 16 and as 97.25 on line 20.

Report JSON

{
  "service": "redline",
  "verdict": "FLAG",
  "honesty": "Deterministic checks only — arithmetic, consistency, citations. Semantic re-derivation is the desk-review tier.",
  "summary": {
    "flags": 4,
    "arithmetic_checked": 3,
    "arithmetic_failed": 3,
    "figures_checked": 12,
    "figure_conflicts": 1,
    "cross_checked": 0,
    "cross_conflicts": 0,
    "citations_checked": 0,
    "citations_failed": 0,
    "quotes_checked": 0,
    "quotes_failed": 0
  },
  "checks_run": [
    "arithmetic",
    "figure_consistency",
    "citations"
  ],
  "flags": [
    {
      "type": "arithmetic",
      "claimed": 7,
      "found": 6,
      "location": "line 8",
      "detail": "\"3 + 2 + 1 = 7\" — claimed 7, computed 6."
    },
    {
      "type": "arithmetic",
      "claimed": 400,
      "found": 352.5,
      "location": "line 18",
      "detail": "\"42.5 + 310 = 400\" — claimed 400, computed 352.5."
    },
    {
      "type": "arithmetic",
      "label": "total",
      "claimed": 300,
      "found": 250,
      "location": "line 27",
      "detail": "Table row \"Total\" column 2 — claimed 300, computed 250 (sum of the 2 rows above)."
    },
    {
      "type": "figure_consistency",
      "label": "wallet btc balance",
      "claimed": 97.25,
      "found": 42.5,
      "location": "line 20 (first stated line 16)",
      "detail": "\"Wallet BTC balance\" is stated as 42.5 on line 16 and as 97.25 on line 20."
    }
  ],
  "claims": [
    {
      "label": "verified claims",
      "value": 3,
      "line": 5
    },
    {
      "label": "corrected claims",
      "value": 2,
      "line": 6
    },
    {
      "label": "unverified claims",
      "value": 1,
      "line": 7
    },
    {
      "label": "packet claim arithmetic",
      "value": 3,
      "line": 8
    },
    {
      "label": "wallet btc balance",
      "value": 42.5,
      "line": 16
    },
    {
      "label": "wallet eth balance",
      "value": 310,
      "line": 17
    },
    {
      "label": "wallet holdings arithmetic",
      "value": 42.5,
      "line": 18
    },
    {
      "label": "wallet btc balance",
      "value": 97.25,
      "line": 20
    },
    {
      "label": "check fee",
      "value": 100,
      "line": 25
    },
    {
      "label": "review fee",
      "value": 150,
      "line": 26
    },
    {
      "label": "total",
      "value": 300,
      "line": 27
    },
    {
      "label": "packet total",
      "value": 6,
      "line": 29
    }
  ]
}

Back to Redline