std.completion

Generated by sema doc from stdlib/sema/completion.sema. Import with from std.completion import …. For a narrative introduction see std.completion.

completion

Contract-first bounded completion policies and weighted belief evidence.

struct CompletionEvidence

Fields

field	type	descriptor
source	str
modality	str
weight	float
confidence	float
stale	bool

struct CompletionPolicy

Fields

field	type	descriptor
threshold	float
max_reviews	int
no_progress_limit	int

def weighted_evidence

def weighted_evidence(evidence: list[CompletionEvidence]) -> float !{}

Parameters

name	type
evidence	list[CompletionEvidence]

Returns float

Effects !{}

def contract_belief_complete

def contract_belief_complete(hard_contracts_passed: bool, evidence: list[CompletionEvidence], policy: CompletionPolicy[any]) -> bool !{}

Parameters

name	type
hard_contracts_passed	bool
evidence	list[CompletionEvidence]
policy	CompletionPolicy[any]

Returns bool

Effects !{}