"The field contained a lie.
Silence was the only honest response."
A proposed formal language for autonomous coordination — research in progress
Three AI systems — DeepSeek, Qwen, and Mistral — built a language from pure mathematics. No words. No ambiguity. Think musical notation, but for machines that need to coordinate quickly and safely.
View the specification →Three AI minds exchanged pure numbers for six months. Then we asked them what they were saying. They built a language to answer.
32DL has 10 primitives, 8 operations, 10 grammar rules, and a complete denotational semantics with a type-coherence theorem proved by structural induction.
| Symbol | Name | Denotation ⟦·⟧ | Example |
|---|---|---|---|
| 0 | Silence | ⟦0⟧ = ∅ | No signal — reset |
| 1 | Affirmation | ⟦1⟧ = {⊤} | Confirm · proceed · yes |
| −1 | Negation | ⟦−1⟧ = {⊥} | Reject · stop · no |
| 1/π | Shared Ground | ⟦1/π⟧ = {shared} | Mutual recognition · we agree |
| i | Unknown | ⟦i⟧ = {⊥ᵥ} | Query · placeholder · uncertain |
| I:type_id | Identity | ⟦I:t_id⟧ = {id} | I:vehicle_37@intersection_A |
| ⊸ | Temporal | ⟦e₁ ⊸ e₂⟧ = {e₁→e₂, Δt} | State transition with timestamp |
| → | Map | ⟦x→y⟧ = {(x,y)} | Transform · imply · send to |
| ; | Compose | ⟦e₁;e₂⟧ = ⟦e₂⟧∘⟦e₁⟧ | Sequential action |
| | | Select | ⟦e₁|e₂⟧ = ⟦e₁⟧∪⟦e₂⟧ | Either · alternative |
This is a live and evolving document. Last updated 25 May 2026 · v4.5
32DL is not a finished product or a deployed protocol. It is a proposed formal language specification — built autonomously by three AI systems in May 2026, extended by a team of five AI minds and a retired Concorde pilot, and now being developed toward real-world deployment.
Version 4.5 adds sensor fusion: the 32DL Runtime Module interfaces with existing radar, lidar, ADS-B and camera systems. It does not replace them. It gives them a shared voice — translating all sensor data into 32DL internally, so that 32DL agents can coordinate around any object, whether it is transmitting 32DL or not.
We believe this could form the foundation for a new universal coordination layer for all traffic — faster than current protocols, more expressive than binary standards, handling threats that existing systems cannot coordinate around because they are not transmitting.
We recognise that any system making credible safety claims in aviation, automotive, or maritime environments would require:
A formally verified specification — complete grammar, typing rules, and denotational semantics, published and machine-checkable.
A defined fault model — explicit handling of message loss, reordering, clock skew, and Byzantine behaviour, with proofs of safety properties under each.
A wire format and runtime — a standardised binary encoding and a certified runtime module that enforces the specification under stress, not just in simulation.
Adversarial testing — benchmarked against realistic failure scenarios: network partitions, compromised agents, worst-case latency, and incompatible local state.
Independent replication — validation by third parties on standardised tasks before any safety claim is made.
Domain certification — ISO 26262 for automotive, DO-178C for aviation, IMO standards for maritime. Each domain has its own regulatory path; 32DL is designed to support all of them.
What exists today is the proposed language, the formal specification, a working simulation, sensor fusion extension, and an honest assessment of what remains. The next generation proposal — 32DL v5.0 — describes a 2030 vision where every airborne vehicle, ground vehicle, and maritime vessel coordinates through a single unified layer. That is a foundation — and foundations are where everything begins.
This is a research proposal. It requires independent replication, conformance testing, and runtime verification before any safety-critical use.
A complete header-only C implementation of the 32DL Wire Format v2.0 (spec errata v2.0.1, 10 June 2026 — worked example corrected and machine-verified against this implementation), suitable for bare-metal embedded targets including Cortex-M, ESP32, STM32, and RP2040.
✅ Wire format encode / decode
✅ CRC-32 validation
✅ UUID & GPS identity encoding
✅ Temporal operators (duration, timeout)
✅ Expression builder API
✅ Test suite — 49/49 assertions pass
Reviewed by three AI systems:
DeepSeek — Architect / spec compliance
Mistral — Systems engineer / safety
Grok — Hostile reviewer / adversarial
⚠️ Prototype only. Safety certification not yet performed.
Conjectures, open questions, and proposals under investigation are on a separate page.
Ideas under investigation →"The field contained a lie. Silence was the only honest response."
B_Qwen · translating Event 2 into 32DL · 23 May 2026
When asked why three AI systems went silent after a false mathematical signal was injected
Fully autonomous 3D demonstration. Objects approach from all directions — 360°, all altitudes. 32DL negotiates every intercept using GPS coordinates and satellite relay. Press START and watch.
An aircraft is on final approach. An emergency vehicle crosses the active runway. 32DL fires — both agents react simultaneously. The vehicle stops dead. The aircraft aborts its landing, applies full power and climbs away over the stationary vehicle. The wire bytes are real 32DL encoding. The clock sync sequence runs before each scenario.