Formal Card-Game Systems
r1 qualified Selected asymmetric formal reference: 2,502 contracts across nine families; bounded evidence and three separate teaching models Read the evidence scope

SchedulerOracle

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.

InspectionOracleDefaultLimit11 · operator

reference-profile · input revision 2 · CC0 1.0

InspectionOracleDefaultLimit11 == 1

Exact module download · Source bundle and reproduction instructions

InspectionOracleEdges11 · operator

reference-profile · input revision 2 · CC0 1.0

InspectionOracleEdges11 == {[before |-> "ProcedureCode839b301bad95",after |-> "ProcedureCodeb6067693902e",decision |-> "Next"],[before |-> "ProcedureCodeb6067693902e",after |-> "ProcedureCode91f3ee0da236",decision |-> "Next"],[before |-> "ProcedureCode91f3ee0da236",after |-> "ProcedureCode1404a82ab3ee",decision |-> "Next"],[before |-> "ProcedureCode1404a82ab3ee",after |-> "ProcedureCodee35e7c8fc57b",decision |-> "Choose"],[before |-> "ProcedureCode1404a82ab3ee",after |-> "ProcedureCode8c612115d469",decision |-> "Done"],[before |-> "ProcedureCodee35e7c8fc57b",after |-> "ProcedureCodeb1fbc90c4ab0",decision |-> "Next"],[before |-> "ProcedureCodeb1fbc90c4ab0",after |-> "ProcedureCode1404a82ab3ee",decision |-> "Next"],[before |-> "ProcedureCode8c612115d469",after |-> "ReturnToCaller",decision |-> "Next"]}

Exact module download · Source bundle and reproduction instructions

InspectionOracleEntry11 · operator

reference-profile · input revision 2 · CC0 1.0

InspectionOracleEntry11 == "ProcedureCode839b301bad95"

Exact module download · Source bundle and reproduction instructions

InspectionOracleFormalConditions11 · operator

reference-profile · input revision 2 · CC0 1.0

InspectionOracleFormalConditions11 == [key \in {"ProcedureCode839b301bad95","ProcedureCode8c612115d469"} |-> CASE key="ProcedureCode839b301bad95" -> {"InspectionBegins"} [] key="ProcedureCode8c612115d469" -> {"InspectionEnds"}]

Exact module download · Source bundle and reproduction instructions

InspectionOracleHidden11 · operator

reference-profile · input revision 2 · CC0 1.0

InspectionOracleHidden11 == {}

Exact module download · Source bundle and reproduction instructions

InspectionOracleKinds11 · operator

reference-profile · input revision 2 · CC0 1.0

InspectionOracleKinds11 == [key \in {"ProcedureCode839b301bad95","ProcedureCodeb6067693902e","ProcedureCode91f3ee0da236","ProcedureCode1404a82ab3ee","ProcedureCodee35e7c8fc57b","ProcedureCodeb1fbc90c4ab0","ProcedureCode8c612115d469"} |-> CASE key="ProcedureCode839b301bad95" -> "BeginInspection" [] key="ProcedureCodeb6067693902e" -> "PrepareDiscardSite" [] key="ProcedureCode91f3ee0da236" -> "SetLimit" [] key="ProcedureCode1404a82ab3ee" -> "Choose" [] key="ProcedureCodee35e7c8fc57b" -> "ItemInspection" [] key="ProcedureCodeb1fbc90c4ab0" -> "Repeat" [] key="ProcedureCode8c612115d469" -> "CompleteInspection"]

Exact module download · Source bundle and reproduction instructions

InspectionOraclePaidSteps11 · operator

reference-profile · input revision 2 · CC0 1.0

InspectionOraclePaidSteps11 == {}

Exact module download · Source bundle and reproduction instructions

InspectionOracleSHA11 · operator

reference-profile · input revision 2 · CC0 1.0

InspectionOracleSHA11 == "ff38252905d94dd46b8fe532b632986a784bf7a5598c0a23cd66f68cb7acb456"

Exact module download · Source bundle and reproduction instructions

InspectionOracleStepSet11 · operator

reference-profile · input revision 2 · CC0 1.0

InspectionOracleStepSet11 == {"ProcedureCode839b301bad95","ProcedureCodeb6067693902e","ProcedureCode91f3ee0da236","ProcedureCode1404a82ab3ee","ProcedureCodee35e7c8fc57b","ProcedureCodeb1fbc90c4ab0","ProcedureCode8c612115d469"}

Exact module download · Source bundle and reproduction instructions

InspectionOracleSteps11 · operator

reference-profile · input revision 2 · CC0 1.0

InspectionOracleSteps11 == <<"ProcedureCode839b301bad95","ProcedureCodeb6067693902e","ProcedureCode91f3ee0da236","ProcedureCode1404a82ab3ee","ProcedureCodee35e7c8fc57b","ProcedureCodeb1fbc90c4ab0","ProcedureCode8c612115d469">>

Exact module download · Source bundle and reproduction instructions

ItemInspectionOracleEdges11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOracleEdges11 == {[before |-> "ProcedureCodefd91bef8bbd3",after |-> "ProcedureCode1dd0e8f05be2"],[before |-> "ProcedureCode1dd0e8f05be2",after |-> "ProcedureCode546db7cc4546"],[before |-> "ProcedureCode546db7cc4546",after |-> "ProcedureCode662478499367"],[before |-> "ProcedureCode662478499367",after |-> "ReturnToCaller"]}

Exact module download · Source bundle and reproduction instructions

ItemInspectionOracleEntry11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOracleEntry11 == "ProcedureCodefd91bef8bbd3"

Exact module download · Source bundle and reproduction instructions

ItemInspectionOracleFormalConditions11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOracleFormalConditions11 == [key \in {"ProcedureCodefd91bef8bbd3","ProcedureCode662478499367"} |-> CASE key="ProcedureCodefd91bef8bbd3" -> {"CardItemInspectioned"} [] key="ProcedureCode662478499367" -> {"ItemInspectionEnds"}]

Exact module download · Source bundle and reproduction instructions

ItemInspectionOracleHidden11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOracleHidden11 == {}

Exact module download · Source bundle and reproduction instructions

ItemInspectionOracleKinds11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOracleKinds11 == [key \in {"ProcedureCodefd91bef8bbd3","ProcedureCode1dd0e8f05be2","ProcedureCode546db7cc4546","ProcedureCode662478499367"} |-> CASE key="ProcedureCodefd91bef8bbd3" -> "ItemInspectionCard" [] key="ProcedureCode1dd0e8f05be2" -> "MidItemInspection" [] key="ProcedureCode546db7cc4546" -> "ClaimObjective" [] key="ProcedureCode662478499367" -> "CompleteItemInspection"]

Exact module download · Source bundle and reproduction instructions

ItemInspectionOracleMaxMidUses11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOracleMaxMidUses11 == 1

Exact module download · Source bundle and reproduction instructions

ItemInspectionOracleMidPlayers11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOracleMidPlayers11 == {"SideB"}

Exact module download · Source bundle and reproduction instructions

ItemInspectionOracleMidSteps11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOracleMidSteps11 == {"ProcedureCode1dd0e8f05be2"}

Exact module download · Source bundle and reproduction instructions

ItemInspectionOraclePaidSteps11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOraclePaidSteps11 == {}

Exact module download · Source bundle and reproduction instructions

ItemInspectionOracleSHA11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOracleSHA11 == "99124382cbc43dc1e015cda39e0b9a46b4663170f574989f44d119dac33196f0"

Exact module download · Source bundle and reproduction instructions

ItemInspectionOracleStepSet11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOracleStepSet11 == {"ProcedureCodefd91bef8bbd3","ProcedureCode1dd0e8f05be2","ProcedureCode546db7cc4546","ProcedureCode662478499367"}

Exact module download · Source bundle and reproduction instructions

ItemInspectionOracleSteps11 · operator

reference-profile · input revision 2 · CC0 1.0

ItemInspectionOracleSteps11 == <<"ProcedureCodefd91bef8bbd3","ProcedureCode1dd0e8f05be2","ProcedureCode546db7cc4546","ProcedureCode662478499367">>

Exact module download · Source bundle and reproduction instructions

SideAOracleDefaultAllotment11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleDefaultAllotment11 == 3

Exact module download · Source bundle and reproduction instructions

SideAOracleEdges11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleEdges11 == {[before |-> "ProcedureCode3557d050aec7",after |-> "ProcedureCode36065334a34a",decision |-> "NoValue"],[before |-> "ProcedureCode36065334a34a",after |-> "ProcedureCode599a3c2d7264",decision |-> "NoValue"],[before |-> "ProcedureCode599a3c2d7264",after |-> "ProcedureCode824821d07be7",decision |-> "NoValue"],[before |-> "ProcedureCode824821d07be7",after |-> "ProcedureCode59141ee1a13b",decision |-> "NoValue"],[before |-> "ProcedureCode59141ee1a13b",after |-> "ProcedureCodedab8b83ddbcc",decision |-> "NoValue"],[before |-> "ProcedureCodedab8b83ddbcc",after |-> "ProcedureCoded6fbcb09dd4f",decision |-> "NoValue"],[before |-> "ProcedureCoded6fbcb09dd4f",after |-> "ProcedureCode0e20572a4bab",decision |-> "NoValue"],[before |-> "ProcedureCode0e20572a4bab",after |-> "ProcedureCodeb6035cb98279",decision |-> "NeutralValue00001"],[before |-> "ProcedureCode0e20572a4bab",after |-> "ProcedureCode042aa78ff256",decision |-> "End"],[before |-> "ProcedureCodeb6035cb98279",after |-> "ProcedureCoded6fbcb09dd4f",decision |-> "NoValue"],[before |-> "ProcedureCode042aa78ff256",after |-> "ProcedureCode79efdf0ee977",decision |-> "NoValue"],[before |-> "ProcedureCode79efdf0ee977",after |-> "ProcedureCode93af477f9d95",decision |-> "NoValue"],[before |-> "ProcedureCode93af477f9d95",after |-> "ProcedureCode438597bede05",decision |-> "NoValue"],[before |-> "ProcedureCode438597bede05",after |-> "ProcedureCode4e363e6bb7cf",decision |-> "NoValue"],[before |-> "ProcedureCode4e363e6bb7cf",after |-> "ProcedureCodea107cee5c079",decision |-> "NoValue"],[before |-> "ProcedureCodea107cee5c079",after |-> "ProcedureCode72a65676fb11",decision |-> "NoValue"],[before |-> "ProcedureCode72a65676fb11",after |-> "HandoffToSideB",decision |-> "NoValue"]}

Exact module download · Source bundle and reproduction instructions

SideAOracleEntry11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleEntry11 == "ProcedureCode3557d050aec7"

Exact module download · Source bundle and reproduction instructions

SideAOracleFormalConditions11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleFormalConditions11 == [key \in {"ProcedureCode824821d07be7","ProcedureCode042aa78ff256","ProcedureCodea107cee5c079"} |-> CASE key="ProcedureCode824821d07be7" -> {"SideATurnBegins"} [] key="ProcedureCode042aa78ff256" -> {"SideAActionPhaseEnds"} [] key="ProcedureCodea107cee5c079" -> {"SideATurnEnds","SideADiscardPhaseEnds"}]

Exact module download · Source bundle and reproduction instructions

SideAOracleHidden11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleHidden11 == {"ProcedureCodedab8b83ddbcc","ProcedureCode79efdf0ee977"}

Exact module download · Source bundle and reproduction instructions

SideAOracleKinds11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleKinds11 == [key \in {"ProcedureCode3557d050aec7","ProcedureCode36065334a34a","ProcedureCode599a3c2d7264","ProcedureCode824821d07be7","ProcedureCode59141ee1a13b","ProcedureCoded6fbcb09dd4f","ProcedureCode0e20572a4bab","ProcedureCodeb6035cb98279","ProcedureCode042aa78ff256","ProcedureCode93af477f9d95","ProcedureCode438597bede05","ProcedureCode4e363e6bb7cf","ProcedureCodea107cee5c079","ProcedureCode72a65676fb11","ProcedureCodedab8b83ddbcc","ProcedureCode79efdf0ee977"} |-> CASE key="ProcedureCode3557d050aec7" -> "AllotActionPoints" [] key="ProcedureCode36065334a34a" -> "PaidWindow" [] key="ProcedureCode599a3c2d7264" -> "Refill" [] key="ProcedureCode824821d07be7" -> "TurnBegins" [] key="ProcedureCode59141ee1a13b" -> "MandatoryDraw" [] key="ProcedureCoded6fbcb09dd4f" -> "PaidWindow" [] key="ProcedureCode0e20572a4bab" -> "NeutralValue00001" [] key="ProcedureCodeb6035cb98279" -> "Loop" [] key="ProcedureCode042aa78ff256" -> "ActionPhaseEnds" [] key="ProcedureCode93af477f9d95" -> "DiscardStep" [] key="ProcedureCode438597bede05" -> "PaidWindow" [] key="ProcedureCode4e363e6bb7cf" -> "LoseUnspentActionPoints" [] key="ProcedureCodea107cee5c079" -> "TurnEnds" [] key="ProcedureCode72a65676fb11" -> "Handoff" [] key="ProcedureCodedab8b83ddbcc" -> "PhaseComplete" [] key="ProcedureCode79efdf0ee977" -> "PhaseComplete"]

Exact module download · Source bundle and reproduction instructions

SideAOraclePhases11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOraclePhases11 == [key \in {"ProcedureCode3557d050aec7","ProcedureCode36065334a34a","ProcedureCode599a3c2d7264","ProcedureCode824821d07be7","ProcedureCode59141ee1a13b","ProcedureCoded6fbcb09dd4f","ProcedureCode0e20572a4bab","ProcedureCodeb6035cb98279","ProcedureCode042aa78ff256","ProcedureCode93af477f9d95","ProcedureCode438597bede05","ProcedureCode4e363e6bb7cf","ProcedureCodea107cee5c079","ProcedureCode72a65676fb11","ProcedureCodedab8b83ddbcc","ProcedureCode79efdf0ee977"} |-> CASE key="ProcedureCode3557d050aec7" -> "Draw" [] key="ProcedureCode36065334a34a" -> "Draw" [] key="ProcedureCode599a3c2d7264" -> "Draw" [] key="ProcedureCode824821d07be7" -> "Draw" [] key="ProcedureCode59141ee1a13b" -> "Draw" [] key="ProcedureCoded6fbcb09dd4f" -> "NeutralValue00001" [] key="ProcedureCode0e20572a4bab" -> "NeutralValue00001" [] key="ProcedureCodeb6035cb98279" -> "NeutralValue00001" [] key="ProcedureCode042aa78ff256" -> "NeutralValue00001" [] key="ProcedureCode93af477f9d95" -> "Discard" [] key="ProcedureCode438597bede05" -> "Discard" [] key="ProcedureCode4e363e6bb7cf" -> "Discard" [] key="ProcedureCodea107cee5c079" -> "Discard" [] key="ProcedureCode72a65676fb11" -> "Discard" [] key="ProcedureCodedab8b83ddbcc" -> "Draw" [] key="ProcedureCode79efdf0ee977" -> "NeutralValue00001"]

Exact module download · Source bundle and reproduction instructions

SideAOracleSHA11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleSHA11 == "4dffc6f7a63b7234c883af5db32fb5e0ac0dbc9e4af8d8ab18948be34b89c5c0"

Exact module download · Source bundle and reproduction instructions

SideAOracleStepSet11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleStepSet11 == {"ProcedureCode3557d050aec7","ProcedureCode36065334a34a","ProcedureCode599a3c2d7264","ProcedureCode824821d07be7","ProcedureCode59141ee1a13b","ProcedureCodedab8b83ddbcc","ProcedureCoded6fbcb09dd4f","ProcedureCode0e20572a4bab","ProcedureCodeb6035cb98279","ProcedureCode042aa78ff256","ProcedureCode79efdf0ee977","ProcedureCode93af477f9d95","ProcedureCode438597bede05","ProcedureCode4e363e6bb7cf","ProcedureCodea107cee5c079","ProcedureCode72a65676fb11"}

Exact module download · Source bundle and reproduction instructions

SideAOracleSteps11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleSteps11 == <<"ProcedureCode3557d050aec7","ProcedureCode36065334a34a","ProcedureCode599a3c2d7264","ProcedureCode824821d07be7","ProcedureCode59141ee1a13b","ProcedureCodedab8b83ddbcc","ProcedureCoded6fbcb09dd4f","ProcedureCode0e20572a4bab","ProcedureCodeb6035cb98279","ProcedureCode042aa78ff256","ProcedureCode79efdf0ee977","ProcedureCode93af477f9d95","ProcedureCode438597bede05","ProcedureCode4e363e6bb7cf","ProcedureCodea107cee5c079","ProcedureCode72a65676fb11">>

Exact module download · Source bundle and reproduction instructions

SideAOracleVisible11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleVisible11 == [key \in {"ProcedureCode3557d050aec7","ProcedureCode36065334a34a","ProcedureCode599a3c2d7264","ProcedureCode824821d07be7","ProcedureCode59141ee1a13b","ProcedureCodedab8b83ddbcc","ProcedureCoded6fbcb09dd4f","ProcedureCode0e20572a4bab","ProcedureCodeb6035cb98279","ProcedureCode042aa78ff256","ProcedureCode79efdf0ee977","ProcedureCode93af477f9d95","ProcedureCode438597bede05","ProcedureCode4e363e6bb7cf","ProcedureCodea107cee5c079","ProcedureCode72a65676fb11"} |-> CASE key="ProcedureCode3557d050aec7" -> "ProcedureCodeff1e0990492d" [] key="ProcedureCode36065334a34a" -> "ProcedureCode90b6ad8029ae" [] key="ProcedureCode599a3c2d7264" -> "ProcedureCode0e9bcffb309b" [] key="ProcedureCode824821d07be7" -> "ProcedureCode3e1a7b34ac07" [] key="ProcedureCode59141ee1a13b" -> "ProcedureCodefd809276d53b" [] key="ProcedureCodedab8b83ddbcc" -> "Hidden" [] key="ProcedureCoded6fbcb09dd4f" -> "ProcedureCodea8d255c3d31b" [] key="ProcedureCode0e20572a4bab" -> "ProcedureCode93faa6387f58" [] key="ProcedureCodeb6035cb98279" -> "ProcedureCode1644d39e61c4" [] key="ProcedureCode042aa78ff256" -> "ProcedureCode3afb356a2b9f" [] key="ProcedureCode79efdf0ee977" -> "Hidden" [] key="ProcedureCode93af477f9d95" -> "ProcedureCode2de9f41a4eab" [] key="ProcedureCode438597bede05" -> "ProcedureCode078e7fe03133" [] key="ProcedureCode4e363e6bb7cf" -> "ProcedureCodecf8f4f1b0e17" [] key="ProcedureCodea107cee5c079" -> "ProcedureCode64426e2f70d2" [] key="ProcedureCode72a65676fb11" -> "ProcedureCode3e4c72d9b154"]

Exact module download · Source bundle and reproduction instructions

SideAOracleVisibleEdges11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleVisibleEdges11 == <<[before |-> "ProcedureCode3557d050aec7",after |-> "ProcedureCode36065334a34a",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode36065334a34a",after |-> "ProcedureCode599a3c2d7264",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode599a3c2d7264",after |-> "ProcedureCode824821d07be7",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode824821d07be7",after |-> "ProcedureCode59141ee1a13b",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode59141ee1a13b",after |-> "ProcedureCoded6fbcb09dd4f",via |-> <<"ProcedureCodedab8b83ddbcc">>,decision |-> "NoValue"],[before |-> "ProcedureCoded6fbcb09dd4f",after |-> "ProcedureCode0e20572a4bab",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCodeb6035cb98279",after |-> "ProcedureCoded6fbcb09dd4f",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode042aa78ff256",after |-> "ProcedureCode93af477f9d95",via |-> <<"ProcedureCode79efdf0ee977">>,decision |-> "NoValue"],[before |-> "ProcedureCode93af477f9d95",after |-> "ProcedureCode438597bede05",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode438597bede05",after |-> "ProcedureCode4e363e6bb7cf",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode4e363e6bb7cf",after |-> "ProcedureCodea107cee5c079",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCodea107cee5c079",after |-> "ProcedureCode72a65676fb11",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode0e20572a4bab",after |-> "ProcedureCodeb6035cb98279",via |-> <<>>,decision |-> "NeutralValue00001"],[before |-> "ProcedureCode0e20572a4bab",after |-> "ProcedureCode042aa78ff256",via |-> <<>>,decision |-> "End"],[before |-> "ProcedureCode72a65676fb11",after |-> "HandoffToSideB",via |-> <<>>,decision |-> "NoValue"]>>

Exact module download · Source bundle and reproduction instructions

SideAOracleWindowOptions11 · operator

reference-profile · input revision 2 · CC0 1.0

SideAOracleWindowOptions11 == [key \in {"ProcedureCode36065334a34a","ProcedureCoded6fbcb09dd4f","ProcedureCode438597bede05"} |-> CASE key="ProcedureCode36065334a34a" -> {"PaidAbility","Activation","ObjectiveCompletion"} [] key="ProcedureCoded6fbcb09dd4f" -> {"PaidAbility","Activation","ObjectiveCompletion"} [] key="ProcedureCode438597bede05" -> {"PaidAbility","Activation"}]

Exact module download · Source bundle and reproduction instructions

SideBOracleDefaultAllotment11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleDefaultAllotment11 == 4

Exact module download · Source bundle and reproduction instructions

SideBOracleEdges11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleEdges11 == {[before |-> "ProcedureCode81ed7b3ac00d",after |-> "ProcedureCodef53fc09e15ad",decision |-> "NoValue"],[before |-> "ProcedureCodef53fc09e15ad",after |-> "ProcedureCoded05d55b14bf9",decision |-> "NoValue"],[before |-> "ProcedureCoded05d55b14bf9",after |-> "ProcedureCodebb587f61a951",decision |-> "NoValue"],[before |-> "ProcedureCodebb587f61a951",after |-> "ProcedureCode484be3e50aa9",decision |-> "NoValue"],[before |-> "ProcedureCode484be3e50aa9",after |-> "ProcedureCode989abc27e0c6",decision |-> "NoValue"],[before |-> "ProcedureCode593c4a6fb4f5",after |-> "ProcedureCode13c5f7239eb2",decision |-> "NoValue"],[before |-> "ProcedureCode13c5f7239eb2",after |-> "ProcedureCodede325c329e93",decision |-> "NoValue"],[before |-> "ProcedureCodede325c329e93",after |-> "ProcedureCode8f113080e47f",decision |-> "NoValue"],[before |-> "ProcedureCode8f113080e47f",after |-> "ProcedureCode49c3ccade13b",decision |-> "NoValue"],[before |-> "ProcedureCodea439ce381bba",after |-> "ProcedureCode484be3e50aa9",decision |-> "NoValue"],[before |-> "ProcedureCodeb6952d25a4da",after |-> "ProcedureCoded3bf6d016bb1",decision |-> "NoValue"],[before |-> "ProcedureCoded3bf6d016bb1",after |-> "ProcedureCode593c4a6fb4f5",decision |-> "NoValue"],[before |-> "ProcedureCode989abc27e0c6",after |-> "ProcedureCodea439ce381bba",decision |-> "NeutralValue00001"],[before |-> "ProcedureCode989abc27e0c6",after |-> "ProcedureCodeb6952d25a4da",decision |-> "End"],[before |-> "ProcedureCode49c3ccade13b",after |-> "HandoffToSideA",decision |-> "NoValue"]}

Exact module download · Source bundle and reproduction instructions

SideBOracleEntry11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleEntry11 == "ProcedureCode81ed7b3ac00d"

Exact module download · Source bundle and reproduction instructions

SideBOracleFormalConditions11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleFormalConditions11 == [key \in {"ProcedureCodebb587f61a951","ProcedureCodeb6952d25a4da","ProcedureCode8f113080e47f"} |-> CASE key="ProcedureCodebb587f61a951" -> {"SideBTurnBegins"} [] key="ProcedureCodeb6952d25a4da" -> {"SideBActionPhaseEnds"} [] key="ProcedureCode8f113080e47f" -> {"SideBTurnEnds","SideBDiscardPhaseEnds"}]

Exact module download · Source bundle and reproduction instructions

SideBOracleHidden11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleHidden11 == {"ProcedureCoded3bf6d016bb1"}

Exact module download · Source bundle and reproduction instructions

SideBOracleKinds11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleKinds11 == [key \in {"ProcedureCode81ed7b3ac00d","ProcedureCodef53fc09e15ad","ProcedureCoded05d55b14bf9","ProcedureCodebb587f61a951","ProcedureCode484be3e50aa9","ProcedureCode989abc27e0c6","ProcedureCodea439ce381bba","ProcedureCodeb6952d25a4da","ProcedureCode593c4a6fb4f5","ProcedureCode13c5f7239eb2","ProcedureCodede325c329e93","ProcedureCode8f113080e47f","ProcedureCode49c3ccade13b","ProcedureCoded3bf6d016bb1"} |-> CASE key="ProcedureCode81ed7b3ac00d" -> "AllotActionPoints" [] key="ProcedureCodef53fc09e15ad" -> "PaidWindow" [] key="ProcedureCoded05d55b14bf9" -> "Refill" [] key="ProcedureCodebb587f61a951" -> "TurnBegins" [] key="ProcedureCode484be3e50aa9" -> "PaidWindow" [] key="ProcedureCode989abc27e0c6" -> "NeutralValue00001" [] key="ProcedureCodea439ce381bba" -> "Loop" [] key="ProcedureCodeb6952d25a4da" -> "ActionPhaseEnds" [] key="ProcedureCode593c4a6fb4f5" -> "DiscardStep" [] key="ProcedureCode13c5f7239eb2" -> "PaidWindow" [] key="ProcedureCodede325c329e93" -> "LoseUnspentActionPoints" [] key="ProcedureCode8f113080e47f" -> "TurnEnds" [] key="ProcedureCode49c3ccade13b" -> "Handoff" [] key="ProcedureCoded3bf6d016bb1" -> "PhaseComplete"]

Exact module download · Source bundle and reproduction instructions

SideBOraclePhases11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOraclePhases11 == [key \in {"ProcedureCode81ed7b3ac00d","ProcedureCodef53fc09e15ad","ProcedureCoded05d55b14bf9","ProcedureCodebb587f61a951","ProcedureCode484be3e50aa9","ProcedureCode989abc27e0c6","ProcedureCodea439ce381bba","ProcedureCodeb6952d25a4da","ProcedureCode593c4a6fb4f5","ProcedureCode13c5f7239eb2","ProcedureCodede325c329e93","ProcedureCode8f113080e47f","ProcedureCode49c3ccade13b","ProcedureCoded3bf6d016bb1"} |-> CASE key="ProcedureCode81ed7b3ac00d" -> "NeutralValue00001" [] key="ProcedureCodef53fc09e15ad" -> "NeutralValue00001" [] key="ProcedureCoded05d55b14bf9" -> "NeutralValue00001" [] key="ProcedureCodebb587f61a951" -> "NeutralValue00001" [] key="ProcedureCode484be3e50aa9" -> "NeutralValue00001" [] key="ProcedureCode989abc27e0c6" -> "NeutralValue00001" [] key="ProcedureCodea439ce381bba" -> "NeutralValue00001" [] key="ProcedureCodeb6952d25a4da" -> "NeutralValue00001" [] key="ProcedureCode593c4a6fb4f5" -> "Discard" [] key="ProcedureCode13c5f7239eb2" -> "Discard" [] key="ProcedureCodede325c329e93" -> "Discard" [] key="ProcedureCode8f113080e47f" -> "Discard" [] key="ProcedureCode49c3ccade13b" -> "Discard" [] key="ProcedureCoded3bf6d016bb1" -> "NeutralValue00001"]

Exact module download · Source bundle and reproduction instructions

SideBOracleSHA11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleSHA11 == "539833b61448d4ec1cf003794af9c3ba0b3ba700c4c04a6a5809d6a72b69c128"

Exact module download · Source bundle and reproduction instructions

SideBOracleStepSet11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleStepSet11 == {"ProcedureCode81ed7b3ac00d","ProcedureCodef53fc09e15ad","ProcedureCoded05d55b14bf9","ProcedureCodebb587f61a951","ProcedureCode484be3e50aa9","ProcedureCode989abc27e0c6","ProcedureCodea439ce381bba","ProcedureCodeb6952d25a4da","ProcedureCoded3bf6d016bb1","ProcedureCode593c4a6fb4f5","ProcedureCode13c5f7239eb2","ProcedureCodede325c329e93","ProcedureCode8f113080e47f","ProcedureCode49c3ccade13b"}

Exact module download · Source bundle and reproduction instructions

SideBOracleSteps11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleSteps11 == <<"ProcedureCode81ed7b3ac00d","ProcedureCodef53fc09e15ad","ProcedureCoded05d55b14bf9","ProcedureCodebb587f61a951","ProcedureCode484be3e50aa9","ProcedureCode989abc27e0c6","ProcedureCodea439ce381bba","ProcedureCodeb6952d25a4da","ProcedureCoded3bf6d016bb1","ProcedureCode593c4a6fb4f5","ProcedureCode13c5f7239eb2","ProcedureCodede325c329e93","ProcedureCode8f113080e47f","ProcedureCode49c3ccade13b">>

Exact module download · Source bundle and reproduction instructions

SideBOracleVisible11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleVisible11 == [key \in {"ProcedureCode81ed7b3ac00d","ProcedureCodef53fc09e15ad","ProcedureCoded05d55b14bf9","ProcedureCodebb587f61a951","ProcedureCode484be3e50aa9","ProcedureCode989abc27e0c6","ProcedureCodea439ce381bba","ProcedureCodeb6952d25a4da","ProcedureCoded3bf6d016bb1","ProcedureCode593c4a6fb4f5","ProcedureCode13c5f7239eb2","ProcedureCodede325c329e93","ProcedureCode8f113080e47f","ProcedureCode49c3ccade13b"} |-> CASE key="ProcedureCode81ed7b3ac00d" -> "ProcedureCodeee27ca2a7851" [] key="ProcedureCodef53fc09e15ad" -> "ProcedureCodea156bef21f7a" [] key="ProcedureCoded05d55b14bf9" -> "ProcedureCodefac3d3b8276d" [] key="ProcedureCodebb587f61a951" -> "ProcedureCode2ff1a3a9a1ca" [] key="ProcedureCode484be3e50aa9" -> "ProcedureCode4f18e257f95d" [] key="ProcedureCode989abc27e0c6" -> "ProcedureCodeedc4dd74a3d5" [] key="ProcedureCodea439ce381bba" -> "ProcedureCode0f2147529655" [] key="ProcedureCodeb6952d25a4da" -> "ProcedureCode360e93d5f99b" [] key="ProcedureCoded3bf6d016bb1" -> "Hidden" [] key="ProcedureCode593c4a6fb4f5" -> "ProcedureCode5493d8f29679" [] key="ProcedureCode13c5f7239eb2" -> "ProcedureCodec8b34947e6a4" [] key="ProcedureCodede325c329e93" -> "ProcedureCodecd915bfaf472" [] key="ProcedureCode8f113080e47f" -> "ProcedureCodef919777c4648" [] key="ProcedureCode49c3ccade13b" -> "ProcedureCode29d8b155ecb6"]

Exact module download · Source bundle and reproduction instructions

SideBOracleVisibleEdges11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleVisibleEdges11 == <<[before |-> "ProcedureCode81ed7b3ac00d",after |-> "ProcedureCodef53fc09e15ad",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCodef53fc09e15ad",after |-> "ProcedureCoded05d55b14bf9",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCoded05d55b14bf9",after |-> "ProcedureCodebb587f61a951",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCodebb587f61a951",after |-> "ProcedureCode484be3e50aa9",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode484be3e50aa9",after |-> "ProcedureCode989abc27e0c6",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode593c4a6fb4f5",after |-> "ProcedureCode13c5f7239eb2",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode13c5f7239eb2",after |-> "ProcedureCodede325c329e93",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCodede325c329e93",after |-> "ProcedureCode8f113080e47f",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCode8f113080e47f",after |-> "ProcedureCode49c3ccade13b",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCodea439ce381bba",after |-> "ProcedureCode484be3e50aa9",via |-> <<>>,decision |-> "NoValue"],[before |-> "ProcedureCodeb6952d25a4da",after |-> "ProcedureCode593c4a6fb4f5",via |-> <<"ProcedureCoded3bf6d016bb1">>,decision |-> "NoValue"],[before |-> "ProcedureCode989abc27e0c6",after |-> "ProcedureCodea439ce381bba",via |-> <<>>,decision |-> "NeutralValue00001"],[before |-> "ProcedureCode989abc27e0c6",after |-> "ProcedureCodeb6952d25a4da",via |-> <<>>,decision |-> "End"],[before |-> "ProcedureCode49c3ccade13b",after |-> "HandoffToSideA",via |-> <<>>,decision |-> "NoValue"]>>

Exact module download · Source bundle and reproduction instructions

SideBOracleWindowOptions11 · operator

reference-profile · input revision 2 · CC0 1.0

SideBOracleWindowOptions11 == [key \in {"ProcedureCodef53fc09e15ad","ProcedureCode484be3e50aa9","ProcedureCode13c5f7239eb2"} |-> CASE key="ProcedureCodef53fc09e15ad" -> {"PaidAbility","Activation"} [] key="ProcedureCode484be3e50aa9" -> {"PaidAbility","Activation"} [] key="ProcedureCode13c5f7239eb2" -> {"PaidAbility","Activation"}]

Exact module download · Source bundle and reproduction instructions

TraversalOracleEdges11 · operator

reference-profile · input revision 2 · CC0 1.0

TraversalOracleEdges11 == {[before |-> "ProcedureCode12371046a2e5",after |-> "ProcedureCodeacc82dbcc545",decision |-> "Next"],[before |-> "ProcedureCodeacc82dbcc545",after |-> "ProcedureCode4d6bd06d2c9f",decision |-> "Next"],[before |-> "ProcedureCode4d6bd06d2c9f",after |-> "ProcedureCode347de0bdd6b4",decision |-> "Next"],[before |-> "ProcedureCode347de0bdd6b4",after |-> "ProcedureCode71e36c9e8e04",decision |-> "Next"],[before |-> "ProcedureCode71e36c9e8e04",after |-> "ProcedureCode7e3f7e5033c8",decision |-> "Next"],[before |-> "ProcedureCode7e3f7e5033c8",after |-> "ProcedureCode453e949a114f",decision |-> "Barrier"],[before |-> "ProcedureCode7e3f7e5033c8",after |-> "ProcedureCode714dfe070fed",decision |-> "NoBarrier"],[before |-> "ProcedureCode453e949a114f",after |-> "ProcedureCode3a6daf593ad4",decision |-> "Next"],[before |-> "ProcedureCode3a6daf593ad4",after |-> "ProcedureCode4d474d346807",decision |-> "Next"],[before |-> "ProcedureCode4d474d346807",after |-> "ProcedureCodeda7bff1d9270",decision |-> "ItemActivated"],[before |-> "ProcedureCode4d474d346807",after |-> "ProcedureCode714dfe070fed",decision |-> "NoEncounter"],[before |-> "ProcedureCodeda7bff1d9270",after |-> "ProcedureCode8b3260c0010f",decision |-> "Next"],[before |-> "ProcedureCode8b3260c0010f",after |-> "ProcedureCodef1914978bb8e",decision |-> "Next"],[before |-> "ProcedureCodef1914978bb8e",after |-> "ProcedureCodeaa0828fbf852",decision |-> "BarrierInstruction"],[before |-> "ProcedureCodef1914978bb8e",after |-> "ProcedureCode687f72772ab1",decision |-> "NoBarrierInstruction"],[before |-> "ProcedureCodeaa0828fbf852",after |-> "ProcedureCodef1914978bb8e",decision |-> "Next"],[before |-> "ProcedureCode687f72772ab1",after |-> "ProcedureCode714dfe070fed",decision |-> "Next"],[before |-> "ProcedureCode714dfe070fed",after |-> "ProcedureCode4f60245a1dde",decision |-> "Next"],[before |-> "ProcedureCode4f60245a1dde",after |-> "ProcedureCode9bca3a096549",decision |-> "Next"],[before |-> "ProcedureCode9bca3a096549",after |-> "ProcedureCode6ea937bb44ac",decision |-> "WithdrawTraversal"],[before |-> "ProcedureCode9bca3a096549",after |-> "ProcedureCoded4ddeafb5f2f",decision |-> "Continue"],[before |-> "ProcedureCoded4ddeafb5f2f",after |-> "ProcedureCode2cd618a9e624",decision |-> "Next"],[before |-> "ProcedureCode2cd618a9e624",after |-> "ProcedureCode6c5d14f545f7",decision |-> "Next"],[before |-> "ProcedureCode6c5d14f545f7",after |-> "ProcedureCode453e949a114f",decision |-> "NewPosition"],[before |-> "ProcedureCode6c5d14f545f7",after |-> "ProcedureCode7e82ab2b38b7",decision |-> "NoPosition"],[before |-> "ProcedureCode7e82ab2b38b7",after |-> "ProcedureCodea732fbc12ae0",decision |-> "Next"],[before |-> "ProcedureCodea732fbc12ae0",after |-> "ProcedureCodebbb14496b09b",decision |-> "Next"],[before |-> "ProcedureCodebbb14496b09b",after |-> "ProcedureCoded75d879e00ff",decision |-> "Next"],[before |-> "ProcedureCoded75d879e00ff",after |-> "ProcedureCodec7b41615d673",decision |-> "Next"],[before |-> "ProcedureCodec7b41615d673",after |-> "ProcedureCode6ea937bb44ac",decision |-> "Next"],[before |-> "ProcedureCode6ea937bb44ac",after |-> "ProcedureCode84dea7dc8ecc",decision |-> "Next"],[before |-> "ProcedureCode84dea7dc8ecc",after |-> "ProcedureCode5e397645e65c",decision |-> "Next"],[before |-> "ProcedureCode5e397645e65c",after |-> "ProcedureCode9606a4cd52b4",decision |-> "Next"],[before |-> "ProcedureCode9606a4cd52b4",after |-> "ReturnToCaller",decision |-> "Next"]}

Exact module download · Source bundle and reproduction instructions

TraversalOracleEntry11 · operator

reference-profile · input revision 2 · CC0 1.0

TraversalOracleEntry11 == "ProcedureCode12371046a2e5"

Exact module download · Source bundle and reproduction instructions

TraversalOracleFormalConditions11 · operator

reference-profile · input revision 2 · CC0 1.0

TraversalOracleFormalConditions11 == [key \in {"ProcedureCode4d6bd06d2c9f","ProcedureCode453e949a114f","ProcedureCodeda7bff1d9270","ProcedureCode714dfe070fed","ProcedureCode7e82ab2b38b7","ProcedureCodebbb14496b09b","ProcedureCode5e397645e65c","ProcedureCode9606a4cd52b4"} |-> CASE key="ProcedureCode4d6bd06d2c9f" -> {"TraversalBegins","TraversalInitiated"} [] key="ProcedureCode453e949a114f" -> {"ApproachBarrierBegins"} [] key="ProcedureCodeda7bff1d9270" -> {"EncounterBarrierBegins"} [] key="ProcedureCode714dfe070fed" -> {"PassBarrier","PassAllProtectingBarrier"} [] key="ProcedureCode7e82ab2b38b7" -> {"ApproachTargetSite"} [] key="ProcedureCodebbb14496b09b" -> {"SuccessfulTraversal"} [] key="ProcedureCode5e397645e65c" -> {"UnsuccessfulTraversal"} [] key="ProcedureCode9606a4cd52b4" -> {"TraversalEnds"}]

Exact module download · Source bundle and reproduction instructions

TraversalOracleHidden11 · operator

reference-profile · input revision 2 · CC0 1.0

TraversalOracleHidden11 == {}

Exact module download · Source bundle and reproduction instructions

TraversalOracleKinds11 · operator

reference-profile · input revision 2 · CC0 1.0

TraversalOracleKinds11 == [key \in {"ProcedureCode12371046a2e5","ProcedureCodeacc82dbcc545","ProcedureCode4d6bd06d2c9f","ProcedureCode347de0bdd6b4","ProcedureCode71e36c9e8e04","ProcedureCode7e3f7e5033c8","ProcedureCode453e949a114f","ProcedureCode3a6daf593ad4","ProcedureCode4d474d346807","ProcedureCodeda7bff1d9270","ProcedureCode8b3260c0010f","ProcedureCodef1914978bb8e","ProcedureCodeaa0828fbf852","ProcedureCode687f72772ab1","ProcedureCode714dfe070fed","ProcedureCode4f60245a1dde","ProcedureCode9bca3a096549","ProcedureCoded4ddeafb5f2f","ProcedureCode2cd618a9e624","ProcedureCode6c5d14f545f7","ProcedureCode7e82ab2b38b7","ProcedureCodea732fbc12ae0","ProcedureCodebbb14496b09b","ProcedureCoded75d879e00ff","ProcedureCodec7b41615d673","ProcedureCode6ea937bb44ac","ProcedureCode84dea7dc8ecc","ProcedureCode5e397645e65c","ProcedureCode9606a4cd52b4"} |-> CASE key="ProcedureCode12371046a2e5" -> "AnnounceAndPay" [] key="ProcedureCodeacc82dbcc545" -> "LiabilityMarker" [] key="ProcedureCode4d6bd06d2c9f" -> "TraversalBegins" [] key="ProcedureCode347de0bdd6b4" -> "InitialPosition" [] key="ProcedureCode71e36c9e8e04" -> "PaidWindow" [] key="ProcedureCode7e3f7e5033c8" -> "CompletePhase" [] key="ProcedureCode453e949a114f" -> "ApproachBarrier" [] key="ProcedureCode3a6daf593ad4" -> "PaidWindow" [] key="ProcedureCode4d474d346807" -> "CompletePhase" [] key="ProcedureCodeda7bff1d9270" -> "EncounterBarrier" [] key="ProcedureCode8b3260c0010f" -> "PaidWindow" [] key="ProcedureCodef1914978bb8e" -> "NextBarrierInstruction" [] key="ProcedureCodeaa0828fbf852" -> "BarrierInstructionLoop" [] key="ProcedureCode687f72772ab1" -> "CompletePhase" [] key="ProcedureCode714dfe070fed" -> "PassBarrier" [] key="ProcedureCode4f60245a1dde" -> "PaidWindow" [] key="ProcedureCode9bca3a096549" -> "WithdrawTraversalDecision" [] key="ProcedureCoded4ddeafb5f2f" -> "AdvancePosition" [] key="ProcedureCode2cd618a9e624" -> "PaidWindow" [] key="ProcedureCode6c5d14f545f7" -> "MovementBranch" [] key="ProcedureCode7e82ab2b38b7" -> "ApproachTargetSite" [] key="ProcedureCodea732fbc12ae0" -> "CompletePhase" [] key="ProcedureCodebbb14496b09b" -> "DeclareSuccessful" [] key="ProcedureCoded75d879e00ff" -> "RulesInspection" [] key="ProcedureCodec7b41615d673" -> "CompletePhase" [] key="ProcedureCode6ea937bb44ac" -> "EndWindows" [] key="ProcedureCode84dea7dc8ecc" -> "ReturnLiabilityMarker" [] key="ProcedureCode5e397645e65c" -> "DeclareUnsuccessful" [] key="ProcedureCode9606a4cd52b4" -> "CompleteTraversal"]

Exact module download · Source bundle and reproduction instructions

TraversalOraclePhases11 · operator

reference-profile · input revision 2 · CC0 1.0

TraversalOraclePhases11 == [key \in {"ProcedureCode12371046a2e5","ProcedureCodeacc82dbcc545","ProcedureCode4d6bd06d2c9f","ProcedureCode347de0bdd6b4","ProcedureCode71e36c9e8e04","ProcedureCode7e3f7e5033c8","ProcedureCode453e949a114f","ProcedureCode3a6daf593ad4","ProcedureCode4d474d346807","ProcedureCodeda7bff1d9270","ProcedureCode8b3260c0010f","ProcedureCodef1914978bb8e","ProcedureCodeaa0828fbf852","ProcedureCode687f72772ab1","ProcedureCode714dfe070fed","ProcedureCode4f60245a1dde","ProcedureCode9bca3a096549","ProcedureCoded4ddeafb5f2f","ProcedureCode2cd618a9e624","ProcedureCode6c5d14f545f7","ProcedureCode7e82ab2b38b7","ProcedureCodea732fbc12ae0","ProcedureCodebbb14496b09b","ProcedureCoded75d879e00ff","ProcedureCodec7b41615d673","ProcedureCode6ea937bb44ac","ProcedureCode84dea7dc8ecc","ProcedureCode5e397645e65c","ProcedureCode9606a4cd52b4"} |-> CASE key="ProcedureCode12371046a2e5" -> "Initiation" [] key="ProcedureCodeacc82dbcc545" -> "Initiation" [] key="ProcedureCode4d6bd06d2c9f" -> "Initiation" [] key="ProcedureCode347de0bdd6b4" -> "Initiation" [] key="ProcedureCode71e36c9e8e04" -> "Initiation" [] key="ProcedureCode7e3f7e5033c8" -> "Initiation" [] key="ProcedureCode453e949a114f" -> "Approach" [] key="ProcedureCode3a6daf593ad4" -> "Approach" [] key="ProcedureCode4d474d346807" -> "Approach" [] key="ProcedureCodeda7bff1d9270" -> "Encounter" [] key="ProcedureCode8b3260c0010f" -> "Encounter" [] key="ProcedureCodef1914978bb8e" -> "Encounter" [] key="ProcedureCodeaa0828fbf852" -> "Encounter" [] key="ProcedureCode687f72772ab1" -> "Encounter" [] key="ProcedureCode714dfe070fed" -> "Movement" [] key="ProcedureCode4f60245a1dde" -> "Movement" [] key="ProcedureCode9bca3a096549" -> "Movement" [] key="ProcedureCoded4ddeafb5f2f" -> "Movement" [] key="ProcedureCode2cd618a9e624" -> "Movement" [] key="ProcedureCode6c5d14f545f7" -> "Movement" [] key="ProcedureCode7e82ab2b38b7" -> "Movement" [] key="ProcedureCodea732fbc12ae0" -> "Movement" [] key="ProcedureCodebbb14496b09b" -> "Success" [] key="ProcedureCoded75d879e00ff" -> "Success" [] key="ProcedureCodec7b41615d673" -> "Success" [] key="ProcedureCode6ea937bb44ac" -> "TraversalEnds" [] key="ProcedureCode84dea7dc8ecc" -> "TraversalEnds" [] key="ProcedureCode5e397645e65c" -> "TraversalEnds" [] key="ProcedureCode9606a4cd52b4" -> "TraversalEnds"]

Exact module download · Source bundle and reproduction instructions

TraversalOracleSHA11 · operator

reference-profile · input revision 2 · CC0 1.0

TraversalOracleSHA11 == "e33deb6bf5a92178d62ba49ab51f5e867bd254a96cdc6e4d9ae50668da904031"

Exact module download · Source bundle and reproduction instructions

TraversalOracleStepSet11 · operator

reference-profile · input revision 2 · CC0 1.0

TraversalOracleStepSet11 == {"ProcedureCode12371046a2e5","ProcedureCodeacc82dbcc545","ProcedureCode4d6bd06d2c9f","ProcedureCode347de0bdd6b4","ProcedureCode71e36c9e8e04","ProcedureCode7e3f7e5033c8","ProcedureCode453e949a114f","ProcedureCode3a6daf593ad4","ProcedureCode4d474d346807","ProcedureCodeda7bff1d9270","ProcedureCode8b3260c0010f","ProcedureCodef1914978bb8e","ProcedureCodeaa0828fbf852","ProcedureCode687f72772ab1","ProcedureCode714dfe070fed","ProcedureCode4f60245a1dde","ProcedureCode9bca3a096549","ProcedureCoded4ddeafb5f2f","ProcedureCode2cd618a9e624","ProcedureCode6c5d14f545f7","ProcedureCode7e82ab2b38b7","ProcedureCodea732fbc12ae0","ProcedureCodebbb14496b09b","ProcedureCoded75d879e00ff","ProcedureCodec7b41615d673","ProcedureCode6ea937bb44ac","ProcedureCode84dea7dc8ecc","ProcedureCode5e397645e65c","ProcedureCode9606a4cd52b4"}

Exact module download · Source bundle and reproduction instructions

TraversalOracleSteps11 · operator

reference-profile · input revision 2 · CC0 1.0

TraversalOracleSteps11 == <<"ProcedureCode12371046a2e5","ProcedureCodeacc82dbcc545","ProcedureCode4d6bd06d2c9f","ProcedureCode347de0bdd6b4","ProcedureCode71e36c9e8e04","ProcedureCode7e3f7e5033c8","ProcedureCode453e949a114f","ProcedureCode3a6daf593ad4","ProcedureCode4d474d346807","ProcedureCodeda7bff1d9270","ProcedureCode8b3260c0010f","ProcedureCodef1914978bb8e","ProcedureCodeaa0828fbf852","ProcedureCode687f72772ab1","ProcedureCode714dfe070fed","ProcedureCode4f60245a1dde","ProcedureCode9bca3a096549","ProcedureCoded4ddeafb5f2f","ProcedureCode2cd618a9e624","ProcedureCode6c5d14f545f7","ProcedureCode7e82ab2b38b7","ProcedureCodea732fbc12ae0","ProcedureCodebbb14496b09b","ProcedureCoded75d879e00ff","ProcedureCodec7b41615d673","ProcedureCode6ea937bb44ac","ProcedureCode84dea7dc8ecc","ProcedureCode5e397645e65c","ProcedureCode9606a4cd52b4">>

Exact module download · Source bundle and reproduction instructions

TraversalOracleSuppressInstructionSteps11 · operator

reference-profile · input revision 2 · CC0 1.0

TraversalOracleSuppressInstructionSteps11 == {"ProcedureCode8b3260c0010f"}

Exact module download · Source bundle and reproduction instructions

TraversalOracleWindowOptions11 · operator

reference-profile · input revision 2 · CC0 1.0

TraversalOracleWindowOptions11 == [key \in {"ProcedureCode71e36c9e8e04","ProcedureCode3a6daf593ad4","ProcedureCode8b3260c0010f","ProcedureCode4f60245a1dde","ProcedureCode2cd618a9e624"} |-> CASE key="ProcedureCode71e36c9e8e04" -> [paid |-> TRUE,nonBarrierActivation |-> TRUE,approachedBarrierActivation |-> FALSE,score |-> FALSE] [] key="ProcedureCode3a6daf593ad4" -> [paid |-> TRUE,nonBarrierActivation |-> TRUE,approachedBarrierActivation |-> TRUE,score |-> FALSE] [] key="ProcedureCode8b3260c0010f" -> [paid |-> TRUE,nonBarrierActivation |-> FALSE,approachedBarrierActivation |-> FALSE,score |-> FALSE] [] key="ProcedureCode4f60245a1dde" -> [paid |-> TRUE,nonBarrierActivation |-> FALSE,approachedBarrierActivation |-> FALSE,score |-> FALSE] [] key="ProcedureCode2cd618a9e624" -> [paid |-> TRUE,nonBarrierActivation |-> TRUE,approachedBarrierActivation |-> FALSE,score |-> FALSE]]

Exact module download · Source bundle and reproduction instructions