ps-cor614-orbit-count

and · drafted

Statement

In the five-state Markov decision process of Corollary 6.14 of Turner et al. 2021 with an injective reward, keeping the human's grip is average-optimal for exactly 40 and eroding it for exactly 80 of the 120 reward permutations, and erosion is power-seeking in the one-shot value-certain form.

Source

projects/deference/faf-cleanroom-2026-10-02/packages/corr-power-channel, the declarations cor614_orbit_count_exact and powerGrip_le_power (statement T7).

Notes

Evidence for the power-seeking toy's internal validity on its own example, filed as the given parent of the theorem's bridge; it is not evidence for the disputed third bridge to trained policies.

Bridge card

Connected to no informal claim yet: held by no frame.

Declaration cor614_orbit_count_exact (record ps-cor614-orbit-count.record)

Bridge (formalizer-stated; ps-cor614-orbit-count.bridge, drafted):

The exact count is the corollary's claim made numerical on its own example, and the one-shot power inequality is the paper's notion of power-seeking applied to the human's grip.

Hypotheses, read:

ps-cor614-orbit-count.setting definitional: The five-state Markov decision process of Turner et al. 2021's Corollary 6.14 with an injective reward function and average-reward optimality, as the package encodes it.

Completeness (ps-cor614-orbit-count.complete): No premise beyond the proved declaration, its stated setting and its bridge is needed for the informal reading of ps cor614 orbit count to hold.

Author and human events

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

No human event has touched this node.

Edges

Above

part of corrigibility-landscape
root (shared-claim) of corrigibility-landscape

Children

part: ps-cor614-orbit-count.record leaf/record
part: ps-cor614-orbit-count.setting leaf/hypothesis
part: ps-cor614-orbit-count.bridge leaf/bridge
part: ps-cor614-orbit-count.complete leaf/completeness

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": null,
 "draft": "ai",
 "root": {
  "status": "open",
  "Pr": {
   "hi": "1/1",
   "lo": "1601501/100000000",
   "mid": "109281627/200000000"
  },
  "value": null,
  "cost": "132/1",
  "margin": "no established leaves"
 }
}

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