lawref.evaluator.precedent

Профиль прецедента §276.1–§276.9 (law.precedent/0.2, DECISION-0090).

Здесь НЕТ исполнения holding: порождённые §276.10 правила исполняет baseline как любые другие. Профиль читает ДЕКЛАРАЦИИ (factor_vocabulary, precedent_decl) и итоговый мир вычисления и отвечает, что они говорят о деле: статус каждого прецедента включением множеств (§276.4–§276.6), связанность после отбрасывания доминированных (§276.7), непротиворечивость базы (§276.8) и сходятся ли декларации с тем, что сделали правила (agreesWithRules, §276.9). Всё детерминировано: порядок — канонический порядок id, ни одного множества без сортировки на выходе.

Attributes

Name	Description
DEFAULT_MAX_PRECEDENTS	No description.

Classes

Name	Description
ProfileLimit	Превышен кап §276.9 — fatal RESOURCE_LIMIT без частичного вывода.

Functions

Name	Description
evaluate_profile	Полный прогон профиля; результат — value-словарь §276.9.

DEFAULT_MAX_PRECEDENTSattributemodule attribute#

View source

DEFAULT_MAX_PRECEDENTS = 64

ProfileLimitclass#

View source

class ProfileLimit(counter: str, limit: int)

Bases: Exception

Превышен кап §276.9 — fatal RESOURCE_LIMIT без частичного вывода.

counterattributeinstance attribute#

View source

counter = counter

limitattributeinstance attribute#

View source

limit = limit

evaluate_profilefunction#

View source

def evaluate_profile(nodes: list[dict], store, registry, target: dict, legal_time: str, limits: dict | None = None) -> dict

Полный прогон профиля; результат — value-словарь §276.9.