@ngocsangairvds/vsaf 3.2.13 → 3.2.15

package/tools/vds-scripts/diagram_generator/test_c4_hierarchical.py

@@ -1,142 +0,0 @@
-#!/usr/bin/env python3
-"""Quick test for C4 hierarchical diagram generation."""
-
-from vds_diagram_generator.c4_generator import C4Generator
-from vds_diagram_generator.models import (
-    ControllerInfo,
-    EndpointInfo,
-    FeignClientInfo,
-    KafkaHandlerInfo,
-    RepositoryInfo,
-    ServiceAnalysis,
-    ServiceInfo,
-)
-
-
-def test_l1_context():
-    """Test L1 System Context diagram generation."""
-    generator = C4Generator("/tmp/test-diagrams")
-    content = generator.generate_l1_context_diagram("INSURANCE")
-
-    # Verify key elements
-    assert "@startuml" in content
-    assert "C4_Context.puml" in content
-    assert "Person(" in content
-    assert "System(" in content
-    assert "System_Ext(" in content
-    assert "INSURANCE Platform" in content
-    assert "SHOW_LEGEND()" in content
-    print("✓ L1 Context diagram test passed")
-    return content
-
-
-def test_l2_container():
-    """Test L2 Container diagram generation."""
-    generator = C4Generator("/tmp/test-diagrams")
-    content = generator.generate_l2_container_diagram("INSURANCE")
-
-    # Verify key elements
-    assert "@startuml" in content
-    assert "C4_Container.puml" in content
-    assert "Container(" in content
-    assert "ContainerDb(" in content
-    assert "ContainerQueue(" in content
-    assert "System_Boundary(" in content
-    print("✓ L2 Container diagram test passed")
-    return content
-
-
-def test_l3_component():
-    """Test L3 Component diagram generation."""
-    generator = C4Generator("/tmp/test-diagrams")
-
-    # Create sample analysis
-    analysis = ServiceAnalysis(
-        service_name="insurance-policy-business",
-        controllers=[
-            ControllerInfo(
-                class_name="PolicyController",
-                base_path="/api/v1/policies",
-                endpoints=[
-                    EndpointInfo(
-                        method="GET", path="/api/v1/policies", method_name="getPolicies", service_method="findAll"
-                    ),
-                ],
-            )
-        ],
-        services=[
-            ServiceInfo(class_name="PolicyService", interface_name="IPolicyService", methods=["findAll", "create"])
-        ],
-        repositories=[
-            RepositoryInfo(interface_name="PolicyRepository", entity_type="Policy", custom_methods=["findByCustomerId"])
-        ],
-        feign_clients=[
-            FeignClientInfo(interface_name="PaymentClient", target_service="insurance-payment-service", methods=["pay"])
-        ],
-        kafka_handlers=[
-            KafkaHandlerInfo(class_name="PolicyEventHandler", topics=["policy-events"], methods=["handle"])
-        ],
-    )
-
-    content = generator.generate_l3_component_diagram(analysis)
-
-    # Verify key elements
-    assert "@startuml" in content
-    assert "C4_Component.puml" in content
-    assert "Component(" in content
-    assert "ComponentDb(" in content
-    assert "Container_Boundary(" in content
-    assert "PolicyController" in content
-    assert "PolicyService" in content
-    print("✓ L3 Component diagram test passed")
-    return content
-
-
-def test_dynamic_diagram():
-    """Test C4 Dynamic diagram generation."""
-    generator = C4Generator("/tmp/test-diagrams")
-
-    analysis = ServiceAnalysis(
-        service_name="insurance-policy-business",
-        controllers=[
-            ControllerInfo(
-                class_name="PolicyController",
-                base_path="/api/v1/policies",
-                endpoints=[
-                    EndpointInfo(
-                        method="POST", path="/api/v1/policies", method_name="createPolicy", service_method="create"
-                    ),
-                ],
-            )
-        ],
-        services=[ServiceInfo(class_name="PolicyService", methods=["create"])],
-        repositories=[RepositoryInfo(interface_name="PolicyRepository", entity_type="Policy")],
-        kafka_handlers=[KafkaHandlerInfo(class_name="PolicyEventHandler", topics=["policy-events"])],
-    )
-
-    content = generator.generate_c4_dynamic_diagram(analysis)
-
-    # Verify key elements
-    assert "@startuml" in content
-    assert "C4_Dynamic.puml" in content
-    assert "SHOW_INDEX()" in content
-    assert "RelIndex(" in content
-    assert "Rel_Back(" in content
-    print("✓ Dynamic diagram test passed")
-    return content
-
-
-if __name__ == "__main__":
-    print("Testing C4 Hierarchical Diagram Generation...")
-    print()
-
-    l1 = test_l1_context()
-    l2 = test_l2_container()
-    l3 = test_l3_component()
-    dyn = test_dynamic_diagram()
-
-    print()
-    print("All tests passed! ✓")
-    print()
-    print("=== Sample L1 Output (first 800 chars) ===")
-    print(l1[:800])

package/tools/vds-scripts/diagram_generator/test_c4_quick.py

@@ -1,131 +0,0 @@
-#!/usr/bin/env python3
-"""Quick test for C4 generator hierarchical diagram generation."""
-
-import sys
-
-sys.path.insert(0, "src")
-
-from vds_diagram_generator.c4_generator import C4Generator
-from vds_diagram_generator.models import (
-    ControllerInfo,
-    EndpointInfo,
-    FeignClientInfo,
-    KafkaHandlerInfo,
-    RepositoryInfo,
-    ServiceAnalysis,
-    ServiceInfo,
-)
-
-
-def test_l1_context():
-    """Test L1 System Context diagram generation."""
-    generator = C4Generator("/tmp/test-diagrams")
-    content = generator.generate_l1_context_diagram("INSURANCE")
-
-    # Verify key elements
-    assert "@startuml" in content
-    assert "C4_Context.puml" in content
-    assert "Person(" in content
-    assert "System(" in content
-    assert "System_Ext(" in content
-    assert "Rel(" in content
-    assert "SHOW_LEGEND()" in content
-    assert "@enduml" in content
-    print("✓ L1 Context diagram generation works")
-    return content
-
-
-def test_l2_container():
-    """Test L2 Container diagram generation."""
-    generator = C4Generator("/tmp/test-diagrams")
-    content = generator.generate_l2_container_diagram("INSURANCE")
-
-    # Verify key elements
-    assert "@startuml" in content
-    assert "C4_Container.puml" in content
-    assert "Container(" in content
-    assert "ContainerDb(" in content
-    assert "ContainerQueue(" in content
-    assert "System_Boundary(" in content
-    print("✓ L2 Container diagram generation works")
-    return content
-
-
-def test_l3_component():
-    """Test L3 Component diagram generation."""
-    generator = C4Generator("/tmp/test-diagrams")
-
-    analysis = ServiceAnalysis(
-        service_name="insurance-policy-business",
-        controllers=[
-            ControllerInfo(
-                class_name="PolicyController",
-                base_path="/api/v1/policies",
-                endpoints=[
-                    EndpointInfo(method="GET", path="/policies", method_name="getPolicies"),
-                ],
-            )
-        ],
-        services=[ServiceInfo(class_name="PolicyService", methods=["findAll", "create"])],
-        repositories=[RepositoryInfo(interface_name="PolicyRepository", entity_type="Policy")],
-        feign_clients=[FeignClientInfo(interface_name="PaymentClient", target_service="payment-service")],
-        kafka_handlers=[KafkaHandlerInfo(class_name="PolicyEventHandler", topics=["policy-events"])],
-    )
-
-    content = generator.generate_l3_component_diagram(analysis)
-
-    # Verify key elements
-    assert "@startuml" in content
-    assert "C4_Component.puml" in content
-    assert "Component(" in content
-    assert "ComponentDb(" in content
-    assert "Container_Boundary(" in content
-    print("✓ L3 Component diagram generation works")
-    return content
-
-
-def test_dynamic():
-    """Test C4 Dynamic diagram generation."""
-    generator = C4Generator("/tmp/test-diagrams")
-
-    analysis = ServiceAnalysis(
-        service_name="insurance-policy-business",
-        controllers=[
-            ControllerInfo(
-                class_name="PolicyController",
-                endpoints=[
-                    EndpointInfo(method="POST", path="/policies", method_name="createPolicy"),
-                ],
-            )
-        ],
-        services=[ServiceInfo(class_name="PolicyService", methods=["create"])],
-        repositories=[RepositoryInfo(interface_name="PolicyRepository", entity_type="Policy")],
-        kafka_handlers=[KafkaHandlerInfo(class_name="PolicyEventHandler", topics=["policy-events"])],
-    )
-
-    content = generator.generate_c4_dynamic_diagram(analysis)
-
-    # Verify key elements
-    assert "@startuml" in content
-    assert "C4_Dynamic.puml" in content
-    assert "SHOW_INDEX()" in content
-    assert "RelIndex(" in content
-    assert "Rel_Back(" in content
-    print("✓ Dynamic diagram generation works")
-    return content
-
-
-if __name__ == "__main__":
-    print("Testing C4 Hierarchical Diagram Generation...")
-    print()
-
-    l1 = test_l1_context()
-    l2 = test_l2_container()
-    l3 = test_l3_component()
-    dyn = test_dynamic()
-
-    print()
-    print("All tests passed!")
-    print()
-    print("=== Sample L1 Output (first 800 chars) ===")
-    print(l1[:800])

package/tools/vds-scripts/diagram_generator/tests/test_analyzer_completeness.py

@@ -1,260 +0,0 @@
-"""Property-based tests for diagram completeness.
-
-**Feature: insurance-diagram-accuracy, Property 1: Diagram Completeness**
-**Validates: Requirements 1.1, 1.2, 1.3, 1.4**
-
-For any service in the INSURANCE platform, the generated sequence diagram SHALL contain
-references to all REST endpoints, service methods, and external integrations found in
-the source code.
-"""
-
-import tempfile
-
-from hypothesis import given, settings
-from hypothesis import strategies as st
-from vds_diagram_generator.generator import PlantUMLGenerator
-from vds_diagram_generator.models import (
-    ControllerInfo,
-    EndpointInfo,
-    FeignClientInfo,
-    KafkaHandlerInfo,
-    RepositoryInfo,
-    ServiceAnalysis,
-    ServiceInfo,
-)
-
-# Strategies for generating test data
-endpoint_strategy = st.builds(
-    EndpointInfo,
-    method=st.sampled_from(["GET", "POST", "PUT", "DELETE"]),
-    path=st.text(alphabet="abcdefghijklmnopqrstuvwxyz/-_{}", min_size=1, max_size=50).map(lambda s: "/" + s),
-    method_name=st.text(alphabet="abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ", min_size=3, max_size=30),
-    service_method=st.none() | st.text(alphabet="abcdefghijklmnopqrstuvwxyz", min_size=3, max_size=20),
-)
-
-controller_strategy = st.builds(
-    ControllerInfo,
-    class_name=st.text(alphabet="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz", min_size=5, max_size=30).map(
-        lambda s: s + "Controller"
-    ),
-    base_path=st.text(alphabet="abcdefghijklmnopqrstuvwxyz/-", min_size=0, max_size=30),
-    endpoints=st.lists(endpoint_strategy, min_size=1, max_size=5),
-)
-
-service_strategy = st.builds(
-    ServiceInfo,
-    class_name=st.text(alphabet="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz", min_size=5, max_size=30).map(
-        lambda s: s + "ServiceImpl"
-    ),
-    interface_name=st.none()
-    | st.text(alphabet="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz", min_size=5, max_size=25).map(
-        lambda s: s + "Service"
-    ),
-    methods=st.lists(st.text(alphabet="abcdefghijklmnopqrstuvwxyz", min_size=3, max_size=20), min_size=1, max_size=10),
-    dependencies=st.lists(
-        st.text(alphabet="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz", min_size=5, max_size=20),
-        min_size=0,
-        max_size=5,
-    ),
-)
-
-repository_strategy = st.builds(
-    RepositoryInfo,
-    interface_name=st.text(
-        alphabet="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz", min_size=5, max_size=25
-    ).map(lambda s: s + "Repository"),
-    entity_type=st.none()
-    | st.text(alphabet="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz", min_size=3, max_size=20),
-    custom_methods=st.lists(
-        st.text(alphabet="abcdefghijklmnopqrstuvwxyz", min_size=5, max_size=25), min_size=0, max_size=5
-    ),
-)
-
-
-feign_client_strategy = st.builds(
-    FeignClientInfo,
-    interface_name=st.text(
-        alphabet="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz", min_size=5, max_size=25
-    ).map(lambda s: s + "Client"),
-    target_service=st.text(alphabet="abcdefghijklmnopqrstuvwxyz-", min_size=5, max_size=30),
-    methods=st.lists(st.text(alphabet="abcdefghijklmnopqrstuvwxyz", min_size=3, max_size=20), min_size=1, max_size=5),
-)
-
-kafka_handler_strategy = st.builds(
-    KafkaHandlerInfo,
-    class_name=st.text(alphabet="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz", min_size=5, max_size=25).map(
-        lambda s: s + "Handler"
-    ),
-    topics=st.lists(st.text(alphabet="abcdefghijklmnopqrstuvwxyz.-_", min_size=5, max_size=30), min_size=1, max_size=3),
-    methods=st.lists(st.text(alphabet="abcdefghijklmnopqrstuvwxyz", min_size=3, max_size=20), min_size=1, max_size=3),
-)
-
-service_analysis_strategy = st.builds(
-    ServiceAnalysis,
-    service_name=st.text(alphabet="abcdefghijklmnopqrstuvwxyz-", min_size=10, max_size=40),
-    controllers=st.lists(controller_strategy, min_size=1, max_size=3),
-    services=st.lists(service_strategy, min_size=1, max_size=3),
-    repositories=st.lists(repository_strategy, min_size=0, max_size=3),
-    feign_clients=st.lists(feign_client_strategy, min_size=0, max_size=3),
-    kafka_handlers=st.lists(kafka_handler_strategy, min_size=0, max_size=2),
-)
-
-
-class TestDiagramCompleteness:
-    """Property tests for diagram completeness.
-
-    **Feature: insurance-diagram-accuracy, Property 1: Diagram Completeness**
-    **Validates: Requirements 1.1, 1.2, 1.3, 1.4**
-    """
-
-    @given(analysis=service_analysis_strategy)
-    @settings(max_examples=100, deadline=None)
-    def test_sequence_diagram_contains_all_controllers(self, analysis: ServiceAnalysis) -> None:
-        """Property: All controller class names appear in the sequence diagram.
-
-        **Validates: Requirements 1.1** - WHEN a sequence diagram is generated for a service
-        THEN the Diagram Generator SHALL include all actual REST controller endpoints.
-        """
-        generator = PlantUMLGenerator(tempfile.gettempdir())
-        diagram = generator.generate_sequence_diagram(analysis)
-
-        for controller in analysis.controllers:
-            assert controller.class_name in diagram, f"Controller {controller.class_name} not found in sequence diagram"
-
-    @given(analysis=service_analysis_strategy)
-    @settings(max_examples=100, deadline=None)
-    def test_sequence_diagram_contains_all_endpoints(self, analysis: ServiceAnalysis) -> None:
-        """Property: All endpoint paths appear in the sequence diagram.
-
-        **Validates: Requirements 1.1** - WHEN a sequence diagram is generated for a service
-        THEN the Diagram Generator SHALL include all actual REST controller endpoints.
-        """
-        generator = PlantUMLGenerator(tempfile.gettempdir())
-        diagram = generator.generate_sequence_diagram(analysis)
-
-        for controller in analysis.controllers:
-            for endpoint in controller.endpoints:
-                assert endpoint.path in diagram, f"Endpoint path {endpoint.path} not found in sequence diagram"
-                assert endpoint.method in diagram, f"HTTP method {endpoint.method} not found in sequence diagram"
-
-    @given(analysis=service_analysis_strategy)
-    @settings(max_examples=100, deadline=None)
-    def test_sequence_diagram_contains_all_services(self, analysis: ServiceAnalysis) -> None:
-        """Property: All service class names appear in the sequence diagram.
-
-        **Validates: Requirements 1.2** - WHEN a sequence diagram shows a method call
-        THEN the Diagram Generator SHALL use the actual method names from the source code.
-        """
-        generator = PlantUMLGenerator(tempfile.gettempdir())
-        diagram = generator.generate_sequence_diagram(analysis)
-
-        for service in analysis.services:
-            assert service.class_name in diagram, f"Service {service.class_name} not found in sequence diagram"
-
-    @given(analysis=service_analysis_strategy)
-    @settings(max_examples=100, deadline=None)
-    def test_sequence_diagram_contains_all_feign_clients(self, analysis: ServiceAnalysis) -> None:
-        """Property: All Feign client target services appear in the sequence diagram.
-
-        **Validates: Requirements 1.3** - WHEN a service calls external services
-        THEN the Diagram Generator SHALL show the actual integration points.
-        """
-        generator = PlantUMLGenerator(tempfile.gettempdir())
-        diagram = generator.generate_sequence_diagram(analysis)
-
-        for feign in analysis.feign_clients:
-            assert feign.target_service in diagram, (
-                f"Feign client target {feign.target_service} not found in sequence diagram"
-            )
-
-    @given(analysis=service_analysis_strategy)
-    @settings(max_examples=100, deadline=None)
-    def test_sequence_diagram_contains_kafka_topics(self, analysis: ServiceAnalysis) -> None:
-        """Property: All Kafka topics appear in the sequence diagram when handlers exist.
-
-        **Validates: Requirements 1.4** - WHEN a service uses Kafka
-        THEN the Diagram Generator SHALL include Kafka consumer/producer interactions.
-        """
-        generator = PlantUMLGenerator(tempfile.gettempdir())
-        diagram = generator.generate_sequence_diagram(analysis)
-
-        for handler in analysis.kafka_handlers:
-            for topic in handler.topics:
-                assert topic in diagram, f"Kafka topic {topic} not found in sequence diagram"
-
-    @given(analysis=service_analysis_strategy)
-    @settings(max_examples=100, deadline=None)
-    def test_component_diagram_contains_all_controllers(self, analysis: ServiceAnalysis) -> None:
-        """Property: All controller class names appear in the component diagram.
-
-        **Validates: Requirements 2.1** - WHEN a component diagram is generated
-        THEN the Diagram Generator SHALL include all actual controller classes.
-        """
-        generator = PlantUMLGenerator(tempfile.gettempdir())
-        diagram = generator.generate_component_diagram(analysis)
-
-        for controller in analysis.controllers:
-            assert controller.class_name in diagram, (
-                f"Controller {controller.class_name} not found in component diagram"
-            )
-
-    @given(analysis=service_analysis_strategy)
-    @settings(max_examples=100, deadline=None)
-    def test_component_diagram_contains_all_services(self, analysis: ServiceAnalysis) -> None:
-        """Property: All service class names appear in the component diagram.
-
-        **Validates: Requirements 2.2** - WHEN a component diagram is generated
-        THEN the Diagram Generator SHALL include all actual service implementation classes.
-        """
-        generator = PlantUMLGenerator(tempfile.gettempdir())
-        diagram = generator.generate_component_diagram(analysis)
-
-        for service in analysis.services:
-            assert service.class_name in diagram, f"Service {service.class_name} not found in component diagram"
-
-    @given(analysis=service_analysis_strategy)
-    @settings(max_examples=100, deadline=None)
-    def test_component_diagram_contains_all_repositories(self, analysis: ServiceAnalysis) -> None:
-        """Property: All repository interface names appear in the component diagram.
-
-        **Validates: Requirements 2.3** - WHEN a component diagram is generated
-        THEN the Diagram Generator SHALL include all repository interfaces.
-        """
-        generator = PlantUMLGenerator(tempfile.gettempdir())
-        diagram = generator.generate_component_diagram(analysis)
-
-        for repo in analysis.repositories:
-            assert repo.interface_name in diagram, f"Repository {repo.interface_name} not found in component diagram"
-
-    @given(analysis=service_analysis_strategy)
-    @settings(max_examples=100, deadline=None)
-    def test_component_diagram_contains_all_feign_clients(self, analysis: ServiceAnalysis) -> None:
-        """Property: All Feign client interface names appear in the component diagram.
-
-        **Validates: Requirements 2.4** - WHEN a component diagram is generated
-        THEN the Diagram Generator SHALL show actual external service dependencies.
-        """
-        generator = PlantUMLGenerator(tempfile.gettempdir())
-        diagram = generator.generate_component_diagram(analysis)
-
-        for feign in analysis.feign_clients:
-            assert feign.interface_name in diagram, (
-                f"Feign client {feign.interface_name} not found in component diagram"
-            )
-
-    @given(analysis=service_analysis_strategy)
-    @settings(max_examples=100, deadline=None)
-    def test_diagrams_are_valid_plantuml(self, analysis: ServiceAnalysis) -> None:
-        """Property: Generated diagrams have valid PlantUML structure.
-
-        Both sequence and component diagrams must start with @startuml and end with @enduml.
-        """
-        generator = PlantUMLGenerator(tempfile.gettempdir())
-
-        sequence = generator.generate_sequence_diagram(analysis)
-        assert sequence.startswith("@startuml"), "Sequence diagram must start with @startuml"
-        assert sequence.strip().endswith("@enduml"), "Sequence diagram must end with @enduml"
-
-        component = generator.generate_component_diagram(analysis)
-        assert component.startswith("@startuml"), "Component diagram must start with @startuml"
-        assert component.strip().endswith("@enduml"), "Component diagram must end with @enduml"

package/tools/vds-scripts/diagram_generator/tests/test_c4_syntax_correctness.py

@@ -1,138 +0,0 @@
-"""Property tests for C4 diagram generation.
-
-**Feature: insurance-diagram-accuracy, Property 5: C4 Compliance**
-**Validates: Requirements 17.1, 17.4, 19.1**
-
-Ensures the C4 generator emits valid C4-PlantUML syntax, preserves hierarchy
-relationships, and covers every architectural element from the analysis graph.
-"""
-
-from __future__ import annotations
-
-import tempfile
-from pathlib import Path
-
-from vds_diagram_generator.c4_generator import C4Generator
-from vds_diagram_generator.models import (
-    ControllerInfo,
-    EndpointInfo,
-    FeignClientInfo,
-    KafkaHandlerInfo,
-    RepositoryInfo,
-    ServiceAnalysis,
-    ServiceInfo,
-)
-
-
-def _sample_analysis() -> ServiceAnalysis:
-    """Create a representative service analysis graph for testing."""
-
-    controller = ControllerInfo(
-        class_name="PolicyController",
-        base_path="/policy",
-        endpoints=[
-            EndpointInfo(method="GET", path="/policy/{id}", method_name="getPolicy", service_method="findPolicy"),
-        ],
-    )
-    service = ServiceInfo(
-        class_name="PolicyServiceImpl",
-        interface_name="PolicyService",
-        methods=["findPolicy"],
-        dependencies=["PolicyRepository"],
-    )
-    repository = RepositoryInfo(
-        interface_name="PolicyRepository",
-        entity_type="PolicyEntity",
-        custom_methods=["findByPolicyNumber"],
-    )
-    feign = FeignClientInfo(
-        interface_name="InsurerClient",
-        target_service="insurer-service",
-        methods=["getInsurer"],
-    )
-    kafka_handler = KafkaHandlerInfo(
-        class_name="PolicyEventHandler",
-        topics=["policy.events"],
-        methods=["handlePolicyEvent"],
-    )
-
-    return ServiceAnalysis(
-        service_name="insurance-policy-business",
-        controllers=[controller],
-        services=[service],
-        repositories=[repository],
-        feign_clients=[feign],
-        kafka_handlers=[kafka_handler],
-    )
-
-
-class TestC4SyntaxCorrectness:
-    """Tests for Property 5: C4 Compliance (task 19.1)."""
-
-    def test_c4_component_diagram_contains_required_macros(self) -> None:
-        """C4 component diagrams shall include stdlib header, legend, and boundaries."""
-        with tempfile.TemporaryDirectory() as tmpdir:
-            generator = C4Generator(Path(tmpdir))
-            diagram = generator.generate_l3_component_diagram(_sample_analysis())
-
-        assert "@startuml" in diagram
-        assert (
-            "!include https://raw.githubusercontent.com/plantuml-stdlib/C4-PlantUML/master/C4_Component.puml" in diagram
-        )
-        assert "Container_Boundary" in diagram
-        assert "SHOW_LEGEND()" in diagram
-        assert "@enduml" in diagram
-
-    def test_c4_dynamic_diagram_enables_sequence_index(self) -> None:
-        """Dynamic diagrams shall provide SHOW_INDEX() for numbered flows."""
-        with tempfile.TemporaryDirectory() as tmpdir:
-            generator = C4Generator(Path(tmpdir))
-            diagram = generator.generate_c4_dynamic_diagram(_sample_analysis())
-
-        assert (
-            "!include https://raw.githubusercontent.com/plantuml-stdlib/C4-PlantUML/master/C4_Dynamic.puml" in diagram
-        )
-        assert "SHOW_INDEX()" in diagram
-        # Ensure numbered RelIndex entries exist
-        assert "RelIndex(" in diagram
-
-    def test_c4_hierarchy_generation_outputs_expected_files(self) -> None:
-        """Full hierarchical generation shall emit L1, L2, L3, and dynamic diagrams."""
-        with tempfile.TemporaryDirectory() as tmpdir:
-            base_path = Path(tmpdir)
-            output_dir = base_path / "c4-diagrams"
-            generator = C4Generator(base_path)
-            result = generator.generate_all_hierarchical_diagrams(
-                platform="INSURANCE",
-                analyses=[_sample_analysis()],
-                output_dir=output_dir,
-            )
-
-            assert set(result.keys()) == {"l1_context", "l2_container", "l3_component", "dynamic"}
-            assert len(result["l1_context"]) == 1
-            assert len(result["l2_container"]) == 1
-            assert len(result["l3_component"]) == 1
-            assert len(result["dynamic"]) == 1
-
-            expected_files = {
-                "L1-insurance-platform-context.puml",
-                "L2-insurance-platform-containers.puml",
-                "L3-insurance-policy-business-components.puml",
-                "insurance-policy-business-c4-dynamic.puml",
-            }
-            actual_files = {p.name for p in output_dir.iterdir()}
-            assert expected_files <= actual_files, (
-                f"Generated files mismatch.\nExpected at least: {expected_files}\nActual: {actual_files}"
-            )
-
-    def test_c4_component_diagram_covers_all_elements(self) -> None:
-        """Every analyzed element SHALL appear in the L3 component diagram."""
-        with tempfile.TemporaryDirectory() as tmpdir:
-            generator = C4Generator(Path(tmpdir))
-            diagram = generator.generate_l3_component_diagram(_sample_analysis())
-
-        assert "PolicyController" in diagram
-        assert "PolicyServiceImpl" in diagram
-        assert "PolicyRepository" in diagram
-        assert "InsurerClient" in diagram
-        assert "PolicyEventHandler" in diagram