Civil aerospace
Airworthiness and type-certification evidence spread across revisions that must stay internally consistent and current.
Sectors
One product, one guarantee, many document estates
Cortessa is defence-first by design. The guarantee that clears a controlled defence environment — sovereign, air-gapped, provenance-gated — clears the bar for every other regulated estate. The promise never changes; only the pain and the paperwork do.
Defence is the proving ground
Defence programmes run on controlled document estates that are too large to cross-check by hand. Quoting a superseded value — a coupling rated to 30 bar where the current standard says 45 — costs rework, generates findings and carries safety-case risk. Cloud assistants are barred at the boundary: data would leave, and they confidently invent specifications. Enterprise search returns passages with no provenance guarantee. Manual review is accurate but scales only with headcount.
Cortessa runs disconnected as a single executable, audits the estate for conflicts and supersession, and gates every claim to a cited source span — or refuses. That is why defence is the launchpad: sovereignty, provenance and air-gap operation are non-negotiable there, and a product that meets them meets them anywhere.
On customers. Cortessa is built to the constraints of a controlled defence environment. We do not name customers or imply a relationship we cannot evidence.
Expansion estates
The same guarantee travels to any estate where the current, correct, cited fact matters and cloud AI is barred at the boundary. Each estate keeps the promise and swaps in its own pain.
Nuclear
A configuration-controlled safety case that must stay current and defensible across a vast document estate, permanently, under audit.
Energy
Asset-integrity and compliance documentation where a superseded figure is a finding waiting to happen.
Rail
Standards conformance across a large asset base, where references and figures must reconcile across many documents.
Pharma
Validated document control under regulatory audit, where provenance and traceability are the whole point.
Legal
Large matter and disclosure sets where an answer has to be traceable to the exact source, not a plausible summary.
Government
Controlled records and policy estates that cannot leave the boundary but still need to be cross-checked and current.
How to read the evidence. The performance figures cited across this site were measured blind on real, public corpora (NASA/NTRS and arXiv document sets); raw run artifacts are hash-manifested. They are not sector-specific benchmarks. A proof point for any particular estate is established with the customer during a pilot before it is claimed.
The guarantee that carries across all of them
- Provenance you can trace. Verified / Draft / Refused — a value not in the source cannot pass as Verified.
- Sovereign and offline. Nothing leaves the machine to answer; air-gap-safe, no external calls.
- Audit the whole estate. Cross-document conflict detection hands engineers cited, adjudicable findings.
- No infrastructure beyond the desk. One dedicated workstation, one executable — no server room, no cloud.
Bring your estate to a scoped pilot
Led by Audit, on a bounded controlled-document set — on your hardware, behind your firewall, against success criteria agreed up front.