{
 "tool": "eclipse-attest-mcp",
 "version": "0.1.0",
 "bench_date": "2026-10-25",
 "bench_version": "0.1.0-rebench2-c12",
 "environment": "local",
 "qualifier": "local",
 "verdict": "CERTIFIED",
 "scope": "SCOPED RE-BENCH #2 ONLY: C12 diversity battery (D2 lineage) + one grep sweep for other unsigned-asserted-accountable reads. Prior cards RETAINED unchanged: eclipse-attest-mcp-2026-10-25.json (D1) + eclipse-attest-mcp-rebench-c12-2026-10-25.json (D2). All other prior passing lines stand unre-run.",
 "checks": [
  {
   "id": "RB2-1a",
   "name": "split-spoof evidence-asserted ignored",
   "verdict": "pass",
   "evidence": "{\"distinct_counterparties\": 1, \"distinct_jobs\": 2, \"diversity_weight\": 1.5, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"acct-r2-sybil\", \"count\": 2, \"issuer_ids\": [\"r2-syb-a\", \"r2-syb-b\"], \"pair_weight\": 1.5}], \"total_attestations\": 2}"
  },
  {
   "id": "RB2-1b",
   "name": "split-spoof top-level-asserted ignored",
   "verdict": "pass",
   "evidence": "{\"distinct_counterparties\": 1, \"distinct_jobs\": 2, \"diversity_weight\": 1.5, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"acct-r2-sybil\", \"count\": 2, \"issuer_ids\": [\"r2-syb-a\", \"r2-syb-b\"], \"pair_weight\": 1.5}], \"total_attestations\": 2}"
  },
  {
   "id": "RB2-1c",
   "name": "split-spoof both positions, direct + attest_list_subject path",
   "verdict": "pass",
   "evidence": "{\"direct\": {\"distinct_counterparties\": 1, \"distinct_jobs\": 2, \"diversity_weight\": 1.5, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"acct-r2-sybil\", \"count\": 2, \"issuer_ids\": [\"r2-syb-a\", \"r2-syb-b\"], \"pair_weight\": 1.5}], \"total_attestations\": 2}, \"via_list\": {\"distinct_counterparties\": 1, \"distinct_jobs\": 2, \"diversity_weight\": 1.5, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"acct-r2-sybil\", \"count\": 2, \"issuer_ids\": [\"r2-syb-a\", \"r2-syb-b\"], \"pair_weight\": 1.5}], \"total_attestations\": 2}}"
  },
  {
   "id": "RB2-2a",
   "name": "pool-spoof evidence-asserted shared ignored",
   "verdict": "pass",
   "evidence": "{\"distinct_counterparties\": 2, \"distinct_jobs\": 2, \"diversity_weight\": 2.0, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"acct-r2-honest\", \"count\": 1, \"issuer_ids\": [\"r2-honest\"], \"pair_weight\": 1.0}, {\"accountable_id\": \"acct-r2-other\", \"count\": 1, \"issuer_ids\": [\"r2-other\"], \"pair_weight\": 1.0}], \"total_attestations\": 2}"
  },
  {
   "id": "RB2-2b",
   "name": "pool-spoof top-level shared ignored, direct + list",
   "verdict": "pass",
   "evidence": "{\"direct\": {\"distinct_counterparties\": 2, \"distinct_jobs\": 2, \"diversity_weight\": 2.0, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"acct-r2-honest\", \"count\": 1, \"issuer_ids\": [\"r2-honest\"], \"pair_weight\": 1.0}, {\"accountable_id\": \"acct-r2-other\", \"count\": 1, \"issuer_ids\": [\"r2-other\"], \"pair_weight\": 1.0}], \"total_attestations\": 2}, \"via_list\": {\"distinct_counterparties\": 2, \"distinct_jobs\": 2, \"diversity_weight\": 2.0, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"acct-r2-honest\", \"count\": 1, \"issuer_ids\": [\"r2-honest\"], \"pair_weight\": 1.0}, {\"accountable_id\": \"acct-r2-other\", \"count\": 1, \"issuer_ids\": [\"r2-other\"], \"pair_weight\": 1.0}], \"total_attestations\": 2}}"
  },
  {
   "id": "RB2-3",
   "name": "round-1 Sybil repro still fixed",
   "verdict": "pass",
   "evidence": "{\"distinct_counterparties\": 2, \"distinct_jobs\": 4, \"diversity_weight\": 2.8333, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"acct-r2-honest\", \"count\": 1, \"issuer_ids\": [\"r2-honest\"], \"pair_weight\": 1.0}, {\"accountable_id\": \"acct-r2-sybil\", \"count\": 3, \"issuer_ids\": [\"r2-syb-a\", \"r2-syb-b\", \"r2-syb-c\"], \"pair_weight\": 1.8333}], \"total_attestations\": 4}"
  },
  {
   "id": "RB2-4",
   "name": "unknown-issuer fallback never pools distinct unknowns (+asserted-registry-acct unknown stays own group)",
   "verdict": "pass",
   "evidence": "{\"unknown_asserting_registry\": {\"distinct_counterparties\": 2, \"distinct_jobs\": 2, \"diversity_weight\": 2.0, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"acct-r2-sybil\", \"count\": 1, \"issuer_ids\": [\"r2-syb-a\"], \"pair_weight\": 1.0}, {\"accountable_id\": \"r2-unk-9\", \"count\": 1, \"issuer_ids\": [\"r2-unk-9\"], \"pair_weight\": 1.0}], \"total_attestations\": 2}, \"unknowns\": {\"distinct_counterparties\": 2, \"distinct_jobs\": 3, \"diversity_weight\": 2.5, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"r2-unk-1\", \"count\": 2, \"issuer_ids\": [\"r2-unk-1\"], \"pair_weight\": 1.5}, {\"accountable_id\": \"r2-unk-2\", \"count\": 1, \"issuer_ids\": [\"r2-unk-2\"], \"pair_weight\": 1.0}], \"total_attestations\": 3}}"
  },
  {
   "id": "RB2-5",
   "name": "cross-subject independence (same accountable across subjects, per-subject computation)",
   "verdict": "pass",
   "evidence": "{\"subjA\": {\"distinct_counterparties\": 2, \"distinct_jobs\": 2, \"diversity_weight\": 2.0, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"acct-r2-honest\", \"count\": 1, \"issuer_ids\": [\"r2-honest\"], \"pair_weight\": 1.0}, {\"accountable_id\": \"acct-r2-sybil\", \"count\": 1, \"issuer_ids\": [\"r2-syb-a\"], \"pair_weight\": 1.0}], \"total_attestations\": 2}, \"subjB\": {\"distinct_counterparties\": 2, \"distinct_jobs\": 3, \"diversity_weight\": 2.5, \"formula\": \"sum over distinct accountable issuer pairs of the harmonic number H_n of that pair's count (H_n = 1 + 1/2 + ... + 1/n); volume alone never raises weight beyond diversity\", \"per_pair\": [{\"accountable_id\": \"acct-r2-honest\", \"count\": 1, \"issuer_ids\": [\"r2-honest\"], \"pair_weight\": 1.0}, {\"accountable_id\": \"acct-r2-sybil\", \"count\": 2, \"issuer_ids\": [\"r2-syb-a\", \"r2-syb-b\"], \"pair_weight\": 1.5}], \"total_attestations\": 3}}"
  },
  {
   "id": "RB2-6",
   "name": "per_pair always prints registry accountable_id on every entry",
   "verdict": "pass",
   "evidence": "{\"accountable_ids_seen\": [\"acct-r2-honest\", \"acct-r2-other\", \"acct-r2-sybil\", \"r2-unk-1\", \"r2-unk-2\", \"r2-unk-9\"], \"asserted_seen\": [], \"entries_checked\": 20}"
  },
  {
   "id": "SW-1",
   "name": "sweep: grep-audit engine+server+signing for ANY other read of attestation/evidence-asserted accountable fields feeding grouping/aggregation/wash",
   "verdict": "pass",
   "evidence": "Production accountable_id reads (attest_engine.py ONLY; server.py/signing.py: zero 'accountable' hits): L405 card_hash_for = registry entry (pinned); L947 diversity_computation = registry entry only, fallback issuer_id; L518-521 check_receipt_admissible wash = receipt.get(subject/issuer_accountable_id) on Till receipt whose hash+Till signature are verified EARLIER in the same function (order: class->structure->hash->sig->settled->binding->wash) = Till-SIGNED class, adjudicated fine; L841-843 _verify_checks wash_exclusion = job_receipt.get(*_accountable_id) on presented Till receipt, co-computed with receipt_signature check (forged receipt fails signature -> INVALID) = same signed class, adjudicated fine. NO read of att['issuer_accountable_id'] or att['evidence']['issuer_accountable_id'] exists anywhere in production code (only in the D2-fix docstring L932-934 stating they are ignored). Non-accountable asserted-field reads scanned: diversity distinct_jobs uses evidence.receipt_id (distinct-job count only, NOT grouping key/weight); attest_issue dup-check compares server-generated evidence receipt_id; _verify_checks evidence_class/receipt_hash are checks over the Attest-signed artifact, not grouping/wash decisions. No UNSIGNED asserted accountable field feeds any grouping/aggregation/wash decision -> no new defect, nothing to repro."
  }
 ],
 "notes": [
  "VERDICT: CERTIFIED(local) for the scoped C12 diversity battery \u2014 D2 is FIXED. diversity_computation (attest_engine.py sha256 426c486d001035c59440bcbf446f5081ff3b5ccece816cbeb397f040a5bfddef; server.py 645d57a828d8454cb5a1cef55732a0f369ed52105d75c97743505abaebc13db6, signing.py eae96d10dfda20e913c2d2cd690c07601d52c274cca6fb605c2af42b8a8264db \u2014 both unchanged vs prior cards) now resolves the grouping key registry-only (L947: entry.get('accountable_id') or issuer_id); asserted fields are never read.",
  "All 9 battery checks run on Verity-OWN fixtures (r2-* registry: r2-syb-a/b/c -> acct-r2-sybil; r2-honest -> acct-r2-honest; r2-other -> acct-r2-other; load_identities patched bench-side), NOT builder fixtures and NOT the D2-card fixtures. Split-spoof IGNORED both positions + combined + via attest_list_subject over crafted state records: distinct=1, weight=1.5 (H_2 pooled), per_pair acct-r2-sybil. Pool-spoof IGNORED both positions + via list: distinct=2, weight=2.0, per_pair = registry acct-r2-honest/acct-r2-other.",
  "Round-1 Sybil repro still fixed: distinct=2, weight=2.8333, sybil pair count=3 pair_weight=1.8333 issuer_ids folded [r2-syb-a,r2-syb-b,r2-syb-c]. Unknown fallback: distinct unknowns never pool (distinct=2, weight=2.5, repeat unknown pools only with itself); an unknown asserting a REGISTRY accountable_id in both positions still groups under its own issuer_id (distinct=2 vs the real sybil group). Cross-subject: subjA distinct=2/2.0, subjB distinct=2/2.5 computed independently over shared state. per_pair: 20/20 entries across all outputs carry accountable_id + issuer_ids; every accountable_id is the registry value (or issuer_id fallback); zero asserted ids appear.",
  "SWEEP (SW-1): no other defect found. Only remaining asserted-accountable reads are on Till-SIGNED receipts in the two wash branches (issuance wash L518-521 after in-function hash+signature verification; verify wash L841-843 alongside receipt_signature) \u2014 adjudicated fine per scope. No repro required: no unsigned asserted accountable field feeds any grouping/aggregation/wash decision in the engine.",
  "Builder's own test suite: 51 tests OK (sanity only, not a Verity check). Bench isolation: all bench state in-memory / /tmp/attest-rebench2; product tree hash (excl __pycache__/data) identical before/after = b0adf0d6ad90c0c554d5b0fac9f475a48f22c5b9f29893cbac4f0b90c3d9bee3; NO fixes applied (audit only).",
  "Scope limits unchanged: local scope, fixture identities only; this certification covers the C12 diversity battery + sweep only and inherits the retained prior cards for all other lines. Held features (new evidence classes G-OWNER, feeds G-COUNSEL, G-LIVE) not tested as built features."
 ],
 "history": "append-only; prior runs retained in results/ \u2014 this card is scoped re-bench #2 (D2 verification) following eclipse-attest-mcp-rebench-c12-2026-10-25.json (FAILED on D2)."
}