feat(network): NetworkGraph types + extractor (Track D commit 2/6)

artifacts/requirements.yaml

@@ -1153,4 +1153,19 @@ artifacts:
     status: planned
     tags: [migration, track-e, v080, audit]
 
+  - id: REQ-NETWORK-004
+    type: requirement
+    title: Typed network graph extraction from a SystemInstance
+    description: >
+      System shall extract a typed network graph (nodes + links) from
+      a SystemInstance for downstream WCTT analysis. Nodes classify as
+      switches (bus components carrying Spar_Network::Switch_Type) or
+      end stations (devices/processors connected to a switched bus);
+      links carry the per-hop bandwidth, forwarding-latency range, and
+      queue-depth annotations from Spar_Network::*. The graph is the
+      bridge between the AADL ItemTree and the Network Calculus
+      primitives that follow in subsequent Track D commits.
+    status: planned
+    tags: [network, wctt, v080]
+
   # Research findings tracked separately in research/findings.yaml

artifacts/verification.yaml

@@ -1445,3 +1445,34 @@ artifacts:
         target: REQ-MIGRATION-001
       - type: satisfies
         target: REQ-MIGRATION-002
+
+  - id: TEST-SPAR-NETWORK-GRAPH
+    type: feature
+    title: Network graph extraction tests
+    description: >
+      Integration tests in crates/spar-network/tests/extract_tests.rs
+      that drive small inline AADL fixtures through the spar-hir-def
+      pipeline and call extract_network_graph on the resulting
+      SystemInstance. Coverage includes a simple FIFO topology
+      (switch + two end stations), a Priority switch classification,
+      a TSN switch (classified but otherwise opaque per Phase 1), an
+      unannotated bus that must be skipped, and a Forwarding_Latency
+      range that must lower to a (BCET, WCET) tuple in picoseconds.
+      Backed by unit tests in spar-network's types and extract modules
+      that exercise the SwitchType enum parsing and the typed-first /
+      string-fallback property accessors.
+    fields:
+      method: automated-test
+      steps:
+        - run: cargo test -p spar-network
+    status: passing
+    tags: [v0.8.0, network, wctt, tsn, extract]
+    links:
+      - type: satisfies
+        target: REQ-NETWORK-001
+      - type: satisfies
+        target: REQ-NETWORK-002
+      - type: satisfies
+        target: REQ-NETWORK-003
+      - type: satisfies
+        target: REQ-NETWORK-004

crates/spar-network/Cargo.toml

@@ -7,5 +7,7 @@ repository.workspace = true
 description = "Network Calculus primitives for AADL WCTT analysis (TSN/Ethernet, Track D)"
 
 [dependencies]
+spar-hir-def.workspace = true
 
 [dev-dependencies]
+spar-base-db.workspace = true