Module inspect 

Read-only, engine-native workbook introspection.

Reports in this module are owned semantic snapshots. Inspection performs no semantic mutation: it never evaluates, prepares dependency state, creates placeholder vertices, or marks cells dirty. It may warm snapshot-guarded performance caches such as the row-bounds cache. Reports are plane-independent: legacy and authoritative FormulaPlane engines return field-identical semantic reports for identical logical workbook state, apart from their state stamps. Two exceptions apply: (a) after structural edits and before re-evaluation, per-cell staleness may be more conservative (Staleness::Dirty) under FormulaPlane authority than legacy; and (b) reports produced under a binding max_work budget are representation-dependent in how much they discover.

Structs

CellSnapshot

CellSnapshotReport

Dependent

DependentsOptions

Capacity minima that must hold the request’s own anchors are hard errors: trace requires max_nodes >= unique roots (and nonempty roots); range_page requires limit >= 1. All expansion budgets (max_depth, max_links, max_work, range_member_budget, max_results) accept zero and degrade to in-band truncation.

DependentsReport

Precedent

PrecedentOptions

Capacity minima that must hold the request’s own anchors are hard errors: trace requires max_nodes >= unique roots (and nonempty roots); range_page requires limit >= 1. All expansion budgets (max_depth, max_links, max_work, range_member_budget, max_results) accept zero and degrade to in-band truncation.

PrecedentReport

RangePage

RangePageOptions

Capacity minima that must hold the request’s own anchors are hard errors: trace requires max_nodes >= unique roots (and nonempty roots); range_page requires limit >= 1. All expansion budgets (max_depth, max_links, max_work, range_member_budget, max_results) accept zero and degrade to in-band truncation.

SnapshotOptions

Capacity minima that must hold the request’s own anchors are hard errors: trace requires max_nodes >= unique roots (and nonempty roots); range_page requires limit >= 1. All expansion budgets (max_depth, max_links, max_work, range_member_budget, max_results) accept zero and degrade to in-band truncation.

StateStamp

Correlates a report with the engine mutation and recalculation state from which it was copied.

TraceGraph

TraceLink

TraceLinkTarget

TraceNode

TraceNodeId

TraceOptions

Capacity minima that must hold the request’s own anchors are hard errors: trace requires max_nodes >= unique roots (and nonempty roots); range_page requires limit >= 1. All expansion budgets (max_depth, max_links, max_work, range_member_budget, max_results) accept zero and degrade to in-band truncation.

TruncationReport

Enums

InspectError

InspectionUnavailableReason

LinkDisposition

NameResolution

OmittedCount

Provenance

SemanticReference

SpillRole

A last-evaluation spill-registry fact.

Staleness

TraceDirection

TraceLinkKind