TK-HvAc
Author and owner: Tom Klootwijk Author-provided identifiers: NL200678942 | 10-07-1990 Release: 0.2.0 | 6 November 2026
TK-HvAc is a symbolic architecture for constructing reusable solution maps from shared signed-field definitions, overlapping binary novelty words and typed pointer-header relations. A C++20 host and integer Vulkan compute resolver now execute the finite covered-answer path. The cryptex chart, Klein-field notation, double-Hadamard/XOR bridge, ECS/ERD coupling and SSD/host/GPU residency rules are explicit parts of the specification.
The solver constructs covered solution relations once; later queries map, decode and swap already-resolved pages. Release 0.2.0 includes a working finite C++/Vulkan resolver, actual packed examples and native GPU test evidence. Three imported ETC mainnet proofs were independently recomputed before being packed; they resolve without a new nonce search. Coverage fixes their rule/epoch/seal identities and maps every target at or above the independently verified final result through an exact signed-threshold relation. A universal Etchash solution map, unseen-job transport theorem, neural weights and mining speedup remain unestablished.
HVAC also means heating, ventilation and air conditioning literally in the mechanical–chemical application. Intrinsic element coupling and reactivity are relations to map, with state conditions and physical energy inventories made explicit. See the separate physical-domain analysis below.
Read
| File | Purpose |
|---|---|
| Native implementation | C++/Vulkan execution, finite packets, integer phase, streaming and reproducible checks |
| Literal HVAC | Heating, ventilation, air conditioning and intrinsic-reactivity coupling |
| Architecture | Binary novelty, field programs, integer phase, pointer hops and Vulkan execution contracts |
| Solution map contract | Construction, coverage, solution transport and resolution without a new search |
| ECS and ERD | Shared identities, typed views, program relations, headers and residency |
| Study guide PDF | Addendum explaining all supplied prompt entries and their context |
| Editable study guide | Text source of the same guide |
| Etchash reference | Consensus semantics, precise distinctions and validation criteria |
| Construction dynamics | Declared inverse-log diffusion/attenuation adapter |
| Mechanochemistry | Separate sourced chemistry analysis and its calibration requirements |
| Architecture metadata | Machine-readable scope and implementation status |
| Prompt register | Sixteen source-document prompts and twenty-five conversation prompts |
| Validation | Reproduced reference checks and their limits |
The source PDF and supplied search/context records are retained under sources/. Two expressly excluded audience prompts are documented only in the study guide; they do not create architecture requirements. The inspected CUDA files under evidence/ remain context copies. The new C++ sources, shader and native build instructions are under runtime/ and tools/. Local build outputs are not distributed as a prebuilt executable package.
Reproduce the finite references
The reference checks use Python's standard library:
python tools/run_reference_checks.py
The script runs the integer scheduler, sign/bit bridge, synthetic chemistry and literal HVAC ledger checks. It writes reports/VALIDATION.json. These checks do not establish the full solution-transport theorem. The native acceptance run separately checks C++/GPU agreement and repeated lookup of independently verified supplied Etchash answers; see the native implementation guide for build and run commands.
Source and numerical policy
Architectural attribution follows the supplied XD-TAU v1.5 specification. Application choices are labeled in the profile. Logical addresses, masks and shift operands use binary authoring and zero-based bit positions; finite-angle and geometry evaluation use specified rounding or bounds. The exact half-payload result applies to the declared symmetric paired relation, with headers and shared context counted separately.
Hugging Face hosts this as a model architecture and reference-model repository. It is not a Transformers checkpoint or an inference-service package. architecture.json, the documents, C++/shader sources, constructed finite packets and verification reports are the published model artifacts.
Rights
PROPRIETARY - PERSONAL PROPERTY - ALL RIGHTS RESERVED. NO LICENSE AVAILABLE, OFFERED OR GRANTED.
The LICENSE and PROPRIETARY_NOTICE.txt are byte-identical to the notice in the author's latest model release. License provenance identifies that revision. The same reserved-rights terms apply to the author's original TK-HvAc contributions. Third-party material retains its own authorship, notices and terms.