9.3 Test actual use and keep the structure gap separate
The collection makes the two epistemes eligible for the support use. Three separately admitted Work occurrences supply the following observations; the tailoring row’s mandatory permission/authority stop remains untested:
| Performed user Work | Direct System use and observed result | Boundary |
|---|---|---|
W-MESUP-EC417-Retrieve-1, TraceReviewer-17, 10:30–10:42 | SSUW-EC417-Retrieve-PLM-1 relates that Work to SYS-EC417-PLM-1; the user retrieves MBE-EC417-B2-1 and recovers candidate status, ATP-2, confidentiality, and the D0 stop | no general access entitlement, capability, or authority follows |
W-MESUP-EC417-Tailor-1, SafetyReviewer-17, 10:42–10:55 | SSUW-EC417-Tailor-CI-1 relates that Work to the non-confidential SYS-EC417-CI-1 fixture; the user preserves signed-before-closure and rejects the stale edition | the tailoring operation remains undefined and the permission/authority stop remains untested; this neither performs release Work nor approves closure |
W-MESUP-EC417-Select-1, ReleaseDecider-17, 10:55–11:08 | SSUW-EC417-Select-PLM-1 relates that Work to SYS-EC417-PLM-1; the user distinguishes A, B2, and R and applies the named B2 stops | the aid neither makes the release decision nor acquires authority |
Each SupportSystemUsedInWork@EC417 occurrence requires the independently admitted Work, one exact admitted System, an actual input/output interaction, and use of the returned value in that task. Colocation, access, a click trace, or tool output is insufficient. Each Work keeps its own enacted support-use Method, performer core, containing-System relation, assignment, and post-admission attribution.
RES-MESUP-EC417-B2-1 returns task-pass for retrieval and branch selection, retains the observed tailoring fixture, signed-before-closure and stale-edition results, and returns missing-task-set[tailoring-input-action-result] plus the separate missing-task-test[tailoring-permission-authority-stop] for the full tailoring task. The branch-selection stop cannot supply an observation of another user’s tailoring action. This support test includes no SupportSystemUsedInWork@EC417 occurrence with SYS-EC417-AIProvider-1; retrieving ATP-2 is not provider use. No feedback occurrence SA-MESUP-EC417-FB-1 is asserted. A later failed task would need its own repair and rerun Work rather than a rewrite of these histories.
PSO-EC417-B2-Use-1 remains a proposed organization whose four A.22 candidate groups stay separate: identified constituents; the two membership episodes and three direct PLM/CI-use occurrences; current-edition, status, confidentiality, signed-evidence, assignment, permission, authority, reversibility, and D0 constraints; and the named support-use frame. The case has no selecting System, enacted selection Method, dated structure-selection Work, or direct participation or operation-binding basis. ESA-EC417-B2-1 therefore returns missing-selection-basis and designates no selected U.Structure. That structure-selection gap neither erases the observed task results nor fills the separate missing tailoring test.
The membership episodes, their IBA assertion or evidence epistemes, optional construction account MBCA-EC417-B2-1, edition episteme MBE-EC417-B2-1, publication occurrence PUB-MBE-EC417-B2-1, named-use reliance episteme, proposed organization, selection-gap episteme, and task result remain distinct. Membership and publication do not prove usability; the bounded task results do not prove a general holder capability, Method fit, effectiveness, release performance, or selection of the proposed structure.