lawref.amend_profile

Детерминированный профиль области проверки amend (DECISION-0179).

Модуль меняет только предъявленные JSON-входы. Классификационные запросы и правила исполняются обычным оценщиком через :mod:lawref.impact.

Attributes

Name	Description
GENERATOR_VERSION	No description.
I128_MAX	No description.
MAX_AXIS_VALUES	No description.
MAX_PRODUCT_SIZE	No description.
MAX_SCALE	No description.
PROFILE_VERSION	No description.

Functions

Name	Description
axis_values	Развернуть конечный домен; интервальные представители не объявляются полными.
operations	Ограниченное, явно заданное пространство типизированных шаблонов B.
prepare	No description.

GENERATOR_VERSIONattributemodule attribute#

View source

GENERATOR_VERSION = 'amend-cases/2'

I128_MAXattributemodule attribute#

View source

I128_MAX = 1 << 127 - 1

MAX_AXIS_VALUESattributemodule attribute#

View source

MAX_AXIS_VALUES = 4096

MAX_PRODUCT_SIZEattributemodule attribute#

View source

MAX_PRODUCT_SIZE = 4096

MAX_SCALEattributemodule attribute#

View source

MAX_SCALE = 18

PROFILE_VERSIONattributemodule attribute#

View source

PROFILE_VERSION = 'law.amend.profile/0.1'

axis_valuesfunction#

View source

def axis_values(axis: dict) -> list

Развернуть конечный домен; интервальные представители не объявляются полными.

operationsfunction#

View source

def operations(profile: dict) -> list[dict]

Ограниченное, явно заданное пространство типизированных шаблонов B.

preparefunction#

View source

def prepare(profile: dict) -> tuple[list[tuple[str, dict]], list[tuple[str, dict]], dict]