Проверка условия
Служба с 1 июня 2000 по 1 июня 2025 года: порог двадцати пяти лет
Результат расчёта
Установлено
Исходные параметры
Что определяем
выслуга лица составляет не менее двадцати пяти лет — порог статьи 212 Социального кодекса
Исходные факты
лицо, чья выслуга лет сводится с правом на пенсионные выплаты
person: p1Общий субъект фактов ниже
день начала службы, засчитываемой в выслугу лет
day: 1 июня 2000 г.день увольнения со службы
day: 1 июня 2025 г.
Как считается срок
- Последний день входит в срок
- Если нужного числа нет — последний день месяца
- Без переноса на рабочий день
- Начало отсчёта — в тот же день
Пакет: Мост «выслуга → пенсия за выслугу лет»: дни Инструкции № 827 и годы статьи 212 Социального кодекса
Дополнительные сведения
- Сохранить доказательство
- Да
Исходные данные · 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
}Почему такой результатПрименённые правила и условия
Путь вывода5 шагов
- 1факт дела
день начала службы, засчитываемой в выслугу лет
person: urn:kz:vp:person:p1; day: 1 июня 2000 г.
- 2факт дела
день увольнения со службы
person: urn:kz:vp:person:p1; day: 1 июня 2025 г.
- 3правило
Статья 214 Социального кодекса. Выслуга лет для назначения пенсионных выплат исчисляется календарно; двадцать пять лет исчисляются годовщиной дня начала службы
выслуга лица, исчисленная календарно, составляет не менее двадцати пяти лет: person: urn:kz:vp:person:p1
KZ-SOCIAL-CODE-ART-214
Идентификатор
urn:kz:corpus:clir:vysluga-pensiya#CalendarSeniorityReached - 4правило
Статья 212 пункт 1 Социального кодекса. Право на пенсионные выплаты за выслугу лет имеют лица, имеющие выслугу не менее двадцати пяти лет
выслуга лица составляет не менее двадцати пяти лет — порог статьи 212 Социального кодекса: person: urn:kz:vp:person:p1
KZ-SOCIAL-CODE-ART-212
Идентификатор
urn:kz:corpus:clir:vysluga-pensiya#ThresholdByCalendar - 5запрос
Вычисление запроса
проверено движком: 3 · факт дела: 2 · Полный граф: 7 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Мост «выслуга → пенсия за выслугу лет»: дни Инструкции № 827 и годы статьи 212 Социального кодекса
Статья 214 Социального кодекса. Выслуга лет для назначения пенсионных выплат исчисляется календарно; двадцать пять лет исчисляются годовщиной дня начала службы
Идентификатор
urn:kz:corpus:clir:vysluga-pensiya#CalendarSeniorityReachedСтатья 212 пункт 1 Социального кодекса. Право на пенсионные выплаты за выслугу лет имеют лица, имеющие выслугу не менее двадцати пяти лет
Идентификатор
urn:kz:corpus:clir:vysluga-pensiya#ThresholdByCalendar
Другие правила расчёта1
Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.
Мост «выслуга → пенсия за выслугу лет»: дни Инструкции № 827 и годы статьи 212 Социального кодекса
Оценка выслуги начата: делу известен день начала службы, засчитываемой в выслугу лет
Идентификатор
urn:kz:corpus:clir:vysluga-pensiya#ClaimAssessedByDates
Вывод по запросу
выслуга лица составляет не менее двадцати пяти лет — порог статьи 212 Социального кодекса
person: p1
Другие выводы2
лицо, чья выслуга лет сводится с правом на пенсионные выплаты
person: p1Общий субъект фактов ниже
в отношении лица оценивается выслуга лет для назначения пенсионных выплат
выслуга лица, исчисленная календарно, составляет не менее двадцати пяти лет
| person |
|---|
| p1 |
| person |
|---|
| p1 |
| person |
|---|
| p1 |
Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Граф доказательств
в перечне
не в перечне (явный негатив по замыканию)
- urn:kz:vp:person:p1
Перечень закрыт объявлением §70: отсутствие записи в снимке даёт явный негатив с сертификатом анти-принадлежности (§231.1). Списки — узлы графа доказательства, как их записало исполнение.
Узлы доказательств: 7 · assertion 3, rule_application 3, query_evaluation 1
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Аргументы
- Идентификатор
- p1
- Тип
- entity_ref
- Тип
- value
- type
- name
- Date
- value
- 2000-06-01
- Тип
- literal
- Знак
- positive
- Условие
- service_started_on
- evidence
- —
- Идентификатор
- fact-1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:ClaimAssessedByDates:00a11b6423be0082b525ebef1b69e6bf423c1e6edbe86b4112835aeb0df9007b
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- p1
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- pension_claim_assessed_for
- evidence
- —
- Идентификатор
- 00a11b6423be0082b525ebef1b69e6bf423c1e6edbe86b4112835aeb0df9007b
- Тип
- rule_application
- Посылки
- fact-1
- Правило
- ClaimAssessedByDates
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- p1
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Date
- value
- 2000-06-01
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Аргументы
- Идентификатор
- p1
- Тип
- entity_ref
- Тип
- value
- type
- name
- Date
- value
- 2025-06-01
- Тип
- literal
- Знак
- positive
- Условие
- service_ended_on
- evidence
- —
- Идентификатор
- fact-2
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:CalendarSeniorityReached:43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- p1
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- calendar_service_at_least_25_years
- evidence
- —
- Идентификатор
- 43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f
- Тип
- rule_application
- Посылки
- fact-1
- fact-2
- Правило
- CalendarSeniorityReached
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- p1
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Date
- value
- 2000-06-01
- v2
- Тип
- value
- type
- name
- Date
- value
- 2025-06-01
rule_application · urn:proof:apply:ThresholdByCalendar:9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- p1
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- seniority_at_least_25_years
- evidence
- —
- Идентификатор
- 9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663
- Тип
- rule_application
- Посылки
- 43e9d41c561c7ad9a612b94af0c923124453c85a3c58733f1480c93a4927d31f
- Правило
- ThresholdByCalendar
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- p1
- Тип
- 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
- Идентификатор
- p1
- Тип
- entity_ref
- Сохранённый разбор
- 2026-09-01
- conclusion
- Аргументы
- Идентификатор
- p1
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- days_known
- evidence
- —
- Идентификатор
- DaysKnownClosure:0
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Аргументы
- Идентификатор
- p1
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- seniority_at_least_25_years
- truthStatus
- Установлено
- evidence
- —
- Идентификатор
- mcp
- Тип
- query_evaluation
- Посылки
- 9dc6d2eaf6252a6a883f78dd7398814835b09153c6663a1fa8813daf65630663
- sourceAnchors
- —
Идентификаторы календаря и доказательства
- Снимок календаря
- snapshot-2026
- Ссылка на доказательство
- mcp
Исходное обоснование · 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"
]
}ИсточникиТексты не сохранены
Тексты источников в этом снимке не сохранены.
Пакеты в снимке
- Мост «выслуга → пенсия за выслугу лет»: дни Инструкции № 827 и годы статьи 212 Социального кодекса
- Инструкция по организации исчисления выслуги лет военнослужащим Вооружённых Сил Республики Казахстан — EXECUTABLE 29 §33.1
- Официальный производственный календарь 2026
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Полный машинный результат · 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": []
}Исполнение · 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"
}Метаданные отображения
{
"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 · расчёты, источники и точные данные
{
"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
Исходные данные · 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
}