Use Cases / Financial Services / From Rule to Proof

Financial Services · Banking

From a rule to a system you can prove.

A rule says what must be true. See how Praxis takes one brief in plain business words through four engines, Specify, Understand, Deliver and Verify, to a governed dashboard the bank can prove.

Industry Financial Services

For Risk and Compliance, Executives

Length 1:28

Northlake Bank of Canada · Fictional scenario

A rule says what must be true.

How does it become a system you can prove?

Brief · Financial crime compliance Beneficial ownership discrepancies PCMLTFR s.138.1

The input

One brief, in plain business words.

Find material discrepancies. Know every deadline. Show who owns each one.

01 SpecifyNomos
02 UnderstandLogos
03 DeliverTelos
04 VerifyOverproof

Nomos · Specify

Intent becomes traceable requirements.

The briefPCMLTFR s.138.1

Identify each material discrepancy

Traced to brief

Track every reporting deadline

Traced to brief

Name an accountable owner

Traced to brief

Open question: which identification basis sets the deadline?

For a person
01 SpecifyNomos
02 UnderstandLogos
03 DeliverTelos
04 VerifyOverproof

Logos · Understand

The existing estate, understood.

Six sources, as they are

Customer Case Material discrepancy Beneficial owner Identification basis Reporting deadline
01 SpecifyNomos
02 UnderstandLogos
03 DeliverTelos
04 VerifyOverproof

Telos · Deliver

Built in the governed environment.

Databricks AI/BI · 4 pages

67Open material discrepancies
58Overdue
4Position changes by basis
6,680Scope-unknown customers

Figures from the published dashboard · Oct 8 extract

01 SpecifyNomos
02 UnderstandLogos
03 DeliverTelos
04 VerifyOverproof

Overproof · Verify

Proof, not a promise.

  • Each figure traces back to its sources
  • Deadlines tested under both identification bases
  • Every material matter has an owner
  • Scope-unknown customers counted, not hidden
Matter · Montréal FCM-26-001882

Determined materialSep 17

Deadline, first basisOct 8

Deadline, second basisOct 17

StatusOutstanding

Deadline holds under both bases

Accountability

People make the call.

Praxis surfaces the decision. An accountable role owns it.

Material matterFCM-26-001882
OwnerRegulatory ReportingReport outstanding

One governed run

Overmesh holds the whole run together.

Handoffs, dependencies and approvals coordinated. Each engine stays independent.

NomosSpecify
LogosUnderstand
TelosDeliver
OverproofVerify
OvermeshCoordinate

One brief. Six sources. One governed dashboard.

Delivered in weeks, not quarters.

Read the story as text
  1. The question. Northlake Bank of Canada, a fictional scenario. A rule says what must be true. How does it become a system you can prove?
  2. One brief. The input: one brief, in plain business words, on beneficial ownership discrepancies in financial crime compliance under PCMLTFR s.138.1. Find material discrepancies. Know every deadline. Show who owns each one.
  3. Specify. Nomos, the first engine, turns intent into traceable requirements: identify each material discrepancy, track every reporting deadline and name an accountable owner, each traced to the brief. One open question goes to a person: which identification basis sets the deadline?
  4. Understand. Logos, the second engine, understands the existing estate. Six sources, as they are, are mapped to what the business means: customer, case, material discrepancy, beneficial owner, identification basis and reporting deadline.
  5. Deliver. Telos, the third engine, builds it in the governed environment: a Databricks AI/BI dashboard with four pages. 67 open material discrepancies, 58 overdue, 4 position changes by basis and 6,680 scope-unknown customers. Figures from the published dashboard, Oct 8 extract.
  6. Verify. Overproof, the fourth engine: proof, not a promise. Each figure traces back to its sources, deadlines are tested under both identification bases, every material matter has an owner, and scope-unknown customers are counted, not hidden. Matter FCM-26-001882 in Montréal, determined material Sep 17: the deadline is Oct 8 on the first basis and Oct 17 on the second, the status is outstanding, and the deadline holds under both bases.
  7. People decide. People make the call. Praxis surfaces the decision and an accountable role owns it: material matter FCM-26-001882 goes to Regulatory Reporting, with the report outstanding.
  8. One governed run. Overmesh holds the whole run together. Handoffs, dependencies and approvals are coordinated across Nomos (Specify), Logos (Understand), Telos (Deliver) and Overproof (Verify), and each engine stays independent.
  9. The claim. One brief. Six sources. One governed dashboard. Delivered in weeks, not quarters.
  10. Overstand Praxis. The business engineering system: from business intent to verified outcomes. Northlake Bank of Canada is a fictional scenario.

Space: play or pause · ← →: 5 seconds · M: sound

Book a demo

See it on your own data.

Bring us one business problem. We will show you how Praxis handles it in your own environment, so you can judge the results before deciding to go further.