Public trust record

ARVREL v0.1.0-beta.6 is the current Windows public beta.

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

Release facts

Version

v0.1.0-beta.6

Published public engineering beta for Windows 10/11 x64.

Engine identity

0d0aa4e31c17…

The release workflow pins masarray/ARIEC61850 to the full immutable commit below.

Supply chain

Checksums + SBOM + provenance

Beta.6 publishes SHA-256 checksums, dependency evidence, CycloneDX SBOM, and GitHub build-provenance attestations.

Authority

Virtual output only

No physical relay contact, OLTC motor, operational GOOSE trip, switching, or primary-equipment authority.

Required package set

Verify the release before execution.

AssetPurposeStatus in beta.6
ARVREL-Setup-v0.1.0-beta.6-win-x64.exePer-user Windows installer.Published
ARVREL-v0.1.0-beta.6-win-x64-portable.exeSingle-file portable executable.Published
ARVREL-v0.1.0-beta.6-win-x64-portable.zipPortable archive.Published
ARVREL-v0.1.0-beta.6-legal-notices.zipThird-party legal notices.Published
SHA256SUMS.txtRelease-integrity verification.Published
NuGet dependency reportDependency evidence.Published
CycloneDX SBOMMachine-readable software bill of materials.Published
GitHub build-provenance attestationsBuild provenance for release artifacts.Published

Closed-loop timing profile

Behavioral timing is explicit and externally correlated.

TESTSET

1 µs clock · 10 kHz BI

Monotonic integer-microsecond timing, 100 µs binary-input sampling, 0.5 ms deglitch, and zero debounce holdoff in the default CMC-style behavioral profile.

Relay

4 kHz / 250 µs processing

Instantaneous signed terminal samples feed clipping, quantization, 1.5 ms behavioral input delay, and a causal one-cycle rolling DFT.

Authority

Accepted BI1 edge

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.

Fidelity boundary: this is a deterministic generic behavioral numerical-relay/test-set model. It is not calibrated equipment and does not claim the internal topology or uncertainty of a named commercial device.

Operator semantics

Timing events have distinct meanings.

EventMeaning
RELAY ANY PU [source]First generic protection pickup requesting BO2.
TESTSET BI2 ACCEPTAccepted generic ANY-PICKUP contact edge.
Operated-element pickup / P→TTiming belonging to the element that ultimately operates.
Relay trip requestLive relay trip-latch rising edge requesting BO1.
TESTSET BI1 ACCEPTAuthoritative 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

One reset transaction reaches a verified re-arm postcondition.

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.

403/403

Final beta.6 feature baseline deterministic tests passed before release metadata publication.

Release gates passed

.NET CI, dependency audit, packaging, no-admin/single-file validation, and cross-platform protection-core jobs passed.

Security and provenance

CodeQL, release asset verification, build provenance, and SBOM attestation passed.

Pinned dependency and checksum procedure

Inspect and verify exact identities.

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

Integrity and deterministic tests do not create certification.

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.