← 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).
- 0xc31b242211065d7c0c686bb4d5f4a5b3433d8e3d7aba49ff8cca54d1ccec345a
- 0x6fb4eba6e0a8ab1799977f6ceada91b3456909f0d42b682d6870cdace4084e6b
- 0x445d0a9583becc0555f8f19bf13dd83aca312147b76c9186c26d16a67dfcf423
- 0xb498068093d276f4d2c08702d64769af8fe27b301df090596a7ad8f7a4d2a04a
- 0x97bc285f5621dcd4180765550a2ef348c3f693e0925ed7a9975c04959ce7b01a
- 0x531ccb2f15cff51b8ca1f018101ee961649a1dca3d37270a1aa1c61da396549a
- 0x3e73b4b2371c760caaa454267964ff08c053fe538a5ded72f1fba5d5b08d998d
- 0x07b4a22538708cf73cbcc589545fb7d04fd52cb368f7bb7a63e4968a9eff6f4c
- 0xc2b019e99af4ce87ee001b5d015044b330ad7a6e190d18e5ebf9ae689ed96184
- 0x5b7bcdbcb325dc332830c77617298c32be1b23b64339a30974a75c6254f430b3
- 0xd42fabc45b614023fa5a8deff7b18538443a7a95af9b5415109cc428d27485e6
- 0x09c148bbe62d15164b3840b798915bcd800d49ae022a1820cd04cc89b1b4e59a
- 0xb48b088603004f0a5232faea4acd65999cbb4832f4c15b0098e853144cb91655
- 0x077edf0f29e2a3aa19c876439830696b88f0236fd0b2a3c43c76f38cdd29bb2b
- 0x73341bb09dd901ca47f26173883431496e3d98d6b0fb5b89f36218126d46c5d4
- 0xa94627de1af0e823832e05a9069b304ecccb8c0cdb8f9cfc4f2039bfb9799dc5
- 0xdf1105afdc109de3c09a98fc8a3864159ad964e6f49b635c105a27a1e1f14310
- 0x2bf8151e5f157dd183b9de6fa00469551932a7a6e3f33a694895000ac9061197
- 0x9fc354c0ea3efc3f1b6548bb77ea902a50f2c9647647ea61592efce2bd795699
- Day root
- 0xdd77e5e99da32c3f154180d63e3c3e6fe11e896a2c6896412ef6b5c4bcf7e795
- Chained
- 0x23bb4dfd09f55c15ac3962f53578e02c6114d5bfd9bb451cf8794fb6e2817ef4
- Published
- On Arc Testnet: 0xb2ebd83aafeb765a0ce66e76aefb133ed06606c98038fd56191e2bcd1dcb77b4