lawref

Search symbols

Type part of a name or a dotted path

lawref — исполняемая спецификация Law DSL (оракул; FND §5.2).

Правила пакета: только stdlib Decimal/Fraction на семантическом пути (никакого float — enforce: verify/ci/gates/repo/check_lawref_determinism.py); каждая семантическая функция несёт ссылку на § SPEC в docstring; итерация — только по отсортированным ключам. Стартовая база в legacy/ (run_kz_corpus, build_kz_corpus_ir, validate_package) переносится в модули по условиям FND §5.2, до переноса — не импортируется.

Classes

Name	Description
CounterfactualError	Stable machine-readable counterfactual input/search failure.

Functions

Name	Description
evaluate_counterfactual	Evaluate all candidates through the first complete successful tier.
verify_counterfactual_result	Replay and verify the complete canonical certificate and solution set.

Modules

• a3Normative A3 parameter/table analyzer and CLIR lowerer.
• a3_ioSafe import/export adapters for A3 decision tables.
• amendСинтез минимальной поправки — L8.3 плана LAYERS-NEXT (горизонт §5,
• amend_enumШаблон enum-исключения и соседние входы amend (DECISION-0178).
• amend_guardsСтруктурные шаблоны amend: типизация и разбиение окна §87, DECISION-0179.
• amend_profileДетерминированный профиль области проверки amend (DECISION-0179).
• applicabilityМашина применимости редакции по lifecycle-статусам §31 (D1).
• approvalsКонтур утверждений B1 — WP-26 (LAYERS-SURFACES §3.6; DECISION-0006).
• argmapАргументная карта — L4-lite, работа О-3 плана LAYERS-NEXT.
• askЭталонная подготовка операции ask §168.4 (DECISION-0165 §1.10–§1.11).
• authoringХелперы для hand-authored CLIR 0.2-формы (интерим до парсера M3).
• calendarBusiness-календарь: снапшот и операции (WP-06; SPEC §85, §85.1, §86 — подмножество).
• canonКанонический JSON-emitter (WP-04; SPEC §208 + errata E-0002).
• casesРегистрация дел пакета-дела §168.4 (DECISION-0165 §1.4): секция [[cases]].
• certСертифицированные границы ln/exp и ячейка округления §259.2/§64.2
• composeКомпозиция сведений дел §168.5 (DECISION-0169 §1.5) — эталон.
• conformanceConformance descriptor §266.3 — заявка реализации и её проверка (WP-27-срез).
• contextEvaluation context и named profiles (WP-30; SPEC §89, §89.1).
• core_cliPublic Python oracle command composition.
• counterfactualFinite, offline counterfactual solver for the Core 0.1 §186 errata.
• delegationДелегационная цепочка: основание подзаконного акта → power-норма родителя.
• diagnosticsРеестр диагностик (WP-03; формат — SPEC §198, диапазоны — §199 + errata E-0004).
• divergenceDivergence report §158: расхождение аутентичных языковых редакций (D3).
• entrenchmentНеизменяемое ядро источника: diff редакций и entrenchment-констрейнт (D4).
• evaluatorОракул L0 — первый инкремент (WP-07-срез): support-семантика assertions,
• expansionНезависимая эталонная развёртка профиля law.expansion/0.1 (SPEC §279.1,
• exportЭкспорт сведений дела §168.5 (DECISION-0169 §1.2) — эталон export-case.
• fuzzФаззер кейсов — L8.1, работа О-4 плана LAYERS-NEXT.
• goalsЦели акта как объект (DECISION-0089) — оркестрация над свойствами §270.
• hashingSemantic hash, StableId и канонический lockfile (WP-05; SPEC §209, §14, §11).
• i18nОверлеи меток §218: переводы объявлений ВНЕ CLIR (DECISION-0070).
• impactImpact-отчёт черновика — L8.0, работа О-1 плана LAYERS-NEXT («законопроект
• ir_compatCompat-чтение и миграция CLIR-документов 0.1 → 0.2 (DECISION-0001, WP-03).
• lawtestИсполнение теста §267 оракулом.
• layersСлой программы по CLIR — вторая половина law.layers/0.1 в оракуле.
• loopholeBounded-поиск лазеек — L8.2 плана LAYERS-NEXT (горизонт §5, заведён
• measureДокумент меры формализации law.formalization-measure/0.1 — оракул §33.1.
• migrateМиграции редакций §32.1–§32.2: применение операций поправки (DECISION-0009).
• mutateДетерминированные semantic mutations над CLIR.
• normstaticСтатический анализ разрешимого фрагмента: поглощения и возможные конфликты.
• official_textТочные байты официального текста фрагмента в CLIR (SPEC §13, §28, §208; errata E-0248, DECISION-0375).
• populationpopulation-impact/0.1 — эталон оценки реформы на закреплённой выборке
• population_bankpopulation-bank — сборка банка law.population.bank/0.1 из манифеста
• population_bindpopulation-binding/0.1 — эталон материализации таблиц микроданных в
• population_distributionДецили population-impact/0.2 (DECISION-0265, уточнения 16.09.2026):
• population_replaypopulation-replay — воспроизведение одного документа отчёта
• processПроцессный слой — О-5 плана LAYERS-NEXT (моделирование процессов поверх
• profilesПрофили канона §170.1 (DECISION-0170) — эталон.
• public_mainStandalone public entry point (mapped to lawref.__main__ on export).
• queryLawQL — детерминированные запросы к CLIR как к данным.
• reanchorПеревешивание якорей между редакциями — рычаг формализации предшествующей
• resolverPackage resolution — инкременты WP-31/WP-35 (SPEC §10–§11, §22–§24, §209).
• resourcesResource locations shared by source checkout and installed oracle.
• revisionРевизия семантики по версии языка (§22/§209, errata E-0156/E-0166).
• scenarioShared scenario execution and edition projection (§31, §92, §168).
• schemasРеестр нормативных схем базового пакета (WP-03 + DECISION-0006).
• screenPopulation screening filter (DECISION-0120).
• semdiffSemantic diff §215 и его вербализованный вид (WP-23-срез + WP-25 (c)).
• std_generatedПОРОЖДЁННЫЙ МОДУЛЬ. Источник истины — packs/std/ (каталог DECISION-0166);
• std_registryРеестр стандартной библиотеки 0.1 (WP-31; SPEC §257–§266).
• term_sugarIndependent reference lowering for the term sugar (SPEC §86.1).
• textpatternОбразец текста §257.1 (errata E-0166): разбор и полное совпадение.
• unit_declarationsНормализация объявлений атомов ДО §209 (E-0150, DECISION-0157).
• unitsАлгебра размерностей §49.1–§49.2 (errata E-0136, DECISION-0154).
• valuesТипизированные значения и term-вычисление (WP-06; §18, §48–§50, §57–§58).
• verbalizeB1 — вербализатор CLIR (WP-25 MVP; LAYERS-SURFACES §3).

CounterfactualErrorclass#

Re-exported from lawref.counterfactualView source

class CounterfactualError(code: str, message: str)

Bases: ValueError

Stable machine-readable counterfactual input/search failure.

codeattributeinstance attribute#

View source

code = code

messageattributeinstance attribute#

View source

message = message

evaluate_counterfactualfunction#

Re-exported from lawref.counterfactualView source

def evaluate_counterfactual(ir: dict, case: dict, input_: dict, options: dict | None = None, external_snapshots: list[dict] | None = None) -> dict

Evaluate all candidates through the first complete successful tier.

Options внутренних прогонов §186 берутся из case["options"], если вызывающий не назвал свои: DECISION-0111 §2.2 объявляет case.options ЕДИНСТВЕННЫМ местом семантических опций, а EvaluationRequest.build затирает их переданным словарём. До errata E-0135 (06.09.2026) умолчание {} молча выбрасывало выбор прочтения §152 и календарь дела: кандидаты считались в мире без опций, а caseHash входа — по делу с ними.

verify_counterfactual_resultfunction#

Re-exported from lawref.counterfactualView source

def verify_counterfactual_result(ir: dict, case: dict, input_: dict, claimed: dict, options: dict | None = None, external_snapshots: list[dict] | None = None) -> None

Replay and verify the complete canonical certificate and solution set.