mirror of
https://github.com/jmcorgan/fips.git
synced 2026-10-30 07:37:36 +00:00
Johnathan Corgan
00e26765bd
Wire format diagrams: - Add 24 SVG diagrams covering every FMP and FSP wire format: common prefix, established frame headers, Noise IK handshake messages, handshake flow, TreeAnnounce, AncestryEntry, FilterAnnounce, LookupRequest/Response, SessionDatagram, Disconnect, SenderReport, ReceiverReport, FSP complete message, SessionSetup/Ack/Msg3, PathMtuNotification, CoordsRequired, PathBroken, and MtuExceeded - Replace ASCII art in fips-wire-formats.md with SVG references - Apply text edits to fips-mesh-layer.md, fips-mesh-operation.md, fips-transport-layer.md, and fips-ipv6-adapter.md Spanning tree dynamics: - Add 12 topology SVG diagrams: node join (overview + 3-panel steps), three-node convergence (4-panel), link addition with depth labels, link removal, partition formation, and 6 real-world example diagrams (office, mixed-link, two-site WAN topologies) - Rewrite all code blocks to narrative prose with diagram references - Add inline prior art attributions distinguishing Yggdrasil-derived concepts from FIPS-novel contributions - Add 3 new references (De Couto ETX, IEEE 802.1D, RFC 2328 OSPF) and Prior Art summary - Remove outdated sections: indirect partition note, integration test gaps, DHT-based lookup reference - Change "must elect a new root" to "must rediscover its new root" Spanning tree design review (fips-spanning-tree.md): - Rename "Root Election" to "Root Discovery" across docs - Add "What Is a Spanning Tree?" introductory section - Add parent selection intro explaining self-organization role - Fix tree distance example: 4 hops, not 2 - Clarify timestamp field as advisory only - Remove unimplemented ROOT_TIMEOUT and TREE_ENTRY_TTL from timing parameters and implementation status tables Bloom filter design review (fips-bloom-filters.md): - Add "What Is a Bloom Filter?" intro section - Rewrite Purpose section to frame filters as routing path identification - Correct FPR analysis (old values were 3-50x overstated) - Add Filter Occupancy Model based on network size and tree position - Fix filter expiration to describe actual MMP-based cleanup - Combine Scale Considerations with Size Classes after Wire Format - Fix stale FPR values in src/bloom/mod.rs comments Session layer review (fips-session-layer.md): - Add inline prior art attributions: Noise Protocol Framework, WireGuard, DTLS (RFC 6347), IKEv2 (RFC 7296), RFC 1191 PMTUD, Yggdrasil, NIP-44 - Replace warmup state machine ASCII art with SVG diagram - Convert CoordsWarmup wire format code block to prose - Add External References section with full citations Level 5 implementation doc cleanup: - Delete fips-software-architecture.md (redundant with protocol layer docs) - Delete fips-state-machines.md (Rust tutorial, not protocol design) - Add fipsctl command reference to README.md - Update cross-references in fips-intro.md, docs/design/README.md, fips-transport-layer.md, fips-configuration.md Fixes: - Correct fd::/8 to fd00::/8 in fips-session-layer.md, fips-identity-derivation.svg, and fips-node-architecture.svg - Fix config example MTU: 1197 → 1472 in fips-configuration.md File organization: - Move all SVG diagrams into docs/design/diagrams/ subdirectory - Update all diagram references to use new paths
77 lines
3.9 KiB
XML
77 lines
3.9 KiB
XML
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 700 310" font-family="monospace" font-size="13">
|
|
<!-- Background -->
|
|
<rect width="700" height="310" fill="#0d1117" rx="8"/>
|
|
|
|
<!-- Title -->
|
|
<text x="350" y="28" fill="#e0e0e0" text-anchor="middle" font-size="15" font-weight="bold">Link Removal — B↔C Link Fails</text>
|
|
|
|
<!-- Section divider between Before and After -->
|
|
<line x1="300" y1="42" x2="300" y2="300" stroke="#404060" stroke-width="1" stroke-dasharray="6,4"/>
|
|
|
|
<!-- ======================== BEFORE (left side) ======================== -->
|
|
<text x="150" y="55" fill="#909090" text-anchor="middle" font-size="14">Before</text>
|
|
|
|
<!-- Node A (root) at y=110 -->
|
|
<text x="150" y="86" fill="#d0a040" text-anchor="middle" font-size="10">★ root</text>
|
|
<circle cx="150" cy="110" r="20" fill="#1a1a2e" stroke="#d0a040" stroke-width="2.5"/>
|
|
<text x="150" y="115" fill="#e0e0e0" text-anchor="middle" font-weight="bold" font-size="14">A</text>
|
|
|
|
<!-- Link A-B -->
|
|
<line x1="150" y1="130" x2="150" y2="160" stroke="#d0a040" stroke-width="2.5"/>
|
|
|
|
<!-- Node B at y=180 -->
|
|
<circle cx="150" cy="180" r="20" fill="#1a1a2e" stroke="#e0e0e0" stroke-width="2"/>
|
|
<text x="150" y="185" fill="#e0e0e0" text-anchor="middle" font-weight="bold" font-size="14">B</text>
|
|
|
|
<!-- Link B-D -->
|
|
<line x1="130" y1="196" x2="90" y2="235" stroke="#d0a040" stroke-width="2.5"/>
|
|
|
|
<!-- Node D at y=255 -->
|
|
<circle cx="80" cy="255" r="20" fill="#1a1a2e" stroke="#e0e0e0" stroke-width="2"/>
|
|
<text x="80" y="260" fill="#e0e0e0" text-anchor="middle" font-weight="bold" font-size="14">D</text>
|
|
|
|
<!-- Link B-C (failing - dashed) -->
|
|
<line x1="170" y1="196" x2="210" y2="235" stroke="#d0a040" stroke-width="2.5" stroke-dasharray="4,3" opacity="0.5"/>
|
|
|
|
<!-- Red X on B-C link -->
|
|
<line x1="178" y1="208" x2="202" y2="228" stroke="#c04040" stroke-width="3" stroke-linecap="round"/>
|
|
<line x1="202" y1="208" x2="178" y2="228" stroke="#c04040" stroke-width="3" stroke-linecap="round"/>
|
|
|
|
<!-- Node C at y=255 -->
|
|
<circle cx="220" cy="255" r="20" fill="#1a1a2e" stroke="#e0e0e0" stroke-width="2"/>
|
|
<text x="220" y="260" fill="#e0e0e0" text-anchor="middle" font-weight="bold" font-size="14">C</text>
|
|
|
|
<!-- ======================== AFTER (right side) ======================== -->
|
|
<text x="500" y="55" fill="#909090" text-anchor="middle" font-size="14">After</text>
|
|
|
|
<!-- Node A (root) at y=110 -->
|
|
<text x="440" y="86" fill="#d0a040" text-anchor="middle" font-size="10">★ root</text>
|
|
<circle cx="440" cy="110" r="20" fill="#1a1a2e" stroke="#d0a040" stroke-width="2.5"/>
|
|
<text x="440" y="115" fill="#e0e0e0" text-anchor="middle" font-weight="bold" font-size="14">A</text>
|
|
|
|
<!-- Link A-B -->
|
|
<line x1="440" y1="130" x2="440" y2="160" stroke="#d0a040" stroke-width="2.5"/>
|
|
|
|
<!-- Node B at y=180 -->
|
|
<circle cx="440" cy="180" r="20" fill="#1a1a2e" stroke="#e0e0e0" stroke-width="2"/>
|
|
<text x="440" y="185" fill="#e0e0e0" text-anchor="middle" font-weight="bold" font-size="14">B</text>
|
|
|
|
<!-- Link B-D -->
|
|
<line x1="440" y1="200" x2="440" y2="235" stroke="#d0a040" stroke-width="2.5"/>
|
|
|
|
<!-- Node D at y=255 -->
|
|
<circle cx="440" cy="255" r="20" fill="#1a1a2e" stroke="#e0e0e0" stroke-width="2"/>
|
|
<text x="440" y="260" fill="#e0e0e0" text-anchor="middle" font-weight="bold" font-size="14">D</text>
|
|
|
|
<!-- Node C (isolated, its own root) at y=180 -->
|
|
<text x="600" y="148" fill="#d0a040" text-anchor="middle" font-size="10">★ root</text>
|
|
<circle cx="600" cy="180" r="20" fill="#1a1a2e" stroke="#d0a040" stroke-width="2.5"/>
|
|
<text x="600" y="185" fill="#e0e0e0" text-anchor="middle" font-weight="bold" font-size="14">C</text>
|
|
|
|
<!-- "isolated" label under C -->
|
|
<text x="600" y="215" fill="#909090" text-anchor="middle" font-size="10">(isolated)</text>
|
|
|
|
<!-- Ghost link where B-C used to be -->
|
|
<line x1="460" y1="180" x2="580" y2="180" stroke="#404040" stroke-width="1.5" stroke-dasharray="4,3" opacity="0.4"/>
|
|
</svg>
|
