httk.store.mongo.evaluator

Exact three-valued evaluation for Mongo stored-property predicates.

The Mongo query path deliberately evaluates this small, frozen AST over hydrated records. That is important for child records: document storage keeps their content-addressed SID links, while MongoStore.fetch gives the evaluator their exact Python values.

Classes

MongoScope	A root, child, reference, or filtered record-object scope.
MongoValue	A field, aggregate, null, or literal value in the neutral AST.
MongoPredicate	A frozen three-valued predicate in the neutral stored-property AST.

Functions

evaluate(predicate, record)	Evaluate predicate exactly over a hydrated backing object.
canonical_predicate(predicate)	Return canonical JSON used as the verifier identity and cursor input.

Module Contents

class httk.store.mongo.evaluator.MongoScope

A root, child, reference, or filtered record-object scope.

identifier: int

schema: httk.store.db.schema.TableSchema

parent: MongoScope | None = None

relationship: httk.store.db.schema.FieldSpec | None = None

filter_predicate: MongoPredicate | None = None

scalar_child: bool = False

context: Any = None

field(name)

Select a scalar field from this scope.

scope(name)

Follow one child or reference relationship from this scope.

class httk.store.mongo.evaluator.MongoValue

A field, aggregate, null, or literal value in the neutral AST.

kind: Literal['field', 'present', 'constant', 'null', 'count', 'distinct_count']

scope: MongoScope | None = None

field: str | None = None

spec: httk.store.db.schema.FieldSpec | None = None

literal: object

value: MongoValue | None = None

class httk.store.mongo.evaluator.MongoPredicate

A frozen three-valued predicate in the neutral stored-property AST.

kind: Literal['constant', 'compare', 'is_null', 'exists', 'and', 'or', 'not', 'when_known', 'scaled']

operands: tuple[object, Ellipsis] = ()

httk.store.mongo.evaluator.evaluate(predicate, record)

Evaluate predicate exactly over a hydrated backing object.

Parameters:

• predicate (MongoPredicate) – Frozen predicate produced by _MongoQueryContext.

• record (object) – Hydrated backing record for the candidate SID.

Returns:

True, False, or None for SQL UNKNOWN.

Return type:

bool | None

httk.store.mongo.evaluator.canonical_predicate(predicate)

Return canonical JSON used as the verifier identity and cursor input.