{
  "checkedAt": "2026-10-28T05:21:46.228834+00:00",
  "executableSha256": "c40583d707af7abd9b8568e2ed5a4f117f27a775dca617c8d7b873d76772dd6d",
  "method": "Unmodified complete original function0x57ee00, controlled city owners/IDs and connection matrix, Unicorn x86; separate static call-site evidence. No original route search or Windows session executed.",
  "originalWindowsRuntimeVerified": false,
  "block": {
    "start": "0x57ee00",
    "end": "0x57ee8d",
    "bytes": "568b742408578bf985f675075f32c05ec20c008b54241085d275075f32c05ec20c003bf275075fb0015ec20c008b4c241483f9ff75348a4e28b80100000053bb01000000d3e08a4a28d3e38b4e20c1e1090bc38b5a2003cb5b8b748f385f23c65ef7d81bc0f7d8c20c008b46208b7220c1e009ba0100000003c6d3e28b4487385f5e23c2f7d81bc0f7d8c20c00",
    "sha256": "a343d837d09edfe1d5c9abead22cfe434313b07026753ca93bcf58b52de47cc4"
  },
  "checks": [
    {
      "address": "0x4ae12d",
      "bytes": "f7840eec00000000001000",
      "meaning": "active waterTrade BLDG flag0x100000"
    },
    {
      "address": "0x4ae0de",
      "bytes": "e8fdeaffff",
      "meaning": "active building predicate"
    },
    {
      "address": "0x4ae11e",
      "bytes": "e8cd320b00",
      "meaning": "obsolete technology check"
    },
    {
      "address": "0x57da13",
      "bytes": "e8a806f3ff",
      "meaning": "first endpoint requires water-trading building"
    },
    {
      "address": "0x57db27",
      "bytes": "e89405f3ff",
      "meaning": "second endpoint requires water-trading building"
    },
    {
      "address": "0x57db67",
      "bytes": "81e200100000",
      "meaning": "blockade route flag0x1000"
    },
    {
      "address": "0x57db6d",
      "bytes": "83ca09",
      "meaning": "water route flags include0x9"
    },
    {
      "address": "0x55ea61",
      "bytes": "6aff",
      "meaning": "international caller requests either owner graph"
    },
    {
      "address": "0x55ea6a",
      "bytes": "e891030200",
      "meaning": "international caller invokes matrix predicate"
    },
    {
      "address": "0x4adeaf",
      "bytes": "52",
      "meaning": "capital connection passes specific owner"
    },
    {
      "address": "0x4adeb7",
      "bytes": "e8440f0d00",
      "meaning": "capital connection invokes matrix predicate"
    },
    {
      "address": "0x56d353",
      "bytes": "e89810050085c07f0b8bcee8cd11050085c07e41",
      "meaning": "combat occupier requires attack or defense above zero"
    },
    {
      "address": "0x56d367",
      "bytes": "8a44241c84c07413",
      "meaning": "visibility test skipped when argument is0"
    }
  ],
  "caseCount": 105,
  "cases": [
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 0,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 0,
      "requestedCiv": 1,
      "connected": false
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 0,
      "requestedCiv": 2,
      "connected": false
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 2,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 2,
      "requestedCiv": 1,
      "connected": true
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 2,
      "requestedCiv": 2,
      "connected": false
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 4,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 4,
      "requestedCiv": 1,
      "connected": false
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 4,
      "requestedCiv": 2,
      "connected": true
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 6,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 6,
      "requestedCiv": 1,
      "connected": true
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 6,
      "requestedCiv": 2,
      "connected": true
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 1073741824,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 1073741824,
      "requestedCiv": 1,
      "connected": false
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 1073741824,
      "requestedCiv": 2,
      "connected": false
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 4294967295,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 4294967295,
      "requestedCiv": 1,
      "connected": true
    },
    {
      "ownerA": 1,
      "ownerB": 2,
      "matrixMask": 4294967295,
      "requestedCiv": 2,
      "connected": true
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 0,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 0,
      "requestedCiv": 2,
      "connected": false
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 0,
      "requestedCiv": 1,
      "connected": false
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 2,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 2,
      "requestedCiv": 2,
      "connected": false
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 2,
      "requestedCiv": 1,
      "connected": true
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 4,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 4,
      "requestedCiv": 2,
      "connected": true
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 4,
      "requestedCiv": 1,
      "connected": false
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 6,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 6,
      "requestedCiv": 2,
      "connected": true
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 6,
      "requestedCiv": 1,
      "connected": true
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 1073741824,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 1073741824,
      "requestedCiv": 2,
      "connected": false
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 1073741824,
      "requestedCiv": 1,
      "connected": false
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 4294967295,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 4294967295,
      "requestedCiv": 2,
      "connected": true
    },
    {
      "ownerA": 2,
      "ownerB": 1,
      "matrixMask": 4294967295,
      "requestedCiv": 1,
      "connected": true
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 0,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 0,
      "requestedCiv": 0,
      "connected": false
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 0,
      "requestedCiv": 3,
      "connected": false
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 1,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 1,
      "requestedCiv": 0,
      "connected": true
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 1,
      "requestedCiv": 3,
      "connected": false
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 8,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 8,
      "requestedCiv": 0,
      "connected": false
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 8,
      "requestedCiv": 3,
      "connected": true
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 9,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 9,
      "requestedCiv": 0,
      "connected": true
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 9,
      "requestedCiv": 3,
      "connected": true
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 1073741824,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 1073741824,
      "requestedCiv": 0,
      "connected": false
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 1073741824,
      "requestedCiv": 3,
      "connected": false
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 4294967295,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 4294967295,
      "requestedCiv": 0,
      "connected": true
    },
    {
      "ownerA": 0,
      "ownerB": 3,
      "matrixMask": 4294967295,
      "requestedCiv": 3,
      "connected": true
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 0,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 0,
      "requestedCiv": 7,
      "connected": false
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 0,
      "requestedCiv": 12,
      "connected": false
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 128,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 128,
      "requestedCiv": 7,
      "connected": true
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 128,
      "requestedCiv": 12,
      "connected": false
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 4096,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 4096,
      "requestedCiv": 7,
      "connected": false
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 4096,
      "requestedCiv": 12,
      "connected": true
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 4224,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 4224,
      "requestedCiv": 7,
      "connected": true
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 4224,
      "requestedCiv": 12,
      "connected": true
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 1073741824,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 1073741824,
      "requestedCiv": 7,
      "connected": false
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 1073741824,
      "requestedCiv": 12,
      "connected": false
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 4294967295,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 4294967295,
      "requestedCiv": 7,
      "connected": true
    },
    {
      "ownerA": 7,
      "ownerB": 12,
      "matrixMask": 4294967295,
      "requestedCiv": 12,
      "connected": true
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 0,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 0,
      "requestedCiv": 31,
      "connected": false
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 0,
      "requestedCiv": 1,
      "connected": false
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 2,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 2,
      "requestedCiv": 31,
      "connected": false
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 2,
      "requestedCiv": 1,
      "connected": true
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 1073741824,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 1073741824,
      "requestedCiv": 31,
      "connected": false
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 1073741824,
      "requestedCiv": 1,
      "connected": false
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 2147483648,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 2147483648,
      "requestedCiv": 31,
      "connected": true
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 2147483648,
      "requestedCiv": 1,
      "connected": false
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 2147483650,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 2147483650,
      "requestedCiv": 31,
      "connected": true
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 2147483650,
      "requestedCiv": 1,
      "connected": true
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 4294967295,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 4294967295,
      "requestedCiv": 31,
      "connected": true
    },
    {
      "ownerA": 31,
      "ownerB": 1,
      "matrixMask": 4294967295,
      "requestedCiv": 1,
      "connected": true
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 0,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 0,
      "requestedCiv": 3,
      "connected": false
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 0,
      "requestedCiv": 3,
      "connected": false
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 8,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 8,
      "requestedCiv": 3,
      "connected": true
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 8,
      "requestedCiv": 3,
      "connected": true
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 1073741824,
      "requestedCiv": -1,
      "connected": false
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 1073741824,
      "requestedCiv": 3,
      "connected": false
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 1073741824,
      "requestedCiv": 3,
      "connected": false
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 4294967295,
      "requestedCiv": -1,
      "connected": true
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 4294967295,
      "requestedCiv": 3,
      "connected": true
    },
    {
      "ownerA": 3,
      "ownerB": 3,
      "matrixMask": 4294967295,
      "requestedCiv": 3,
      "connected": true
    },
    {
      "cityA": 0,
      "cityB": 33558784,
      "connected": false
    },
    {
      "cityA": 33558528,
      "cityB": 0,
      "connected": false
    },
    {
      "cityA": 33558528,
      "cityB": 33558528,
      "connected": true
    }
  ],
  "harbors": [
    {
      "id": 52,
      "name": "Гавань",
      "shieldCost": 30,
      "maintenance": 1,
      "requiredTech": 1,
      "flagsHex": "00001001810c00000000000000000000"
    }
  ],
  "technologyRights": [
    {
      "id": 46,
      "name": "Мореплавание",
      "flags": 139264
    },
    {
      "id": 86,
      "name": "Магнетизм",
      "flags": 16384
    }
  ],
  "limitations": [
    "Water-passability interpretation also uses primary C3X TradeNetX source, not execution of the complete original search",
    "Precise original blockade update phases, hidden nationality and full Windows PRNG remain unverified",
    "Air trade and special port/freshwater exceptions are outside this release"
  ]
}