[ARCHIVED / SUPERSEDED] ESP32-P4 allocation-bounded SV publisher first-trial path

.github/workflows/brcb-hard-profile-ci.yml

@@ -0,0 +1,82 @@
+name: BRCB Hard Profile CI
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+
+permissions:
+  contents: read
+
+jobs:
+  brcb-hard-profile:
+    name: BRCB Hard / ${{ matrix.compiler }}
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        compiler: [gcc, clang]
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Select compiler
+        shell: bash
+        run: |
+          if [ "${{ matrix.compiler }}" = "clang" ]; then
+            echo "CC=clang" >> "$GITHUB_ENV"
+            echo "CXX=clang++" >> "$GITHUB_ENV"
+          else
+            echo "CC=gcc" >> "$GITHUB_ENV"
+            echo "CXX=g++" >> "$GITHUB_ENV"
+          fi
+
+      - name: Configure BRCB hard profile
+        run: cmake -S embedded/brcb_hard_profile -B build-brcb-hard
+
+      - name: Build BRCB hard profile
+        run: cmake --build build-brcb-hard --parallel
+
+      - name: Run BRCB smokes
+        run: >-
+          ctest --test-dir build-brcb-hard
+          --output-on-failure
+          --output-junit brcb-ctest.xml
+
+      - name: Prove exception runtime is absent
+        shell: bash
+        run: |
+          set -euo pipefail
+          for binary in \
+            build-brcb-hard/ariec61850_hard_mms_brcb_smoke \
+            build-brcb-hard/ariec61850_hard_mms_brcb_connection_smoke \
+            build-brcb-hard/ariec61850_hard_mms_brcb_persistence_smoke; do
+            if nm -C "$binary" | grep -E '__cxa_throw|__cxa_begin_catch|__cxa_end_catch|__gxx_personality_v0'; then
+              echo "exception runtime symbol found in $binary" >&2
+              exit 1
+            fi
+          done
+          echo 'NO_EXCEPTION_RUNTIME=PASS'
+
+      - name: Report footprint
+        shell: bash
+        run: |
+          set -euo pipefail
+          {
+            echo "compiler=${{ matrix.compiler }}"
+            size \
+              build-brcb-hard/ariec61850_hard_mms_brcb_smoke \
+              build-brcb-hard/ariec61850_hard_mms_brcb_connection_smoke \
+              build-brcb-hard/ariec61850_hard_mms_brcb_persistence_smoke
+          } | tee build-brcb-hard/brcb-footprint.txt
+
+      - name: Upload BRCB evidence
+        uses: actions/upload-artifact@v4
+        with:
+          name: brcb-hard-${{ matrix.compiler }}-${{ github.event.pull_request.head.sha || github.sha }}
+          if-no-files-found: error
+          retention-days: 14
+          path: |
+            build-brcb-hard/brcb-ctest.xml
+            build-brcb-hard/brcb-footprint.txt

.github/workflows/cpp-ci.yml

@@ -66,3 +66,29 @@ jobs:
           python scripts/run-phase4c-physical-acceptance.py --help | Out-Null
           python -m py_compile scripts/run-phase4c-timeout-recovery.py
           python scripts/run-phase4c-timeout-recovery.py --help | Out-Null
+      - name: Build deterministic SV injector evidence bundle
+        shell: pwsh
+        run: |
+          $ErrorActionPreference = 'Stop'
+          $out = 'sv-injector-artifact'
+          New-Item -ItemType Directory -Force -Path $out | Out-Null
+          $exe = 'build/Release/ariec61850_sv_injector.exe'
+          if (-not (Test-Path $exe)) { throw "Missing $exe" }
+          & $exe --capabilities | Out-File -Encoding utf8 "$out/capabilities.json"
+          & $exe --scenario normal --frames 8000 --pcap "$out/sv-loopback-normal-2s.pcap" --json |
+            Out-File -Encoding utf8 "$out/normal-2s-evidence.json"
+          if ($LASTEXITCODE -ne 0) { throw "Normal 8,000-frame injector evidence run failed: $LASTEXITCODE" }
+          & $exe --scenario protection-fault --json |
+            Out-File -Encoding utf8 "$out/protection-fault-evidence.json"
+          if ($LASTEXITCODE -ne 0) { throw "Protection-fault injector evidence run failed: $LASTEXITCODE" }
+          Copy-Item $exe "$out/ariec61850_sv_injector.exe"
+          Get-FileHash "$out/ariec61850_sv_injector.exe", "$out/sv-loopback-normal-2s.pcap", "$out/normal-2s-evidence.json", "$out/protection-fault-evidence.json", "$out/capabilities.json" -Algorithm SHA256 |
+            ForEach-Object { "{0}  {1}" -f $_.Hash.ToLowerInvariant(), (Split-Path $_.Path -Leaf) } |
+            Out-File -Encoding ascii "$out/SHA256SUMS"
+      - name: Upload Windows SV injector
+        uses: actions/upload-artifact@v4
+        with:
+          name: windows-sv-injector-${{ github.event.pull_request.head.sha || github.sha }}
+          if-no-files-found: error
+          retention-days: 14
+          path: sv-injector-artifact/

.github/workflows/embedded-ci.yml

@@ -97,12 +97,38 @@ jobs:
       - name: Build embedded profile
         run: cmake --build build-embedded --parallel
 
-      - name: Test embedded full-link smoke
-        run: ctest --test-dir build-embedded --output-on-failure
+      - name: Test embedded host simulation
+        run: >-
+          ctest --test-dir build-embedded
+          --output-on-failure
+          --output-junit embedded-ctest.xml
+
+      - name: Independently verify exact SV PCAP wire image
+        shell: bash
+        run: |
+          set -euo pipefail
+          python3 tools/verify_sv_pcap.py \
+            build-embedded/sv_trial_2s.pcap \
+            --expected-frames 8000 \
+            --report build-embedded/sv-pcap-qa.json
+          sha256sum build-embedded/sv_trial_2s.pcap
 
       - name: Report host-sim footprint
         shell: bash
         run: |
           if command -v size >/dev/null 2>&1; then
             size build-embedded/ariec61850_embedded_link_smoke || true
+            size build-embedded/ariec61850_embedded_sv_publisher_smoke || true
+            size build-embedded/ariec61850_embedded_sv_stream_pcap || true
           fi
+
+      - name: Upload host-simulation QA evidence
+        uses: actions/upload-artifact@v4
+        with:
+          name: embedded-host-sim-${{ matrix.compiler }}-${{ github.event.pull_request.head.sha || github.sha }}
+          if-no-files-found: error
+          retention-days: 14
+          path: |
+            build-embedded/embedded-ctest.xml
+            build-embedded/sv_trial_2s.pcap
+            build-embedded/sv-pcap-qa.json

.github/workflows/embedded-hard-profile-ci.yml

@@ -0,0 +1,108 @@
+name: Embedded Hard Profile CI
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+
+permissions:
+  contents: read
+
+jobs:
+  hard-embedded-profile:
+    name: Hard Embedded / ${{ matrix.compiler }}
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        compiler: [gcc, clang]
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Select compiler
+        shell: bash
+        run: |
+          if [ "${{ matrix.compiler }}" = "clang" ]; then
+            echo "CC=clang" >> "$GITHUB_ENV"
+            echo "CXX=clang++" >> "$GITHUB_ENV"
+          else
+            echo "CC=gcc" >> "$GITHUB_ENV"
+            echo "CXX=g++" >> "$GITHUB_ENV"
+          fi
+
+      - name: Configure hard profile
+        run: cmake -S embedded/hard_profile -B build-hard-embedded
+
+      - name: Build hard profile
+        run: cmake --build build-hard-embedded --parallel
+
+      - name: Run hard-profile smokes
+        run: >-
+          ctest --test-dir build-hard-embedded
+          --output-on-failure
+          --output-junit hard-embedded-ctest.xml
+
+      - name: Prove exception runtime is absent
+        shell: bash
+        run: |
+          set -euo pipefail
+          for binary in \
+            build-hard-embedded/ariec61850_hard_sv_smoke \
+            build-hard-embedded/ariec61850_hard_goose_smoke \
+            build-hard-embedded/ariec61850_hard_osi_transport_smoke \
+            build-hard-embedded/ariec61850_hard_session_presentation_smoke \
+            build-hard-embedded/ariec61850_hard_association_smoke \
+            build-hard-embedded/ariec61850_hard_mms_pdu_smoke \
+            build-hard-embedded/ariec61850_hard_mms_get_name_list_smoke \
+            build-hard-embedded/ariec61850_hard_mms_static_model_smoke \
+            build-hard-embedded/ariec61850_hard_mms_write_smoke \
+            build-hard-embedded/ariec61850_hard_mms_dispatcher_smoke \
+            build-hard-embedded/ariec61850_hard_mms_connection_runtime_smoke \
+            build-hard-embedded/ariec61850_hard_mms_data_set_smoke \
+            build-hard-embedded/ariec61850_hard_mms_information_report_smoke \
+            build-hard-embedded/ariec61850_hard_mms_urcb_runtime_smoke \
+            build-hard-embedded/ariec61850_hard_mms_urcb_objects_smoke \
+            build-hard-embedded/ariec61850_hard_mms_report_connection_smoke; do
+            if nm -C "$binary" | grep -E '__cxa_throw|__cxa_begin_catch|__cxa_end_catch|__gxx_personality_v0'; then
+              echo "exception runtime symbol found in $binary" >&2
+              exit 1
+            fi
+          done
+          echo 'NO_EXCEPTION_RUNTIME=PASS'
+
+      - name: Report hard-profile footprint
+        shell: bash
+        run: |
+          set -euo pipefail
+          {
+            echo "compiler=${{ matrix.compiler }}"
+            size \
+              build-hard-embedded/ariec61850_hard_sv_smoke \
+              build-hard-embedded/ariec61850_hard_goose_smoke \
+              build-hard-embedded/ariec61850_hard_osi_transport_smoke \
+              build-hard-embedded/ariec61850_hard_session_presentation_smoke \
+              build-hard-embedded/ariec61850_hard_association_smoke \
+              build-hard-embedded/ariec61850_hard_mms_pdu_smoke \
+              build-hard-embedded/ariec61850_hard_mms_get_name_list_smoke \
+              build-hard-embedded/ariec61850_hard_mms_static_model_smoke \
+              build-hard-embedded/ariec61850_hard_mms_write_smoke \
+              build-hard-embedded/ariec61850_hard_mms_dispatcher_smoke \
+              build-hard-embedded/ariec61850_hard_mms_connection_runtime_smoke \
+              build-hard-embedded/ariec61850_hard_mms_data_set_smoke \
+              build-hard-embedded/ariec61850_hard_mms_information_report_smoke \
+              build-hard-embedded/ariec61850_hard_mms_urcb_runtime_smoke \
+              build-hard-embedded/ariec61850_hard_mms_urcb_objects_smoke \
+              build-hard-embedded/ariec61850_hard_mms_report_connection_smoke
+          } | tee build-hard-embedded/hard-embedded-footprint.txt
+
+      - name: Upload hard-profile evidence
+        uses: actions/upload-artifact@v4
+        with:
+          name: embedded-hard-profile-${{ matrix.compiler }}-${{ github.event.pull_request.head.sha || github.sha }}
+          if-no-files-found: error
+          retention-days: 14
+          path: |
+            build-hard-embedded/hard-embedded-ctest.xml
+            build-hard-embedded/hard-embedded-footprint.txt