Module ops_proof 

Pure ops-proof completion classification for tracked-work items.

This module is I/O-free. Callers own snapshots, cycle-state, ops-log writes, and document mutation.

Structs

OpsProofCompletion

Constants

LEADING_STATUS_WORDS

Max number of leading words (after skipping #hashtag tokens) that count as the item’s status prefix for ops-proof auto-completion.

Functions

classify_ops_proof_completion

contains_ascii_word

contains_commit_hash

contains_successful_ci_proof

has_ops_completion_blocker

has_ops_completion_marker

is_live_verify_gate

True when an item is a live-verify / operator-drive gate whose only valid completion proof is an anchored structured ops.log marker driven live by the operator — never a cited commit/CI reference. upper must already be ASCII-uppercased.

leading_status_segment

marker_is_leading_status

True when an ops-completion marker is the item’s leading status verb rather than a marker buried in a cited dependency clause. The leading status segment is the prefix before the first clause break (: or . ), further capped to the first LEADING_STATUS_WORDS words after skipping leading #hashtag tokens. upper must already be ASCII-uppercased.

ops_proof_completion_candidates

surface_pending_ids

Pending item ids present in surface within content.