ProofFrame / Data review
Contract violations
Start here

Inspect the violations

Rerun with --max-samples 20 to include finding details.

Dataset

--max-samples 20

Finding details are off by default. Enabling samples can include sensitive content in every artifact.

3 violationsExact total
9Rows scanned
0Sampled findings

Where to investigate

0 sampled finding(s). A violation count is not a count of distinct failing rows. Unlisted rules are not marked as passed.

What was checked

These are the declared rules, not individual pass verdicts.

Data identity and execution

Dataset fingerprint
pf-fp-v2:000b16212c37424d58636e79848f9aa5b0bbc6d1dce7f2fd08131e29343f4a55
Contract digest
Schema digest
Plan digest
Engine version
0.7.1

Memory counters describe the engine, not total process memory.