Crate mos_eval 

Expression and scripting evaluator (manifest §4, §25).

The “evaluator” is really a lowerer + resolver: it walks a [SyntaxTree] from mos-parse and builds the typed semantic [Document] graph from mos-core (manifest §6 stage 2), then runs the resolve pass to assign section numbers and rewrite @label cross-references (§6 stage 3, MVP 1).

Modules

bibliography 🔒

Lower #bibliography(...) directives into a semantic node.

dependency 🔒

External files a lowering read, with the fingerprint each had at the time, so a cached LowerResult can be checked against the filesystem before it is reused (issue #125).

image_lower 🔒

Lower #image and #figure parser directives into semantic nodes.

semantic_hash 🔒

Authored semantic input snapshots, taken before resolution mutates nodes.

suggest 🔒

Conservative nearest-match selection for “did you mean” diagnostics.

Structs

Bibliography

A parsed bibliography: every [BibEntry] keyed by its citation key.

DocumentMetadata

Document-level metadata harvested from #set document(...) directives.

EvaluationState 🔒

Evaluator

Lowerer from parse syntax to semantic document graph.

ExternalDependency

One external file a lowering depended on: an #image / #figure raster or a #bibliography source.

FileIdentity

The device and inode numbers and the status-change time of a file on Unix. Unlike the modification time, none of these can be set from userspace, so a rewrite that restores the old mtime still moves one of them. Every field is None on platforms that do not expose them.

FileSystemReader

Default resource reader, restricted to regular files.

Fingerprint

What a regular file looked like when it was read: its stat fields, the moment that stat was taken, and a fingerprint_bytes hash of its contents.

LowerResult

Result of lowering a [SyntaxTree] into a [Document].

ResourceData

Bytes returned by a ResourceReader.

ResourceSnapshot

Captured external inputs belonging to one lowering result.

Enums

PageFixpointOutcome

The result of driving page references to a fixpoint.

ResourceFingerprint

A resource content hash, optionally accompanied by filesystem freshness metadata.

Constants

CODE_LANGUAGE_ATTR

Authored language name on a #code node, available to editor consumers.

DOC_ATTR

Attribute key holding a node’s attached /** … */ doc-comment text. Read by the LSP hover handler.

LABEL_SPAN_END_ATTR 🔒

LABEL_SPAN_START_ATTR 🔒

RACY_WINDOW

A modification time this close to the moment the fingerprint was taken is not trusted by ExternalDependency::is_current: a second write inside the same filesystem timestamp tick would leave stat unchanged. Two seconds covers FAT’s timestamp resolution.

Traits

ResourceReader

Supplies image and bibliography bytes at already-resolved source paths.

Functions

fingerprint_bytes

Fingerprint raw file bytes for dependency comparison.

fingerprint_file

The Fingerprint of the regular file at path, or None when there is no readable regular file there. Directories, devices, and pipes are never opened.

insert_label_attributes 🔒

lower

Convenience: parse + lower + resolve in one step. Concatenates the diagnostics from each stage so callers can render them uniformly.

lower_raw_block 🔒

lower_tree

Lower an already-parsed [SyntaxTree].

lower_tree_with_reader

Lower and resolve parsed syntax with the same resource contract as lower_with_reader.

lower_with_reader

Parse, lower and resolve source using supplied external resource reads.

resolve

Run the resolver pass over document in place. Returns any diagnostics produced; the document is modified regardless of whether errors are present so partial output is still renderable.

resolve_page_reference_fixpoint

Drive page-reference resolution to a fixpoint against an injected layout.

resolve_page_references

Rewrite every @page(label) reference’s visible text.

string_content_span 🔒

The span of a string literal’s contents, excluding its quotes.