P-1 · P-9
Zero-Hallucination Evidence
Every RDTII mapping carries byte- and bbox-level citations to the source PDF. Agent C runs a red-team reverse-grounding pass before anything reaches a human.
UNESCAP × KMITL · Digital Trade Hack 2026
Treaty intelligence, grounded byte-by-byte.
Atman-RDTII is a self-architected, multi-agent legal AI audit system. It reads scanned government gazettes, maps every clause to the UN RDTII framework with byte-level evidence, and lets experts co-pilot the verdict in real time.
- 15
- Properties verified
- 4
- Agents (A · B · C · D)
- 33
- Steps in micro engine
- 0
- External AI frameworks
What sits inside
Six pillars, all mechanically verified.
Built from scratch on Actor Model + Pub/Sub. Property-based tests pin down every promise — invariants P-1 through P-15 are enforced both in code and at the database layer.
Pub/Sub · DO
Three-Layer Self-Architected Engine
No LangChain, no AutoGen. A 33-step queryLoop drives Pub/Sub agents across Cloudflare Queues + Durable Objects + D1 + Vectorize.
P-3 · P-4
Co-Pilot REPL Workbench
queryGuard + commandQueue mirror the Claude-Code mid-layer loop. Slash commands and natural-language instructions arbitrate cleanly.
P-8 · P-11
DPO Data Flywheel
Every expert re-classification produces a <Prompt, Chosen, Rejected> tuple. Vectorize fewshot-live updates in <1 s — no fine-tuning required.
Edge · APAC
Edge-Native Deployment
Cloudflare Pages, Workers, D1, KV, R2, Queues, Vectorize, Durable Objects — Singapore POP serves ASEAN+ regulators sub-100 ms.
PBT · CI
Property-Based Validation
15 invariants P-1..P-15 verified by fast-check across 51 test files / 223 tests. Every claim above is mechanically checked.
Architecture
Three nested loops, four autonomous agents.
Macro layer: a Pub/Sub event bus drives Agent A (ingest + OCR), Agent B (RDTII mapping via ReAct + Few-Shot), Agent C (red-team reverse-grounding), Agent D (Co-Pilot synthesis). Mid layer: queryGuard + commandQueue arbitrate human input. Micro layer: a 33-step queryLoop powers each agent with streaming tool execution, autocompact, and unkillable error recovery.
Read the full design →Macro1/3
Pub/Sub Event Bus · Agents A·B·C·D
Mid2/3
Co-Pilot REPL · queryGuard · commandQueue
Micro3/3
33-Step queryLoop · streaming · autocompact