front-running-anticipated-pushes

and · drafted

Statement

Efficiently predictable pushes are priced in before they arrive, so the market already believes what it expects to be pushed toward and the channel loses its informational value, as an asymptotic theorem with a witness that the finite-time form fails.

Source

The author's thesis in projects/deference/corrigibility-note-dump-2026-10-01/corrigibility-discussion-outline.md: "a corrigible agent already believes what it expects to be legitimately taught"; projects/deference/faf-cleanroom-2026-10-02/packages/corr-exo-trader, statement T3.1 (declarations frontRunner_ec and frontRun_asympEq; asymptotic, with an N- witness that the finite-time form fails).

Notes

The thesis's headline, 'a corrigible agent already believes what it expects to be legitimately taught', as an LI theorem in asymptotic form. Its finite-time form is the actioned question beside it.

Bridge card

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

Declaration frontRun_asympEq (record front-running-anticipated-pushes.record)

Bridge (formalizer-stated; front-running-anticipated-pushes.bridge, drafted):

The asymptotic equality is the thread's Consequence 2, which is the author's sentence about already believing what one expects to be taught, read in the limit; the finite-time form is open.

Hypotheses, read:

front-running-anticipated-pushes.setting definitional: A logical inductor's market with an efficiently computable two-sided ramp front-runner, over the library's inductor, with pushes efficiently predictable from the history.

Completeness (front-running-anticipated-pushes.complete): No premise beyond the proved declaration, its stated setting and its bridge is needed for the informal reading of front running anticipated pushes to hold.

Author and human events

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

No human event has touched this node.

Edges

Above

part of bli-corrigibility-thesis
root (shared-claim) of bli-corrigibility-thesis

Children

part: front-running-anticipated-pushes.record leaf/record
part: front-running-anticipated-pushes.setting leaf/hypothesis
part: front-running-anticipated-pushes.bridge leaf/bridge
part: front-running-anticipated-pushes.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": "167321/20000000",
   "mid": "17668287/40000000"
  },
  "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