A.15.5:4.1 - One work-entry readiness claim

Start with one ordinary sentence:

At evaluation time T, checking Work W applied criterion C to intended performance I in PlanItem J of WorkPlan P and returned readiness value R for use through window V; stop or recheck when Q occurs.

P is one exact U.WorkPlan episteme. J and I are declaration-local plan content, not existing future entities. C is one exact criterion episteme whose applicability to this plan item and evaluation time is current. W is one separately identified dated U.Work occurrence with its performer system, covering assignment, enacted method, extent, and any actual A.6.1 bindings or direct participants required by the check. R is a local ReadinessResultValue, not a gate decision, permission, commitment, work occurrence, or universal result kind.

The local value family is:

• ready — every input required by C is determined and satisfies C for V;
• readyWithKnownGaps — C explicitly admits the named gaps for this exact bounded use, every non-waived input is determined and satisfied, and V plus the stop condition expose the remaining risk;
• notReady — an applicable failure or closure condition in C is determined for this case; and
• unknown — one required fact, currentness result, predicate, or applicability basis cannot be determined, and no already determined applicable failure or closure condition settles the result as notReady. Absence of an assertion or persisted episteme is not by itself notReady.

When the answer must persist, one C.2.1 result episteme states this complete local claim. Its exact EntityOfConcern is P; its ClaimGraph names J, I, C, W, R, evaluated input facts, evaluation time, V, and the stop or recheck condition under one effective U.ReferenceScheme. C.2.1 supplies episteme identity. A.15.5 adds no second readiness identity, independent readiness U-kind, or default readiness relation occurrence. If repeated predicate semantics are needed, use A.6.RCD’s reusable-predicate branch; open relation-kind admission only for a named receiver that must distinguish readiness occurrences as such.

The result episteme reports the check. It is not performed target work, and the checking Work is not the result. If a current claim says that exact checking or preparation Work first constituted that episteme, recover only that local entity-identity inception claim under A.15.PROD; A.15.5 does not infer or copy it.