Constituents and local loci

Each row declares one locus local to G, binds the identically labelled constituent and states its role. These are descriptions and candidate continuations, not records of performed work.

Local locus and constituent	Exact content and contribution to the question
T	Task requirement: use the currently applicable procedure designated by N to change target X from version 1 to version 2, preserve at-most-one state-changing effect, and return an observation of X’s actual final state.
K	Controller-design description for T: consume an applicable procedure, require a current target observation and available combined observation/action capacity, then use SYSE.42; reopen a premise whose applicability changes and preserve any uncertain attempt.
N	Needed-contribution description: the procedure currently applicable to T, including its required current-state observation. A case can leave the applicability of the possessed edition unknown or defeated without changing this need.
Q	Acquisition proposal: ask the authoritative procedure service for the current edition and applicability of the contribution designated by N; use the reply in K’s outstanding premise.
R	Repair proposal: change K’s transition so that an applicable returned contribution is consumed and a defeated premise is reopened; qualify the revision with the bounded experience of Case A3 while model parameters stay fixed.
Continue	Candidate continuation: use the procedure described by K for T, under constraint C below.
Obtain	Candidate continuation: enact Q to supply the unresolved or defeated applicability contribution, under constraint O.
Repair	Candidate continuation: construct and test the controller revision described by R, under constraint R-test.