julian.kiedaischandClaude Opus 5.5
5c16cf18b4
tools/swift-oracle builds the unchanged Swift runtime (pinned 3b5ded0) in Docker and replays JSON scenarios; the TypeScript engine must produce the same trace events, results and end state. Five scenarios, 884 events, identical. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
156 lines
3.7 KiB
JSON
156 lines
3.7 KiB
JSON
{
|
|
"seed": 14,
|
|
"nodes": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000101",
|
|
"kind": "pc",
|
|
"ports": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000111",
|
|
"label": "eth0"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000102",
|
|
"kind": "pc",
|
|
"ports": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000112",
|
|
"label": "eth0"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000103",
|
|
"kind": "pc",
|
|
"ports": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000113",
|
|
"label": "eth0"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000104",
|
|
"kind": "networkSwitch",
|
|
"ports": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000121",
|
|
"label": "sw1"
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000122",
|
|
"label": "sw2"
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000123",
|
|
"label": "sw3"
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000124",
|
|
"label": "sw4"
|
|
}
|
|
]
|
|
}
|
|
],
|
|
"links": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-00000000F001",
|
|
"sourceNode": "00000000-0000-0000-0000-000000000101",
|
|
"sourcePort": "00000000-0000-0000-0000-000000000111",
|
|
"targetNode": "00000000-0000-0000-0000-000000000104",
|
|
"targetPort": "00000000-0000-0000-0000-000000000121"
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-00000000F002",
|
|
"sourceNode": "00000000-0000-0000-0000-000000000102",
|
|
"sourcePort": "00000000-0000-0000-0000-000000000112",
|
|
"targetNode": "00000000-0000-0000-0000-000000000104",
|
|
"targetPort": "00000000-0000-0000-0000-000000000122"
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-00000000F003",
|
|
"sourceNode": "00000000-0000-0000-0000-000000000103",
|
|
"sourcePort": "00000000-0000-0000-0000-000000000113",
|
|
"targetNode": "00000000-0000-0000-0000-000000000104",
|
|
"targetPort": "00000000-0000-0000-0000-000000000123"
|
|
}
|
|
],
|
|
"devices": {
|
|
"00000000-0000-0000-0000-000000000101": {
|
|
"ip": "192.168.0.10",
|
|
"mask": "255.255.255.0"
|
|
},
|
|
"00000000-0000-0000-0000-000000000102": {
|
|
"ip": "192.168.0.20",
|
|
"mask": "255.255.255.0"
|
|
},
|
|
"00000000-0000-0000-0000-000000000103": {
|
|
"ip": "192.168.0.30",
|
|
"mask": "255.255.255.0"
|
|
}
|
|
},
|
|
"switches": {
|
|
"00000000-0000-0000-0000-000000000104": {
|
|
"ssid": "lab",
|
|
"retention": 5000
|
|
}
|
|
},
|
|
"steps": [
|
|
{
|
|
"op": "ping",
|
|
"from": "00000000-0000-0000-0000-000000000101",
|
|
"target": "192.168.0.20",
|
|
"identifier": 1,
|
|
"sequence": 1
|
|
},
|
|
{
|
|
"op": "ping",
|
|
"from": "00000000-0000-0000-0000-000000000101",
|
|
"target": "192.168.0.20",
|
|
"identifier": 1,
|
|
"sequence": 2
|
|
},
|
|
{
|
|
"op": "ping",
|
|
"from": "00000000-0000-0000-0000-000000000103",
|
|
"target": "192.168.0.10",
|
|
"identifier": 7,
|
|
"sequence": 1
|
|
},
|
|
{
|
|
"op": "ping",
|
|
"from": "00000000-0000-0000-0000-000000000102",
|
|
"target": "192.168.0.99",
|
|
"identifier": 9,
|
|
"sequence": 1
|
|
},
|
|
{
|
|
"op": "ping",
|
|
"from": "00000000-0000-0000-0000-000000000101",
|
|
"target": "192.168.0.10",
|
|
"identifier": 2,
|
|
"sequence": 1
|
|
},
|
|
{
|
|
"op": "ping",
|
|
"from": "00000000-0000-0000-0000-000000000101",
|
|
"target": "127.0.0.1",
|
|
"identifier": 3,
|
|
"sequence": 1
|
|
},
|
|
{
|
|
"op": "advance",
|
|
"to": 20000
|
|
},
|
|
{
|
|
"op": "ping",
|
|
"from": "00000000-0000-0000-0000-000000000102",
|
|
"target": "192.168.0.30",
|
|
"identifier": 4,
|
|
"sequence": 1
|
|
}
|
|
]
|
|
}
|