A shared language for proof.

Hosted's signed acknowledgement of an accepted attestation, bound to the envelope and its hosted scope/sequence.

A signed, closed projection of a local qualification claim, with bounded metadata and keyed commitments rather than business values.

The captured landing layer, bound to a declared batch and source observation.

A dimension whose agreed keys and definitions support consistent use across business processes, with explicit physical/logical bindings.

Power BI's expression/query language used here for measure probes, permanent semantic tests and checked visual projections.

The documented semantic serving path over Fabric data, with framing/publication and value checks separate from generation.

The public-key signature algorithm used to authenticate local signed subjects, exported attestations and Hosted acknowledgements under separate trust.

A digest/signature/context relationship connecting a claim to the bytes, versions and dependencies it actually used.

An explicit retained version of scoped expectations and their evidence bindings, allowing controlled history rather than silent replacement.

The ratified business-facing dimensional structures reconciled to independent expectations.

The business meaning of one fact row, which requires human ratification before authoritative model compilation.

The Bronze, Silver and Gold layering of captured source data, prepared data and model-ready business structures.

An independently established source expectation used to judge downstream actuals; it is not the output being tested or an agent's opinion.

A file-based Power BI Project workspace containing report and semantic-model artifacts; this workflow does not accept a legacy PBIX as equivalent.

The report-definition format emitted and inspected for pages, visuals, model bindings and geometry.

A result for declared checks, scope and current evidence, distinct from business acceptance or universal correctness.

A create-only local ledger record binding a producer result to declared inputs, outputs and upstream evidence; it may contain private values.

Row-level and object-level access restrictions; Hosted tenant RLS and customer semantic-model RLS/OLS are different enforcement boundaries.

The named requirements/checks defining the qualification scope to freeze and evaluate.

The serving model of tables, relationships and measures used by Power BI, generated/deployed and qualified through separate steps.

The typed, deduplicated/prepared layer, with accounting and quarantine observations rather than silently dropped rows.

Loss of current evidence binding after an observed input, output/version or upstream dependency change.

A dimensional model connecting facts at a defined grain with descriptive dimensions.

A producer's structured operation outcome and checks, which the ledger validates before recording a receipt.

The text representation of semantic-model definitions inspected and generated by the local tools.