# Systems Perspective Description Language — Traffic & V2X (SPDL-TRAF)
**Specification Document ID:** `SPDL-TRAF-SPEC-2026-v4.2`  
**Classification:** Open Epistemic Standard / Real-Time Municipal Intersection Substrate  
**Principal Architect:** Asse van Nix | Systems Perspective Framework & Proof-Driven Architecture Group  
**Target Environment:** Zig 0.16.0 Freestanding · Linux Edge Controller (ATC) · NTCIP Replacement  
**Applied Standards:** ISO/IEC 14977 EBNF · GBNF Maskable · NEMA TS2 / NTCIP 1202 Replacement · SAE J2735 (V2X) · ISO 19091  

---

## 1. Epistemic Architecture: Why NTCIP 1202 and NEMA TS2 Must Be Replaced

1. **SNMP/MIB Architecture Frailty:** NTCIP 1202 relies on archaic SNMP MIB byte-swapping to configure signal groups, rings, barriers, and splits. A single malformed SNMP set-request can cause an intersection to enter emergency flashing yellow/red, paralyzing urban traffic.
2. **Green-Conflict Vulnerability:** Legacy controllers enforce non-conflicting green phases via hardwired physical Malfunction Management Units (MMU) or Conflict Monitor Units (CMU). They possess zero predictive mathematical safety logic to prevent conflicting movements when coordinating with connected autonomous vehicles (V2X).

**SPDL-TRAF** proves zero-collision right-of-way manifolds at compile-time and continuously verifies V2X trajectory corridors.

---

## 2. Physical Invariants, DAEs & Mathematical Proof Gates

```
                           SPDL-TRAF MOBILITY MANIFOLD
 ┌─────────────────────────────────────────────────────────────────────────────┐
 │ INTERSECTION CONFLICTING PHASE MUTUAL EXCLUSION (Graph Coloring Invariant)  │
 │   forall Phase_i, Phase_j in Green_Phases: Conflict_Matrix(i, j) == 0.0     │
 ├─────────────────────────────────────────────────────────────────────────────┤
 │ V2X TRAJECTORY INTERSECTION CLEARANCE BARRIER                               │
 │   h_clear(t_entry, t_exit, t_ped) = (t_entry_veh - t_exit_ped) >= t_safe    │
 ├─────────────────────────────────────────────────────────────────────────────┤
 │ DYNAMIC VEHICULAR INFLOW SHOCK-WAVE EQUATION (LWR Model)                    │
 │   d rho / dt + d(rho * v) / dx = 0                                          │
 └─────────────────────────────────────────────────────────────────────────────┘
```

---

## 3. Formal ISO/IEC 14977 EBNF Grammar

```ebnf
TrafManifest      = { Line } ;
Line              = [ Whitespace ] , ( Comment | TrafRecord ) , Newline ;
Whitespace        = { " " | "\t" | "\r" } ;
Newline           = "\n" | "\r\n" ;
Comment           = "#" , { AnyChar - Newline } ;

TrafRecord        = "(I) @TRAF_INVARIANT"    , " " , InvariantFields
                  | "(A) @INTERSECTION_NODE" , " " , NodeFields
                  | "(B) @CONFLICT_BARRIER"  , " " , ConflictBarrierFields
                  | "(M) @SIGNAL_GROUP"      , " " , GroupFields
                  | "(T) @DETECTOR_OBSERVER" , " " , ObserverFields ;

InvariantFields   = "id:" , Token , " cycle_ms:" , Integer , " max_phases:" , Integer , " alloc_policy:ZERO_HEAP" ;
NodeFields        = "id:" , Token , " lat:" , Number , " lon:" , Number , " rings:" , Integer ;

ConflictBarrierFields = "id:" , Token , " mutually_exclusive:[" , PhaseList , "]" ;
PhaseList         = Token , { " " , Token } ;

GroupFields       = "id:" , Token , " phase:" , Integer , " state:" , SignalState , " duration_ms:" , Integer ;
SignalState       = "GREEN" | "YELLOW" | "RED" | "FLASHING_YELLOW" | "FLASHING_RED" ;

ObserverFields    = "id:" , Token , " vehicle_count:" , Integer , " occupancy_pct:" , Number , " queue_m:" , Number ;

Token             = Letter , { Letter | Digit | "_" | "-" } ;
Number            = [ "-" ] , Digit , { Digit } , [ "." , { Digit } ] ;
Integer           = [ "-" ] , Digit , { Digit } ;
Letter            = "A".."Z" | "a".."z" ;
Digit             = "0".."9" ;
AnyChar           = ? Any valid Unicode code point ? ;
```

---

## 4. GBNF Structured Sampling Grammar

```gbnf
root ::= TrafRecord "\n"

TrafRecord ::= "(I) @TRAF_INVARIANT" " " InvariantFields
             | "(A) @INTERSECTION_NODE" " " NodeFields
             | "(B) @CONFLICT_BARRIER" " " ConflictBarrierFields
             | "(M) @SIGNAL_GROUP" " " GroupFields
             | "(T) @DETECTOR_OBSERVER" " " ObserverFields

InvariantFields ::= "id:" [A-Za-z0-9_-]+ " cycle_ms:" [0-9]+ " max_phases:" [0-9]+ " alloc_policy:ZERO_HEAP"
NodeFields      ::= "id:" [A-Za-z0-9_-]+ " lat:" [0-9.-]+ " lon:" [0-9.-]+ " rings:" [0-9]+
ConflictBarrierFields ::= "id:" [A-Za-z0-9_-]+ " mutually_exclusive:[" ( [A-Za-z0-9_]+ " "* )+ "]"
GroupFields     ::= "id:" [A-Za-z0-9_-]+ " phase:" [0-9]+ " state:" ("GREEN"|"YELLOW"|"RED"|"FLASHING_YELLOW"|"FLASHING_RED") " duration_ms:" [0-9]+
ObserverFields  ::= "id:" [A-Za-z0-9_-]+ " vehicle_count:" [0-9]+ " occupancy_pct:" [0-9.]+ " queue_m:" [0-9.]+
```

---

## 5. Production SPDL-TRAF Manifest Exemplar

```spdl
# ==============================================================================
# SPDL-TRAF v4.2 MANIFEST: URBAN ARTERIAL SMART INTERSECTION CONTROLLER
# Target: ATC eBPF Engine | Standards: SAE J2735 / NEMA TS2 Replacement
# ==============================================================================

(I) @TRAF_INVARIANT id:INV-INT-MAIN-4TH cycle_ms:50 max_phases:8 alloc_policy:ZERO_HEAP

# --- INTERSECTION TOPOLOGY ---
(A) @INTERSECTION_NODE id:INT_MAIN_BROADWAY lat:37.77492 lon:-122.41941 rings:2

# --- MATHEMATICAL CONFLICT EXCLUSION BARRIERS ---
(B) @CONFLICT_BARRIER id:BAR_NO_CROSS_GREENS mutually_exclusive:[PHASE_2_NORTH_THRU PHASE_4_EAST_THRU]
(B) @CONFLICT_BARRIER id:BAR_PED_CONFLICT mutually_exclusive:[PHASE_2_NORTH_THRU PED_WALK_MAIN]

# --- REAL-TIME SIGNAL PHASE EXECUTION ---
(M) @SIGNAL_GROUP id:SIG_PHASE_2 phase:2 state:GREEN duration_ms:35000
(M) @SIGNAL_GROUP id:SIG_PHASE_4 phase:4 state:RED duration_ms:45000

# --- RADAR DETECTOR INGESTION ---
(T) @DETECTOR_OBSERVER id:DET_NORTH_RADAR vehicle_count:14 occupancy_pct:24.5 queue_m:35.0
```

---

## 6. Standards Compliance Matrix

```
╔═════════════════════════════════╦══════════════════════╦═════════════════════════════════════════════════════╗
║ Dimension                       │ Verification Standard│ Enforced Implementation Evidence                    ║
╠═════════════════════════════════╬══════════════════════╬═════════════════════════════════════════════════════╣
║ Conflict Free Right-of-Way      │ NEMA TS2 / MMU Cert. │ Mutual exclusion proven by graph coloring invariants║
║ V2X Safety Serialization        │ SAE J2735 / ISO 19091│ Microsecond-level signal timing broadcast.          ║
║ Deterministic Execution         │ Freestanding Silicon │ Zero heap allocations; fixed 50ms scan ticks.       ║
║ Autonomous Synthesis Gating     │ GBNF Structured Mask │ Eliminates conflicting green signal configurations. ║
╚═════════════════════════════════╩══════════════════════╩═════════════════════════════════════════════════════╝
```