addrbookFor publishers
← The evidence ledger

Evidence row 579623

Observed , by probe.mcp/1.

Kind
mcp.tools
About
endpoint 2857a098-4be2-4a66-91e8-e400528c3fe7
Recorded
Previous row
None: the first of its kind about this subject
Body SHA-256
901d2a07445d44ccc93225d75058fe633929fb252d7df6c4fac7114b65e525a7
Leaf
0xd79523fdc5e646679f80692ec5a781a361667f3c30f67e7a4f484b4441fb7102

What was observed

{
  "count": 4,
  "tools": [
    {
      "description": "Add or subtract Australian business days from a date for a specified state or territory. Positive numbers move forward and negative numbers move backward. The start date is excluded.",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "properties": {
          "business_days": {
            "description": "Number of business days to shift. Positive = forward, negative = backward, 0 = unchanged.",
            "maximum": 2000,
            "minimum": -2000,
            "type": "integer"
          },
          "date": {
            "description": "Starting date in YYYY-MM-DD format",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "state": {
            "description": "Australian state or territory",
            "enum": [
              "ACT",
              "NSW",
              "NT",
              "QLD",
              "SA",
              "TAS",
              "VIC",
              "WA"
            ],
            "type": "string"
          }
        },
        "required": [
          "date",
          "state",
          "business_days"
        ],
        "type": "object"
      },
      "name": "calculate_australian_business_date"
    },
    {
      "description": "Calculate an Australian deadline using either calendar days or business days, with an explicit start-date counting rule and optional rolling to the next or previous business day when the calculated date is not a business day.",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "properties": {
          "day_type": {
            "description": "business excludes weekends/public holidays; calendar counts every calendar day",
            "enum": [
              "business",
              "calendar"
            ],
            "type": "string"
          },
          "days": {
            "description": "Number of days. Positive moves forward, negative moves backward, 0 keeps the start date.",
            "maximum": 3660,
            "minimum": -3660,
            "type": "integer"
          },
          "include_start_date": {
            "description": "Whether the start date counts. Defaults to false.",
            "type": "boolean"
          },
          "roll_if_non_business_day": {
            "description": "What to do if the unadjusted deadline is not a business day: none, next or previous. Defaults to none.",
            "enum": [
              "none",
              "next",
              "previous"
            ],
            "type": "string"
          },
          "start_date": {
            "description": "Starting date in YYYY-MM-DD format",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "state": {
            "description": "Australian state or territory",
            "enum": [
              "ACT",
              "NSW",
              "NT",
              "QLD",
              "SA",
              "TAS",
              "VIC",
              "WA"
            ],
            "type": "string"
          }
        },
        "required": [
          "start_date",
          "state",
          "days",
          "day_type"
        ],
        "type": "object"
      },
      "name": "calculate_australian_deadline"
    },
    {
      "description": "Check whether a date is a business day in an Australian state or territory and return the previous and next business day.",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "properties": {
          "date": {
            "description": "Date in YYYY-MM-DD format",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "state": {
            "description": "Australian state or territory",
            "enum": [
              "ACT",
              "NSW",
              "NT",
              "QLD",
              "SA",
              "TAS",
              "VIC",
              "WA"
            ],
            "type": "string"
          }
        },
        "required": [
          "date",
          "state"
        ],
        "type": "object"
      },
      "name": "check_australian_business_day"
    },
    {
      "description": "Count business days between two Australian calendar dates for a specified state or territory. Boundary inclusion is explicit so agents do not have to guess the counting rule.",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "properties": {
          "end_date": {
            "description": "End date in YYYY-MM-DD format",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "include_end_date": {
            "description": "Whether to count the end date. Defaults to true.",
            "type": "boolean"
          },
          "include_start_date": {
            "description": "Whether to count the start date. Defaults to false.",
            "type": "boolean"
          },
          "start_date": {
            "description": "Start date in YYYY-MM-DD format",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "state": {
            "description": "Australian state or territory",
            "enum": [
              "ACT",
              "NSW",
              "NT",
              "QLD",
              "SA",
              "TAS",
              "VIC",
              "WA"
            ],
            "type": "string"
          }
        },
        "required": [
          "start_date",
          "end_date",
          "state"
        ],
        "type": "object"
      },
      "name": "count_australian_business_days"
    }
  ]
}

What the leaf hashes

{"body":"901d2a07445d44ccc93225d75058fe633929fb252d7df6c4fac7114b65e525a7","id":579623,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793143503263626,"prev":null,"subject":"2857a098-4be2-4a66-91e8-e400528c3fe7","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. 0xd794f626fe80f27ef45de3abe64383fc410c233d08388c9ea92190b0fb1b7a1a
  2. 0xe643b1b7f10c7bc5d9e26e19a318dc2aa679c6caceed07a4d7765c924405267d
  3. 0xf63d35c7eafe8dc1992900c14609d049077a53dc34101adcf82fe87380663a0d
  4. 0xdb72736ad44c18210d50983ad806c15272ba45f7b9f54ac0abebdfb3eaf3a130
  5. 0x7e4b8ab9ecd8a5ae67b8559ee8179b1cb1b14c5115c183675315aa2af9a75643
  6. 0xd90d478b0f8fd433b3180ed6e91e1ea08ef907e2fad895c56489279c77666f7b
  7. 0xee0db7e96578284364d9d4a3b39babde85ddfaa0b36fba7c0e5d74c250e2bd82
  8. 0x3851376b078ad772aa65af8a7587d84985e3c3392382fbfb81eb7990e7d5f3fe
  9. 0x85d82ce945cf32d4fb722850d99be840a4371ab16d7d9b1473e6b96d9a92992a
  10. 0xeb2c9a0077c4e6cc1821748113ffc3105b5e1b3ac82ddfc34e05c32d8a74e8e8
  11. 0x807e77d42f625dac358f37d10caacce52866320df38cdced6736077e9aa00004
  12. 0x849261a3d4118e022f8782d6166f4778e44fb4b1ae758bb02cd94e56b5df0896
  13. 0x13692b463800846f580925c8ea49b43f92b7df3f9e8d32b8a18802640cca3780
  14. 0xd59f3e577867f5105dd7f75598f16da8286185e426dfcdafb84e733fde2b2492
  15. 0x24e3e2bb8ee1e8d20756de35f0e0c4ec8eb1f193bd2cf3f077ee1f92f211c34d
  16. 0x8745bd887f5ce9f7a49558fd2b04cdcd97a05ea9f8a23f62d0e80cb13d328b0f
  17. 0xdf1105afdc109de3c09a98fc8a3864159ad964e6f49b635c105a27a1e1f14310
  18. 0x2bf8151e5f157dd183b9de6fa00469551932a7a6e3f33a694895000ac9061197
  19. 0x9fc354c0ea3efc3f1b6548bb77ea902a50f2c9647647ea61592efce2bd795699
Day root
0xdd77e5e99da32c3f154180d63e3c3e6fe11e896a2c6896412ef6b5c4bcf7e795
Chained
0x23bb4dfd09f55c15ac3962f53578e02c6114d5bfd9bb451cf8794fb6e2817ef4
Published
On Arc Testnet, block 69414147: 0xb2ebd83aafeb765a0ce66e76aefb133ed06606c98038fd56191e2bcd1dcb77b4

How to check it · This row as JSON