A.15.PROD:5.1 - Car 42 and the required nut

Identity boundary. Car 42 already satisfies its identity rule before NutFasteningWork-42.

Assignment declaration. Car42FasteningAssignmentSpecies is a directly declared U.SystemRoleAssignment species. Its ordered participant positions are holder and assigned system-role kind; their domains are U.System and Car42FasteningPerformerSystemRoleKindDomain.

Assignment occurrence rule. The species applies to Car-42 fastening Work and says that its holder supplies the fastening contribution as Car42FasteningPerformerSystemRole throughout the declared interval. Holder, assigned-kind value, and that uninterrupted interval identify one occurrence.

Work and Method basis. The common route in section 4.2 is instantiated here: A.13 recovers FasteningCell-7 : U.System through obtaining Car42FasteningAssignment-42; A.15.1 independently admits NutFasteningWork-42 with its enacted fastening Method. Because this case consumes precise assignment-bound attribution, F.6 then relates the admitted Work through the same assignment.

Actual-change basis. A.3.4 separately identifies Car42FastenerAttachmentTransformation. It concerns the same continuing car and does not bring Car 42 into existence.

Whole-work branch for the narrow use. NutFasteningWork-42 can be the whole productionWork when its fastening method is applicable and FasteningWorkChangedAttachment@Car42(work, transformation) obtains for that Work and Car42FastenerAttachmentTransformation.

State satisfaction. At the fastening boundary, Car42FinishingStateSatisfactionClaim has exact EntityOfConcern Car42 and states that the car satisfies Car42FinishingCriterion-v1.

Work closure. Separately, subject-bounded Car42FasteningClosureRule-v1 supports Car42FasteningWorkCompletionClaim, whose EntityOfConcern is NutFasteningWork-42, because the required attachment state is satisfied and no required fastening activity remains for this narrow use.

Wider-work contrast. For the broader factory use, the same occurrence can be a proper operational part of CarProductionWork-42 under an exact A.15.1 part relation. The verb fasten and narrative order decide none of these claims.

Cold-practitioner replay. Applying section 4.7 to the case facts returns: this Work completed the required fastening for this use; Car 42 already existed. Missing FasteningWorkChangedAttachment@Car42 returns missing-governor[CAR42-FASTENING-WORK-TO-CHANGE]. Missing Car42FasteningClosureRule-v1 preserves Car42FinishingStateSatisfactionClaim and returns missing-governor[CAR42-FASTENING-WORK-COMPLETION]. The author-side counterfactual uses Car42FasteningPredicates-v1 for the Work-to-change predicate and Car42-Claims-v2 for the separate state-satisfaction and Work-completion claims; removing each deciding fact separately reproduces those two results without introducing a universal production or completion relation kind.