Skip to content

P7.6B #446: fail-closed Discovery/Open-SCL parity evidence integrity - #481

Closed
masarray wants to merge 2 commits into
fix/446-p7-6a-scl-ap-bound-endpoint-provenancefrom
feat/446-p7-6b-parity-evidence-integrity
Closed

masarray wants to merge 2 commits into
fix/446-p7-6a-scl-ap-bound-endpoint-provenancefrom
feat/446-p7-6b-parity-evidence-integrity

Conversation

@masarray

@masarray masarray commented Oct 8, 2026 •

Copy link
Copy Markdown
Owner

CI qualification on exact HEAD 6f97f3b51895e724c9102822babc2e4ea7d821a5 (2026-10-08): 9/9 triggered workflows SUCCESS.

Scope (stacked draft on P7.6A #480)

  • Base: fix/446-p7-6a-scl-ap-bound-endpoint-provenance, exact base SHA 0a5226b7f3bdc63653c823745fc3c242d14745ab.
  • Preserve pinned ARIEC61850 P6.2 engine 352c81e6a798635c6addcee0683235ca87ad416d; no changes to engine or MMS, RCB activation, polling, GUI, or controls.
  • Guard false semantic parity MATCH when the evidence is ambiguous/incomplete: source model IED identity doesn't match selected IED, multiple normalized DataSet definitions, duplicate/negative member indices, empty member reference/FC, selected reference/FC missing, static-family contradiction, or plan coverage counters inconsistent with runtime selections.
  • These conditions produce existing INCOMPLETE EVIDENCE / InsufficientEvidence verdict, not a fabricated mismatch or synthetic value.
  • New synthetic regression tests cover negative cases and legitimate indexed-RCB-slot variability.

Stage and safety

CodeCommitted and CIPassed, physical testing pending. This is P7.6B evidence-integrity stage only; semantic/traffic equivalence of both real ingress paths, physical AP F switching, report integrity and lifecycle stress all remain PhysicalPending. Existing Open SCL 33/33 domains, 620/620 reads, 13/13 visible, 2/2 RCB ingress are not a dual-ingress proof.

  • Do not merge/release automatically; remain draft.
  • No private SCD, live field IP, or customer diagnostic content committed.
  • CI regression gates + artifact inspection required on exact head.
  • Parent #446; dependency #480, engine #153.

Copy link
Copy Markdown
Owner Author

D16 checked historical PR #481 against protected RC 817c3910e8223fa2ac531a4426ada5d2d4bbbe50:

  1. Historical HEAD 6f97f3b51895e724c9102822babc2e4ea7d821a5 is ancestor of the RC (GitHub compare: behind=0); its two changed paths are present in RC. This is ancestry integration, not a fresh merge into main.
  2. Original regression tests/ARSAS.Tests/StaticAcquisitionParityIntegrityP76BTests.cs is byte-for-byte identical at historical HEAD and RC (Git blob SHA comparison); both positive and adverse-path assertions remain intact.
  3. Evolved implementation Services/StaticAcquisitionParityTracker.cs is not byte-identical; checked that RC still implements the original invariant: IED identity mismatch, duplicate normalized DataSet rejection, invalid/duplicate FCDA ordinal, static BRCB/URCB family and requested-point coverage checks; source retains these exact fail-closed diagnostic evidence checks.
  4. Exact RC-head Windows CI and R7 SCL CI completed SUCCESS. These do not claim physical-device acceptance.

Decision: close as integrated/superseded by RC #727/#729; no independent semantic/test delta requiring another merge. Do not cherry-pick this old stacked branch. Keep overall issue #446 and physical release gates independent; ARSAS main, stable v1.6.42, ARIEC engine pin and concurrent-owner branches remain unchanged.

@masarray masarray closed this Oct 26, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant