(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Wolfram 15.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       154,          7]
NotebookDataLength[     68078,       1722]
NotebookOptionsPosition[     56183,       1508]
NotebookOutlinePosition[     58369,       1559]
CellTagsIndexPosition[     58291,       1554]
WindowTitle->ChainAddressCrossCheck
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {GridBox[{
      {
       ItemBox[Cell[BoxData[
         RowBox[{
          TemplateBox[{12},
           "Spacer1"], Cell[
          "WOLFRAM INSTITUTE/ PUZZLES SYMBOL", "PacletNameCell",
           TextAlignment->Center,ExpressionUUID->
           "26cd0ea3-3347-4e9f-af2b-6e7cf269a644"], 
          TemplateBox[{8},
           "Spacer1"]}]],
         TextAlignment->Center,ExpressionUUID->
         "33f91aec-f1fb-465d-9b82-8bb0551c7baa"],
        Background->LightDarkSwitched[
          RGBColor[0.490196, 0.576471, 0.690196]],
        ItemSize->Full], ""}
     },
     GridBoxAlignment->{"Rows" -> {{Center}}},
     GridBoxItemSize->{"Columns" -> {Full, 
         Scaled[0.02]}, "Rows" -> {{2.5}}}], Cell[TextData[{
     Cell[BoxData[
      TagBox[
       ActionMenuBox[
        FrameBox[Cell[TextData[{
          "See Also",
          " ",
          Cell[BoxData[
           GraphicsBox[
            {GrayLevel[0.66667], Thickness[0.13], 
             LineBox[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]},
            AspectRatio->1,
            ImageSize->20,
            PlotRange->{{-3, 4}, {-1, 1}}]],ExpressionUUID->
           "485c7e98-41db-41b3-82ec-45886e6247ef"]
         }],ExpressionUUID->"b847f71c-1a77-4eff-be9b-294bd3d03888"],
         StripOnInput->False],{
        StyleBox[
          "\"ChainPrizeUnclaimedQ\"", "SeeAlsoRelated", StripOnInput -> 
           False] :> Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/ref/ChainPrizeUnclaimedQ"], 
         StyleBox[
          "\"ChainAddressSummary\"", "SeeAlsoRelated", StripOnInput -> False] :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/ref/ChainAddressSummary"], 
         StyleBox[
          "\"ChainExplorerQuery\"", "SeeAlsoRelated", StripOnInput -> False] :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/ref/ChainExplorerQuery"], 
         StyleBox[
          "\"$ChainExplorers\"", "SeeAlsoRelated", StripOnInput -> False] :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/ref/$ChainExplorers"], 
         StyleBox[
          "\"ChainAddressBalance\"", "SeeAlsoRelated", StripOnInput -> False] :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/ref/ChainAddressBalance"]},
        Appearance->None,
        MenuAppearance->Automatic,
        MenuStyle->"SeeAlso"],
       MouseAppearanceTag["LinkHand"]]],
      LineSpacing->{1.4, 0},ExpressionUUID->
      "9a2c703a-0506-4cc2-907b-e3471f1762b7"],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      TagBox[
       ActionMenuBox[
        FrameBox[Cell[TextData[{
          "Related Guides",
          " ",
          Cell[BoxData[
           GraphicsBox[
            {GrayLevel[0.66667], Thickness[0.13], 
             LineBox[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]},
            AspectRatio->1,
            ImageSize->20,
            PlotRange->{{-3, 4}, {-1, 1}}]],ExpressionUUID->
           "eb17b4fe-418d-4850-b783-2f524c6eddae"]
         }],ExpressionUUID->"2c166881-0846-4c62-be1f-2452f1cb28dc"],
         StripOnInput->False],{
        "\"Chain\"" :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/guide/Chain"]},
        Appearance->None,
        MenuAppearance->Automatic,
        MenuStyle->"MoreAbout"],
       MouseAppearanceTag["LinkHand"]]],
      LineSpacing->{1.4, 0},ExpressionUUID->
      "6f67f29d-14a2-4c27-9e2c-f9b686bc3735"],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      TagBox[
       ActionMenuBox[
        FrameBox[Cell[TextData[{
          "URL",
          " ",
          Cell[BoxData[
           GraphicsBox[
            {GrayLevel[0.66667], Thickness[0.13], 
             LineBox[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]},
            AspectRatio->1,
            ImageSize->20,
            PlotRange->{{-3, 4}, {-1, 1}}]],ExpressionUUID->
           "a1cbd6dd-4552-475e-9fec-d762493e1676"]
         }],ExpressionUUID->"e0c823b9-50f4-4335-bac6-1a6258f235c8"],
         StripOnInput->False],{
        "\"WolframInstitute/Puzzles/ref/ChainAddressCrossCheck\"" :> None, 
         "\"Copy Wolfram Documentation Center URL\"" :> 
         CopyToClipboard[
          "WolframInstitute/Puzzles/ref/ChainAddressCrossCheck"], Delimiter, 
         "\"Copy web URL\"" :> 
         Module[{DocumentationSearch`Private`nb$}, 
           DocumentationSearch`Private`nb$ = 
            NotebookPut[
             Notebook[{
               Cell[BoxData[
                 MakeBoxes[
                  Hyperlink[
                   "http://reference.wolfram.com/language/WolframInstitute/\
Puzzles/ref/ChainAddressCrossCheck.html"], StandardForm]], "Input", 
                 TextClipboardType -> "PlainText"]}, Visible -> False]]; 
           SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
           FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
           NotebookClose[DocumentationSearch`Private`nb$]; Null], 
         "\"Go to web URL\"" :> 
         FrontEndExecute[{
           NotebookLocate[{
             URL[If[TrueQ[False], 
                 "http://reference.wolfram.com/system-modeler/", 
                 "http://reference.wolfram.com/language/"] <> 
               "WolframInstitute/Puzzles/ref/ChainAddressCrossCheck" <> 
               ".html"], None}]}]},
        Appearance->None,
        MenuAppearance->Automatic,
        MenuStyle->"URLMenu"],
       MouseAppearanceTag["LinkHand"]]],
      LineSpacing->{1.4, 0},ExpressionUUID->
      "86be3426-50f4-44d2-990f-c0536a408c1a"]
    }], "AnchorBar",
     CacheGraphics->False,ExpressionUUID->
     "089f4660-d75a-4823-b8ad-0cf68f15d902"]}
  }]], "AnchorBarGrid",
 CellID->1,ExpressionUUID->"7c0925a7-3997-47de-bfd0-d6acb0b1870d"],

Cell["WolframInstitute`Puzzles`", "ContextNameCell",ExpressionUUID->"8813b1ea-56ed-4cbe-82c1-ab418f24cd76"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {Cell[TextData[{
     Cell[
     "ChainAddressCrossCheck", "ObjectName",ExpressionUUID->
      "5a7afe83-9a6a-40a0-983f-094da405b4e0"],
     Cell[BoxData[
      TemplateBox[{8},
       "Spacer1"]],ExpressionUUID->"78eeb5c7-0ad6-46a5-b67d-c10854c22756"],
     Cell[BoxData[
     ""], "ObjectNameTranslation",ExpressionUUID->
      "e529bd39-fb64-4b95-825b-ae21dc7cd12d"]
    }],ExpressionUUID->"0d8c5dd5-1b06-4039-befd-b4247150821c"], 
    "\[SpanFromLeft]"}
  }]], "ObjectNameGrid",ExpressionUUID->"f5481ac3-f19a-4378-a078-\
691ae76345df"],

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{
       TemplateBox[{
         Cell[
          TextData["ChainAddressCrossCheck"]], 
         "paclet:WolframInstitute/Puzzles/ref/ChainAddressCrossCheck", 
         "WolframInstitute/Puzzles Package Symbol"},
        "PackageLink",
        BaseStyle->"InlineFormula"], "[", 
       StyleBox["address", "TI"], "]"}]], "InlineFormula",
      FontFamily->"Source Sans Pro",
      FontSize->0.9 Inherited,ExpressionUUID->
      "dfe199d6-a45d-4d72-8bac-1f2bb70eacf3"],
     "\[LineSeparator]",
     "queries every default backend for the network of ",
     StyleBox["address", "TI"],
     " and gives an Association of what each one said, together with the \
consensus verdicts computed from them."
    }],ExpressionUUID->"a7d63c88-2ad0-45fe-b756-72dab071686d"]}
  }]], "Usage",ExpressionUUID->"227215ba-6758-4be6-9179-c64a66f3280f"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[Cell[TextData[{
  Cell[BoxData[
   DynamicBox[ToBoxes[
     If[CurrentValue[
        EvaluationCell[], "CellGroupOpen"] =!= Closed, 
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], 
      Rotate[
       Style[
        Graphics[{
          Thickness[0.18], 
          RGBColor[0.8509803921568627, 0.396078431372549, 0], 
          Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
         PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
        0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]],
    ImageSizeCache->{
     13.600000000000001`, {-0.1685058593749993, 13.768505859375}}]],
   ExpressionUUID->"00f879d3-fdee-4940-ac9c-4eb51db2eaed"],
  Cell[BoxData[
   TemplateBox[{1},
    "Spacer1"]],ExpressionUUID->"4a88d9b2-08d4-45eb-baef-8c066d014bca"],
  "Details and Options"
 }], "NotesFrameText",ExpressionUUID->
  "416a19a5-3458-4be8-8d2f-10e565fd831b"]],ExpressionUUID->"7c1d4a13-a18d-\
411d-9789-1cc7611a6348"]], "NotesSection",
 ShowGroupOpener->"Thumbnail",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CacheGraphics->False,
 CellID->1398982111,ExpressionUUID->"bc5b9c70-4912-4ebd-9185-4ceac6de52cb"],

Cell[TextData[{
 "The result holds ",
 Cell[BoxData["\<\"Address\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "bc8e8739-bbe3-4e02-b638-70b29386ca1b"],
 ", ",
 Cell[BoxData["\<\"Network\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "05814320-8196-4a9f-928a-e4fea00354f5"],
 ", ",
 Cell[BoxData["\<\"Unit\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "0d777c90-6d1e-43b0-8401-8619bfd690ac"],
 ", the ",
 Cell[BoxData["\<\"Queried\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "e0949f5f-4e9b-4550-bf9a-88cca7a99b3d"],
 " and ",
 Cell[BoxData["\<\"Responded\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "20a62533-f4c0-4958-9ecd-13bf8f6c4efb"],
 " backends, the API ",
 Cell[BoxData["\<\"Families\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "ce4514d5-1eb5-4540-85a7-9036a635597c"],
 " that answered, the ",
 Cell[BoxData["\<\"Balances\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "35a16990-87de-479e-a31b-2c5f7e659459"],
 " each reported, whether those ",
 Cell[BoxData["\<\"BalancesAgree\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "38919ba5-3f77-43b0-b420-b8fa2d6bf179"],
 ", the verdicts ",
 Cell[BoxData["\<\"HasBalance\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "453950a7-c54a-47dc-b785-cf5f0c79199d"],
 " and ",
 Cell[BoxData["\<\"NeverSpent\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "6409cf3a-8ad9-4483-9765-1c8ac771b704"],
 ", the full per-backend ",
 Cell[BoxData["\<\"Summaries\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "5155b45f-c852-4981-8bb5-f594c80a7335"],
 " and ",
 Cell[BoxData["\<\"Failures\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "6442716d-13e9-4eb2-9fe3-539b1746fbcc"],
 ", and the time ",
 Cell[BoxData["\<\"Retrieved\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "fb988564-9286-4189-bb2a-b15717c910d9"],
 "."
}], "Notes",ExpressionUUID->"e0e4dc39-dd2c-4e37-bb62-74fba6ec05cf"],

Cell[TextData[{
 Cell[BoxData["\<\"HasBalance\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "a9da500f-e3b1-49a3-b3e6-b25e6f80e3b8"],
 " is the claim that the confirmed balance is strictly positive. ",
 Cell[BoxData["\<\"NeverSpent\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "62f8d480-8ab7-470d-b074-2612c378c1b5"],
 " is the claim that nothing has ever been paid out of the address."
}], "Notes",ExpressionUUID->"4c4a32ec-b63c-4cdf-8205-6678d65aad5e"],

Cell[TextData[{
 "A verdict is ",
 Cell[BoxData["True"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "7b6ee364-3f3a-4f26-ac07-67e695bc2d24"],
 " or ",
 Cell[BoxData["False"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "15e1d724-e1c3-4d7c-989a-5f140218448c"],
 " only when at least ",
 Cell[BoxData["\<\"MinimumBackends\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "1a0df8c6-d304-4a26-a870-1ad40879ac80"],
 " backends held an opinion and every one of them agreed. Conflicting \
opinions give ",
 Cell[BoxData[
  RowBox[{"Missing", "[", "\<\"Inconsistent\"\>", "]"}]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "43bd5b57-3154-4885-8815-56751d3a3484"],
 " and too few give ",
 Cell[BoxData[
  RowBox[{"Missing", "[", "\<\"InsufficientBackends\"\>", "]"}]], 
  "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "367f435b-19b6-48f7-9fbc-72c2fe122da1"],
 "."
}], "Notes",ExpressionUUID->"f2e7ecee-144a-404a-88d8-99d303aef8fb"],

Cell[TextData[{
 "A backend that failed holds no opinion and appears only under ",
 Cell[BoxData["\<\"Failures\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "e80c4443-d260-411a-8f18-f60963690eb3"],
 ". A backend that answered but does not report the quantity a verdict needs \
abstains from that verdict alone."
}], "Notes",ExpressionUUID->"2c8b1dc2-1ab3-488e-8c62-0f38a6edf362"],

Cell[TextData[{
 Cell[BoxData["\<\"NeverSpent\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "577fce96-7fc3-445d-bef0-eb6f3a61ac81"],
 " reads whichever spend evidence a backend reports: the Esplora spent-output \
total, the BlockCypher sent total, or on Ethereum the account nonce, which \
counts the transactions the private key has signed."
}], "Notes",ExpressionUUID->"b49ba305-c9b2-4315-a8c2-c7df9008ce8f"],

Cell[TextData[{
 Cell[BoxData["\<\"BalancesAgree\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "1cb06259-edd5-4994-8010-b9c8ce65eac6"],
 " is the separate, numeric question. It is often ",
 Cell[BoxData["False"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "aadbaf59-6220-4f97-9aec-0f320b3b4331"],
 " where the verdicts are unanimous, because indexers count differently: \
Bitcoin Core never adds the genesis coinbase output to its UTXO set, so \
Esplora reports about 50 BTC less received for the genesis address than \
BlockCypher does."
}], "Notes",ExpressionUUID->"870c3a6f-279b-4a9b-9f68-a3a03381e8f5"],

Cell[TextData[{
 Cell[BoxData["\<\"Families\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "a53fc8e4-18fe-40d6-857e-9684ce0cd031"],
 " distinguishes independent evidence from correlated evidence. Two backends \
running the same Esplora software are one family; agreement spanning two \
families is stronger."
}], "Notes",ExpressionUUID->"9b2c7578-90f6-4f80-b206-7233ba889707"],

Cell["\<\
Every amount is an Integer count of the network's base unit, satoshis or wei, \
so the comparison between backends is exact.\
\>", "Notes",ExpressionUUID->"88bb4365-d484-46c9-bfd9-e20c8abfdc61"],

Cell["\<\
An address whose form is not recognized, and any non-string argument, is left \
unevaluated.\
\>", "Notes",ExpressionUUID->"9c3538ef-f211-432a-bba5-ad662f191f22"],

Cell[BoxData[GridBox[{
   {Cell["      ", "TableRowIcon",ExpressionUUID->
     "8c7feaaa-836b-4270-b0bd-d0ca1de049b2"], Cell["", "TableText",
     FontWeight->Bold,ExpressionUUID->"69677c8b-c879-440a-bbe6-091a82f75d62"],
     Cell["", "TableText",
     FontWeight->Bold,ExpressionUUID->"7a7d2ed2-ca50-49b5-ad23-21fa3894eaaa"],
     Cell["", "TableText",
     FontWeight->Bold,ExpressionUUID->"afabd92f-c86d-4c57-888b-0efb969bccd3"]},
   {Cell["      ", "TableRowIcon",ExpressionUUID->
     "c904854f-b30a-4bc7-8440-5ad63bf173a8"], Cell[TextData[Cell[
    BoxData["\"\<Backends\>\""], "InlineFormula",
     FontFamily->"Source Sans Pro",
     FontSize->0.9 Inherited,ExpressionUUID->
     "d32009c4-c740-4225-9521-c01d81114e6c"]], "TableText",ExpressionUUID->
     "a3510606-b446-4b71-9b04-a38723c655d3"], Cell[TextData[Cell[BoxData[
     TemplateBox[{
       Cell[
        TextData["Automatic"]], "paclet:ref/Automatic"},
      "RefLink",
      BaseStyle->"InlineFormula"]], "InlineFormula",
     FontFamily->"Source Sans Pro",
     FontSize->0.9 Inherited,ExpressionUUID->
     "838861ab-3ef0-4656-a9dc-ab9a839a6c59"]], "TableText",ExpressionUUID->
     "12178511-22c1-40a6-b5d1-2058699a7bc1"], Cell[TextData[{
     "which entries of ",
     Cell[BoxData[
      TemplateBox[{
        Cell[
         TextData["$ChainExplorers"]], 
        "paclet:WolframInstitute/Puzzles/ref/$ChainExplorers", 
        "WolframInstitute/Puzzles Package Symbol"},
       "PackageLink",
       BaseStyle->"InlineFormula"]], "InlineFormula",
      FontFamily->"Source Sans Pro",
      FontSize->0.9 Inherited,ExpressionUUID->
      "a2e3c0ce-917f-4143-b9eb-7536bfd7f632"],
     " to ask; ",
     Cell[BoxData["Automatic"], "InlineFormula",
      FontFamily->"Source Sans Pro",
      FontSize->0.9 Inherited,ExpressionUUID->
      "9a58e2a4-df16-484f-9636-c1418fc288e1"],
     " asks the default backends for the address's network"
    }], "TableText",ExpressionUUID->"1918e985-617c-4e88-8664-4e4f2471b8e6"]},
   {Cell["      ", "TableRowIcon",ExpressionUUID->
     "3f30b890-5a35-4922-8f98-1d063fb3460a"], Cell[TextData[Cell[
    BoxData["\"\<MinimumBackends\>\""], "InlineFormula",
     FontFamily->"Source Sans Pro",
     FontSize->0.9 Inherited,ExpressionUUID->
     "2eaa3812-8ede-4d1b-909b-68708ad992ea"]], "TableText",ExpressionUUID->
     "61f635d7-b3ba-4bf9-942d-8955c14f822a"], Cell[TextData[Cell[BoxData[
    "2"], "InlineFormula",
     FontFamily->"Source Sans Pro",
     FontSize->0.9 Inherited,ExpressionUUID->
     "b27a385e-51fe-44cb-91a3-21f39100f0fb"]], "TableText",ExpressionUUID->
     "57f2c017-3079-493e-ab5b-c786f48eb9d4"], Cell[
    "how many agreeing opinions a verdict requires", "TableText",
     ExpressionUUID->"195b8d6f-fe1f-43bf-9220-ea765f5d366c"]},
   {Cell["      ", "TableRowIcon",ExpressionUUID->
     "ecbed7aa-9b32-4565-825b-ee28c4b34e03"], Cell[TextData[Cell[
    BoxData["\"\<Cache\>\""], "InlineFormula",
     FontFamily->"Source Sans Pro",
     FontSize->0.9 Inherited,ExpressionUUID->
     "469bc61a-9d37-4275-9196-403d6823becc"]], "TableText",ExpressionUUID->
     "dfa7eae2-1a66-49e1-a05c-f1272ed5cd5c"], Cell[TextData[Cell[BoxData[
     TemplateBox[{
       Cell[
        TextData["True"]], "paclet:ref/True"},
      "RefLink",
      BaseStyle->"InlineFormula"]], "InlineFormula",
     FontFamily->"Source Sans Pro",
     FontSize->0.9 Inherited,ExpressionUUID->
     "380a6eff-b76c-4da2-bdcc-074278f5b4dc"]], "TableText",ExpressionUUID->
     "112db9a4-5a45-4707-a735-8c2708d4a646"], Cell[TextData[{
     "whether a cached response inside ",
     Cell[BoxData[
      TemplateBox[{
        Cell[
         TextData["$ChainCacheDuration"]], 
        "paclet:WolframInstitute/Puzzles/ref/$ChainCacheDuration", 
        "WolframInstitute/Puzzles Package Symbol"},
       "PackageLink",
       BaseStyle->"InlineFormula"]], "InlineFormula",
      FontFamily->"Source Sans Pro",
      FontSize->0.9 Inherited,ExpressionUUID->
      "cf2aea2c-b26a-4689-be1c-3ad166bf1928"],
     " may be reused"
    }], "TableText",ExpressionUUID->"87b379f9-9a80-462d-b6de-fe9fc96caa8f"]},
   {Cell["      ", "TableRowIcon",ExpressionUUID->
     "778ab7a3-3898-431a-ab82-6dce87e2ae5b"], Cell[TextData[Cell[BoxData[
     TemplateBox[{
       Cell[
        TextData["TimeConstraint"]], "paclet:ref/TimeConstraint"},
      "RefLink",
      BaseStyle->"InlineFormula"]], "InlineFormula",
     FontFamily->"Source Sans Pro",
     FontSize->0.9 Inherited,ExpressionUUID->
     "76a729b5-22b2-4a7a-8c6f-e106f1374c99"]], "TableText",ExpressionUUID->
     "5d255ac9-a90f-43ee-b1e0-e244acbf2af7"], Cell[TextData[Cell[BoxData[
    "30"], "InlineFormula",
     FontFamily->"Source Sans Pro",
     FontSize->0.9 Inherited,ExpressionUUID->
     "135b1230-ea40-44e4-8890-0fc1006d71c2"]], "TableText",ExpressionUUID->
     "71ba5bb2-0314-4f17-8519-fb5b0a677d04"], Cell[
    "seconds allowed for each backend request", "TableText",ExpressionUUID->
     "5057f0b4-30a5-4678-a01b-6a7dc2aeb76c"]}
  }]], "3ColumnTableMod",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "Rows" -> {None, None, None, None, {None}}},
 GridBoxDividers->{
  "Rows" -> {{
     True, True, True, True, True, 
      True}}}},ExpressionUUID->"e4b01cf8-58ca-4fb5-9caf-99729431e021"]
}, Closed]],

Cell["", "PageDelimiter",ExpressionUUID->"3901b2cf-2260-495a-9478-9bb50169d61a"],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[
     MatchQ[
      CurrentValue[
       EvaluationNotebook[], {
       TaggingRules, "Openers", "PrimaryExamplesSection"}, Open], 
      Alternatives[True, Open]], 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]],
   ImageSizeCache->{
    13.600000000000001`, {4.251494140625001, 9.348505859375}}]],
  ExpressionUUID->"d43ee51d-1022-4976-a4f0-5435a1625093"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"d36271ad-54c2-47e1-84ab-f5ccd77466ec"],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(16)", "ExampleCount",ExpressionUUID->
  "4adb69ee-b7fd-441c-bbd5-4af0fa3a9edc"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->2041372221,ExpressionUUID->"3f60e8cb-3f6d-4c80-ad8e-5ee44be7ec99"],

Cell[BoxData[
 RowBox[{"Needs", "[", "\"\<WolframInstitute`Puzzles`\>\"", "]"}]], "Input", \
"ExampleInitialization",
 CellLabel->"In[1]:=",
 CellID->1969679695,ExpressionUUID->"19449821-fdac-47e4-9e09-910496d8da2b"],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[CurrentValue[
       EvaluationCell[], "CellGroupOpen"] =!= Closed, 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]]]],ExpressionUUID->
  "5835854a-90bc-4740-8e31-690bbccf83c5"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"dd47c1ca-5e8d-419f-89bd-accc35d388cd"],
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(3)", "ExampleCount",ExpressionUUID->
  "ba7fae02-4d2b-42e9-8196-6f75fcbb001c"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->1144173875,ExpressionUUID->"7cf60189-956d-436a-930d-112671650a4c"],

Cell["\<\
The genesis coinbase address, cross-checked across all three default Bitcoin \
backends:\
\>", "ExampleText",
 CellTags->
  "TextAnnotation",ExpressionUUID->"4f097f64-aae9-40a7-baa1-70d4aa89c5e1"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"KeyDrop", "[", 
  RowBox[{
   RowBox[{
   "ChainAddressCrossCheck", "[", "\"\<1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa\>\"",
     "]"}], ",", " ", 
   RowBox[{"{", 
    RowBox[{"\"\<Summaries\>\"", ",", " ", "\"\<Failures\>\""}], "}"}]}], 
  "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"7c89fdbd-8376-4ccb-959f-3a2c7c724853"],

Cell[BoxData[
 RowBox[{"\[LeftAssociation]", 
  RowBox[{
   RowBox[{"\<\"Address\"\>", 
    "\[Rule]", "\<\"1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa\"\>"}], ",", 
   RowBox[{"\<\"Network\"\>", "\[Rule]", "\<\"Bitcoin\"\>"}], ",", 
   RowBox[{"\<\"Unit\"\>", "\[Rule]", "\<\"Satoshis\"\>"}], ",", 
   RowBox[{"\<\"Queried\"\>", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{"\<\"MempoolSpace\"\>", ",", "\<\"BlockstreamInfo\"\>", 
      ",", "\<\"BlockCypher\"\>"}], "}"}]}], ",", 
   RowBox[{"\<\"Responded\"\>", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{"\<\"MempoolSpace\"\>", ",", "\<\"BlockstreamInfo\"\>", 
      ",", "\<\"BlockCypher\"\>"}], "}"}]}], ",", 
   RowBox[{"\<\"Families\"\>", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{"\<\"Esplora\"\>", ",", "\<\"BlockCypher\"\>"}], "}"}]}], ",", 
   RowBox[{"\<\"Balances\"\>", "\[Rule]", 
    RowBox[{"\[LeftAssociation]", 
     RowBox[{
      RowBox[{"\<\"MempoolSpace\"\>", "\[Rule]", "5743025285"}], ",", 
      RowBox[{"\<\"BlockstreamInfo\"\>", "\[Rule]", "5743025285"}], ",", 
      RowBox[{"\<\"BlockCypher\"\>", "\[Rule]", "10744061573"}]}], 
     "\[RightAssociation]"}]}], ",", 
   RowBox[{"\<\"BalancesAgree\"\>", "\[Rule]", "False"}], ",", 
   RowBox[{"\<\"HasBalance\"\>", "\[Rule]", "True"}], ",", 
   RowBox[{"\<\"NeverSpent\"\>", "\[Rule]", "True"}], ",", 
   RowBox[{"\<\"Retrieved\"\>", "\[Rule]", 
    TemplateBox[{
      RowBox[{"\"Wed 26 Aug 2026 00:50:26\"", 
        StyleBox[
         RowBox[{"\"GMT\"", "\[InvisibleSpace]", "+", "\[InvisibleSpace]", 
           StyleBox["5", NumberMarks -> False, StripOnInput -> False]}], 
         "TimeZoneLabel"]}], 
      RowBox[{"DateObject", "[", 
        RowBox[{
          RowBox[{"{", 
            
            RowBox[{"2026", ",", "8", ",", "26", ",", "0", ",", "50", ",", 
              "26.9597`8.18329003725104"}], "}"}], ",", "\"Instant\"", ",", 
          "\"Gregorian\"", ",", "5.`"}], "]"}]},
     "DateObject",
     Editable->False]}]}], "\[RightAssociation]"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"6e17fc08-1698-4088-ab3a-24a90d580521"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "803f8100-b232-4562-9a13-3f63c37035a3"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"f6ca764e-336a-480d-\
9e85-d4d85631e369"],

Cell["The two verdicts on their own:", "ExampleText",ExpressionUUID->"8484e978-2b05-4923-a09d-1bfc7bb74dd0"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"KeyTake", "[", 
  RowBox[{
   RowBox[{
   "ChainAddressCrossCheck", "[", "\"\<1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa\>\"",
     "]"}], ",", " ", 
   RowBox[{"{", 
    RowBox[{"\"\<HasBalance\>\"", ",", " ", "\"\<NeverSpent\>\""}], "}"}]}], 
  "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"faa5438b-8c67-420e-a0a6-652172fca6b8"],

Cell[BoxData[
 RowBox[{"\[LeftAssociation]", 
  RowBox[{
   RowBox[{"\<\"HasBalance\"\>", "\[Rule]", "True"}], ",", 
   RowBox[{"\<\"NeverSpent\"\>", "\[Rule]", "True"}]}], 
  "\[RightAssociation]"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"1894aebb-6235-46ac-83eb-027b19e9ba8f"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "4e57eadf-9785-46c6-bdac-37994d2cc5b7"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"2afb134d-5561-4fd8-\
b693-6ef035511007"],

Cell["\<\
The backends disagree on the number while agreeing on the claim, because the \
genesis coinbase output is outside Bitcoin Core's UTXO set:\
\>", "ExampleText",ExpressionUUID->"0309aaa1-34a3-481d-9230-538b860b1f96"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
  "ChainAddressCrossCheck", "[", "\"\<1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa\>\"",
    "]"}], "[", "\"\<Balances\>\"", "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"8b3ca6e6-cc88-4aba-840d-695778e28c74"],

Cell[BoxData[
 RowBox[{"\[LeftAssociation]", 
  RowBox[{
   RowBox[{"\<\"MempoolSpace\"\>", "\[Rule]", "5743025285"}], ",", 
   RowBox[{"\<\"BlockstreamInfo\"\>", "\[Rule]", "5743025285"}], ",", 
   RowBox[{"\<\"BlockCypher\"\>", "\[Rule]", "10744061573"}]}], 
  "\[RightAssociation]"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"d6a1c3b5-572b-4269-a442-543484c72193"]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[CurrentValue[
       EvaluationCell[], "CellGroupOpen"] =!= Closed, 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]]]],ExpressionUUID->
  "8e3f91b3-fc29-4945-88a6-4ea3fa69f1dc"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"0b0dee91-1cb0-4a6e-9460-95de829b67a1"],
 "Scope",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(4)", "ExampleCount",ExpressionUUID->
  "161ff015-61bc-4088-8018-9e3c256cad9f"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->1293636265,ExpressionUUID->"bea12920-3168-4817-b9f9-47cac8070701"],

Cell["\<\
The 2015 puzzle address for private key 1 was swept: every backend agrees on \
both the number and both claims:\
\>", "ExampleText",ExpressionUUID->"6c9a6956-ed17-4f30-81c5-05ef87a50d55"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"KeyTake", "[", 
  RowBox[{
   RowBox[{
   "ChainAddressCrossCheck", "[", "\"\<1BgGZ9tcN4rm9KBzDn7KprQz87SZ26SAMH\>\"",
     "]"}], ",", " ", 
   RowBox[{"{", 
    RowBox[{"\"\<Balances\>\"", ",", " ", "\"\<BalancesAgree\>\"", ",", 
     " ", "\"\<HasBalance\>\"", ",", " ", "\"\<NeverSpent\>\""}], "}"}]}], 
  "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"9e0f1e65-8d25-427f-a1d8-2868d5253031"],

Cell[BoxData[
 RowBox[{"\[LeftAssociation]", 
  RowBox[{
   RowBox[{"\<\"Balances\"\>", "\[Rule]", 
    RowBox[{"\[LeftAssociation]", 
     RowBox[{
      RowBox[{"\<\"MempoolSpace\"\>", "\[Rule]", "0"}], ",", 
      RowBox[{"\<\"BlockstreamInfo\"\>", "\[Rule]", "0"}], ",", 
      RowBox[{"\<\"BlockCypher\"\>", "\[Rule]", "0"}]}], 
     "\[RightAssociation]"}]}], ",", 
   RowBox[{"\<\"BalancesAgree\"\>", "\[Rule]", "True"}], ",", 
   RowBox[{"\<\"HasBalance\"\>", "\[Rule]", "False"}], ",", 
   RowBox[{"\<\"NeverSpent\"\>", "\[Rule]", "False"}]}], 
  "\[RightAssociation]"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"133f1858-2ac7-4281-aa96-9282b0a80d5f"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "f9acd383-6c74-468c-91f9-0d6462341c72"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"3d3c4066-91f2-480a-\
80a8-83a1ec492096"],

Cell[TextData[{
 "On Ethereum the default backends are two JSON-RPC nodes and a Blockscout \
index, and ",
 Cell[BoxData["\<\"NeverSpent\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "24ad3df3-41d2-428f-bf5a-fcdee95b17f1"],
 " is decided by the account nonce:"
}], "ExampleText",ExpressionUUID->"199fe976-0cb9-418a-b04b-285eb87c37e1"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"KeyTake", "[", 
  RowBox[{
   RowBox[{
   "ChainAddressCrossCheck", 
    "[", "\"\<0x0000000000000000000000000000000000000000\>\"", "]"}], ",", 
   " ", 
   RowBox[{"{", 
    RowBox[{"\"\<Network\>\"", ",", " ", "\"\<Unit\>\"", ",", 
     " ", "\"\<Families\>\"", ",", " ", "\"\<HasBalance\>\"", ",", 
     " ", "\"\<NeverSpent\>\""}], "}"}]}], "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"8456264a-255f-4320-91b7-bfeb2ac98ce8"],

Cell[BoxData[
 RowBox[{"\[LeftAssociation]", 
  RowBox[{
   RowBox[{"\<\"Network\"\>", "\[Rule]", "\<\"Ethereum\"\>"}], ",", 
   RowBox[{"\<\"Unit\"\>", "\[Rule]", "\<\"Wei\"\>"}], ",", 
   RowBox[{"\<\"Families\"\>", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{"\<\"JSONRPC\"\>", ",", "\<\"Blockscout\"\>"}], "}"}]}], ",", 
   RowBox[{"\<\"HasBalance\"\>", "\[Rule]", "True"}], ",", 
   RowBox[{"\<\"NeverSpent\"\>", "\[Rule]", 
    RowBox[{"Missing", "[", "\<\"InsufficientBackends\"\>", "]"}]}]}], 
  "\[RightAssociation]"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"0607782a-1810-479c-b58e-988521a0e57c"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "89671045-89ca-4192-909f-f6a32db7e64d"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"cdbedea8-a937-4ea3-\
9a40-37198a233f11"],

Cell["\<\
The per-backend summaries are kept in full, so a disagreement can be traced \
to the field that caused it:\
\>", "ExampleText",ExpressionUUID->"8ba36b66-209f-4101-b7e4-f2b7a88e0738"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
  "ChainAddressCrossCheck", "[", "\"\<1BgGZ9tcN4rm9KBzDn7KprQz87SZ26SAMH\>\"",
    "]"}], "[", 
  RowBox[{"\"\<Summaries\>\"", ",", " ", "\"\<MempoolSpace\>\""}], 
  "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"16b23cce-5641-422f-8041-4afb25b30dbd"],

Cell[BoxData[
 RowBox[{"\[LeftAssociation]", 
  RowBox[{
   RowBox[{"\<\"Address\"\>", 
    "\[Rule]", "\<\"1BgGZ9tcN4rm9KBzDn7KprQz87SZ26SAMH\"\>"}], ",", 
   RowBox[{"\<\"Network\"\>", "\[Rule]", "\<\"Bitcoin\"\>"}], ",", 
   RowBox[{"\<\"Backend\"\>", "\[Rule]", "\<\"MempoolSpace\"\>"}], ",", 
   RowBox[{"\<\"Unit\"\>", "\[Rule]", "\<\"Satoshis\"\>"}], ",", 
   RowBox[{"\<\"Balance\"\>", "\[Rule]", "0"}], ",", 
   RowBox[{"\<\"ReceivedTotal\"\>", "\[Rule]", "25001029"}], ",", 
   RowBox[{"\<\"SentTotal\"\>", "\[Rule]", "25001029"}], ",", 
   RowBox[{"\<\"SpentOutputCount\"\>", "\[Rule]", "100"}], ",", 
   RowBox[{"\<\"TransactionCount\"\>", "\[Rule]", "197"}], ",", 
   RowBox[{"\<\"UnconfirmedBalance\"\>", "\[Rule]", "0"}], ",", 
   RowBox[{"\<\"Retrieved\"\>", "\[Rule]", 
    TemplateBox[{
      RowBox[{"\"Wed 26 Aug 2026 00:50:14\"", 
        StyleBox[
         RowBox[{"\"GMT\"", "\[InvisibleSpace]", "+", "\[InvisibleSpace]", 
           StyleBox["5", NumberMarks -> False, StripOnInput -> False]}], 
         "TimeZoneLabel"]}], 
      RowBox[{"DateObject", "[", 
        RowBox[{
          RowBox[{"{", 
            
            RowBox[{"2026", ",", "8", ",", "26", ",", "0", ",", "50", ",", 
              "14.776436`7.922144682446074"}], "}"}], ",", "\"Instant\"", ",",
           "\"Gregorian\"", ",", "5.`"}], "]"}]},
     "DateObject",
     Editable->False]}]}], "\[RightAssociation]"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"5a85da97-64fc-4231-b78a-ddcdc64f657a"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "b9902190-e943-45b2-9e6c-6cd7fec3602d"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"ad7384f9-3c50-4657-\
b80a-3937d60dcc47"],

Cell["\<\
An address whose form is not recognized is returned unevaluated:\
\>", "ExampleText",ExpressionUUID->"e7c3aa88-e0e2-43b1-9289-61b247905976"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ChainAddressCrossCheck", "[", "\"\<notanaddress\>\"", 
  "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"a9d152b1-4e35-44da-beb5-2717e5f5f534"],

Cell[BoxData[
 RowBox[{"ChainAddressCrossCheck", "[", "\<\"notanaddress\"\>", 
  "]"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"12a11b8b-a352-40f6-8a3e-593a7d322a05"]
}, Open  ]]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[CurrentValue[
       EvaluationCell[], "CellGroupOpen"] =!= Closed, 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]]]],ExpressionUUID->
  "c841cdaf-bb71-49d1-b4cc-887379d76cb6"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"f466db01-d898-4d14-afda-2c40723bd9a9"],
 "Options",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(5)", "ExampleCount",ExpressionUUID->
  "6aa4343d-6562-4810-b66c-8a5c3f4b9422"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->2061341341,ExpressionUUID->"c68d2dd6-3542-45dd-acb8-70e3c9071b83"],

Cell["Naming backends restricts the cross-check to them:", "ExampleText",ExpressionUUID->"9d72117e-7ccd-4ab6-a511-69a46ed79518"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"ChainAddressCrossCheck", "[", 
   RowBox[{"\"\<1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa\>\"", ",", " ", 
    RowBox[{"\"\<Backends\>\"", " ", "->", " ", 
     RowBox[{"{", 
      RowBox[{"\"\<MempoolSpace\>\"", ",", " ", "\"\<BlockstreamInfo\>\""}], 
      "}"}]}]}], "]"}], "[", "\"\<Families\>\"", "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"77d8d441-5a1e-4631-a11e-4f71c0303822"],

Cell[BoxData[
 RowBox[{"{", "\<\"Esplora\"\>", "}"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"e7bffe71-9e68-4261-a832-5a7d4d22117e"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "e9e5a29f-14b6-4996-9a30-deb8d84e435c"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"5309af6b-41ab-4e59-\
a5b4-8a951f8f6b48"],

Cell["\<\
Blockscout reports a balance and no nonce, so pairing it with a single node \
leaves one opinion on the spend question and the verdict is withheld:\
\>", "ExampleText",ExpressionUUID->"5db597f9-7231-4271-bbc0-e65c8bae1b2d"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"KeyTake", "[", 
  RowBox[{
   RowBox[{"ChainAddressCrossCheck", "[", 
    RowBox[{"\"\<0x0000000000000000000000000000000000000000\>\"", ",", " ", 
     RowBox[{"\"\<Backends\>\"", " ", "->", " ", 
      RowBox[{"{", 
       RowBox[{"\"\<PublicNodeETH\>\"", ",", " ", "\"\<Blockscout\>\""}], 
       "}"}]}]}], "]"}], ",", " ", 
   RowBox[{"{", 
    RowBox[{"\"\<HasBalance\>\"", ",", " ", "\"\<NeverSpent\>\""}], "}"}]}], 
  "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"ea89cd91-2114-4850-8c1a-96d1b80a7947"],

Cell[BoxData[
 RowBox[{"\[LeftAssociation]", 
  RowBox[{
   RowBox[{"\<\"HasBalance\"\>", "\[Rule]", "True"}], ",", 
   RowBox[{"\<\"NeverSpent\"\>", "\[Rule]", 
    RowBox[{"Missing", "[", "\<\"InsufficientBackends\"\>", "]"}]}]}], 
  "\[RightAssociation]"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"cfcca0c3-a64c-45e0-a5cb-535d0b7fc20a"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "f4bda399-c91b-4cf7-b4c1-d592868c25d3"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"74b5ac01-fa4d-467e-\
b391-1fd23058b52e"],

Cell[TextData[{
 Cell[BoxData["\<\"MinimumBackends\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "43b19a39-6217-4cde-b4bd-ac278b83ae97"],
 " raises the bar above what the default backends can supply:"
}], "ExampleText",ExpressionUUID->"0ce25517-9e10-423d-b3c6-85176fb5a1b6"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"ChainAddressCrossCheck", "[", 
   RowBox[{"\"\<1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa\>\"", ",", " ", 
    RowBox[{"\"\<MinimumBackends\>\"", " ", "->", " ", "4"}]}], "]"}], 
  "[", "\"\<HasBalance\>\"", "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"cf3a13bd-ed36-4a1a-b98c-da030c5695dd"],

Cell[BoxData[
 RowBox[{"Missing", "[", "\<\"InsufficientBackends\"\>", "]"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"06e9e8d9-a0f5-40e3-ba15-15f77c456be8"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "bc1637d1-dc37-4a04-8c0e-a40a3b602b6c"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"eb529e5a-e1f9-4e7f-\
99df-1f81a0675d98"],

Cell[TextData[{
 Cell[BoxData[
  RowBox[{"\<\"Cache\"\>", " ", "->", " ", "False"}]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "261dd042-223c-4ed8-982d-ce2c57bc60c7"],
 " bypasses the stored responses and asks every backend again:"
}], "ExampleText",ExpressionUUID->"2e6f0f9a-4bdc-494a-8d2e-ae98941bc05c"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"ChainAddressCrossCheck", "[", 
   RowBox[{"\"\<1BgGZ9tcN4rm9KBzDn7KprQz87SZ26SAMH\>\"", ",", " ", 
    RowBox[{"\"\<Cache\>\"", " ", "->", " ", "False"}]}], "]"}], 
  "[", "\"\<HasBalance\>\"", "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"4cc47724-3f37-4e55-aea9-020f403ca995"],

Cell[BoxData["False"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"423bf08a-cd41-48a3-b393-b3433c04dafa"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "73d1dc84-eba8-4f1a-ad98-26d6c9abfb2d"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"9cfcfa03-c6ae-491e-\
b25e-c9c80895b727"],

Cell[TextData[{
 "A ",
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["TimeConstraint"]], "paclet:ref/TimeConstraint"},
   "RefLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "3ce6a29f-2423-426e-8702-5ad8d397ebe8"],
 " too short for any backend leaves nothing to agree on:"
}], "ExampleText",ExpressionUUID->"98651a33-8bdc-4dd0-a2b2-5c213fcf1b53"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"ChainAddressCrossCheck", "[", 
   RowBox[{"\"\<1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa\>\"", ",", " ", 
    RowBox[{"\"\<Cache\>\"", " ", "->", " ", "False"}], ",", " ", 
    RowBox[{"TimeConstraint", " ", "->", " ", "0.001"}]}], "]"}], 
  "[", "\"\<Responded\>\"", "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"4bb5473b-8573-4642-a097-bb4d71175a15"],

Cell[BoxData[
 RowBox[{"{", "}"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"0f8a6dc7-40db-4fbd-a03e-685f578a372b"]
}, Open  ]]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[CurrentValue[
       EvaluationCell[], "CellGroupOpen"] =!= Closed, 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]]]],ExpressionUUID->
  "c1c3da7a-7f33-4494-90ea-ea5b0fa9011b"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"1bd5100b-e394-4706-bef5-e3de2ee6486a"],
 "Properties & Relations",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(2)", "ExampleCount",ExpressionUUID->
  "ed9b1fd5-e807-4206-96af-2f184d570b20"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->2123667759,ExpressionUUID->"1dd177de-054e-467c-8a64-afc20631d892"],

Cell[TextData[{
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["ChainPrizeUnclaimedQ"]], 
    "paclet:WolframInstitute/Puzzles/ref/ChainPrizeUnclaimedQ", 
    "WolframInstitute/Puzzles Package Symbol"},
   "PackageLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "8b766d50-92a8-42b7-83f8-3fa5d8722949"],
 " is the ",
 Cell[BoxData["\<\"HasBalance\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "9936dcae-3901-484f-9be6-7758aba00416"],
 " verdict on its own, with the undecided cases turned into a ",
 Cell[BoxData["Failure"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "8ed40059-9c8b-4122-ba69-e412a5e1f24f"],
 ":"
}], "ExampleText",ExpressionUUID->"0287565a-d631-451d-9d9e-e8fa316fd6e4"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{
   "ChainAddressCrossCheck", "[", "\"\<1BgGZ9tcN4rm9KBzDn7KprQz87SZ26SAMH\>\"",
     "]"}], "[", "\"\<HasBalance\>\"", "]"}], " ", "===", " ", 
  RowBox[{
  "ChainPrizeUnclaimedQ", "[", "\"\<1BgGZ9tcN4rm9KBzDn7KprQz87SZ26SAMH\>\"", 
   "]"}]}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"85d72007-ab3c-49e6-8743-bf5f07b917f5"],

Cell[BoxData["True"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"da2174af-f4d7-41d2-90f1-461cdb37a604"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "925df8c8-29e0-4580-ab4e-f82754cf799f"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"3fde4335-0150-41fe-\
a270-d149ab8345d5"],

Cell[TextData[{
 "Each entry of ",
 Cell[BoxData["\<\"Summaries\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "d94161c3-2339-4486-b92e-4385c794bc13"],
 " is exactly what ",
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["ChainExplorerQuery"]], 
    "paclet:WolframInstitute/Puzzles/ref/ChainExplorerQuery", 
    "WolframInstitute/Puzzles Package Symbol"},
   "PackageLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "5d58386e-88c0-4d8c-bd6b-4bda477f832b"],
 " gives for that backend:"
}], "ExampleText",ExpressionUUID->"cf33770d-ead8-44c6-be85-c1d826ba7e55"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
  "ChainAddressCrossCheck", "[", "\"\<1BgGZ9tcN4rm9KBzDn7KprQz87SZ26SAMH\>\"",
    "]"}], "[", 
  RowBox[{"\"\<Summaries\>\"", ",", " ", "\"\<BlockCypher\>\"", ",", 
   " ", "\"\<SentTotal\>\""}], "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"bce0ca8c-fc5c-4401-8871-6a532631c324"],

Cell[BoxData["25001029"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"76ee6a74-8f20-4550-8e77-da881dffc3fb"]
}, Open  ]]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[CurrentValue[
       EvaluationCell[], "CellGroupOpen"] =!= Closed, 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]]]],ExpressionUUID->
  "f5f55eec-2ed4-43c7-8d27-912f55a335c9"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"10907bff-f7ff-4cef-b649-ec7833aca131"],
 "Possible Issues",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(2)", "ExampleCount",ExpressionUUID->
  "3b0d9122-8a28-4267-9cc0-f3f1f3496af2"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->1305812373,ExpressionUUID->"bd7b8db4-0e48-477a-beab-7cb7677224d5"],

Cell["\<\
Two backends running the same software are one family, and unanimity inside a \
single family is weaker evidence than the verdict alone suggests:\
\>", "ExampleText",ExpressionUUID->"aec28765-8ee3-495b-b018-1df02bfd4af1"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"ChainAddressCrossCheck", "[", 
   RowBox[{"\"\<1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa\>\"", ",", " ", 
    RowBox[{"\"\<Backends\>\"", " ", "->", " ", 
     RowBox[{"{", 
      RowBox[{"\"\<MempoolSpace\>\"", ",", " ", "\"\<BlockstreamInfo\>\""}], 
      "}"}]}]}], "]"}], "[", "\"\<Families\>\"", "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"8f871f21-a231-448b-a8ac-918b438929eb"],

Cell[BoxData[
 RowBox[{"{", "\<\"Esplora\"\>", "}"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"d9a4d46b-b1e7-4e8c-b15b-b564dfed7c39"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "a7f64269-fc3e-4ad3-a95b-74fd06a6ee4e"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"9016a27f-4eb4-489a-\
a441-0c76ebf8f8a1"],

Cell[TextData[{
 "A cross-check with nothing reachable settles nothing either, and the ",
 Cell[BoxData["Missing"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "a26c9fb1-9701-4814-9bd5-dbc540552105"],
 " names which case it was:"
}], "ExampleText",ExpressionUUID->"20e5a85d-ad41-47e3-b7c7-f8ec2055594f"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Block", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"$ChainNetworkEnabled", " ", "=", " ", "False"}], "}"}], ",", " ", 
   RowBox[{
    RowBox[{"ChainAddressCrossCheck", "[", 
     RowBox[{"\"\<1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa\>\"", ",", " ", 
      RowBox[{"\"\<Cache\>\"", " ", "->", " ", "False"}]}], "]"}], 
    "[", "\"\<HasBalance\>\"", "]"}]}], "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"862981ee-00fe-4a28-9cf6-e8ebd181097e"],

Cell[BoxData[
 RowBox[{"Missing", "[", "\<\"InsufficientBackends\"\>", "]"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"96c8e21c-7db9-4f2d-b496-c3ff29c55d8d"]
}, Open  ]]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[BoxData[GridBox[{
   {
    DynamicBox[FEPrivate`ImportImage[
      FrontEnd`FileName[{"Documentation", "FooterIcons"}, 
       "RelatedFunction.png"]]], GridBox[{
      {
       StyleBox[
        RowBox[{"See", " ", "Also"}], "SeeAlsoSection"]},
      {Cell[TextData[{
        Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["ChainPrizeUnclaimedQ"]], 
           "paclet:WolframInstitute/Puzzles/ref/ChainPrizeUnclaimedQ", 
           "WolframInstitute/Puzzles Package Symbol"},
          "PackageLink",
          BaseStyle->"InlineFormula"]], "InlineFormula",
         FontFamily->"Source Sans Pro",ExpressionUUID->
         "04965308-9c24-49d4-b6a7-0fa1d4be114c"],
        "\[NonBreakingSpace]",
        StyleBox[
        "\[MediumSpace]\[FilledVerySmallSquare]\[MediumSpace]", 
         "InlineSeparator"],
        " ",
        Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["ChainAddressSummary"]], 
           "paclet:WolframInstitute/Puzzles/ref/ChainAddressSummary", 
           "WolframInstitute/Puzzles Package Symbol"},
          "PackageLink",
          BaseStyle->"InlineFormula"]], "InlineFormula",
         FontFamily->"Source Sans Pro",ExpressionUUID->
         "79426ad4-b4cc-49c3-9355-5ac2c8d49dc1"],
        "\[NonBreakingSpace]",
        StyleBox[
        "\[MediumSpace]\[FilledVerySmallSquare]\[MediumSpace]", 
         "InlineSeparator"],
        " ",
        Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["ChainExplorerQuery"]], 
           "paclet:WolframInstitute/Puzzles/ref/ChainExplorerQuery", 
           "WolframInstitute/Puzzles Package Symbol"},
          "PackageLink",
          BaseStyle->"InlineFormula"]], "InlineFormula",
         FontFamily->"Source Sans Pro",ExpressionUUID->
         "97a90f1e-3803-4e4e-b63d-730631e60f0c"],
        "\[NonBreakingSpace]",
        StyleBox[
        "\[MediumSpace]\[FilledVerySmallSquare]\[MediumSpace]", 
         "InlineSeparator"],
        " ",
        Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["$ChainExplorers"]], 
           "paclet:WolframInstitute/Puzzles/ref/$ChainExplorers", 
           "WolframInstitute/Puzzles Package Symbol"},
          "PackageLink",
          BaseStyle->"InlineFormula"]], "InlineFormula",
         FontFamily->"Source Sans Pro",ExpressionUUID->
         "dc1b2542-4311-428d-aa07-2227dd4fe6ad"],
        "\[NonBreakingSpace]",
        StyleBox[
        "\[MediumSpace]\[FilledVerySmallSquare]\[MediumSpace]", 
         "InlineSeparator"],
        " ",
        Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["ChainAddressBalance"]], 
           "paclet:WolframInstitute/Puzzles/ref/ChainAddressBalance", 
           "WolframInstitute/Puzzles Package Symbol"},
          "PackageLink",
          BaseStyle->"InlineFormula"]], "InlineFormula",
         FontFamily->"Source Sans Pro",ExpressionUUID->
         "9e3ed795-f3dc-4eb2-92d3-e527959a3019"]
       }], "SeeAlso",ExpressionUUID->"d554408d-3789-4bb4-bd10-e112ec0f7553"]}
     }]}
  }]], "SeeAlsoSection",ExpressionUUID->"6557a6af-38cb-47ac-994a-\
72f906dea111"],

Cell[BoxData[GridBox[{
   {
    DynamicBox[FEPrivate`ImportImage[
      FrontEnd`FileName[{"Documentation", "FooterIcons"}, 
       "RelatedGuide.png"]]], GridBox[{
      {
       StyleBox[
        RowBox[{"Related", " ", "Guides"}], "MoreAboutSection"]},
      {
       RowBox[{"\[FilledVerySmallSquare]", Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["Chain"]], "paclet:WolframInstitute/Puzzles/guide/Chain"},
          "RefLinkPlain",
          BaseStyle->{"MoreAbout"}]], "MoreAbout",ExpressionUUID->
         "6af2b779-faa1-4b5c-91c9-28667663cb24"]}]}
     }]}
  }]], "MoreAboutSection",ExpressionUUID->"68bf1994-bc26-40a7-a13d-\
e354cb853079"],

Cell[" ", "FooterCell",ExpressionUUID->"4593d1d8-87ca-4e15-bd74-4b004dace50f"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{900, 830},
WindowMargins->{{0, Automatic}, {Automatic, 0}},
WindowTitle->"ChainAddressCrossCheck",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "", "LinkTrails" -> "", 
  "ExampleCounter" -> 1, 
  "Openers" -> {
   "PrimaryExamplesSection" -> Open, "ExampleSection" -> {"0" -> Open}, 
    "AllOptsTable" -> Closed}, "NewStyles" -> True, 
  "CitationPopupData" -> $Failed, "ShowCitation" -> False, "HasOptions" -> 
  True, "RootCaptions" -> "", "HeaderCoreAreaLink" -> {}, 
  "Metadata" -> {
   "built" -> "{2026, 8, 27, 0, 11, 14.721878}", 
    "history" -> {"XX", "", "", ""}, "context" -> "WolframInstitute`Puzzles`",
     "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Wolfram Institute/ Puzzles Symbol", "language" -> "en", "paclet" -> 
    "WolframInstitute/Puzzles", "status" -> "None", "summary" -> 
    "PackageLink[ChainAddressCrossCheck, paclet : \
WolframInstitute/Puzzles/ref/ChainAddressCrossCheck, WolframInstitute/Puzzles \
Package Symbol][address] queries every default backend for the network of \
address and gives an Association of what each one said, together with the \
consensus verdicts computed from them.", "synonyms" -> {}, "tabletags" -> {}, 
    "title" -> "ChainAddressCrossCheck", "titlemodifier" -> "", 
    "metadescription" -> "", "windowtitle" -> "ChainAddressCrossCheck", 
    "type" -> "Symbol", "uri" -> 
    "WolframInstitute/Puzzles/ref/ChainAddressCrossCheck", 
    "WorkflowDockedCell" -> ""}, "SearchTextTranslated" -> ""},
CellContext->CellGroup,
FrontEndVersion->"15.0 for Mac OS X ARM (64-bit) (May 19, 2026)",
StyleDefinitions->FrontEnd`FileName[{"Wolfram"}, "Reference.nb"],
ExpressionUUID->"18c60669-6657-4a7e-b59c-a97770fa49d0"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "TextAnnotation"->{
  Cell[24586, 619, 206, 5, 70, "ExampleText",ExpressionUUID->"4f097f64-aae9-40a7-baa1-70d4aa89c5e1",
   CellTags->"TextAnnotation"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"TextAnnotation", 58134, 1548}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[590, 21, 5898, 144, 70, "AnchorBarGrid",ExpressionUUID->"7c0925a7-3997-47de-bfd0-d6acb0b1870d",
 CellID->1],
Cell[6491, 167, 107, 0, 70, "ContextNameCell",ExpressionUUID->"8813b1ea-56ed-4cbe-82c1-ab418f24cd76"],
Cell[CellGroupData[{
Cell[6623, 171, 565, 14, 70, "ObjectNameGrid",ExpressionUUID->"f5481ac3-f19a-4378-a078-691ae76345df"],
Cell[7191, 187, 910, 21, 70, "Usage",ExpressionUUID->"227215ba-6758-4be6-9179-c64a66f3280f"]
}, Open  ]],
Cell[CellGroupData[{
Cell[8138, 213, 1444, 34, 70, "NotesSection",ExpressionUUID->"bc5b9c70-4912-4ebd-9185-4ceac6de52cb",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1398982111],
Cell[9585, 249, 2545, 67, 70, "Notes",ExpressionUUID->"e0e4dc39-dd2c-4e37-bb62-74fba6ec05cf"],
Cell[12133, 318, 566, 11, 70, "Notes",ExpressionUUID->"4c4a32ec-b63c-4cdf-8205-6678d65aad5e"],
Cell[12702, 331, 1178, 31, 70, "Notes",ExpressionUUID->"f2e7ecee-144a-404a-88d8-99d303aef8fb"],
Cell[13883, 364, 435, 8, 70, "Notes",ExpressionUUID->"2c8b1dc2-1ab3-488e-8c62-0f38a6edf362"],
Cell[14321, 374, 466, 8, 70, "Notes",ExpressionUUID->"b49ba305-c9b2-4315-a8c2-c7df9008ce8f"],
Cell[14790, 384, 714, 14, 70, "Notes",ExpressionUUID->"870c3a6f-279b-4a9b-9f68-a3a03381e8f5"],
Cell[15507, 400, 431, 8, 70, "Notes",ExpressionUUID->"9b2c7578-90f6-4f80-b206-7233ba889707"],
Cell[15941, 410, 204, 3, 70, "Notes",ExpressionUUID->"88bb4365-d484-46c9-bfd9-e20c8abfdc61"],
Cell[16148, 415, 172, 3, 70, "Notes",ExpressionUUID->"9c3538ef-f211-432a-bba5-ad662f191f22"],
Cell[16323, 420, 5258, 112, 70, "3ColumnTableMod",ExpressionUUID->"e4b01cf8-58ca-4fb5-9caf-99729431e021"]
}, Closed]],
Cell[21596, 535, 80, 0, 70, "PageDelimiter",ExpressionUUID->"3901b2cf-2260-495a-9478-9bb50169d61a"],
Cell[CellGroupData[{
Cell[21701, 539, 1402, 37, 70, "PrimaryExamplesSection",ExpressionUUID->"3f60e8cb-3f6d-4c80-ad8e-5ee44be7ec99",
 CellID->2041372221],
Cell[23106, 578, 216, 4, 70, "Input",ExpressionUUID->"19449821-fdac-47e4-9e09-910496d8da2b",
 CellID->1969679695],
Cell[CellGroupData[{
Cell[23347, 586, 1236, 31, 70, "ExampleSection",ExpressionUUID->"7cf60189-956d-436a-930d-112671650a4c",
 CellID->1144173875],
Cell[24586, 619, 206, 5, 70, "ExampleText",ExpressionUUID->"4f097f64-aae9-40a7-baa1-70d4aa89c5e1",
 CellTags->"TextAnnotation"],
Cell[CellGroupData[{
Cell[24817, 628, 403, 10, 70, "Input",ExpressionUUID->"7c89fdbd-8376-4ccb-959f-3a2c7c724853"],
Cell[25223, 640, 2077, 44, 70, "Output",ExpressionUUID->"6e17fc08-1698-4088-ab3a-24a90d580521"]
}, Open  ]],
Cell[CellGroupData[{
Cell[27337, 689, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"f6ca764e-336a-480d-9e85-d4d85631e369"],
Cell[27564, 696, 108, 0, 70, "ExampleText",ExpressionUUID->"8484e978-2b05-4923-a09d-1bfc7bb74dd0"],
Cell[CellGroupData[{
Cell[27697, 700, 406, 10, 70, "Input",ExpressionUUID->"faa5438b-8c67-420e-a0a6-652172fca6b8"],
Cell[28106, 712, 290, 6, 70, "Output",ExpressionUUID->"1894aebb-6235-46ac-83eb-027b19e9ba8f"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[28445, 724, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"2afb134d-5561-4fd8-b693-6ef035511007"],
Cell[28672, 731, 224, 3, 70, "ExampleText",ExpressionUUID->"0309aaa1-34a3-481d-9230-538b860b1f96"],
Cell[CellGroupData[{
Cell[28921, 738, 293, 6, 70, "Input",ExpressionUUID->"8b3ca6e6-cc88-4aba-840d-695778e28c74"],
Cell[29217, 746, 377, 7, 70, "Output",ExpressionUUID->"d6a1c3b5-572b-4269-a442-543484c72193"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[29655, 760, 1227, 31, 70, "ExampleSection",ExpressionUUID->"bea12920-3168-4817-b9f9-47cac8070701",
 CellID->1293636265],
Cell[30885, 793, 197, 3, 70, "ExampleText",ExpressionUUID->"6c9a6956-ed17-4f30-81c5-05ef87a50d55"],
Cell[CellGroupData[{
Cell[31107, 800, 477, 11, 70, "Input",ExpressionUUID->"9e0f1e65-8d25-427f-a1d8-2868d5253031"],
Cell[31587, 813, 670, 14, 70, "Output",ExpressionUUID->"133f1858-2ac7-4281-aa96-9282b0a80d5f"]
}, Open  ]],
Cell[CellGroupData[{
Cell[32294, 832, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"3d3c4066-91f2-480a-80a8-83a1ec492096"],
Cell[32521, 839, 390, 8, 70, "ExampleText",ExpressionUUID->"199fe976-0cb9-418a-b04b-285eb87c37e1"],
Cell[CellGroupData[{
Cell[32936, 851, 512, 12, 70, "Input",ExpressionUUID->"8456264a-255f-4320-91b7-bfeb2ac98ce8"],
Cell[33451, 865, 617, 12, 70, "Output",ExpressionUUID->"0607782a-1810-479c-b58e-988521a0e57c"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[34117, 883, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"cdbedea8-a937-4ea3-9a40-37198a233f11"],
Cell[34344, 890, 192, 3, 70, "ExampleText",ExpressionUUID->"8ba36b66-209f-4101-b7e4-f2b7a88e0738"],
Cell[CellGroupData[{
Cell[34561, 897, 344, 8, 70, "Input",ExpressionUUID->"16b23cce-5641-422f-8041-4afb25b30dbd"],
Cell[34908, 907, 1503, 30, 70, "Output",ExpressionUUID->"5a85da97-64fc-4231-b78a-ddcdc64f657a"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[36460, 943, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"ad7384f9-3c50-4657-b80a-3937d60dcc47"],
Cell[36687, 950, 150, 2, 70, "ExampleText",ExpressionUUID->"e7c3aa88-e0e2-43b1-9289-61b247905976"],
Cell[CellGroupData[{
Cell[36862, 956, 224, 4, 70, "Input",ExpressionUUID->"a9d152b1-4e35-44da-beb5-2717e5f5f534"],
Cell[37089, 962, 177, 3, 70, "Output",ExpressionUUID->"12a11b8b-a352-40f6-8a3e-593a7d322a05"]
}, Open  ]]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[37327, 972, 1229, 31, 70, "ExampleSection",ExpressionUUID->"c68d2dd6-3542-45dd-acb8-70e3c9071b83",
 CellID->2061341341],
Cell[38559, 1005, 128, 0, 70, "ExampleText",ExpressionUUID->"9d72117e-7ccd-4ab6-a511-69a46ed79518"],
Cell[CellGroupData[{
Cell[38712, 1009, 472, 9, 70, "Input",ExpressionUUID->"77d8d441-5a1e-4631-a11e-4f71c0303822"],
Cell[39187, 1020, 143, 2, 70, "Output",ExpressionUUID->"e7bffe71-9e68-4261-a832-5a7d4d22117e"]
}, Open  ]],
Cell[CellGroupData[{
Cell[39367, 1027, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"5309af6b-41ab-4e59-a5b4-8a951f8f6b48"],
Cell[39594, 1034, 233, 3, 70, "ExampleText",ExpressionUUID->"5db597f9-7231-4271-bbc0-e65c8bae1b2d"],
Cell[CellGroupData[{
Cell[39852, 1041, 592, 13, 70, "Input",ExpressionUUID->"ea89cd91-2114-4850-8c1a-96d1b80a7947"],
Cell[40447, 1056, 350, 7, 70, "Output",ExpressionUUID->"cfcca0c3-a64c-45e0-a5cb-535d0b7fc20a"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[40846, 1069, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"74b5ac01-fa4d-467e-b391-1fd23058b52e"],
Cell[41073, 1076, 330, 6, 70, "ExampleText",ExpressionUUID->"0ce25517-9e10-423d-b3c6-85176fb5a1b6"],
Cell[CellGroupData[{
Cell[41428, 1086, 378, 7, 70, "Input",ExpressionUUID->"cf3a13bd-ed36-4a1a-b98c-da030c5695dd"],
Cell[41809, 1095, 167, 2, 70, "Output",ExpressionUUID->"06e9e8d9-a0f5-40e3-ba15-15f77c456be8"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[42025, 1103, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"eb529e5a-e1f9-4e7f-99df-1f81a0675d98"],
Cell[42252, 1110, 359, 7, 70, "ExampleText",ExpressionUUID->"2e6f0f9a-4bdc-494a-8d2e-ae98941bc05c"],
Cell[CellGroupData[{
Cell[42636, 1121, 372, 7, 70, "Input",ExpressionUUID->"4cc47724-3f37-4e55-aea9-020f403ca995"],
Cell[43011, 1130, 111, 1, 70, "Output",ExpressionUUID->"423bf08a-cd41-48a3-b393-b3433c04dafa"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[43171, 1137, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"9cfcfa03-c6ae-491e-b25e-c9c80895b727"],
Cell[43398, 1144, 442, 12, 70, "ExampleText",ExpressionUUID->"98651a33-8bdc-4dd0-a2b2-5c213fcf1b53"],
Cell[CellGroupData[{
Cell[43865, 1160, 439, 8, 70, "Input",ExpressionUUID->"4bb5473b-8573-4642-a097-bb4d71175a15"],
Cell[44307, 1170, 124, 2, 70, "Output",ExpressionUUID->"0f8a6dc7-40db-4fbd-a03e-685f578a372b"]
}, Open  ]]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[44492, 1179, 1244, 31, 70, "ExampleSection",ExpressionUUID->"1dd177de-054e-467c-8a64-afc20631d892",
 CellID->2123667759],
Cell[45739, 1212, 889, 23, 70, "ExampleText",ExpressionUUID->"0287565a-d631-451d-9d9e-e8fa316fd6e4"],
Cell[CellGroupData[{
Cell[46653, 1239, 428, 10, 70, "Input",ExpressionUUID->"85d72007-ab3c-49e6-8743-bf5f07b917f5"],
Cell[47084, 1251, 110, 1, 70, "Output",ExpressionUUID->"da2174af-f4d7-41d2-90f1-461cdb37a604"]
}, Open  ]],
Cell[CellGroupData[{
Cell[47231, 1257, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"3fde4335-0150-41fe-a270-d149ab8345d5"],
Cell[47458, 1264, 708, 19, 70, "ExampleText",ExpressionUUID->"cf33770d-ead8-44c6-be85-c1d826ba7e55"],
Cell[CellGroupData[{
Cell[48191, 1287, 375, 8, 70, "Input",ExpressionUUID->"bce0ca8c-fc5c-4401-8871-6a532631c324"],
Cell[48569, 1297, 114, 1, 70, "Output",ExpressionUUID->"76ee6a74-8f20-4550-8e77-da881dffc3fb"]
}, Open  ]]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[48744, 1305, 1237, 31, 70, "ExampleSection",ExpressionUUID->"bd7b8db4-0e48-477a-beab-7cb7677224d5",
 CellID->1305812373],
Cell[49984, 1338, 231, 3, 70, "ExampleText",ExpressionUUID->"aec28765-8ee3-495b-b018-1df02bfd4af1"],
Cell[CellGroupData[{
Cell[50240, 1345, 472, 9, 70, "Input",ExpressionUUID->"8f871f21-a231-448b-a8ac-918b438929eb"],
Cell[50715, 1356, 143, 2, 70, "Output",ExpressionUUID->"d9a4d46b-b1e7-4e8c-b15b-b564dfed7c39"]
}, Open  ]],
Cell[CellGroupData[{
Cell[50895, 1363, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"9016a27f-4eb4-489a-a441-0c76ebf8f8a1"],
Cell[51122, 1370, 354, 7, 70, "ExampleText",ExpressionUUID->"20e5a85d-ad41-47e3-b7c7-f8ec2055594f"],
Cell[CellGroupData[{
Cell[51501, 1381, 523, 11, 70, "Input",ExpressionUUID->"862981ee-00fe-4a28-9cf6-e8ebd181097e"],
Cell[52027, 1394, 167, 2, 70, "Output",ExpressionUUID->"96c8e21c-7db9-4f2d-b496-c3ff29c55d8d"]
}, Open  ]]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[52245, 1402, 3172, 82, 70, "SeeAlsoSection",ExpressionUUID->"6557a6af-38cb-47ac-994a-72f906dea111"],
Cell[55420, 1486, 678, 18, 70, "MoreAboutSection",ExpressionUUID->"68bf1994-bc26-40a7-a13d-e354cb853079"],
Cell[56101, 1506, 78, 0, 70, "FooterCell",ExpressionUUID->"4593d1d8-87ca-4e15-bd74-4b004dace50f"]
}
]
*)

(* End of internal cache information *)

