Crate proofborne_verifier 

Provider-free semantic verification for Proofborne contracts and proof graphs.

This crate performs no network access and executes no tools. It validates the captured proof structure, deterministically reduces the graph, and reports whether a result is allowed to represent task verification.

Structs

VerificationIssue

One semantic finding with optional criterion/evidence location.

VerificationReport

Complete, deterministic result of semantic proof verification.

Enums

VerificationIssueCode

Stable category for a semantic verification finding.

VerificationSeverity

Severity of a semantic verification finding.

Functions

verify

Validates and deterministically reduces a captured contract and proof graph.