{
  "date": "2026-10-07",
  "script_sha256": "77ce6d6b063c9845641a0811a45960f4c123989ee6484755d9474ce82943e4fe",
  "lattice_controls": {
    "2": {
      "cells": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          0
        ]
      ],
      "modulus": 3,
      "residues": [
        0,
        2,
        1
      ],
      "proof": "Complete distinct residues: every integer cube belongs to exactly one translated chair."
    },
    "3": {
      "cells": [
        [
          0,
          0,
          0
        ],
        [
          0,
          0,
          1
        ],
        [
          0,
          1,
          0
        ],
        [
          0,
          1,
          1
        ],
        [
          1,
          0,
          0
        ],
        [
          1,
          0,
          1
        ],
        [
          1,
          1,
          0
        ]
      ],
      "modulus": 7,
      "residues": [
        0,
        4,
        2,
        6,
        1,
        5,
        3
      ],
      "proof": "Complete distinct residues: every integer cube belongs to exactly one translated chair."
    }
  },
  "chair44_parameter_check": {
    "source": "https://arxiv.org/html/2609.19214v1",
    "source_section": "Appendix E.6",
    "scaling": "c_j=delta*j for every 0<delta<=1",
    "angle_positive_case_minimum_margin": "624/625",
    "minimum_margin_indices": [
      3,
      2
    ],
    "maximum_squared_slope_times_63": "567/625",
    "surface_excess_upper_bound_coefficient": "13/62500",
    "scope": "Exact algebraic checks of the preprint parameter assumptions; no independent check of the tiling proof."
  },
  "L_triomino": {
    "geometry": {
      "area": 3.0,
      "perimeter": 8.0,
      "corner_heat_constant": 0.2777777777777778,
      "angles_over_pi": [
        0.5,
        0.5,
        0.5,
        1.5,
        0.5,
        0.5
      ]
    },
    "exact_corner_heat_constant": "5/18",
    "meshes": {
      "1": {
        "eigenvalues": [
          9.697593133077161,
          15.249287598114321,
          19.832039092490515,
          29.72215954542817,
          32.25025316108483,
          41.955798720002946,
          45.428908061622685,
          49.9151591369071,
          49.92079621754665,
          57.545548187690144,
          66.3870231004232,
          72.33436961150232
        ],
        "area_eigenvalues": [
          29.092779399231482,
          45.747862794342964,
          59.49611727747154,
          89.16647863628451,
          96.75075948325448,
          125.86739616000884,
          136.28672418486806,
          149.7454774107213,
          149.76238865263997,
          172.63664456307043,
          199.1610693012696,
          217.00310883450697
        ],
        "nodes": 1225,
        "triangles": 2320,
        "free_nodes": 1097,
        "max_relative_residual": 1.7606921541369862e-12,
        "mesh_area": 3.0
      },
      "2": {
        "eigenvalues": [
          9.659203248067977,
          15.210432157389247,
          19.762634958306723,
          29.572142327054475,
          32.00972308165884,
          41.6044902611333,
          45.069616807880124,
          49.4909159854941,
          49.49230385945957,
          56.93000347273881,
          65.6311122737416,
          71.39092339881834
        ],
        "area_eigenvalues": [
          28.97760974420393,
          45.63129647216774,
          59.28790487492017,
          88.71642698116342,
          96.02916924497652,
          124.81347078339991,
          135.20885042364037,
          148.4727479564823,
          148.4769115783787,
          170.79001041821644,
          196.8933368212248,
          214.17277019645502
        ],
        "nodes": 4769,
        "triangles": 9280,
        "free_nodes": 4513,
        "max_relative_residual": 3.2204606451848308e-12,
        "mesh_area": 3.0
      },
      "3": {
        "eigenvalues": [
          9.646576523135407,
          15.200566591403682,
          19.745085158182004,
          29.534192764225025,
          31.941795446679198,
          41.510691666851926,
          44.978891429730716,
          49.3838525900678,
          49.384197756531506,
          56.76888903556236,
          65.44040144728751,
          71.14604012103293
        ],
        "area_eigenvalues": [
          28.939729569406218,
          45.60169977421104,
          59.23525547454601,
          88.60257829267508,
          95.8253863400376,
          124.53207500055578,
          134.93667428919215,
          148.1515577702034,
          148.15259326959452,
          170.3066671066871,
          196.32120434186254,
          213.4381203630988
        ],
        "nodes": 18817,
        "triangles": 37120,
        "free_nodes": 18305,
        "max_relative_residual": 3.2273165505063913e-12,
        "mesh_area": 3.0
      }
    },
    "last_refinement_relative_change": 0.0034419804302365797,
    "unit_height_prism_first_12_estimates": [
      19.516180924224763,
      25.07017099249304,
      29.614689559271362,
      39.40379716531439,
      41.811399847768556,
      49.12499412749284,
      51.38029606794129,
      54.67898419576112,
      54.84849583082007,
      59.22350276253944,
      59.25345699115715,
      59.25380215762087
    ],
    "scope": "Conforming P1 Dirichlet FEM estimates without certified continuum error bounds. Prism values use separation of variables."
  }
}