Deterministic first
Safety rules run before any model — watchlist, stolen document, visa status. Built-in rules always win; a misconfigured custom rule can never override them.
Deterministic safety rules first, a supervised AI interview for the hard cases, and every decision hash-chained — an audit trail built to be defended.
Sovereign, bilingual, and built to be defended.
Every passenger, screened against the registers that matter — before any model is consulted.
Two independent minds weigh every passenger — a deterministic guard that can't be argued with, and a supervised model that explains itself.
Safety rules run before any model — watchlist, stolen document, visa status. Built-in rules always win; a misconfigured custom rule can never override them.
Ambiguous cases get a calm interview — one question at a time, in the passenger's language. An officer makes the final call; never the model alone.
Every state change is hash-chained from a genesis anchor. Truncation is detectable in seconds, and every export is HMAC-signed for review.
Wherever a passenger's journey begins, Muwafik screens them the moment they reach the Kingdom's border — the same deterministic guard, the same supervised interview, the same tamper-evident record, every time.
Author hard and advisory rules in a safe JSON DSL — allow-listed fields and operators, no code, no eval. Built-in safety rules always take precedence over anything custom.
Passenger and operator, Arabic and English — including the AI interview.
Role-based permissions, TOTP MFA, and a named operator on every action.
Visa, passport, national-ID and watchlist lookups feed the decision — cross-checked against the numbers the operator and passenger supply at intake.
Connect existing SQL databases or REST APIs. SELECT-only, row-capped, SSRF-guarded, credentials encrypted — your local registers answer first.
Live-safe online backups, and a two-tier retention job that purges personal data on schedule while keeping the defensible record intact.
A deterministic guard and a supervised model both weigh in before a passenger is cleared. Neither can be talked out of the rules.
Follow one real case from the traveller's check-in through the deterministic guard, the supervised interview, the officer's decision, and the sealed audit record.
The walkthrough is choreographed for a larger screen. Open it in a new tab to watch.
Muwafik is built so that months later, in a review or a court, you can show exactly what was decided, by whom, on what evidence — and prove the record was never touched.
Every session carries a genesis-anchored hash chain. The head is mirrored on the session, so truncation is detectable in seconds.
Passenger personal data is Fernet-encrypted field by field, blind-indexed for search, with master-key rotation built in.
Role-based access, TOTP MFA, and HMAC-signed exports make every action attributable to a named officer.
Sovereign by default — Muwafik runs inside your infrastructure. Nothing leaves your tenancy unless you say so.
Pricing scales with desks and deployment — no per-decision fees.
Nowhere you don't control. Muwafik runs inside your own infrastructure; with an in-Kingdom or on-prem model, passenger data never leaves your tenancy. A residency guard refuses to boot against an out-of-Kingdom model unless you explicitly acknowledge the cross-border transfer.
No. Deterministic safety rules run first and always win. Only ambiguous cases reach the model, which conducts a supervised, one-question-at-a-time interview — and an officer signs off the verdict. The model never clears or refuses a passenger alone.
Yes. A local model (Ollama) needs no internet, fonts and assets are self-hosted, and the security policy allow-lists no third-party origins. The whole system runs from your own hardware.
Every state change is hash-chained from a genesis anchor, and the chain head is mirrored so any truncation is detectable in seconds. Exports are HMAC-signed, so a record can be verified independently — in a review or in court.
Fully. Both the passenger interview and the operator console are bilingual English/Arabic with native right-to-left layout — not a bolted-on translation.
Passenger PII is Fernet-encrypted field by field and blind-indexed for search, with master-key rotation. Access is role-gated with MFA and named operators, and a retention job purges personal data on the schedule you set.
See Muwafik clear a passenger end to end — deterministic guard, supervised interview, signed audit. We'll walk your team through a live decision.