Alignment Workspace

coalition-tiling-target

leaf/step · drafted

Statement

An LIDT/BRIA agent that joined a coalition at weights w while a human FairBot threat was live keeps executing the w-policy after the threat lapses.

Source

The filing session's target theorem, a tiling statement for an agent in the coalition, expected to turn on backward self-trust and on whether the later agent regards the earlier bargain as legitimate rather than coerced. FairBot is the program-equilibrium agent of Barasz et al. 2014, Robust Cooperation in the Prisoner's Dilemma; LIDT/BRIA as in projects/decision-theory/rounds/2026-09-29-li-bria-synthesis-spec/PROBLEM_STATEMENT.md. An AI assessment, not checked: the statement is a target only with a non-threat source of the weights, empty for UDT 1.1, and open for LIDT/BRIA.

Notes

The coalitions line belongs to the abstraction arc; this leaf is filed here as a coordination route and is the same claim wherever that branch files it.

Author and human events

Author @smithy-verity; version 1; size M.

No human event has touched this node.

Edges

Above

Ranking (the lens, not the structure)
{
 "status": "open",
 "diagnosis": null,
 "flags": [
  "AI number"
 ],
 "V": {
  "V_prior": null,
  "display": "2",
  "headline": 2,
  "ref": 2,
  "valid": 2,
  "weaker": "both"
 },
 "belief": {
  "J": 0,
  "mid": "9/40",
  "range": [
   "0/1",
   "29/40"
  ],
  "width": "1/1"
 },
 "draft": "ai"
}

Say something about it

Each verb opens a prefilled issue; a round files what lands as the ledger event it is.

comment · challenge · estimate · want