Журнал изменений

Find a version

All versionsAll versions forward

Version [0.0.1-m0]

Aug 26, 2026

Веха M0 «Скелет и решения» закрыта.

Added

• Монорепозиторий: spec/, vectors/, lawref/, lawc/ (11 крейтов), checker/, corpus/, ci/, release/ (WP-01).
• CI-гейты: сборочная матрица Linux + macOS + Windows с первого дня, determinism-линты с canary-нарушителями, неизменяемый legacy-якорь релиза.
• Векторный формат и раннер; 59 векторов со слоевой разметкой — 44 t/, 8 prop-0.1.1/, 6 errata/, SMOKE-001 (WP-02).
• Семь нормативных схем как код с self-check и round-trip без потерь; compat-миграция ParameterDecl с конвертной дискриминацией и keys-инвариантом; реестр диагностик §198/§199 (WP-03).
• DECISION-0001: PATCH-0.1.1 §2 принят в узкой форме, целевой CLIR reference-реализации — law.core.ir/0.2.

Fixed

Шесть bootstrap-errata ядра, каждая с векторным обязательством:

• E-0001 — статус CONFLICTED_INPUTS и политика on_accepted_conflict §112/§175 отсутствовали в SPEC и evaluation.schema.json, из-за чего DoD WP-07 был неисполним.
• E-0002 — §208 разрешал сортировку commutative operands, §207.1 требовал: две реализации могли разойтись байтово, оставаясь conforming.
• E-0003 — §238: wall-clock и лимиты памяти несовместимы с детерминизмом §211; семантическими объявлены только детерминированные счётчики.
• E-0004 — §199: зарегистрирован диапазон LDC-E8xxx.
• E-0005 — типы, используемые SPEC, но не объявленные в §35: Rational, CountryCode, CardinalityError и другие.
• E-0006 — AUDIT §9 п.8: квалификация скоупа L0–L1.

01.09.2026 — полный учёт АППК РК № 350-VI

• Закреплена официальная текущая русская редакция ИПС «Әділет» и создан пакет corpus/laws/kz/appc: 195 статей (175 базовых + 20 вставных), 693 пунктовых фрагмента, воспроизводимый sync с --check.
• Обе меры §33.1 зелёные: байты — 195/195, text coverage 99,1 %; глубина — EXECUTABLE 17 / ANCHORED 178 / SOURCE_ONLY 0 / UNEXPLAINED 0. Статус и машинная причина записаны для каждой единицы в порождённом depth-measure.json.
• Добавлены три procedure-автомата, правила сроков и деонтики, семейство appc (10 сценариев); KZ-differential — 12/12 вызовов байтово. Полный аудит конструкций и третьей меры записан в corpus/laws/kz/appc/audit.ru.md: 3/44 стаб-моста объявлены слоем очереди, 49 крупных ANCHORED-единиц — явным планом последующего семантического расширения.
• По решению человека «а» удалён учебный пакет appc-restoration, его CLIR, семь .lawtest и активные записи в шести реестрах. Старые упоминания ниже остаются историческими записями этого журнала.