lawref.a3

Normative A3 parameter/table analyzer and CLIR lowerer.

The module deliberately stops at CLIR. It never evaluates a parameter JSON or decision-table JSON: generated helper FunctionDecl/Rule nodes are fed to the ordinary evaluator. Rust law-a3 is a byte-differential port of this file, not an alternative semantics.

Attributes

Name	Description
MISSING_PARAMETER	No description.
NO_DECISION	No description.
OK	No description.
PARAM_FEATURE	No description.
RESULT	No description.
TABLE_FEATURE	No description.

Classes

Name	Description
Segment	No description.

Functions

Name	Description
lower_parameter	No description.
lower_source	No description.
lower_table	No description.
semantic_hash	No description.
semantic_projection	No description.
validate_parameter	No description.
validate_table	No description.

MISSING_PARAMETERattributemodule attribute#

View source

MISSING_PARAMETER = 'urn:law:a3#MissingParameterValue'

NO_DECISIONattributemodule attribute#

View source

NO_DECISION = 'urn:law:a3#NoDecision'

OKattributemodule attribute#

View source

OK = 'urn:law:a3#Result/Ok'

PARAM_FEATUREattributemodule attribute#

View source

PARAM_FEATURE = 'law.params/0.1'

RESULTattributemodule attribute#

View source

RESULT = 'urn:law:std#Result'

TABLE_FEATUREattributemodule attribute#

View source

TABLE_FEATURE = 'law.decision/0.1'

Segmentclassdataclass#

View source

class Segment(lower: Any | None, lower_inc: bool, upper: Any | None, upper_inc: bool)

lowerattributeinstance attribute#

View source

lower: Any | None

lower_incattributeinstance attribute#

View source

lower_inc: bool

upperattributeinstance attribute#

View source

upper: Any | None

upper_incattributeinstance attribute#

View source

upper_inc: bool

lower_parameterfunction#

View source

def lower_parameter(source: dict, package: str, uri: str = 'memory:parameter') -> dict

lower_sourcefunction#

View source

def lower_source(source: dict, package: str, uri: str, enums: dict[str, list[str]] | None = None) -> dict

lower_tablefunction#

View source

def lower_table(source: dict, package: str, uri: str = 'memory:table', enums: dict[str, list[str]] | None = None) -> dict

semantic_hashfunction#

View source

def semantic_hash(source: dict) -> str

semantic_projectionfunction#

View source

def semantic_projection(source: dict) -> dict

validate_parameterfunction#

View source

def validate_parameter(source: dict, uri: str = 'memory:parameter') -> list[dict]

validate_tablefunction#

View source

def validate_table(source: dict, uri: str = 'memory:table', enums: dict[str, list[str]] | None = None) -> list[dict]