Case inputs and their scope
The source of the following case values is this explicitly constructed teaching scenario. They are stipulated about the current procedure, target, performing arrangement and proposals; they are not empirical observations. The written constituent and relation definitions above remain the descriptive basis in every case.
W0–W3 name four alternative comparison windows. Each window holds its stated facts fixed only until a named fact changes; they are not calendar intervals or a dated execution trace. The initial-to-changed-edition comparison changes the applicability facts while preserving G. W2 and W3 are additional contrasts.
“S” means satisfied, “N” not satisfied, “?” unknown. A missing fact stays unknown. The applicable test is defined for each candidate in all four cases, including when its outcome is unknown.
| Case and window | Stipulated facts and about-subject basis |
|---|---|
| Initial / W0 | The possessed procedure applies: a=S. The target observation, combined performance and resolved-effect condition are supplied: o=c=e=S. Applicability needs no acquisition: n=N. Q’s reachability, permission and usefulness/timing are unspecified: s=p=u=?. No repeated consume/reopen failure: f=N. Controller-change access and qualified construction experience are unspecified: x=h=?. |
| Changed edition / W1 | The authoritative procedure has changed and defeats the old edition: a=N and n=S. Q’s source is reachable, Q is permitted, and its acquisition is useful within the available interval: s=p=u=S. Continue’s other conditions remain supplied: o=c=e=S. No repeated controller failure: f=N; x=h=? remain unspecified. |
| Interrupted return / W2 | The return does not establish applicability: a=? and n=S. Q’s source is unavailable in the interval: s=N; p=u=? remain unspecified. The other execution conditions remain supplied: o=c=e=S. A repeated consume/reopen failure, controller-change access and qualified fixture experience are supplied: f=x=h=S. |
| Combined performance fails / W3 | Applicability is supplied: a=S and n=N. The observation and resolved-effect condition are supplied: o=e=S. Individual observation/action abilities are supplied, but shared timing/resources are defeated: c=N. Q’s remaining conditions are unspecified: s=p=u=?. Repair’s construction conditions remain as in W2: f=x=h=S. |
For an actual use, replace these stipulated facts with applicable evidence from the procedure source, target observation, resource/timing account, permission holder and construction experience. This changes the case result. It does not turn the teaching stipulation into evidence about the deployed system.