Skip to main content
sverify
vnightly
Examples
Ledgers
Reference
Changelog
API
/
Report.unproved
API Index
Contracts
transform
verify
unique
key
references
Report
Report.from_substrait
Report Methods
Report.to_json
Report.from_json
Report.from_substrait
Report.to_substrait
Report.substrait_contract
Report.to_sql
Report.check_inputs
Report.run
Report.proved
Report.floats_unmet
Report.needed
Report.needed_text
Report.equivalence
Report.needs
Report.needed_conditions
Report.needs_text
Report.needs_lines
Report.errors
Report.warnings
Report.suggestions
Report.unproved
Report.notes
Report.route
Report.verdict
Report.__str__
Transforms, nodes and refresh
Node
sql.Unsupported
sql.Dialect
sql.parse_plan
sql.to_sql
sql.dialect_of
sql.Kind
sql.DIALECTS
group
io.Changes
nodes.Group
nodes.Refresh
nodes.Status
nodes.NodeStatus
nodes.StageRefresh
Node Methods
Node.__repr__
Node.schema
Node.internal_plan
Node.plan
Node.report
Node.to_substrait
Node.to_sql
Node.pipe
Node.write
Node.refresh
Node.status
Node.table
Node.versions
Node.to_arrow
Node.quarantined
Node.to_polars
Node.to_pandas
Sources and sinks
io.DeltaSource
io.DeltaSink
io.IcebergSource
io.IcebergSink
io.StaticSource
io.SinkWrite
io.Contract
io.Storage
Your own sources and sinks
io.Source
io.Batch
io.from_query
io.from_frame
io.from_files
io.Sink
io.SinkChange
io.sink_from
io.VersionedSource
io.Snapshot
io.SourceBatch
Engines and SQL
connect
engines.run
engines.ENGINES
engines.Connection
engines.Dialect
engines.DUCKDB
engines.SNOWFLAKE
engines.SPARK
engines.Unsupported
engines.SPARK_CONF
engines.run_sharded
ASOF joins
asof_join
Plans
engines.to_sql
engines.substrait_json
engines.written_plan
engines.run_substrait_json
engines.delta_plans
Testing
testing.assert_contract
testing.assert_engines_agree
testing.cases
testing.source
testing.installed_engines
Command line
cli.main
cli.discover
cli.summary
cli.Discovery
cli.Checked
Standards
odcs.export
odcs.write
odcs.read
odcs.OdcsContract
odcs.Unread
odcs.UnreadRuleWarning
Errors
errors.SverifyError
errors.VerificationError
errors.PreconditionError
errors.PostconditionError
errors.CompositionError
errors.NotIncremental
errors.AuditError
errors.SchemaError
errors.SqlError
errors.ExportError
errors.Unsupported
Report.unproved
The postconditions in
ensures
that were not proved.
Report.unproved
:
list[CheckedCondition]