8 steps from KYC verification through atomic settlement, with append-only audit trail and per-step compliance receipts
Scenario
C$ 1,000,000
Lifecycle progress · step 1 of 8
Total elapsed: 0.0s
1
KYC
Verify
2
AML
Screen
3
Tokenize
Mint
4
Trade
Execute
5
Attestation
Sign
6
Settle
DvP T+0
7
Audit
Anchor
8
Report
File
1
Step 01 of 08 · Compliance
KYC Verification
Know Your Customer: verify the institution's legal identity and beneficial owners, then issue a reusable on-chain credential. Onboarding compounds — verify once, transact everywhere.
+ 0.0s
Tetra Trust onboarding
Inputs
Counterparty
Cascade Pension Plan
Entity type
Pension plan
Province
British Columbia
Registration no.
BC-7748391
Beneficial owners
6 of 6 verified
Counsel
Bennett Jones LLP
Outputs · KYC credential
KYC passed · valid 24 months · reusable on 4ormEx
credential_id:kyc:CPF-2026-05-26
issuer:Tetra Trust (Tier-2)
expires:2028-05-26
hash:0xb47e3a892c1d44…
block:#18,247,401
2
Step 02 of 08 · Compliance
AML Screening
Anti-Money Laundering: screen the party and the transaction against sanctions, PEPs, and watchlists, with an auditable risk score and explainable result.
+ 0.4s
FINTRAC aligned
Inputs
Counterparty
Cascade Pension Plan
Transaction amount
C$ 1,000,000
Source of funds
Institutional treasury
Lists checked
UN · OFAC · OSFI · CSIS · adverse media
Outputs · AML score
Risk score 0.04 · LOW · auto-clear
score:0.04 / 1.00
classification:LOW · auto-clear
sanctions:No hits
pep:No hits
lctr_trigger:Yes · C$ 10k threshold
hash:0x5a91c2e7841b…
3
Step 03 of 08 · Issuance
Tokenization
Wrap the real-world asset in a legal token contract and mint it on-chain with built-in transfer restrictions. The token IS the official ownership record, not a derivative copy.
+ 2.1s
4orm-EVM
Inputs
Asset
Province of Alberta Bond 2028
Standard
ERC-3643
ISIN
CA013016NX21
Face value / unit
C$ 100.00
Quantity to mint
10,000
Distribution rules
Embedded · 12mo lockup
Custodian
Tetra Trust
Outputs · token contract
10,000 tABP28 minted · rules embedded at genesis
token:tABP28
contract:0x3F2A8e9B7C…1d4F
supply:10,000 tokens
notional:C$ 1,000,000
block:#18,247,402
gas:187,422 (sponsored)
4
Step 04 of 08 · Marketplace
Trade Execution
Place an order into the central limit order book, match against a verified counterparty, and generate an execution receipt. Pre-trade compliance has already passed before the order reaches the book.
+ 4.3s
CLOB · price discovery
Inputs · order
Side
BUY
Instrument
tABP28
Quantity
10,000
Limit price
C$ 100.00
TIF
FOK · Fill or kill
Counterparty
Cascade Pension Plan
Outputs · execution
Filled · 10,000 @ 100.00 · 1 fill · 2.1ms latency
order_id:0x9F12C4ABe7…
fills:1
avg_price:C$ 100.0000
notional:C$ 1,000,000.00
fee (3 bps):C$ 300.00
block:#18,247,403
5
Step 05 of 08 · Compliance
Attestation
Issue a signed, verifiable proof — anchored to the credentials and transactions created in prior steps. Provides best-execution and proof-of-reserves attestation pre-settlement.
+ 5.8s
Compliance engine
Inputs
Attestation type
Best execution + reserves
Statement
Issuer holds 1:1 backing; all transfers restricted to verified members; execution at NBBO.
Linked refs
KYC · AML · Mint · Order
Signer
Compliance Officer · 4orm OpCo
Outputs · signed attestation
Attestation issued · anchored to block #18,247,404
attestation_id:0xe821fa3789ad…
linked_refs:4 anchored events
signer:CCO · pubkey 0x47Be…
expires:At settlement
block:#18,247,404
6
Step 06 of 08 · Settlement
Atomic DvP Settlement
Settle both legs atomically — delivery-versus-payment at T+0 — with instant, irreversible finality. Cash leg moves in tokenized CAD; asset leg moves in the security token. Both or neither.
+ 11.7s
DvP atomic finality
Inputs · settlement instruction
Trade ref
0x9F12C4AB
Cash leg
QCAD · C$ 1,000,000
Asset leg
tABP28 · 10,000
Buyer
Cascade Pension Plan
Seller
Province of Alberta
Custodian
Tetra Trust
Outputs · settled · T+0
Both legs settled atomically · 11.7s finality
settlement_id:0x7A3F8E21bc9c…
cash_leg_tx:0x4b88e092…
asset_leg_tx:0x6e30c8a2…
finality:11.7 s
block:#18,247,381
irreversible:Yes (atomic)
7
Step 07 of 08 · Audit
Audit Trail
Every step above is written to an immutable, append-only ledger on the 4orm-EVM permissioned network. Each record carries a hash, timestamp, and linked references back to its originating credential, trade, or settlement leg.
Auto-compile a regulatory report from the on-chain record — no manual reconciliation — and export it. CIRO transaction tape, FINTRAC LCTR (large cash transaction), and the full audit package are generated in one click.
