{
  "schema": "OMEGA_KERNEL_NODES",
  "version": "1.0",
  "normative_seed": {
    "epsilon_exact": "pi/648000",
    "epsilon_arcseconds": 1,
    "epsilon_binary64": 4.84813681109536e-06
  },
  "presentation": {
    "default_display_angle_degrees": 12,
    "display_is_non_normative": true,
    "export_uses_true_epsilon": true
  },
  "realization": {
    "alpha": [
      0,
      0,
      0
    ],
    "a": 1,
    "u": [
      0,
      -1,
      0
    ],
    "v": [
      1,
      0,
      0
    ],
    "n": [
      0,
      0,
      1
    ]
  },
  "nodes": [
    {
      "id": "alpha",
      "label": "α",
      "claim_tag": "kernel",
      "proof_step": 1,
      "chapter": "kernel",
      "normalized_uv": {
        "u": {
          "exact": "0",
          "binary64": 0
        },
        "v": {
          "exact": "0",
          "binary64": 0
        }
      },
      "xyz": {
        "x": 0,
        "y": 0,
        "z": 0
      }
    },
    {
      "id": "d",
      "label": "d",
      "claim_tag": "kernel",
      "proof_step": 1,
      "chapter": "kernel",
      "normalized_uv": {
        "u": {
          "exact": "c",
          "binary64": 0.9999999999970619
        },
        "v": {
          "exact": "-s",
          "binary64": -2.424068405545306e-06
        }
      },
      "xyz": {
        "x": -2.424068405545306e-06,
        "y": -0.9999999999970619,
        "z": 0
      }
    },
    {
      "id": "b",
      "label": "b",
      "claim_tag": "kernel",
      "proof_step": 1,
      "chapter": "kernel",
      "normalized_uv": {
        "u": {
          "exact": "c",
          "binary64": 0.9999999999970619
        },
        "v": {
          "exact": "+s",
          "binary64": 2.424068405545306e-06
        }
      },
      "xyz": {
        "x": 2.424068405545306e-06,
        "y": -0.9999999999970619,
        "z": 0
      }
    },
    {
      "id": "d1",
      "label": "d₁",
      "claim_tag": "kernel",
      "proof_step": 2,
      "chapter": "kernel",
      "normalized_uv": {
        "u": {
          "exact": "c",
          "binary64": 0.9999999999970619
        },
        "v": {
          "exact": "-(1+s)",
          "binary64": -1.0000024240684056
        }
      },
      "xyz": {
        "x": -1.0000024240684056,
        "y": -0.9999999999970619,
        "z": 0
      }
    },
    {
      "id": "b1",
      "label": "b₁",
      "claim_tag": "kernel",
      "proof_step": 2,
      "chapter": "kernel",
      "normalized_uv": {
        "u": {
          "exact": "c",
          "binary64": 0.9999999999970619
        },
        "v": {
          "exact": "+(1+s)",
          "binary64": 1.0000024240684056
        }
      },
      "xyz": {
        "x": 1.0000024240684056,
        "y": -0.9999999999970619,
        "z": 0
      }
    },
    {
      "id": "d2",
      "label": "d₂",
      "claim_tag": "kernel",
      "proof_step": 2,
      "chapter": "kernel",
      "normalized_uv": {
        "u": {
          "exact": "c",
          "binary64": 0.9999999999970619
        },
        "v": {
          "exact": "-(phi^2+s)",
          "binary64": -2.6180364128183005
        }
      },
      "xyz": {
        "x": -2.6180364128183005,
        "y": -0.9999999999970619,
        "z": 0
      }
    },
    {
      "id": "b2",
      "label": "b₂",
      "claim_tag": "kernel",
      "proof_step": 2,
      "chapter": "kernel",
      "normalized_uv": {
        "u": {
          "exact": "c",
          "binary64": 0.9999999999970619
        },
        "v": {
          "exact": "+(phi^2+s)",
          "binary64": 2.6180364128183005
        }
      },
      "xyz": {
        "x": 2.6180364128183005,
        "y": -0.9999999999970619,
        "z": 0
      }
    },
    {
      "id": "S",
      "label": "S",
      "claim_tag": "optional",
      "proof_step": null,
      "chapter": "scaffold",
      "normalized_uv": {
        "u": {
          "exact": "c-phi^2",
          "binary64": -1.618033988752833
        },
        "v": {
          "exact": "0",
          "binary64": 0
        }
      },
      "xyz": {
        "x": 0,
        "y": 1.618033988752833,
        "z": 0
      }
    },
    {
      "id": "E",
      "label": "E",
      "claim_tag": "optional",
      "proof_step": null,
      "chapter": "scaffold",
      "normalized_uv": {
        "u": {
          "exact": "c+phi^2",
          "binary64": 3.618033988746957
        },
        "v": {
          "exact": "-(phi^2+s)",
          "binary64": -2.6180364128183005
        }
      },
      "xyz": {
        "x": -2.6180364128183005,
        "y": -3.618033988746957,
        "z": 0
      }
    },
    {
      "id": "L",
      "label": "L",
      "claim_tag": "optional",
      "proof_step": null,
      "chapter": "scaffold",
      "normalized_uv": {
        "u": {
          "exact": "c+phi^2",
          "binary64": 3.618033988746957
        },
        "v": {
          "exact": "+(phi^2+s)",
          "binary64": 2.6180364128183005
        }
      },
      "xyz": {
        "x": 2.6180364128183005,
        "y": -3.618033988746957,
        "z": 0
      }
    }
  ],
  "excluded_features": [
    {
      "id": "outer_circle",
      "claim_tag": "not_implied"
    },
    {
      "id": "clam",
      "claim_tag": "not_implied"
    },
    {
      "id": "shell",
      "claim_tag": "not_implied"
    },
    {
      "id": "extrusion",
      "claim_tag": "not_implied"
    },
    {
      "id": "signed_depth",
      "claim_tag": "not_implied"
    }
  ]
}