addrbookFor publishers
← The evidence ledger

Evidence row 565929

Observed , by probe.mcp/1.

Kind
mcp.tools
About
endpoint 74d0de6a-08ee-4585-9e5a-c26393976335
Recorded
Previous row
None: the first of its kind about this subject
Body SHA-256
2016e305df65ad2adbd62fc436a20d51ac6ee5e969438771bffca01bee3c99b0
Leaf
0xc31b797d9489fb2edd8350aa2f425894fa734112b4dc4f5bf1935b188bdb60c0

What was observed

{
  "count": 4,
  "tools": [
    {
      "description": "指定した日付(date)の翌日から数えてN営業日目(days)の日付を返します。dateの当日は数えません。daysが負の場合は過去方向(dateの前日から遡ってN営業日目)に計算します。土日・日本の祝日を除外し、calendar=\"banking\"を指定すると銀行休業日(12/31〜1/3)も除外します。dateが営業日かどうかだけ知りたい場合は is_holiday を使ってください(days=0でも同じ情報がskipped経由で得られます)。入力例: {\"date\": \"2026-07-10\", \"days\": 3}",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "properties": {
          "calendar": {
            "description": "\"standard\"(既定)または\"banking\"(銀行休業日も除外)。",
            "type": "string"
          },
          "date": {
            "description": "起点日 YYYY-MM-DD。例: \"2026-07-10\"。この日自体は数えません。",
            "type": "string"
          },
          "days": {
            "description": "何営業日先(正)/前(負)かを表す整数。0も指定可: dateをそのまま返し、dateが非営業日ならskippedに1件(date自身とその理由)を記録します。",
            "type": "number"
          },
          "extra_closed_dates": {
            "description": "顧客固有の追加休業日(YYYY-MM-DD の配列)。例: [\"2026-12-29\", \"2026-12-30\"]",
            "items": {
              "type": "string"
            },
            "type": "array"
          }
        },
        "required": [
          "date",
          "days"
        ],
        "type": "object"
      },
      "name": "add_business_days"
    },
    {
      "description": "from〜to間の営業日数を数えます。既定では「fromを含まず、toを含む」境界です(例:「今日から支払期日まで何営業日か」)。include_from/include_toで境界を変更できます。土日・日本の祝日を除外し、calendar=\"banking\"を指定すると銀行休業日(12/31〜1/3)も除外します。from > to の場合はエラーにせず、from/toとinclude_from/include_toを入れ替えて計算した結果の符号を反転した値(負の営業日数)を返します(反対称則: count(A,B,x,y) = -count(B,A,y,x)。A≠B、すなわちfrom≠toの場合に成立する恒等式で、from===toはこの分岐に入らないため対象外)。入力例: {\"from\": \"2026-07-10\", \"to\": \"2026-07-20\"}",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "properties": {
          "calendar": {
            "description": "\"standard\"(既定)または\"banking\"(銀行休業日も除外)。",
            "type": "string"
          },
          "extra_closed_dates": {
            "description": "顧客固有の追加休業日(YYYY-MM-DD の配列)。例: [\"2026-12-29\", \"2026-12-30\"]",
            "items": {
              "type": "string"
            },
            "type": "array"
          },
          "from": {
            "description": "起点日 YYYY-MM-DD。例: \"2026-07-10\"。",
            "type": "string"
          },
          "include_from": {
            "description": "fromを営業日数に含めるか。既定はfalse。",
            "type": "boolean"
          },
          "include_to": {
            "description": "toを営業日数に含めるか。既定はtrue。",
            "type": "boolean"
          },
          "to": {
            "description": "終点日 YYYY-MM-DD。例: \"2026-07-20\"。fromより前の日付も指定可(結果は負の営業日数になります)。",
            "type": "string"
          }
        },
        "required": [
          "from",
          "to"
        ],
        "type": "object"
      },
      "name": "business_days_between"
    },
    {
      "description": "指定した日付が日本の祝日(国民の祝日・休日)かどうかを判定します。内閣府公表データに基づきます。入力例: {\"date\": \"2026-01-01\"}",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "properties": {
          "date": {
            "description": "YYYY-MM-DD形式の日付。例: \"2026-01-01\"",
            "type": "string"
          }
        },
        "required": [
          "date"
        ],
        "type": "object"
      },
      "name": "is_holiday"
    },
    {
      "description": "指定した年または期間の日本の祝日一覧を返します。入力例: {\"year\": 2026} または {\"from\": \"2026-01-01\", \"to\": \"2026-06-30\"}",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "properties": {
          "from": {
            "description": "期間開始日 YYYY-MM-DD。例: \"2026-01-01\"。yearとは併用不可。",
            "type": "string"
          },
          "to": {
            "description": "期間終了日 YYYY-MM-DD。例: \"2026-06-30\"。yearとは併用不可。",
            "type": "string"
          },
          "year": {
            "description": "西暦年。例: 2026。from/toとは併用不可。",
            "maximum": 9007199254740991,
            "minimum": -9007199254740991,
            "type": "integer"
          }
        },
        "type": "object"
      },
      "name": "list_holidays"
    }
  ]
}

What the leaf hashes

{"body":"2016e305df65ad2adbd62fc436a20d51ac6ee5e969438771bffca01bee3c99b0","id":565929,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793138300924314,"prev":null,"subject":"74d0de6a-08ee-4585-9e5a-c26393976335","subject_kind":"endpoint"}

Proof

Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (273461 rows).

  1. 0xc31b242211065d7c0c686bb4d5f4a5b3433d8e3d7aba49ff8cca54d1ccec345a
  2. 0x6fb4eba6e0a8ab1799977f6ceada91b3456909f0d42b682d6870cdace4084e6b
  3. 0x445d0a9583becc0555f8f19bf13dd83aca312147b76c9186c26d16a67dfcf423
  4. 0xb498068093d276f4d2c08702d64769af8fe27b301df090596a7ad8f7a4d2a04a
  5. 0x97bc285f5621dcd4180765550a2ef348c3f693e0925ed7a9975c04959ce7b01a
  6. 0x531ccb2f15cff51b8ca1f018101ee961649a1dca3d37270a1aa1c61da396549a
  7. 0x3e73b4b2371c760caaa454267964ff08c053fe538a5ded72f1fba5d5b08d998d
  8. 0x07b4a22538708cf73cbcc589545fb7d04fd52cb368f7bb7a63e4968a9eff6f4c
  9. 0xc2b019e99af4ce87ee001b5d015044b330ad7a6e190d18e5ebf9ae689ed96184
  10. 0x5b7bcdbcb325dc332830c77617298c32be1b23b64339a30974a75c6254f430b3
  11. 0xd42fabc45b614023fa5a8deff7b18538443a7a95af9b5415109cc428d27485e6
  12. 0x09c148bbe62d15164b3840b798915bcd800d49ae022a1820cd04cc89b1b4e59a
  13. 0xb48b088603004f0a5232faea4acd65999cbb4832f4c15b0098e853144cb91655
  14. 0x077edf0f29e2a3aa19c876439830696b88f0236fd0b2a3c43c76f38cdd29bb2b
  15. 0x73341bb09dd901ca47f26173883431496e3d98d6b0fb5b89f36218126d46c5d4
  16. 0xa94627de1af0e823832e05a9069b304ecccb8c0cdb8f9cfc4f2039bfb9799dc5
  17. 0xdf1105afdc109de3c09a98fc8a3864159ad964e6f49b635c105a27a1e1f14310
  18. 0x2bf8151e5f157dd183b9de6fa00469551932a7a6e3f33a694895000ac9061197
  19. 0x9fc354c0ea3efc3f1b6548bb77ea902a50f2c9647647ea61592efce2bd795699
Day root
0xdd77e5e99da32c3f154180d63e3c3e6fe11e896a2c6896412ef6b5c4bcf7e795
Chained
0x23bb4dfd09f55c15ac3962f53578e02c6114d5bfd9bb451cf8794fb6e2817ef4
Published
On Arc Testnet: 0xb2ebd83aafeb765a0ce66e76aefb133ed06606c98038fd56191e2bcd1dcb77b4

How to check it · This row as JSON