v0.1.0-beta.6
Published public engineering beta for Windows 10/11 x64.
Public trust record
Beta.6 ships the metrology-grade behavioral closed-loop feeder timing engine, explicit operator timing semantics, and deterministic one-click relay RESET/re-arm while retaining Transformer Differential two-sided injection and AVR/OLTC MMS workflows.
Current public identity
Published public engineering beta for Windows 10/11 x64.
The release workflow pins masarray/ARIEC61850 to the full immutable commit below.
Beta.6 publishes SHA-256 checksums, dependency evidence, CycloneDX SBOM, and GitHub build-provenance attestations.
No physical relay contact, OLTC motor, operational GOOSE trip, switching, or primary-equipment authority.
Required package set
| Asset | Purpose | Status in beta.6 |
|---|---|---|
ARVREL-Setup-v0.1.0-beta.6-win-x64.exe | Per-user Windows installer. | Published |
ARVREL-v0.1.0-beta.6-win-x64-portable.exe | Single-file portable executable. | Published |
ARVREL-v0.1.0-beta.6-win-x64-portable.zip | Portable archive. | Published |
ARVREL-v0.1.0-beta.6-legal-notices.zip | Third-party legal notices. | Published |
SHA256SUMS.txt | Release-integrity verification. | Published |
| NuGet dependency report | Dependency evidence. | Published |
| CycloneDX SBOM | Machine-readable software bill of materials. | Published |
| GitHub build-provenance attestations | Build provenance for release artifacts. | Published |
Closed-loop timing profile
Monotonic integer-microsecond timing, 100 µs binary-input sampling, 0.5 ms deglitch, and zero debounce holdoff in the default CMC-style behavioral profile.
Instantaneous signed terminal samples feed clipping, quantization, 1.5 ms behavioral input delay, and a causal one-cycle rolling DFT.
The TESTSET measured trip and optional auto-stop come only from the wired BI1 path, not from direct access to the relay's internal trip latch.
Operator semantics
| Event | Meaning |
|---|---|
RELAY ANY PU [source] | First generic protection pickup requesting BO2. |
TESTSET BI2 ACCEPT | Accepted generic ANY-PICKUP contact edge. |
| Operated-element pickup / P→T | Timing belonging to the element that ultimately operates. |
| Relay trip request | Live relay trip-latch rising edge requesting BO1. |
TESTSET BI1 ACCEPT | Authoritative external trip time and optional auto-stop trigger. |
BI2 may legitimately precede the operated element's pickup because another enabled element can assert generic ANY PICKUP first.
Reset and validation
After BI1 auto-stop, beta.6 retains OUTPUT OFF · FROZEN CAPTURE. One RESET advances stale causal acquisition out, clears relay latch/timers once, waits for relay pickup and BO1/BO2 plus TESTSET BI1/BI2 to release, then exposes READY TO RE-ARM. Completed timing and evidence are preserved.
Final beta.6 feature baseline deterministic tests passed before release metadata publication.
.NET CI, dependency audit, packaging, no-admin/single-file validation, and cross-platform protection-core jobs passed.
CodeQL, release asset verification, build provenance, and SBOM attestation passed.
Pinned dependency and checksum procedure
ARIEC61850 repository: masarray/ARIEC61850 Pinned commit: 0d0aa4e31c17f9e5a10901ad52fa75e9c4581daf Get-FileHash .\ARVREL-Setup-v0.1.0-beta.6-win-x64.exe -Algorithm SHA256 Get-FileHash .\ARVREL-v0.1.0-beta.6-win-x64-portable.zip -Algorithm SHA256 Get-Content .\SHA256SUMS.txt
The locally calculated value must exactly match the corresponding value in the same GitHub Release.
Claim boundary
ARVREL remains public engineering beta software. It does not provide calibration, IEC 60255 type-test status, IEC 61850 conformance certification, protection-grade hard-real-time guarantees, commissioning approval, or switching authority. Modeled MMS controls act only on the virtual AVR/OLTC process.