{"id":1,"jsonrpc":"2.0","result":{"content":[{"text":"# Ответ по делу\n\n> **Дисклеймер.** Ответ получен исполнением формализованной модели на данных дела. Это не официальный текст акта и не юридическое заключение.\n\n## Вопрос\n\nУстановлено ли, что «перерыв для кормления ребёнка короче установленного минимума» (employee: `Aigul`, employer: «Работодатель»)?\n\n## Ответ\n\nВычисление завершено.\nНе установлено ни что «перерыв для кормления ребёнка короче установленного минимума» (employee: `Aigul`, employer: «Работодатель»), ни обратное. Это не утверждение ложности и не заключение о молчании права: в модели нет вывода ни в одну сторону.\n\n## Основания\n\nВ доказательстве ответа нет шагов вывода.\n\n## Сообщения движка\n\n- Предупреждение `ASSERTION_NOT_ACCEPTED`: assertion urn:mcp:case#fact-1 with origin=assumed_for_simulation not accepted by mode=audit policy (SPEC §73) — связанных узлов: 1.\n- Предупреждение `ASSERTION_NOT_ACCEPTED`: assertion urn:mcp:case#fact-2 with origin=assumed_for_simulation not accepted by mode=audit policy (SPEC §73) — связанных узлов: 1.\n\n---\n\n*Вопрос `urn:query:mcp` · результат `urn:result:mcp` · resultHash `sha256:59dea30f0d1f801807ff7d23737893078caabcdf269acc0f386512ffefc89767` · программа `sha256:0000000000000000000000000000000000000000000000000000000000000000` · вербализация law.verb.ru@0.39.0 · язык ru-KZ · подробность: кратко*\nПравило «Статья 82 пункт 3 подпункт 1). Имеющим одного ребёнка — каждый перерыв не менее тридцати минут»: тело не определено — фактов не хватает\n    ? child_feeding_break_minutes(Aigul, Employer, v2) — variables are not bound by the goal: v2\n    ? children_under_eighteen_months(Aigul, v3) — variables are not bound by the goal: v3\n    ? v3 = 1 — variables are not bound by the goal: v3\n    ? v2 < 30 — variables are not bound by the goal: v2\nПравило «Статья 82 пункт 3 подпункт 2). Имеющим двух или более детей — каждый перерыв не менее одного часа»: тело не определено — фактов не хватает\n    ? v2 < 60 — variables are not bound by the goal: v2\n    ? child_feeding_break_minutes(Aigul, Employer, v2) — variables are not bound by the goal: v2\n    ? children_under_eighteen_months(Aigul, v3) — variables are not bound by the goal: v3\n    ? v3 ≥ 2 — variables are not bound by the goal: v3\n(✓ — выполнено; ✗ — не выполнено: опровергнуто, а у not_known — опора нашлась; ? — не определено: фактов нет, и это не «ложно» (§185); ± — противоречие опор)\nПолные правила с посылками: law_rules({\"predicate\": \"feeding_break_too_short\"})\nКалендарь: использован закреплённый снимок snapshot-2026 (§85).\nПраво (Республика Казахстан): Трудовой кодекс РК (414-V ЗРК) — EXECUTABLE 201 §33.1 (programHash sha256:c652f314bb94…)\nВместе с актами: vocab-courts; kz-official-calendar-2026","type":"text"}],"isError":false,"structuredContent":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»","missingInputs":[],"truthStatus":"NEITHER"},"calendarSnapshot":"urn:kz:corpus:clir:official-calendar#snapshot-2026","closedEditionRules":[],"derived":[],"derivedOmitted":19,"evaluationStatus":"COMPUTED","issues":[{"code":"ASSERTION_NOT_ACCEPTED","meaning":"","message":"assertion urn:mcp:case#fact-1 with origin=assumed_for_simulation not accepted by mode=audit policy (SPEC §73)","severity":"warning"},{"code":"ASSERTION_NOT_ACCEPTED","meaning":"","message":"assertion urn:mcp:case#fact-2 with origin=assumed_for_simulation not accepted by mode=audit policy (SPEC §73)","severity":"warning"}],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":223,"fragments":["urn:kz:corpus:clir:labour-code#TK_ART148","urn:kz:corpus:clir:labour-code#TK_ART15","urn:kz:corpus:clir:labour-code#TK_ART16","urn:kz:corpus:clir:labour-code#TK_ART17","urn:kz:corpus:clir:labour-code#TK_ART18","urn:kz:corpus:clir:labour-code#TK_ART202"],"jurisdiction":"KZ","namespace":"urn:kz:corpus:clir:labour-code","package":"kz-labour-code","title":"Трудовой кодекс РК (414-V ЗРК) — EXECUTABLE 201 §33.1"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:vocab:courts","package":"vocab-courts","title":"vocab-courts"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:kz:corpus:clir:official-calendar","package":"kz-official-calendar-2026","title":"kz-official-calendar-2026"}],"caseHash":"sha256:03e46be64d2c8e78d910e6a34eaf96accede7990488a84a8965299c2fa1d3d83","codeHash":"sha256:639caac5c0c016ccfd13e90d69316372dac07ab9cf601eea0e326fc44d38329d","jurisdiction":"Республика Казахстан","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:c652f314bb94995bc65b5ccb9f5d6a6ebc71a067375a80d555f7b971126ab197","resultHash":"sha256:59dea30f0d1f801807ff7d23737893078caabcdf269acc0f386512ffefc89767","rustCodeHash":"sha256:639caac5c0c016ccfd13e90d69316372dac07ab9cf601eea0e326fc44d38329d","timezone":"Asia/Qyzylorda"},"replayControl":{"checks":{"caseHash":"sha256:03e46be64d2c8e78d910e6a34eaf96accede7990488a84a8965299c2fa1d3d83","codeHash":"sha256:639caac5c0c016ccfd13e90d69316372dac07ab9cf601eea0e326fc44d38329d","programHash":"sha256:c652f314bb94995bc65b5ccb9f5d6a6ebc71a067375a80d555f7b971126ab197","resultHash":"sha256:59dea30f0d1f801807ff7d23737893078caabcdf269acc0f386512ffefc89767","rustCodeHash":"sha256:639caac5c0c016ccfd13e90d69316372dac07ab9cf601eea0e326fc44d38329d"},"request":{"args":["Aigul","Employer"],"facts":[{"args":["Aigul","Employer",25],"predicate":"child_feeding_break_minutes","provenance":{"origin":"assumed_for_simulation"}},{"args":["Aigul",1],"predicate":"children_under_eighteen_months","provenance":{"origin":"assumed_for_simulation"}}],"kind":"truth","legalTime":"2026-09-01","package":"kz-labour-code","predicate":"feeding_break_too_short"},"responseHash":"sha256:17c23d00d6186cc1fa9b5f66cee4d0715a6ef2d9ae7b1440606f9cbd10cba4d3","schemaVersion":"law.answers.replay-control/0.1"},"rulesApplied":["urn:kz:corpus:clir:labour-code#AuthorisedLabourBodyCompetenceItemIsCompetence","urn:kz:corpus:clir:labour-code#GovernmentCompetenceItemIsCompetence","urn:kz:corpus:clir:labour-code#LocalExecutiveBodyCompetenceItemIsCompetence","urn:kz:corpus:clir:labour-code#ModelSafetyServiceRegulationIsAuthorisedBodyCompetence","urn:kz:corpus:clir:labour-code#PartnershipOrganiserBearsOrganisationDuty","urn:kz:corpus:clir:labour-code#TerritorialSubdivisionCompetenceItemIsCompetence"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"employee","type":{"name":"urn:kz:corpus:clir:labour-code#Employee"}},{"labels":[],"name":"employer","type":{"name":"urn:kz:corpus:clir:labour-code#Employer"}}],"predicate":"urn:kz:corpus:clir:labour-code#feeding_break_too_short","schemaVersion":"law.answers.signature/0.1","types":{"urn:kz:corpus:clir:civil-code#CivilParticipant":{"kind":"unknown"},"urn:kz:corpus:clir:civil-code#Person":{"kind":"unknown"},"urn:kz:corpus:clir:labour-code#CivilParticipant":{"kind":"alias","labels":[],"namespace":"urn:kz:corpus:clir:labour-code","package":"kz.corpus.labour_code","target":"urn:kz:corpus:clir:civil-code#CivilParticipant"},"urn:kz:corpus:clir:labour-code#CivilPerson":{"kind":"alias","labels":[],"namespace":"urn:kz:corpus:clir:labour-code","package":"kz.corpus.labour_code","target":"urn:kz:corpus:clir:civil-code#Person"},"urn:kz:corpus:clir:labour-code#Employee":{"base":"urn:kz:corpus:clir:labour-code#Person","kind":"entity","labels":[{"language":"ru-KZ","status":"official","text":"Работник"}],"namespace":"urn:kz:corpus:clir:labour-code","package":"kz.corpus.labour_code"},"urn:kz:corpus:clir:labour-code#Employer":{"base":"urn:kz:corpus:clir:labour-code#CivilParticipant","kind":"entity","labels":[{"language":"ru-KZ","status":"official","text":"Работодатель"}],"namespace":"urn:kz:corpus:clir:labour-code","package":"kz.corpus.labour_code"},"urn:kz:corpus:clir:labour-code#Person":{"base":"urn:kz:corpus:clir:labour-code#CivilPerson","kind":"entity","labels":[{"language":"ru-KZ","status":"official","text":"Физическое лицо"}],"namespace":"urn:kz:corpus:clir:labour-code","package":"kz.corpus.labour_code"}},"vocab":{}},"verbalization":{"contentHash":"sha256:a4b28bf6684538523bc2d61ec9a15032deabc64eaaf6bb0cc66a758c26af0abc","detail":"brief","format":"law.answer-verbalization/0.1","gaps":0,"language":"ru-KZ","pack":"law.verb.ru@0.39.0","text":"# Ответ по делу\n\n> **Дисклеймер.** Ответ получен исполнением формализованной модели на данных дела. Это не официальный текст акта и не юридическое заключение.\n\n## Вопрос\n\nУстановлено ли, что «перерыв для кормления ребёнка короче установленного минимума» (employee: `Aigul`, employer: «Работодатель»)?\n\n## Ответ\n\nВычисление завершено.\nНе установлено ни что «перерыв для кормления ребёнка короче установленного минимума» (employee: `Aigul`, employer: «Работодатель»), ни обратное. Это не утверждение ложности и не заключение о молчании права: в модели нет вывода ни в одну сторону.\n\n## Основания\n\nВ доказательстве ответа нет шагов вывода.\n\n## Сообщения движка\n\n- Предупреждение `ASSERTION_NOT_ACCEPTED`: assertion urn:mcp:case#fact-1 with origin=assumed_for_simulation not accepted by mode=audit policy (SPEC §73) — связанных узлов: 1.\n- Предупреждение `ASSERTION_NOT_ACCEPTED`: assertion urn:mcp:case#fact-2 with origin=assumed_for_simulation not accepted by mode=audit policy (SPEC §73) — связанных узлов: 1.\n\n---\n\n*Вопрос `urn:query:mcp` · результат `urn:result:mcp` · resultHash `sha256:59dea30f0d1f801807ff7d23737893078caabcdf269acc0f386512ffefc89767` · программа `sha256:0000000000000000000000000000000000000000000000000000000000000000` · вербализация law.verb.ru@0.39.0 · язык ru-KZ · подробность: кратко*\n"},"whyNot":[{"anchors":["urn:kz:corpus:clir:labour-code#TK_ART82"],"blocker":{"applicability":"APPLICABLE","conjuncts":[{"detail":"variables are not bound by the goal: v2","kind":"established","literal":{"args":[{"id":"urn:mcp:entity:Aigul","kind":"entity_ref"},{"id":"urn:kz:corpus:clir:labour-code#Employer","kind":"const_ref"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:kz:corpus:clir:labour-code#child_feeding_break_minutes"},"trigger":"UNDETERMINED"},{"detail":"variables are not bound by the goal: v3","kind":"established","literal":{"args":[{"id":"urn:mcp:entity:Aigul","kind":"entity_ref"},{"kind":"var","var":"v3"}],"kind":"literal","polarity":"positive","predicate":"urn:kz:corpus:clir:labour-code#children_under_eighteen_months"},"trigger":"UNDETERMINED"},{"detail":"variables are not bound by the goal: v3","kind":"guard","literal":{"kind":"comparison","left":{"kind":"var","var":"v3"},"op":"eq","right":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":1}},"trigger":"UNDETERMINED"},{"detail":"variables are not bound by the goal: v2","kind":"guard","literal":{"kind":"comparison","left":{"kind":"var","var":"v2"},"op":"lt","right":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":30}},"trigger":"UNDETERMINED"}],"detail":"4 of 4 conjuncts: UNDETERMINED","rule":"urn:kz:corpus:clir:labour-code#FeedingBreakForOneChildIsThirtyMinutes","strength":"strict","trigger":"UNDETERMINED"},"label":"Статья 82 пункт 3 подпункт 1). Имеющим одного ребёнка — каждый перерыв не менее тридцати минут"},{"anchors":["urn:kz:corpus:clir:labour-code#TK_ART82"],"blocker":{"applicability":"APPLICABLE","conjuncts":[{"detail":"variables are not bound by the goal: v2","kind":"guard","literal":{"kind":"comparison","left":{"kind":"var","var":"v2"},"op":"lt","right":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":60}},"trigger":"UNDETERMINED"},{"detail":"variables are not bound by the goal: v2","kind":"established","literal":{"args":[{"id":"urn:mcp:entity:Aigul","kind":"entity_ref"},{"id":"urn:kz:corpus:clir:labour-code#Employer","kind":"const_ref"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:kz:corpus:clir:labour-code#child_feeding_break_minutes"},"trigger":"UNDETERMINED"},{"detail":"variables are not bound by the goal: v3","kind":"established","literal":{"args":[{"id":"urn:mcp:entity:Aigul","kind":"entity_ref"},{"kind":"var","var":"v3"}],"kind":"literal","polarity":"positive","predicate":"urn:kz:corpus:clir:labour-code#children_under_eighteen_months"},"trigger":"UNDETERMINED"},{"detail":"variables are not bound by the goal: v3","kind":"guard","literal":{"kind":"comparison","left":{"kind":"var","var":"v3"},"op":"ge","right":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":2}},"trigger":"UNDETERMINED"}],"detail":"4 of 4 conjuncts: UNDETERMINED","rule":"urn:kz:corpus:clir:labour-code#FeedingBreakForTwoOrMoreChildrenIsOneHour","strength":"strict","trigger":"UNDETERMINED"},"label":"Статья 82 пункт 3 подпункт 2). Имеющим двух или более детей — каждый перерыв не менее одного часа"}]}}}