Skip to content

lawref.revision

Ревизия семантики по версии языка (§22/§209, errata E-0156/E-0166).

Единственный источник — spec/feature-registry.json, порождённый в std_generated.SEMANTICS_REVISIONS генератором каталога std. Семейство версии — первые две компоненты (0.1, 0.1.0, 0.1.1 → 0.1); ревизия семейства — semanticsId реестра; версия вне реестра (зарезервированная 0.3) остаётся law.core/<семейство>. Движок повторяет это дословно в law_canon::revision; байты manifest.semantics — общий контракт.

Attributes

NameDescription
WITHDRAWN_EVALUATION_FAMILIESNo description.

Functions

NameDescription
familyNo description.
is_withdrawn_for_evaluationОтозвана ли семантическая ветвь для активного evaluate.
known_versionsNo description.
revision_idlaw.core/<ревизия> для семейства версии.
revision_tailСтрока semanticVersion конверта для семейства версии (0.1 → 0.1.1).
withdrawn_evaluation_messageСообщение отказа в форме LDC-E1401 с migration note реестра.

WITHDRAWN_EVALUATION_FAMILIESattributemodule attribute#

WITHDRAWN_EVALUATION_FAMILIES = ('0.1')

familyfunction#

def family(version: str) -> str

is_withdrawn_for_evaluationfunction#

def is_withdrawn_for_evaluation(version: str) -> bool

Отозвана ли семантическая ветвь для активного evaluate.

Семейство намеренно определяется так же, как revision mapping: это закрывает 0.1, старый request-tail 0.1.0 и текущий revision-tail 0.1.1, не трогая их архивную адресацию.

known_versionsfunction#

def known_versions() -> tuple[str, ...]

revision_idfunction#

def revision_id(version: str) -> str

law.core/<ревизия> для семейства версии.

revision_tailfunction#

def revision_tail(version: str) -> str

Строка semanticVersion конверта для семейства версии (0.1 → 0.1.1).

withdrawn_evaluation_messagefunction#

def withdrawn_evaluation_message(version: str) -> str

Сообщение отказа в форме LDC-E1401 с migration note реестра.

Documentation for Arxo. Writings — blog.arxo.io.

Anonymous visit counts on stats.arxo.io, no cookies.