{
  "source_proofs": [
    "AP.1--AP.14",
    "AP.15--AP.28",
    "AP.29--AP.32"
  ],
  "module_sides": {
    "input": "right D_X",
    "transfer": "left D_X, right f^-1 D_Y",
    "output": "right D_Y"
  },
  "actual_projection": "Rf_* F tensor_(O_Y) D_Y, with the full right action",
  "general_n_bound": [
    "-n",
    "2n"
  ],
  "segment_length": "s=3n+1",
  "cone_bound": [
    "-4n-2",
    "-n-2"
  ],
  "degree_samples": [
    {
      "n": 0,
      "s": 1,
      "finite_segment": [
        -1,
        0
      ],
      "actual_output": [
        0,
        0
      ],
      "cone": [
        -2,
        -2
      ]
    },
    {
      "n": 1,
      "s": 4,
      "finite_segment": [
        -4,
        0
      ],
      "actual_output": [
        -1,
        2
      ],
      "cone": [
        -6,
        -3
      ]
    },
    {
      "n": 2,
      "s": 7,
      "finite_segment": [
        -7,
        0
      ],
      "actual_output": [
        -2,
        4
      ],
      "cone": [
        -10,
        -4
      ]
    },
    {
      "n": 3,
      "s": 10,
      "finite_segment": [
        -10,
        0
      ],
      "actual_output": [
        -3,
        6
      ],
      "cone": [
        -14,
        -5
      ]
    },
    {
      "n": 4,
      "s": 13,
      "finite_segment": [
        -13,
        0
      ],
      "actual_output": [
        -4,
        8
      ],
      "cone": [
        -18,
        -6
      ]
    }
  ],
  "jet_example": {
    "m": 3,
    "basis": [
      "1",
      "z",
      "z^2"
    ],
    "support": "one point",
    "output_degree": 0,
    "dimension": 3
  },
  "diagram_scope": "Exact maps and cohomological intervals. Boxes do not depict a metric fibre.",
  "finite_samples_are_general_proof": false
}