Condition
Служба с 1 июня 2000 по 1 июня 2025 года: порог двадцати пяти лет
Jurisdiction правопорядок не объявлен; основная юрисдикция корпуса — Республика КазахстанLaw as of 2026-09-01
Calculation result
Established
Input parameters
What we are finding
выслуга лица составляет не менее двадцати пяти лет — порог статьи 212 Социального кодекса
p1
Input facts
лицо, чья выслуга лет сводится с правом на пенсионные выплаты
person: p1Subject shared by the facts below
день начала службы, засчитываемой в выслугу лет
day: 1 June 2000день увольнения со службы
day: 1 June 2025
Counting settings
- The last day is included
- If the day does not exist, use the last day of the month
- No adjustment to a working day
- Counting starts on the same day
Package: Мост «выслуга → пенсия за выслугу лет»: дни Инструкции № 827 и годы статьи 212 Социального кодекса
Additional details
- Include proof
- Yes
Original data · JSON
{
"args": [
"urn:kz:vp:person:p1"
],
"deadlinePolicy": {
"include_end": true,
"month_end": "last_day_of_month",
"roll": "no_roll",
"start_count": "same_day"
},
"facts": [
{
"args": [
"urn:kz:vp:person:p1",
"2000-06-01"
],
"predicate": "service_started_on"
},
{
"args": [
"urn:kz:vp:person:p1",
"2025-06-01"
],
"predicate": "service_ended_on"
}
],
"kind": "truth",
"legalTime": "2026-09-01",
"package": "kz-vysluga-pensiya",
"predicate": "seniority_at_least_25_years",
"proof": true
}Why this resultApplied rules and conditions
Derivation path5 steps
- 1case fact
день начала службы, засчитываемой в выслугу лет
person: urn:kz:vp:person:p1; day: 1 June 2000
- 2case fact
день увольнения со службы
person: urn:kz:vp:person:p1; day: 1 June 2025
- 3rule
Статья 214 Социального кодекса. Выслуга лет для назначения пенсионных выплат исчисляется календарно; двадцать пять лет исчисляются годовщиной дня начала службы
выслуга лица, исчисленная календарно, составляет не менее двадцати пяти лет: person: urn:kz:vp:person:p1
KZ-SOCIAL-CODE-ART-214
Identifier
urn:kz:corpus:clir:vysluga-pensiya#CalendarSeniorityReached - 4rule
Статья 212 пункт 1 Социального кодекса. Право на пенсионные выплаты за выслугу лет имеют лица, имеющие выслугу не менее двадцати пяти лет
выслуга лица составляет не менее двадцати пяти лет — порог статьи 212 Социального кодекса: person: urn:kz:vp:person:p1
KZ-SOCIAL-CODE-ART-212
Identifier
urn:kz:corpus:clir:vysluga-pensiya#ThresholdByCalendar - 5query
Query evaluation
verified by the engine: 3 · case fact: 2 · Full graph: 7 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.
Мост «выслуга → пенсия за выслугу лет»: дни Инструкции № 827 и годы статьи 212 Социального кодекса
Статья 214 Социального кодекса. Выслуга лет для назначения пенсионных выплат исчисляется календарно; двадцать пять лет исчисляются годовщиной дня начала службы
Identifier
urn:kz:corpus:clir:vysluga-pensiya#CalendarSeniorityReachedСтатья 212 пункт 1 Социального кодекса. Право на пенсионные выплаты за выслугу лет имеют лица, имеющие выслугу не менее двадцати пяти лет
Identifier
urn:kz:corpus:clir:vysluga-pensiya#ThresholdByCalendar
Other rules in the evaluation1
Applied in the overall evaluation, but not on the proof path for this answer.
Мост «выслуга → пенсия за выслугу лет»: дни Инструкции № 827 и годы статьи 212 Социального кодекса
Оценка выслуги начата: делу известен день начала службы, засчитываемой в выслугу лет
Identifier
urn:kz:corpus:clir:vysluga-pensiya#ClaimAssessedByDates
Derived result for this query
выслуга лица составляет не менее двадцати пяти лет — порог статьи 212 Социального кодекса
person: p1
Other derived facts2
лицо, чья выслуга лет сводится с правом на пенсионные выплаты
person: p1Subject shared by the facts below
в отношении лица оценивается выслуга лет для назначения пенсионных выплат
выслуга лица, исчисленная календарно, составляет не менее двадцати пяти лет
| person |
|---|
| p1 |
| person |
|---|
| p1 |
| person |
|---|
| p1 |
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
in the list
not in the list (explicit negative by closure)
- urn:kz:vp:person:p1
The list is closed by a §70 declaration: a missing record in the snapshot yields an explicit negative with an anti-membership certificate (§231.1). The lists are proof-graph nodes as recorded by the evaluation.
Proof nodes: 7 · assertion 3, rule_application 3, query_evaluation 1
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Arguments
- Identifier
- p1
- Type
- entity_ref
- Type
- value
- type
- name
- Date
- value
- 2000-06-01
- Type
- literal
- Polarity
- positive
- Condition
- service_started_on
- evidence
- —
- Identifier
- fact-1
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:ClaimAssessedByDates:00a11b6423be0082b525ebef1b69e6bf423c1e6edbe86b4112835aeb0df9007b
- attributes
- —
- conclusion
- Arguments
- Identifier
- p1
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- pension_claim_assessed_for
- evidence
- —
- Identifier
- 00a11b6423be0082b525ebef1b69e6bf423c1e6edbe86b4112835aeb0df9007b
- Type
- rule_application
- Premises
- fact-1
- Rule
- ClaimAssessedByDates
- sourceAnchors
- —
- substitution
- v0
- Identifier
- p1
- Type
- entity_ref
- v1
- Type
- value
- type
- name
- Date
- value
- 2000-06-01
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Arguments
- Identifier
- p1
- Type
- entity_ref
- Type
- value
- type
- name
- Date
- value
- 2025-06-01
- Type
- literal
- Polarity
- positive
- Condition
- service_ended_on
- evidence
- —
- Identifier
- fact-2
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:CalendarSeniorityReached:43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f
- attributes
- —
- conclusion
- Arguments
- Identifier
- p1
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- calendar_service_at_least_25_years
- evidence
- —
- Identifier
- 43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f
- Type
- rule_application
- Premises
- fact-1
- fact-2
- Rule
- CalendarSeniorityReached
- sourceAnchors
- —
- substitution
- v0
- Identifier
- p1
- Type
- entity_ref
- v1
- Type
- value
- type
- name
- Date
- value
- 2000-06-01
- v2
- Type
- value
- type
- name
- Date
- value
- 2025-06-01
rule_application · urn:proof:apply:ThresholdByCalendar:9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663
- attributes
- —
- conclusion
- Arguments
- Identifier
- p1
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- seniority_at_least_25_years
- evidence
- —
- Identifier
- 9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663
- Type
- rule_application
- Premises
- 43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f
- Rule
- ThresholdByCalendar
- sourceAnchors
- —
- substitution
- v0
- Identifier
- p1
- Type
- entity_ref
assertion · urn:proof:closure:urn:kz:corpus:clir:vysluga-pensiya#DaysKnownClosure:0
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- DaysKnownClosure
- completeAsOf
- 2026-09-01T00:00:00+05:00
- domainMember
- Identifier
- p1
- Type
- entity_ref
- Saved analysis
- 2026-09-01
- conclusion
- Arguments
- Identifier
- p1
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- days_known
- evidence
- —
- Identifier
- DaysKnownClosure:0
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Arguments
- Identifier
- p1
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- seniority_at_least_25_years
- truthStatus
- Established
- evidence
- —
- Identifier
- mcp
- Type
- query_evaluation
- Premises
- 9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663
- sourceAnchors
- —
Calendar and proof identifiers
- Calendar snapshot
- snapshot-2026
- Proof reference
- mcp
Original reasoning · JSON
{
"calendarSnapshot": "urn:kz:corpus:clir:official-calendar#snapshot-2026",
"derived": [
"pension_claim_assessed_for(urn:kz:vp:person:p1)",
"calendar_service_at_least_25_years(urn:kz:vp:person:p1)",
"seniority_at_least_25_years(urn:kz:vp:person:p1)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2000-06-01"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#service_started_on"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#pension_claim_assessed_for"
},
"evidence": [],
"id": "urn:proof:apply:ClaimAssessedByDates:00a11b6423be0082b525ebef1b69e6bf423c1e6edbe86b4112835aeb0df9007b",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:kz:corpus:clir:vysluga-pensiya#ClaimAssessedByDates",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2000-06-01"
}
}
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2025-06-01"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#service_ended_on"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#calendar_service_at_least_25_years"
},
"evidence": [],
"id": "urn:proof:apply:CalendarSeniorityReached:43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2"
],
"rule": "urn:kz:corpus:clir:vysluga-pensiya#CalendarSeniorityReached",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2000-06-01"
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2025-06-01"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years"
},
"evidence": [],
"id": "urn:proof:apply:ThresholdByCalendar:9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663",
"kind": "rule_application",
"premises": [
"urn:proof:apply:CalendarSeniorityReached:43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f"
],
"rule": "urn:kz:corpus:clir:vysluga-pensiya#ThresholdByCalendar",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:kz:corpus:clir:vysluga-pensiya#DaysKnownClosure",
"completeAsOf": "2026-09-01T00:00:00+05:00",
"domainMember": {
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
"snapshot": "urn:kz:corpus:clir:vysluga-pensiya:snapshot:days-known:2026-09-01"
},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#days_known"
},
"evidence": [],
"id": "urn:proof:closure:urn:kz:corpus:clir:vysluga-pensiya#DaysKnownClosure:0",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:ThresholdByCalendar:9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:7beba7640b921dc3d345889e322c4c1ff61231dbc9ca7c16c050f8eca1ebdf61",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:9f45adfbcef6716247b32cb12631f23dd81d8b36801f074bee6677da7392e8bf",
"schemaVersion": "law.core.evaluation/0.1"
},
"proofRef": "urn:proof:query:mcp",
"rulesApplied": [
"urn:kz:corpus:clir:vysluga-pensiya#CalendarSeniorityReached",
"urn:kz:corpus:clir:vysluga-pensiya#ClaimAssessedByDates",
"urn:kz:corpus:clir:vysluga-pensiya#ThresholdByCalendar"
]
}SourcesTexts not saved
Source texts were not saved in this snapshot.
Packages in the snapshot
- Мост «выслуга → пенсия за выслугу лет»: дни Инструкции № 827 и годы статьи 212 Социального кодекса
- Инструкция по организации исчисления выслуги лет военнослужащим Вооружённых Сил Республики Казахстан — EXECUTABLE 29 §33.1
- Официальный производственный календарь 2026
Technical dataFull response, parameters and checksums
- Calculation status
- COMPUTED
Full engine response
seniority_at_least_25_years: TRUE_ONLY — установлено
Выведено правом: pension_claim_assessed_for(urn:kz:vp:person:p1); calendar_service_at_least_25_years(urn:kz:vp:person:p1); seniority_at_least_25_years(urn:kz:vp:person:p1)
Применены правила: CalendarSeniorityReached, ClaimAssessedByDates, ThresholdByCalendar
Календарь: использован закреплённый снимок snapshot-2026 (§85).
Право (правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан): Мост «выслуга → пенсия за выслугу лет»: дни Инструкции № 827 и годы статьи 212 Социального кодекса (programHash sha256:865c50d77b1a…)
Вместе с актами: Инструкция по организации исчисления выслуги лет военнослужащим Вооружённых Сил Республики Казахстан — EXECUTABLE 29 §33.1; Официальный производственный календарь 2026
proof-граф: 7 узлов — поле evaluation готово для law_explain
Complete machine result · JSON
{
"answer": {
"evaluationStatus": "COMPUTED",
"kind": "TRUTH",
"meaning": "установлено",
"missingInputs": [],
"truthStatus": "TRUE_ONLY"
},
"calendarSnapshot": "urn:kz:corpus:clir:official-calendar#snapshot-2026",
"closedEditionRules": [],
"derived": [
"pension_claim_assessed_for(urn:kz:vp:person:p1)",
"calendar_service_at_least_25_years(urn:kz:vp:person:p1)",
"seniority_at_least_25_years(urn:kz:vp:person:p1)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2000-06-01"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#service_started_on"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#pension_claim_assessed_for"
},
"evidence": [],
"id": "urn:proof:apply:ClaimAssessedByDates:00a11b6423be0082b525ebef1b69e6bf423c1e6edbe86b4112835aeb0df9007b",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:kz:corpus:clir:vysluga-pensiya#ClaimAssessedByDates",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2000-06-01"
}
}
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2025-06-01"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#service_ended_on"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#calendar_service_at_least_25_years"
},
"evidence": [],
"id": "urn:proof:apply:CalendarSeniorityReached:43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2"
],
"rule": "urn:kz:corpus:clir:vysluga-pensiya#CalendarSeniorityReached",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2000-06-01"
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2025-06-01"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years"
},
"evidence": [],
"id": "urn:proof:apply:ThresholdByCalendar:9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663",
"kind": "rule_application",
"premises": [
"urn:proof:apply:CalendarSeniorityReached:43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f"
],
"rule": "urn:kz:corpus:clir:vysluga-pensiya#ThresholdByCalendar",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:kz:corpus:clir:vysluga-pensiya#DaysKnownClosure",
"completeAsOf": "2026-09-01T00:00:00+05:00",
"domainMember": {
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
"snapshot": "urn:kz:corpus:clir:vysluga-pensiya:snapshot:days-known:2026-09-01"
},
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#days_known"
},
"evidence": [],
"id": "urn:proof:closure:urn:kz:corpus:clir:vysluga-pensiya#DaysKnownClosure:0",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:ThresholdByCalendar:9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:7beba7640b921dc3d345889e322c4c1ff61231dbc9ca7c16c050f8eca1ebdf61",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:9f45adfbcef6716247b32cb12631f23dd81d8b36801f074bee6677da7392e8bf",
"schemaVersion": "law.core.evaluation/0.1"
},
"evaluationStatus": "COMPUTED",
"issues": [],
"judgmentRequests": [],
"proofRef": "urn:proof:query:mcp",
"provenance": {
"acts": [
{
"contributed": true,
"fragmentCount": 0,
"fragments": [],
"jurisdiction": null,
"namespace": "urn:kz:corpus:clir:vysluga-pensiya",
"package": "kz-vysluga-pensiya",
"title": "Мост «выслуга → пенсия за выслугу лет»: дни Инструкции № 827 и годы статьи 212 Социального кодекса"
},
{
"contributed": false,
"fragmentCount": 35,
"fragments": [],
"jurisdiction": "KZ",
"namespace": "urn:kz:corpus:clir:vysluga-vs",
"package": "kz-vysluga-vs",
"title": "Инструкция по организации исчисления выслуги лет военнослужащим Вооружённых Сил Республики Казахстан — EXECUTABLE 29 §33.1"
},
{
"contributed": false,
"fragmentCount": 0,
"fragments": [],
"jurisdiction": null,
"namespace": "urn:kz:corpus:clir:official-calendar",
"package": "kz-official-calendar-2026",
"title": "Официальный производственный календарь 2026"
}
],
"caseHash": "sha256:1dcd4a9f9a5803eca11d29f8393978fd1b0afba2d4b746c04fe332daf19d955a",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан",
"legalTime": "2026-09-01",
"mode": "audit",
"programHash": "sha256:865c50d77b1a01b4cc7d8a4baf2aa05674f9766b4ca79ff2d22cea0f27e7c17d",
"resultHash": "sha256:9f45adfbcef6716247b32cb12631f23dd81d8b36801f074bee6677da7392e8bf",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
},
"rulesApplied": [
"urn:kz:corpus:clir:vysluga-pensiya#CalendarSeniorityReached",
"urn:kz:corpus:clir:vysluga-pensiya#ClaimAssessedByDates",
"urn:kz:corpus:clir:vysluga-pensiya#ThresholdByCalendar"
],
"signature": {
"constants": {},
"parameters": [
{
"labels": [],
"name": "person",
"type": {
"name": "urn:kz:corpus:clir:vysluga-pensiya#Person"
}
}
],
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years",
"schemaVersion": "law.answers.signature/0.1",
"types": {
"urn:kz:corpus:clir:vysluga-pensiya#Person": {
"kind": "entity",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "лицо, чья выслуга лет сводится с правом на пенсионные выплаты"
}
],
"namespace": "urn:kz:corpus:clir:vysluga-pensiya",
"package": "kz.corpus.vysluga_pensiya"
}
},
"vocab": {}
},
"vulnerableTo": [],
"whyNot": []
}Execution · JSON
{
"evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"urn:kz:corpus:clir:official-calendar#snapshot-2026\",\"caseHash\":\"sha256:1dcd4a9f9a5803eca11d29f8393978fd1b0afba2d4b746c04fe332daf19d955a\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:865c50d77b1a01b4cc7d8a4baf2aa05674f9766b4ca79ff2d22cea0f27e7c17d\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:97529f3ca4b4054791d6668ea1cd08e723d800308edbcae377dd28c744524f4c\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:kz:vp:person:p1\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Date\"},\"value\":\"2000-06-01\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:kz:corpus:clir:vysluga-pensiya#service_started_on\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:kz:vp:person:p1\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:kz:corpus:clir:vysluga-pensiya#pension_claim_assessed_for\"},\"evidence\":[],\"id\":\"urn:proof:apply:ClaimAssessedByDates:00a11b6423be0082b525ebef1b69e6bf423c1e6edbe86b4112835aeb0df9007b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:kz:corpus:clir:vysluga-pensiya#ClaimAssessedByDates\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:kz:vp:person:p1\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Date\"},\"value\":\"2000-06-01\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:kz:vp:person:p1\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Date\"},\"value\":\"2025-06-01\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:kz:corpus:clir:vysluga-pensiya#service_ended_on\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:kz:vp:person:p1\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:kz:corpus:clir:vysluga-pensiya#calendar_service_at_least_25_years\"},\"evidence\":[],\"id\":\"urn:proof:apply:CalendarSeniorityReached:43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:kz:corpus:clir:vysluga-pensiya#CalendarSeniorityReached\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:kz:vp:person:p1\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Date\"},\"value\":\"2000-06-01\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Date\"},\"value\":\"2025-06-01\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:kz:vp:person:p1\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years\"},\"evidence\":[],\"id\":\"urn:proof:apply:ThresholdByCalendar:9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:CalendarSeniorityReached:43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f\"],\"rule\":\"urn:kz:corpus:clir:vysluga-pensiya#ThresholdByCalendar\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:kz:vp:person:p1\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"certificate\":\"closure-anti-membership\",\"closurePolicy\":\"urn:kz:corpus:clir:vysluga-pensiya#DaysKnownClosure\",\"completeAsOf\":\"2026-09-01T00:00:00+05:00\",\"domainMember\":{\"id\":\"urn:kz:vp:person:p1\",\"kind\":\"entity_ref\"},\"snapshot\":\"urn:kz:corpus:clir:vysluga-pensiya:snapshot:days-known:2026-09-01\"},\"conclusion\":{\"args\":[{\"id\":\"urn:kz:vp:person:p1\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:kz:corpus:clir:vysluga-pensiya#days_known\"},\"evidence\":[],\"id\":\"urn:proof:closure:urn:kz:corpus:clir:vysluga-pensiya#DaysKnownClosure:0\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:kz:vp:person:p1\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:ThresholdByCalendar:9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:7beba7640b921dc3d345889e322c4c1ff61231dbc9ca7c16c050f8eca1ebdf61\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:9f45adfbcef6716247b32cb12631f23dd81d8b36801f074bee6677da7392e8bf\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}",
"evaluationSha256": "sha256:fe084647630351647663f573be0cb8f4da842a2eb96fb91a0e1b3be40b27706b",
"request": {
"calendar": "{\n \"id\": \"urn:kz:corpus:clir:official-calendar#dataset-2026\",\n \"metadata\": {\n \"note\": \"официальный календарь 2026: выведен исполнением закона о праздниках (учебная формализация); переносы совпавших выходных — абз. 3 ст. 5 того же закона, подстановка 2026 года человеком\"\n },\n \"overrides\": [\n {\n \"date\": \"2026-01-01\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#NovyyGod (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-01-02\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#NovyyGod (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-03-08\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#MezhdunarodnyyZhenskiyDen (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-03-09\",\n \"intervals\": [],\n \"reason\": \"перенесённый день отдыха (с 2026-03-08; абз. 3 ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-03-15\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#DenKonstitutsii (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-03-16\",\n \"intervals\": [],\n \"reason\": \"перенесённый день отдыха (с 2026-03-15; абз. 3 ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-03-21\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#NauryzMeyramy (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-03-22\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#NauryzMeyramy (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-03-23\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#NauryzMeyramy (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-03-24\",\n \"intervals\": [],\n \"reason\": \"перенесённый день отдыха (с 2026-03-21; абз. 3 ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-03-25\",\n \"intervals\": [],\n \"reason\": \"перенесённый день отдыха (с 2026-03-22; абз. 3 ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-05-01\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#PrazdnikEdinstva (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-05-07\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#DenZashchitnika (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-05-09\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#DenPobedy (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-05-11\",\n \"intervals\": [],\n \"reason\": \"перенесённый день отдыха (с 2026-05-09; абз. 3 ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-07-06\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#DenStolitsy (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-10-25\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#DenRespubliki (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-10-26\",\n \"intervals\": [],\n \"reason\": \"перенесённый день отдыха (с 2026-10-25; абз. 3 ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n },\n {\n \"date\": \"2026-12-16\",\n \"intervals\": [],\n \"reason\": \"праздничный день: prazdniki#DenNezavisimosti (ст. 5 закона 267-II)\",\n \"sourceFragments\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"working\": false\n }\n ],\n \"schemaVersion\": \"law.calendar/0.1\",\n \"sourceArtifacts\": [\n \"urn:kz:corpus:clir:prazdniki#PRAZ_ART5\"\n ],\n \"timezone\": \"Asia/Qyzylorda\",\n \"timezoneDbSnapshot\": \"iana-tzdb@2026a\",\n \"valid\": {\n \"endExclusive\": \"2027-01-01\",\n \"start\": \"2026-01-01\"\n },\n \"weeklySchedule\": [\n {\n \"day\": \"monday\",\n \"intervals\": [\n {\n \"end\": \"18:00:00\",\n \"start\": \"09:00:00\"\n }\n ],\n \"working\": true\n },\n {\n \"day\": \"tuesday\",\n \"intervals\": [\n {\n \"end\": \"18:00:00\",\n \"start\": \"09:00:00\"\n }\n ],\n \"working\": true\n },\n {\n \"day\": \"wednesday\",\n \"intervals\": [\n {\n \"end\": \"18:00:00\",\n \"start\": \"09:00:00\"\n }\n ],\n \"working\": true\n },\n {\n \"day\": \"thursday\",\n \"intervals\": [\n {\n \"end\": \"18:00:00\",\n \"start\": \"09:00:00\"\n }\n ],\n \"working\": true\n },\n {\n \"day\": \"friday\",\n \"intervals\": [\n {\n \"end\": \"18:00:00\",\n \"start\": \"09:00:00\"\n }\n ],\n \"working\": true\n },\n {\n \"day\": \"saturday\",\n \"intervals\": [],\n \"working\": false\n },\n {\n \"day\": \"sunday\",\n \"intervals\": [],\n \"working\": false\n }\n ]\n}\n",
"case": {
"assertions": [
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-1",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2000-06-01"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#service_started_on"
},
"origin": "case_input",
"package": "urn:kz:corpus:clir:vysluga-pensiya"
},
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-2",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2025-06-01"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#service_ended_on"
},
"origin": "case_input",
"package": "urn:kz:corpus:clir:vysluga-pensiya"
}
],
"context": {
"deadlinePolicy": {
"include_end": true,
"month_end": "last_day_of_month",
"roll": "no_roll",
"start_count": "same_day"
},
"decisionTime": "2026-09-01T12:00:00+05:00",
"knowledgeTime": "2026-09-01T12:00:00+05:00",
"legalTime": "2026-09-01",
"timezone": "Asia/Qyzylorda"
},
"options": {
"calendarSnapshot": "urn:kz:corpus:clir:official-calendar#snapshot-2026",
"selectedInterpretations": []
}
},
"ir": {
"irSha256": "sha256:00b4f4466935487d725c9968d00e3a3e27d06b053cd818ab8e65cb04591eaccd",
"kind": "world_ref",
"nodeCount": 288,
"packages": [
{
"artifactHash": "sha256:6a18c35d8ccb64848a68400d936ee7e2ac7222a956208a2c55a1dcd21200f01f",
"namespace": "urn:kz:corpus:clir:vysluga-pensiya",
"package": "kz-vysluga-pensiya",
"semanticHash": "sha256:bcadcb5efafa1a234b212596d4bed149c444d36cbc2d33141e458d9855eb1c79"
},
{
"artifactHash": "sha256:a80a05710ca1edb909a97da36cdb8e41a64ff74a4328f53afdf04b52118475b9",
"namespace": "urn:kz:corpus:clir:vysluga-vs",
"package": "kz-vysluga-vs",
"semanticHash": "sha256:1b1f84ae0d3075353e633c84e095ff4b914063eaf54a5d0421057a26f463a24a"
},
{
"artifactHash": "sha256:bffa95f50484461348602c5d6661fc82066d7b1a6cdfc9f4d89343e117a26ec9",
"namespace": "urn:kz:corpus:clir:official-calendar",
"package": "kz-official-calendar-2026",
"semanticHash": "sha256:0f76cf3bc46362e36b605d85c8e8123815785b9ae200a2564b9eddb11ab3099a"
}
],
"programHash": "sha256:865c50d77b1a01b4cc7d8a4baf2aa05674f9766b4ca79ff2d22cea0f27e7c17d"
},
"query": {
"kind": "truth",
"literal": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years"
},
"queryId": "urn:query:mcp"
},
"schemaVersion": "law.core.evaluation-request/0.2",
"semanticVersion": "0.1.0"
},
"requestCanonicalSha256": "sha256:05cf760b9d8fe7476e7b1592cc5d3dda6f42d58b9346212827794a7eb012079e"
}Display metadata
{
"schemaVersion": "law.answers.presentation/0.1",
"source": {
"requestCanonicalSha256": "sha256:05cf760b9d8fe7476e7b1592cc5d3dda6f42d58b9346212827794a7eb012079e"
},
"steps": [
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2000-06-01"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#service_started_on"
},
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2025-06-01"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#service_ended_on"
},
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#calendar_service_at_least_25_years"
},
"head": {
"args": [
{
"kind": "var",
"var": "v0"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#calendar_service_at_least_25_years"
},
"id": "urn:proof:apply:CalendarSeniorityReached:43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f",
"kind": "rule_application",
"originStatus": "available",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2"
],
"rule": "urn:kz:corpus:clir:vysluga-pensiya#CalendarSeniorityReached",
"sourceAnchors": [
"KZ-SOCIAL-CODE-ART-214"
],
"strength": "strict",
"substitution": {
"v0": {
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2000-06-01"
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "2025-06-01"
}
},
"trust": "engine",
"variables": [
{
"id": "v0",
"type": {
"name": "urn:kz:corpus:clir:vysluga-pensiya#Person"
}
},
{
"id": "v1",
"type": {
"name": "urn:law:std#Date"
}
},
{
"id": "v2",
"type": {
"name": "urn:law:std#Date"
}
}
]
},
{
"conclusion": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years"
},
"head": {
"args": [
{
"kind": "var",
"var": "v0"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years"
},
"id": "urn:proof:apply:ThresholdByCalendar:9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663",
"kind": "rule_application",
"originStatus": "available",
"premises": [
"urn:proof:apply:CalendarSeniorityReached:43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f"
],
"rule": "urn:kz:corpus:clir:vysluga-pensiya#ThresholdByCalendar",
"sourceAnchors": [
"KZ-SOCIAL-CODE-ART-212"
],
"strength": "strict",
"substitution": {
"v0": {
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
},
"trust": "engine",
"variables": [
{
"id": "v0",
"type": {
"name": "urn:kz:corpus:clir:vysluga-pensiya#Person"
}
}
]
},
{
"conclusion": {
"literal": {
"args": [
{
"id": "urn:kz:vp:person:p1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years"
},
"truthStatus": "TRUE_ONLY"
},
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"originStatus": "available",
"premises": [
"urn:proof:apply:ThresholdByCalendar:9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663"
],
"trust": "engine"
}
],
"symbols": [
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#CalendarSeniorityReached",
"kind": "rule",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "Статья 214 Социального кодекса. Выслуга лет для назначения пенсионных выплат исчисляется календарно; двадцать пять лет исчисляются годовщиной дня начала службы"
}
],
"package": "urn:kz:corpus:clir:vysluga-pensiya",
"strength": "strict"
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#ClaimAssessedByDates",
"kind": "rule",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "Оценка выслуги начата: делу известен день начала службы, засчитываемой в выслугу лет"
}
],
"package": "urn:kz:corpus:clir:vysluga-pensiya",
"strength": "strict"
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#DaysKnownClosure",
"kind": "closure_policy",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "Число дней выслуги известно мосту РОВНО тогда, когда дело связало лицо с исчислением по Инструкции: собственного счёта дней у моста нет, и иного источника их у него не бывает"
}
],
"package": "urn:kz:corpus:clir:vysluga-pensiya"
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#Person",
"kind": "type_decl",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "лицо, чья выслуга лет сводится с правом на пенсионные выплаты"
}
],
"name": "Person",
"package": "urn:kz:corpus:clir:vysluga-pensiya"
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#ThresholdByCalendar",
"kind": "rule",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "Статья 212 пункт 1 Социального кодекса. Право на пенсионные выплаты за выслугу лет имеют лица, имеющие выслугу не менее двадцати пяти лет"
}
],
"package": "urn:kz:corpus:clir:vysluga-pensiya",
"strength": "strict"
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#calendar_service_at_least_25_years",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "выслуга лица, исчисленная календарно, составляет не менее двадцати пяти лет"
}
],
"name": "calendar_service_at_least_25_years",
"package": "urn:kz:corpus:clir:vysluga-pensiya",
"parameters": [
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#calendar_service_at_least_25_years/arg/person",
"labels": [],
"name": "person",
"type": {
"name": "urn:kz:corpus:clir:vysluga-pensiya#Person"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#days_known",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "для лица известно исчисленное Инструкцией число дней выслуги"
}
],
"name": "days_known",
"package": "urn:kz:corpus:clir:vysluga-pensiya",
"parameters": [
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#days_known/arg/person",
"labels": [],
"name": "person",
"type": {
"name": "urn:kz:corpus:clir:vysluga-pensiya#Person"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#pension_claim_assessed_for",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "в отношении лица оценивается выслуга лет для назначения пенсионных выплат"
}
],
"name": "pension_claim_assessed_for",
"package": "urn:kz:corpus:clir:vysluga-pensiya",
"parameters": [
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#pension_claim_assessed_for/arg/person",
"labels": [],
"name": "person",
"type": {
"name": "urn:kz:corpus:clir:vysluga-pensiya#Person"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "выслуга лица составляет не менее двадцати пяти лет — порог статьи 212 Социального кодекса"
}
],
"name": "seniority_at_least_25_years",
"package": "urn:kz:corpus:clir:vysluga-pensiya",
"parameters": [
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#seniority_at_least_25_years/arg/person",
"labels": [],
"name": "person",
"type": {
"name": "urn:kz:corpus:clir:vysluga-pensiya#Person"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#service_ended_on",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "день увольнения со службы"
}
],
"name": "service_ended_on",
"package": "urn:kz:corpus:clir:vysluga-pensiya",
"parameters": [
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#service_ended_on/arg/person",
"labels": [],
"name": "person",
"type": {
"name": "urn:kz:corpus:clir:vysluga-pensiya#Person"
}
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#service_ended_on/arg/day",
"labels": [],
"name": "day",
"type": {
"name": "urn:law:std#Date"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#service_started_on",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "official",
"text": "день начала службы, засчитываемой в выслугу лет"
}
],
"name": "service_started_on",
"package": "urn:kz:corpus:clir:vysluga-pensiya",
"parameters": [
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#service_started_on/arg/person",
"labels": [],
"name": "person",
"type": {
"name": "urn:kz:corpus:clir:vysluga-pensiya#Person"
}
},
{
"id": "urn:kz:corpus:clir:vysluga-pensiya#service_started_on/arg/day",
"labels": [],
"name": "day",
"type": {
"name": "urn:law:std#Date"
}
}
],
"symbolKind": "relation"
}
],
"tables": []
}JSON · calculations, sources and exact data
{
"acts": [
{
"contributed": true,
"fragmentCount": 0,
"fragments": [],
"jurisdiction": null,
"namespace": "urn:kz:corpus:clir:vysluga-pensiya",
"package": "kz-vysluga-pensiya",
"title": "Мост «выслуга → пенсия за выслугу лет»: дни Инструкции № 827 и годы статьи 212 Социального кодекса"
},
{
"contributed": false,
"fragmentCount": 35,
"fragments": [],
"jurisdiction": "KZ",
"namespace": "urn:kz:corpus:clir:vysluga-vs",
"package": "kz-vysluga-vs",
"title": "Инструкция по организации исчисления выслуги лет военнослужащим Вооружённых Сил Республики Казахстан — EXECUTABLE 29 §33.1"
},
{
"contributed": false,
"fragmentCount": 0,
"fragments": [],
"jurisdiction": null,
"namespace": "urn:kz:corpus:clir:official-calendar",
"package": "kz-official-calendar-2026",
"title": "Официальный производственный календарь 2026"
}
],
"caseHash": "sha256:1dcd4a9f9a5803eca11d29f8393978fd1b0afba2d4b746c04fe332daf19d955a",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан",
"legalTime": "2026-09-01",
"mode": "audit",
"programHash": "sha256:865c50d77b1a01b4cc7d8a4baf2aa05674f9766b4ca79ff2d22cea0f27e7c17d",
"resultHash": "sha256:9f45adfbcef6716247b32cb12631f23dd81d8b36801f074bee6677da7392e8bf",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:fe084647630351647663f573be0cb8f4da842a2eb96fb91a0e1b3be40b27706b
Original data · JSON
{
"args": [
"urn:kz:vp:person:p1"
],
"deadlinePolicy": {
"include_end": true,
"month_end": "last_day_of_month",
"roll": "no_roll",
"start_count": "same_day"
},
"facts": [
{
"args": [
"urn:kz:vp:person:p1",
"2000-06-01"
],
"predicate": "service_started_on"
},
{
"args": [
"urn:kz:vp:person:p1",
"2025-06-01"
],
"predicate": "service_ended_on"
}
],
"kind": "truth",
"legalTime": "2026-09-01",
"package": "kz-vysluga-pensiya",
"predicate": "seniority_at_least_25_years",
"proof": true
}