lawref.query

LawQL — детерминированные запросы к CLIR как к данным.

Пакет намеренно не входит в семантический путь evaluator: структурный слой только реифицирует уже построенный CLIR, а материализации вызывают существующий lawref.evaluator.evaluate явно.

Classes

Name	Description
FactStore	No description.
QueryEngine	No description.
QueryError	No description.
QueryResult	No description.

Functions

Name	Description
load_corpus	Снимок корпуса в FactStore.
main	No description.
parse	No description.

Modules

• cliCLI python -m lawref query для LawQL.
• engineНаивный детерминированный join-движок LawQL (Ф2/Ф3).
• errorsСтруктурные диагностики LawQL (LDC-Qxxxx).
• factsРеификация CLIR в плоские отношения LawQL (DECISION-0079, Ф1).
• inferenceФ5: query … over … → эфемерный CLIR → существующие движки ядра.
• materializeЯвные eval()-материализации LawQL (Ф3).
• parserРекурсивный спуск LawQL без внешних зависимостей (Ф2/Ф3/Ф5).

FactStoreclassdataclass#

Re-exported from lawref.query.factsView source

class FactStore(relations: dict[str, list[dict]] = lambda : {name: [] for name in RELATION_FIELDS}(), documents: list[dict] = list(), node_kinds: tuple[str, ...] = schema_node_kinds(), node_count: int = 0, enabled_relations: set[str] = lambda : set(RELATION_FIELDS)(), _by_id: dict[str, dict] = dict(), _doc_by_package: dict[str, dict] = dict(), _parameter_owners: dict[str, str] = dict())

documentsattributeclass attributeinstance attribute#

View source

documents: list[dict] = field(default_factory=list)

enabled_relationsattributeclass attributeinstance attribute#

View source

enabled_relations: set[str] = field(default_factory=lambda : set(RELATION_FIELDS))

node_countattributeclass attributeinstance attribute#

View source

node_count: int = 0

node_kindsattributeclass attributeinstance attribute#

View source

node_kinds: tuple[str, ...] = field(default_factory=schema_node_kinds)

relationsattributeclass attributeinstance attribute#

View source

relations: dict[str, list[dict]] = field(default_factory=lambda : {name: [] for name in RELATION_FIELDS})

add_documentmethod#

View source

def add_document(document: dict, path: Path, law_path: str | None = None) -> None

documentmethod#

View source

def document(package: str) -> dict | None

finalizemethod#

View source

def finalize() -> None

nodemethod#

View source

def node(node_id: str) -> dict | None

rowsmethod#

View source

def rows(relation: str, package_glob: str = '*') -> list[dict]

schemamethod#

View source

def schema() -> dict

QueryEngineclass#

Re-exported from lawref.query.engineView source

class QueryEngine(store: FactStore, *, base_path: Path | None = None, materialization_limit: int | None = None, materialization_engine: str = 'lawref', indexes: SnapshotIndexes | None = None)

base_pathattributeinstance attribute#

View source

base_path = base_path or Path.cwd().resolve()

materialization_engineattributeinstance attribute#

View source

materialization_engine = materialization_engine

materialization_limitattributeinstance attribute#

View source

materialization_limit = materialization_limit

materializationsattributeinstance attribute#

View source

materializations: dict[str, dict] = {}

storeattributeinstance attribute#

View source

store = store

warningsattributeinstance attribute#

View source

warnings: list[dict] = []

executemethod#

View source

def execute(query: Query) -> QueryResult

QueryErrorclassdataclass#

Re-exported from lawref.query.errorsView source

class QueryError(code: str, message: str, line: int | None = None, column: int | None = None, hints: tuple[str, ...] = ())

Bases: ValueError

codeattributeinstance attribute#

View source

code: str

columnattributeclass attributeinstance attribute#

View source

column: int | None = None

hintsattributeclass attributeinstance attribute#

View source

hints: tuple[str, ...] = ()

lineattributeclass attributeinstance attribute#

View source

line: int | None = None

messageattributeinstance attribute#

View source

message: str

QueryResultclassdataclass#

Re-exported from lawref.query.engineView source

class QueryResult(document: dict, explain: dict)

documentattributeinstance attribute#

View source

document: dict

explainattributeinstance attribute#

View source

explain: dict

load_corpusfunction#

Re-exported from lawref.query.factsView source

def load_corpus(paths: Iterable[Path] | None = None, package_glob: str = '*', relations: Iterable[str] | None = None, package_globs: Iterable[str] | None = None, include_law_paths: bool = True, documents: Iterable[tuple[Path | str, dict]] | None = None) -> FactStore

Снимок корпуса в FactStore.

Два входа, взаимоисключающие: paths — файлы CLIR (по умолчанию весь corpus/clir), documents — пары (путь, уже разобранный CLIR) от хоста, который держит корпус в памяти (каталог MCP: те же документы, сверенные по stat за миллисекунды, вместо второго чтения и разбора 184 МБ на каждый вызов). Путь при документе нужен ровно тем, чем и при файле: порядком обхода (первый в канонической сортировке — единственный снимок пакета) и полем path строк фактов; байты результата от входа не зависят — это держит check_query.py. Документы не копируются и не мутируются: строки фактов ссылаются на их узлы, поэтому хост обязан отдавать их разделяемыми и неизменяемыми (у каталога MCP это уже контракт corpus_snapshot).

Глоб пакета применяется ДО разбора, когда путь известен: имя подглядывается в байтах (peek_package_name), и файл вне глоба не разбирается вовсе. Следствие, названное честно: испорченный CLIR ВНЕ глоба запрос больше не роняет — его целостность держат ворота компилятора, а не LawQL.

mainfunction#

Re-exported from lawref.query.cliView source

def main(argv: list[str]) -> int

parsefunction#

Re-exported from lawref.query.parserView source

def parse(source: str) -> Query | InferenceQuery