fix(fls): read and write a network card's wireless flag

A notebook that joins a switch's wireless network has its card marked
wireless (NetzwerkInterface.setWireless, Betriebssystem.wireless()), next
to the wireless cable. The reader did not read it, the writer did not write
it, and the Java oracle did not report it, so the Java-against-Java writer
test could not see the loss. Found while exporting the editor model: the
corpus has 18 wireless cards, one at each wireless cable.

The oracle now reports `wireless` per interface; FlsInterface has it; the
writer sets it. The synthetic topology has a wireless card; a mutation
probe that drops it is caught by Java.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
2026-09-30 08:51:03 +00:00
co-authored by Claude Opus 5.5
parent 34d3788cd2
commit 968dbbc34a
10 changed files with 919 additions and 463 deletions
+1
View File
@@ -469,6 +469,7 @@ function interfaceStatements(nic: FlsInterface): BeanStatement[] {
if (nic.mask !== null) statements.push({ set: 'subnetzMaske', value: nic.mask });
if (nic.mac !== undefined) statements.push({ set: 'mac', value: nic.mac });
statements.push({ set: 'gateway', value: nic.gateway }, { set: 'dns', value: nic.dns });
if (nic.wireless) statements.push({ set: 'wireless', value: true });
return statements;
}