Проверка условия
2025 год, юлианская пасхалия: 7 апреля
Результат расчёта
Установлено
Исходные параметры
Что определяем
день Пасхи месяцем и числом в календаре своей пасхалии
Исходные факты
счёт дня Пасхи: один год по одной пасхалии
r: Пасха-2025-юлианскаяОбщий субъект фактов ниже
год, для которого ведётся счёт
year: 2025пасхалия, по которой ведётся счёт
p: Julian
Пакет: Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан
Дополнительные сведения
- Сохранить доказательство
- Да
Исходные данные · JSON
{
"args": [
"Пасха-2025-юлианская",
"April",
7
],
"facts": [
{
"args": [
"Пасха-2025-юлианская",
2025
],
"predicate": "reckoning_year"
},
{
"args": [
"Пасха-2025-юлианская",
"Julian"
],
"predicate": "reckoning_paschalion"
}
],
"kind": "truth",
"legalTime": "2026-08-31",
"package": "vat-computus",
"predicate": "easter_calendar_date",
"proof": true
}Почему такой результатПрименённые правила и условия
Путь вывода15 шагов
- 1факт дела
год, для которого ведётся счёт
r: Пасха-2025-юлианская; year: 2025
- 2правило
Первый остаток есть остаток от деления года на девятнадцать (ст. 4)
11 = 2025 mod 19
ст. 4
Идентификатор
urn:vat:clir:computus#GoldenNumberResidue - 3правило
Второй остаток есть остаток от деления года на четыре (ст. 4)
1 = 2025 mod 4
ст. 4
Идентификатор
urn:vat:clir:computus#LeapCycleResidue - 4правило
Третий остаток есть остаток от деления года на семь (ст. 4)
2 = 2025 mod 7
ст. 4
Идентификатор
urn:vat:clir:computus#WeekdayCycleResidue - 5факт дела
пасхалия, по которой ведётся счёт
r: Пасха-2025-юлианская; p: urn:vat:clir:computus#Julian
- 6правило
Юлианская пасхалия применяется ко всякому году: она старше буллы и не отменена (ст. 2, 9)
к счёту применима юлианская пасхалия: r: Пасха-2025-юлианская
ст. 9
Идентификатор
urn:vat:clir:computus#JulianPaschalionApplicable - 7правило
Лунная постоянная юлианского счёта равна пятнадцати для всякого года (ст. 9)
вековая лунная постоянная счёта: r: Пасха-2025-юлианская; m: 15
ст. 9
Идентификатор
urn:vat:clir:computus#JulianLunarShiftIsFifteen - 8правило
Воскресная постоянная юлианского счёта равна шести для всякого года (ст. 9)
вековая воскресная постоянная счёта: r: Пасха-2025-юлианская; n: 6
ст. 9
Идентификатор
urn:vat:clir:computus#JulianWeekdayShiftIsSix - 9правило
Лунная поправка есть остаток от деления на тридцать суммы первого остатка, умноженного на девятнадцать, и вековой лунной постоянной (ст. 5)
14 = (19 × 11 + 15) mod 30
ст. 5, разд. 10
Идентификатор
urn:vat:clir:computus#LunarCorrection - 10правило
Церковное полнолуние первого месяца есть 21 марта, увеличенное на лунную поправку (ст. 3, 5)
35 = 21 + 14
ст. 3, разд. 7, разд. 10
Идентификатор
urn:vat:clir:computus#EcclesiasticalFullMoon - 11правило
Воскресная поправка есть остаток от деления на семь суммы второго остатка вдвое, третьего вчетверо, лунной поправки вшестеро и вековой воскресной постоянной (ст. 6)
2 = (2 × 1 + 4 × 2 + 6 × 14 + 6) mod 7
ст. 6, разд. 6
Идентификатор
urn:vat:clir:computus#WeekdayCorrection - 12правило
День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
38 = 35 + 1 + 2
ст. 7, разд. 6
Идентификатор
urn:vat:clir:computus#EasterDay - 13правило
День Пасхи не ранее 22 марта и не позднее 25 апреля (ст. 12)
день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля: r: Пасха-2025-юлианская
ст. 12
Идентификатор
urn:vat:clir:computus#EasterWithinWindow - 14правило
День Пасхи свыше 31 в счёте дней марта есть день апреля: число уменьшается на 31 (ст. 13)
7 = 38 − 31
ст. 12, ст. 13
Идентификатор
urn:vat:clir:computus#EasterDateInApril - 15запрос
Вычисление запроса
проверено движком: 13 · факт дела: 2 · Полный граф: 18 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан
День Пасхи свыше 31 в счёте дней марта есть день апреля: число уменьшается на 31 (ст. 13)
Идентификатор
urn:vat:clir:computus#EasterDateInAprilДень Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
Идентификатор
urn:vat:clir:computus#EasterDayДень Пасхи не ранее 22 марта и не позднее 25 апреля (ст. 12)
Идентификатор
urn:vat:clir:computus#EasterWithinWindowЦерковное полнолуние первого месяца есть 21 марта, увеличенное на лунную поправку (ст. 3, 5)
Идентификатор
urn:vat:clir:computus#EcclesiasticalFullMoonПервый остаток есть остаток от деления года на девятнадцать (ст. 4)
Идентификатор
urn:vat:clir:computus#GoldenNumberResidueЛунная постоянная юлианского счёта равна пятнадцати для всякого года (ст. 9)
Идентификатор
urn:vat:clir:computus#JulianLunarShiftIsFifteenЮлианская пасхалия применяется ко всякому году: она старше буллы и не отменена (ст. 2, 9)
Идентификатор
urn:vat:clir:computus#JulianPaschalionApplicableВоскресная постоянная юлианского счёта равна шести для всякого года (ст. 9)
Идентификатор
urn:vat:clir:computus#JulianWeekdayShiftIsSixВторой остаток есть остаток от деления года на четыре (ст. 4)
Идентификатор
urn:vat:clir:computus#LeapCycleResidueЛунная поправка есть остаток от деления на тридцать суммы первого остатка, умноженного на девятнадцать, и вековой лунной постоянной (ст. 5)
Идентификатор
urn:vat:clir:computus#LunarCorrectionВоскресная поправка есть остаток от деления на семь суммы второго остатка вдвое, третьего вчетверо, лунной поправки вшестеро и вековой воскресной постоянной (ст. 6)
Идентификатор
urn:vat:clir:computus#WeekdayCorrectionТретий остаток есть остаток от деления года на семь (ст. 4)
Идентификатор
urn:vat:clir:computus#WeekdayCycleResidue
Вывод по запросу
день Пасхи месяцем и числом в календаре своей пасхалии
r: Пасха-2025-юлианскаяmonth: Aprilday: 7
Другие выводы11
счёт дня Пасхи: один год по одной пасхалии
r: Пасха-2025-юлианскаяОбщий субъект фактов ниже
первый остаток: год по модулю девятнадцать, место года в лунном цикле
a: 11второй остаток: год по модулю четыре, место года в цикле високоса
b: 1третий остаток: год по модулю семь, сдвиг дней недели
c: 2к счёту применима юлианская пасхалия
вековая лунная постоянная счёта
m: 15вековая воскресная постоянная счёта
n: 6лунная поправка: на сколько дней после 21 марта приходится церковное полнолуние
d: 14церковное полнолуние первого месяца в счёте дней марта (ст. 3)
day: 35воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресенья
e: 2день Пасхи в счёте дней марта (19 апреля есть 50 марта)
day: 38день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля
| r | a |
|---|---|
| Пасха-2025-юлианская | 11 |
| r | b |
|---|---|
| Пасха-2025-юлианская | 1 |
| r | c |
|---|---|
| Пасха-2025-юлианская | 2 |
| r |
|---|
| Пасха-2025-юлианская |
| r | m |
|---|---|
| Пасха-2025-юлианская | 15 |
| r | n |
|---|---|
| Пасха-2025-юлианская | 6 |
| r | d |
|---|---|
| Пасха-2025-юлианская | 14 |
| r | day |
|---|---|
| Пасха-2025-юлианская | 35 |
| r | e |
|---|---|
| Пасха-2025-юлианская | 2 |
| r | day |
|---|---|
| Пасха-2025-юлианская | 38 |
| r |
|---|
| Пасха-2025-юлианская |
April
- Пасха-2025-юлианская
| r | month | day |
|---|---|---|
| Пасха-2025-юлианская | April | 7 |
Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Граф доказательств
Узлы доказательств: 18 · assertion 2, rule_application 12, candidate_closure 3, query_evaluation 1
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 2025
- Тип
- literal
- Знак
- positive
- Условие
- reckoning_year
- evidence
- —
- Идентификатор
- fact-1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:GoldenNumberResidue:f9029e84d070f0f3591cfcb22e6a1d4484e001add0f3f97b52921d44c905fb1c
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 11
- Тип
- literal
- Знак
- positive
- Условие
- golden_number_residue
- evidence
- —
- Идентификатор
- f9029e84d070f0f3591cfcb22e6a1d4484e001add0f3f97b52921d44c905fb1c
- Тип
- rule_application
- Посылки
- fact-1
- Правило
- GoldenNumberResidue
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Integer
- value
- 2025
rule_application · urn:proof:apply:LeapCycleResidue:f1105e42d2207f4b5540313ca02e4876e27f94bb06262036d2afff87d38353d9
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 1
- Тип
- literal
- Знак
- positive
- Условие
- leap_cycle_residue
- evidence
- —
- Идентификатор
- f1105e42d2207f4b5540313ca02e4876e27f94bb06262036d2afff87d38353d9
- Тип
- rule_application
- Посылки
- fact-1
- Правило
- LeapCycleResidue
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Integer
- value
- 2025
rule_application · urn:proof:apply:WeekdayCycleResidue:31d65a81958167d2ba66610e7a19ffb7c9bd21beff4b804484a9ca6abb225807
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 2
- Тип
- literal
- Знак
- positive
- Условие
- weekday_cycle_residue
- evidence
- —
- Идентификатор
- 31d65a81958167d2ba66610e7a19ffb7c9bd21beff4b804484a9ca6abb225807
- Тип
- rule_application
- Посылки
- fact-1
- Правило
- WeekdayCycleResidue
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Integer
- value
- 2025
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Идентификатор
- Julian
- Тип
- const_ref
- Тип
- literal
- Знак
- positive
- Условие
- reckoning_paschalion
- evidence
- —
- Идентификатор
- fact-2
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:JulianPaschalionApplicable:e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- julian_paschalion_applicable
- evidence
- —
- Идентификатор
- e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b
- Тип
- rule_application
- Посылки
- fact-2
- Правило
- JulianPaschalionApplicable
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
rule_application · urn:proof:apply:JulianLunarShiftIsFifteen:87383fe226f7ae8f3c14523fe4d9d3a217a06798ce9caf81ec0878b9ddf4d7d7
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 15
- Тип
- literal
- Знак
- positive
- Условие
- lunar_shift
- evidence
- —
- Идентификатор
- 87383fe226f7ae8f3c14523fe4d9d3a217a06798ce9caf81ec0878b9ddf4d7d7
- Тип
- rule_application
- Посылки
- e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b
- Правило
- JulianLunarShiftIsFifteen
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
rule_application · urn:proof:apply:JulianWeekdayShiftIsSix:5a23e0be6c4869c9b59fd1b9b74ea3ce1b1f9acf0121c469014cb6591079b527
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 6
- Тип
- literal
- Знак
- positive
- Условие
- weekday_shift
- evidence
- —
- Идентификатор
- 5a23e0be6c4869c9b59fd1b9b74ea3ce1b1f9acf0121c469014cb6591079b527
- Тип
- rule_application
- Посылки
- e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b
- Правило
- JulianWeekdayShiftIsSix
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
rule_application · urn:proof:apply:LunarCorrection:caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 14
- Тип
- literal
- Знак
- positive
- Условие
- lunar_correction
- evidence
- —
- Идентификатор
- caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1
- Тип
- rule_application
- Посылки
- f9029e84d070f0f3591cfcb22e6a1d4484e001add0f3f97b52921d44c905fb1c
- 87383fe226f7ae8f3c14523fe4d9d3a217a06798ce9caf81ec0878b9ddf4d7d7
- Правило
- LunarCorrection
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Integer
- value
- 11
- v2
- Тип
- value
- type
- name
- Integer
- value
- 15
rule_application · urn:proof:apply:EcclesiasticalFullMoon:ca0a63ca07b6ad0a9642e214b25922aa59528e1015e8270dbc59b187ab82ddf7
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 35
- Тип
- literal
- Знак
- positive
- Условие
- ecclesiastical_full_moon
- evidence
- —
- Идентификатор
- ca0a63ca07b6ad0a9642e214b25922aa59528e1015e8270dbc59b187ab82ddf7
- Тип
- rule_application
- Посылки
- caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1
- Правило
- EcclesiasticalFullMoon
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Integer
- value
- 14
rule_application · urn:proof:apply:WeekdayCorrection:640cd9865ab087b80666d023f8d995cedbbff42ca091967561c5a2b23765f485
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 2
- Тип
- literal
- Знак
- positive
- Условие
- weekday_correction
- evidence
- —
- Идентификатор
- 640cd9865ab087b80666d023f8d995cedbbff42ca091967561c5a2b23765f485
- Тип
- rule_application
- Посылки
- 5a23e0be6c4869c9b59fd1b9b74ea3ce1b1f9acf0121c469014cb6591079b527
- f1105e42d2207f4b5540313ca02e4876e27f94bb06262036d2afff87d38353d9
- caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1
- 31d65a81958167d2ba66610e7a19ffb7c9bd21beff4b804484a9ca6abb225807
- Правило
- WeekdayCorrection
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Integer
- value
- 1
- v2
- Тип
- value
- type
- name
- Integer
- value
- 2
- v3
- Тип
- value
- type
- name
- Integer
- value
- 14
- v4
- Тип
- value
- type
- name
- Integer
- value
- 6
rule_application · urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c
- attributes
- strength
- defeasible
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 38
- Тип
- literal
- Знак
- positive
- Условие
- easter_march_day
- evidence
- —
- Идентификатор
- 2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c
- Тип
- rule_application
- Посылки
- ca0a63ca07b6ad0a9642e214b25922aa59528e1015e8270dbc59b187ab82ddf7
- 640cd9865ab087b80666d023f8d995cedbbff42ca091967561c5a2b23765f485
- Правило
- EasterDay
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Integer
- value
- 35
- v2
- Тип
- value
- type
- name
- Integer
- value
- 2
rule_application · urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f
- attributes
- strength
- defeasible
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- easter_within_window
- evidence
- —
- Идентификатор
- d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f
- Тип
- rule_application
- Посылки
- 2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c
- Правило
- EasterWithinWindow
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Integer
- value
- 38
rule_application · urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e
- attributes
- strength
- defeasible
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Идентификатор
- April
- Тип
- const_ref
- Тип
- value
- type
- name
- Integer
- value
- 7
- Тип
- literal
- Знак
- positive
- Условие
- easter_calendar_date
- evidence
- —
- Идентификатор
- 13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e
- Тип
- rule_application
- Посылки
- 2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c
- d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f
- Правило
- EasterDateInApril
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Integer
- value
- 38
candidate_closure · urn:proof:closure:332f2684997d8c020a57dbb81eaeb70c9bf4e78a5c49b907e04e60f49b31c4e9
- attributes
- allApplicableCandidateIds
- 2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c
- conflictKey
- {"args":[{"id":"urn:mcp:entity:Пасха-2025-юлианская","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":38}],"predicate":"urn:vat:clir:computus#easter_march_day"}
- evaluationInputSemanticHash
- sha256:b4389003ae1e43b5bb7ec7df90cdbcf2a5cccab3be8ffcb30c763e0d44000e49
- priorityGraphHash
- sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284
- programSemanticHash
- sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d
- stratum
- 0
- survivingCandidateIds
- 2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 38
- Тип
- literal
- Знак
- positive
- Условие
- easter_march_day
- evidence
- —
- Идентификатор
- 332f2684997d8c020a57dbb81eaeb70c9bf4e78a5c49b907e04e60f49b31c4e9
- Тип
- candidate_closure
- Посылки
- 2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c
- sourceAnchors
- —
candidate_closure · urn:proof:closure:6a300ea6b421ea2d578f3799645f45c5a74af2337fb508b86763eeb3d9d75e48
- attributes
- allApplicableCandidateIds
- 13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e
- conflictKey
- {"args":[{"id":"urn:mcp:entity:Пасха-2025-юлианская","kind":"entity_ref"},{"id":"urn:vat:clir:computus#April","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":7}],"predicate":"urn:vat:clir:computus#easter_calendar_date"}
- evaluationInputSemanticHash
- sha256:b4389003ae1e43b5bb7ec7df90cdbcf2a5cccab3be8ffcb30c763e0d44000e49
- priorityGraphHash
- sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284
- programSemanticHash
- sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d
- stratum
- 2
- survivingCandidateIds
- 13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Идентификатор
- April
- Тип
- const_ref
- Тип
- value
- type
- name
- Integer
- value
- 7
- Тип
- literal
- Знак
- positive
- Условие
- easter_calendar_date
- evidence
- —
- Идентификатор
- 6a300ea6b421ea2d578f3799645f45c5a74af2337fb508b86763eeb3d9d75e48
- Тип
- candidate_closure
- Посылки
- 13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e
- sourceAnchors
- —
candidate_closure · urn:proof:closure:74d776034a2443e8bb0972ae2327c149afaab1506d45bb8d6c53da1a0ab58c2d
- attributes
- allApplicableCandidateIds
- d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f
- conflictKey
- {"args":[{"id":"urn:mcp:entity:Пасха-2025-юлианская","kind":"entity_ref"}],"predicate":"urn:vat:clir:computus#easter_within_window"}
- evaluationInputSemanticHash
- sha256:b4389003ae1e43b5bb7ec7df90cdbcf2a5cccab3be8ffcb30c763e0d44000e49
- priorityGraphHash
- sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284
- programSemanticHash
- sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d
- stratum
- 1
- survivingCandidateIds
- d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f
- conclusion
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- easter_within_window
- evidence
- —
- Идентификатор
- 74d776034a2443e8bb0972ae2327c149afaab1506d45bb8d6c53da1a0ab58c2d
- Тип
- candidate_closure
- Посылки
- d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f
- sourceAnchors
- —
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Аргументы
- Идентификатор
- Пасха-2025-юлианская
- Тип
- entity_ref
- Идентификатор
- April
- Тип
- const_ref
- Тип
- value
- type
- name
- Integer
- value
- 7
- Тип
- literal
- Знак
- positive
- Условие
- easter_calendar_date
- truthStatus
- Установлено
- evidence
- —
- Идентификатор
- mcp
- Тип
- query_evaluation
- Посылки
- 13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e
- sourceAnchors
- —
Идентификаторы календаря и доказательства
- Ссылка на доказательство
- mcp
Исходное обоснование · JSON
{
"derived": [
"golden_number_residue(Пасха-2025-юлианская, 11)",
"leap_cycle_residue(Пасха-2025-юлианская, 1)",
"weekday_cycle_residue(Пасха-2025-юлианская, 2)",
"julian_paschalion_applicable(Пасха-2025-юлианская)",
"lunar_shift(Пасха-2025-юлианская, 15)",
"weekday_shift(Пасха-2025-юлианская, 6)",
"lunar_correction(Пасха-2025-юлианская, 14)",
"ecclesiastical_full_moon(Пасха-2025-юлианская, 35)",
"weekday_correction(Пасха-2025-юлианская, 2)",
"easter_march_day(Пасха-2025-юлианская, 38)",
"easter_within_window(Пасха-2025-юлианская)",
"easter_calendar_date(Пасха-2025-юлианская, April, 7)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2025
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#reckoning_year"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 11
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#golden_number_residue"
},
"evidence": [],
"id": "urn:proof:apply:GoldenNumberResidue:f9029e84d070f0f3591cfcb22e6a1d4484e001add0f3f97b52921d44c905fb1c",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:vat:clir:computus#GoldenNumberResidue",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2025
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 1
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#leap_cycle_residue"
},
"evidence": [],
"id": "urn:proof:apply:LeapCycleResidue:f1105e42d2207f4b5540313ca02e4876e27f94bb06262036d2afff87d38353d9",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:vat:clir:computus#LeapCycleResidue",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2025
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#weekday_cycle_residue"
},
"evidence": [],
"id": "urn:proof:apply:WeekdayCycleResidue:31d65a81958167d2ba66610e7a19ffb7c9bd21beff4b804484a9ca6abb225807",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:vat:clir:computus#WeekdayCycleResidue",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2025
}
}
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"id": "urn:vat:clir:computus#Julian",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#reckoning_paschalion"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#julian_paschalion_applicable"
},
"evidence": [],
"id": "urn:proof:apply:JulianPaschalionApplicable:e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-2"
],
"rule": "urn:vat:clir:computus#JulianPaschalionApplicable",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 15
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#lunar_shift"
},
"evidence": [],
"id": "urn:proof:apply:JulianLunarShiftIsFifteen:87383fe226f7ae8f3c14523fe4d9d3a217a06798ce9caf81ec0878b9ddf4d7d7",
"kind": "rule_application",
"premises": [
"urn:proof:apply:JulianPaschalionApplicable:e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b"
],
"rule": "urn:vat:clir:computus#JulianLunarShiftIsFifteen",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 6
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#weekday_shift"
},
"evidence": [],
"id": "urn:proof:apply:JulianWeekdayShiftIsSix:5a23e0be6c4869c9b59fd1b9b74ea3ce1b1f9acf0121c469014cb6591079b527",
"kind": "rule_application",
"premises": [
"urn:proof:apply:JulianPaschalionApplicable:e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b"
],
"rule": "urn:vat:clir:computus#JulianWeekdayShiftIsSix",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 14
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#lunar_correction"
},
"evidence": [],
"id": "urn:proof:apply:LunarCorrection:caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1",
"kind": "rule_application",
"premises": [
"urn:proof:apply:GoldenNumberResidue:f9029e84d070f0f3591cfcb22e6a1d4484e001add0f3f97b52921d44c905fb1c",
"urn:proof:apply:JulianLunarShiftIsFifteen:87383fe226f7ae8f3c14523fe4d9d3a217a06798ce9caf81ec0878b9ddf4d7d7"
],
"rule": "urn:vat:clir:computus#LunarCorrection",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 11
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 15
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 35
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#ecclesiastical_full_moon"
},
"evidence": [],
"id": "urn:proof:apply:EcclesiasticalFullMoon:ca0a63ca07b6ad0a9642e214b25922aa59528e1015e8270dbc59b187ab82ddf7",
"kind": "rule_application",
"premises": [
"urn:proof:apply:LunarCorrection:caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1"
],
"rule": "urn:vat:clir:computus#EcclesiasticalFullMoon",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 14
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#weekday_correction"
},
"evidence": [],
"id": "urn:proof:apply:WeekdayCorrection:640cd9865ab087b80666d023f8d995cedbbff42ca091967561c5a2b23765f485",
"kind": "rule_application",
"premises": [
"urn:proof:apply:JulianWeekdayShiftIsSix:5a23e0be6c4869c9b59fd1b9b74ea3ce1b1f9acf0121c469014cb6591079b527",
"urn:proof:apply:LeapCycleResidue:f1105e42d2207f4b5540313ca02e4876e27f94bb06262036d2afff87d38353d9",
"urn:proof:apply:LunarCorrection:caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1",
"urn:proof:apply:WeekdayCycleResidue:31d65a81958167d2ba66610e7a19ffb7c9bd21beff4b804484a9ca6abb225807"
],
"rule": "urn:vat:clir:computus#WeekdayCorrection",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 1
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
},
"v3": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 14
},
"v4": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 6
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 38
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_march_day"
},
"evidence": [],
"id": "urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c",
"kind": "rule_application",
"premises": [
"urn:proof:apply:EcclesiasticalFullMoon:ca0a63ca07b6ad0a9642e214b25922aa59528e1015e8270dbc59b187ab82ddf7",
"urn:proof:apply:WeekdayCorrection:640cd9865ab087b80666d023f8d995cedbbff42ca091967561c5a2b23765f485"
],
"rule": "urn:vat:clir:computus#EasterDay",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 35
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_within_window"
},
"evidence": [],
"id": "urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f",
"kind": "rule_application",
"premises": [
"urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c"
],
"rule": "urn:vat:clir:computus#EasterWithinWindow",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 38
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"id": "urn:vat:clir:computus#April",
"kind": "const_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 7
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_calendar_date"
},
"evidence": [],
"id": "urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e",
"kind": "rule_application",
"premises": [
"urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c",
"urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f"
],
"rule": "urn:vat:clir:computus#EasterDateInApril",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 38
}
}
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Пасха-2025-юлианская\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":38}],\"predicate\":\"urn:vat:clir:computus#easter_march_day\"}",
"evaluationInputSemanticHash": "sha256:b4389003ae1e43b5bb7ec7df90cdbcf2a5cccab3be8ffcb30c763e0d44000e49",
"priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
"programSemanticHash": "sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 38
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_march_day"
},
"evidence": [],
"id": "urn:proof:closure:332f2684997d8c020a57dbb81eaeb70c9bf4e78a5c49b907e04e60f49b31c4e9",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c"
],
"sourceAnchors": []
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Пасха-2025-юлианская\",\"kind\":\"entity_ref\"},{\"id\":\"urn:vat:clir:computus#April\",\"kind\":\"const_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":7}],\"predicate\":\"urn:vat:clir:computus#easter_calendar_date\"}",
"evaluationInputSemanticHash": "sha256:b4389003ae1e43b5bb7ec7df90cdbcf2a5cccab3be8ffcb30c763e0d44000e49",
"priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
"programSemanticHash": "sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d",
"stratum": 2,
"survivingCandidateIds": [
"urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"id": "urn:vat:clir:computus#April",
"kind": "const_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 7
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_calendar_date"
},
"evidence": [],
"id": "urn:proof:closure:6a300ea6b421ea2d578f3799645f45c5a74af2337fb508b86763eeb3d9d75e48",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e"
],
"sourceAnchors": []
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Пасха-2025-юлианская\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:vat:clir:computus#easter_within_window\"}",
"evaluationInputSemanticHash": "sha256:b4389003ae1e43b5bb7ec7df90cdbcf2a5cccab3be8ffcb30c763e0d44000e49",
"priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
"programSemanticHash": "sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d",
"stratum": 1,
"survivingCandidateIds": [
"urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_within_window"
},
"evidence": [],
"id": "urn:proof:closure:74d776034a2443e8bb0972ae2327c149afaab1506d45bb8d6c53da1a0ab58c2d",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f"
],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"id": "urn:vat:clir:computus#April",
"kind": "const_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 7
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_calendar_date"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:2c54f9d061091f7533c620ae69a5e9da972d8f4370c360c99818844d3b8d1ee5",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:bacca01595b58674f4eda092f2b38ef3406b3b0fc2a9d1beaa015abe3ae8e27d",
"schemaVersion": "law.core.evaluation/0.2"
},
"proofRef": "urn:proof:query:mcp",
"rulesApplied": [
"urn:vat:clir:computus#EasterDateInApril",
"urn:vat:clir:computus#EasterDay",
"urn:vat:clir:computus#EasterWithinWindow",
"urn:vat:clir:computus#EcclesiasticalFullMoon",
"urn:vat:clir:computus#GoldenNumberResidue",
"urn:vat:clir:computus#JulianLunarShiftIsFifteen",
"urn:vat:clir:computus#JulianPaschalionApplicable",
"urn:vat:clir:computus#JulianWeekdayShiftIsSix",
"urn:vat:clir:computus#LeapCycleResidue",
"urn:vat:clir:computus#LunarCorrection",
"urn:vat:clir:computus#WeekdayCorrection",
"urn:vat:clir:computus#WeekdayCycleResidue"
]
}ИсточникиФрагментов: 11
Статья 12
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
День Пасхи не может быть ранее двадцать второго марта и не может быть позднее двадцать пятого апреля, то есть пятьдесят шестого марта. Предел исчисляется по той пасхалии, по которой ведётся счёт, и в её собственном календаре. Свидетели пределов: 1818 год, Пасха которого по григорианской пасхалии приходится на двадцать второе марта — самый ранний возможный день; и 1943 год, Пасха которого приходится на двадцать пятое апреля — самый поздний возможный день. Нарушение предела означает ошибку счёта, а не редкий год. Счёт, вышедший за предел, настоящим изложением объявляется НЕДОПУСТИМЫМ, и день, полученный таким счётом, днём Пасхи не является.
Исходные данные · JSON
{
"contentHash": "sha256:1e5b3608a0ad88dd8a93fa1592c1b63f07edd55055b6081faacdabbd9e659d80",
"edition": "urn:vat:clir:computus#COMPUTUS_RU",
"fragmentKind": "article",
"id": "urn:vat:clir:computus#COMPUTUS_ART12",
"kind": "fragment",
"locator": "article/12",
"package": "urn:vat:clir:computus",
"texts": [
{
"contentHash": "sha256:754fc50e23375e1d4083328131363082bd4c9e262e104f90803e42ab426e021e",
"language": "ru-KZ",
"status": "official",
"text": "День Пасхи не может быть ранее двадцать второго марта и не может быть позднее двадцать пятого апреля, то есть пятьдесят шестого марта. Предел исчисляется по той пасхалии, по которой ведётся счёт, и в её собственном календаре.\n\nСвидетели пределов: 1818 год, Пасха которого по григорианской пасхалии приходится на двадцать второе марта — самый ранний возможный день; и 1943 год, Пасха которого приходится на двадцать пятое апреля — самый поздний возможный день.\n\nНарушение предела означает ошибку счёта, а не редкий год. Счёт, вышедший за предел, настоящим изложением объявляется НЕДОПУСТИМЫМ, и день, полученный таким счётом, днём Пасхи не является."
}
]
}Статья 13
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
День, выраженный числом дней марта, переводится в месяц и число так: если число не превышает тридцати одного — месяцем признаётся март, а числом месяца само это число; если число более тридцати одного и не превышает шестидесяти одного — месяцем признаётся апрель, а числом месяца это число, уменьшенное на тридцать один; если число более шестидесяти одного и не превышает девяноста двух — месяцем признаётся май, а числом месяца это число, уменьшенное на шестьдесят один. Май возникает не у самой Пасхи, а у юлианской Пасхи, приведённой к григорианской оси по статье 14.
Исходные данные · JSON
{
"contentHash": "sha256:632408f4cbe22978fda7605e538744e6988ea93d7c4dedcdcf1bd61c9895b50d",
"edition": "urn:vat:clir:computus#COMPUTUS_RU",
"fragmentKind": "article",
"id": "urn:vat:clir:computus#COMPUTUS_ART13",
"kind": "fragment",
"locator": "article/13",
"package": "urn:vat:clir:computus",
"texts": [
{
"contentHash": "sha256:2ff4c3c5b35e1500f1f4cc1cbfdca171410dca46d4fdd0113af539a1d3b20838",
"language": "ru-KZ",
"status": "official",
"text": "День, выраженный числом дней марта, переводится в месяц и число так:\n\nесли число не превышает тридцати одного — месяцем признаётся март, а числом месяца само это число;\nесли число более тридцати одного и не превышает шестидесяти одного — месяцем признаётся апрель, а числом месяца это число, уменьшенное на тридцать один;\nесли число более шестидесяти одного и не превышает девяноста двух — месяцем признаётся май, а числом месяца это число, уменьшенное на шестьдесят один.\n\nМай возникает не у самой Пасхи, а у юлианской Пасхи, приведённой к григорианской оси по статье 14."
}
]
}Статья 3
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
Пасха приходится на первое воскресенье после первого полнолуния, которое наступает в день весеннего равноденствия или после него. Днём весеннего равноденствия для целей счёта признаётся двадцать первое марта. Пункт 6 буллы называет те же три вещи: место весеннего равноденствия; положение четырнадцатой луны первого месяца, падающей на день равноденствия или ближайшей после него; первое воскресенье после этой четырнадцатой луны. Пункт 7 буллы возвращает равноденствие на двенадцатые календы апреля, то есть на двадцать первое марта. Полнолуние настоящего изложения есть ЦЕРКОВНАЯ ЛУНА — четырнадцатый день лунного месяца, вычисленный по циклу. Церковная луна не есть астрономическое полнолуние и не приближает его: она определяется циклом и только циклом. Пункт 10 буллы устанавливает для этого цикл эпакт вместо золотого числа и говорит о нём, что он, «приведённый к твёрдой мере золотого числа, делает так, что новолуние и пасхальная четырнадцатая луна всегда сохраняют свои истинные места». Расхождение церковной луны с наблюдаемым небом ошибкой счёта не является и настоящим изложением не устраняется. Равным образом днём равноденствия признаётся двадцать первое марта независимо от того, на какой день приходится равноденствие астрономическое.
Исходные данные · JSON
{
"contentHash": "sha256:23775b3cec4895a745320e5d63de4998e6ed8fc40ec8f6499bf5cb8b5c58a4b6",
"edition": "urn:vat:clir:computus#COMPUTUS_RU",
"fragmentKind": "article",
"id": "urn:vat:clir:computus#COMPUTUS_ART3",
"kind": "fragment",
"locator": "article/3",
"package": "urn:vat:clir:computus",
"texts": [
{
"contentHash": "sha256:4b383af27c4d86275a70d85820b70285beb0bdd6b014dde00150aeaf613d57ca",
"language": "ru-KZ",
"status": "official",
"text": "Пасха приходится на первое воскресенье после первого полнолуния, которое наступает в день весеннего равноденствия или после него. Днём весеннего равноденствия для целей счёта признаётся двадцать первое марта. Пункт 6 буллы называет те же три вещи: место весеннего равноденствия; положение четырнадцатой луны первого месяца, падающей на день равноденствия или ближайшей после него; первое воскресенье после этой четырнадцатой луны. Пункт 7 буллы возвращает равноденствие на двенадцатые календы апреля, то есть на двадцать первое марта.\n\nПолнолуние настоящего изложения есть ЦЕРКОВНАЯ ЛУНА — четырнадцатый день лунного месяца, вычисленный по циклу. Церковная луна не есть астрономическое полнолуние и не приближает его: она определяется циклом и только циклом. Пункт 10 буллы устанавливает для этого цикл эпакт вместо золотого числа и говорит о нём, что он, «приведённый к твёрдой мере золотого числа, делает так, что новолуние и пасхальная четырнадцатая луна всегда сохраняют свои истинные места». Расхождение церковной луны с наблюдаемым небом ошибкой счёта не является и настоящим изложением не устраняется.\n\nРавным образом днём равноденствия признаётся двадцать первое марта независимо от того, на какой день приходится равноденствие астрономическое."
}
]
}Статья 4
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
Счёт начинается с трёх остатков от деления года. Первый остаток есть остаток от деления года на девятнадцать. Он выражает место года в девятнадцатилетнем лунном цикле. Второй остаток есть остаток от деления года на четыре. Он выражает место года в четырёхлетнем цикле високоса. Третий остаток есть остаток от деления года на семь. Он выражает сдвиг дней недели от года к году. Остаток берётся неотрицательным: он есть число от нуля до делителя без единицы.
Исходные данные · JSON
{
"contentHash": "sha256:0958c74a4cf6e0891eefbb4bfa964ef938f4d66d314a150d9018af3bb56f7640",
"edition": "urn:vat:clir:computus#COMPUTUS_RU",
"fragmentKind": "article",
"id": "urn:vat:clir:computus#COMPUTUS_ART4",
"kind": "fragment",
"locator": "article/4",
"package": "urn:vat:clir:computus",
"texts": [
{
"contentHash": "sha256:075ee05194c61c63cba767aeaae0791731fa8b873ba2f27b71674fdf6783b8e9",
"language": "ru-KZ",
"status": "official",
"text": "Счёт начинается с трёх остатков от деления года.\n\nПервый остаток есть остаток от деления года на девятнадцать. Он выражает место года в девятнадцатилетнем лунном цикле.\n\nВторой остаток есть остаток от деления года на четыре. Он выражает место года в четырёхлетнем цикле високоса.\n\nТретий остаток есть остаток от деления года на семь. Он выражает сдвиг дней недели от года к году.\n\nОстаток берётся неотрицательным: он есть число от нуля до делителя без единицы."
}
]
}Статья 5
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
Лунная поправка есть остаток от деления на тридцать суммы двух слагаемых: первого остатка, умноженного на девятнадцать, и вековой лунной постоянной. Лунная поправка есть число от нуля до двадцати девяти. Она указывает, на сколько дней после двадцать первого марта приходится церковное полнолуние первого месяца.
Исходные данные · JSON
{
"contentHash": "sha256:e41bc485a5cb52ddce285328a7ed01b13b471642caf485aa00bc820fd321db23",
"edition": "urn:vat:clir:computus#COMPUTUS_RU",
"fragmentKind": "article",
"id": "urn:vat:clir:computus#COMPUTUS_ART5",
"kind": "fragment",
"locator": "article/5",
"package": "urn:vat:clir:computus",
"texts": [
{
"contentHash": "sha256:9a8a856f1951c250f9862b03d677cf8a7c1dec7d89ee8d1106a31b44d115b6d4",
"language": "ru-KZ",
"status": "official",
"text": "Лунная поправка есть остаток от деления на тридцать суммы двух слагаемых: первого остатка, умноженного на девятнадцать, и вековой лунной постоянной.\n\nЛунная поправка есть число от нуля до двадцати девяти. Она указывает, на сколько дней после двадцать первого марта приходится церковное полнолуние первого месяца."
}
]
}Статья 6
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
Воскресная поправка есть остаток от деления на семь суммы четырёх слагаемых: второго остатка, умноженного на два; третьего остатка, умноженного на четыре; лунной поправки, умноженной на шесть; и вековой воскресной постоянной. Воскресная поправка есть число от нуля до шести. Она указывает, сколько дней отделяют церковное полнолуние от следующего за ним воскресенья. Воскресность дня Пасхи обеспечивается этой поправкой, и отдельной проверки дня недели счёт не требует.
Исходные данные · JSON
{
"contentHash": "sha256:40b54cfc0401894b1a934b38d00575c5e0848a57f5151c4cfa3a0cd7c365702a",
"edition": "urn:vat:clir:computus#COMPUTUS_RU",
"fragmentKind": "article",
"id": "urn:vat:clir:computus#COMPUTUS_ART6",
"kind": "fragment",
"locator": "article/6",
"package": "urn:vat:clir:computus",
"texts": [
{
"contentHash": "sha256:d566eb346bd5a363baf83261504720fff585f91212977c0ed01f6326205a35ee",
"language": "ru-KZ",
"status": "official",
"text": "Воскресная поправка есть остаток от деления на семь суммы четырёх слагаемых: второго остатка, умноженного на два; третьего остатка, умноженного на четыре; лунной поправки, умноженной на шесть; и вековой воскресной постоянной.\n\nВоскресная поправка есть число от нуля до шести. Она указывает, сколько дней отделяют церковное полнолуние от следующего за ним воскресенья. Воскресность дня Пасхи обеспечивается этой поправкой, и отдельной проверки дня недели счёт не требует."
}
]
}Статья 7
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
День Пасхи есть двадцать второе марта, увеличенное на лунную поправку и на воскресную поправку. День Пасхи выражается ЧИСЛОМ ДНЕЙ МАРТА: первое апреля есть тридцать второе марта, девятнадцатое апреля есть пятидесятое марта, двадцать пятое апреля есть пятьдесят шестое марта. Такое выражение употреблено затем, чтобы счёт оставался целочисленным и не требовал календаря. Правило настоящей статьи применяется, если счёт не подпадает под статью 10 или статью 11.
Исходные данные · JSON
{
"contentHash": "sha256:47cedbf2a8b354ad2eda4f4790f758c2278e803d155f610ad45ac64a9ce6e1d8",
"edition": "urn:vat:clir:computus#COMPUTUS_RU",
"fragmentKind": "article",
"id": "urn:vat:clir:computus#COMPUTUS_ART7",
"kind": "fragment",
"locator": "article/7",
"package": "urn:vat:clir:computus",
"texts": [
{
"contentHash": "sha256:3c18e88901141a5572d897f4ba11610ea419986ca0a4197a6883c18e0ac21e92",
"language": "ru-KZ",
"status": "official",
"text": "День Пасхи есть двадцать второе марта, увеличенное на лунную поправку и на воскресную поправку.\n\nДень Пасхи выражается ЧИСЛОМ ДНЕЙ МАРТА: первое апреля есть тридцать второе марта, девятнадцатое апреля есть пятидесятое марта, двадцать пятое апреля есть пятьдесят шестое марта. Такое выражение употреблено затем, чтобы счёт оставался целочисленным и не требовал календаря.\n\nПравило настоящей статьи применяется, если счёт не подпадает под статью 10 или статью 11."
}
]
}Статья 9
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
Вековая лунная постоянная юлианской пасхалии равна пятнадцати, вековая воскресная постоянная — шести. Обе постоянные юлианской пасхалии одинаковы для всякого года и от века не зависят. Юлианская пасхалия к году ранее 1583-го применима: она старше буллы, и рядов, ограничивающих её действие, настоящее изложение не устанавливает.
Исходные данные · JSON
{
"contentHash": "sha256:7282dea86f438adc29982e0709108f50c3307c84eac994a1329f8045aa682960",
"edition": "urn:vat:clir:computus#COMPUTUS_RU",
"fragmentKind": "article",
"id": "urn:vat:clir:computus#COMPUTUS_ART9",
"kind": "fragment",
"locator": "article/9",
"package": "urn:vat:clir:computus",
"texts": [
{
"contentHash": "sha256:4151fe2dcadd30ad137de47d7b1ae4f03fe4672db1c1ff036708e1e706d80de7",
"language": "ru-KZ",
"status": "official",
"text": "Вековая лунная постоянная юлианской пасхалии равна пятнадцати, вековая воскресная постоянная — шести. Обе постоянные юлианской пасхалии одинаковы для всякого года и от века не зависят.\n\nЮлианская пасхалия к году ранее 1583-го применима: она старше буллы, и рядов, ограничивающих её действие, настоящее изложение не устанавливает."
}
]
}section/10
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
10. Quo item XIV paschalis recte inveniatur, itemque dies lunae, iuxta antiquum Ecclesiae morem ex Martyrologio singulis diebus ediscendi, fideli populo vere proponantur, statuimus ut, amoto aureo numero de kalendario, in eius locum substituatur cyclus epactarum; qui ad certam (uti diximus) aurei numeri normam directus, efficit ut novilunium et XIV paschalis vera loca semper retineant. Idque manifeste apparet ex nostri explicatione kalendarii, in quo descriptae sunt etiam tabulae paschales secundum priscum Ecclesiae ritum, quo certius et facilius sacrosanctum Pascha inveniri possit.
Исходные данные · JSON
{
"contentHash": "sha256:af6e0d18fb388190264976067672f313fedd625fbe0279d219a3318e691bdaa6",
"edition": "urn:vat:clir:computus#IG_LA",
"fragmentKind": "section",
"id": "urn:vat:clir:computus#IG_S10",
"kind": "fragment",
"locator": "section/10",
"package": "urn:vat:clir:computus",
"texts": [
{
"contentHash": "sha256:2eccbf6e6ae51ded85390d0501b5b33c76cc9b96e2a7edc5ce821fb3cacd34a7",
"language": "la",
"status": "official",
"text": "10. Quo item XIV paschalis recte inveniatur, itemque dies lunae, iuxta antiquum Ecclesiae morem ex Martyrologio singulis diebus ediscendi, fideli populo vere proponantur, statuimus ut, amoto aureo numero de kalendario, in eius locum substituatur cyclus epactarum; qui ad certam (uti diximus) aurei numeri normam directus, efficit ut novilunium et XIV paschalis vera loca semper retineant. Idque manifeste apparet ex nostri explicatione kalendarii, in quo descriptae sunt etiam tabulae paschales secundum priscum Ecclesiae ritum, quo certius et facilius sacrosanctum Pascha inveniri possit."
}
]
}section/6
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
6. Considerantes igitur nos, ad rectam paschalis festi celebrationem iuxta sanctorum Patrum ac veterum Romanorum Pontificum, praesertim Pii et Victoris primorum, necnon magni illius oecumenici concilii Nicaeni et aliorum sanctiones, tria necessaria coniungenda et statuenda esse; primum, certam verni aequinoctii sedem; deinde rectam positionem XIV lunae primi mensis, quae vel in ipsum aequinoctii diem incidit, vel ei proxime succedit; postremo primum quemque diem dominicum, qui eamdem XIV lunam sequitur; curavimus non solum aequinoctium vernum in pristinam sedem, a qua iam a concilio Nicaeno decem circiter diebus recessit, restituendum, et XIV paschalem suo in loco, a quo quatuor et eo amplius dies hoc tempore distat, reponendam, sed viam quoque tradendam et rationem, qua cavetur, ut in posterum aequinoctium et XIV luna a propriis sedibus nunquam dimoveantur.
Исходные данные · JSON
{
"contentHash": "sha256:2f023c42666b3d0d94ab5cf4a12a04ed4db68d446d902d68d8126d853e50cdcd",
"edition": "urn:vat:clir:computus#IG_LA",
"fragmentKind": "section",
"id": "urn:vat:clir:computus#IG_S6",
"kind": "fragment",
"locator": "section/6",
"package": "urn:vat:clir:computus",
"texts": [
{
"contentHash": "sha256:a786cab981920d5495271d28b619884c5c68ebc6324a4d5cc944a5f6b6490359",
"language": "la",
"status": "official",
"text": "6. Considerantes igitur nos, ad rectam paschalis festi celebrationem iuxta sanctorum Patrum ac veterum Romanorum Pontificum, praesertim Pii et Victoris primorum, necnon magni illius oecumenici concilii Nicaeni et aliorum sanctiones, tria necessaria coniungenda et statuenda esse; primum, certam verni aequinoctii sedem; deinde rectam positionem XIV lunae primi mensis, quae vel in ipsum aequinoctii diem incidit, vel ei proxime succedit; postremo primum quemque diem dominicum, qui eamdem XIV lunam sequitur; curavimus non solum aequinoctium vernum in pristinam sedem, a qua iam a concilio Nicaeno decem circiter diebus recessit, restituendum, et XIV paschalem suo in loco, a quo quatuor et eo amplius dies hoc tempore distat, reponendam, sed viam quoque tradendam et rationem, qua cavetur, ut in posterum aequinoctium et XIV luna a propriis sedibus nunquam dimoveantur."
}
]
}section/7
Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
7. Quo igitur vernum aequinoctium, quod a patribus concilii Nicaeni ad XII kalendas aprilis fuit constitutum, ad eamdem sedem restituatur, praecipimus et mandamus ut de mense octobris anni MDLXXXII decem dies inclusive a tertia nonarum usque ad pridie idus eximantur, et dies, qui festum S. Francisci IV nonas celebrari solitum sequitur, dicatur idus octobris, atque in eo celebretur festum Ss. Dionysii, Rustici et Eleutherii martyrum, cum commemoratione S. Marci Papae et confessoris, et Ss. Sergii, Bacchi, Marcelli et Apulei martyrum; septimodecimo vero kalendas novembris, qui dies proxime sequitur, celebretur festum S. Callisti Papae et martyris; deinde XVI kalendas novembris fiat officium et missa de dominica XVIII post Pentecostem, mutata littera dominicali G in C; quintodecimo denique kalendas novembris dies festus agatur S. Lucae evangelistae, a quo reliqui deinceps agantur festi dies, prout sunt in kalendario descripti.
Исходные данные · JSON
{
"contentHash": "sha256:27400b859b5efd5caf9738f82f01e61d25f8ab5d48fb52943773380df4cb15ca",
"edition": "urn:vat:clir:computus#IG_LA",
"fragmentKind": "section",
"id": "urn:vat:clir:computus#IG_S7",
"kind": "fragment",
"locator": "section/7",
"package": "urn:vat:clir:computus",
"texts": [
{
"contentHash": "sha256:6ccaaa2e4953ae9fa1ff203a620780fc0c047a8af3326728e888f758a76d3f5c",
"language": "la",
"status": "official",
"text": "7. Quo igitur vernum aequinoctium, quod a patribus concilii Nicaeni ad XII kalendas aprilis fuit constitutum, ad eamdem sedem restituatur, praecipimus et mandamus ut de mense octobris anni MDLXXXII decem dies inclusive a tertia nonarum usque ad pridie idus eximantur, et dies, qui festum S. Francisci IV nonas celebrari solitum sequitur, dicatur idus octobris, atque in eo celebretur festum Ss. Dionysii, Rustici et Eleutherii martyrum, cum commemoratione S. Marci Papae et confessoris, et Ss. Sergii, Bacchi, Marcelli et Apulei martyrum; septimodecimo vero kalendas novembris, qui dies proxime sequitur, celebretur festum S. Callisti Papae et martyris; deinde XVI kalendas novembris fiat officium et missa de dominica XVIII post Pentecostem, mutata littera dominicali G in C; quintodecimo denique kalendas novembris dies festus agatur S. Lucae evangelistae, a quo reliqui deinceps agantur festi dies, prout sunt in kalendario descripti."
}
]
}Пакеты в снимке
- Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Полный машинный результат · JSON
{
"answer": {
"evaluationStatus": "COMPUTED",
"kind": "TRUTH",
"meaning": "установлено",
"missingInputs": [],
"truthStatus": "TRUE_ONLY"
},
"closedEditionRules": [],
"derived": [
"golden_number_residue(Пасха-2025-юлианская, 11)",
"leap_cycle_residue(Пасха-2025-юлианская, 1)",
"weekday_cycle_residue(Пасха-2025-юлианская, 2)",
"julian_paschalion_applicable(Пасха-2025-юлианская)",
"lunar_shift(Пасха-2025-юлианская, 15)",
"weekday_shift(Пасха-2025-юлианская, 6)",
"lunar_correction(Пасха-2025-юлианская, 14)",
"ecclesiastical_full_moon(Пасха-2025-юлианская, 35)",
"weekday_correction(Пасха-2025-юлианская, 2)",
"easter_march_day(Пасха-2025-юлианская, 38)",
"easter_within_window(Пасха-2025-юлианская)",
"easter_calendar_date(Пасха-2025-юлианская, April, 7)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2025
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#reckoning_year"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 11
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#golden_number_residue"
},
"evidence": [],
"id": "urn:proof:apply:GoldenNumberResidue:f9029e84d070f0f3591cfcb22e6a1d4484e001add0f3f97b52921d44c905fb1c",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:vat:clir:computus#GoldenNumberResidue",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2025
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 1
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#leap_cycle_residue"
},
"evidence": [],
"id": "urn:proof:apply:LeapCycleResidue:f1105e42d2207f4b5540313ca02e4876e27f94bb06262036d2afff87d38353d9",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:vat:clir:computus#LeapCycleResidue",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2025
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#weekday_cycle_residue"
},
"evidence": [],
"id": "urn:proof:apply:WeekdayCycleResidue:31d65a81958167d2ba66610e7a19ffb7c9bd21beff4b804484a9ca6abb225807",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:vat:clir:computus#WeekdayCycleResidue",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2025
}
}
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"id": "urn:vat:clir:computus#Julian",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#reckoning_paschalion"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#julian_paschalion_applicable"
},
"evidence": [],
"id": "urn:proof:apply:JulianPaschalionApplicable:e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-2"
],
"rule": "urn:vat:clir:computus#JulianPaschalionApplicable",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 15
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#lunar_shift"
},
"evidence": [],
"id": "urn:proof:apply:JulianLunarShiftIsFifteen:87383fe226f7ae8f3c14523fe4d9d3a217a06798ce9caf81ec0878b9ddf4d7d7",
"kind": "rule_application",
"premises": [
"urn:proof:apply:JulianPaschalionApplicable:e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b"
],
"rule": "urn:vat:clir:computus#JulianLunarShiftIsFifteen",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 6
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#weekday_shift"
},
"evidence": [],
"id": "urn:proof:apply:JulianWeekdayShiftIsSix:5a23e0be6c4869c9b59fd1b9b74ea3ce1b1f9acf0121c469014cb6591079b527",
"kind": "rule_application",
"premises": [
"urn:proof:apply:JulianPaschalionApplicable:e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b"
],
"rule": "urn:vat:clir:computus#JulianWeekdayShiftIsSix",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 14
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#lunar_correction"
},
"evidence": [],
"id": "urn:proof:apply:LunarCorrection:caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1",
"kind": "rule_application",
"premises": [
"urn:proof:apply:GoldenNumberResidue:f9029e84d070f0f3591cfcb22e6a1d4484e001add0f3f97b52921d44c905fb1c",
"urn:proof:apply:JulianLunarShiftIsFifteen:87383fe226f7ae8f3c14523fe4d9d3a217a06798ce9caf81ec0878b9ddf4d7d7"
],
"rule": "urn:vat:clir:computus#LunarCorrection",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 11
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 15
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 35
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#ecclesiastical_full_moon"
},
"evidence": [],
"id": "urn:proof:apply:EcclesiasticalFullMoon:ca0a63ca07b6ad0a9642e214b25922aa59528e1015e8270dbc59b187ab82ddf7",
"kind": "rule_application",
"premises": [
"urn:proof:apply:LunarCorrection:caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1"
],
"rule": "urn:vat:clir:computus#EcclesiasticalFullMoon",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 14
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#weekday_correction"
},
"evidence": [],
"id": "urn:proof:apply:WeekdayCorrection:640cd9865ab087b80666d023f8d995cedbbff42ca091967561c5a2b23765f485",
"kind": "rule_application",
"premises": [
"urn:proof:apply:JulianWeekdayShiftIsSix:5a23e0be6c4869c9b59fd1b9b74ea3ce1b1f9acf0121c469014cb6591079b527",
"urn:proof:apply:LeapCycleResidue:f1105e42d2207f4b5540313ca02e4876e27f94bb06262036d2afff87d38353d9",
"urn:proof:apply:LunarCorrection:caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1",
"urn:proof:apply:WeekdayCycleResidue:31d65a81958167d2ba66610e7a19ffb7c9bd21beff4b804484a9ca6abb225807"
],
"rule": "urn:vat:clir:computus#WeekdayCorrection",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 1
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
},
"v3": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 14
},
"v4": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 6
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 38
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_march_day"
},
"evidence": [],
"id": "urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c",
"kind": "rule_application",
"premises": [
"urn:proof:apply:EcclesiasticalFullMoon:ca0a63ca07b6ad0a9642e214b25922aa59528e1015e8270dbc59b187ab82ddf7",
"urn:proof:apply:WeekdayCorrection:640cd9865ab087b80666d023f8d995cedbbff42ca091967561c5a2b23765f485"
],
"rule": "urn:vat:clir:computus#EasterDay",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 35
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_within_window"
},
"evidence": [],
"id": "urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f",
"kind": "rule_application",
"premises": [
"urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c"
],
"rule": "urn:vat:clir:computus#EasterWithinWindow",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 38
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"id": "urn:vat:clir:computus#April",
"kind": "const_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 7
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_calendar_date"
},
"evidence": [],
"id": "urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e",
"kind": "rule_application",
"premises": [
"urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c",
"urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f"
],
"rule": "urn:vat:clir:computus#EasterDateInApril",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 38
}
}
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Пасха-2025-юлианская\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":38}],\"predicate\":\"urn:vat:clir:computus#easter_march_day\"}",
"evaluationInputSemanticHash": "sha256:b4389003ae1e43b5bb7ec7df90cdbcf2a5cccab3be8ffcb30c763e0d44000e49",
"priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
"programSemanticHash": "sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 38
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_march_day"
},
"evidence": [],
"id": "urn:proof:closure:332f2684997d8c020a57dbb81eaeb70c9bf4e78a5c49b907e04e60f49b31c4e9",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c"
],
"sourceAnchors": []
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Пасха-2025-юлианская\",\"kind\":\"entity_ref\"},{\"id\":\"urn:vat:clir:computus#April\",\"kind\":\"const_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":7}],\"predicate\":\"urn:vat:clir:computus#easter_calendar_date\"}",
"evaluationInputSemanticHash": "sha256:b4389003ae1e43b5bb7ec7df90cdbcf2a5cccab3be8ffcb30c763e0d44000e49",
"priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
"programSemanticHash": "sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d",
"stratum": 2,
"survivingCandidateIds": [
"urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"id": "urn:vat:clir:computus#April",
"kind": "const_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 7
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_calendar_date"
},
"evidence": [],
"id": "urn:proof:closure:6a300ea6b421ea2d578f3799645f45c5a74af2337fb508b86763eeb3d9d75e48",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e"
],
"sourceAnchors": []
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Пасха-2025-юлианская\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:vat:clir:computus#easter_within_window\"}",
"evaluationInputSemanticHash": "sha256:b4389003ae1e43b5bb7ec7df90cdbcf2a5cccab3be8ffcb30c763e0d44000e49",
"priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
"programSemanticHash": "sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d",
"stratum": 1,
"survivingCandidateIds": [
"urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_within_window"
},
"evidence": [],
"id": "urn:proof:closure:74d776034a2443e8bb0972ae2327c149afaab1506d45bb8d6c53da1a0ab58c2d",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f"
],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Пасха-2025-юлианская",
"kind": "entity_ref"
},
{
"id": "urn:vat:clir:computus#April",
"kind": "const_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 7
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:vat:clir:computus#easter_calendar_date"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:2c54f9d061091f7533c620ae69a5e9da972d8f4370c360c99818844d3b8d1ee5",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:bacca01595b58674f4eda092f2b38ef3406b3b0fc2a9d1beaa015abe3ae8e27d",
"schemaVersion": "law.core.evaluation/0.2"
},
"evaluationStatus": "COMPUTED",
"issues": [],
"judgmentRequests": [],
"proofRef": "urn:proof:query:mcp",
"provenance": {
"acts": [
{
"contributed": true,
"fragmentCount": 22,
"fragments": [
"urn:vat:clir:computus#COMPUTUS_ART12",
"urn:vat:clir:computus#COMPUTUS_ART13",
"urn:vat:clir:computus#COMPUTUS_ART3",
"urn:vat:clir:computus#COMPUTUS_ART4",
"urn:vat:clir:computus#COMPUTUS_ART5",
"urn:vat:clir:computus#COMPUTUS_ART6",
"urn:vat:clir:computus#COMPUTUS_ART7",
"urn:vat:clir:computus#COMPUTUS_ART9",
"urn:vat:clir:computus#IG_S10",
"urn:vat:clir:computus#IG_S6",
"urn:vat:clir:computus#IG_S7"
],
"jurisdiction": "HolySee",
"namespace": "urn:vat:clir:computus",
"package": "vat-computus",
"title": "Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1"
}
],
"caseHash": "sha256:b4389003ae1e43b5bb7ec7df90cdbcf2a5cccab3be8ffcb30c763e0d44000e49",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "Святой Престол",
"legalTime": "2026-08-31",
"mode": "audit",
"programHash": "sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d",
"resultHash": "sha256:bacca01595b58674f4eda092f2b38ef3406b3b0fc2a9d1beaa015abe3ae8e27d",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
},
"rulesApplied": [
"urn:vat:clir:computus#EasterDateInApril",
"urn:vat:clir:computus#EasterDay",
"urn:vat:clir:computus#EasterWithinWindow",
"urn:vat:clir:computus#EcclesiasticalFullMoon",
"urn:vat:clir:computus#GoldenNumberResidue",
"urn:vat:clir:computus#JulianLunarShiftIsFifteen",
"urn:vat:clir:computus#JulianPaschalionApplicable",
"urn:vat:clir:computus#JulianWeekdayShiftIsSix",
"urn:vat:clir:computus#LeapCycleResidue",
"urn:vat:clir:computus#LunarCorrection",
"urn:vat:clir:computus#WeekdayCorrection",
"urn:vat:clir:computus#WeekdayCycleResidue"
],
"signature": {
"constants": {},
"parameters": [
{
"labels": [],
"name": "r",
"type": {
"name": "urn:vat:clir:computus#Reckoning"
}
},
{
"labels": [],
"name": "month",
"type": {
"name": "urn:vat:clir:computus#Month"
}
},
{
"labels": [],
"name": "day",
"type": {
"name": "urn:law:std#Integer"
}
}
],
"predicate": "urn:vat:clir:computus#easter_calendar_date",
"schemaVersion": "law.answers.signature/0.1",
"types": {
"urn:law:std#Integer": {
"kind": "std"
},
"urn:vat:clir:computus#Month": {
"kind": "enum",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "месяц дня Пасхи: март, апрель либо май (ст. 13)"
}
],
"namespace": "urn:vat:clir:computus",
"package": "vat.computus",
"variants": [
{
"id": "urn:vat:clir:computus#March",
"labels": [],
"name": "March"
},
{
"id": "urn:vat:clir:computus#April",
"labels": [],
"name": "April"
},
{
"id": "urn:vat:clir:computus#May",
"labels": [],
"name": "May"
}
]
},
"urn:vat:clir:computus#Reckoning": {
"kind": "entity",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "счёт дня Пасхи: один год по одной пасхалии"
}
],
"namespace": "urn:vat:clir:computus",
"package": "vat.computus"
}
},
"vocab": {}
},
"vulnerableTo": [],
"whyNot": []
}Исполнение · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Метаданные отображения
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓JSON · расчёты, источники и точные данные
{
"acts": [
{
"contributed": true,
"fragmentCount": 22,
"fragments": [
"urn:vat:clir:computus#COMPUTUS_ART12",
"urn:vat:clir:computus#COMPUTUS_ART13",
"urn:vat:clir:computus#COMPUTUS_ART3",
"urn:vat:clir:computus#COMPUTUS_ART4",
"urn:vat:clir:computus#COMPUTUS_ART5",
"urn:vat:clir:computus#COMPUTUS_ART6",
"urn:vat:clir:computus#COMPUTUS_ART7",
"urn:vat:clir:computus#COMPUTUS_ART9",
"urn:vat:clir:computus#IG_S10",
"urn:vat:clir:computus#IG_S6",
"urn:vat:clir:computus#IG_S7"
],
"jurisdiction": "HolySee",
"namespace": "urn:vat:clir:computus",
"package": "vat-computus",
"title": "Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1"
}
],
"caseHash": "sha256:b4389003ae1e43b5bb7ec7df90cdbcf2a5cccab3be8ffcb30c763e0d44000e49",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "Святой Престол",
"legalTime": "2026-08-31",
"mode": "audit",
"programHash": "sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d",
"resultHash": "sha256:bacca01595b58674f4eda092f2b38ef3406b3b0fc2a9d1beaa015abe3ae8e27d",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:9ecffb82b94215d0c187069ce5d36a2ff9202084503a9de25a94125fb9ee33d2
Исходные данные · JSON
{
"args": [
"Пасха-2025-юлианская",
"April",
7
],
"facts": [
{
"args": [
"Пасха-2025-юлианская",
2025
],
"predicate": "reckoning_year"
},
{
"args": [
"Пасха-2025-юлианская",
"Julian"
],
"predicate": "reckoning_paschalion"
}
],
"kind": "truth",
"legalTime": "2026-08-31",
"package": "vat-computus",
"predicate": "easter_calendar_date",
"proof": true
}