haql-qc
Data qualityDeterministic QC over a production export — missing, negative, contradictory, impossible. Every finding cites the rule, the row and the input hash.
v0.4.1 · what it checks
Private builds
Request a build. Run it offline.
The six commercial data tools ship as single self-contained binaries. Builds are sent as private links — Linux x86_64 is available now; Windows and macOS are built on request. No public download index, no Python to install, no network connection.
Evaluation: every tool runs for 30 days with no license key. After that, point it at a signed license file — verified entirely offline, nothing to activate online.
# email us the tool and platform To: kunleaz100@gmail.com Subject: Private build — haql-qc Platform: linux-x86_64 Company: your company Use case: production QC # you receive a private link and hash haql-qc-0.4.1-linux-x86_64.zip sha256 b4deda5d9ba43cc3… # verify, unzip, run — no installer sha256sum haql-qc-0.4.1-linux-x86_64.zip # compare with the hash in the email unzip haql-qc-0.4.1-linux-x86_64.zip ./haql-qc --version
Each zip contains the binary, a QUICKSTART.txt, the product README.md and its LICENSE. The SHA-256 is sent with the link so you can verify the file before running it.
The tools
Six binaries. One private link each.
Tell us which tool and platform. We send a private link, the file size and the SHA-256. No public download page, no account, no telemetry.
haql-closeout
Month-endIs this month complete and reconciled enough to lock? Well tests, downtime, field balance and date continuity a per-record pass cannot see.
v0.1.0 · what it checks
haql-45q
45Q MRVA reporting year of capture, injection and monitoring records into a defensible 45Q credit claim — mass balance, statutory rate, certification pack.
v0.1.0 · what it checks
haql-emission
Emissions MRVReconcile a GHG inventory from activity, flare, vent and monitoring exports, and price the EU ETS allowance position.
v0.1.0 · what it checks
haql-rrc
RRC filingCheck a Texas RRC Form PR export before it is filed — operator numbers, disposition codes, district, flare remarks, plus the filing deadline and status.
v0.1.0 · what it checks
haql-dataroom
A&D dataroomCross-check an acquisition dataroom offline — production vs well master and RRC, revenue and severance tables, reserves and LAS headers, every contradiction traced to a row.
v0.1.0 · what it checks
haql-revenue
Revenue auditReconcile produced volumes against purchaser statements — volume, price, deduction and value variances per lease and month, with an evidence packet for review.
v0.1.0 · what it checks
haql-engine
Simulation auditIndependent audit of an Eclipse/OPM run — mass balance, convergence, reproduction and input integrity. The engine is the verification instrument; the audit is the deliverable.
Not a binary — send a deck and run
haql-units · haql-coords
MITUnit conversions and wellbore geometry/coordinate math. Free and open source, MIT licensed — install from PyPI or read the source.
pip install haql-units haql-coords
No public binaries are hosted on this site. Builds are sent as private links after a short request; the SHA-256 is included so you can verify the file before running it.
What you receive
One binary, four files, a verifiable hash.
The executable
haql-qc (Linux) or haql-qc.exe (Windows) — the whole tool compiled into one file. No Python runtime, no site-packages, nothing to pip-install on the target machine.
The paperwork
QUICKSTART.txt — the two commands you need. README.md — what the tool checks. LICENSE — the terms, including the 30-day evaluation.
The private link email also carries the file size and SHA-256. Compare it with sha256sum <file> (Linux/macOS) or Get-FileHash (Windows) before you unzip.
No network calls
The binary is built to run air-gapped. Reservoir and MRV data frequently cannot leave your infrastructure, so the tool never asks it to.
Read-only by construction
It cannot auto-correct your data; correcting needs to know which of two contradictory fields is wrong, and the file cannot say. It only reports.
Deterministic
Same input bytes and configuration, same findings — every run, on every machine. The embedded run timestamps vary; the findings do not.
Offline licensing
A signed ed25519 token carrying company, tier, seats and expiry, verified against an embedded public key. No activation server, no phone-home.
Next
Request a build, or send us a month of data.
Tell us the tool and platform. If you want a sample check instead, email one month of data — anonymised if you prefer — and get the full report at no cost. Same rules either way.
kunleaz100@gmail.comGitHubgithub.com/haql-lab
Sample auditsample-audit.json