Fix Static DataSet RCB-backed acquisition and indexed RCB resolution - #256
Draft
masarray wants to merge 48 commits into
Draft
Fix Static DataSet RCB-backed acquisition and indexed RCB resolution#256masarray wants to merge 48 commits into
masarray wants to merge 48 commits into
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Physical failure being fixed
A real ARSAS bench run showed a fatal contradiction: SCL feasibility correctly found
Digital(36 members) backed by configured BRCBBuffer02, while runtime planning producedstaticBRCB=0,report-covered=0,unresolved=110. With strict Static DataSet mode correctly forbidding cyclic MMS process polling, the UI therefore remained entirely Unknown.Root causes addressed
LiveDiscoveryModel ?? DesignModelas configuration authority. A partial/fast live model could therefore erase valid ReportControl evidence that still existed in the opened SCL design model.Digital -> Buffer02.Buffer01/Buffer02.MemberReference: exact DataSet+index resolution must not leave generic unrootedprojected-mx-pairleaves alongside exact semantic values.Changes
P0 — deterministic Static DataSet RCB authority
RptEna,Resv,ResvTms, and non-zeroOwner; a currently caller-owned RCB remains distinguishable asUsedByCaller.Available.P1 — exact semantic report replacement
0d7525bd330900917fb9f6d15a46059dc3d7a70a.MemberReference.instMag/magupdates cannot leak beside exact.instMag.f/.mag.fleaves.Physical acceptance target
For the failing CID/bench:
AR_HYB_01/Analogmust not inflate Strict Static DataSet live rows when it has no SCL-configured RCB.Digital/ 36 members must remain bound to its configuredBuffer02BRCB; an unrelated liveBuffer01for the same DataSet must not displace it.TotPFand equivalent structured members must publish exact schema leaves such as.instMag.f/.mag.fwith report-native quality/timestamp; missingMemberReferencemay use only unique static DataSet+index authority and must not leak generic unrooted pair updates.0and dynamic DataSet writes remain0.Keep draft until the same physical IEDScout/KM Test and relay bench path is validated.