Method and source boundary
What the geometry check proves
The engine treats the inside floor as a measured rectangle, each vessel as a measured rigid circle and a known compressor hump as a user-entered simple polygon with a measured height. It adds the requested side clearance to every radius and the requested overhead clearance to every vessel height.
A vessel is accepted on the floor only when its expanded circle stays inside the interior rectangle and does not touch the hump polygon. It is accepted on the hump only when the expanded circle is wholly inside that polygon and its measured height plus overhead clearance fits above the measured hump.
The search is deterministic but bounded. It tests centers on the selected grid and then applies exact distance checks. Finding an arrangement proves that the entered shapes do not collide under this model. Failing to find one proves nothing beyond that bounded search, so the interface says NOT_PROVEN. A vessel taller than the entire measured interior is the one narrow case that yields a proved no-fit height result.
Retained user-problem evidence
The product direction comes from the saved E100 research packet reviewed on 22 September 2026. That packet observed questions about measured freezer capacity and current guidance that recommends measuring or making physical footprint templates. Those observations establish a task, not search volume or traffic.
- Homebrewers Association forum discussion — retained problem receipt, observed 22 September 2026.
- Kegerators.com build guide — retained dimensional-planning context, observed 22 September 2026.
No external dimensional table is used by the calculator. The implementation, fixtures, copy and drawing are original to this private package. Every geometry value is supplied by the user.
Explicit exclusions
This is not appliance-modification, pressure, gas, electrical, refrigeration, structural or cylinder-securement guidance. It does not infer hidden wall shape, lid clearance, taper or hardware from a model name. An unknown hump or invalid polygon produces no fit verdict.
Standalone boundary
The root is the only prospective indexable job. A found arrangement proves only non-collision in the entered geometry; it is not freezer-model, physical-fit or safety evidence.