julian.kiedaisch/mdg-filius
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

test(core): Swift oracle — the filius-ipad core built on Linux as the reference

Browse Source 
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>
This commit is contained in:
julian.kiedaisch
2026-09-29 19:33:14 +00:00
co-authored by Claude Opus 5.5
parent 696334aa5a
commit 5c16cf18b4
27 changed files with 27394 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
packages/core/test/scenarios/switch-ageing-boundary.scenario.json
+568
View File
@@ -0,0 +1,568 @@
{
"seed": 5,
"nodes": [
{
"id": "00000000-0000-0000-0000-000000000501",
"kind": "pc",
"ports": [
{
"id": "00000000-0000-0000-0000-000000000511",
"label": "eth0"
}
]
},
{
"id": "00000000-0000-0000-0000-000000000502",
"kind": "notebook",
"ports": [
{
"id": "00000000-0000-0000-0000-000000000512",
"label": "eth0",
"mac": "0a:1b:2c:3d:4e:5f"
}
]
},
{
"id": "00000000-0000-0000-0000-000000000503",
"kind": "networkSwitch",
"ports": [
{
"id": "00000000-0000-0000-0000-000000000521",
"label": "sw1"
},
{
"id": "00000000-0000-0000-0000-000000000522",
"label": "sw2"
}
]
}
],
"links": [
{
"id": "00000000-0000-0000-0000-00000000F501",
"sourceNode": "00000000-0000-0000-0000-000000000501",
"sourcePort": "00000000-0000-0000-0000-000000000511",
"targetNode": "00000000-0000-0000-0000-000000000503",
"targetPort": "00000000-0000-0000-0000-000000000521"
},
{
"id": "00000000-0000-0000-0000-00000000F502",
"sourceNode": "00000000-0000-0000-0000-000000000503",
"sourcePort": "00000000-0000-0000-0000-000000000522",
"targetNode": "00000000-0000-0000-0000-000000000502",
"targetPort": "00000000-0000-0000-0000-000000000512"
}
],
"devices": {
"00000000-0000-0000-0000-000000000501": {
"ip": "10.5.0.1",
"mask": "255.255.255.0"
},
"00000000-0000-0000-0000-000000000502": {
"ip": "10.5.0.2",
"mask": "255.255.255.0"
}
},
"switches": {
"00000000-0000-0000-0000-000000000503": {
"ssid": "age",
"retention": 1000
}
},
"steps": [
{
"op": "ping",
"from": "00000000-0000-0000-0000-000000000501",
"target": "10.5.0.2",
"identifier": 50,
"sequence": 1
},
{
"op": "advance",
"to": 1000
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1005
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1010
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1015
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1020
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1025
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1030
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1035
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1040
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1045
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1050
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1055
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1060
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1065
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1070
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1075
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1080
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1085
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1090
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1095
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1100
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1105
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1110
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1115
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1120
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1125
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1130
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1135
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1140
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1145
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1150
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1155
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1160
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1165
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1170
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1175
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1180
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1185
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1190
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1195
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1200
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1205
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1210
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1215
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1220
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1225
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1230
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1235
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1240
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1245
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1250
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1255
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1260
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1265
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1270
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1275
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1280
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1285
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1290
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "advance",
"to": 1295
},
{
"op": "sat",
"node": "00000000-0000-0000-0000-000000000503"
},
{
"op": "ping",
"from": "00000000-0000-0000-0000-000000000502",
"target": "10.5.0.1",
"identifier": 51,
"sequence": 1
}
]
}