Skip to content

Add bounded two-cycle Sampled Values snapshot proof #106

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
masarray merged 4 commits into from
Jul 27, 2026
Merged

Add bounded two-cycle Sampled Values snapshot proof #106

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
19be08d
Add bounded two-cycle SV snapshot capture service
masarray Jul 27, 2026
9b3d449
Add two-cycle snapshot controls and static waveform workspace
masarray Jul 27, 2026
de21876
Connect selected SV stream to bounded snapshot evidence and waveform …
masarray Jul 27, 2026
f066607
Pin SV analysis engine and enforce snapshot build invariants
masarray Jul 27, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
47 changes: 42 additions & 5 deletions .github/workflows/build.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,8 @@ on:
workflow_dispatch:

env:
ARIEC61850_REF: main
ARIEC61850_REF: agent/sv-core-unification
ARIEC61850_COMMIT: fcc05de1f4b11560195e2589aa032e1d4c4b95f7

jobs:
build-windows:
Expand All @@ -24,7 +25,7 @@ jobs:
shell: powershell
run: .\ArIED61850Tester\scripts\verify-source-clean.ps1

- name: Verify premium UX, GOOSE and SAS invariants
- name: Verify premium UX, GOOSE, SMV and SAS invariants
shell: powershell
run: |
$app = Get-Content .\ArIED61850Tester\App.xaml -Raw
Expand All @@ -40,6 +41,9 @@ jobs:
$gooseUi = Get-Content .\ArIED61850Tester\MainWindow.GooseSubscriber.cs -Raw
$gooseRuntime = Get-Content .\ArIED61850Tester\Services\GooseSubscriberRuntime.cs -Raw
$gooseModels = Get-Content .\ArIED61850Tester\Models\GooseSubscriberModels.cs -Raw
$smvUi = Get-Content .\ArIED61850Tester\SmvViewerWindow.xaml -Raw
$smvCode = Get-Content .\ArIED61850Tester\SmvViewerWindow.xaml.cs -Raw
$smvRuntime = Get-Content .\ArIED61850Tester\Services\SmvSnapshotCaptureService.cs -Raw

if ($save -notmatch 'x:Name="EditionIndicator"' -or
$save -notmatch 'Content="Edition 2"' -or
Expand Down Expand Up @@ -111,6 +115,20 @@ jobs:
throw "SCL/discovery-aware GOOSE Subscriber runtime, canonical leaf order, or semantic metadata binding regressed."
}

if ($smvUi -notmatch 'Content="Capture 2 cycles"' -or
$smvUi -notmatch 'x:Name="WaveformCanvas"' -or
$smvUi -notmatch 'Static waveform proof' -or
$smvCode -notmatch 'SmvSnapshotCaptureService' -or
$smvCode -notmatch 'smpCnt' -or
$smvCode -notmatch 'Raw lanes remain semantically unresolved' -or
$smvRuntime -notmatch 'SampledValuesFrameParser.TryParseEthernetFrame' -or
$smvRuntime -notmatch 'SvGenericAsduInspector' -or
$smvRuntime -notmatch 'SvSampleCounterTracker' -or
$smvRuntime -notmatch 'SvTimebaseResolver' -or
$smvRuntime -notmatch 'ether proto 0x88ba') {
throw "Bounded two-cycle SMV snapshot capture, raw waveform, timebase, or continuity evidence regressed."
}

if ($sasPolicy -notmatch 'public static bool IsVisible' -or
$sasPolicy -notmatch 'IsOperationalProtectionLeaf' -or
$sasPolicy -notmatch 'IsFundamentalMeasurement' -or
Expand Down Expand Up @@ -153,6 +171,8 @@ jobs:
ArIED61850Tester/MainWindow.CommandPanelUx.cs
ArIED61850Tester/MainWindow.ControlDiagnostics.cs
ArIED61850Tester/MainWindow.GooseSubscriber.cs
ArIED61850Tester/SmvViewerWindow.xaml
ArIED61850Tester/SmvViewerWindow.xaml.cs
ArIED61850Tester/SaveSclWindow.xaml
ArIED61850Tester/SaveSclWindow.xaml.cs
ArIED61850Tester/GridUxBehavior.cs
Expand All @@ -161,9 +181,14 @@ jobs:
ArIED61850Tester/docs
ArIED61850Tester/landing

- name: Checkout ARIEC61850 engine
- name: Checkout pinned ARIEC61850 SV engine
shell: powershell
run: git clone --quiet --depth 1 --branch $env:ARIEC61850_REF https://github.com/masarray/ARIEC61850.git ARIEC61850
run: |
git clone --quiet --depth 1 --branch $env:ARIEC61850_REF https://github.com/masarray/ARIEC61850.git ARIEC61850
$actual = (git -C .\ARIEC61850 rev-parse HEAD).Trim()
if ($actual -ne $env:ARIEC61850_COMMIT) {
throw "ARIEC61850 pin mismatch. Expected $env:ARIEC61850_COMMIT, got $actual."
Comment on lines +187 to +190

@chatgpt-codex-connector chatgpt-codex-connector Bot Jul 27, 2026

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Fetch the pinned engine commit independently of the branch

This checkout depends on the temporary agent/sv-core-unification branch still existing and still pointing at the expected commit, so deleting or advancing that branch makes every build fail before the commit validation can provide a reproducible checkout. As git clone -h documents, --branch “checkout[s] instead of the remote's HEAD”; fetch or check out the pinned hash directly, or reference the stable integration commit on main, rather than coupling the pin to a mutable feature branch.

Useful? React with 👍 / 👎.

}

- name: Verify required ARIEC61850 APIs
shell: powershell
Expand All @@ -179,6 +204,10 @@ jobs:
$gooseParser = ".\ARIEC61850\src\AR.Iec61850\Goose\GooseFrameParser.cs"
$gooseDecoded = ".\ARIEC61850\src\AR.Iec61850\Goose\GooseDecodedValue.cs"
$processBusMonitor = ".\ARIEC61850\src\AR.Iec61850\Monitoring\ProcessBusStreamMonitor.cs"
$svParser = ".\ARIEC61850\src\AR.Iec61850\SampledValues\SampledValuesFrameParser.cs"
$svInspector = ".\ARIEC61850\src\AR.Iec61850\SampledValues\Analysis\SvGenericAsduInspector.cs"
$svCounter = ".\ARIEC61850\src\AR.Iec61850\SampledValues\Measurements\SvSampleCounterTracker.cs"
$svTimebase = ".\ARIEC61850\src\AR.Iec61850\SampledValues\Measurements\SvTimebaseResolver.cs"
$npcapSource = ".\ARIEC61850\src\AR.Iec61850.Transports.Npcap\NpcapProcessBusFrameSource.cs"
$npcapProject = ".\ARIEC61850\src\AR.Iec61850.Transports.Npcap\AR.Iec61850.Transports.Npcap.csproj"

Expand Down Expand Up @@ -209,14 +238,22 @@ jobs:
if (!(Test-Path $gooseParser) -or
!(Test-Path $gooseDecoded) -or
!(Test-Path $processBusMonitor) -or
!(Test-Path $svParser) -or
!(Test-Path $svInspector) -or
!(Test-Path $svCounter) -or
!(Test-Path $svTimebase) -or
!(Test-Path $npcapSource) -or
!(Test-Path $npcapProject) -or
!(Select-String -Path $gooseParser -Pattern "TryParseEthernetFrame" -Quiet) -or
!(Select-String -Path $gooseDecoded -Pattern "SignalReference" -Quiet) -or
!(Select-String -Path $processBusMonitor -Pattern "GooseValues" -Quiet) -or
!(Select-String -Path $processBusMonitor -Pattern "TimeAllowedToLiveMilliseconds" -Quiet) -or
!(Select-String -Path $svParser -Pattern "TryParseEthernetFrame" -Quiet) -or
!(Select-String -Path $svInspector -Pattern "SvGenericPayloadInspector" -Quiet) -or
!(Select-String -Path $svCounter -Pattern "SvSampleCounterTransitionKind" -Quiet) -or
!(Select-String -Path $svTimebase -Pattern "TrustedNominalFrequencyHz" -Quiet) -or
!(Select-String -Path $npcapSource -Pattern "CaptureAsync" -Quiet)) {
throw "Required ARIEC61850 live GOOSE subscribe, ordered decode, supervision, or Npcap APIs were not found."
throw "Required ARIEC61850 live process-bus, SV parser/inspection/timebase/counter, or Npcap APIs were not found."
}

- name: Setup .NET 8
Expand Down
Loading
Loading