lawref.measure

Документ меры формализации law.formalization-measure/0.1 — оракул §33.1.

Errata E-0249 (DECISION-0383): мера глубины считается против единиц деления закреплённой публикации, уровни, которых реализация не вычисляет, названы, EXECUTABLE единицы — утверждение о наличии выводящего узла, а не о полноте, свежесть входов — часть отчёта. Документ канонизируется §208 и сравнивается байтово с крейтом law-measure (lawc measure) — differential ОТДЕЛЬНОГО документа меры, evaluation-документ не затрагивается.

Что здесь НЕ решается: правовые вопросы. Текст режется объявленной либо распознанной конвенцией из spec/unit-conventions.json (один файл на обе реализации), CLIR читается структурно — fragment/locator, anchors, виды узлов, принадлежность прочтению §152.

Вход

document — CLIR (dict); texts — список {“bytes”: bytes, “declaration”: dict} — закреплённые публикации: текст сопоставляется узлу publication по sha256 точных байтов (documentHash §27.3), не по имени; params — {“profile”: {“name”, “aggregatedMinBytes”}, “attestation”: {“origin”: “sources”|“file”, “contentHash”?}}.

Выход — dict документа; canonical_measure_bytes даёт байты §208.

Attributes

Name	Description
ALGORITHM	No description.
DEFAULT_PROFILE	No description.
DERIVING_KINDS	No description.
EXTERNAL_ANCHOR_RE	No description.
FORMAT	No description.
LEVELS_COMPUTED	No description.
LEVELS_NOT_COMPUTED	No description.
SPEC	No description.

Classes

Name	Description
MeasureError	No description.

Functions

Name	Description
canonical_measure_bytes	No description.
conventions	No description.
main	python -m lawref measure <ir.json> --text <файл> [--declaration <json>] [--params <json>]
measure	No description.
sha256	No description.

ALGORITHMattributemodule attribute#

View source

ALGORITHM = 'formalization/1'

DEFAULT_PROFILEattributemodule attribute#

View source

DEFAULT_PROFILE = {'name': 'static', 'aggregatedMinBytes': 2000}

DERIVING_KINDSattributemodule attribute#

View source

DERIVING_KINDS = frozenset({'rule', 'priority_rule', 'closure_policy', 'norm_template', 'constraint'})

EXTERNAL_ANCHOR_REattributemodule attribute#

View source

EXTERNAL_ANCHOR_RE = re.compile('(?:ART-|ART)(\\d+(?:[-_]\\d+)?)(?:_P\\d+)?(?:_(?:RU|KK))?$')

FORMATattributemodule attribute#

View source

FORMAT = 'law.formalization-measure/0.1'

LEVELS_COMPUTEDattributemodule attribute#

View source

LEVELS_COMPUTED = ('SOURCE_ONLY', 'ANCHORED', 'EXECUTABLE')

LEVELS_NOT_COMPUTEDattributemodule attribute#

View source

LEVELS_NOT_COMPUTED = ('STRUCTURED', 'SEMANTIC')

SPECattributemodule attribute#

View source

SPEC = '0.1+E-0249'

MeasureErrorclass#

View source

class MeasureError(Exception)

Bases: Exception

canonical_measure_bytesfunction#

View source

def canonical_measure_bytes(measure_document: dict) -> bytes

conventionsfunctioncached#

View source

def conventions() -> dict

mainfunction#

View source

def main(argv: list[str]) -> int

python -m lawref measure <ir.json> –text <файл> [–declaration ] [–params ]

measurefunction#

View source

def measure(document: dict, texts: list[dict], params: dict | None = None) -> dict

sha256function#

View source

def sha256(data: bytes) -> str