lawref.screen

Population screening filter (DECISION-0120).

This first slice owns the pinned source binding. The binding is both a map for a future host renderer and an exact contract of predicates that this data source may assert. Unlisted predicates are therefore derived-only for this integration; silently accepting one would recreate the open input boundary that stopped DECISION-0119.

Attributes

Name	Description
DISCLAIMER	No description.
SCHEMA_VERSION	No description.

Classes

Name	Description
ScreenError	Stable screening diagnostic with a machine-readable code.

Functions

Name	Description
binding_content_hash	Canonical hash of a binding excluding its own contentHash.
build	Build a typed necessary-condition tree and its widening manifest.
contract_island	Static DECISION-0119 island under this exact assertable contract.
load_binding	Read and validate a binding; malformed JSON is a stable loud refusal.
render_text	No description.
report_bytes	No description.
validate_binding	Validate shape, self pin, source pin and CLIR declaration agreement.

DISCLAIMERattributemodule attribute#

View source

DISCLAIMER = 'Фильтр не есть правовой ответ: он задаёт только необходимое условие-надмножество; право по каждой прошедшей строке обязан полностью посчитать движок с proof-графом на том же снимке данных.'

SCHEMA_VERSIONattributemodule attribute#

View source

SCHEMA_VERSION = 'law.screen/0.1'

ScreenErrorclass#

View source

class ScreenError(code: str, message: str)

Bases: ValueError

Stable screening diagnostic with a machine-readable code.

codeattributeinstance attribute#

View source

code = code

binding_content_hashfunction#

View source

def binding_content_hash(binding: dict) -> str

Canonical hash of a binding excluding its own contentHash.

buildfunction#

View source

def build(document: dict, goal: str, binding: dict, legal_time: str | None = None, *, coverage_omit: set[str] | None = None) -> dict

Build a typed necessary-condition tree and its widening manifest.

contract_islandfunction#

View source

def contract_island(document: dict, binding: dict) -> dict

Static DECISION-0119 island under this exact assertable contract.

This deliberately reports rule membership, not a cache speedup: runtime solve/application/CPU profiling belongs to a future cache decision. A non-zero result proves only that the open-input blocker of 0119 is gone.

load_bindingfunction#

View source

def load_binding(path: str | Path, document: dict, source_schema_hash: str | None = None) -> dict

Read and validate a binding; malformed JSON is a stable loud refusal.

render_textfunction#

View source

def render_text(report: dict) -> str

report_bytesfunction#

View source

def report_bytes(report: dict) -> bytes

validate_bindingfunction#

View source

def validate_binding(binding: Any, document: dict, source_schema_hash: str | None = None) -> dict

Validate shape, self pin, source pin and CLIR declaration agreement.