{
  "schema": "anchored-transfer-figure/v1",
  "original_drawing_license": "CC0",
  "toy_groupoid": "G=T={0,1}, only units",
  "half_mass_paths": {
    "y0": "(3/5+2s/5) delta_1_0",
    "y1": "(9/10+s/10) delta_1_1"
  },
  "probability_paths": {
    "y0": "(1-s)*2/5",
    "y1": "(1-s)*7/10+s"
  },
  "exact_endpoint_checks": [
    true,
    true,
    true,
    true
  ],
  "canvas": [
    2400,
    1530
  ],
  "text_canvas_overflows": [],
  "proof_locators": [
    "AS.11-AS.14",
    "AS.15-AS.16",
    "AS.17-AS.21"
  ],
  "human_provenance": "Jean-Louis Tu, original 2004 printed pp.282-284, Proposition 3.2; the anchored argument is proved in K-theory of the leaf space, Section 11AD.3",
  "font_source": "fonts/DejaVuSans.ttf",
  "font_notice_source": "FONT-NOTICE.txt"
}