proofframe 0.7.2

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
27

"""Generate a draft contract, review it, activate it, and then validate data.

Requires ProofFrame 0.6.0 or newer.
"""

import proofframe as pf
import pyarrow as pa

orders = pa.table({"order_id": [101, 102, 103], "amount": [12.5, 8.0, 10.0]})
draft = pf.suggest_contract(orders, infer_uniqueness=True)

print(f"status={draft['status']}")
print(f"suggested={sorted(draft['columns'])}")
print(f"review={draft['suggested_from']['review']}")

try:
    pf.check(orders, draft)
except pf.ContractError as error:
    print(f"a draft is refused before scanning: {error.code}")
else:
    raise RuntimeError("draft contracts must not run")

# Review and edit inferred rules here before activating this source document.
draft["status"] = "active"
report = pf.check(orders, draft)

print(f"valid={report['valid']} rows={report['rows']}")