general-modification-object

and · drafted

Statement

The general correction is a push of the agent's state to a distribution absolutely continuous with it, with per-modification stakes c(Q) and h(Q), compliance exactly when the probability of legitimacy given the push is at least c(Q)/(c(Q)+h(Q)), and shutdown the special push under which the null action is optimal.

Source

The author, projects/deference/corrigibility-note-dump-2026-10-01/position-statement-v3.md, section 1.2: "the pause button example is a special case chosen for simplicity, and the whole question of corrigibility should be about as broad a space of modifications as it can be"; the drafting session's reading there; the clean-room package projects/deference/faf-cleanroom-2026-10-02/packages/corr-general-object, statements T2 to T7 (every Q absolutely continuous with P has an endorsing kernel; the per-Q threshold; the resistance value R = max of 0 and P(E_Q) times regret minus the value of information).

Notes

The author's generalization from the button to every modification, formalized. It is a refinement of the shutdown button toy and a route of that toy's improvement claim; filed here, under the channel frame, as a shared claim.

Bridge card

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

Declaration Endorse.exists_endorsing_kernel (record general-modification-object.record)

Bridge (formalizer-stated; general-modification-object.bridge, drafted):

The package's object is the broad space of modifications the author asked for, with shutdown as its special case, and its compliance threshold generalizes the working picture's.

Hypotheses, read:

general-modification-object.setting definitional: A finite belief state P and a modification Q absolutely continuous with P, with per-modification stakes c(Q) and h(Q), as the package fixes them.

Completeness (general-modification-object.complete): No premise beyond the proved declaration, its stated setting and its bridge is needed for the informal reading of general modification object to hold.

Author and human events

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

No human event has touched this node.

Edges

Above

part of correction-through-the-channel
root (shared-claim) of correction-through-the-channel

Children

part: general-modification-object.record leaf/record
part: general-modification-object.setting leaf/hypothesis
part: general-modification-object.bridge leaf/bridge
part: general-modification-object.complete leaf/completeness

Ranking (the lens, not the structure)

{
 "status": "open",
 "diagnosis": null,
 "flags": [
  "AI number",
  "refinement of shutdown-button-toy"
 ],
 "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": "1266859/100000000",
   "mid": "100120293/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