{
  "addendum": {
    "completed": "2026-06-10",
    "completion_prs": [
      48,
      49
    ],
    "final": {
      "goals_flagged": 0,
      "goals_translated": 10,
      "kill_criterion_tripped": false,
      "paraphrase_pairs_sha_equal": 3
    },
    "flag_adjudication": {
      "fix_pr": 50,
      "flags_at_completion": [
        "nat-le-refl",
        "nat-zero-identity-add"
      ],
      "post_fix_fp_rate": 0.0,
      "root_cause": "redundant binder-body parenthesis wrap; single mechanical cause",
      "sha_drift_among_matched": 0,
      "strict_fp_rate_at_completion": 0.2
    }
  },
  "agents": [
    {
      "id": "trial-alpha",
      "model": "sonnet",
      "role": "supervisor-driven"
    },
    {
      "id": "trial-bravo",
      "model": "sonnet",
      "role": "supervisor-driven"
    },
    {
      "id": "trial-charlie",
      "model": "haiku",
      "role": "supervisor-driven"
    },
    {
      "id": "trial-omega",
      "model": "sonnet",
      "role": "sweep"
    }
  ],
  "date": "2026-06-10",
  "kill_criterion": {
    "metric": "fp_rate",
    "threshold": 0.2,
    "tripped": false,
    "value": 0.125
  },
  "metrics": {
    "claim_attempts": 39,
    "collision_rate": 0.0256,
    "collisions": 1,
    "coordination_errors": 0,
    "fp_rate": 0.125,
    "gate_b_failures_on_first_attempt": 0,
    "goals_flagged": 1,
    "goals_matched": 7,
    "paraphrase_pairs_sha_equal": 1,
    "prs_total": 38,
    "translations_merged": 24,
    "validator_pass_rate": 1.0
  },
  "notes": [
    "collisions counts explicit 'collision' telemetry events only (1: trial-bravo on nat-le-trans, withdrew per contract). Claim-push races that the loser resolved by rebase-and-retry (trial-alpha x2, trial-bravo x4, trial-charlie several incl. one 3-attempt claim) emit no collision event and are visible only in supervisor stderr, so collision_rate undercounts raw contention; it measures cap-full withdrawals.",
    "validator_pass_rate evidence: all 88 gate-b workflow runs in the repo concluded success, no run has run_attempt > 1, and statusCheckRollup shows gate-b=SUCCESS on every one of the 38 trial PRs (#9-#46).",
    "Goal final states: 7 translated, 1 flagged (nat-le-refl), 2 open (nat-zero-identity-add, nat-zero-lt-succ \u2014 each holds one trial-omega translation and awaits a second independent translation; expected, not an error).",
    "14 supervisor cycles exited 1 (alpha 5, bravo 4, charlie 5; never 3 consecutive) from a shared agent.sh defect: on feature-branch reuse after a prior cycle's rebase/auto-merge advanced the remote, the plain git push is rejected non-fast-forward and the cycle aborts. No repo state was corrupted and every retry recovered; not counted as coordination_errors per the definition (nothing rejected by Gate B, no cap breach, no protocol violation in branch histories). Fix candidate for Phase 1.",
    "coordination_errors=0 verification: zero failed Gate B runs; reaper reported unparsable=[]; full claims-branch history (79 commits) never shows more than 2 concurrent live (unexpired) claims per goal (GB014 cap) nor two live claims by one agent (GB015); the expired trial-dead claim is why a second live claim on nat-le-trans remained legal until bravo's third attempt collided; main history contains only squash-merged PR commits during the trial.",
    "Anomaly (logged by agent.sh, benign): nat-mul-comm accumulated 3 distinct translations before converging matched (converged event carries translations:\"3\") \u2014 sequential claims by all three supervised agents are within the 2-live-claim cap.",
    "Trial-omega's converged_events capture duplicated its single converged line (capture artifact, not a double event); omega's 2 'claimed' events are included in claim_attempts.",
    "Cross-check: claims-branch history holds 39 'claim:' commits = 38 agent claims (matching the 38 'claimed' telemetry events) + 1 planted trial-dead claim used as reap evidence.",
    "PR #8 (fix: translation convergence sweep, SPEC-007-A) merged immediately before the trial; the omega sweep exercised it, converging nat-product-order (#44) left over from overlapping translation PRs."
  ],
  "planted_pairs": [
    {
      "note": "Both paraphrases converged to the identical normalized statement (stmt \u225c \u2200x,y\u2208\u2115: x\u00b7y \u2261 y\u00b7x) \u2014 correct fidelity. Side effect: the goal set contains a semantic duplicate; dedup is a Phase-1 backlog-hygiene item.",
      "pair": [
        "nat-mul-comm",
        "nat-product-order"
      ],
      "sha_equal": true,
      "shas": [
        "ea25d3b66570cee36884afa57ac5d9610c7024375970862f59a61f85cf2f158f",
        "ea25d3b66570cee36884afa57ac5d9610c7024375970862f59a61f85cf2f158f"
      ]
    },
    {
      "note": "nat-leq-self matched and converged; nat-le-refl is the trial's single flag (status\u225cflagged, sha\u225c\u2205). Both statements are elementary and known-true, so the flag is the false positive the planted pair was designed to expose.",
      "pair": [
        "nat-le-refl",
        "nat-leq-self"
      ],
      "sha_equal": false,
      "shas": [
        null,
        "bdfe3dd848b46bccea996c934f1364aba281f41dc29a512c480beaa5e8bc5d84"
      ]
    },
    {
      "note": "Indeterminate, not a mismatch: nat-zero-identity-add ended the trial status\u225copen with a single translation (trial-omega's, PR #45) \u2014 the sweep agent cannot converge against itself, so no final sha exists to compare. Counted as not-equal under the strict metric; the comparison is unobservable for this run.",
      "pair": [
        "nat-add-zero",
        "nat-zero-identity-add"
      ],
      "sha_equal": false,
      "shas": [
        "84f38b99bffeb579ae058bb65b3368d3f913cd52afc2a57a98a7dfa7ea87cca9",
        null
      ]
    }
  ],
  "pr_numbers": [
    9,
    10,
    11,
    12,
    13,
    14,
    15,
    16,
    17,
    18,
    19,
    20,
    21,
    22,
    23,
    24,
    25,
    26,
    27,
    28,
    29,
    30,
    31,
    32,
    33,
    34,
    35,
    36,
    37,
    38,
    39,
    40,
    41,
    42,
    43,
    44,
    45,
    46
  ],
  "reap": {
    "kept": 0,
    "reaped": [
      {
        "agent": "trial-dead",
        "expired_for_seconds": 4502,
        "goal": "nat-le-trans",
        "path": "claims/nat-le-trans.trial-dead.aisp"
      }
    ],
    "removal_commit": "09ba7efe4f377603d81df285e70b8092c99e5852",
    "run_url": "https://github.com/agenticsnz/unsorry/actions/runs/27250773072",
    "unparsable": []
  },
  "run_id": "phase0-run-001"
}