Research brief / Applied systems
HVAC Field & Critical-Infrastructure Cases
Operational lessons from real equipment, service constraints, documentation, and high-consequence troubleshooting.
The research question
How should software represent a measurement, prerequisite, or hardware behavior that has not yet been verified?
Inside the work
Preserve unknowns, name the physical acceptance check, and distinguish a local or emulator result from a field result. Treat the operating environment as part of the specification.
From a furnace changeout to dimensioned sheet-metal drawings and a cut list. The FitKit project offers a concrete way into this field of research.
Explore FitKitWhat this brief establishes
This is an overview of the program and its place in the research library. It is not a full paper, a dataset, or evidence of a measured outcome. Where a related project has a tested result or an open limitation, its project page names that boundary.
In the same field
Silverado Cortex Product & Architecture
A 14-module, local-first Android architecture with one state graph and deliberately gated adapters.
Silverado App Bridge & Web Deck Proofs
Scoped app discovery, durable shortcuts, explicit handoffs, safe address policy, and live-test build evidence.
LC7F / LC7S Native App & Firmware Research
Firmware lineage, QNX/Qt evidence, Android Auto limits, and fail-closed rules for factory radio research.