Computus

Computus: two Easter reckonings

Are these dates expressed on the same calendar axis?

What this scene lets you inspect

The native collection queries return numeric dates in their own calendars. The interactive calendar workbench can compare them on a Gregorian axis. Read the calendar identity and returned fields together before comparing two date values.

Native collection queries preserve the returned numeric date representation. Compare own-calendar dates with the Gregorian axis.

Read the source passages

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Supplied facts → recorded answers

Each card is one query, including its step in a recorded case. Open the inputs to see exactly what was supplied.

collect · step 1 / 1

Easter date in its own calendar

Case: 2025 · Julian · own calendar

Returned collectionEvaluation: COMPUTED

Returned collection (1)

[
  {
    "fields": {
      "day": {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Number"
        },
        "value": "7/1"
      },
      "month": {
        "id": "urn:vat:clir:computus#April",
        "kind": "const_ref"
      }
    },
    "kind": "record",
    "type": {
      "name": "urn:demo:calendar#Date"
    }
  }
]

Supplied inputs & evaluation context

positive Reckoning year (Julian, 2025)
positive Reckoning paschalion (Julian, Julian)
positive Century corrections/input (2025)

legalTime: 2026-08-31
decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

1 stated expectations verified · Demo collection-query date expectation verified

Result: sha256:3ac03a3da1e2e1ca88274ceed7fcd379fd9da5138fcf795017bf291141e74163
Proof: sha256:e5bc87a7af2d8eba574f9a93280b2778f7c89a32f357bb12e9484088d8e07684
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

collect · step 1 / 1

Easter date on the Gregorian axis

Case: 2025 · Julian · Gregorian axis

Returned collectionEvaluation: COMPUTED

Returned collection (1)

[
  {
    "fields": {
      "day": {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Number"
        },
        "value": "20/1"
      },
      "month": {
        "id": "urn:vat:clir:computus#April",
        "kind": "const_ref"
      }
    },
    "kind": "record",
    "type": {
      "name": "urn:demo:calendar#Date"
    }
  }
]

Supplied inputs & evaluation context

positive Reckoning year (Julian, 2025)
positive Reckoning paschalion (Julian, Julian)
positive Century corrections/input (2025)

legalTime: 2026-08-31
decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

1 stated expectations verified · Demo collection-query date expectation verified

Result: sha256:db0fef66f232f712009545d8ad98658a903ffba15c59bb7ef163cfbaa35bca0c
Proof: sha256:70191bd65ef0fc8806e6c318ab142e510f999a319edce48f667080bba561ee49
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

collect · step 1 / 1

Easter date in its own calendar

Case: 2025 · Gregorian · own calendar

Returned collectionEvaluation: COMPUTED

Returned collection (1)

[
  {
    "fields": {
      "day": {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Number"
        },
        "value": "20/1"
      },
      "month": {
        "id": "urn:vat:clir:computus#April",
        "kind": "const_ref"
      }
    },
    "kind": "record",
    "type": {
      "name": "urn:demo:calendar#Date"
    }
  }
]

Supplied inputs & evaluation context

positive Reckoning year (Gregorian, 2025)
positive Reckoning paschalion (Gregorian, Gregorian)
positive Century corrections/input (2025)

legalTime: 2026-08-31
decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

1 stated expectations verified · Demo collection-query date expectation verified

Result: sha256:945f581e8f0be4ba368d28c9d21e86e451d668c9e049a09f0c532bb492fb9a44
Proof: sha256:7af4ed0aedc033b07c03c76e81f7218d771bd26d74471b803cafa0d9c44d96ba
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

collect · step 1 / 1

Easter date on the Gregorian axis

Case: 2025 · Gregorian · Gregorian axis

Returned collectionEvaluation: COMPUTED

Returned collection (1)

[
  {
    "fields": {
      "day": {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Number"
        },
        "value": "20/1"
      },
      "month": {
        "id": "urn:vat:clir:computus#April",
        "kind": "const_ref"
      }
    },
    "kind": "record",
    "type": {
      "name": "urn:demo:calendar#Date"
    }
  }
]

Supplied inputs & evaluation context

positive Reckoning year (Gregorian, 2025)
positive Reckoning paschalion (Gregorian, Gregorian)
positive Century corrections/input (2025)

legalTime: 2026-08-31
decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

1 stated expectations verified · Demo collection-query date expectation verified

Result: sha256:e267ead1873ef9ef7d5416d42bb942857074ab0da61e1f0eac568f638a6d9c7d
Proof: sha256:07922c3d3b2040f62915e819644fa555dfa4807b919942679addffa97c833831
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

collect · step 1 / 1

Easter date in its own calendar

Case: 1981 · Gregorian · own calendar

Returned collectionEvaluation: COMPUTED

Returned collection (1)

[
  {
    "fields": {
      "day": {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Number"
        },
        "value": "19/1"
      },
      "month": {
        "id": "urn:vat:clir:computus#April",
        "kind": "const_ref"
      }
    },
    "kind": "record",
    "type": {
      "name": "urn:demo:calendar#Date"
    }
  }
]

Supplied inputs & evaluation context

positive Reckoning year (Gregorian, 1981)
positive Reckoning paschalion (Gregorian, Gregorian)
positive Century corrections/input (1981)

legalTime: 2026-08-31
decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

1 stated expectations verified · Demo collection-query date expectation verified

Result: sha256:17e19b70f1927db3ed2e1b4cf40ad940a6d623b9b1cc169473f88d49b9f01e9b
Proof: sha256:a8c41bf821e567dc3a241e3f105016724a82203bd8ab23fc3f8a7b4171172ca8
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

collect · step 1 / 1

Easter date in its own calendar

Case: 2024 · Gregorian · own calendar

Returned collectionEvaluation: COMPUTED

Returned collection (1)

[
  {
    "fields": {
      "day": {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Integer"
        },
        "value": 31
      },
      "month": {
        "id": "urn:vat:clir:computus#March",
        "kind": "const_ref"
      }
    },
    "kind": "record",
    "type": {
      "name": "urn:demo:calendar#Date"
    }
  }
]

Supplied inputs & evaluation context

positive Reckoning year (Gregorian, 2024)
positive Reckoning paschalion (Gregorian, Gregorian)
positive Century corrections/input (2024)

legalTime: 2026-08-31
decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

1 stated expectations verified · Demo collection-query date expectation verified

Result: sha256:2f8baabe6d864419881aeaf30e461159f15cd1444c76eedf6ed6b5aa9661e9d2
Proof: sha256:2b0cfbe04c66aa3cc645dfe2f47596de4420c8b797c35b572387cbb3b9a0d9b9
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

collect · step 1 / 1

Easter date in its own calendar

Case: 2024 · Julian · own calendar

Returned collectionEvaluation: COMPUTED

Returned collection (1)

[
  {
    "fields": {
      "day": {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Number"
        },
        "value": "22/1"
      },
      "month": {
        "id": "urn:vat:clir:computus#April",
        "kind": "const_ref"
      }
    },
    "kind": "record",
    "type": {
      "name": "urn:demo:calendar#Date"
    }
  }
]

Supplied inputs & evaluation context

positive Reckoning year (Julian, 2024)
positive Reckoning paschalion (Julian, Julian)
positive Century corrections/input (2024)

legalTime: 2026-08-31
decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

1 stated expectations verified · Demo collection-query date expectation verified

Result: sha256:e2f368d5f8ff831b4fd8b762c1276e9f5c2a0c8ad0ad3285a99b6981ad62da43
Proof: sha256:2e7945a010c81e2da9d2bb304010d99177f53e2f86993e30955b482111b72f0b
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

collect · step 1 / 1

Easter date on the Gregorian axis

Case: 2024 · Julian · Gregorian axis

Returned collectionEvaluation: COMPUTED

Returned collection (1)

[
  {
    "fields": {
      "day": {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Number"
        },
        "value": "5/1"
      },
      "month": {
        "id": "urn:vat:clir:computus#May",
        "kind": "const_ref"
      }
    },
    "kind": "record",
    "type": {
      "name": "urn:demo:calendar#Date"
    }
  }
]

Supplied inputs & evaluation context

positive Reckoning year (Julian, 2024)
positive Reckoning paschalion (Julian, Julian)
positive Century corrections/input (2024)

legalTime: 2026-08-31
decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

1 stated expectations verified · Demo collection-query date expectation verified

Result: sha256:7d4a9381f26486c76af7685dee289ace369600e722f96684542042a086a81b83
Proof: sha256:c8b4594e4d513a122be45a9702d181ebd56880c827af025fecdaa58eb3ea2f8c
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Easter march day (1981 G, 57)

Case: Urn:query:computus gauss 1981 base defeated

No support derivedEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (1981 G, 1981)
positive Reckoning paschalion (1981 G, Gregorian)
positive Lunar shift (1981 G, 24)
positive Weekday shift (1981 G, 5)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:44054b94d5c84aeefb82917a7cf04c2de83585e46711adaada88eb3e0f3ccf3c
Proof: sha256:105c1332925391e88790d9351f0d42afd12399dc4fe22bf6f8ccd9089c63d676
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Paschalia coincide (2025 J, 2025 G)

Case: VAT COMP 04 2025 PASCHALIA COINCIDE

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (2025 J, 2025)
positive Reckoning paschalion (2025 J, Julian)
positive Century corrections/input (2025)
positive Reckoning year (2025 G, 2025)
positive Reckoning paschalion (2025 G, Gregorian)
positive Century corrections/input (2025)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:29dadf9ec1c5dfff514187533ce8ae6d96ae6d551e030b0f2348ce2f70c55eee
Proof: sha256:239cce6714dbfad4ed88a7ef5d3913cd00a561f4e9a096c892f9173cced66722
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Paschalia diverge (2025 J, 2025 G)

Case: VAT COMP 05 2025 PASCHALIA DO NOT DIVERGE

No support derivedEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (2025 J, 2025)
positive Reckoning paschalion (2025 J, Julian)
positive Century corrections/input (2025)
positive Reckoning year (2025 G, 2025)
positive Reckoning paschalion (2025 G, Gregorian)
positive Century corrections/input (2025)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:f8b1ee4ef45a2595496f8e4500a675c2c2c51444661c5667f6d3fe0f2a51b7a5
Proof: sha256:f47884f7d31899848d31c129027394ddb790e480fb7ec882e71586da4f14693f
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Easter calendar date (2026 J, March, 30)

Case: VAT COMP 07 2026 JULIAN 30 MARCH

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (2026 J, 2026)
positive Reckoning paschalion (2026 J, Julian)
positive Century corrections/input (2026)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:4f8bdfdbdd601d6fd25901291c0b3b757ba12e650db3584e808c5dcf36f8ef82
Proof: sha256:b2f756c508b89183ba5adb1e8d239fd31054101f39dd06861ac3ae7d419bc08d
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Paschalia diverge (2026 J, 2026 G)

Case: VAT COMP 09 2026 PASCHALIA DIVERGE

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (2026 J, 2026)
positive Reckoning paschalion (2026 J, Julian)
positive Century corrections/input (2026)
positive Reckoning year (2026 G, 2026)
positive Reckoning paschalion (2026 G, Gregorian)
positive Century corrections/input (2026)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:3b798aa4b928da4006539a42dab2c3f043ba68ba48a31ff2f0e8e4bfd00b0c04
Proof: sha256:6234fe6efe414987c38242bb0a3746f4b324b121817609a1f85e5189ba2c7e1f
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Paschalia coincide (2026 J, 2026 G)

Case: VAT COMP 10 2026 PASCHALIA DO NOT COINCIDE

No support derivedEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (2026 J, 2026)
positive Reckoning paschalion (2026 J, Julian)
positive Century corrections/input (2026)
positive Reckoning year (2026 G, 2026)
positive Reckoning paschalion (2026 G, Gregorian)
positive Century corrections/input (2026)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:d97e62fe73952d9039607cf5569769417ba9d19a3d82ce69ddddd8fa7a4362ef
Proof: sha256:ba1728892425b996b6ea8d39fbee42b8fa4f744ea7945c9baa980f9cebd36e98
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Easter march day (1981 G, 57)

Case: VAT COMP 12 1981 BASE DAY DEFEATED

No support derivedEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (1981 G, 1981)
positive Reckoning paschalion (1981 G, Gregorian)
positive Century corrections/input (1981)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:c739e64a7fecd96e42ed24e8b93cb16e2e2850b0da93c52fa1decef5343b7ffa
Proof: sha256:1554c5cfae5346c745c23188b47906e6827487ca86fcd5216b9d61a988e97ec5
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Gauss exception (1981 G)

Case: VAT COMP 13 1981 GAUSS EXCEPTION MARKED

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (1981 G, 1981)
positive Reckoning paschalion (1981 G, Gregorian)
positive Century corrections/input (1981)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:ae022c2529d60ee3286286c55cae5511118e295e0e1fb063ab6ac7c36a8523bd
Proof: sha256:13a9e625cb79f045db44b3fa0d4bc868af77eeafb11b805cf34a9ae62e784032
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Easter march day (1954 G, 56)

Case: VAT COMP 15 1954 BASE DAY DEFEATED

No support derivedEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (1954 G, 1954)
positive Reckoning paschalion (1954 G, Gregorian)
positive Century corrections/input (1954)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:063acc8313279b334f305e6c960cd7513ce55ade5529cbc6b6d7bdeda5f385bd
Proof: sha256:4ecf573428f29db6d24cca03f537b75e35a85e22698c8694ad6c7aabdb5e3794
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Gauss exception (1954 G)

Case: VAT COMP 16 1954 GAUSS EXCEPTION MARKED

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (1954 G, 1954)
positive Reckoning paschalion (1954 G, Gregorian)
positive Century corrections/input (1954)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:5b1ba3f8a8229f9977daf98a73131018b912359fce6156d63a3a4ee688b208d4
Proof: sha256:14f9ed2a41bbf3e9c150e8a37e8a12e5c669b8a64c1ab3aec80eba65c7320719
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Gauss exception (1981 J)

Case: VAT COMP 17 1981 JULIAN HAS NO GAUSS EXCEPTION

No support derivedEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (1981 J, 1981)
positive Reckoning paschalion (1981 J, Julian)
positive Century corrections/input (1981)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:bc5c51c3c14d74f2eeae4b052d403d8067c0d479dc9ce48366f0368d46afe1a1
Proof: sha256:68321ee8729886dfda93d7c3f871646856c3063b4b8704f28df11945fe1b88a1
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Easter calendar date (1818 G, March, 22)

Case: VAT COMP 19 1818 EARLIEST 22 MARCH

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (1818 G, 1818)
positive Reckoning paschalion (1818 G, Gregorian)
positive Century corrections/input (1818)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:e077a66629023c6d06e4eee383ac6f0fbfab09ebda387846129268cb78fe39c1
Proof: sha256:1d69b02d013362668085ddfc777b8e208d9fe5f261ef1c26ccfa433c879ee6bf
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Easter within window (1943 G)

Case: VAT COMP 21 1943 WITHIN WINDOW

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (1943 G, 1943)
positive Reckoning paschalion (1943 G, Gregorian)
positive Century corrections/input (1943)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:098d487c0242eaa84d79d1b4695fe936e647a73d469b3c6412cc8c9bcfa21d18
Proof: sha256:78a80cb7610402ed3469721acd82a3bbd025d222b91d7f12b83f1b1bdf3f4043
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Easter outside window (1943 G)

Case: VAT COMP 22 1943 NOT OUTSIDE WINDOW

No support derivedEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (1943 G, 1943)
positive Reckoning paschalion (1943 G, Gregorian)
positive Century corrections/input (1943)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:16e34572dd2e192aec99cb3e4b053ac2362d464bdfbb5f2125566be32ab48019
Proof: sha256:39ca942b83bf30db2d99a82bbc9f892e8113d5a67fdca22c17b74674b2d299f4
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Easter calendar date (2100 G, March, 28)

Case: VAT COMP 27 CENTURY ROW 2100 2199

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (2100 G, 2100)
positive Reckoning paschalion (2100 G, Gregorian)
positive Century corrections/input (2100)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:1e647e1fab268ee41002c2e832431292dbebf1e935e9d3a1352b39458b3c2d51
Proof: sha256:6e9f0e54ecefe976e16205a6219b6361ff174d66153f0f10c3e00841df42c732
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Gregorian paschalion applicable (1583 G)

Case: VAT COMP 28 1583 GREGORIAN APPLICABLE

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (1583 G, 1583)
positive Reckoning paschalion (1583 G, Gregorian)
positive Century corrections/input (1583)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:00a5e3e590aa44abcd285c99ac9f89efb636bf5ab4213baa9d03e72a202a7e22
Proof: sha256:63ec32ec33079e30919b7b8d3a529835d23e2c815c9066c18b8236db7db0c1ad
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Gregorian paschalion not yet introduced (1582 G)

Case: VAT COMP 29 1582 GREGORIAN NOT YET INTRODUCED

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (1582 G, 1582)
positive Reckoning paschalion (1582 G, Gregorian)
positive Century corrections/input (1582)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:57b4782bf6745f4f413e3b379592e93bb435e4ec28264e36576dc6c8867613b2
Proof: sha256:301af2403f104ea6f242be88af152e460a188cfb8fd1d99e776893b648bfeb55
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Lunar shift (2199 G, 24)

Case: VAT COMP 30 2199 CENTURY ROW ESTABLISHED

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (2199 G, 2199)
positive Reckoning paschalion (2199 G, Gregorian)
positive Century corrections/input (2199)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:8e6d9686187dd39840a76ee1f5217795776893c8ec3db17031d4720666a72f11
Proof: sha256:9fbb6fc6eac05e35a53e6d4ce852c3463b647a5262b43ad9b7aca1b2c5a58ade
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Century row not established (2200 G)

Case: VAT COMP 31 2200 CENTURY ROW NOT ESTABLISHED

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (2200 G, 2200)
positive Reckoning paschalion (2200 G, Gregorian)
positive Century corrections/input (2200)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:302c2203bb390b6941ef5fd07ef3e4ac6e9d2e7fc7e77cfa40ebf7745984c476
Proof: sha256:207d700b6b3cdb61d9c32f2a84780b595f7374bce1f0146141689a070355cd47
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Gregorian paschalion not yet introduced (664 G)

Case: VAT COMP 32 WHITBY 664 GREGORIAN NOT YET INTRODUCED

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (664 J, 664)
positive Reckoning paschalion (664 J, Julian)
positive Century corrections/input (664)
positive Reckoning year (664 G, 664)
positive Reckoning paschalion (664 G, Gregorian)
positive Century corrections/input (664)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:ce1b9c9e6993feabd713c3ae3aa34fdb60f967422145898d79d4f0158b795714
Proof: sha256:2a6826198c9bdc8e029b18b27e84246b1126b6dbf277de81c592800d295085af
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Century row not established (664 J)

Case: VAT COMP 33 WHITBY 664 CENTURY ROW NOT ESTABLISHED

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (664 J, 664)
positive Reckoning paschalion (664 J, Julian)
positive Century corrections/input (664)
positive Reckoning year (664 G, 664)
positive Reckoning paschalion (664 G, Gregorian)
positive Century corrections/input (664)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:092841b2e07c1f825d0410c4d354f4849b9b1feaf506081aa9275d2867b95e3a
Proof: sha256:82ce72b8b901029c17fa4df93893185c579ab5fca0ec1971d15d71fd3551f59e
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Paschalia diverge (664 J, 664 G)

Case: VAT COMP 34 WHITBY 664 DIVERGENCE NOT DERIVED

No support derivedEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (664 J, 664)
positive Reckoning paschalion (664 J, Julian)
positive Century corrections/input (664)
positive Reckoning year (664 G, 664)
positive Reckoning paschalion (664 G, Gregorian)
positive Century corrections/input (664)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:268261898594ab3e238c138f38ea9634f0c9706df2505f11d38f52ca0d7158e6
Proof: sha256:59bfbf2280713bf85b690b9d4c74e91e001ef4a1d0f84c69c5dffbf55f09b60e
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Divided observance (1)

Case: VAT COMP 35 DIVIDED COURT IN 2026

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (2026 J, 2026)
positive Reckoning paschalion (2026 J, Julian)
positive Century corrections/input (2026)
positive Reckoning year (2026 G, 2026)
positive Reckoning paschalion (2026 G, Gregorian)
positive Century corrections/input (2026)
positive Court follows (1, 2026 J)
positive Court follows (1, 2026 G)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

3 stated expectations verified · Expectations verified

Result: sha256:097ef9def996d2416cea15fcdf3ab7577afe265a90c597ca6c80b498b9e867d7
Proof: sha256:7246837fbd11e2105bfc1b6c0c3169313c4540d6df509ec513e12cd54beff8b6
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Divided observance (1)

Case: VAT COMP 36 UNDIVIDED COURT IN 2025

No support derivedEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (2025 J, 2025)
positive Reckoning paschalion (2025 J, Julian)
positive Century corrections/input (2025)
positive Reckoning year (2025 G, 2025)
positive Reckoning paschalion (2025 G, Gregorian)
positive Century corrections/input (2025)
positive Court follows (1, 2025 J)
positive Court follows (1, 2025 G)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:61795822dd87fa1f3a063659c505d4d767db5784e353122c91213d7e7cef44a7
Proof: sha256:cfae0232055703da1982da9ca590a11ab8a153a8f2b2247f9b2f1214d38b700e
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Easter within window (2024 J)

Case: VAT COMP 38 2024 JULIAN WITHIN WINDOW

Positive supportEvaluation: COMPUTED

Supplied inputs & evaluation context

positive Reckoning year (2024 J, 2024)
positive Reckoning paschalion (2024 J, Julian)
positive Century corrections/input (2024)

decisionTime: 2026-08-31T12:00:00Z
knowledgeTime: 2026-08-31T12:00:00Z
legalTime: 2026-08-31
timezone: UTC

Computus · Easter and calendar sources · 1:9 Computus · Easter and calendar sources · 1:16 Computus · Easter and calendar sources · 1:22

Inspect this answer and proof ↗

Computation identity

2 stated expectations verified · Expectations verified

Result: sha256:878c77352a2d2f13bfc285a2d25420d1e6081db11ad086ffd710cdf2d14ddf34
Proof: sha256:af86412a936a11df3c6117a0e5964c26b1877a2b600c76976cf3599aa344a478
Program: sha256:174f2487608c657c3cc31a2eb4c50d558d63b0b131cbb9bbc802abe5373535c7
Producer: bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275