Module shape_report 

Shape reports: the contract for diagnostics from shape checks.

The kernel defines the report record built from a shape match and the satisfaction-claim it publishes; libraries produce reports by running the shape protocol.

Structs

ShapeReport

The canonical record of a shape check: who was checked against what, the outcome, and the diagnostics.

Functions

check_value_report

Check value against shape_value, building a ShapeReport and publishing the satisfaction claim when accepted.

insert_shape_satisfaction_claim

Publish the satisfies-shape claim for an accepted report.

satisfies_shape_predicate

The predicate symbol (core/satisfies-shape) used by satisfaction claims.

shape_report_from_match

Intern a ShapeMatch into a ShapeReport for the given shape and target references.