ConnectedTimingMC¶
Complete selected asymmetric reference profile. Definitions and supplied fixtures are distinct from the three teaching specializations; review and qualification are stated in the bound evidence and release.
Package reference-profile, input revision 2. Exact prepared source; CC0 1.0.
This is a definition inventory. Start with the learning chapters for the contract and its assumptions.
This model/fact module also contains 113 local fixture helpers outside the selected contract inventory. Their complete executable text remains in the exact module download and owning definition bodies. Listed dependencies include paths through those helpers. All selected contracts and frozen nested helpers retain their own entries.
IAT11 · operator
reference-profile · input revision 2 · CC0 1.0
IAT11(q) == q.control.itemInspections[77]Exact module download · Source bundle and reproduction instructions
IActionOptionReturnT11 · operator
reference-profile · input revision 2 · CC0 1.0
IActionOptionReturnT11(q) ==
LET w==WindowTop9(q.stack)
trigger==[tag |-> "PriorityOptionPayment",windowId |-> w.id,option |-> w.busy,transactionId |-> 200,
allTriggerCostsPaid |-> IActionPaidT11(q),costCheckpointAndReactionsDrained |-> q.costDrained]
IN [tag |-> "PriorityOptionReturn",windowId |-> w.id,option |-> w.busy,transactionId |-> 200,triggerPayment |-> trigger,
allCostsPaid |-> IActionPaidT11(q),optionComplete |-> ActionReadyToContinue5(q.action),
childrenReturned |-> "SchemaAtom138" \in q.consumed /\ q.control.returned /\ q.control.traversal.complete,
reactionsDrained |-> q.costDrained /\ "SchemaAtom138" \in q.consumed /\ q.control.returned /\ q.control.traversal.complete]Exact module download · Source bundle and reproduction instructions
Resolved project definitions: WindowTop9, IActionPaidT11, ActionReadyToContinue5
IActionOptionT11 · operator
reference-profile · input revision 2 · CC0 1.0
IActionOptionT11 == PriorityOption9(30,"NeutralValue00001","SideB",0,0,RuleAbilitySource9("BasicTraversal"),0,{TimingRef9("SchemaAtom138",7)})Exact module download · Source bundle and reproduction instructions
Resolved project definitions: PriorityOption9, RuleAbilitySource9, TimingRef9
IActionPaidT11 · operator
reference-profile · input revision 2 · CC0 1.0
IActionPaidT11(q) ==
/\ IActionReservationT11(q) /\ q.payment.before=IActionPointWorldT11 /\ q.payment.after=IActionPointAfterT11(q.payment.before)
/\ q.payment.window=WindowTop9(q.stack).id /\ q.payment.option=WindowTop9(q.stack).busy /\ q.payment.transaction=200
/\ q.actionPointWorld=[q.payment.after EXCEPT !.checkpointDue=FALSE] /\ q.costDrainedExact module download · Source bundle and reproduction instructions
Resolved project definitions: WindowTop9, IActionPointAfterT11, IActionPointWorldT11, IActionReservationT11
IActionPointAfterT11 · operator
reference-profile · input revision 2 · CC0 1.0
IActionPointAfterT11(w) == [w EXCEPT !.actionPoints["SideB"]=@-1,!.spent["SideB"]=@+1,!.checkpointDue=TRUE,!.event="SpendActionPoints"]Exact module download · Source bundle and reproduction instructions
IActionPointCommandT11 · operator
reference-profile · input revision 2 · CC0 1.0
IActionPointCommandT11 == [player |-> "SideB",amount |-> BasicAction5("SideB","SchemaAtom138").actionPoints,mode |-> "Spend",announced |-> TRUE]Exact module download · Source bundle and reproduction instructions
Resolved project definitions: BasicAction5
IActionPointWorldT11 · operator
reference-profile · input revision 2 · CC0 1.0
IActionPointWorldT11 == [turn |-> "SideB",actionPoints |-> [SideA |-> 0,SideB |-> IntegrationOracleStartActionPoints11],spent |-> ZeroCountsT11,checkpointDue |-> FALSE,event |-> "NoValue"]Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IntegrationOracleStartActionPoints11, ZeroCountsT11
IActionReservationT11 · operator
reference-profile · input revision 2 · CC0 1.0
IActionReservationT11(q) ==
/\ Len(q.stack)=1 /\ q.NeutralValue00003.ready=PriorityReadyT11(q.NeutralValue00003.opened)
/\ q.NeutralValue00003.ready.site=[ITurnSiteT11(q) EXCEPT !.actionPoints=q.NeutralValue00003.opened.site.actionPoints] /\ q.NeutralValue00003.ready.kind="NeutralValue00001"
/\ WindowTop9(q.stack)=StartPriorityOptionFrame9(q.NeutralValue00003.ready,IActionOptionT11,200)
/\ q.NeutralValue00003.option=IActionOptionT11Exact module download · Source bundle and reproduction instructions
Resolved project definitions: StartPriorityOptionFrame9, WindowTop9, IActionOptionT11, ITurnSiteT11, PriorityReadyT11
IActionWindowOrderT11 · operator
reference-profile · input revision 2 · CC0 1.0
IActionWindowOrderT11(q) ==
/\ (q.stage="Drain" /\ q.lastWork="5.7.1f:return" =>
q.stack= <<>> /\ q.action.status="Complete" /\ q.returnOrder=IntegrationOracleReturnOrder11)
/\ (q.stage \in {"ActionWindowReturn","PopAction"} =>
/\ q.action.status="Complete" /\ Len(q.stack)=1 /\ WindowTop9(q.stack).kind="NeutralValue00001"
/\ (WindowTop9(q.stack).open = (q.stage="ActionWindowReturn"))
/\ \A i \in 1..Len(q.drains) : q.drains[i].step#"5.7.1f:return")
/\ (q.stage="TurnAdvance" =>
q.stack= <<>> /\ Len(q.drains)>0 /\ q.drains[Len(q.drains)].step="5.7.1f:return")Exact module download · Source bundle and reproduction instructions
Resolved project definitions: WindowTop9, IntegrationOracleReturnOrder11
IBT11 · operator
reference-profile · input revision 2 · CC0 1.0
IBT11(q) == q.control.siteInspections[20]Exact module download · Source bundle and reproduction instructions
IConnectedStepT11 · operator
reference-profile · input revision 2 · CC0 1.0
IConnectedStepT11 ==
LET q==qT11 c==q.control IN
/\ UNCHANGED guideCaseT11
/\ CASE q.stage="LatchStart" ->
LET after==[q.flow EXCEPT !.decision="NeutralValue00001"] IN
/\ SideBLatchDecision5(q.flow,after,q.actionPointWorld.actionPoints["SideB"],TRUE)
/\ qT11'=[q EXCEPT !.flow=after,!.stage="OpenAction"]
[] q.stage="OpenAction" -> IOpenWindowT11("NeutralValue00001",ITurnSiteT11(q),"StartAction","ActionPay")
[] q.stage="Window" -> IWindowStepT11
[] q.stage="ActionPay" ->
LET after==IActionPointAfterT11(q.actionPointWorld) a==NewAction5(30,"SideB",BasicActionKey5("SideB","SchemaAtom138"))
payment==[before |-> q.actionPointWorld,after |-> after,window |-> WindowTop9(q.stack).id,option |-> IActionOptionT11,transaction |-> 200] IN
/\ IActionReservationT11(q) /\ BasicActionLocalGate5("SideB","SchemaAtom138",FALSE)
/\ BasicAction5("SideB","SchemaAtom138").effect="SchemaAtom138" /\ BasicAction5("SideB","SchemaAtom138").actionPoints=1 /\ BasicAction5("SideB","SchemaAtom138").resourceUnits=0
/\ qT11'=[q EXCEPT !.actionPointWorld=after,!.payment=payment,!.action=a,!.stage="ActionCostDrain"]
/\ IntegrationActionPointsT11!DoActionPoints(IActionPointCommandT11)
/\ ActionStart5(q.flow.turn,"SideB",TRUE,<<[kind |-> "SpendActionPoints",amount |-> 1]>>,IActionReservationT11(q),TRUE,q.action.status="Idle",a.id,a.key,a)
[] q.stage="ActionCostDrain" ->
/\ q.actionPointWorld=q.payment.after /\ q.actionPointWorld.checkpointDue
/\ qT11'=[q EXCEPT !.actionPointWorld.checkpointDue=FALSE,!.costDrained=TRUE,!.stage="ActionEffects"]
[] q.stage="ActionEffects" ->
LET after==[q.action EXCEPT !.status="Effects"] IN
/\ IActionPaidT11(q) /\ ActionEffectsBegin5(q.action,after,IActionPaidT11(q))
/\ qT11'=[q EXCEPT !.action=after,!.trace=Append(@,"ProcedureCode989abc27e0c6"),!.revision=@+1,!.stage="TraversalStart"]
[] q.stage="TraversalStart" ->
LET after==[q.action EXCEPT !.status="Nested",!.nested="Traversal7"] traversal==OpenTraversal6(7,1000,ITraversalCallerT11(q.action)) IN
/\ ActionNestedBegin5(q.action,after,"Traversal7")
/\ qT11'=[q EXCEPT !.action=after,!.waitTraversal=[id |-> traversal.id,handle |-> "Traversal7",action |-> q.action.id],!.control=TraversalControlT11(traversal),!.stage="TraversalWork"]
[] q.stage="TraversalWork" -> ITraversalWorkT11
[] q.stage="TraversalAdvance" -> ITraversalAdvanceT11
[] q.stage="InspectionWork" -> IInspectionWorkT11
[] q.stage="InspectionAdvance" -> IInspectionAdvanceT11
[] q.stage="ItemInspectionWork" -> IItemInspectionWorkT11
[] q.stage="ItemInspectionAdvance" -> IItemInspectionAdvanceT11
[] q.stage="Drain" ->
qT11'=[q EXCEPT !.drains=Append(@,[step |-> q.lastWork,insideItemInspection |-> IInsideItemInspectionT11(q),insideInspection |-> IInsideInspectionT11(q),duringTraversal |-> DuringTraversal6(c.traversal)]),!.revision=@+1,!.stage=q.resume]
[] q.stage="ItemInspectionReturn" ->
LET a==IAT11(q) after==[a EXCEPT !.returned=TRUE] next==IWithItemInspectionT11(q,after) IN
/\ ReturnItemInspectionToCaller7(a,after,TRUE,InspectionItemInspectionCaller7(IBT11(q)))
/\ qT11'=IRecordReturnT11(next,"ItemInspection",after,IBT11(q).id,"InspectionResume")
[] q.stage="InspectionResume" ->
LET b==IBT11(q) after==[b EXCEPT !.selectionPending=FALSE,!.selectedObject=0,!.selectedSource="NoValue",!.currentItemInspectionId=0] IN
/\ IItemInspectionReturnReadyT11(q) /\ FinishInspectionItemInspectionInstruction7(b,after,IItemInspectionReturnReadyT11(q))
/\ qT11'=IRecordT11([IWithInspectionT11(q,after) EXCEPT !.consumed=@ \cup {"ItemInspection"}],"7.5.5:return",{},"InspectionAdvance")
[] q.stage="InspectionReturn" ->
LET b==IBT11(q) after==[b EXCEPT !.returned=TRUE] next==IWithInspectionT11(q,after) IN
/\ ReturnInspectionToCaller7(b,after,TRUE,IInspectionCallerT11(c.traversal))
/\ qT11'=IRecordReturnT11(next,"Inspection",after,c.traversal.id,"TraversalResume")
[] q.stage="TraversalResume" ->
LET after==[c EXCEPT !.siteInspectionFinished=TRUE] IN
/\ IInspectionReturnReadyT11(q) /\ FinishRulesInspectionInstruction6(c,after,IInspectionReturnReadyT11(q))
/\ qT11'=IRecordT11([q EXCEPT !.control=after,!.consumed=@ \cup {"Inspection"}],"6.9.5b:return",{},"TraversalAdvance")
[] q.stage="TraversalReturn" ->
LET after==[c EXCEPT !.returned=TRUE] next==[q EXCEPT !.control=after] IN
/\ ReturnTraversalToCaller6(c,after,TRUE,ITraversalCallerT11(q.action))
/\ qT11'=IRecordReturnT11(next,"SchemaAtom138",after,q.action.id,"ActionResume")
[] q.stage="ActionResume" ->
LET after==[q.action EXCEPT !.status="Effects",!.nested="NoValue"] IN
/\ ITraversalReturnReadyT11(q) /\ ActionNestedReturn5(q.action,after,q.waitTraversal.handle,ITraversalReturnReadyT11(q))
/\ qT11'=[q EXCEPT !.action=after,!.consumed=@ \cup {"SchemaAtom138"},!.stage="ActionComplete"]
[] q.stage="ActionComplete" ->
LET after==[q.action EXCEPT !.status="Complete"] IN
/\ ActionComplete5(q.action,after,"SchemaAtom138" \in q.consumed /\ c.returned /\ c.traversal.complete)
/\ qT11'=[IRecordT11([q EXCEPT !.action=after],"5.7.1f:return",{[tag |-> "OriginalActionCompletes",actionId |-> q.action.id]},"TurnAdvance") EXCEPT !.stage="ActionWindowReturn"]
[] q.stage="ActionWindowReturn" ->
LET w==WindowTop9(q.stack) IN
/\ CompletePriorityOption9(q.stack,ReplaceWindowTop9(q.stack,CompletePriorityOptionFrame9(w)),IActionOptionReturnT11(q))
/\ qT11'=[q EXCEPT !.stack=ReplaceWindowTop9(@,CompletePriorityOptionFrame9(w)),!.returnOrder=Append(@,"NeutralValue00001"),!.stage="PopAction"]
[] q.stage="PopAction" ->
/\ PopClosedPriorityWindow9(q.stack,<<>>)
/\ qT11'=[q EXCEPT !.stack= <<>>,!.stage="Drain"]
[] q.stage="TurnAdvance" ->
LET after==[q.flow EXCEPT !.step="ProcedureCodea439ce381bba",!.decision="NoValue"] IN
/\ SideBStepAdvance5(q.flow,after,ActionReadyToContinue5(q.action))
/\ qT11'=IRecordT11([q EXCEPT !.flow=after],"ProcedureCodea439ce381bba",{},"TurnLoop")
[] q.stage="TurnLoop" ->
LET after==[q.flow EXCEPT !.step="ProcedureCode484be3e50aa9",!.decision="NoValue"] IN
/\ SideBStepAdvance5(q.flow,after,TRUE) /\ qT11'=[q EXCEPT !.flow=after,!.stage="OpenPR"]
[] q.stage="OpenPR" -> IOpenWindowT11("Paid",ITurnSiteT11(q),"TurnPR","TurnContinue")
[] q.stage="TurnContinue" ->
LET after==[q.flow EXCEPT !.step="ProcedureCode989abc27e0c6",!.decision="NoValue"] IN
/\ SideBStepAdvance5(q.flow,after,TRUE) /\ qT11'=[q EXCEPT !.flow=after,!.stage="LatchNew"]
[] q.stage="LatchNew" ->
LET after==[q.flow EXCEPT !.decision="NeutralValue00001"] IN
/\ SideBLatchDecision5(q.flow,after,q.actionPointWorld.actionPoints["SideB"],TRUE) /\ qT11'=[q EXCEPT !.flow=after,!.stage="OpenNewAction"]
[] q.stage="OpenNewAction" ->
/\ q.stack= <<>> /\ ActionReadyToContinue5(q.action) /\ q.consumed={"ItemInspection","Inspection","SchemaAtom138"}
/\ IOpenWindowT11("NeutralValue00001",ITurnSiteT11(q),"NewAction","Done")
[] q.stage="Done" -> UNCHANGED qT11Exact module download · Source bundle and reproduction instructions
Resolved project definitions: CompletePriorityOption9, CompletePriorityOptionFrame9, PopClosedPriorityWindow9, ReplaceWindowTop9, WindowTop9, IAT11, IActionOptionReturnT11, IActionOptionT11, IActionPaidT11, IActionPointAfterT11, IActionPointCommandT11, IActionReservationT11, IBT11, IInsideInspectionT11, IInsideItemInspectionT11, IInspectionAdvanceT11, IInspectionCallerT11, IInspectionReturnReadyT11, IInspectionWorkT11, IItemInspectionAdvanceT11, IItemInspectionReturnReadyT11, IItemInspectionWorkT11, IOpenWindowT11, IRecordReturnT11, IRecordT11, ITraversalAdvanceT11, ITraversalCallerT11, ITraversalReturnReadyT11, ITraversalWorkT11, ITurnSiteT11, IWindowStepT11, IWithInspectionT11, IWithItemInspectionT11, IntegrationActionPointsT11!DoActionPoints, FinishInspectionItemInspectionInstruction7, InspectionItemInspectionCaller7, ReturnInspectionToCaller7, ReturnItemInspectionToCaller7, guideCaseT11, qT11, DuringTraversal6, FinishRulesInspectionInstruction6, OpenTraversal6, ReturnTraversalToCaller6, TraversalControlT11, ActionComplete5, ActionEffectsBegin5, ActionNestedBegin5, ActionNestedReturn5, ActionReadyToContinue5, ActionStart5, BasicAction5, BasicActionKey5, BasicActionLocalGate5, NewAction5, SideBLatchDecision5, SideBStepAdvance5
IEventCountT11 · operator
reference-profile · input revision 2 · CC0 1.0
IEventCountT11(q,name) == Cardinality({i \in 1..Len(q.rawEvents) : name \in {IObserveEventT11(e) : e \in q.rawEvents[i]}})Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IObserveEventT11
IEventNamesT11 · operator
reference-profile · input revision 2 · CC0 1.0
IEventNamesT11(q) == UNION {{IObserveEventT11(e) : e \in q.rawEvents[i]} : i \in 1..Len(q.rawEvents)}Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IObserveEventT11
IFlowT11 · operator
reference-profile · input revision 2 · CC0 1.0
IFlowT11 == [OpenSideBProcedure5(TraversalTurnT11("SideB")) EXCEPT !.step="ProcedureCode989abc27e0c6"]Exact module download · Source bundle and reproduction instructions
Resolved project definitions: TraversalTurnT11, OpenSideBProcedure5
IInitialT11 · operator
reference-profile · input revision 2 · CC0 1.0
IInitialT11 ==
[flow |-> IFlowT11,actionPointWorld |-> IActionPointWorldT11,action |-> SideBIdleActionT11,waitTraversal |-> EmptyT11,control |-> TraversalControlT11(NoTraversal6),objects |-> ItemInspectionObjectsT11("SideAHand","Plan"),
layout |-> ILayoutT11,movement |-> EmptyT11,encounter |-> EmptyT11,capacity |-> EmptyT11,itemInspectionHistory |-> EmptyT11,stack |-> <<>>,usedWindows |-> {},nextWindow |-> 1,
stage |-> "LatchStart",resume |-> "NoValue",windowRole |-> "NoValue",windowResume |-> "NoValue",NeutralValue00003 |-> EmptyT11,payment |-> EmptyT11,costDrained |-> FALSE,
fund |-> 0,bank |-> 0,siteInspectionDecision |-> "NoValue",trace |-> <<>>,rawEvents |-> <<>>,drains |-> <<>>,lastWork |-> "NoValue",revision |-> 0,
receipts |-> EmptyT11,consumed |-> {},returnOrder |-> <<>>,windowHistory |-> <<>>,done |-> FALSE]Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IActionPointWorldT11, IFlowT11, ILayoutT11, ItemInspectionObjectsT11, EmptyT11, SideBIdleActionT11, NoTraversal6, TraversalControlT11
IInsideInspectionT11 · operator
reference-profile · input revision 2 · CC0 1.0
IInsideInspectionT11(q) == IF 20 \in DOMAIN q.control.siteInspections THEN IBT11(q).active /\ ~IBT11(q).complete ELSE FALSEExact module download · Source bundle and reproduction instructions
Resolved project definitions: IBT11
IInsideItemInspectionT11 · operator
reference-profile · input revision 2 · CC0 1.0
IInsideItemInspectionT11(q) == IF 77 \in DOMAIN q.control.itemInspections THEN StillItemInspectioning7(IAT11(q),q.objects) ELSE FALSEExact module download · Source bundle and reproduction instructions
Resolved project definitions: IAT11, StillItemInspectioning7
IInspectionAdvanceT11 · operator
reference-profile · input revision 2 · CC0 1.0
IInspectionAdvanceT11 ==
LET q==qT11 b==IBT11(q) IN
IF b.step="ProcedureCode1404a82ab3ee" THEN
IF q.siteInspectionDecision="Choose" THEN LET after==[b EXCEPT !.step="ProcedureCodee35e7c8fc57b"] IN
/\ AdvanceInspectionSelection7(b,after,TRUE) /\ qT11'=[IWithInspectionT11(q,after) EXCEPT !.stage="InspectionWork"]
ELSE LET after==[b EXCEPT !.step="ProcedureCode8c612115d469"] IN
/\ SkipInspectionSelection7(b,after,q.capacity,q.objects,<<>>,{},FALSE,TRUE) /\ qT11'=[IWithInspectionT11(q,after) EXCEPT !.stage="InspectionWork"]
ELSE LET after==[b EXCEPT !.step=NextInspectionStep7(b.step)] IN
/\ AdvanceInspectionStep7(b,after,TRUE,TRUE) /\ qT11'=[IWithInspectionT11(q,after) EXCEPT !.stage="InspectionWork"]Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IBT11, IWithInspectionT11, AdvanceInspectionSelection7, AdvanceInspectionStep7, NextInspectionStep7, SkipInspectionSelection7, qT11
IInspectionCallerT11 · operator
reference-profile · input revision 2 · CC0 1.0
IInspectionCallerT11(traversal) == <<"TraversalInspectionInstruction",traversal.id,"ProcedureCoded75d879e00ff">>Exact module download · Source bundle and reproduction instructions
IInspectionReturnReadyT11 · operator
reference-profile · input revision 2 · CC0 1.0
IInspectionReturnReadyT11(q) ==
/\ "Inspection" \in DOMAIN q.receipts /\ "Inspection" \notin q.consumed
/\ q.receipts["Inspection"].frame=IBT11(q) /\ q.receipts["Inspection"].objects=q.objects /\ q.receipts["Inspection"].revision=q.revision
/\ q.receipts["Inspection"].parent=q.control.traversal.id /\ IBT11(q).id=20 /\ IBT11(q).returned /\ IBT11(q).complete /\ ~IBT11(q).active
/\ IBT11(q).traversalId=q.control.traversal.id /\ IBT11(q).targetSite=q.control.traversal.attacked /\ IBT11(q).origin="RulesTraversalInspection" /\ IBT11(q).caller=IInspectionCallerT11(q.control.traversal)Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IBT11, IInspectionCallerT11
IInspectionWorkT11 · operator
reference-profile · input revision 2 · CC0 1.0
IInspectionWorkT11 ==
LET q==qT11 b==IBT11(q) IN
CASE b.step="ProcedureCode839b301bad95" ->
LET after==[b EXCEPT !.active=TRUE,!.beginMet=TRUE] capacity==OpenCandidateCapacity7(b,q.objects) IN
/\ BeginInspectionWithCandidates7(b,after,capacity,q.objects,0,{"SchemaAtom082"},TRUE,TRUE,{InspectionBeginEvent7(b)})
/\ qT11'=IRecordT11([IWithInspectionT11(q,after) EXCEPT !.capacity=capacity],b.step,{InspectionBeginEvent7(b)},"InspectionAdvance")
[] b.step="ProcedureCodeb6067693902e" -> qT11'=IRecordT11(q,b.step,{},"InspectionAdvance")
[] b.step="ProcedureCode91f3ee0da236" ->
LET after==[b EXCEPT !.limitSet=TRUE] IN
/\ FreezeInspectionLimit7(b,after,TRUE)
/\ qT11'=IRecordT11(IWithInspectionT11(q,after),b.step,{},"InspectionAdvance")
[] b.step="ProcedureCode1404a82ab3ee" ->
LET view==InspectionCandidates7(b,q.capacity,q.objects,<<>>,{}) IN
/\ DeriveCandidateView7(b,q.capacity,q.objects,<<>>,{},FALSE,view)
/\ IF view.central={} THEN qT11'=IRecordT11([q EXCEPT !.siteInspectionDecision="End"],b.step,{},"InspectionAdvance")
ELSE LET after==InspectionSelectT11(b,1,"SchemaAtom033") IN
/\ InspectionPresentation7(b,view).randomCentralAOffered /\ view.central={1}
/\ ChooseCentralAInspectionCard7(b,after,view,1,0,FALSE,view.central={1})
/\ qT11'=IRecordT11([IWithInspectionT11(q,after) EXCEPT !.siteInspectionDecision="Choose"],b.step,{},"InspectionAdvance")
[] b.step="ProcedureCodee35e7c8fc57b" ->
LET a==OpenItemInspection7(77,b.selectedObject,q.objects[b.selectedObject],b.traversalId,b.id,InspectionItemInspectionCaller7(b),{}) IN
/\ qT11'=[IWithItemInspectionT11(q,a) EXCEPT !.stage="ItemInspectionWork",!.trace=Append(@,b.step),!.revision=@+1]
[] b.step="ProcedureCodeb1fbc90c4ab0" -> qT11'=IRecordT11(q,b.step,{},"InspectionAdvance")
[] b.step="ProcedureCode8c612115d469" ->
LET after==[b EXCEPT !.active=FALSE,!.complete=TRUE,!.step="Complete",!.completionReason="Normal"] IN
/\ CompleteNormalInspection7(b,after,TRUE,{InspectionEndEvent7(b)})
/\ qT11'=IRecordT11(IWithInspectionT11(q,after),b.step,{InspectionEndEvent7(b)},"InspectionReturn")Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IBT11, IRecordT11, IWithInspectionT11, IWithItemInspectionT11, BeginInspectionWithCandidates7, ChooseCentralAInspectionCard7, CompleteNormalInspection7, DeriveCandidateView7, FreezeInspectionLimit7, InspectionBeginEvent7, InspectionCandidates7, InspectionEndEvent7, InspectionItemInspectionCaller7, InspectionPresentation7, OpenCandidateCapacity7, OpenItemInspection7, InspectionSelectT11, qT11
IItemInspectionAdvanceT11 · operator
reference-profile · input revision 2 · CC0 1.0
IItemInspectionAdvanceT11 ==
LET q==qT11 a==IAT11(q) after==[a EXCEPT !.step=NextItemInspectionStep7(a.step)] IN
/\ AdvanceItemInspectionStep7(a,after,q.objects,TRUE,TRUE)
/\ qT11'=[IWithItemInspectionT11(q,after) EXCEPT !.stage="ItemInspectionWork"]Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IAT11, IWithItemInspectionT11, AdvanceItemInspectionStep7, NextItemInspectionStep7, qT11
IItemInspectionReturnReadyT11 · operator
reference-profile · input revision 2 · CC0 1.0
IItemInspectionReturnReadyT11(q) ==
/\ "ItemInspection" \in DOMAIN q.receipts /\ "ItemInspection" \notin q.consumed
/\ q.receipts["ItemInspection"].frame=IAT11(q) /\ q.receipts["ItemInspection"].objects=q.objects /\ q.receipts["ItemInspection"].revision=q.revision
/\ q.receipts["ItemInspection"].parent=IBT11(q).id /\ InspectionChildReturnedT11(IBT11(q),IAT11(q))Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IAT11, IBT11, InspectionChildReturnedT11
IItemInspectionWorkT11 · operator
reference-profile · input revision 2 · CC0 1.0
IItemInspectionWorkT11 ==
LET q==qT11 a==IAT11(q) b==IBT11(q) IN
CASE a.step="ProcedureCodefd91bef8bbd3" ->
LET after==[a EXCEPT !.active=TRUE,!.beginMet=TRUE] attached==[b EXCEPT !.currentItemInspectionId=a.id,!.usedItemInspectionIds=@ \cup {a.id}]
history==[id \in {a.id} |-> [object |-> a.object,traversalId |-> a.traversalId,siteInspectionId |-> a.siteInspectionId,turnId |-> q.flow.turn.id,hadRetireCost |-> FALSE]] IN
/\ BeginItemInspection7(a,after,q.objects,TRUE,TRUE,TRUE,{ItemInspectionBeginEvent7(a)})
/\ AttachChosenItemInspection7(b,attached,after,ItemInspectionBeginEvent7(a))
/\ RecordActualItemInspection7(q.itemInspectionHistory,history,after,q.flow.turn.id,FALSE,ItemInspectionBeginEvent7(a))
/\ qT11'=IRecordT11([IWithInspectionT11(IWithItemInspectionT11(q,after),attached) EXCEPT !.itemInspectionHistory=history],a.step,{ItemInspectionBeginEvent7(a)},"ItemInspectionAdvance")
[] a.step="ProcedureCode1dd0e8f05be2" -> IOpenWindowT11("MidItemInspection",ItemInspectionPrioritySite9(q.flow.turn,a,q.objects),"Mid","ItemInspectionAdvance")
[] a.step="ProcedureCode546db7cc4546" ->
LET after==[a EXCEPT !.claimObjectiveDone=TRUE] IN
/\ ResolveItemInspectionClaimObjective7(a,after,q.objects,FALSE,FALSE,FALSE,TRUE,FALSE,FALSE)
/\ qT11'=IRecordT11(IWithItemInspectionT11(q,after),a.step,{},"ItemInspectionAdvance")
[] a.step="ProcedureCode662478499367" ->
LET after==ItemInspectionEndedT11(a,"Normal") IN
/\ CompleteNormalItemInspection7(a,after,q.objects,TRUE,{ItemInspectionEndEvent7(a)})
/\ qT11'=IRecordT11(IWithItemInspectionT11(q,after),a.step,{ItemInspectionEndEvent7(a)},"ItemInspectionReturn")Exact module download · Source bundle and reproduction instructions
Resolved project definitions: ItemInspectionPrioritySite9, IAT11, IBT11, IOpenWindowT11, IRecordT11, IWithInspectionT11, IWithItemInspectionT11, AttachChosenItemInspection7, BeginItemInspection7, CompleteNormalItemInspection7, ItemInspectionBeginEvent7, ItemInspectionEndEvent7, RecordActualItemInspection7, ResolveItemInspectionClaimObjective7, ItemInspectionEndedT11, qT11
ILayoutT11 · operator
reference-profile · input revision 2 · CC0 1.0
ILayoutT11 == TraversalLayoutT11(0)Exact module download · Source bundle and reproduction instructions
Resolved project definitions: TraversalLayoutT11
IObserveEventT11 · operator
reference-profile · input revision 2 · CC0 1.0
IObserveEventT11(e) ==
CASE e.tag="ApproachTargetSite" -> "ApproachesTargetSiteCentralA" [] e.tag="SuccessfulTraversal" -> "TraversalSuccessful" [] e.tag="InspectionTargetSite" -> "InspectionBeginsCentralA"
[] e.tag="ItemInspectionCard" -> "CardItemInspectioned" [] e.tag="PassBarrier" -> "BarrierPassed" [] e.tag="PassAllBarrier" -> "AllBarrierPassed"
[] e.tag="UnsuccessfulTraversal" -> "TraversalUnsuccessful" [] OTHER -> e.tagExact module download · Source bundle and reproduction instructions
IOpenWindowT11 · operator
reference-profile · input revision 2 · CC0 1.0
IOpenWindowT11(kind,site,role,resume) ==
LET q==qT11 w==NewPriorityWindow9(q.nextWindow,kind,site,EmptyT11,0,NoTimingRef9,[id |-> 0],0)
label==CASE role="StartAction" -> "5.7.1f:start" [] role="NewAction" -> "5.7.1f:new" [] role="TurnPR" -> "5.7.1e:continuation" [] OTHER -> site.step
IN /\ OpenPriorityWindow9(q.stack,Append(q.stack,w),w.id,kind,site,EmptyT11,IOpeningT11(w.id,kind,site),q.usedWindows)
/\ qT11'=[q EXCEPT !.stack=Append(@,w),!.usedWindows=@ \cup {w.id},!.nextWindow=@+1,!.stage="Window",!.windowRole=role,!.windowResume=resume,
!.NeutralValue00003=IF role="StartAction" THEN [opened |-> w] ELSE @,
!.windowHistory=Append(@,[id |-> w.id,at |-> label,kind |-> kind,site |-> site])]Exact module download · Source bundle and reproduction instructions
Resolved project definitions: NewPriorityWindow9, NoTimingRef9, OpenPriorityWindow9, IOpeningT11, EmptyT11, qT11
IOpeningT11 · operator
reference-profile · input revision 2 · CC0 1.0
IOpeningT11(id,kind,site) == [tag |-> "PriorityWindowOpening",windowId |-> id,kind |-> kind,site |-> site,members |-> {},instances |-> EmptyT11,group |-> 0,beginning |-> NoTimingRef9,instruction |-> [id |-> 0],effectRevision |-> 0]Exact module download · Source bundle and reproduction instructions
Resolved project definitions: NoTimingRef9, EmptyT11
IRecordReturnT11 · operator
reference-profile · input revision 2 · CC0 1.0
IRecordReturnT11(q,kind,frame,parent,resume) ==
[q EXCEPT !.receipts=[id \in DOMAIN @ \cup {kind} |-> IF id=kind THEN IReturnReceiptT11(q,kind,frame,parent) ELSE @[id]],
!.returnOrder=Append(@,kind),!.revision=@+1,!.stage=resume]Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IReturnReceiptT11
IRecordT11 · operator
reference-profile · input revision 2 · CC0 1.0
IRecordT11(q,label,events,resume) == [q EXCEPT !.trace=Append(@,label),!.rawEvents=Append(@,events),!.lastWork=label,!.stage="Drain",!.resume=resume,!.revision=@+1]Exact module download · Source bundle and reproduction instructions
IReturnGuardChecksT11 · operator
reference-profile · input revision 2 · CC0 1.0
IReturnGuardChecksT11(q) ==
/\ (q.stage="ItemInspectionReturn" =>
LET a==IAT11(q) after==[a EXCEPT !.returned=TRUE] IN
/\ ReturnItemInspectionToCaller7(a,after,TRUE,InspectionItemInspectionCaller7(IBT11(q)))
/\ ~ReturnItemInspectionToCaller7(a,after,FALSE,InspectionItemInspectionCaller7(IBT11(q)))
/\ ~ReturnItemInspectionToCaller7(a,after,TRUE, <<"InspectionItemInspection",21>>))
/\ (q.stage="InspectionResume" =>
LET a==IAT11(q) b==IBT11(q) after==[b EXCEPT !.selectionPending=FALSE,!.selectedObject=0,!.selectedSource="NoValue",!.currentItemInspectionId=0] IN
/\ IItemInspectionReturnReadyT11(q)
/\ ~IItemInspectionReturnReadyT11([q EXCEPT !.receipts["ItemInspection"].parent=21])
/\ ~IItemInspectionReturnReadyT11([q EXCEPT !.receipts["ItemInspection"].revision=q.revision-1])
/\ ~IItemInspectionReturnReadyT11([q EXCEPT !.receipts["ItemInspection"].frame=[a EXCEPT !.returned=FALSE]])
/\ ~IItemInspectionReturnReadyT11([q EXCEPT !.consumed=@ \cup {"ItemInspection"}])
/\ ItemInspectionProcedureValid7([a EXCEPT !.id=78],q.objects) /\ ~InspectionChildReturnedT11(b,[a EXCEPT !.id=78])
/\ ~InspectionChildReturnedT11(b,[a EXCEPT !.caller= <<"InspectionItemInspection",21>>])
/\ ~FinishInspectionItemInspectionInstruction7(b,after,FALSE)
/\ ~ReturnItemInspectionToCaller7(a,a,TRUE,InspectionItemInspectionCaller7(b)))
/\ (q.stage="InspectionReturn" =>
LET b==IBT11(q) after==[b EXCEPT !.returned=TRUE] IN
/\ ~ReturnInspectionToCaller7(b,after,FALSE,IInspectionCallerT11(q.control.traversal))
/\ ~ReturnInspectionToCaller7(b,after,TRUE, <<"TraversalInspectionInstruction",8,"ProcedureCoded75d879e00ff">>))
/\ (q.stage="TraversalResume" =>
/\ IInspectionReturnReadyT11(q)
/\ ~IInspectionReturnReadyT11([q EXCEPT !.receipts["Inspection"].revision=q.revision-1])
/\ ~IInspectionReturnReadyT11([q EXCEPT !.receipts["Inspection"].frame.choices= <<>>])
/\ ~IInspectionReturnReadyT11([q EXCEPT !.consumed=@ \cup {"Inspection"}])
/\ ~ReturnInspectionToCaller7(IBT11(q),IBT11(q),TRUE,IInspectionCallerT11(q.control.traversal)))
/\ (q.stage="TraversalReturn" =>
LET c==q.control after==[c EXCEPT !.returned=TRUE] IN
/\ ~ReturnTraversalToCaller6(c,after,FALSE,ITraversalCallerT11(q.action))
/\ ~ReturnTraversalToCaller6(c,after,TRUE, <<"BasicTraversalAction",31>>)
/\ ~CompletePriorityOption9(q.stack,ReplaceWindowTop9(q.stack,CompletePriorityOptionFrame9(WindowTop9(q.stack))),IActionOptionReturnT11(q)))
/\ (q.stage="ActionResume" =>
LET after==[q.action EXCEPT !.status="Effects",!.nested="NoValue"] IN
/\ ITraversalReturnReadyT11(q)
/\ ~ITraversalReturnReadyT11([q EXCEPT !.receipts["SchemaAtom138"].revision=q.revision-1])
/\ ~ITraversalReturnReadyT11([q EXCEPT !.receipts["SchemaAtom138"].frame.itemInspections[77].returned=FALSE])
/\ ~ITraversalReturnReadyT11([q EXCEPT !.consumed=@ \cup {"SchemaAtom138"}])
/\ ~ActionNestedReturn5(q.action,after,"SiblingTraversal",TRUE)
/\ ~ActionNestedReturn5(q.action,after,q.waitTraversal.handle,FALSE)
/\ ~ReturnTraversalToCaller6(q.control,q.control,TRUE,ITraversalCallerT11(q.action)))
/\ (q.stage="ItemInspectionWork" /\ "ItemInspection" \notin DOMAIN q.receipts =>
/\ ~IItemInspectionReturnReadyT11(q)
/\ ~ReturnInspectionToCaller7(IBT11(q),[IBT11(q) EXCEPT !.returned=TRUE],TRUE,IInspectionCallerT11(q.control.traversal))
/\ ~ReturnTraversalToCaller6(q.control,[q.control EXCEPT !.returned=TRUE],TRUE,ITraversalCallerT11(q.action))
/\ ~ReturnItemInspectionToCaller7(IAT11(q),[IAT11(q) EXCEPT !.returned=TRUE],TRUE,InspectionItemInspectionCaller7(IBT11(q))))
/\ (q.stage="OpenNewAction" =>
LET site==ITurnSiteT11(q) oldId==q.NeutralValue00003.opened.id w==NewPriorityWindow9(oldId,"NeutralValue00001",site,EmptyT11,0,NoTimingRef9,[id |-> 0],0) IN
/\ ~OpenPriorityWindow9(q.stack,Append(q.stack,w),oldId,"NeutralValue00001",site,EmptyT11,IOpeningT11(oldId,"NeutralValue00001",site),q.usedWindows)
/\ q.action.status="Complete" /\ q.consumed={"ItemInspection","Inspection","SchemaAtom138"})
/\ (q.stage \in {"ActionComplete","ActionWindowReturn"} =>
LET after==ReplaceWindowTop9(q.stack,CompletePriorityOptionFrame9(WindowTop9(q.stack))) IN
/\ (CompletePriorityOption9(q.stack,after,IActionOptionReturnT11(q)) = (q.stage="ActionWindowReturn"))
/\ ~CompletePriorityOption9(q.stack,after,IActionOptionReturnT11([q EXCEPT !.action.status="Effects"]))
/\ ~CompletePriorityOption9(q.stack,after,IActionOptionReturnT11([q EXCEPT !.control.returned=FALSE]))
/\ ~CompletePriorityOption9(q.stack,after,IActionOptionReturnT11([q EXCEPT !.consumed=@ \ {"SchemaAtom138"}]))
/\ ~CompletePriorityOption9(q.stack,after,IActionOptionReturnT11([q EXCEPT !.costDrained=FALSE])))Exact module download · Source bundle and reproduction instructions
Resolved project definitions: CompletePriorityOption9, CompletePriorityOptionFrame9, NewPriorityWindow9, NoTimingRef9, OpenPriorityWindow9, ReplaceWindowTop9, WindowTop9, IAT11, IActionOptionReturnT11, IBT11, IInspectionCallerT11, IInspectionReturnReadyT11, IItemInspectionReturnReadyT11, IOpeningT11, ITraversalCallerT11, ITraversalReturnReadyT11, ITurnSiteT11, FinishInspectionItemInspectionInstruction7, InspectionItemInspectionCaller7, ItemInspectionProcedureValid7, ReturnInspectionToCaller7, ReturnItemInspectionToCaller7, InspectionChildReturnedT11, EmptyT11, ReturnTraversalToCaller6, ActionNestedReturn5
IReturnReceiptT11 · operator
reference-profile · input revision 2 · CC0 1.0
IReturnReceiptT11(q,kind,frame,parent) == [kind |-> kind,frame |-> frame,parent |-> parent,objects |-> q.objects,revision |-> q.revision+1]Exact module download · Source bundle and reproduction instructions
ITraversalAdvanceT11 · operator
reference-profile · input revision 2 · CC0 1.0
ITraversalAdvanceT11 ==
LET q==qT11 c==q.control work==TraversalWorkT11("Continue",0)
next==NextTraversalStep6(c.traversal.step,TraversalBranch6(c.traversal,q.layout,{},q.encounter,q.movement,work)) phase==TraversalStepInfo6(next).phase
pid==IF phase=c.traversal.phase THEN c.traversal.phaseId ELSE c.traversal.phaseId+1 after==TraversalPostFrameT11(c,next,phase,pid) IN
/\ AdvanceNormalTraversalStep6(c,after,q.layout,{},q.encounter,q.movement,work,pid,TRUE,TRUE,{})
/\ qT11'=[q EXCEPT !.control=after,!.stage="TraversalWork",!.movement=IF phase="Movement" /\ phase#c.traversal.phase THEN OpenMovement6(after.traversal,c.traversal.phase,0,0,TRUE) ELSE @]Exact module download · Source bundle and reproduction instructions
Resolved project definitions: qT11, AdvanceNormalTraversalStep6, NextTraversalStep6, OpenMovement6, TraversalBranch6, TraversalStepInfo6, TraversalPostFrameT11, TraversalWorkT11
ITraversalCallerT11 · operator
reference-profile · input revision 2 · CC0 1.0
ITraversalCallerT11(action) == <<"BasicTraversalAction",action.id>>Exact module download · Source bundle and reproduction instructions
ITraversalReturnReadyT11 · operator
reference-profile · input revision 2 · CC0 1.0
ITraversalReturnReadyT11(q) ==
/\ "SchemaAtom138" \in DOMAIN q.receipts /\ "SchemaAtom138" \notin q.consumed
/\ q.receipts["SchemaAtom138"].frame=q.control /\ q.receipts["SchemaAtom138"].objects=q.objects /\ q.receipts["SchemaAtom138"].revision=q.revision
/\ q.receipts["SchemaAtom138"].parent=q.action.id /\ q.control.returned /\ q.control.traversal.complete
/\ q.control.traversal.id=q.waitTraversal.id /\ q.action.nested=q.waitTraversal.handle /\ q.control.traversal.caller=ITraversalCallerT11(q.action)Exact module download · Source bundle and reproduction instructions
Resolved project definitions: ITraversalCallerT11
ITraversalSiteT11 · operator
reference-profile · input revision 2 · CC0 1.0
ITraversalSiteT11(q) == TraversalPrioritySite9(q.flow.turn,q.control.traversal,EmptyT11,q.layout,q.control)Exact module download · Source bundle and reproduction instructions
Resolved project definitions: TraversalPrioritySite9, EmptyT11
ITraversalWorkT11 · operator
reference-profile · input revision 2 · CC0 1.0
ITraversalWorkT11 ==
LET q==qT11 c==q.control r==c.traversal m==q.movement IN
CASE r.step="ProcedureCode12371046a2e5" ->
LET after==[c EXCEPT !.traversal.attacked="SchemaAtom082",!.announced=TRUE,!.costsPaid=TRUE] events=={[tag |-> "TraversalTargetSiteAnnounced",traversalId |-> r.id,targetSite |-> "SchemaAtom082"]} IN
/\ AnnounceTraversalTargetSite6(c,after,"SchemaAtom082",[SchemaAtom082 |-> [kind |-> "SchemaAtom033"]],TRUE,TRUE,events)
/\ qT11'=IRecordT11([q EXCEPT !.control=after],r.step,events,"TraversalAdvance")
[] r.step="ProcedureCodeacc82dbcc545" ->
LET after==[c EXCEPT !.badPubAdded=TRUE] IN
/\ AddInitiationLiabilityMarker6(c,after,q.fund,q.fund,0)
/\ qT11'=IRecordT11([q EXCEPT !.control=after],r.step,{},"TraversalAdvance")
[] r.step="ProcedureCode4d6bd06d2c9f" ->
LET after==[c EXCEPT !.traversal.formalBegun=TRUE] IN
/\ FormalTraversalBegin6(c,after,{TraversalBeginEvent6(r)})
/\ qT11'=IRecordT11([q EXCEPT !.control=after],r.step,{TraversalBeginEvent6(r)},"TraversalAdvance")
[] r.step="ProcedureCode347de0bdd6b4" ->
LET after==[r EXCEPT !.position="NoValue"] IN
/\ SetInitialSideBPosition6(r,after,q.layout,r.step)
/\ qT11'=IRecordT11([q EXCEPT !.control.traversal=after],r.step,{},"TraversalAdvance")
[] r.step \in {"ProcedureCode71e36c9e8e04","ProcedureCode4f60245a1dde","ProcedureCode2cd618a9e624"} -> IOpenWindowT11("Paid",ITraversalSiteT11(q),"SchemaAtom138","TraversalAdvance")
[] r.step \in {"ProcedureCode7e3f7e5033c8","ProcedureCodea732fbc12ae0","ProcedureCodec7b41615d673"} ->
LET after==[c EXCEPT !.phaseEndedIds=@ \cup {r.phaseId}] IN
/\ BeginNormalTraversalPhaseEnd6(c,after,q.layout,{},q.encounter,m,TraversalWorkT11("Continue",0),TRUE,{TraversalPhaseEndEvent6(r)})
/\ qT11'=IRecordT11([q EXCEPT !.control=after],r.step,{TraversalPhaseEndEvent6(r)},"TraversalAdvance")
[] r.step="ProcedureCode714dfe070fed" ->
LET after==[m EXCEPT !.begun=TRUE,!.passedBarrier=0,!.passedAll=FALSE] IN
/\ BeginMovement6(r,m,after,q.layout,{})
/\ qT11'=IRecordT11([q EXCEPT !.movement=after],r.step,{},"TraversalAdvance")
[] r.step="ProcedureCode9bca3a096549" ->
LET after==[m EXCEPT !.declined=TRUE] IN
/\ DeclineMovementWithdrawTraversal6(r,m,after,TRUE)
/\ qT11'=IRecordT11([q EXCEPT !.movement=after],r.step,{},"TraversalAdvance")
[] r.step="ProcedureCoded4ddeafb5f2f" ->
LET afterTraversal==[r EXCEPT !.position="NoValue"] after==[m EXCEPT !.advanced=TRUE,!.movedToNew=FALSE] IN
/\ AdvanceMovement6(r,afterTraversal,m,after,q.layout,q.layout)
/\ qT11'=IRecordT11([q EXCEPT !.control.traversal=afterTraversal,!.movement=after],r.step,{},"TraversalAdvance")
[] r.step="ProcedureCode6c5d14f545f7" -> qT11'=IRecordT11(q,r.step,{},"TraversalAdvance")
[] r.step="ProcedureCode7e82ab2b38b7" ->
LET after==[m EXCEPT !.approachedTargetSite=TRUE] events=={[tag |-> "ApproachTargetSite",traversalId |-> r.id,targetSite |-> r.attacked,phaseId |-> r.phaseId]} IN
/\ ApproachTargetSite6(r,m,after,events)
/\ qT11'=IRecordT11([q EXCEPT !.movement=after],r.step,events,"TraversalAdvance")
[] r.step="ProcedureCodebbb14496b09b" ->
LET after==[c EXCEPT !.declarationProcessed=TRUE,!.traversal.successful=TRUE] events=={[tag |-> "SuccessfulTraversal",traversalId |-> r.id,targetSite |-> "SchemaAtom082"]} IN
/\ DeclareSuccessfulTraversal6(c,after,TRUE,events)
/\ qT11'=IRecordT11([q EXCEPT !.control=after],r.step,events,"TraversalAdvance")
[] r.step="ProcedureCoded75d879e00ff" ->
LET after==[c EXCEPT !.siteInspectionChosen=TRUE] directive==[kind |-> "Inspection",choice |-> "Inspection",traversalId |-> r.id,targetSite |-> r.attacked,origin |-> "RulesTraversalInspection"]
b==OpenInspection7(20,directive.targetSite,"SchemaAtom082",directive.traversalId,directive.origin,IInspectionCallerT11(r),{},InspectionPolicy7("Normal",0)) IN
/\ ChooseRulesInspection6(c,after,"Inspection",{"Inspection"},TRUE,directive)
/\ qT11'=[IWithInspectionT11([q EXCEPT !.control=after],b) EXCEPT !.stage="InspectionWork",!.trace=Append(@,r.step),!.revision=@+1]
[] r.step="ProcedureCode6ea937bb44ac" ->
LET after==[c EXCEPT !.windowsDone=TRUE] IN
/\ \A i \in 1..Len(q.stack) : q.stack[i].site.traversalId#r.id
/\ FinishTraversalEndWindows6(c,after)
/\ qT11'=IRecordT11([q EXCEPT !.control=after],r.step,{},"TraversalAdvance")
[] r.step="ProcedureCode84dea7dc8ecc" ->
LET after==[c EXCEPT !.fundReturned=TRUE] IN
/\ ReturnLiabilityMarkerFund6(c,after,q.fund,0,q.bank,q.bank)
/\ qT11'=IRecordT11([q EXCEPT !.control=after,!.fund=0],r.step,{},"TraversalAdvance")
[] r.step="ProcedureCode5e397645e65c" ->
LET after==[c EXCEPT !.resultDeclared=TRUE,!.traversal.unsuccessful=FALSE] IN
/\ DeclareUnsuccessfulTraversal6(c,after,[SchemaAtom082 |-> [kind |-> "SchemaAtom033"]],{})
/\ qT11'=IRecordT11([q EXCEPT !.control=after],r.step,{},"TraversalAdvance")
[] r.step="ProcedureCode9606a4cd52b4" ->
LET after==[c EXCEPT !.traversal.complete=TRUE,!.phaseEndedIds=@ \cup {r.phaseId}] events=={[tag |-> "TraversalEnds",traversalId |-> r.id],TraversalPhaseEndEvent6(r)} IN
/\ CompleteTraversal6(c,after,TRUE,events,{r.id})
/\ qT11'=IRecordT11([q EXCEPT !.control=after],r.step,events,"TraversalReturn")Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IInspectionCallerT11, IOpenWindowT11, IRecordT11, ITraversalSiteT11, IWithInspectionT11, InspectionPolicy7, OpenInspection7, qT11, AddInitiationLiabilityMarker6, AdvanceMovement6, AnnounceTraversalTargetSite6, ApproachTargetSite6, BeginMovement6, BeginNormalTraversalPhaseEnd6, ChooseRulesInspection6, CompleteTraversal6, DeclareSuccessfulTraversal6, DeclareUnsuccessfulTraversal6, DeclineMovementWithdrawTraversal6, FinishTraversalEndWindows6, FormalTraversalBegin6, ReturnLiabilityMarkerFund6, SetInitialSideBPosition6, TraversalBeginEvent6, TraversalPhaseEndEvent6, TraversalWorkT11
ITurnSiteT11 · operator
reference-profile · input revision 2 · CC0 1.0
ITurnSiteT11(q) == TurnPrioritySite9(q.flow.turn,q.flow.step,4000,q.actionPointWorld.actionPoints["SideB"],q.flow)Exact module download · Source bundle and reproduction instructions
Resolved project definitions: TurnPrioritySite9
IWindowClassT11 · operator
reference-profile · input revision 2 · CC0 1.0
IWindowClassT11(row) == IF row.kind="NeutralValue00001" THEN "NeutralValue00001" ELSE IF row.kind="MidItemInspection" THEN "MidItemInspection" ELSE IF PaidWindowOptions9(row.site).nonBarrierActivation THEN "PR" ELSE "P"Exact module download · Source bundle and reproduction instructions
Resolved project definitions: PaidWindowOptions9
IWindowStepT11 · operator
reference-profile · input revision 2 · CC0 1.0
IWindowStepT11 ==
LET q==qT11 w==WindowTop9(q.stack) IN
CASE w.stage="NeedCheckpoint" ->
/\ CheckpointPriority9(q.stack,ReplaceWindowTop9(q.stack,PriorityReadyT11(w)),PriorityCheckpointT11(w))
/\ qT11'=[q EXCEPT !.stack=ReplaceWindowTop9(@,PriorityReadyT11(w))]
[] w.stage="Ready" /\ w.kind="NeutralValue00001" ->
IF q.windowRole="NewAction" THEN qT11'=[q EXCEPT !.trace=Append(@,"5.7.1f:new"),!.done=TRUE,!.stage="Done"]
ELSE LET busy==StartPriorityOptionFrame9(w,IActionOptionT11,200) IN
/\ BeginPriorityOption9(q.stack,ReplaceWindowTop9(q.stack,busy),IActionOptionT11,q.objects,LegalityT11(w,IActionOptionT11),EmptyT11)
/\ qT11'=[q EXCEPT !.stack=ReplaceWindowTop9(@,busy),!.NeutralValue00003=[opened |-> q.NeutralValue00003.opened,ready |-> w,option |-> IActionOptionT11],!.stage="ActionPay"]
[] w.stage="Ready" /\ w.kind="Paid" ->
/\ PassPriority9(q.stack,ReplaceWindowTop9(q.stack,PassPriorityFrame9(w)),w.priority,EmptyT11)
/\ qT11'=[q EXCEPT !.stack=ReplaceWindowTop9(@,PassPriorityFrame9(w))]
[] w.stage="Ready" /\ w.kind="MidItemInspection" ->
LET a==IAT11(q) after==[a EXCEPT !.midDone=TRUE] options==ItemInspectionMidOptions7(q.objects[1],{},[exists |-> FALSE,amount |-> 0],FALSE,TRUE) IN
/\ PassMidItemInspection9(q.stack,ReplaceWindowTop9(q.stack,ClosePriorityWindow9(w)),a,after,q.objects,options,FALSE,FALSE)
/\ qT11'=[IWithItemInspectionT11(q,after) EXCEPT !.stack=ReplaceWindowTop9(@,ClosePriorityWindow9(w))]
[] w.stage="Closed" ->
LET rest==SubSeq(q.stack,1,Len(q.stack)-1) next==[q EXCEPT !.stack=rest] IN
/\ PopClosedPriorityWindow9(q.stack,rest)
/\ qT11'=IF q.windowRole="SchemaAtom138" THEN IRecordT11(next,q.control.traversal.step,{},"TraversalAdvance")
ELSE IF q.windowRole="Mid" THEN IRecordT11(next,"ProcedureCode1dd0e8f05be2",{},"ItemInspectionAdvance")
ELSE IRecordT11(next,"ProcedureCode484be3e50aa9",{},"TurnContinue")Exact module download · Source bundle and reproduction instructions
Resolved project definitions: BeginPriorityOption9, CheckpointPriority9, ClosePriorityWindow9, PassMidItemInspection9, PassPriority9, PassPriorityFrame9, PopClosedPriorityWindow9, ReplaceWindowTop9, StartPriorityOptionFrame9, WindowTop9, IAT11, IActionOptionT11, IRecordT11, IWithItemInspectionT11, ItemInspectionMidOptions7, EmptyT11, LegalityT11, PriorityCheckpointT11, PriorityReadyT11, qT11
IWithInspectionT11 · operator
reference-profile · input revision 2 · CC0 1.0
IWithInspectionT11(q,b) == [q EXCEPT !.control.siteInspections=[id \in {20} |-> b]]Exact module download · Source bundle and reproduction instructions
IWithItemInspectionT11 · operator
reference-profile · input revision 2 · CC0 1.0
IWithItemInspectionT11(q,a) == [q EXCEPT !.control.itemInspections=[id \in {77} |-> a]]Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!AbilityActive · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: AbilityActive
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!AbilityController · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: AbilityController
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ActionPointGlyphs · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ActionPointGlyphs
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ActionPointQuantity · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ActionPointQuantity
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Active · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Active
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!AddRecurring · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: AddRecurring
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!AllStandardDeckChecks · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: AllStandardDeckChecks
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!AlternatePaymentPreservesValue · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: AlternatePaymentPreservesValue
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!AnnouncementValid · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: AnnouncementValid
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CalculatedCost · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CalculatedCost
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CanAddProgress · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CanAddProgress
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CanPayWith · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CanPayWith
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CapacityFits · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CapacityFits
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CapacityLimit · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CapacityLimit
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CapacitySourceSlots · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CapacitySourceSlots
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CapacityUsed · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CapacityUsed
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CardKinds · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CardKinds
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CardOverrideAuthorized · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CardOverrideAuthorized
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CardsIn · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CardsIn
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CheckpointOrderAllows · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CheckpointOrderAllows
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Children · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Children
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Commit · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Commit
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Controller · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Controller
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CopiesNamed · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CopiesNamed
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CostCategories · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CostCategories
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CounterCount · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CounterCount
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CounterKinds · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CounterKinds
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CounterSet · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CounterSet
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!CountsAsCounterPlacement · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: CountsAsCounterPlacement
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Deck · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Deck
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DeckLegal · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DeckLegal
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DefaultAbilityController · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DefaultAbilityController
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DefaultActive · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DefaultActive
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DefaultTarget · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DefaultTarget
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Desc · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Desc
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Descendants · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Descendants
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Discard · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Discard
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Dispatch · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Dispatch
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoAbilityEnd · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoAbilityEnd
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoActionPoints · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoActionPoints
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoAddProgress · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoAddProgress
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoAnnounce · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoAnnounce
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoBeginInstruction · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoBeginInstruction
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoCardOverride · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoCardOverride
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoCheckpoint · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoCheckpoint
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoDiscard · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoDiscard
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoFatal · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoFatal
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoFlip · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoFlip
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoGainResourceUnits · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoGainResourceUnits
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoHost · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoHost
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoLoseResourceUnits · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoLoseResourceUnits
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoMint · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoMint
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoMove · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoMove
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoObjective · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoObjective
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoPay · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoPay
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoRefill · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoRefill
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoResolve · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoResolve
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoRetire · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoRetire
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoReveal · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoReveal
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoSpendResourceUnits · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoSpendResourceUnits
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoTakeResourceUnits · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoTakeResourceUnits
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DoTurnStart · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DoTurnStart
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Dormant · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Dormant
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!DrawView · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: DrawView
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!EffectExecutor · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: EffectExecutor
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!EffectiveCosts · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: EffectiveCosts
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ExtraFamilyProvision · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ExtraFamilyProvision
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ExtraLockedProfileChoice · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ExtraLockedProfileChoice
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ExtraLockedProfileSet · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ExtraLockedProfileSet
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ExtraMayLookSideBProfile · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ExtraMayLookSideBProfile
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ExtraProfileReplacement · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ExtraProfileReplacement
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ExtraSelectableProfileChoice · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ExtraSelectableProfileChoice
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ExtraSelectableProfileSet · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ExtraSelectableProfileSet
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ExtraSideBProfilesLegal · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ExtraSideBProfilesLegal
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ExtraThreeTraitsInitialPartition · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ExtraThreeTraitsInitialPartition
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ExtraThreeTraitsProvision · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ExtraThreeTraitsProvision
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ExtraThreeTraitsSelection · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ExtraThreeTraitsSelection
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!FacedownArrivalGroup · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: FacedownArrivalGroup
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Hand · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Hand
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!HostIntegrity · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: HostIntegrity
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!HostedCount · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: HostedCount
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!HostedDeployedOrder · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: HostedDeployedOrder
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!HostedFacedownGroup · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: HostedFacedownGroup
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Ids · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Ids
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!IgnoreComponent · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: IgnoreComponent
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ImportCostTotal · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ImportCostTotal
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!InherentActivationCost · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: InherentActivationCost
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!InherentDeployCost · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: InherentDeployCost
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!InherentPlayCost · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: InherentPlayCost
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Init · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Init
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!InstructionParts · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: InstructionParts
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ItemInspectionRevealRequired · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ItemInspectionRevealRequired
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Least · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Least
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Live · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Live
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!MaxOf · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: MaxOf
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!MayLook · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: MayLook
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!MinOf · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: MinOf
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Mint · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Mint
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ModifiedCost · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ModifiedCost
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!MustClaimObjective · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: MustClaimObjective
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!NestedBranch · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: NestedBranch
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Next · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Next
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!NoCard · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: NoCard
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!NoHost · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: NoHost
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!NoPlayer · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: NoPlayer
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ObjectTarget · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ObjectTarget
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ObjectType · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ObjectType
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ObjectiveArea · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ObjectiveArea
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ObjectivePointTotal · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ObjectivePointTotal
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ObjectiveWinners · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ObjectiveWinners
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ObjectiveZones · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ObjectiveZones
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!OutOfAffiliation · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: OutOfAffiliation
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Owner · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Owner
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!PaymentValid · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: PaymentValid
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!PhysicalCounters · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: PhysicalCounters
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!PhysicalUniqueness · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: PhysicalUniqueness
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!PlayerCounterZones · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: PlayerCounterZones
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!PlayerCounters · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: PlayerCounters
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Players · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Players
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Points · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Points
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Pool · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Pool
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!PriorityAllowed · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: PriorityAllowed
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!PrivateZones · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: PrivateZones
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ProgressAdded · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ProgressAdded
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!PublicZones · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: PublicZones
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Put · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Put
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Relocate · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Relocate
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!RelocatedFace · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: RelocatedFace
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!RemainingCostIndices · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: RemainingCostIndices
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Remember · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Remember
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Remove · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Remove
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!RequiresQuantity · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: RequiresQuantity
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ResourceUnits · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ResourceUnits
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Result · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Result
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!RetireMany · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: RetireMany
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!RetireOne · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: RetireOne
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!RuleAllowed · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: RuleAllowed
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SeqSum · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SeqSum
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupAdvance · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupAdvance
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupCardController · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupCardController
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupCardKindLegal · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupCardKindLegal
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupCounterController · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupCounterController
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupEffectExecutor · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupEffectExecutor
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupInitialProfilesLegal · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupInitialProfilesLegal
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupMayUseForCost · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupMayUseForCost
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupMultiplicity · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupMultiplicity
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupNext · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupNext
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupNoPlayer · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupNoPlayer
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupObjectiveZones · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupObjectiveZones
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupOwner · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupOwner
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupPermutation · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupPermutation
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupPlayerCounterCostException · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupPlayerCounterCostException
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupPlayers · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupPlayers
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupPrivateZones · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupPrivateZones
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupRange · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupRange
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupRetainsPrintedCharacteristics · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupRetainsPrintedCharacteristics
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupRolesLegal · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupRolesLegal
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupSideAKinds · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupSideAKinds
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupSideBKinds · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupSideBKinds
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupStageActor · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupStageActor
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupStages · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupStages
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupStandardNext · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupStandardNext
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupStart · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupStart
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupSuccessor · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupSuccessor
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SetupViewType · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SetupViewType
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Spec · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Spec
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SpendResourceUnitsOK · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SpendResourceUnitsOK
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!StandardDeckChecks · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: StandardDeckChecks
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!StandardObjectiveRange · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: StandardObjectiveRange
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!StartingCapacity · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: StartingCapacity
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SubTarget · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SubTarget
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SumMap · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SumMap
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!SymbolMeaning · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: SymbolMeaning
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!TargetExists · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: TargetExists
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!TechniqueCapacityUnits · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: TechniqueCapacityUnits
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Threat · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Threat
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Token · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Token
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!TotalDiscountSplit · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: TotalDiscountSplit
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!TypeOK · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: TypeOK
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!UnusedCapacity · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: UnusedCapacity
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!UsedRetireAbility · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: UsedRetireAbility
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ValidCapacityAssignment · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ValidCapacityAssignment
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!ValidX · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: ValidX
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Without · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Without
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!XValue · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: XValue
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationActionPointsT11!Zones · operator
reference-profile · input revision 2 · CC0 1.0
Instantiated alias. This exact declaration supplies its substitutions; original operator body: Zones
IntegrationActionPointsT11 == INSTANCE ObjectRuntime WITH s <- qT11.actionPointWorld,CardData <- EmptyT11,InitialState <- EmptyT11,
Commands <- NoItemInspectionCostCommandsT11,CardOverride <- NoItemInspectionCostOverrideT11,CheckpointOverrideAllowed <- NoItemInspectionCheckpointOverrideT11Exact module download · Source bundle and reproduction instructions
IntegrationInitT11 · operator
reference-profile · input revision 2 · CC0 1.0
IntegrationInitT11 == guideCaseT11=0 /\ qT11=IInitialT11Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IInitialT11, guideCaseT11, qT11
IntegrationSafetyT11 · operator
reference-profile · input revision 2 · CC0 1.0
IntegrationSafetyT11 ==
LET q==qT11 IN
/\ SideBProcedureValid5(q.flow) /\ TraversalFrameValid6(q.control.traversal)
/\ IReturnGuardChecksT11(q)
/\ IActionWindowOrderT11(q)
/\ \A i \in 1..Len(q.windowHistory) : IWindowClassT11(q.windowHistory[i])=IntegrationOracleWindowClasses11[q.windowHistory[i].at] /\ ~PaidWindowOptions9(q.windowHistory[i].site).score
/\ (q.action.status#"Complete" => \A i \in 1..Len(q.windowHistory) : q.windowHistory[i].at#"5.7.1f:new")
/\ q.objects=IInitialT11.objects /\ q.fund=0 /\ q.bank=0
/\ q.actionPointWorld.actionPoints["SideB"] \in {IntegrationOracleStartActionPoints11,IntegrationOracleEndActionPoints11}
/\ q.trace=SubSeq(IntegrationOracleTrace11,1,Len(q.trace))
/\ IEventNamesT11(q) \cap IntegrationOracleAbsent11={}
/\ \A i \in 1..Len(q.stack) : PriorityWindowValid9(q.stack[i])
/\ \A id \in DOMAIN q.control.itemInspections : ItemInspectionProcedureValid7(q.control.itemInspections[id],q.objects)
/\ \A id \in DOMAIN q.control.siteInspections : InspectionProcedureValid7(q.control.siteInspections[id])
/\ (q.action.status="Nested" => q.waitTraversal.handle=q.action.nested /\ q.waitTraversal.id=q.control.traversal.id)
/\ (q.action.status="Nested" => Len(q.stack)>0 /\ q.stack[1].kind="NeutralValue00001" /\ q.stack[1].open
/\ q.stack[1].stage="Resolving" /\ q.stack[1].busy=IActionOptionT11)
/\ ("ItemInspection" \in q.consumed => IAT11(q).returned)
/\ ("Inspection" \in q.consumed => IBT11(q).returned)
/\ ("SchemaAtom138" \in q.consumed => q.control.returned)
/\ (q.done =>
/\ q.trace=IntegrationOracleTrace11 /\ q.returnOrder=IntegrationOracleReturnOrder11
/\ q.actionPointWorld.actionPoints["SideB"]=IntegrationOracleEndActionPoints11 /\ q.actionPointWorld.spent["SideB"]=1
/\ q.action.status="Complete" /\ q.control.returned /\ q.control.traversal.complete /\ q.control.traversal.successful /\ ~q.control.traversal.unsuccessful
/\ InspectionCentralChoices7(IBT11(q))=IntegrationOracleCentralChoices11
/\ Cardinality(ActualItemInspectionesInInspection7(q.itemInspectionHistory,20))=IntegrationOracleActualItemInspectiones11
/\ \A name \in IntegrationOracleEvents11 : IEventCountT11(q,name)=1
/\ Len(q.stack)=1 /\ WindowTop9(q.stack).kind="NeutralValue00001" /\ WindowTop9(q.stack).stage="Ready" /\ WindowTop9(q.stack).priority="SideB"
/\ WindowTop9(q.stack).id#q.NeutralValue00003.opened.id /\ WindowTop9(q.stack).busy=NoPriorityOption9
/\ ~CanPassPriority9(WindowTop9(q.stack),EmptyT11))Exact module download · Source bundle and reproduction instructions
Resolved project definitions: CanPassPriority9, NoPriorityOption9, PaidWindowOptions9, PriorityWindowValid9, WindowTop9, IntegrationOracleAbsent11, IntegrationOracleActualItemInspectiones11, IntegrationOracleCentralChoices11, IntegrationOracleEndActionPoints11, IntegrationOracleEvents11, IntegrationOracleReturnOrder11, IntegrationOracleStartActionPoints11, IntegrationOracleTrace11, IntegrationOracleWindowClasses11, IAT11, IActionOptionT11, IActionWindowOrderT11, IBT11, IEventCountT11, IEventNamesT11, IInitialT11, IReturnGuardChecksT11, IWindowClassT11, ActualItemInspectionesInInspection7, InspectionCentralChoices7, InspectionProcedureValid7, ItemInspectionProcedureValid7, EmptyT11, qT11, TraversalFrameValid6, SideBProcedureValid5
IntegrationSpecT11 · operator
reference-profile · input revision 2 · CC0 1.0
IntegrationSpecT11 == IntegrationInitT11 /\ [][IConnectedStepT11]_<<guideCaseT11,qT11>> /\ WF_<<guideCaseT11,qT11>>(IConnectedStepT11)Exact module download · Source bundle and reproduction instructions
Resolved project definitions: IConnectedStepT11, IntegrationInitT11, guideCaseT11, qT11
IntegrationTerminatesT11 · operator
reference-profile · input revision 2 · CC0 1.0
IntegrationTerminatesT11 == <>qT11.doneExact module download · Source bundle and reproduction instructions
Resolved project definitions: qT11