Visa Match — eu-ai-act-insurability × us-ai-executive-order
PRO-M iter-3 — cross-lattice visa-of-competence comparator. Two lattices, same canonical 12-axis backbone, comparable cell-by-cell.
YES
canonical fingerprint match
Three-map deviation — Visa · Reality · Δ
Per the three-map architecture spec
(three-map-deviation-architecture-2026-05-24 ):
paint THREE separate lattices side by side. Visa = the
rulebook (lattice A's lit cells). Reality = what was
demonstrated (lattice B's lit cells). Δ = Reality − Visa,
the audit object — pure deviation, zero semantic content of its own.
VISA — eu-ai-act-insurability A:A BOTH A:B eu-ai-act-insurability only A:C neither A:A1 neither A:A2 neither A:A3 neither A:B1 eu-ai-act-insurability only A:B2 eu-ai-act-insurability only A:B3 eu-ai-act-insurability only A:C1 BOTH A:C2 eu-ai-act-insurability only A:C3 neither B:A eu-ai-act-insurability only B:B BOTH B:C eu-ai-act-insurability only B:A1 neither B:A2 neither B:A3 eu-ai-act-insurability only B:B1 neither B:B2 neither B:B3 neither B:C1 neither B:C2 neither B:C3 eu-ai-act-insurability only C:A neither C:B neither C:C eu-ai-act-insurability only C:A1 neither C:A2 neither C:A3 neither C:B1 neither C:B2 neither C:B3 neither C:C1 us-ai-executive-order only C:C2 neither C:C3 neither A1:A neither A1:B neither A1:C neither A1:A1 BOTH A1:A2 neither A1:A3 neither A1:B1 neither A1:B2 neither A1:B3 neither A1:C1 us-ai-executive-order only A1:C2 neither A1:C3 us-ai-executive-order only A2:A neither A2:B neither A2:C neither A2:A1 neither A2:A2 BOTH A2:A3 neither A2:B1 neither A2:B2 neither A2:B3 neither A2:C1 us-ai-executive-order only A2:C2 us-ai-executive-order only A2:C3 us-ai-executive-order only A3:A BOTH A3:B neither A3:C neither A3:A1 neither A3:A2 neither A3:A3 BOTH A3:B1 neither A3:B2 neither A3:B3 neither A3:C1 BOTH A3:C2 neither A3:C3 neither B1:A neither B1:B neither B1:C neither B1:A1 neither B1:A2 neither B1:A3 neither B1:B1 us-ai-executive-order only B1:B2 neither B1:B3 us-ai-executive-order only B1:C1 neither B1:C2 neither B1:C3 neither B2:A neither B2:B us-ai-executive-order only B2:C eu-ai-act-insurability only B2:A1 neither B2:A2 neither B2:A3 eu-ai-act-insurability only B2:B1 neither B2:B2 BOTH B2:B3 BOTH B2:C1 neither B2:C2 neither B2:C3 eu-ai-act-insurability only B3:A us-ai-executive-order only B3:B eu-ai-act-insurability only B3:C neither B3:A1 neither B3:A2 neither B3:A3 neither B3:B1 neither B3:B2 eu-ai-act-insurability only B3:B3 BOTH B3:C1 us-ai-executive-order only B3:C2 neither B3:C3 eu-ai-act-insurability only C1:A neither C1:B neither C1:C neither C1:A1 us-ai-executive-order only C1:A2 neither C1:A3 neither C1:B1 neither C1:B2 neither C1:B3 neither C1:C1 BOTH C1:C2 neither C1:C3 neither C2:A us-ai-executive-order only C2:B us-ai-executive-order only C2:C neither C2:A1 neither C2:A2 neither C2:A3 neither C2:B1 neither C2:B2 neither C2:B3 neither C2:C1 us-ai-executive-order only C2:C2 BOTH C2:C3 neither C3:A neither C3:B neither C3:C eu-ai-act-insurability only C3:A1 us-ai-executive-order only C3:A2 neither C3:A3 neither C3:B1 neither C3:B2 neither C3:B3 neither C3:C1 neither C3:C2 BOTH C3:C3 neither A A B B C C A1 A1 A2 A2 A3 A3 B1 B1 B2 B2 B3 B3 C1 C1 C2 C2 C3 C3
REALITY — us-ai-executive-order A:A BOTH A:B eu-ai-act-insurability only A:C neither A:A1 neither A:A2 neither A:A3 neither A:B1 eu-ai-act-insurability only A:B2 eu-ai-act-insurability only A:B3 eu-ai-act-insurability only A:C1 BOTH A:C2 eu-ai-act-insurability only A:C3 neither B:A eu-ai-act-insurability only B:B BOTH B:C eu-ai-act-insurability only B:A1 neither B:A2 neither B:A3 eu-ai-act-insurability only B:B1 neither B:B2 neither B:B3 neither B:C1 neither B:C2 neither B:C3 eu-ai-act-insurability only C:A neither C:B neither C:C eu-ai-act-insurability only C:A1 neither C:A2 neither C:A3 neither C:B1 neither C:B2 neither C:B3 neither C:C1 us-ai-executive-order only C:C2 neither C:C3 neither A1:A neither A1:B neither A1:C neither A1:A1 BOTH A1:A2 neither A1:A3 neither A1:B1 neither A1:B2 neither A1:B3 neither A1:C1 us-ai-executive-order only A1:C2 neither A1:C3 us-ai-executive-order only A2:A neither A2:B neither A2:C neither A2:A1 neither A2:A2 BOTH A2:A3 neither A2:B1 neither A2:B2 neither A2:B3 neither A2:C1 us-ai-executive-order only A2:C2 us-ai-executive-order only A2:C3 us-ai-executive-order only A3:A BOTH A3:B neither A3:C neither A3:A1 neither A3:A2 neither A3:A3 BOTH A3:B1 neither A3:B2 neither A3:B3 neither A3:C1 BOTH A3:C2 neither A3:C3 neither B1:A neither B1:B neither B1:C neither B1:A1 neither B1:A2 neither B1:A3 neither B1:B1 us-ai-executive-order only B1:B2 neither B1:B3 us-ai-executive-order only B1:C1 neither B1:C2 neither B1:C3 neither B2:A neither B2:B us-ai-executive-order only B2:C eu-ai-act-insurability only B2:A1 neither B2:A2 neither B2:A3 eu-ai-act-insurability only B2:B1 neither B2:B2 BOTH B2:B3 BOTH B2:C1 neither B2:C2 neither B2:C3 eu-ai-act-insurability only B3:A us-ai-executive-order only B3:B eu-ai-act-insurability only B3:C neither B3:A1 neither B3:A2 neither B3:A3 neither B3:B1 neither B3:B2 eu-ai-act-insurability only B3:B3 BOTH B3:C1 us-ai-executive-order only B3:C2 neither B3:C3 eu-ai-act-insurability only C1:A neither C1:B neither C1:C neither C1:A1 us-ai-executive-order only C1:A2 neither C1:A3 neither C1:B1 neither C1:B2 neither C1:B3 neither C1:C1 BOTH C1:C2 neither C1:C3 neither C2:A us-ai-executive-order only C2:B us-ai-executive-order only C2:C neither C2:A1 neither C2:A2 neither C2:A3 neither C2:B1 neither C2:B2 neither C2:B3 neither C2:C1 us-ai-executive-order only C2:C2 BOTH C2:C3 neither C3:A neither C3:B neither C3:C eu-ai-act-insurability only C3:A1 us-ai-executive-order only C3:A2 neither C3:A3 neither C3:B1 neither C3:B2 neither C3:B3 neither C3:C1 neither C3:C2 BOTH C3:C3 neither A A B B C C A1 A1 A2 A2 A3 A3 B1 B1 B2 B2 B3 B3 C1 C1 C2 C2 C3 C3
Δ — Reality − Visa A:A BOTH A:B eu-ai-act-insurability only A:C neither A:A1 neither A:A2 neither A:A3 neither A:B1 eu-ai-act-insurability only A:B2 eu-ai-act-insurability only A:B3 eu-ai-act-insurability only A:C1 BOTH A:C2 eu-ai-act-insurability only A:C3 neither B:A eu-ai-act-insurability only B:B BOTH B:C eu-ai-act-insurability only B:A1 neither B:A2 neither B:A3 eu-ai-act-insurability only B:B1 neither B:B2 neither B:B3 neither B:C1 neither B:C2 neither B:C3 eu-ai-act-insurability only C:A neither C:B neither C:C eu-ai-act-insurability only C:A1 neither C:A2 neither C:A3 neither C:B1 neither C:B2 neither C:B3 neither C:C1 us-ai-executive-order only C:C2 neither C:C3 neither A1:A neither A1:B neither A1:C neither A1:A1 BOTH A1:A2 neither A1:A3 neither A1:B1 neither A1:B2 neither A1:B3 neither A1:C1 us-ai-executive-order only A1:C2 neither A1:C3 us-ai-executive-order only A2:A neither A2:B neither A2:C neither A2:A1 neither A2:A2 BOTH A2:A3 neither A2:B1 neither A2:B2 neither A2:B3 neither A2:C1 us-ai-executive-order only A2:C2 us-ai-executive-order only A2:C3 us-ai-executive-order only A3:A BOTH A3:B neither A3:C neither A3:A1 neither A3:A2 neither A3:A3 BOTH A3:B1 neither A3:B2 neither A3:B3 neither A3:C1 BOTH A3:C2 neither A3:C3 neither B1:A neither B1:B neither B1:C neither B1:A1 neither B1:A2 neither B1:A3 neither B1:B1 us-ai-executive-order only B1:B2 neither B1:B3 us-ai-executive-order only B1:C1 neither B1:C2 neither B1:C3 neither B2:A neither B2:B us-ai-executive-order only B2:C eu-ai-act-insurability only B2:A1 neither B2:A2 neither B2:A3 eu-ai-act-insurability only B2:B1 neither B2:B2 BOTH B2:B3 BOTH B2:C1 neither B2:C2 neither B2:C3 eu-ai-act-insurability only B3:A us-ai-executive-order only B3:B eu-ai-act-insurability only B3:C neither B3:A1 neither B3:A2 neither B3:A3 neither B3:B1 neither B3:B2 eu-ai-act-insurability only B3:B3 BOTH B3:C1 us-ai-executive-order only B3:C2 neither B3:C3 eu-ai-act-insurability only C1:A neither C1:B neither C1:C neither C1:A1 us-ai-executive-order only C1:A2 neither C1:A3 neither C1:B1 neither C1:B2 neither C1:B3 neither C1:C1 BOTH C1:C2 neither C1:C3 neither C2:A us-ai-executive-order only C2:B us-ai-executive-order only C2:C neither C2:A1 neither C2:A2 neither C2:A3 neither C2:B1 neither C2:B2 neither C2:B3 neither C2:C1 us-ai-executive-order only C2:C2 BOTH C2:C3 neither C3:A neither C3:B neither C3:C eu-ai-act-insurability only C3:A1 us-ai-executive-order only C3:A2 neither C3:A3 neither C3:B1 neither C3:B2 neither C3:B3 neither C3:C1 neither C3:C2 BOTH C3:C3 neither A A B B C C A1 A1 A2 A2 A3 A3 B1 B1 B2 B2 B3 B3 C1 C1 C2 C2 C3 C3
The overlap grid — 12×12 lattice, two lit-cell patterns superimposed
A:A BOTH A:B A only A:C neither A:A1 neither A:A2 neither A:A3 neither A:B1 A only A:B2 A only A:B3 A only A:C1 BOTH A:C2 A only A:C3 neither B:A A only B:B BOTH B:C A only B:A1 neither B:A2 neither B:A3 A only B:B1 neither B:B2 neither B:B3 neither B:C1 neither B:C2 neither B:C3 A only C:A neither C:B neither C:C A only C:A1 neither C:A2 neither C:A3 neither C:B1 neither C:B2 neither C:B3 neither C:C1 B only C:C2 neither C:C3 neither A1:A neither A1:B neither A1:C neither A1:A1 BOTH A1:A2 neither A1:A3 neither A1:B1 neither A1:B2 neither A1:B3 neither A1:C1 B only A1:C2 neither A1:C3 B only A2:A neither A2:B neither A2:C neither A2:A1 neither A2:A2 BOTH A2:A3 neither A2:B1 neither A2:B2 neither A2:B3 neither A2:C1 B only A2:C2 B only A2:C3 B only A3:A BOTH A3:B neither A3:C neither A3:A1 neither A3:A2 neither A3:A3 BOTH A3:B1 neither A3:B2 neither A3:B3 neither A3:C1 BOTH A3:C2 neither A3:C3 neither B1:A neither B1:B neither B1:C neither B1:A1 neither B1:A2 neither B1:A3 neither B1:B1 B only B1:B2 neither B1:B3 B only B1:C1 neither B1:C2 neither B1:C3 neither B2:A neither B2:B B only B2:C A only B2:A1 neither B2:A2 neither B2:A3 A only B2:B1 neither B2:B2 BOTH B2:B3 BOTH B2:C1 neither B2:C2 neither B2:C3 A only B3:A B only B3:B A only B3:C neither B3:A1 neither B3:A2 neither B3:A3 neither B3:B1 neither B3:B2 A only B3:B3 BOTH B3:C1 B only B3:C2 neither B3:C3 A only C1:A neither C1:B neither C1:C neither C1:A1 B only C1:A2 neither C1:A3 neither C1:B1 neither C1:B2 neither C1:B3 neither C1:C1 BOTH C1:C2 neither C1:C3 neither C2:A B only C2:B B only C2:C neither C2:A1 neither C2:A2 neither C2:A3 neither C2:B1 neither C2:B2 neither C2:B3 neither C2:C1 B only C2:C2 BOTH C2:C3 neither C3:A neither C3:B neither C3:C A only C3:A1 B only C3:A2 neither C3:A3 neither C3:B1 neither C3:B2 neither C3:B3 neither C3:C1 neither C3:C2 BOTH C3:C3 neither A A B B C C A1 A1 A2 A2 A3 A3 B1 B1 B2 B2 B3 B3 C1 C1 C2 C2 C3 C3
BOTH lit — perfect cell match (worker has, job needs)
eu-ai-act-insurability only — worker has, job doesn't need (extra competence)
us-ai-executive-order only — job needs, worker doesn't have (missing competence)
Canonical fingerprint: f54f4d0c6022eb41e7fde73989241e37
Goldilocks curve — visa pass/fail at varying tolerance_radius
Treating eu-ai-act-insurability as worker, us-ai-executive-order as job
(auto-derived: top-3 most-massive cells = hard, rest = soft). The
soft_score is the mass-weighted overlap; visa = pass if
(1 - soft_score) ≤ tolerance_radius.
tolerance_radius visa soft_score reason
0.00DENIED
0.889
soft tolerance exceeded
0.10DENIED
0.889
soft tolerance exceeded
0.20GRANTED
0.889
visa granted
0.30GRANTED
0.889
visa granted
0.50GRANTED
0.889
visa granted
Reading the curve: the issuer (job) sets the tolerance. Tighter
thresholds (0.00, 0.10) demand near-perfect overlap on soft cells.
Looser thresholds (0.30, 0.50) allow more competence gaps. The
Goldilocks zone for this pair appears at tolerance ≈ 0.20 —
visa flips from DENIED to GRANTED as the tolerance crosses the
soft_score deficit (11.1%).
Mass shape
region cells aggregate mass (gz bytes)
BOTH 14 83,149 eu-ai-act-insurability only 17 13,831 us-ai-executive-order only 16 4,381 total lit (union) 47 101,361