lawref.population_distribution

Децили population-impact/0.2 (DECISION-0265, уточнения 16.09.2026): распределение статического эффекта по группам эквивалентного дохода.

Статистика над готовыми документами, без семантики (инвариант CLAUDE.md №5): ранжирующая величина rank, число взрослых и детей — отдельные ask закреплённых запросов на стороне basis (before), каждый со своим документом в хранилище; шкала эквивалентности — закреплённый параметр банка, который инструмент применяет как арифметику. Ни класс строки, ни вердикт от распределения не зависят.

Ранг строки (§2 решения): R / S, где S = firstAdult + otherAdult·(A − 1) + child·C; сравнение — точное рациональное (в эталоне Fraction, в порте — перекрёстные произведения). Группы (§3): связки равного ранга не режутся, g = 1 + ⌊groups · (2·W₍<₎ + w) / (2·W)⌋, не больше groups. Строка без ранга — корзина unranked с причиной: RANK_FAILED (сбой любой стороны или вспомогательного запроса), RANK_NO_VALUE (ранг не VALUE), RANK_SIZE (размер не VALUE, взрослых меньше одного).

Attributes

Name	Description
BANK_SCHEMA_VERSION_02	No description.
INTEGER_TYPE	No description.
RANK_FAILED	No description.
RANK_NO_VALUE	No description.
RANK_SIZE	No description.
REASONS	No description.
REPORT_SCHEMA_VERSION_02	No description.
SIZE_KIND	No description.

Classes

Name	Description
RowInput	No description.

Functions

Name	Description
build	Раздел distribution отчёта, группа каждой ранжированной строки и
check_distribution	Форма 0.2 сверх схемы: самопин шкалы, запрос ранга как мера (§3 0255),
check_scale	No description.
equivalised	No description.
rational	No description.
reason_of	No description.
render_lines	No description.
scale_content_hash	Самопин шкалы: канон §208 без поля contentHash.
size_state	Состояние запроса размера семьи: та же проекция §5, что у стороны,

BANK_SCHEMA_VERSION_02attributemodule attribute#

View source

BANK_SCHEMA_VERSION_02 = 'law.population.bank/0.2'

INTEGER_TYPEattributemodule attribute#

View source

INTEGER_TYPE = 'urn:law:std#Integer'

RANK_FAILEDattributemodule attribute#

View source

RANK_FAILED = 'RANK_FAILED'

RANK_NO_VALUEattributemodule attribute#

View source

RANK_NO_VALUE = 'RANK_NO_VALUE'

RANK_SIZEattributemodule attribute#

View source

RANK_SIZE = 'RANK_SIZE'

REASONSattributemodule attribute#

View source

REASONS = (RANK_NO_VALUE, RANK_SIZE, RANK_FAILED)

REPORT_SCHEMA_VERSION_02attributemodule attribute#

View source

REPORT_SCHEMA_VERSION_02 = 'law.population.impact-report/0.2'

SIZE_KINDattributemodule attribute#

View source

SIZE_KIND = 'SIZE_KIND'

RowInputclassdataclass#

View source

class RowInput(row_id: str, weight: Fraction, klass: str, delta: Fraction | None, failed: bool, rank_state: str, rank_amount: Fraction | None, adults: int | None, children: int | None)

adultsattributeinstance attribute#

View source

adults: int | None

childrenattributeinstance attribute#

View source

children: int | None

deltaattributeinstance attribute#

View source

delta: Fraction | None

failedattributeinstance attribute#

View source

failed: bool

klassattributeinstance attribute#

View source

klass: str

rank_amountattributeinstance attribute#

View source

rank_amount: Fraction | None

rank_stateattributeinstance attribute#

View source

rank_state: str

row_idattributeinstance attribute#

View source

row_id: str

weightattributeinstance attribute#

View source

weight: Fraction

buildfunction#

View source

def build(items: list[RowInput], distribution: dict, complete: bool) -> tuple[dict, dict[str, int], dict[str, str]]

Раздел distribution отчёта, группа каждой ранжированной строки и причина каждой неранжированной.

check_distributionfunction#

View source

def check_distribution(distribution: dict, side, first_case: str) -> None

Форма 0.2 сверх схемы: самопин шкалы, запрос ранга как мера (§3 0255), запросы размера — term без options.empty, разрешимые на стороне basis.

check_scalefunction#

View source

def check_scale(scale: dict) -> None

equivalisedfunction#

View source

def equivalised(item: RowInput, weights: dict) -> Fraction

rationalfunction#

View source

def rational(value: Fraction | None) -> dict | None

reason_offunction#

View source

def reason_of(item: RowInput) -> str | None

render_linesfunction#

View source

def render_lines(section: dict) -> list[str]

scale_content_hashfunction#

View source

def scale_content_hash(scale: dict) -> str

Самопин шкалы: канон §208 без поля contentHash.

size_statefunction#

View source

def size_state(outcome, store: Path | None, record_proof: bool = True) -> tuple[dict, int | None, dict | None]

Состояние запроса размера семьи: та же проекция §5, что у стороны, но значение — целое ≥ 0.