Module proof 

Store-local authority proof closure verification.

This module verifies only proof edges observable in the current SQLite store. It does not claim signed-ledger authority, external anchoring, or policy authority; higher layers must compose this report with those axes.

Functions

temporal_authority_proof_report

Convert temporal authority revalidation into a proof closure report.

verify_memory_proof_closure

Verify store-local proof closure for a memory row.