lawref.population_bind

population-binding/0.1 — эталон материализации таблиц микроданных в пакет-дело §168.4 (DECISION-0264, трек О).

Оркестрация без семантики (инвариант CLAUDE.md №5): адаптер ничего не вычисляет и не выводит из права. Каждая ячейка источника становится литералом факта дела origin case_input по объявленному в привязке типу, каждая строка корневой таблицы — делом и строкой банка. Результат детерминирован и не зависит от порядка строк во входных файлах: дела пишутся в байтовом порядке имён, факты — в порядке записей привязки и ключей дочерних строк, строки манифеста — в порядке rowId.

Поток (все отказы операции — до записи, §8 решения):

USAGE                                   флаги (--binding, --clir, --out)
→ каталог --out не существует           (POPULATION_BIND_OUT_EXISTS)
→ привязка: схема, самопин, структура   (POPULATION_BINDING_INVALID)
→ класс данных synthetic                (POPULATION_BINDING_DATA_CLASS)
→ CLIR модели: semanticHash, предикаты,
  арность, типы, перечисления, сущности (POPULATION_BINDING_MODEL_MISMATCH)
→ таблицы: файл, закрытое подмножество CSV [§3](https://github.com/arxohq/law/blob/master/spec/SPEC.ru/02-part-ii-goals-and-scope.ru.md#3-цели-law-dsl-core-01), ключи, сироты,
  дубликаты rowId и имён дел             (POPULATION_SOURCE_INVALID)
→ дело каждой корневой строки: rowId → имя → вес → дата → факты;
  сбой значения — отказ строки в манифест (ROW_*), не исчезновение
→ пакет (law.toml, package.law, cases/*.lawcase) и манифест
  law.population.materialization/0.1 (канон [§208](https://github.com/arxohq/law/blob/master/spec/SPEC.ru/28-part-xxvii-canonical-legal-ir.ru.md#208-canonical-serialization), самопин).

Код выхода: 0 — все строки материализованы; 4 — есть отказанные строки (INCOMPLETE: пакет и манифест записаны); 2 — отказ операции, ничего не записано.

Attributes

Name	Description
BINDING_INVALID	No description.
CASE_NAME_RE	No description.
CURRENCY_RE	No description.
DATA_CLASS	No description.
DATE_RE	No description.
DEFAULT_FALSE	No description.
DEFAULT_TRUE	No description.
ENTITY_ID_RE	No description.
FACT_LIMIT	No description.
INCOMPLETE_EXIT	No description.
INSTANT_RE	No description.
LITERAL_KINDS	No description.
MANIFEST_SCHEMA_VERSION	No description.
MODEL_MISMATCH	No description.
NAME_RE	No description.
OK_EXIT	No description.
OUT_EXISTS	No description.
PLACEHOLDER_RE	No description.
REFUSED_EXIT	No description.
ROW_CARDINALITY	No description.
ROW_DATE_INVALID	No description.
ROW_ENUM_UNKNOWN	No description.
ROW_FACT_LIMIT	No description.
ROW_KEY_NULL	No description.
ROW_REQUIRED_NULL	No description.
ROW_TYPE_INVALID	No description.
ROW_WEIGHT_INVALID	No description.
SCHEMA_VERSION	No description.
SOURCE_INVALID	No description.
STD	No description.
TOOL	No description.
USAGE	No description.
USAGE_TEXT	No description.

Classes

Name	Description
BindRefusal	Отказ операции: код, текст; строка stderr по контракту §8.
Materialized	No description.
RowRefusal	Отказ строки: попадает в манифест, не прерывает операцию.
TableData	No description.
TableSpec	No description.

Functions

Name	Description
binding_content_hash	Самопин привязки: канон §208 без поля contentHash (как у screen).
canonical_number	Канон Integer/Decimal §208 из текста источника: знак, цифры,
check_binding	Форма по схеме, самопин и структурные проверки §2 решения.
check_model	Привязка против CLIR модели: semanticHash, сущности, перечисления,
literal	Литерал .lawcase из ячейки по типу колонки; ValueError с кодом ROW_*.
load_binding	No description.
load_clir	No description.
main	No description.
materialize	No description.
parse_boolean	No description.
parse_csv	RFC 4180 без переводов строки в полях: UTF-8 без BOM, заголовок,
parse_time	(вид, литерал без @) для Date или Instant; None — ни то, ни другое.
read_table	No description.
render_text	No description.
substitute	Подстановка {колонка} сырым значением; ValueError(ROW_KEY_NULL) при NULL.
write_out	<out>/package/** и <out>/materialization.json; каталог создаётся здесь.

BINDING_INVALIDattributemodule attribute#

View source

BINDING_INVALID = 'POPULATION_BINDING_INVALID'

CASE_NAME_REattributemodule attribute#

View source

CASE_NAME_RE = re.compile('^[A-Za-z_][A-Za-z0-9_]*$')

CURRENCY_REattributemodule attribute#

View source

CURRENCY_RE = re.compile('^[A-Z]{3}$')

DATA_CLASSattributemodule attribute#

View source

DATA_CLASS = 'POPULATION_BINDING_DATA_CLASS'

DATE_REattributemodule attribute#

View source

DATE_RE = re.compile('^(\\d{4})-(\\d{2})-(\\d{2})$')

DEFAULT_FALSEattributemodule attribute#

View source

DEFAULT_FALSE = ['false', '0']

DEFAULT_TRUEattributemodule attribute#

View source

DEFAULT_TRUE = ['true', '1']

ENTITY_ID_REattributemodule attribute#

View source

ENTITY_ID_RE = re.compile('^[A-Za-z][A-Za-z0-9+.-]*:[^\\s\\"\\\\]+$')

FACT_LIMITattributemodule attribute#

View source

FACT_LIMIT = 9999

INCOMPLETE_EXITattributemodule attribute#

View source

INCOMPLETE_EXIT = 4

INSTANT_REattributemodule attribute#

View source

INSTANT_RE = re.compile(
  '^(\\d{4})-(\\d{2})-(\\d{2})T(\\d{2}):(\\d{2}):(\\d{2})(\\.\\d{1,6})?(Z|[+-]\\d{2}:\\d{2})$'
)

LITERAL_KINDSattributemodule attribute#

View source

LITERAL_KINDS = {
  STD + 'Integer': 'integer',
  STD + 'Decimal': 'decimal',
  STD + 'Money': 'money',
  STD + 'Boolean': 'boolean',
  STD + 'Text': 'text',
  STD + 'Date': 'date',
  STD + 'Instant': 'instant'
}

Show moreShow less

MANIFEST_SCHEMA_VERSIONattributemodule attribute#

View source

MANIFEST_SCHEMA_VERSION = 'law.population.materialization/0.1'

MODEL_MISMATCHattributemodule attribute#

View source

MODEL_MISMATCH = 'POPULATION_BINDING_MODEL_MISMATCH'

NAME_REattributemodule attribute#

View source

NAME_RE = re.compile('^[A-Za-z0-9_.-]+$')

OK_EXITattributemodule attribute#

View source

OK_EXIT = 0

OUT_EXISTSattributemodule attribute#

View source

OUT_EXISTS = 'POPULATION_BIND_OUT_EXISTS'

PLACEHOLDER_REattributemodule attribute#

View source

PLACEHOLDER_RE = re.compile('\\{([^{}]+)\\}')

REFUSED_EXITattributemodule attribute#

View source

REFUSED_EXIT = 2

ROW_CARDINALITYattributemodule attribute#

View source

ROW_CARDINALITY = 'ROW_CARDINALITY'

ROW_DATE_INVALIDattributemodule attribute#

View source

ROW_DATE_INVALID = 'ROW_DATE_INVALID'

ROW_ENUM_UNKNOWNattributemodule attribute#

View source

ROW_ENUM_UNKNOWN = 'ROW_ENUM_UNKNOWN'

ROW_FACT_LIMITattributemodule attribute#

View source

ROW_FACT_LIMIT = 'ROW_FACT_LIMIT'

ROW_KEY_NULLattributemodule attribute#

View source

ROW_KEY_NULL = 'ROW_KEY_NULL'

ROW_REQUIRED_NULLattributemodule attribute#

View source

ROW_REQUIRED_NULL = 'ROW_REQUIRED_NULL'

ROW_TYPE_INVALIDattributemodule attribute#

View source

ROW_TYPE_INVALID = 'ROW_TYPE_INVALID'

ROW_WEIGHT_INVALIDattributemodule attribute#

View source

ROW_WEIGHT_INVALID = 'ROW_WEIGHT_INVALID'

SCHEMA_VERSIONattributemodule attribute#

View source

SCHEMA_VERSION = 'law.population.binding/0.1'

SOURCE_INVALIDattributemodule attribute#

View source

SOURCE_INVALID = 'POPULATION_SOURCE_INVALID'

STDattributemodule attribute#

View source

STD = 'urn:law:std#'

TOOLattributemodule attribute#

View source

TOOL = 'population-bind'

USAGEattributemodule attribute#

View source

USAGE = 'POPULATION_BIND_USAGE'

USAGE_TEXTattributemodule attribute#

View source

USAGE_TEXT = 'python -m lawref population-bind --binding <привязка.json> --clir <модель.lawir.json> --out <каталог> [--json]'

BindRefusalclass#

View source

class BindRefusal(code: str, message: str)

Bases: Exception

Отказ операции: код, текст; строка stderr по контракту §8.

codeattributeinstance attribute#

View source

code = code

messageattributeinstance attribute#

View source

message = message

linemethod#

View source

def line() -> str

Materializedclassdataclass#

View source

class Materialized(files: dict[str, bytes], manifest: dict, manifest_bytes: bytes, exit_code: int)

exit_codeattributeinstance attribute#

View source

exit_code: int

filesattributeinstance attribute#

View source

files: dict[str, bytes]

manifestattributeinstance attribute#

View source

manifest: dict

manifest_bytesattributeinstance attribute#

View source

manifest_bytes: bytes

RowRefusalclass#

View source

class RowRefusal(code: str, detail: str, table: str, key: list[str])

Bases: Exception

Отказ строки: попадает в манифест, не прерывает операцию.

codeattributeinstance attribute#

View source

code = code

detailattributeinstance attribute#

View source

detail = detail

keyattributeinstance attribute#

View source

key = key

tableattributeinstance attribute#

View source

table = table

TableDataclassdataclass#

View source

class TableData(spec: TableSpec, content_hash: str, rows: list[dict[str, str | None]], by_key: dict[tuple[str, ...], dict[str, str | None]])

by_keyattributeinstance attribute#

View source

by_key: dict[tuple[str, ...], dict[str, str | None]]

content_hashattributeinstance attribute#

View source

content_hash: str

rowsattributeinstance attribute#

View source

rows: list[dict[str, str | None]]

specattributeinstance attribute#

View source

spec: TableSpec

TableSpecclassdataclass#

View source

class TableSpec(name: str, file: str, key: list[str], id_pattern: str, entity_type: dict, parent: dict | None, columns: dict[str, dict], order: list[str])

columnsattributeinstance attribute#

View source

columns: dict[str, dict]

entity_typeattributeinstance attribute#

View source

entity_type: dict

fileattributeinstance attribute#

View source

file: str

id_patternattributeinstance attribute#

View source

id_pattern: str

keyattributeinstance attribute#

View source

key: list[str]

nameattributeinstance attribute#

View source

name: str

orderattributeinstance attribute#

View source

order: list[str]

parentattributeinstance attribute#

View source

parent: dict | None

binding_content_hashfunction#

View source

def binding_content_hash(binding: dict) -> str

Самопин привязки: канон §208 без поля contentHash (как у screen).

canonical_numberfunction#

View source

def canonical_number(raw: str, separator: str, allow_fraction: bool) -> str | None

Канон Integer/Decimal §208 из текста источника: знак, цифры, необязательно разделитель и цифры. None — не число.

check_bindingfunction#

View source

def check_binding(binding: object) -> dict[str, TableSpec]

Форма по схеме, самопин и структурные проверки §2 решения.

check_modelfunction#

View source

def check_model(binding: dict, tables: dict[str, TableSpec], document: dict) -> dict[str, dict]

Привязка против CLIR модели: semanticHash, сущности, перечисления, предикаты, арность и типы аргументов (побайтово как JSON TypeRef). Возвращает предикат → объявление.

literalfunction#

View source

def literal(column: dict, raw: str, source: dict, model_name: str) -> str

Литерал .lawcase из ячейки по типу колонки; ValueError с кодом ROW_*.

load_bindingfunction#

View source

def load_binding(path: Path) -> dict

load_clirfunction#

View source

def load_clir(path: Path) -> dict

mainfunction#

View source

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

materializefunction#

View source

def materialize(binding_path: Path, clir_path: Path) -> Materialized

parse_booleanfunction#

View source

def parse_boolean(column: dict, raw: str) -> bool

parse_csvfunction#

View source

def parse_csv(data: bytes, delimiter: str, where: str) -> list[list[str]]

RFC 4180 без переводов строки в полях: UTF-8 без BOM, заголовок, \n или \r\n, кавычки удваиваются, управляющие символы — отказ. Возвращает записи (первая — заголовок).

parse_timefunction#

View source

def parse_time(raw: str) -> tuple[str, str] | None

(вид, литерал без @) для Date или Instant; None — ни то, ни другое.

read_tablefunction#

View source

def read_table(base: Path, spec: TableSpec, source: dict) -> TableData

render_textfunction#

View source

def render_text(manifest: dict) -> str

substitutefunction#

View source

def substitute(pattern: str, row: dict[str, str | None]) -> str

Подстановка {колонка} сырым значением; ValueError(ROW_KEY_NULL) при NULL.

write_outfunction#

View source

def write_out(result: Materialized, out: Path) -> None

<out>/package/** и <out>/materialization.json; каталог создаётся здесь.