Когда Пасха 2025 года по юлианскому и по григорианскому счёту, и почему в 1981 году формула Гаусса даёт 19, а не 26 апреля?

Пасхалия считается формой Гаусса на точных остатках: золотое число, високосный и недельный циклы, лунная и недельная поправки. Юлианский счёт с постоянными 15 и 6 даёт на 2025 год 7 апреля по юлианскому календарю. Григорианский счёт с вековыми постоянными 24 и 5 даёт 20 апреля. В 1981 году базовая формула выводит 57-й день марта, то есть 26 апреля, но исключение Гаусса для d = 29 и e = 6 снимает этот день дефитером, и Пасха приходится на 19 апреля.

This is an assistant explanation, not a calculation result. Check the grounds and sources below.

At a glance

Select a result to explore its grounds

2025 год, юлианская пасхалия: 7 апреляConditionEstablishedExecution: ComputedLogical result: Established 2025 год, григорианская пасхалия: 20 апреляConditionEstablishedExecution: ComputedLogical result: Established 1981 год, григорианская пасхалия: 19 апреляConditionEstablishedExecution: ComputedLogical result: Established 1981 год: базовый 57-й день марта снят исключением ГауссаConditionNot establishedExecution: ComputedLogical result: Not established

Detailed analysis

Condition

2025 год, юлианская пасхалия: 7 апреля

Jurisdiction Святой ПрестолLaw as of 2026-08-31

Calculation result

Established

Input parameters

What we are finding

день Пасхи месяцем и числом в календаре своей пасхалии

Пасха-2025-юлианскаяApril7

Input facts

счёт дня Пасхи: один год по одной пасхалии
r: Пасха-2025-юлианская
Subject shared by the facts below
год, для которого ведётся счёт
year: 2025
пасхалия, по которой ведётся счёт
p: Julian

Package: Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан

Additional details

Include proof: Yes

Original data · 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
}

Why this resultApplied rules and conditions

Derivation path15 steps

1
год, для которого ведётся счёт
r: Пасха-2025-юлианская; year: 2025
case fact
2
Первый остаток есть остаток от деления года на девятнадцать (ст. 4)
11 = 2025 mod 19
art. 4
Identifier
urn:vat:clir:computus#GoldenNumberResidue
rule
3
Второй остаток есть остаток от деления года на четыре (ст. 4)
1 = 2025 mod 4
art. 4
Identifier
urn:vat:clir:computus#LeapCycleResidue
rule
4
Третий остаток есть остаток от деления года на семь (ст. 4)
2 = 2025 mod 7
art. 4
Identifier
urn:vat:clir:computus#WeekdayCycleResidue
rule
5
пасхалия, по которой ведётся счёт
r: Пасха-2025-юлианская; p: urn:vat:clir:computus#Julian
case fact
6
Юлианская пасхалия применяется ко всякому году: она старше буллы и не отменена (ст. 2, 9)
к счёту применима юлианская пасхалия: r: Пасха-2025-юлианская
art. 9
Identifier
urn:vat:clir:computus#JulianPaschalionApplicable
rule
7
Лунная постоянная юлианского счёта равна пятнадцати для всякого года (ст. 9)
вековая лунная постоянная счёта: r: Пасха-2025-юлианская; m: 15
art. 9
Identifier
urn:vat:clir:computus#JulianLunarShiftIsFifteen
rule
8
Воскресная постоянная юлианского счёта равна шести для всякого года (ст. 9)
вековая воскресная постоянная счёта: r: Пасха-2025-юлианская; n: 6
art. 9
Identifier
urn:vat:clir:computus#JulianWeekdayShiftIsSix
rule
9
Лунная поправка есть остаток от деления на тридцать суммы первого остатка, умноженного на девятнадцать, и вековой лунной постоянной (ст. 5)
14 = (19 × 11 + 15) mod 30
art. 5, sec. 10
Identifier
urn:vat:clir:computus#LunarCorrection
rule
10
Церковное полнолуние первого месяца есть 21 марта, увеличенное на лунную поправку (ст. 3, 5)
35 = 21 + 14
art. 3, sec. 7, sec. 10
Identifier
urn:vat:clir:computus#EcclesiasticalFullMoon
rule
11
Воскресная поправка есть остаток от деления на семь суммы второго остатка вдвое, третьего вчетверо, лунной поправки вшестеро и вековой воскресной постоянной (ст. 6)
2 = (2 × 1 + 4 × 2 + 6 × 14 + 6) mod 7
art. 6, sec. 6
Identifier
urn:vat:clir:computus#WeekdayCorrection
rule
12
День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
38 = 35 + 1 + 2
art. 7, sec. 6
Identifier
urn:vat:clir:computus#EasterDay
rule
13
День Пасхи не ранее 22 марта и не позднее 25 апреля (ст. 12)
день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля: r: Пасха-2025-юлианская
art. 12
Identifier
urn:vat:clir:computus#EasterWithinWindow
rule
14
День Пасхи свыше 31 в счёте дней марта есть день апреля: число уменьшается на 31 (ст. 13)
7 = 38 − 31
art. 12, art. 13
Identifier
urn:vat:clir:computus#EasterDateInApril
rule
15
Query evaluation
query

verified by the engine: 13 · case fact: 2 · Full graph: 18 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан

День Пасхи свыше 31 в счёте дней марта есть день апреля: число уменьшается на 31 (ст. 13)
Identifier
urn:vat:clir:computus#EasterDateInApril
День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
Identifier
urn:vat:clir:computus#EasterDay
День Пасхи не ранее 22 марта и не позднее 25 апреля (ст. 12)
Identifier
urn:vat:clir:computus#EasterWithinWindow
Церковное полнолуние первого месяца есть 21 марта, увеличенное на лунную поправку (ст. 3, 5)
Identifier
urn:vat:clir:computus#EcclesiasticalFullMoon
Первый остаток есть остаток от деления года на девятнадцать (ст. 4)
Identifier
urn:vat:clir:computus#GoldenNumberResidue
Лунная постоянная юлианского счёта равна пятнадцати для всякого года (ст. 9)
Identifier
urn:vat:clir:computus#JulianLunarShiftIsFifteen
Юлианская пасхалия применяется ко всякому году: она старше буллы и не отменена (ст. 2, 9)
Identifier
urn:vat:clir:computus#JulianPaschalionApplicable
Воскресная постоянная юлианского счёта равна шести для всякого года (ст. 9)
Identifier
urn:vat:clir:computus#JulianWeekdayShiftIsSix
Второй остаток есть остаток от деления года на четыре (ст. 4)
Identifier
urn:vat:clir:computus#LeapCycleResidue
Лунная поправка есть остаток от деления на тридцать суммы первого остатка, умноженного на девятнадцать, и вековой лунной постоянной (ст. 5)
Identifier
urn:vat:clir:computus#LunarCorrection
Воскресная поправка есть остаток от деления на семь суммы второго остатка вдвое, третьего вчетверо, лунной поправки вшестеро и вековой воскресной постоянной (ст. 6)
Identifier
urn:vat:clir:computus#WeekdayCorrection
Третий остаток есть остаток от деления года на семь (ст. 4)
Identifier
urn:vat:clir:computus#WeekdayCycleResidue

Derived result for this query

день Пасхи месяцем и числом в календаре своей пасхалии
r: Пасха-2025-юлианскаяmonth: Aprilday: 7

Other derived facts11

счёт дня Пасхи: один год по одной пасхалии
r: Пасха-2025-юлианская
Subject shared by the facts below
первый остаток: год по модулю девятнадцать, место года в лунном цикле
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

лунная поправка: на сколько дней после 21 марта приходится церковное полнолуние
r	d
Пасха-2025-юлианская	14

церковное полнолуние первого месяца в счёте дней марта (ст. 3)
r	day
Пасха-2025-юлианская	35

воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресенья
r	e
Пасха-2025-юлианская	2

день Пасхи в счёте дней марта (19 апреля есть 50 марта)
r	day
Пасха-2025-юлианская	38

день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля
r
Пасха-2025-юлианская

Grid by class

April

Пасха-2025-юлианская

день Пасхи месяцем и числом в календаре своей пасхалии
r	month	day
Пасха-2025-юлианская	April	7

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 7 layer

Proof nodes: 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

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Type
value
type
name
Integer
value
2025

Type

literal

Polarity

positive

Condition

reckoning_year

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:GoldenNumberResidue:f9029e84d070f0f3591cfcb22e6a1d4484e001add0f3f97b52921d44c905fb1c

attributes

—

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Type
value
type
name
Integer
value
11

Type

literal

Polarity

positive

Condition

golden_number_residue

evidence

—

Identifier

f9029e84d070f0f3591cfcb22e6a1d4484e001add0f3f97b52921d44c905fb1c

Type

rule_application

Premises

fact-1

Rule

GoldenNumberResidue

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

Type

value

type

name: Integer

value

2025

rule_application · urn:proof:apply:LeapCycleResidue:f1105e42d2207f4b5540313ca02e4876e27f94bb06262036d2afff87d38353d9

attributes

—

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Type
value
type
name
Integer
value
1

Type

literal

Polarity

positive

Condition

leap_cycle_residue

evidence

—

Identifier

f1105e42d2207f4b5540313ca02e4876e27f94bb06262036d2afff87d38353d9

Type

rule_application

Premises

fact-1

Rule

LeapCycleResidue

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

Type

value

type

name: Integer

value

2025

rule_application · urn:proof:apply:WeekdayCycleResidue:31d65a81958167d2ba66610e7a19ffb7c9bd21beff4b804484a9ca6abb225807

attributes

—

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Type
value
type
name
Integer
value
2

Type

literal

Polarity

positive

Condition

weekday_cycle_residue

evidence

—

Identifier

31d65a81958167d2ba66610e7a19ffb7c9bd21beff4b804484a9ca6abb225807

Type

rule_application

Premises

fact-1

Rule

WeekdayCycleResidue

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

Type

value

type

name: Integer

value

2025

assertion · urn:proof:assert:urn:mcp:case#fact-2

attributes

assertion: fact-2

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Identifier
Julian
Type
const_ref

Type

literal

Polarity

positive

Condition

reckoning_paschalion

evidence

—

Identifier

fact-2

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:JulianPaschalionApplicable:e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b

attributes

—

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref

Type

literal

Polarity

positive

Condition

julian_paschalion_applicable

evidence

—

Identifier

e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b

Type

rule_application

Premises

fact-2

Rule

JulianPaschalionApplicable

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

rule_application · urn:proof:apply:JulianLunarShiftIsFifteen:87383fe226f7ae8f3c14523fe4d9d3a217a06798ce9caf81ec0878b9ddf4d7d7

attributes

—

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Type
value
type
name
Integer
value
15

Type

literal

Polarity

positive

Condition

lunar_shift

evidence

—

Identifier

87383fe226f7ae8f3c14523fe4d9d3a217a06798ce9caf81ec0878b9ddf4d7d7

Type

rule_application

Premises

e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b

Rule

JulianLunarShiftIsFifteen

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

rule_application · urn:proof:apply:JulianWeekdayShiftIsSix:5a23e0be6c4869c9b59fd1b9b74ea3ce1b1f9acf0121c469014cb6591079b527

attributes

—

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Type
value
type
name
Integer
value
6

Type

literal

Polarity

positive

Condition

weekday_shift

evidence

—

Identifier

5a23e0be6c4869c9b59fd1b9b74ea3ce1b1f9acf0121c469014cb6591079b527

Type

rule_application

Premises

e2e3c25be9ee8054ace58ec6f60de263c97c9c4e33f7834310f0eeb8dd83963b

Rule

JulianWeekdayShiftIsSix

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

rule_application · urn:proof:apply:LunarCorrection:caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1

attributes

—

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Type
value
type
name
Integer
value
14

Type

literal

Polarity

positive

Condition

lunar_correction

evidence

—

Identifier

caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1

Type

rule_application

Premises

f9029e84d070f0f3591cfcb22e6a1d4484e001add0f3f97b52921d44c905fb1c
87383fe226f7ae8f3c14523fe4d9d3a217a06798ce9caf81ec0878b9ddf4d7d7

Rule

LunarCorrection

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

Type

value

type

name: Integer

value

Type

value

type

name: Integer

value

rule_application · urn:proof:apply:EcclesiasticalFullMoon:ca0a63ca07b6ad0a9642e214b25922aa59528e1015e8270dbc59b187ab82ddf7

attributes

—

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Type
value
type
name
Integer
value
35

Type

literal

Polarity

positive

Condition

ecclesiastical_full_moon

evidence

—

Identifier

ca0a63ca07b6ad0a9642e214b25922aa59528e1015e8270dbc59b187ab82ddf7

Type

rule_application

Premises

caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1

Rule

EcclesiasticalFullMoon

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

Type

value

type

name: Integer

value

rule_application · urn:proof:apply:WeekdayCorrection:640cd9865ab087b80666d023f8d995cedbbff42ca091967561c5a2b23765f485

attributes

—

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Type
value
type
name
Integer
value
2

Type

literal

Polarity

positive

Condition

weekday_correction

evidence

—

Identifier

640cd9865ab087b80666d023f8d995cedbbff42ca091967561c5a2b23765f485

Type

rule_application

Premises

5a23e0be6c4869c9b59fd1b9b74ea3ce1b1f9acf0121c469014cb6591079b527
f1105e42d2207f4b5540313ca02e4876e27f94bb06262036d2afff87d38353d9
caca544ea9e2176034f8ea02e7cf7f9d51146cab68310333cb5fc0823d7118f1
31d65a81958167d2ba66610e7a19ffb7c9bd21beff4b804484a9ca6abb225807

Rule

WeekdayCorrection

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

Type

value

type

name: Integer

value

Type

value

type

name: Integer

value

Type

value

type

name: Integer

value

Type

value

type

name: Integer

value

rule_application · urn:proof:apply:EasterDay:2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c

attributes

strength: defeasible

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Type
value
type
name
Integer
value
38

Type

literal

Polarity

positive

Condition

easter_march_day

evidence

—

Identifier

2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c

Type

rule_application

Premises

ca0a63ca07b6ad0a9642e214b25922aa59528e1015e8270dbc59b187ab82ddf7
640cd9865ab087b80666d023f8d995cedbbff42ca091967561c5a2b23765f485

Rule

EasterDay

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

Type

value

type

name: Integer

value

Type

value

type

name: Integer

value

rule_application · urn:proof:apply:EasterWithinWindow:d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f

attributes

strength: defeasible

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref

Type

literal

Polarity

positive

Condition

easter_within_window

evidence

—

Identifier

d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f

Type

rule_application

Premises

2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c

Rule

EasterWithinWindow

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

Type

value

type

name: Integer

value

rule_application · urn:proof:apply:EasterDateInApril:13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e

attributes

strength: defeasible

conclusion

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Identifier
April
Type
const_ref
Type
value
type
name
Integer
value
7

Type

literal

Polarity

positive

Condition

easter_calendar_date

evidence

—

Identifier

13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e

Type

rule_application

Premises

2a1f658f567f3e9ef58095949846637b312367f163bb2fd41689dc648ebcaa1c
d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f

Rule

EasterDateInApril

sourceAnchors

—

substitution

Identifier: Пасха-2025-юлианская
Type: entity_ref

Type

value

type

name: Integer

value

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

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Type
value
type
name
Integer
value
38

Type

literal

Polarity

positive

Condition

easter_march_day

evidence

—

Identifier

332f2684997d8c020a57dbb81eaeb70c9bf4e78a5c49b907e04e60f49b31c4e9

Type

candidate_closure

Premises

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

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Identifier
April
Type
const_ref
Type
value
type
name
Integer
value
7

Type

literal

Polarity

positive

Condition

easter_calendar_date

evidence

—

Identifier

6a300ea6b421ea2d578f3799645f45c5a74af2337fb508b86763eeb3d9d75e48

Type

candidate_closure

Premises

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

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref

Type

literal

Polarity

positive

Condition

easter_within_window

evidence

—

Identifier

74d776034a2443e8bb0972ae2327c149afaab1506d45bb8d6c53da1a0ab58c2d

Type

candidate_closure

Premises

d2cd78ad6c3905b0ce849dac24839d8d00c43fefea84d063393727cbf479a95f

sourceAnchors

—

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Arguments

Identifier
Пасха-2025-юлианская
Type
entity_ref
Identifier
April
Type
const_ref
Type
value
type
name
Integer
value
7

Type

literal

Polarity

positive

Condition

easter_calendar_date

truthStatus

Established

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

13e2b025676eda23cbb3524f6e083df5f85a0a3f195fff204fdb7651b5f9e63e

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · 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"
  ]
}

SourcesExcerpts: 11

Article 12

Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1

День Пасхи не может быть ранее двадцать второго марта и не может быть позднее двадцать пятого апреля, то есть пятьдесят шестого марта. Предел исчисляется по той пасхалии, по которой ведётся счёт, и в её собственном календаре. Свидетели пределов: 1818 год, Пасха которого по григорианской пасхалии приходится на двадцать второе марта — самый ранний возможный день; и 1943 год, Пасха которого приходится на двадцать пятое апреля — самый поздний возможный день. Нарушение предела означает ошибку счёта, а не редкий год. Счёт, вышедший за предел, настоящим изложением объявляется НЕДОПУСТИМЫМ, и день, полученный таким счётом, днём Пасхи не является.

Original data · 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Нарушение предела означает ошибку счёта, а не редкий год. Счёт, вышедший за предел, настоящим изложением объявляется НЕДОПУСТИМЫМ, и день, полученный таким счётом, днём Пасхи не является."
    }
  ]
}

Article 13

День, выраженный числом дней марта, переводится в месяц и число так: если число не превышает тридцати одного — месяцем признаётся март, а числом месяца само это число; если число более тридцати одного и не превышает шестидесяти одного — месяцем признаётся апрель, а числом месяца это число, уменьшенное на тридцать один; если число более шестидесяти одного и не превышает девяноста двух — месяцем признаётся май, а числом месяца это число, уменьшенное на шестьдесят один. Май возникает не у самой Пасхи, а у юлианской Пасхи, приведённой к григорианской оси по статье 14.

Original data · 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."
    }
  ]
}

Article 3

Пасха приходится на первое воскресенье после первого полнолуния, которое наступает в день весеннего равноденствия или после него. Днём весеннего равноденствия для целей счёта признаётся двадцать первое марта. Пункт 6 буллы называет те же три вещи: место весеннего равноденствия; положение четырнадцатой луны первого месяца, падающей на день равноденствия или ближайшей после него; первое воскресенье после этой четырнадцатой луны. Пункт 7 буллы возвращает равноденствие на двенадцатые календы апреля, то есть на двадцать первое марта. Полнолуние настоящего изложения есть ЦЕРКОВНАЯ ЛУНА — четырнадцатый день лунного месяца, вычисленный по циклу. Церковная луна не есть астрономическое полнолуние и не приближает его: она определяется циклом и только циклом. Пункт 10 буллы устанавливает для этого цикл эпакт вместо золотого числа и говорит о нём, что он, «приведённый к твёрдой мере золотого числа, делает так, что новолуние и пасхальная четырнадцатая луна всегда сохраняют свои истинные места». Расхождение церковной луны с наблюдаемым небом ошибкой счёта не является и настоящим изложением не устраняется. Равным образом днём равноденствия признаётся двадцать первое марта независимо от того, на какой день приходится равноденствие астрономическое.

Original data · 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Равным образом днём равноденствия признаётся двадцать первое марта независимо от того, на какой день приходится равноденствие астрономическое."
    }
  ]
}

Article 4

Счёт начинается с трёх остатков от деления года. Первый остаток есть остаток от деления года на девятнадцать. Он выражает место года в девятнадцатилетнем лунном цикле. Второй остаток есть остаток от деления года на четыре. Он выражает место года в четырёхлетнем цикле високоса. Третий остаток есть остаток от деления года на семь. Он выражает сдвиг дней недели от года к году. Остаток берётся неотрицательным: он есть число от нуля до делителя без единицы.

Original data · 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Остаток берётся неотрицательным: он есть число от нуля до делителя без единицы."
    }
  ]
}

Article 5

Лунная поправка есть остаток от деления на тридцать суммы двух слагаемых: первого остатка, умноженного на девятнадцать, и вековой лунной постоянной. Лунная поправка есть число от нуля до двадцати девяти. Она указывает, на сколько дней после двадцать первого марта приходится церковное полнолуние первого месяца.

Original data · 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Лунная поправка есть число от нуля до двадцати девяти. Она указывает, на сколько дней после двадцать первого марта приходится церковное полнолуние первого месяца."
    }
  ]
}

Article 6

Воскресная поправка есть остаток от деления на семь суммы четырёх слагаемых: второго остатка, умноженного на два; третьего остатка, умноженного на четыре; лунной поправки, умноженной на шесть; и вековой воскресной постоянной. Воскресная поправка есть число от нуля до шести. Она указывает, сколько дней отделяют церковное полнолуние от следующего за ним воскресенья. Воскресность дня Пасхи обеспечивается этой поправкой, и отдельной проверки дня недели счёт не требует.

Original data · 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Воскресная поправка есть число от нуля до шести. Она указывает, сколько дней отделяют церковное полнолуние от следующего за ним воскресенья. Воскресность дня Пасхи обеспечивается этой поправкой, и отдельной проверки дня недели счёт не требует."
    }
  ]
}

Article 7

День Пасхи есть двадцать второе марта, увеличенное на лунную поправку и на воскресную поправку. День Пасхи выражается ЧИСЛОМ ДНЕЙ МАРТА: первое апреля есть тридцать второе марта, девятнадцатое апреля есть пятидесятое марта, двадцать пятое апреля есть пятьдесят шестое марта. Такое выражение употреблено затем, чтобы счёт оставался целочисленным и не требовал календаря. Правило настоящей статьи применяется, если счёт не подпадает под статью 10 или статью 11.

Original data · 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."
    }
  ]
}

Article 9

Вековая лунная постоянная юлианской пасхалии равна пятнадцати, вековая воскресная постоянная — шести. Обе постоянные юлианской пасхалии одинаковы для всякого года и от века не зависят. Юлианская пасхалия к году ранее 1583-го применима: она старше буллы, и рядов, ограничивающих её действие, настоящее изложение не устанавливает.

Original data · 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

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.

Original data · 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

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.

Original data · 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

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.

Original data · 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."
    }
  ]
}

Packages in the snapshot

Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

easter_calendar_date: TRUE_ONLY — установлено Выведено правом: 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) Применены правила: EasterDateInApril, EasterDay, EasterWithinWindow, EcclesiasticalFullMoon, GoldenNumberResidue, JulianLunarShiftIsFifteen, JulianPaschalionApplicable, JulianWeekdayShiftIsSix, LeapCycleResidue, LunarCorrection, WeekdayCorrection, WeekdayCycleResidue Право (Святой Престол): Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — EXECUTABLE 5 §33.1 (programHash sha256:d52416ad0e12…) proof-граф: 18 узлов — поле evaluation готово для law_explain

Complete machine result · 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": []
}

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

{
  "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

Original data · 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
}

Юлианские постоянные встроены в правила, вековых поправок не требуется.

Condition

2025 год, григорианская пасхалия: 20 апреля

Jurisdiction Святой ПрестолLaw as of 2026-08-31

Calculation result

Established

Input parameters

What we are finding

день Пасхи месяцем и числом в календаре своей пасхалии

Пасха-2025-григорианскаяApril20

Input facts

счёт дня Пасхи: один год по одной пасхалии
r: Пасха-2025-григорианская
Subject shared by the facts below
год, для которого ведётся счёт
year: 2025
пасхалия, по которой ведётся счёт
p: Gregorian
вековая лунная постоянная счёта
m: 24
вековая воскресная постоянная счёта
n: 5

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "Пасха-2025-григорианская",
    "April",
    20
  ],
  "facts": [
    {
      "args": [
        "Пасха-2025-григорианская",
        2025
      ],
      "predicate": "reckoning_year"
    },
    {
      "args": [
        "Пасха-2025-григорианская",
        "Gregorian"
      ],
      "predicate": "reckoning_paschalion"
    },
    {
      "args": [
        "Пасха-2025-григорианская",
        24
      ],
      "predicate": "lunar_shift"
    },
    {
      "args": [
        "Пасха-2025-григорианская",
        5
      ],
      "predicate": "weekday_shift"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "vat-computus",
  "predicate": "easter_calendar_date",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path13 steps

1
год, для которого ведётся счёт
r: Пасха-2025-григорианская; year: 2025
case fact
2
Первый остаток есть остаток от деления года на девятнадцать (ст. 4)
11 = 2025 mod 19
art. 4
Identifier
urn:vat:clir:computus#GoldenNumberResidue
rule
3
Второй остаток есть остаток от деления года на четыре (ст. 4)
1 = 2025 mod 4
art. 4
Identifier
urn:vat:clir:computus#LeapCycleResidue
rule
4
Третий остаток есть остаток от деления года на семь (ст. 4)
2 = 2025 mod 7
art. 4
Identifier
urn:vat:clir:computus#WeekdayCycleResidue
rule
5
вековая лунная постоянная счёта
r: Пасха-2025-григорианская; m: 24
case fact
6
Лунная поправка есть остаток от деления на тридцать суммы первого остатка, умноженного на девятнадцать, и вековой лунной постоянной (ст. 5)
23 = (19 × 11 + 24) mod 30
art. 5, sec. 10
Identifier
urn:vat:clir:computus#LunarCorrection
rule
7
Церковное полнолуние первого месяца есть 21 марта, увеличенное на лунную поправку (ст. 3, 5)
44 = 21 + 23
art. 3, sec. 7, sec. 10
Identifier
urn:vat:clir:computus#EcclesiasticalFullMoon
rule
8
вековая воскресная постоянная счёта
r: Пасха-2025-григорианская; n: 5
case fact
9
Воскресная поправка есть остаток от деления на семь суммы второго остатка вдвое, третьего вчетверо, лунной поправки вшестеро и вековой воскресной постоянной (ст. 6)
6 = (2 × 1 + 4 × 2 + 6 × 23 + 5) mod 7
art. 6, sec. 6
Identifier
urn:vat:clir:computus#WeekdayCorrection
rule
10
День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
51 = 44 + 1 + 6
art. 7, sec. 6
Identifier
urn:vat:clir:computus#EasterDay
rule
11
День Пасхи не ранее 22 марта и не позднее 25 апреля (ст. 12)
день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля: r: Пасха-2025-григорианская
art. 12
Identifier
urn:vat:clir:computus#EasterWithinWindow
rule
12
День Пасхи свыше 31 в счёте дней марта есть день апреля: число уменьшается на 31 (ст. 13)
20 = 51 − 31
art. 12, art. 13
Identifier
urn:vat:clir:computus#EasterDateInApril
rule
13
Query evaluation
query

verified by the engine: 10 · case fact: 3 · Full graph: 22 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан

День Пасхи свыше 31 в счёте дней марта есть день апреля: число уменьшается на 31 (ст. 13)
Identifier
urn:vat:clir:computus#EasterDateInApril
День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
Identifier
urn:vat:clir:computus#EasterDay
День Пасхи не ранее 22 марта и не позднее 25 апреля (ст. 12)
Identifier
urn:vat:clir:computus#EasterWithinWindow
Церковное полнолуние первого месяца есть 21 марта, увеличенное на лунную поправку (ст. 3, 5)
Identifier
urn:vat:clir:computus#EcclesiasticalFullMoon
Первый остаток есть остаток от деления года на девятнадцать (ст. 4)
Identifier
urn:vat:clir:computus#GoldenNumberResidue
Второй остаток есть остаток от деления года на четыре (ст. 4)
Identifier
urn:vat:clir:computus#LeapCycleResidue
Лунная поправка есть остаток от деления на тридцать суммы первого остатка, умноженного на девятнадцать, и вековой лунной постоянной (ст. 5)
Identifier
urn:vat:clir:computus#LunarCorrection
Воскресная поправка есть остаток от деления на семь суммы второго остатка вдвое, третьего вчетверо, лунной поправки вшестеро и вековой воскресной постоянной (ст. 6)
Identifier
urn:vat:clir:computus#WeekdayCorrection
Третий остаток есть остаток от деления года на семь (ст. 4)
Identifier
urn:vat:clir:computus#WeekdayCycleResidue

Other rules in the evaluation3

Applied in the overall evaluation, but not on the proof path for this answer.

Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан

День на общей оси свыше 31 и не свыше 61 есть день апреля (ст. 13)
Identifier
urn:vat:clir:computus#AxisDateInApril
Григорианская пасхалия применяется к годам начиная с 1583-го (ст. 2)
Identifier
urn:vat:clir:computus#GregorianPaschalionApplicable
Григорианский счёт уже ведётся на григорианской оси и смещения не требует (ст. 14)
Identifier
urn:vat:clir:computus#GregorianReckoningIsOnItsOwnAxis

Derived result for this query

день Пасхи месяцем и числом в календаре своей пасхалии
r: Пасха-2025-григорианскаяmonth: Aprilday: 20

Other derived facts11

счёт дня Пасхи: один год по одной пасхалии
r: Пасха-2025-григорианская
Subject shared by the facts below
первый остаток: год по модулю девятнадцать, место года в лунном цикле
a: 11
второй остаток: год по модулю четыре, место года в цикле високоса
b: 1
третий остаток: год по модулю семь, сдвиг дней недели
c: 2
к счёту применима григорианская пасхалия
лунная поправка: на сколько дней после 21 марта приходится церковное полнолуние
d: 23
церковное полнолуние первого месяца в счёте дней марта (ст. 3)
day: 44
воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресенья
e: 6
день Пасхи в счёте дней марта (19 апреля есть 50 марта)
day: 51
день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля
день Пасхи счёта, приведённый к григорианской оси, в счёте дней марта
day: 51
день Пасхи счёта на григорианской оси месяцем и числом
month: Aprilday: 20

первый остаток: год по модулю девятнадцать, место года в лунном цикле
r	a
Пасха-2025-григорианская	11

второй остаток: год по модулю четыре, место года в цикле високоса
r	b
Пасха-2025-григорианская	1

третий остаток: год по модулю семь, сдвиг дней недели
r	c
Пасха-2025-григорианская	2

к счёту применима григорианская пасхалия
r
Пасха-2025-григорианская

лунная поправка: на сколько дней после 21 марта приходится церковное полнолуние
r	d
Пасха-2025-григорианская	23

церковное полнолуние первого месяца в счёте дней марта (ст. 3)
r	day
Пасха-2025-григорианская	44

воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресенья
r	e
Пасха-2025-григорианская	6

день Пасхи в счёте дней марта (19 апреля есть 50 марта)
r	day
Пасха-2025-григорианская	51

день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля
r
Пасха-2025-григорианская

Grid by class

April

Пасха-2025-григорианская

день Пасхи месяцем и числом в календаре своей пасхалии
r	month	day
Пасха-2025-григорианская	April	20

день Пасхи счёта, приведённый к григорианской оси, в счёте дней марта
r	day
Пасха-2025-григорианская	51

Grid by class

April

Пасха-2025-григорианская

день Пасхи счёта на григорианской оси месяцем и числом
r	month	day
Пасха-2025-григорианская	April	20

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 6 layer

Proof nodes: 22 · assertion 4, rule_application 12, candidate_closure 5, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

SourcesExcerpts: 13

Article 12

День Пасхи не может быть ранее двадцать второго марта и не может быть позднее двадцать пятого апреля, то есть пятьдесят шестого марта. Предел исчисляется по той пасхалии, по которой ведётся счёт, и в её собственном календаре. Свидетели пределов: 1818 год, Пасха которого по григорианской пасхалии приходится на двадцать второе марта — самый ранний возможный день; и 1943 год, Пасха которого приходится на двадцать пятое апреля — самый поздний возможный день. Нарушение предела означает ошибку счёта, а не редкий год. Счёт, вышедший за предел, настоящим изложением объявляется НЕДОПУСТИМЫМ, и день, полученный таким счётом, днём Пасхи не является.

Original data · 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Нарушение предела означает ошибку счёта, а не редкий год. Счёт, вышедший за предел, настоящим изложением объявляется НЕДОПУСТИМЫМ, и день, полученный таким счётом, днём Пасхи не является."
    }
  ]
}

Article 13

День, выраженный числом дней марта, переводится в месяц и число так: если число не превышает тридцати одного — месяцем признаётся март, а числом месяца само это число; если число более тридцати одного и не превышает шестидесяти одного — месяцем признаётся апрель, а числом месяца это число, уменьшенное на тридцать один; если число более шестидесяти одного и не превышает девяноста двух — месяцем признаётся май, а числом месяца это число, уменьшенное на шестьдесят один. Май возникает не у самой Пасхи, а у юлианской Пасхи, приведённой к григорианской оси по статье 14.

Original data · 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."
    }
  ]
}

Article 14

Два счёта одного года по разным пасхалиям сопоставимы только на одной оси. Днём юлианской Пасхи на григорианской оси признаётся день юлианской Пасхи, увеличенный на смещение осей. Смещение осей зависит от года и принимает следующие значения: для годов с 1583 по 1699 — десять дней; с 1700 по 1799 — одиннадцать; с 1800 по 1899 — двенадцать; с 1900 по 2099 — тринадцать; с 2100 по 2199 — четырнадцать. Границы рядов смещения совпадают с границами рядов статьи 8, и совпадение это не случайно: оба ряда следуют из одного правила пункта 9 буллы о вековом високосе. Два счёта одного года, ведённые по разным пасхалиям, СОВПАДАЮТ, если день григорианской Пасхи и день юлианской Пасхи на григорианской оси равны, и РАСХОДЯТСЯ, если они не равны. Совпадение и расхождение выводятся из счёта; ни то, ни другое не устанавливается настоящим изложением заранее и ни к одной из пасхалий не относится как её свойство. Свидетель совпадения — 2025 год: обе пасхалии дают двадцатое апреля. Свидетель расхождения — 2026 год: григорианская пасхалия даёт пятое апреля, юлианская — тридцатое марта своего календаря, то есть двенадцатое апреля на григорианской оси.

Original data · JSON

{
  "contentHash": "sha256:afeeab185927c28df6b0eda328cf603204dd258ced6bbc8f85520c9d7a2e3a46",
  "edition": "urn:vat:clir:computus#COMPUTUS_RU",
  "fragmentKind": "article",
  "id": "urn:vat:clir:computus#COMPUTUS_ART14",
  "kind": "fragment",
  "locator": "article/14",
  "package": "urn:vat:clir:computus",
  "texts": [
    {
      "contentHash": "sha256:2abf317206cf3d378363cd0b9cbd56873c5a79adbda5d8ad2e7d3c3f632a2b46",
      "language": "ru-KZ",
      "status": "official",
      "text": "Два счёта одного года по разным пасхалиям сопоставимы только на одной оси. Днём юлианской Пасхи на григорианской оси признаётся день юлианской Пасхи, увеличенный на смещение осей.\n\nСмещение осей зависит от года и принимает следующие значения: для годов с 1583 по 1699 — десять дней; с 1700 по 1799 — одиннадцать; с 1800 по 1899 — двенадцать; с 1900 по 2099 — тринадцать; с 2100 по 2199 — четырнадцать.\n\nГраницы рядов смещения совпадают с границами рядов статьи 8, и совпадение это не случайно: оба ряда следуют из одного правила пункта 9 буллы о вековом високосе.\n\nДва счёта одного года, ведённые по разным пасхалиям, СОВПАДАЮТ, если день григорианской Пасхи и день юлианской Пасхи на григорианской оси равны, и РАСХОДЯТСЯ, если они не равны. Совпадение и расхождение выводятся из счёта; ни то, ни другое не устанавливается настоящим изложением заранее и ни к одной из пасхалий не относится как её свойство.\n\nСвидетель совпадения — 2025 год: обе пасхалии дают двадцатое апреля. Свидетель расхождения — 2026 год: григорианская пасхалия даёт пятое апреля, юлианская — тридцатое марта своего календаря, то есть двенадцатое апреля на григорианской оси."
    }
  ]
}

Article 2

Пасхалий две: юлианская и григорианская. Юлианская пасхалия старше буллы. Булла её не учреждала и не отменяла: пункт 14 буллы отменяет старый календарь для тех, кто булле подчинён, а не для всего христианского мира. Юлианская пасхалия действует по сей день в православной традиции. Григорианская пасхалия введена буллой и применяется к годам начиная с 1583-го — первого года, пасха которого считается по исправленному календарю. Ни одна из двух пасхалий не имеет преимущества перед другой. Настоящее изложение не разрешает спора о том, какая из них правильна, и правила такого разрешения не содержит. Какая пасхалия применяется к счёту — обстоятельство счёта, а не вывод из настоящего изложения.

Original data · JSON

{
  "contentHash": "sha256:83a5bcd53e698c9eac537b81b8bcf2de7b25b761104b0f0c94409c5dfe73d259",
  "edition": "urn:vat:clir:computus#COMPUTUS_RU",
  "fragmentKind": "article",
  "id": "urn:vat:clir:computus#COMPUTUS_ART2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:vat:clir:computus",
  "texts": [
    {
      "contentHash": "sha256:47fc5a2aaed103baaa3979acaf40410a0c102714fd7710e6cfdea224fafa0db4",
      "language": "ru-KZ",
      "status": "official",
      "text": "Пасхалий две: юлианская и григорианская.\n\nЮлианская пасхалия старше буллы. Булла её не учреждала и не отменяла: пункт 14 буллы отменяет старый календарь для тех, кто булле подчинён, а не для всего христианского мира. Юлианская пасхалия действует по сей день в православной традиции.\n\nГригорианская пасхалия введена буллой и применяется к годам начиная с 1583-го — первого года, пасха которого считается по исправленному календарю.\n\nНи одна из двух пасхалий не имеет преимущества перед другой. Настоящее изложение не разрешает спора о том, какая из них правильна, и правила такого разрешения не содержит. Какая пасхалия применяется к счёту — обстоятельство счёта, а не вывод из настоящего изложения."
    }
  ]
}

Article 3

Пасха приходится на первое воскресенье после первого полнолуния, которое наступает в день весеннего равноденствия или после него. Днём весеннего равноденствия для целей счёта признаётся двадцать первое марта. Пункт 6 буллы называет те же три вещи: место весеннего равноденствия; положение четырнадцатой луны первого месяца, падающей на день равноденствия или ближайшей после него; первое воскресенье после этой четырнадцатой луны. Пункт 7 буллы возвращает равноденствие на двенадцатые календы апреля, то есть на двадцать первое марта. Полнолуние настоящего изложения есть ЦЕРКОВНАЯ ЛУНА — четырнадцатый день лунного месяца, вычисленный по циклу. Церковная луна не есть астрономическое полнолуние и не приближает его: она определяется циклом и только циклом. Пункт 10 буллы устанавливает для этого цикл эпакт вместо золотого числа и говорит о нём, что он, «приведённый к твёрдой мере золотого числа, делает так, что новолуние и пасхальная четырнадцатая луна всегда сохраняют свои истинные места». Расхождение церковной луны с наблюдаемым небом ошибкой счёта не является и настоящим изложением не устраняется. Равным образом днём равноденствия признаётся двадцать первое марта независимо от того, на какой день приходится равноденствие астрономическое.

Original data · 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Равным образом днём равноденствия признаётся двадцать первое марта независимо от того, на какой день приходится равноденствие астрономическое."
    }
  ]
}

Article 4

Счёт начинается с трёх остатков от деления года. Первый остаток есть остаток от деления года на девятнадцать. Он выражает место года в девятнадцатилетнем лунном цикле. Второй остаток есть остаток от деления года на четыре. Он выражает место года в четырёхлетнем цикле високоса. Третий остаток есть остаток от деления года на семь. Он выражает сдвиг дней недели от года к году. Остаток берётся неотрицательным: он есть число от нуля до делителя без единицы.

Original data · 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Остаток берётся неотрицательным: он есть число от нуля до делителя без единицы."
    }
  ]
}

Article 5

Лунная поправка есть остаток от деления на тридцать суммы двух слагаемых: первого остатка, умноженного на девятнадцать, и вековой лунной постоянной. Лунная поправка есть число от нуля до двадцати девяти. Она указывает, на сколько дней после двадцать первого марта приходится церковное полнолуние первого месяца.

Original data · 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Лунная поправка есть число от нуля до двадцати девяти. Она указывает, на сколько дней после двадцать первого марта приходится церковное полнолуние первого месяца."
    }
  ]
}

Article 6

Воскресная поправка есть остаток от деления на семь суммы четырёх слагаемых: второго остатка, умноженного на два; третьего остатка, умноженного на четыре; лунной поправки, умноженной на шесть; и вековой воскресной постоянной. Воскресная поправка есть число от нуля до шести. Она указывает, сколько дней отделяют церковное полнолуние от следующего за ним воскресенья. Воскресность дня Пасхи обеспечивается этой поправкой, и отдельной проверки дня недели счёт не требует.

Original data · 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Воскресная поправка есть число от нуля до шести. Она указывает, сколько дней отделяют церковное полнолуние от следующего за ним воскресенья. Воскресность дня Пасхи обеспечивается этой поправкой, и отдельной проверки дня недели счёт не требует."
    }
  ]
}

Article 7

День Пасхи есть двадцать второе марта, увеличенное на лунную поправку и на воскресную поправку. День Пасхи выражается ЧИСЛОМ ДНЕЙ МАРТА: первое апреля есть тридцать второе марта, девятнадцатое апреля есть пятидесятое марта, двадцать пятое апреля есть пятьдесят шестое марта. Такое выражение употреблено затем, чтобы счёт оставался целочисленным и не требовал календаря. Правило настоящей статьи применяется, если счёт не подпадает под статью 10 или статью 11.

Original data · 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."
    }
  ]
}

section/10

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.

Original data · 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/14

14. Tollimus autem et abolemus omnino vetus kalendarium, volumusque ut omnes patriarchae, primates, archiepiscopi, episcopi, abbates et ceteri ecclesiarum praesides novum kalendarium (ad quod etiam accomodata est ratio martyrologii), pro divinis officiis recitandis et festis celebrandis, in suas quisque ecclesias, monasteria, conventus, ordines, militias et dioeceses introducant, et eo solo utantur, tam ipsi quam ceteri omnes presbyteri et clerici saeculares et regulares utriusque sexus, necnon milites et omnes christifideles, cuius usus incipiet post decem illos dies ex mense octobri anni MDLXXXII exemptos. Iis vero, qui adeo longinquas incolunt regiones, ut ante praescriptum a nobis tempus harum litterarum notitiam habere non possint, liceat, eodem tamen octobri mense insequentis anni MDLXXXIII vel alterius, cum primum scilicet ad eos hae nostrae litterae pervenerint, modo a nobis paulo ante tradito, eiusmodi mutationem facere, ut copiosius in nostro kalendario anni correctionis explicabitur.

Original data · JSON

{
  "contentHash": "sha256:30bef417eb2b1ffb67e1fcfcef52901cc0adc3aa79537e73829d6069bd2fab9b",
  "edition": "urn:vat:clir:computus#IG_LA",
  "fragmentKind": "section",
  "id": "urn:vat:clir:computus#IG_S14",
  "kind": "fragment",
  "locator": "section/14",
  "package": "urn:vat:clir:computus",
  "texts": [
    {
      "contentHash": "sha256:cbf9d876f853dc88b589c2e9db0eb8c7924dc46115624a5178bf9f93e9cde733",
      "language": "la",
      "status": "official",
      "text": "14. Tollimus autem et abolemus omnino vetus kalendarium, volumusque ut omnes patriarchae, primates, archiepiscopi, episcopi, abbates et ceteri ecclesiarum praesides novum kalendarium (ad quod etiam accomodata est ratio martyrologii), pro divinis officiis recitandis et festis celebrandis, in suas quisque ecclesias, monasteria, conventus, ordines, militias et dioeceses introducant, et eo solo utantur, tam ipsi quam ceteri omnes presbyteri et clerici saeculares et regulares utriusque sexus, necnon milites et omnes christifideles, cuius usus incipiet post decem illos dies ex mense octobri anni MDLXXXII exemptos. Iis vero, qui adeo longinquas incolunt regiones, ut ante praescriptum a nobis tempus harum litterarum notitiam habere non possint, liceat, eodem tamen octobri mense insequentis anni MDLXXXIII vel alterius, cum primum scilicet ad eos hae nostrae litterae pervenerint, modo a nobis paulo ante tradito, eiusmodi mutationem facere, ut copiosius in nostro kalendario anni correctionis explicabitur."
    }
  ]
}

section/6

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.

Original data · 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

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.

Original data · 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."
    }
  ]
}

Packages in the snapshot

Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

easter_calendar_date: TRUE_ONLY — установлено Выведено правом: golden_number_residue(Пасха-2025-григорианская, 11); leap_cycle_residue(Пасха-2025-григорианская, 1); weekday_cycle_residue(Пасха-2025-григорианская, 2); gregorian_paschalion_applicable(Пасха-2025-григорианская); lunar_correction(Пасха-2025-григорианская, 23); ecclesiastical_full_moon(Пасха-2025-григорианская, 44); weekday_correction(Пасха-2025-григорианская, 6); easter_march_day(Пасха-2025-григорианская, 51); easter_within_window(Пасха-2025-григорианская); easter_calendar_date(Пасха-2025-григорианская, April, 20); easter_on_gregorian_axis(Пасха-2025-григорианская, 51); easter_axis_date(Пасха-2025-григорианская, April, 20) Применены правила: AxisDateInApril, EasterDateInApril, EasterDay, EasterWithinWindow, EcclesiasticalFullMoon, GoldenNumberResidue, GregorianPaschalionApplicable, GregorianReckoningIsOnItsOwnAxis, LeapCycleResidue, LunarCorrection, WeekdayCorrection, WeekdayCycleResidue Право (Святой Престол): Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — EXECUTABLE 5 §33.1 (programHash sha256:d52416ad0e12…) proof-граф: 22 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 22,
      "fragments": [
        "urn:vat:clir:computus#COMPUTUS_ART12",
        "urn:vat:clir:computus#COMPUTUS_ART13",
        "urn:vat:clir:computus#COMPUTUS_ART14",
        "urn:vat:clir:computus#COMPUTUS_ART2",
        "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#IG_S10",
        "urn:vat:clir:computus#IG_S14",
        "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:c28b910ba550b2f42fe9a988e9971c45c9dc76a5e3c56e0d2556c11498b03557",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "Святой Престол",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d",
  "resultHash": "sha256:82abe4afd52094f3d1d0ba0c88f5d45f5c71693831de78fb14c703cdf8cfd343",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:d75494468c85c28c65cda9c36f42248d067e2674ebd00c13e3abe8bdde0a5322

Original data · JSON

{
  "args": [
    "Пасха-2025-григорианская",
    "April",
    20
  ],
  "facts": [
    {
      "args": [
        "Пасха-2025-григорианская",
        2025
      ],
      "predicate": "reckoning_year"
    },
    {
      "args": [
        "Пасха-2025-григорианская",
        "Gregorian"
      ],
      "predicate": "reckoning_paschalion"
    },
    {
      "args": [
        "Пасха-2025-григорианская",
        24
      ],
      "predicate": "lunar_shift"
    },
    {
      "args": [
        "Пасха-2025-григорианская",
        5
      ],
      "predicate": "weekday_shift"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "vat-computus",
  "predicate": "easter_calendar_date",
  "proof": true
}

Вековые постоянные 24 и 5 для XXI века поданы фактами дела, как того требует таблица Гаусса.

Condition

1981 год, григорианская пасхалия: 19 апреля

Jurisdiction Святой ПрестолLaw as of 2026-08-31

Calculation result

Established

Input parameters

What we are finding

день Пасхи месяцем и числом в календаре своей пасхалии

Пасха-1981April19

Input facts

счёт дня Пасхи: один год по одной пасхалии
r: Пасха-1981
Subject shared by the facts below
год, для которого ведётся счёт
year: 1981
пасхалия, по которой ведётся счёт
p: Gregorian
вековая лунная постоянная счёта
m: 24
вековая воскресная постоянная счёта
n: 5

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "Пасха-1981",
    "April",
    19
  ],
  "facts": [
    {
      "args": [
        "Пасха-1981",
        1981
      ],
      "predicate": "reckoning_year"
    },
    {
      "args": [
        "Пасха-1981",
        "Gregorian"
      ],
      "predicate": "reckoning_paschalion"
    },
    {
      "args": [
        "Пасха-1981",
        24
      ],
      "predicate": "lunar_shift"
    },
    {
      "args": [
        "Пасха-1981",
        5
      ],
      "predicate": "weekday_shift"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "vat-computus",
  "predicate": "easter_calendar_date",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path12 steps

1
год, для которого ведётся счёт
r: Пасха-1981; year: 1981
case fact
2
Первый остаток есть остаток от деления года на девятнадцать (ст. 4)
5 = 1981 mod 19
art. 4
Identifier
urn:vat:clir:computus#GoldenNumberResidue
rule
3
Второй остаток есть остаток от деления года на четыре (ст. 4)
1 = 1981 mod 4
art. 4
Identifier
urn:vat:clir:computus#LeapCycleResidue
rule
4
Третий остаток есть остаток от деления года на семь (ст. 4)
0 = 1981 mod 7
art. 4
Identifier
urn:vat:clir:computus#WeekdayCycleResidue
rule
5
вековая лунная постоянная счёта
r: Пасха-1981; m: 24
case fact
6
Лунная поправка есть остаток от деления на тридцать суммы первого остатка, умноженного на девятнадцать, и вековой лунной постоянной (ст. 5)
29 = (19 × 5 + 24) mod 30
art. 5, sec. 10
Identifier
urn:vat:clir:computus#LunarCorrection
rule
7
вековая воскресная постоянная счёта
r: Пасха-1981; n: 5
case fact
8
Воскресная поправка есть остаток от деления на семь суммы второго остатка вдвое, третьего вчетверо, лунной поправки вшестеро и вековой воскресной постоянной (ст. 6)
6 = (2 × 1 + 4 × 0 + 6 × 29 + 5) mod 7
art. 6, sec. 6
Identifier
urn:vat:clir:computus#WeekdayCorrection
rule
9
При лунной поправке 29 и воскресной 6 днём Пасхи признаётся 19 апреля, то есть 50 марта (ст. 10)
день Пасхи в счёте дней марта (19 апреля есть 50 марта): r: Пасха-1981; day: 50
art. 10
Identifier
urn:vat:clir:computus#EasterOnNineteenthApril
rule
10
День Пасхи не ранее 22 марта и не позднее 25 апреля (ст. 12)
день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля: r: Пасха-1981
art. 12
Identifier
urn:vat:clir:computus#EasterWithinWindow
rule
11
День Пасхи свыше 31 в счёте дней марта есть день апреля: число уменьшается на 31 (ст. 13)
19 = 50 − 31
art. 12, art. 13
Identifier
urn:vat:clir:computus#EasterDateInApril
rule
12
Query evaluation
query

verified by the engine: 9 · case fact: 3 · Full graph: 25 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан

День Пасхи свыше 31 в счёте дней марта есть день апреля: число уменьшается на 31 (ст. 13)
Identifier
urn:vat:clir:computus#EasterDateInApril
При лунной поправке 29 и воскресной 6 днём Пасхи признаётся 19 апреля, то есть 50 марта (ст. 10)
Identifier
urn:vat:clir:computus#EasterOnNineteenthApril
День Пасхи не ранее 22 марта и не позднее 25 апреля (ст. 12)
Identifier
urn:vat:clir:computus#EasterWithinWindow
Первый остаток есть остаток от деления года на девятнадцать (ст. 4)
Identifier
urn:vat:clir:computus#GoldenNumberResidue
Второй остаток есть остаток от деления года на четыре (ст. 4)
Identifier
urn:vat:clir:computus#LeapCycleResidue
Лунная поправка есть остаток от деления на тридцать суммы первого остатка, умноженного на девятнадцать, и вековой лунной постоянной (ст. 5)
Identifier
urn:vat:clir:computus#LunarCorrection
Воскресная поправка есть остаток от деления на семь суммы второго остатка вдвое, третьего вчетверо, лунной поправки вшестеро и вековой воскресной постоянной (ст. 6)
Identifier
urn:vat:clir:computus#WeekdayCorrection
Третий остаток есть остаток от деления года на семь (ст. 4)
Identifier
urn:vat:clir:computus#WeekdayCycleResidue

Other rules in the evaluation7

Applied in the overall evaluation, but not on the proof path for this answer.

Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан

День на общей оси свыше 31 и не свыше 61 есть день апреля (ст. 13)
Identifier
urn:vat:clir:computus#AxisDateInApril
День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
Identifier
urn:vat:clir:computus#EasterDay
День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
Identifier
urn:vat:clir:computus#EasterDay/unless/0
Церковное полнолуние первого месяца есть 21 марта, увеличенное на лунную поправку (ст. 3, 5)
Identifier
urn:vat:clir:computus#EcclesiasticalFullMoon
Лунная поправка 29 и воскресная 6 суть исключение из статьи 7 (ст. 10)
Identifier
urn:vat:clir:computus#GaussExceptionOfNineteenthApril
Григорианская пасхалия применяется к годам начиная с 1583-го (ст. 2)
Identifier
urn:vat:clir:computus#GregorianPaschalionApplicable
Григорианский счёт уже ведётся на григорианской оси и смещения не требует (ст. 14)
Identifier
urn:vat:clir:computus#GregorianReckoningIsOnItsOwnAxis

Derived result for this query

день Пасхи месяцем и числом в календаре своей пасхалии
r: Пасха-1981month: Aprilday: 19

Other derived facts13

счёт дня Пасхи: один год по одной пасхалии
r: Пасха-1981
Subject shared by the facts below
первый остаток: год по модулю девятнадцать, место года в лунном цикле
a: 5
второй остаток: год по модулю четыре, место года в цикле високоса
b: 1
третий остаток: год по модулю семь, сдвиг дней недели
c: 0
к счёту применима григорианская пасхалия
лунная поправка: на сколько дней после 21 марта приходится церковное полнолуние
d: 29
церковное полнолуние первого месяца в счёте дней марта (ст. 3)
day: 50
воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресенья
e: 6
день Пасхи в счёте дней марта (19 апреля есть 50 марта)
day
57
50
день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля
счёт подпадает под исключение Гаусса (ст. 10 либо 11)
день Пасхи счёта, приведённый к григорианской оси, в счёте дней марта
day: 50
день Пасхи счёта на григорианской оси месяцем и числом
month: Aprilday: 19

day
57
50

первый остаток: год по модулю девятнадцать, место года в лунном цикле
r	a
Пасха-1981	5

второй остаток: год по модулю четыре, место года в цикле високоса
r	b
Пасха-1981	1

третий остаток: год по модулю семь, сдвиг дней недели
r	c
Пасха-1981	0

к счёту применима григорианская пасхалия
r
Пасха-1981

лунная поправка: на сколько дней после 21 марта приходится церковное полнолуние
r	d
Пасха-1981	29

церковное полнолуние первого месяца в счёте дней марта (ст. 3)
r	day
Пасха-1981	50

воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресенья
r	e
Пасха-1981	6

день Пасхи в счёте дней марта (19 апреля есть 50 марта)
r	day
Пасха-1981	57
Пасха-1981	50

день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля
r
Пасха-1981

Grid by class

April

Пасха-1981

день Пасхи месяцем и числом в календаре своей пасхалии
r	month	day
Пасха-1981	April	19

счёт подпадает под исключение Гаусса (ст. 10 либо 11)
r
Пасха-1981

день Пасхи счёта, приведённый к григорианской оси, в счёте дней марта
r	day
Пасха-1981	50

Grid by class

April

Пасха-1981

день Пасхи счёта на григорианской оси месяцем и числом
r	month	day
Пасха-1981	April	19

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Who defeated whom

Defeated День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7) день Пасхи в счёте дней марта (19 апреля есть 50 марта)(Пасха-1981, 57)
Defeated by День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7) день Пасхи в счёте дней марта (19 апреля есть 50 марта)(Пасха-1981, 57) (ground: defeater §107.3)
conclusion день Пасхи в счёте дней марта (19 апреля есть 50 марта)(Пасха-1981, 57)

Defeats are the defeat nodes of the proof graph (§181): the application, its winner and the priority path as recorded by the evaluation; no ordering is recomputed.

Proof graph · 6 layer

Proof nodes: 25 · assertion 4, rule_application 15, candidate_closure 4, defeat 1, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

SourcesExcerpts: 14

Article 10

Если лунная поправка равна двадцати девяти и воскресная поправка равна шести, днём Пасхи признаётся девятнадцатое апреля, то есть пятидесятое марта. Правило настоящей статьи отступает от статьи 7: без него счёт дал бы двадцать шестое апреля, то есть пятьдесят седьмое марта, — день за пределом статьи 12. Свидетель настоящей статьи — 1981 год: Пасха этого года по григорианской пасхалии приходится на девятнадцатое апреля, тогда как статья 7 без настоящего исключения дала бы двадцать шестое.

Original data · JSON

{
  "contentHash": "sha256:5480502383665fa029b6401172802040d715583e22dbc7e46c5519043a3c1221",
  "edition": "urn:vat:clir:computus#COMPUTUS_RU",
  "fragmentKind": "article",
  "id": "urn:vat:clir:computus#COMPUTUS_ART10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:vat:clir:computus",
  "texts": [
    {
      "contentHash": "sha256:f9912e80cb50bb0a4cea9a233f970e23ad85875e544b7f5945697701e952b71d",
      "language": "ru-KZ",
      "status": "official",
      "text": "Если лунная поправка равна двадцати девяти и воскресная поправка равна шести, днём Пасхи признаётся девятнадцатое апреля, то есть пятидесятое марта.\n\nПравило настоящей статьи отступает от статьи 7: без него счёт дал бы двадцать шестое апреля, то есть пятьдесят седьмое марта, — день за пределом статьи 12.\n\nСвидетель настоящей статьи — 1981 год: Пасха этого года по григорианской пасхалии приходится на девятнадцатое апреля, тогда как статья 7 без настоящего исключения дала бы двадцать шестое."
    }
  ]
}

Article 12

День Пасхи не может быть ранее двадцать второго марта и не может быть позднее двадцать пятого апреля, то есть пятьдесят шестого марта. Предел исчисляется по той пасхалии, по которой ведётся счёт, и в её собственном календаре. Свидетели пределов: 1818 год, Пасха которого по григорианской пасхалии приходится на двадцать второе марта — самый ранний возможный день; и 1943 год, Пасха которого приходится на двадцать пятое апреля — самый поздний возможный день. Нарушение предела означает ошибку счёта, а не редкий год. Счёт, вышедший за предел, настоящим изложением объявляется НЕДОПУСТИМЫМ, и день, полученный таким счётом, днём Пасхи не является.

Original data · 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Нарушение предела означает ошибку счёта, а не редкий год. Счёт, вышедший за предел, настоящим изложением объявляется НЕДОПУСТИМЫМ, и день, полученный таким счётом, днём Пасхи не является."
    }
  ]
}

Article 13

День, выраженный числом дней марта, переводится в месяц и число так: если число не превышает тридцати одного — месяцем признаётся март, а числом месяца само это число; если число более тридцати одного и не превышает шестидесяти одного — месяцем признаётся апрель, а числом месяца это число, уменьшенное на тридцать один; если число более шестидесяти одного и не превышает девяноста двух — месяцем признаётся май, а числом месяца это число, уменьшенное на шестьдесят один. Май возникает не у самой Пасхи, а у юлианской Пасхи, приведённой к григорианской оси по статье 14.

Original data · 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."
    }
  ]
}

Article 14

Два счёта одного года по разным пасхалиям сопоставимы только на одной оси. Днём юлианской Пасхи на григорианской оси признаётся день юлианской Пасхи, увеличенный на смещение осей. Смещение осей зависит от года и принимает следующие значения: для годов с 1583 по 1699 — десять дней; с 1700 по 1799 — одиннадцать; с 1800 по 1899 — двенадцать; с 1900 по 2099 — тринадцать; с 2100 по 2199 — четырнадцать. Границы рядов смещения совпадают с границами рядов статьи 8, и совпадение это не случайно: оба ряда следуют из одного правила пункта 9 буллы о вековом високосе. Два счёта одного года, ведённые по разным пасхалиям, СОВПАДАЮТ, если день григорианской Пасхи и день юлианской Пасхи на григорианской оси равны, и РАСХОДЯТСЯ, если они не равны. Совпадение и расхождение выводятся из счёта; ни то, ни другое не устанавливается настоящим изложением заранее и ни к одной из пасхалий не относится как её свойство. Свидетель совпадения — 2025 год: обе пасхалии дают двадцатое апреля. Свидетель расхождения — 2026 год: григорианская пасхалия даёт пятое апреля, юлианская — тридцатое марта своего календаря, то есть двенадцатое апреля на григорианской оси.

Original data · JSON

{
  "contentHash": "sha256:afeeab185927c28df6b0eda328cf603204dd258ced6bbc8f85520c9d7a2e3a46",
  "edition": "urn:vat:clir:computus#COMPUTUS_RU",
  "fragmentKind": "article",
  "id": "urn:vat:clir:computus#COMPUTUS_ART14",
  "kind": "fragment",
  "locator": "article/14",
  "package": "urn:vat:clir:computus",
  "texts": [
    {
      "contentHash": "sha256:2abf317206cf3d378363cd0b9cbd56873c5a79adbda5d8ad2e7d3c3f632a2b46",
      "language": "ru-KZ",
      "status": "official",
      "text": "Два счёта одного года по разным пасхалиям сопоставимы только на одной оси. Днём юлианской Пасхи на григорианской оси признаётся день юлианской Пасхи, увеличенный на смещение осей.\n\nСмещение осей зависит от года и принимает следующие значения: для годов с 1583 по 1699 — десять дней; с 1700 по 1799 — одиннадцать; с 1800 по 1899 — двенадцать; с 1900 по 2099 — тринадцать; с 2100 по 2199 — четырнадцать.\n\nГраницы рядов смещения совпадают с границами рядов статьи 8, и совпадение это не случайно: оба ряда следуют из одного правила пункта 9 буллы о вековом високосе.\n\nДва счёта одного года, ведённые по разным пасхалиям, СОВПАДАЮТ, если день григорианской Пасхи и день юлианской Пасхи на григорианской оси равны, и РАСХОДЯТСЯ, если они не равны. Совпадение и расхождение выводятся из счёта; ни то, ни другое не устанавливается настоящим изложением заранее и ни к одной из пасхалий не относится как её свойство.\n\nСвидетель совпадения — 2025 год: обе пасхалии дают двадцатое апреля. Свидетель расхождения — 2026 год: григорианская пасхалия даёт пятое апреля, юлианская — тридцатое марта своего календаря, то есть двенадцатое апреля на григорианской оси."
    }
  ]
}

Article 2

Пасхалий две: юлианская и григорианская. Юлианская пасхалия старше буллы. Булла её не учреждала и не отменяла: пункт 14 буллы отменяет старый календарь для тех, кто булле подчинён, а не для всего христианского мира. Юлианская пасхалия действует по сей день в православной традиции. Григорианская пасхалия введена буллой и применяется к годам начиная с 1583-го — первого года, пасха которого считается по исправленному календарю. Ни одна из двух пасхалий не имеет преимущества перед другой. Настоящее изложение не разрешает спора о том, какая из них правильна, и правила такого разрешения не содержит. Какая пасхалия применяется к счёту — обстоятельство счёта, а не вывод из настоящего изложения.

Original data · JSON

{
  "contentHash": "sha256:83a5bcd53e698c9eac537b81b8bcf2de7b25b761104b0f0c94409c5dfe73d259",
  "edition": "urn:vat:clir:computus#COMPUTUS_RU",
  "fragmentKind": "article",
  "id": "urn:vat:clir:computus#COMPUTUS_ART2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:vat:clir:computus",
  "texts": [
    {
      "contentHash": "sha256:47fc5a2aaed103baaa3979acaf40410a0c102714fd7710e6cfdea224fafa0db4",
      "language": "ru-KZ",
      "status": "official",
      "text": "Пасхалий две: юлианская и григорианская.\n\nЮлианская пасхалия старше буллы. Булла её не учреждала и не отменяла: пункт 14 буллы отменяет старый календарь для тех, кто булле подчинён, а не для всего христианского мира. Юлианская пасхалия действует по сей день в православной традиции.\n\nГригорианская пасхалия введена буллой и применяется к годам начиная с 1583-го — первого года, пасха которого считается по исправленному календарю.\n\nНи одна из двух пасхалий не имеет преимущества перед другой. Настоящее изложение не разрешает спора о том, какая из них правильна, и правила такого разрешения не содержит. Какая пасхалия применяется к счёту — обстоятельство счёта, а не вывод из настоящего изложения."
    }
  ]
}

Article 3

Пасха приходится на первое воскресенье после первого полнолуния, которое наступает в день весеннего равноденствия или после него. Днём весеннего равноденствия для целей счёта признаётся двадцать первое марта. Пункт 6 буллы называет те же три вещи: место весеннего равноденствия; положение четырнадцатой луны первого месяца, падающей на день равноденствия или ближайшей после него; первое воскресенье после этой четырнадцатой луны. Пункт 7 буллы возвращает равноденствие на двенадцатые календы апреля, то есть на двадцать первое марта. Полнолуние настоящего изложения есть ЦЕРКОВНАЯ ЛУНА — четырнадцатый день лунного месяца, вычисленный по циклу. Церковная луна не есть астрономическое полнолуние и не приближает его: она определяется циклом и только циклом. Пункт 10 буллы устанавливает для этого цикл эпакт вместо золотого числа и говорит о нём, что он, «приведённый к твёрдой мере золотого числа, делает так, что новолуние и пасхальная четырнадцатая луна всегда сохраняют свои истинные места». Расхождение церковной луны с наблюдаемым небом ошибкой счёта не является и настоящим изложением не устраняется. Равным образом днём равноденствия признаётся двадцать первое марта независимо от того, на какой день приходится равноденствие астрономическое.

Original data · 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Равным образом днём равноденствия признаётся двадцать первое марта независимо от того, на какой день приходится равноденствие астрономическое."
    }
  ]
}

Article 4

Счёт начинается с трёх остатков от деления года. Первый остаток есть остаток от деления года на девятнадцать. Он выражает место года в девятнадцатилетнем лунном цикле. Второй остаток есть остаток от деления года на четыре. Он выражает место года в четырёхлетнем цикле високоса. Третий остаток есть остаток от деления года на семь. Он выражает сдвиг дней недели от года к году. Остаток берётся неотрицательным: он есть число от нуля до делителя без единицы.

Original data · 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Остаток берётся неотрицательным: он есть число от нуля до делителя без единицы."
    }
  ]
}

Article 5

Лунная поправка есть остаток от деления на тридцать суммы двух слагаемых: первого остатка, умноженного на девятнадцать, и вековой лунной постоянной. Лунная поправка есть число от нуля до двадцати девяти. Она указывает, на сколько дней после двадцать первого марта приходится церковное полнолуние первого месяца.

Original data · 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Лунная поправка есть число от нуля до двадцати девяти. Она указывает, на сколько дней после двадцать первого марта приходится церковное полнолуние первого месяца."
    }
  ]
}

Article 6

Воскресная поправка есть остаток от деления на семь суммы четырёх слагаемых: второго остатка, умноженного на два; третьего остатка, умноженного на четыре; лунной поправки, умноженной на шесть; и вековой воскресной постоянной. Воскресная поправка есть число от нуля до шести. Она указывает, сколько дней отделяют церковное полнолуние от следующего за ним воскресенья. Воскресность дня Пасхи обеспечивается этой поправкой, и отдельной проверки дня недели счёт не требует.

Original data · 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Воскресная поправка есть число от нуля до шести. Она указывает, сколько дней отделяют церковное полнолуние от следующего за ним воскресенья. Воскресность дня Пасхи обеспечивается этой поправкой, и отдельной проверки дня недели счёт не требует."
    }
  ]
}

Article 7

День Пасхи есть двадцать второе марта, увеличенное на лунную поправку и на воскресную поправку. День Пасхи выражается ЧИСЛОМ ДНЕЙ МАРТА: первое апреля есть тридцать второе марта, девятнадцатое апреля есть пятидесятое марта, двадцать пятое апреля есть пятьдесят шестое марта. Такое выражение употреблено затем, чтобы счёт оставался целочисленным и не требовал календаря. Правило настоящей статьи применяется, если счёт не подпадает под статью 10 или статью 11.

Original data · 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."
    }
  ]
}

section/10

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.

Original data · 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/14

14. Tollimus autem et abolemus omnino vetus kalendarium, volumusque ut omnes patriarchae, primates, archiepiscopi, episcopi, abbates et ceteri ecclesiarum praesides novum kalendarium (ad quod etiam accomodata est ratio martyrologii), pro divinis officiis recitandis et festis celebrandis, in suas quisque ecclesias, monasteria, conventus, ordines, militias et dioeceses introducant, et eo solo utantur, tam ipsi quam ceteri omnes presbyteri et clerici saeculares et regulares utriusque sexus, necnon milites et omnes christifideles, cuius usus incipiet post decem illos dies ex mense octobri anni MDLXXXII exemptos. Iis vero, qui adeo longinquas incolunt regiones, ut ante praescriptum a nobis tempus harum litterarum notitiam habere non possint, liceat, eodem tamen octobri mense insequentis anni MDLXXXIII vel alterius, cum primum scilicet ad eos hae nostrae litterae pervenerint, modo a nobis paulo ante tradito, eiusmodi mutationem facere, ut copiosius in nostro kalendario anni correctionis explicabitur.

Original data · JSON

{
  "contentHash": "sha256:30bef417eb2b1ffb67e1fcfcef52901cc0adc3aa79537e73829d6069bd2fab9b",
  "edition": "urn:vat:clir:computus#IG_LA",
  "fragmentKind": "section",
  "id": "urn:vat:clir:computus#IG_S14",
  "kind": "fragment",
  "locator": "section/14",
  "package": "urn:vat:clir:computus",
  "texts": [
    {
      "contentHash": "sha256:cbf9d876f853dc88b589c2e9db0eb8c7924dc46115624a5178bf9f93e9cde733",
      "language": "la",
      "status": "official",
      "text": "14. Tollimus autem et abolemus omnino vetus kalendarium, volumusque ut omnes patriarchae, primates, archiepiscopi, episcopi, abbates et ceteri ecclesiarum praesides novum kalendarium (ad quod etiam accomodata est ratio martyrologii), pro divinis officiis recitandis et festis celebrandis, in suas quisque ecclesias, monasteria, conventus, ordines, militias et dioeceses introducant, et eo solo utantur, tam ipsi quam ceteri omnes presbyteri et clerici saeculares et regulares utriusque sexus, necnon milites et omnes christifideles, cuius usus incipiet post decem illos dies ex mense octobri anni MDLXXXII exemptos. Iis vero, qui adeo longinquas incolunt regiones, ut ante praescriptum a nobis tempus harum litterarum notitiam habere non possint, liceat, eodem tamen octobri mense insequentis anni MDLXXXIII vel alterius, cum primum scilicet ad eos hae nostrae litterae pervenerint, modo a nobis paulo ante tradito, eiusmodi mutationem facere, ut copiosius in nostro kalendario anni correctionis explicabitur."
    }
  ]
}

section/6

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.

Original data · 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

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.

Original data · 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."
    }
  ]
}

Packages in the snapshot

Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

easter_calendar_date: TRUE_ONLY — установлено Выведено правом: golden_number_residue(Пасха-1981, 5); leap_cycle_residue(Пасха-1981, 1); weekday_cycle_residue(Пасха-1981, 0); gregorian_paschalion_applicable(Пасха-1981); lunar_correction(Пасха-1981, 29); ecclesiastical_full_moon(Пасха-1981, 50); weekday_correction(Пасха-1981, 6); easter_march_day(Пасха-1981, 57); easter_march_day(Пасха-1981, 50); easter_within_window(Пасха-1981); easter_calendar_date(Пасха-1981, April, 19); gauss_exception(Пасха-1981); easter_on_gregorian_axis(Пасха-1981, 50); easter_axis_date(Пасха-1981, April, 19) Применены правила: AxisDateInApril, EasterDateInApril, EasterDay, EasterDay/unless/0, EasterOnNineteenthApril, EasterWithinWindow, EcclesiasticalFullMoon, GaussExceptionOfNineteenthApril, GoldenNumberResidue, GregorianPaschalionApplicable, GregorianReckoningIsOnItsOwnAxis, LeapCycleResidue, LunarCorrection, WeekdayCorrection, WeekdayCycleResidue Право (Святой Престол): Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — EXECUTABLE 5 §33.1 (programHash sha256:d52416ad0e12…) proof-граф: 25 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 22,
      "fragments": [
        "urn:vat:clir:computus#COMPUTUS_ART10",
        "urn:vat:clir:computus#COMPUTUS_ART12",
        "urn:vat:clir:computus#COMPUTUS_ART13",
        "urn:vat:clir:computus#COMPUTUS_ART14",
        "urn:vat:clir:computus#COMPUTUS_ART2",
        "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#IG_S10",
        "urn:vat:clir:computus#IG_S14",
        "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:b2d3a3513b5273483a3fc0d4a3ef77da99e26297480686756ae1444de1f5eaa6",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "Святой Престол",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d",
  "resultHash": "sha256:02650517296f1f6cbe2004e69926944e8b5242524e6ff5fb79143b57d71223e4",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:fed2542241a5561109af913703c1dd1398e93f2cfdaccf7752bc3966f2c42dc2

Original data · JSON

{
  "args": [
    "Пасха-1981",
    "April",
    19
  ],
  "facts": [
    {
      "args": [
        "Пасха-1981",
        1981
      ],
      "predicate": "reckoning_year"
    },
    {
      "args": [
        "Пасха-1981",
        "Gregorian"
      ],
      "predicate": "reckoning_paschalion"
    },
    {
      "args": [
        "Пасха-1981",
        24
      ],
      "predicate": "lunar_shift"
    },
    {
      "args": [
        "Пасха-1981",
        5
      ],
      "predicate": "weekday_shift"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "vat-computus",
  "predicate": "easter_calendar_date",
  "proof": true
}

Исключение Гаусса переносит дату на неделю раньше: правило исключения строгое.

Condition

1981 год: базовый 57-й день марта снят исключением Гаусса

Jurisdiction Святой ПрестолLaw as of 2026-08-31

Calculation result

Not established

Rule premises

Rule: День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
- церковное полнолуние первого месяца в счёте дней марта (ст. 3)Пасха-1981, v1DEPENDS
- воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресеньяПасха-1981, v2DEPENDS
Rule: День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
- счёт подпадает под исключение Гаусса (ст. 10 либо 11)Пасха-1981established
- церковное полнолуние первого месяца в счёте дней марта (ст. 3)Пасха-1981, v1DEPENDS
- воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресеньяПасха-1981, v2DEPENDS

Input parameters

What we are finding

день Пасхи в счёте дней марта (19 апреля есть 50 марта)

Пасха-198157

Input facts

счёт дня Пасхи: один год по одной пасхалии
r: Пасха-1981
Subject shared by the facts below
год, для которого ведётся счёт
year: 1981
пасхалия, по которой ведётся счёт
p: Gregorian
вековая лунная постоянная счёта
m: 24
вековая воскресная постоянная счёта
n: 5

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "Пасха-1981",
    57
  ],
  "facts": [
    {
      "args": [
        "Пасха-1981",
        1981
      ],
      "predicate": "reckoning_year"
    },
    {
      "args": [
        "Пасха-1981",
        "Gregorian"
      ],
      "predicate": "reckoning_paschalion"
    },
    {
      "args": [
        "Пасха-1981",
        24
      ],
      "predicate": "lunar_shift"
    },
    {
      "args": [
        "Пасха-1981",
        5
      ],
      "predicate": "weekday_shift"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "vat-computus",
  "predicate": "easter_march_day",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path1 steps

1
Query evaluation
query

verified by the engine: 1 · case fact: 0 · Full graph: 25 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Applied rules15

Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан

День на общей оси свыше 31 и не свыше 61 есть день апреля (ст. 13)
Identifier
urn:vat:clir:computus#AxisDateInApril
День Пасхи свыше 31 в счёте дней марта есть день апреля: число уменьшается на 31 (ст. 13)
Identifier
urn:vat:clir:computus#EasterDateInApril
День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
Identifier
urn:vat:clir:computus#EasterDay
День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
Identifier
urn:vat:clir:computus#EasterDay/unless/0
При лунной поправке 29 и воскресной 6 днём Пасхи признаётся 19 апреля, то есть 50 марта (ст. 10)
Identifier
urn:vat:clir:computus#EasterOnNineteenthApril
День Пасхи не ранее 22 марта и не позднее 25 апреля (ст. 12)
Identifier
urn:vat:clir:computus#EasterWithinWindow
Церковное полнолуние первого месяца есть 21 марта, увеличенное на лунную поправку (ст. 3, 5)
Identifier
urn:vat:clir:computus#EcclesiasticalFullMoon
Лунная поправка 29 и воскресная 6 суть исключение из статьи 7 (ст. 10)
Identifier
urn:vat:clir:computus#GaussExceptionOfNineteenthApril
Первый остаток есть остаток от деления года на девятнадцать (ст. 4)
Identifier
urn:vat:clir:computus#GoldenNumberResidue
Григорианская пасхалия применяется к годам начиная с 1583-го (ст. 2)
Identifier
urn:vat:clir:computus#GregorianPaschalionApplicable
Григорианский счёт уже ведётся на григорианской оси и смещения не требует (ст. 14)
Identifier
urn:vat:clir:computus#GregorianReckoningIsOnItsOwnAxis
Второй остаток есть остаток от деления года на четыре (ст. 4)
Identifier
urn:vat:clir:computus#LeapCycleResidue
Лунная поправка есть остаток от деления на тридцать суммы первого остатка, умноженного на девятнадцать, и вековой лунной постоянной (ст. 5)
Identifier
urn:vat:clir:computus#LunarCorrection
Воскресная поправка есть остаток от деления на семь суммы второго остатка вдвое, третьего вчетверо, лунной поправки вшестеро и вековой воскресной постоянной (ст. 6)
Identifier
urn:vat:clir:computus#WeekdayCorrection
Третий остаток есть остаток от деления года на семь (ст. 4)
Identifier
urn:vat:clir:computus#WeekdayCycleResidue

Derived result for this query

день Пасхи в счёте дней марта (19 апреля есть 50 марта)
r: Пасха-1981day: 57

Other derived facts13

счёт дня Пасхи: один год по одной пасхалии
r: Пасха-1981
Subject shared by the facts below
первый остаток: год по модулю девятнадцать, место года в лунном цикле
a: 5
второй остаток: год по модулю четыре, место года в цикле високоса
b: 1
третий остаток: год по модулю семь, сдвиг дней недели
c: 0
к счёту применима григорианская пасхалия
лунная поправка: на сколько дней после 21 марта приходится церковное полнолуние
d: 29
церковное полнолуние первого месяца в счёте дней марта (ст. 3)
day: 50
воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресенья
e: 6
день Пасхи в счёте дней марта (19 апреля есть 50 марта)
day: 50
день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля
день Пасхи месяцем и числом в календаре своей пасхалии
month: Aprilday: 19
счёт подпадает под исключение Гаусса (ст. 10 либо 11)
день Пасхи счёта, приведённый к григорианской оси, в счёте дней марта
day: 50
день Пасхи счёта на григорианской оси месяцем и числом
month: Aprilday: 19

первый остаток: год по модулю девятнадцать, место года в лунном цикле
r	a
Пасха-1981	5

второй остаток: год по модулю четыре, место года в цикле високоса
r	b
Пасха-1981	1

третий остаток: год по модулю семь, сдвиг дней недели
r	c
Пасха-1981	0

к счёту применима григорианская пасхалия
r
Пасха-1981

лунная поправка: на сколько дней после 21 марта приходится церковное полнолуние
r	d
Пасха-1981	29

церковное полнолуние первого месяца в счёте дней марта (ст. 3)
r	day
Пасха-1981	50

воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресенья
r	e
Пасха-1981	6

день Пасхи в счёте дней марта (19 апреля есть 50 марта)
r	day
Пасха-1981	57
Пасха-1981	50

день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля
r
Пасха-1981

день Пасхи месяцем и числом в календаре своей пасхалии
r	month	day
Пасха-1981	April	19

счёт подпадает под исключение Гаусса (ст. 10 либо 11)
r
Пасха-1981

день Пасхи счёта, приведённый к григорианской оси, в счёте дней марта
r	day
Пасха-1981	50

день Пасхи счёта на григорианской оси месяцем и числом
r	month	day
Пасха-1981	April	19

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Why the conclusion was not reached2 rules

1
День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
The rule head carries a computed argument, so it cannot be matched
What is missing
- церковное полнолуние первого месяца в счёте дней марта (ст. 3)Пасха-1981, v1DEPENDS
- воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресеньяПасха-1981, v2DEPENDS
Source: art. 7, sec. 6
Identifier
urn:vat:clir:computus#EasterDay
rule
2
День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)
The rule head carries a computed argument, so it cannot be matched
What is missing
- счёт подпадает под исключение Гаусса (ст. 10 либо 11)Пасха-1981Established
- церковное полнолуние первого месяца в счёте дней марта (ст. 3)Пасха-1981, v1DEPENDS
- воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресеньяПасха-1981, v2DEPENDS
Source: art. 7, sec. 6
Identifier
urn:vat:clir:computus#EasterDay/unless/0
rule

These are the rules whose head answers the question, with their unmet premises. A missing fact is not a refuted one.

Proof graph

Who defeated whom

Defeated День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7) день Пасхи в счёте дней марта (19 апреля есть 50 марта)(Пасха-1981, 57)
Defeated by День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7) день Пасхи в счёте дней марта (19 апреля есть 50 марта)(Пасха-1981, 57) (ground: defeater §107.3)
conclusion день Пасхи в счёте дней марта (19 апреля есть 50 марта)(Пасха-1981, 57)

Defeats are the defeat nodes of the proof graph (§181): the application, its winner and the priority path as recorded by the evaluation; no ordering is recomputed.

Proof graph · 1 layer

Proof nodes: 25 · assertion 4, rule_application 15, candidate_closure 4, defeat 1, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

SourcesExcerpts: 14

Article 10

Если лунная поправка равна двадцати девяти и воскресная поправка равна шести, днём Пасхи признаётся девятнадцатое апреля, то есть пятидесятое марта. Правило настоящей статьи отступает от статьи 7: без него счёт дал бы двадцать шестое апреля, то есть пятьдесят седьмое марта, — день за пределом статьи 12. Свидетель настоящей статьи — 1981 год: Пасха этого года по григорианской пасхалии приходится на девятнадцатое апреля, тогда как статья 7 без настоящего исключения дала бы двадцать шестое.

Original data · JSON

{
  "contentHash": "sha256:5480502383665fa029b6401172802040d715583e22dbc7e46c5519043a3c1221",
  "edition": "urn:vat:clir:computus#COMPUTUS_RU",
  "fragmentKind": "article",
  "id": "urn:vat:clir:computus#COMPUTUS_ART10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:vat:clir:computus",
  "texts": [
    {
      "contentHash": "sha256:f9912e80cb50bb0a4cea9a233f970e23ad85875e544b7f5945697701e952b71d",
      "language": "ru-KZ",
      "status": "official",
      "text": "Если лунная поправка равна двадцати девяти и воскресная поправка равна шести, днём Пасхи признаётся девятнадцатое апреля, то есть пятидесятое марта.\n\nПравило настоящей статьи отступает от статьи 7: без него счёт дал бы двадцать шестое апреля, то есть пятьдесят седьмое марта, — день за пределом статьи 12.\n\nСвидетель настоящей статьи — 1981 год: Пасха этого года по григорианской пасхалии приходится на девятнадцатое апреля, тогда как статья 7 без настоящего исключения дала бы двадцать шестое."
    }
  ]
}

Article 12

День Пасхи не может быть ранее двадцать второго марта и не может быть позднее двадцать пятого апреля, то есть пятьдесят шестого марта. Предел исчисляется по той пасхалии, по которой ведётся счёт, и в её собственном календаре. Свидетели пределов: 1818 год, Пасха которого по григорианской пасхалии приходится на двадцать второе марта — самый ранний возможный день; и 1943 год, Пасха которого приходится на двадцать пятое апреля — самый поздний возможный день. Нарушение предела означает ошибку счёта, а не редкий год. Счёт, вышедший за предел, настоящим изложением объявляется НЕДОПУСТИМЫМ, и день, полученный таким счётом, днём Пасхи не является.

Original data · 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Нарушение предела означает ошибку счёта, а не редкий год. Счёт, вышедший за предел, настоящим изложением объявляется НЕДОПУСТИМЫМ, и день, полученный таким счётом, днём Пасхи не является."
    }
  ]
}

Article 13

День, выраженный числом дней марта, переводится в месяц и число так: если число не превышает тридцати одного — месяцем признаётся март, а числом месяца само это число; если число более тридцати одного и не превышает шестидесяти одного — месяцем признаётся апрель, а числом месяца это число, уменьшенное на тридцать один; если число более шестидесяти одного и не превышает девяноста двух — месяцем признаётся май, а числом месяца это число, уменьшенное на шестьдесят один. Май возникает не у самой Пасхи, а у юлианской Пасхи, приведённой к григорианской оси по статье 14.

Original data · 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."
    }
  ]
}

Article 14

Два счёта одного года по разным пасхалиям сопоставимы только на одной оси. Днём юлианской Пасхи на григорианской оси признаётся день юлианской Пасхи, увеличенный на смещение осей. Смещение осей зависит от года и принимает следующие значения: для годов с 1583 по 1699 — десять дней; с 1700 по 1799 — одиннадцать; с 1800 по 1899 — двенадцать; с 1900 по 2099 — тринадцать; с 2100 по 2199 — четырнадцать. Границы рядов смещения совпадают с границами рядов статьи 8, и совпадение это не случайно: оба ряда следуют из одного правила пункта 9 буллы о вековом високосе. Два счёта одного года, ведённые по разным пасхалиям, СОВПАДАЮТ, если день григорианской Пасхи и день юлианской Пасхи на григорианской оси равны, и РАСХОДЯТСЯ, если они не равны. Совпадение и расхождение выводятся из счёта; ни то, ни другое не устанавливается настоящим изложением заранее и ни к одной из пасхалий не относится как её свойство. Свидетель совпадения — 2025 год: обе пасхалии дают двадцатое апреля. Свидетель расхождения — 2026 год: григорианская пасхалия даёт пятое апреля, юлианская — тридцатое марта своего календаря, то есть двенадцатое апреля на григорианской оси.

Original data · JSON

{
  "contentHash": "sha256:afeeab185927c28df6b0eda328cf603204dd258ced6bbc8f85520c9d7a2e3a46",
  "edition": "urn:vat:clir:computus#COMPUTUS_RU",
  "fragmentKind": "article",
  "id": "urn:vat:clir:computus#COMPUTUS_ART14",
  "kind": "fragment",
  "locator": "article/14",
  "package": "urn:vat:clir:computus",
  "texts": [
    {
      "contentHash": "sha256:2abf317206cf3d378363cd0b9cbd56873c5a79adbda5d8ad2e7d3c3f632a2b46",
      "language": "ru-KZ",
      "status": "official",
      "text": "Два счёта одного года по разным пасхалиям сопоставимы только на одной оси. Днём юлианской Пасхи на григорианской оси признаётся день юлианской Пасхи, увеличенный на смещение осей.\n\nСмещение осей зависит от года и принимает следующие значения: для годов с 1583 по 1699 — десять дней; с 1700 по 1799 — одиннадцать; с 1800 по 1899 — двенадцать; с 1900 по 2099 — тринадцать; с 2100 по 2199 — четырнадцать.\n\nГраницы рядов смещения совпадают с границами рядов статьи 8, и совпадение это не случайно: оба ряда следуют из одного правила пункта 9 буллы о вековом високосе.\n\nДва счёта одного года, ведённые по разным пасхалиям, СОВПАДАЮТ, если день григорианской Пасхи и день юлианской Пасхи на григорианской оси равны, и РАСХОДЯТСЯ, если они не равны. Совпадение и расхождение выводятся из счёта; ни то, ни другое не устанавливается настоящим изложением заранее и ни к одной из пасхалий не относится как её свойство.\n\nСвидетель совпадения — 2025 год: обе пасхалии дают двадцатое апреля. Свидетель расхождения — 2026 год: григорианская пасхалия даёт пятое апреля, юлианская — тридцатое марта своего календаря, то есть двенадцатое апреля на григорианской оси."
    }
  ]
}

Article 2

Пасхалий две: юлианская и григорианская. Юлианская пасхалия старше буллы. Булла её не учреждала и не отменяла: пункт 14 буллы отменяет старый календарь для тех, кто булле подчинён, а не для всего христианского мира. Юлианская пасхалия действует по сей день в православной традиции. Григорианская пасхалия введена буллой и применяется к годам начиная с 1583-го — первого года, пасха которого считается по исправленному календарю. Ни одна из двух пасхалий не имеет преимущества перед другой. Настоящее изложение не разрешает спора о том, какая из них правильна, и правила такого разрешения не содержит. Какая пасхалия применяется к счёту — обстоятельство счёта, а не вывод из настоящего изложения.

Original data · JSON

{
  "contentHash": "sha256:83a5bcd53e698c9eac537b81b8bcf2de7b25b761104b0f0c94409c5dfe73d259",
  "edition": "urn:vat:clir:computus#COMPUTUS_RU",
  "fragmentKind": "article",
  "id": "urn:vat:clir:computus#COMPUTUS_ART2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:vat:clir:computus",
  "texts": [
    {
      "contentHash": "sha256:47fc5a2aaed103baaa3979acaf40410a0c102714fd7710e6cfdea224fafa0db4",
      "language": "ru-KZ",
      "status": "official",
      "text": "Пасхалий две: юлианская и григорианская.\n\nЮлианская пасхалия старше буллы. Булла её не учреждала и не отменяла: пункт 14 буллы отменяет старый календарь для тех, кто булле подчинён, а не для всего христианского мира. Юлианская пасхалия действует по сей день в православной традиции.\n\nГригорианская пасхалия введена буллой и применяется к годам начиная с 1583-го — первого года, пасха которого считается по исправленному календарю.\n\nНи одна из двух пасхалий не имеет преимущества перед другой. Настоящее изложение не разрешает спора о том, какая из них правильна, и правила такого разрешения не содержит. Какая пасхалия применяется к счёту — обстоятельство счёта, а не вывод из настоящего изложения."
    }
  ]
}

Article 3

Пасха приходится на первое воскресенье после первого полнолуния, которое наступает в день весеннего равноденствия или после него. Днём весеннего равноденствия для целей счёта признаётся двадцать первое марта. Пункт 6 буллы называет те же три вещи: место весеннего равноденствия; положение четырнадцатой луны первого месяца, падающей на день равноденствия или ближайшей после него; первое воскресенье после этой четырнадцатой луны. Пункт 7 буллы возвращает равноденствие на двенадцатые календы апреля, то есть на двадцать первое марта. Полнолуние настоящего изложения есть ЦЕРКОВНАЯ ЛУНА — четырнадцатый день лунного месяца, вычисленный по циклу. Церковная луна не есть астрономическое полнолуние и не приближает его: она определяется циклом и только циклом. Пункт 10 буллы устанавливает для этого цикл эпакт вместо золотого числа и говорит о нём, что он, «приведённый к твёрдой мере золотого числа, делает так, что новолуние и пасхальная четырнадцатая луна всегда сохраняют свои истинные места». Расхождение церковной луны с наблюдаемым небом ошибкой счёта не является и настоящим изложением не устраняется. Равным образом днём равноденствия признаётся двадцать первое марта независимо от того, на какой день приходится равноденствие астрономическое.

Original data · 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Равным образом днём равноденствия признаётся двадцать первое марта независимо от того, на какой день приходится равноденствие астрономическое."
    }
  ]
}

Article 4

Счёт начинается с трёх остатков от деления года. Первый остаток есть остаток от деления года на девятнадцать. Он выражает место года в девятнадцатилетнем лунном цикле. Второй остаток есть остаток от деления года на четыре. Он выражает место года в четырёхлетнем цикле високоса. Третий остаток есть остаток от деления года на семь. Он выражает сдвиг дней недели от года к году. Остаток берётся неотрицательным: он есть число от нуля до делителя без единицы.

Original data · 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Остаток берётся неотрицательным: он есть число от нуля до делителя без единицы."
    }
  ]
}

Article 5

Лунная поправка есть остаток от деления на тридцать суммы двух слагаемых: первого остатка, умноженного на девятнадцать, и вековой лунной постоянной. Лунная поправка есть число от нуля до двадцати девяти. Она указывает, на сколько дней после двадцать первого марта приходится церковное полнолуние первого месяца.

Original data · 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Лунная поправка есть число от нуля до двадцати девяти. Она указывает, на сколько дней после двадцать первого марта приходится церковное полнолуние первого месяца."
    }
  ]
}

Article 6

Воскресная поправка есть остаток от деления на семь суммы четырёх слагаемых: второго остатка, умноженного на два; третьего остатка, умноженного на четыре; лунной поправки, умноженной на шесть; и вековой воскресной постоянной. Воскресная поправка есть число от нуля до шести. Она указывает, сколько дней отделяют церковное полнолуние от следующего за ним воскресенья. Воскресность дня Пасхи обеспечивается этой поправкой, и отдельной проверки дня недели счёт не требует.

Original data · 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Воскресная поправка есть число от нуля до шести. Она указывает, сколько дней отделяют церковное полнолуние от следующего за ним воскресенья. Воскресность дня Пасхи обеспечивается этой поправкой, и отдельной проверки дня недели счёт не требует."
    }
  ]
}

Article 7

День Пасхи есть двадцать второе марта, увеличенное на лунную поправку и на воскресную поправку. День Пасхи выражается ЧИСЛОМ ДНЕЙ МАРТА: первое апреля есть тридцать второе марта, девятнадцатое апреля есть пятидесятое марта, двадцать пятое апреля есть пятьдесят шестое марта. Такое выражение употреблено затем, чтобы счёт оставался целочисленным и не требовал календаря. Правило настоящей статьи применяется, если счёт не подпадает под статью 10 или статью 11.

Original data · 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."
    }
  ]
}

section/10

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.

Original data · 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/14

14. Tollimus autem et abolemus omnino vetus kalendarium, volumusque ut omnes patriarchae, primates, archiepiscopi, episcopi, abbates et ceteri ecclesiarum praesides novum kalendarium (ad quod etiam accomodata est ratio martyrologii), pro divinis officiis recitandis et festis celebrandis, in suas quisque ecclesias, monasteria, conventus, ordines, militias et dioeceses introducant, et eo solo utantur, tam ipsi quam ceteri omnes presbyteri et clerici saeculares et regulares utriusque sexus, necnon milites et omnes christifideles, cuius usus incipiet post decem illos dies ex mense octobri anni MDLXXXII exemptos. Iis vero, qui adeo longinquas incolunt regiones, ut ante praescriptum a nobis tempus harum litterarum notitiam habere non possint, liceat, eodem tamen octobri mense insequentis anni MDLXXXIII vel alterius, cum primum scilicet ad eos hae nostrae litterae pervenerint, modo a nobis paulo ante tradito, eiusmodi mutationem facere, ut copiosius in nostro kalendario anni correctionis explicabitur.

Original data · JSON

{
  "contentHash": "sha256:30bef417eb2b1ffb67e1fcfcef52901cc0adc3aa79537e73829d6069bd2fab9b",
  "edition": "urn:vat:clir:computus#IG_LA",
  "fragmentKind": "section",
  "id": "urn:vat:clir:computus#IG_S14",
  "kind": "fragment",
  "locator": "section/14",
  "package": "urn:vat:clir:computus",
  "texts": [
    {
      "contentHash": "sha256:cbf9d876f853dc88b589c2e9db0eb8c7924dc46115624a5178bf9f93e9cde733",
      "language": "la",
      "status": "official",
      "text": "14. Tollimus autem et abolemus omnino vetus kalendarium, volumusque ut omnes patriarchae, primates, archiepiscopi, episcopi, abbates et ceteri ecclesiarum praesides novum kalendarium (ad quod etiam accomodata est ratio martyrologii), pro divinis officiis recitandis et festis celebrandis, in suas quisque ecclesias, monasteria, conventus, ordines, militias et dioeceses introducant, et eo solo utantur, tam ipsi quam ceteri omnes presbyteri et clerici saeculares et regulares utriusque sexus, necnon milites et omnes christifideles, cuius usus incipiet post decem illos dies ex mense octobri anni MDLXXXII exemptos. Iis vero, qui adeo longinquas incolunt regiones, ut ante praescriptum a nobis tempus harum litterarum notitiam habere non possint, liceat, eodem tamen octobri mense insequentis anni MDLXXXIII vel alterius, cum primum scilicet ad eos hae nostrae litterae pervenerint, modo a nobis paulo ante tradito, eiusmodi mutationem facere, ut copiosius in nostro kalendario anni correctionis explicabitur."
    }
  ]
}

section/6

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.

Original data · 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

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.

Original data · 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."
    }
  ]
}

Packages in the snapshot

Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — юрисдикция HolySee, НЕ Республика Казахстан — EXECUTABLE 5 §33.1

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

easter_march_day: NEITHER — НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет» Выведено правом: golden_number_residue(Пасха-1981, 5); leap_cycle_residue(Пасха-1981, 1); weekday_cycle_residue(Пасха-1981, 0); gregorian_paschalion_applicable(Пасха-1981); lunar_correction(Пасха-1981, 29); ecclesiastical_full_moon(Пасха-1981, 50); weekday_correction(Пасха-1981, 6); easter_march_day(Пасха-1981, 57); easter_march_day(Пасха-1981, 50); easter_within_window(Пасха-1981); easter_calendar_date(Пасха-1981, April, 19); gauss_exception(Пасха-1981); easter_on_gregorian_axis(Пасха-1981, 50); easter_axis_date(Пасха-1981, April, 19) Применены правила: AxisDateInApril, EasterDateInApril, EasterDay, EasterDay/unless/0, EasterOnNineteenthApril, EasterWithinWindow, EcclesiasticalFullMoon, GaussExceptionOfNineteenthApril, GoldenNumberResidue, GregorianPaschalionApplicable, GregorianReckoningIsOnItsOwnAxis, LeapCycleResidue, LunarCorrection, WeekdayCorrection, WeekdayCycleResidue Правило «День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)» (значение вычисляется правилом — сверяйте посылки, а не число) вывело бы это при посылках: · ecclesiastical_full_moon(Пасха-1981, v1) — DEPENDS · weekday_correction(Пасха-1981, v2) — DEPENDS Правило «День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)» (значение вычисляется правилом — сверяйте посылки, а не число) вывело бы это при посылках: ✓ gauss_exception(Пасха-1981) — TRUE_ONLY · ecclesiastical_full_moon(Пасха-1981, v1) — DEPENDS · weekday_correction(Пасха-1981, v2) — DEPENDS (? — факт не подан и не выведен; ✗ — установлено обратное) Полные правила с посылками: law_rules({"predicate": "easter_march_day"}) Право (Святой Престол): Пасхалия: юлианское и григорианское вычисление дня Пасхи (Inter gravissimas и форма Гаусса) — EXECUTABLE 5 §33.1 (programHash sha256:d52416ad0e12…) proof-граф: 25 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

{
  "blockers": {
    "whyNot": [
      {
        "anchors": [
          "urn:vat:clir:computus#COMPUTUS_ART7",
          "urn:vat:clir:computus#IG_S6"
        ],
        "computedHead": true,
        "label": "День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)",
        "premises": [
          {
            "args": [
              "Пасха-1981",
              "v1"
            ],
            "predicate": "ecclesiastical_full_moon",
            "predicateId": "urn:vat:clir:computus#ecclesiastical_full_moon",
            "status": "DEPENDS",
            "text": "ecclesiastical_full_moon(Пасха-1981, v1)"
          },
          {
            "args": [
              "Пасха-1981",
              "v2"
            ],
            "predicate": "weekday_correction",
            "predicateId": "urn:vat:clir:computus#weekday_correction",
            "status": "DEPENDS",
            "text": "weekday_correction(Пасха-1981, v2)"
          }
        ],
        "rule": "EasterDay",
        "ruleId": "urn:vat:clir:computus#EasterDay"
      },
      {
        "anchors": [
          "urn:vat:clir:computus#COMPUTUS_ART7",
          "urn:vat:clir:computus#IG_S6"
        ],
        "computedHead": true,
        "label": "День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)",
        "premises": [
          {
            "args": [
              "Пасха-1981"
            ],
            "predicate": "gauss_exception",
            "predicateId": "urn:vat:clir:computus#gauss_exception",
            "status": "TRUE_ONLY",
            "text": "gauss_exception(Пасха-1981)"
          },
          {
            "args": [
              "Пасха-1981",
              "v1"
            ],
            "predicate": "ecclesiastical_full_moon",
            "predicateId": "urn:vat:clir:computus#ecclesiastical_full_moon",
            "status": "DEPENDS",
            "text": "ecclesiastical_full_moon(Пасха-1981, v1)"
          },
          {
            "args": [
              "Пасха-1981",
              "v2"
            ],
            "predicate": "weekday_correction",
            "predicateId": "urn:vat:clir:computus#weekday_correction",
            "status": "DEPENDS",
            "text": "weekday_correction(Пасха-1981, v2)"
          }
        ],
        "rule": "EasterDay/unless/0",
        "ruleId": "urn:vat:clir:computus#EasterDay/unless/0"
      }
    ]
  },
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:ea6da9ba4eec70424dddd7ffb6c7f65b79d56cc8bd28fd8e0a365780c73cf26a"
  },
  "steps": [
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:mcp:entity:Пасха-1981",
              "kind": "entity_ref"
            },
            {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Integer"
              },
              "value": 57
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:vat:clir:computus#easter_march_day"
        },
        "truthStatus": "NEITHER"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:vat:clir:computus#AxisDateInApril",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "День на общей оси свыше 31 и не свыше 61 есть день апреля (ст. 13)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "defeasible"
    },
    {
      "id": "urn:vat:clir:computus#EasterDateInApril",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "День Пасхи свыше 31 в счёте дней марта есть день апреля: число уменьшается на 31 (ст. 13)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "defeasible"
    },
    {
      "id": "urn:vat:clir:computus#EasterDay",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "defeasible"
    },
    {
      "id": "urn:vat:clir:computus#EasterDay/unless/0",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "День Пасхи есть день после церковного полнолуния, увеличенный на воскресную поправку, если счёт не подпадает под исключение (ст. 7)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "defeater"
    },
    {
      "id": "urn:vat:clir:computus#EasterOnNineteenthApril",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "При лунной поправке 29 и воскресной 6 днём Пасхи признаётся 19 апреля, то есть 50 марта (ст. 10)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "strict"
    },
    {
      "id": "urn:vat:clir:computus#EasterWithinWindow",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "День Пасхи не ранее 22 марта и не позднее 25 апреля (ст. 12)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "defeasible"
    },
    {
      "id": "urn:vat:clir:computus#EcclesiasticalFullMoon",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Церковное полнолуние первого месяца есть 21 марта, увеличенное на лунную поправку (ст. 3, 5)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "strict"
    },
    {
      "id": "urn:vat:clir:computus#GaussExceptionOfNineteenthApril",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Лунная поправка 29 и воскресная 6 суть исключение из статьи 7 (ст. 10)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "strict"
    },
    {
      "id": "urn:vat:clir:computus#GoldenNumberResidue",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Первый остаток есть остаток от деления года на девятнадцать (ст. 4)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "strict"
    },
    {
      "id": "urn:vat:clir:computus#GregorianPaschalionApplicable",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Григорианская пасхалия применяется к годам начиная с 1583-го (ст. 2)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "strict"
    },
    {
      "id": "urn:vat:clir:computus#GregorianReckoningIsOnItsOwnAxis",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Григорианский счёт уже ведётся на григорианской оси и смещения не требует (ст. 14)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "defeasible"
    },
    {
      "id": "urn:vat:clir:computus#LeapCycleResidue",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Второй остаток есть остаток от деления года на четыре (ст. 4)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "strict"
    },
    {
      "id": "urn:vat:clir:computus#LunarCorrection",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Лунная поправка есть остаток от деления на тридцать суммы первого остатка, умноженного на девятнадцать, и вековой лунной постоянной (ст. 5)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "strict"
    },
    {
      "id": "urn:vat:clir:computus#Month",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "месяц дня Пасхи: март, апрель либо май (ст. 13)"
        }
      ],
      "name": "Month",
      "package": "urn:vat:clir:computus"
    },
    {
      "id": "urn:vat:clir:computus#Paschalion",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "пасхалия: юлианская или григорианская (ст. 2)"
        }
      ],
      "name": "Paschalion",
      "package": "urn:vat:clir:computus"
    },
    {
      "id": "urn:vat:clir:computus#Reckoning",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "счёт дня Пасхи: один год по одной пасхалии"
        }
      ],
      "name": "Reckoning",
      "package": "urn:vat:clir:computus"
    },
    {
      "id": "urn:vat:clir:computus#WeekdayCorrection",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Воскресная поправка есть остаток от деления на семь суммы второго остатка вдвое, третьего вчетверо, лунной поправки вшестеро и вековой воскресной постоянной (ст. 6)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "strict"
    },
    {
      "id": "urn:vat:clir:computus#WeekdayCycleResidue",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Третий остаток есть остаток от деления года на семь (ст. 4)"
        }
      ],
      "package": "urn:vat:clir:computus",
      "strength": "strict"
    },
    {
      "id": "urn:vat:clir:computus#easter_axis_date",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "день Пасхи счёта на григорианской оси месяцем и числом"
        }
      ],
      "name": "easter_axis_date",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#easter_axis_date/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#easter_axis_date/arg/month",
          "labels": [],
          "name": "month",
          "type": {
            "name": "urn:vat:clir:computus#Month"
          }
        },
        {
          "id": "urn:vat:clir:computus#easter_axis_date/arg/day",
          "labels": [],
          "name": "day",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#easter_calendar_date",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "день Пасхи месяцем и числом в календаре своей пасхалии"
        }
      ],
      "name": "easter_calendar_date",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#easter_calendar_date/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#easter_calendar_date/arg/month",
          "labels": [],
          "name": "month",
          "type": {
            "name": "urn:vat:clir:computus#Month"
          }
        },
        {
          "id": "urn:vat:clir:computus#easter_calendar_date/arg/day",
          "labels": [],
          "name": "day",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#easter_march_day",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "день Пасхи в счёте дней марта (19 апреля есть 50 марта)"
        }
      ],
      "name": "easter_march_day",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#easter_march_day/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#easter_march_day/arg/day",
          "labels": [],
          "name": "day",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#easter_on_gregorian_axis",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "день Пасхи счёта, приведённый к григорианской оси, в счёте дней марта"
        }
      ],
      "name": "easter_on_gregorian_axis",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#easter_on_gregorian_axis/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#easter_on_gregorian_axis/arg/day",
          "labels": [],
          "name": "day",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#easter_within_window",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "день Пасхи лежит в пределах пасхального окна: от 22 марта до 25 апреля"
        }
      ],
      "name": "easter_within_window",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#easter_within_window/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#ecclesiastical_full_moon",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "церковное полнолуние первого месяца в счёте дней марта (ст. 3)"
        }
      ],
      "name": "ecclesiastical_full_moon",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#ecclesiastical_full_moon/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#ecclesiastical_full_moon/arg/day",
          "labels": [],
          "name": "day",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#gauss_exception",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "счёт подпадает под исключение Гаусса (ст. 10 либо 11)"
        }
      ],
      "name": "gauss_exception",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#gauss_exception/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#golden_number_residue",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "первый остаток: год по модулю девятнадцать, место года в лунном цикле"
        }
      ],
      "name": "golden_number_residue",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#golden_number_residue/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#golden_number_residue/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#gregorian_paschalion_applicable",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "к счёту применима григорианская пасхалия"
        }
      ],
      "name": "gregorian_paschalion_applicable",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#gregorian_paschalion_applicable/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#leap_cycle_residue",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "второй остаток: год по модулю четыре, место года в цикле високоса"
        }
      ],
      "name": "leap_cycle_residue",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#leap_cycle_residue/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#leap_cycle_residue/arg/b",
          "labels": [],
          "name": "b",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#lunar_correction",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "лунная поправка: на сколько дней после 21 марта приходится церковное полнолуние"
        }
      ],
      "name": "lunar_correction",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#lunar_correction/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#lunar_correction/arg/d",
          "labels": [],
          "name": "d",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#lunar_shift",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "вековая лунная постоянная счёта"
        }
      ],
      "name": "lunar_shift",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#lunar_shift/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#lunar_shift/arg/m",
          "labels": [],
          "name": "m",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#reckoning_paschalion",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "пасхалия, по которой ведётся счёт"
        }
      ],
      "name": "reckoning_paschalion",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#reckoning_paschalion/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#reckoning_paschalion/arg/p",
          "labels": [],
          "name": "p",
          "type": {
            "name": "urn:vat:clir:computus#Paschalion"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#reckoning_year",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "год, для которого ведётся счёт"
        }
      ],
      "name": "reckoning_year",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#reckoning_year/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#reckoning_year/arg/year",
          "labels": [],
          "name": "year",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#weekday_correction",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "воскресная поправка: сколько дней отделяют церковное полнолуние от следующего воскресенья"
        }
      ],
      "name": "weekday_correction",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#weekday_correction/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#weekday_correction/arg/e",
          "labels": [],
          "name": "e",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#weekday_cycle_residue",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "третий остаток: год по модулю семь, сдвиг дней недели"
        }
      ],
      "name": "weekday_cycle_residue",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#weekday_cycle_residue/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#weekday_cycle_residue/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:vat:clir:computus#weekday_shift",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "вековая воскресная постоянная счёта"
        }
      ],
      "name": "weekday_shift",
      "package": "urn:vat:clir:computus",
      "parameters": [
        {
          "id": "urn:vat:clir:computus#weekday_shift/arg/r",
          "labels": [],
          "name": "r",
          "type": {
            "name": "urn:vat:clir:computus#Reckoning"
          }
        },
        {
          "id": "urn:vat:clir:computus#weekday_shift/arg/n",
          "labels": [],
          "name": "n",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 22,
      "fragments": [
        "urn:vat:clir:computus#COMPUTUS_ART10",
        "urn:vat:clir:computus#COMPUTUS_ART12",
        "urn:vat:clir:computus#COMPUTUS_ART13",
        "urn:vat:clir:computus#COMPUTUS_ART14",
        "urn:vat:clir:computus#COMPUTUS_ART2",
        "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#IG_S10",
        "urn:vat:clir:computus#IG_S14",
        "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:b2d3a3513b5273483a3fc0d4a3ef77da99e26297480686756ae1444de1f5eaa6",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "Святой Престол",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:d52416ad0e12fd22061ce34630f483822df76b188243c6120d962438d32a425d",
  "resultHash": "sha256:9f3aa0b4e5f5cc482050003752f064f8ec3ac39a0d292878c7ba3b032b2f2720",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:703fed836762b4d1282fae6e7d46467d3b76240df62e3b49e60e31ca6e210bf1

Original data · JSON

{
  "args": [
    "Пасха-1981",
    57
  ],
  "facts": [
    {
      "args": [
        "Пасха-1981",
        1981
      ],
      "predicate": "reckoning_year"
    },
    {
      "args": [
        "Пасха-1981",
        "Gregorian"
      ],
      "predicate": "reckoning_paschalion"
    },
    {
      "args": [
        "Пасха-1981",
        24
      ],
      "predicate": "lunar_shift"
    },
    {
      "args": [
        "Пасха-1981",
        5
      ],
      "predicate": "weekday_shift"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "vat-computus",
  "predicate": "easter_march_day",
  "proof": true
}

Базовый день 57 не установлен: опровержимое правило основной формы побеждено дефитером исключения.

How to cite

The snapshot is immutable: the SHA-256 of the downloadable JSON pins it, so no access date is needed.

Citation

“Когда Пасха 2025 года по юлианскому и по григорианскому счёту, и почему в 1981 году формула Гаусса даёт 19, а не 26 апреля?”. Arxo Lens, as of 2026-08-31. https://lens.arxo.io/a/a_iZ_ivPT2DvDcJX3icpc9vIqP. Snapshot SHA-256: e28387477e3d687646d2bddbd8a5d5b94e7b1346e5389b04c4636076c100c3c7.

BibTeX

@misc{arxo-lens-a_iZ_ivPT2DvDc,
  title = {Когда Пасха 2025 года по юлианскому и по григорианскому счёту, и почему в 1981 году формула Гаусса даёт 19, а не 26 апреля?},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/a_iZ_ivPT2DvDcJX3icpc9vIqP},
  note = {as of 2026-08-31; SHA-256 e28387477e3d687646d2bddbd8a5d5b94e7b1346e5389b04c4636076c100c3c7}
}

Embed code

The card shows the result and links to the full analysis; it sets no cookies.

<iframe src="https://lens.arxo.io/embed/a_iZ_ivPT2DvDcJX3icpc9vIqP?lang=en" width="100%" height="390" loading="lazy" title="Computus: Easter 2025 on two calendars and the Gauss — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.