proofframe 0.7.1

Rust-native Arrow contracts, exact checks, fingerprints, and verifiable evidence
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

"""Validate a pandas DataFrame with a strict Arrow-native contract."""

import pandas as pd
import proofframe as pf

orders = pd.DataFrame(
    {
        "order_id": [101, 102, 102],
        "amount": [12.50, 8.00, -1.00],
        "email": ["ada@example.com", "linus@example.com", None],
    }
)

contract = {
    "version": "proofframe.contract.v1",
    "columns": {
        "order_id": {"required": True, "not_null": True, "unique": True},
        "amount": {"min": 0},
        "email": {"not_null": True},
    },
}

report = pf.check(orders, contract, max_samples=10)

print(f"valid={report['valid']} violations={report['violation_count']}")
print(f"rules broken={sorted({finding['rule'] for finding in report['findings']})}")