arXiv paper proposes property-registry contract for lattice design search

A new arXiv preprint describes a contract mechanism for searching thermal-mechanical lattice libraries that lets a design system retrieve a matching cell or explicitly refuse when no candidate meets the requirements. The work targets early-stage engineering queries, which are knowledge-heavy and frequently jointly unsatisfiable, such as demands for a cell that is simultaneously light, stiff, thermally conductive and inexpensive. The proposed property-registry approach is framed as a way to make refusal a legitimate outcome rather than returning an unsuitable match.