lawref.ir_compat

Compat-чтение и миграция CLIR-документов 0.1 → 0.2 (DECISION-0001, WP-03).

Форма SymbolDecl.parameters определяется schemaVersion конверта (SPEC §202, DECISION-0001 п.5): law.core.ir/0.1 — TypeRef[], law.core.ir/0.2 — ParameterDecl[]. Смешение форм внутри документа запрещено semantic-правилом (не выразимо схемой) — проверяется здесь. Позиционные keys при миграции остаются валидными: порядок и длина массива параметров сохраняются (DECISION-0001 п.6).

Attributes

Name	Description
LEGACY_ARG_SEGMENT	No description.
V01	No description.
V02	No description.
V03	No description.
V04	No description.
V05	No description.

Functions

Name	Description
check_envelope	Конвертная дискриминация: schemaVersion обязан соответствовать фактической форме.
keys_invariant	Миграционный тест DECISION-0001 п.6: keys и арность параметров не изменились.
parameters_form	Фактическая форма параметров: '0.1' | '0.2' | 'empty'. Смешение — ValueError.
upgrade	0.1 → 0.2: ParameterDecl[] с позиционными legacy-ID (PATCH §2.3).

LEGACY_ARG_SEGMENTattributemodule attribute#

View source

LEGACY_ARG_SEGMENT = '/.legacy/arg/'

V01attributemodule attribute#

View source

V01 = 'law.core.ir/0.1'

V02attributemodule attribute#

View source

V02 = 'law.core.ir/0.2'

V03attributemodule attribute#

View source

V03 = 'law.core.ir/0.3'

V04attributemodule attribute#

View source

V04 = 'law.core.ir/0.4'

V05attributemodule attribute#

View source

V05 = 'law.core.ir/0.5'

check_envelopefunction#

View source

def check_envelope(document: dict) -> list[str]

Конвертная дискриминация: schemaVersion обязан соответствовать фактической форме.

keys_invariantfunction#

View source

def keys_invariant(before: dict, after: dict) -> list[str]

Миграционный тест DECISION-0001 п.6: keys и арность параметров не изменились.

parameters_formfunction#

View source

def parameters_form(document: dict) -> str

Фактическая форма параметров: ‘0.1’ | ‘0.2’ | ‘empty’. Смешение — ValueError.

upgradefunction#

View source

def upgrade(document: dict) -> dict

0.1 → 0.2: ParameterDecl[] с позиционными legacy-ID (PATCH §2.3).

Имена аргументов в 0.1-форме утрачены (в этом и был дефект KZ-C2), поэтому name = arg, id = <symbol_id>/.legacy/arg/, role отсутствует. Такие символы нельзя экспортировать из core-production без явной миграции. Инвариант: len(parameters) и порядок сохранены — keys остаются валидными.