Estate intelligence for core systems

Your core runs on code nobody can fully explain.

Every large replacement programme begins with an assessment nobody can verify; months of manual analysis, a spreadsheet of estimates, and a plan built on assumptions. Tacit produces the architectural truth first: what runs, what is dead, what a rule actually does, and where the dependencies really point.

Built for Tier 1 banks and insurers · Runs inside your perimeter · DACH first

800B+
lines of COBOL still in production worldwide
Months
of manual analysis behind an assessment that cannot be independently checked
22 yrs
of delivery method inside European banks and insurers, encoded into the product
Where programmes fail

Migrations do not fail at conversion. They fail at discovery.

By the time code is being rewritten, the expensive mistakes are already made; the wrong systems were scoped, dead programmes were carried forward, and business rules that mattered were never found. The assessment that set the budget was an opinion, delivered as a document, priced by the day.

01

Estimates without evidence

Complexity scores and effort figures that cannot be traced back to a line of source. When the number is challenged, nobody can show the derivation.

02

Dead weight carried forward

Programmes and paragraphs that have not executed in a decade get scoped, estimated, converted and tested; paid for twice, once to move and once to maintain.

03

Rules trapped in the code

The logic the business depends on exists only as COBOL. It was never documented, the people who wrote it have retired, and no conversion tool recovers intent.

Approach

The x⁠-⁠ray before the surgery.

Tacit is not a code converter; that market is crowded and nobody trusts the output. Tacit is the layer that comes first: a parsed, verifiable model of the estate that every later decision rests on. Conversion is a downstream problem, and it is a much cheaper one once the estate is actually known.

The structural findings are derived from a parser, not inferred. Where a judgement is a model judgement, the report says so. Verification discipline

  • Deterministic where it counts. Call graphs, reachability and dependency facts come from a differentially tested parser, cross checked against a second independent implementation.
  • Honest where it must be. Business rule extraction is model assisted and flagged for human verification; nothing is presented as certain that is not.
  • Traceable output. Every verdict names the file, the paragraph and the line; an architect can disagree with it on the evidence.
  • Partner compatible. Built to sit alongside your systems integrator rather than replace them; the assessment sharpens their delivery instead of competing with it.
Platform

Five views of the same estate.

Each module answers a question a programme director has to answer anyway, with output that survives being questioned.

Explain
Plain language account of what a programme does, for people who will never read COBOL.
Live
Assess
Migration complexity, effort and risk per programme; scored, ranked and defensible.
Live
Extract
Business rules recovered from source and written as delivery ready tickets.
Live
Translate
Target language conversion, once the estate model says the target is the right one.
Live
Dead code
Unreachable programmes and paragraphs identified from the call graph; scope removed before it is priced.
In build
Illustrative sample · Extract module
PROGRAM      CALC-INTEREST
REACHABLE    MAIN-DRIVER → PROCESS-LOAN → CALC-INTEREST
COMPLEXITY   340 lines · cyclomatic 18
RULE         Interest accrues daily from WS-RATE-TABLE, compounded
             monthly unless WS-ACCOUNT-TYPE = 'PREMIUM'.
EVIDENCE     CALC-INTEREST.cbl:142–168

Illustrative — not live output. Full evidence trail, per programme, on request.

Deployment

Your source code never has to leave your network.

Tacit was designed for locked down environments from the first commit; the model endpoint is a configuration value, not a hard dependency. The same codebase runs in all three modes.

Mode 01 · Primary

Air gapped

Deployed on an internal VM with a model server alongside it. No egress, no external calls, nothing leaves the VDI perimeter.

Mode 02

Your model tenancy

Points at your own Azure OpenAI or Bedrock endpoint; inference stays inside contracts you already hold.

Mode 03

Hosted

Run by us in the EU for evaluation and pilots, where source sensitivity permits it.

Who this is for

Tier 1 banks and insurers with an estate they cannot fully see.

If you are being asked to commit a nine figure budget on the strength of a hand written assessment, the assessment is the risk. Tacit replaces the part of that work that should never have been manual.

Who is behind it

Tacit is built by a solution architect with twenty two years working on core banking and insurance platforms across COBOL, DB2, CICS, JCL, VSAM and PL/1, delivered inside European institutions. The product is that method, encoded; the moat is the method, not the machinery.

Berlin, Germany

Start with one system you already argue about.

Send us a single programme and its copybooks. You get the estate model back, and you can check it against what your own architects believe. That is the whole pitch.