Capture what the system does, not what someone remembers.
Most legacy-modernisation tools read code. The Filix approach — patent-pending — observes the system as it runs, learns from what it sees, and produces formal specifications and linked tests that reflect what the system actually does. The result is documentation that matches behaviour, because it was derived from behaviour.
Specifications with provenance you can trust.
Execution-trace specification capture
Product & rule mining → ACORD TXLife
Field-level lineage
Confidence, stated honestly.
A specification is only useful if you can tell how much to trust each line of it. The platform tags dependencies with their confidence — marking as Exactthe ones it can prove from IF/EVALUATE-gated logic — and links every rule back to the execution that produced it. That is the difference between a document you can act on and a document you have to re-verify by hand.
Capture a specification from one of your programs.
Bring a program whose behaviour has outlived its documentation. We will capture a specification from how it actually runs.
