Documentation
¶
Overview ¶
Package verification evaluates only explicit, bounded deterministic rules.
Index ¶
- func ApplyTaskResults(p planning.Plan, r *planning.Report)
- func ApprovedRetirements(p *planning.Plan) []contracts.Retirement
- func VerifyCandidateWithEvidence(ctx context.Context, p planning.Plan, s model.Snapshot, root string, ...) planning.Report
- func VerifyContracts(ctx context.Context, root string, p planning.Plan, s model.Snapshot) []planning.Check
- func VerifyWithEvidence(ctx context.Context, p planning.Plan, s model.Snapshot, root string, ...) planning.Report
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func ApplyTaskResults ¶
ApplyTaskResults derives task completion from acceptance evidence and DAG prerequisites. Owning code or finishing an agent session is not completion.
func ApprovedRetirements ¶
func ApprovedRetirements(p *planning.Plan) []contracts.Retirement
ApprovedRetirements converts the removal deltas of a digest-bound approved plan into contract retirements, so a reviewed removal is not reported as a silently dropped obligation. Unapproved plans retire nothing.
func VerifyCandidateWithEvidence ¶
func VerifyCandidateWithEvidence(ctx context.Context, p planning.Plan, s model.Snapshot, root string, c evidence.CandidateCheckpoint, records []evidence.Record, sourceUnchanged bool) planning.Report
VerifyCandidateWithEvidence excludes all ordinary branch evidence. It runs while the private candidate object database still exists, before destruction.
func VerifyContracts ¶
func VerifyContracts(ctx context.Context, root string, p planning.Plan, s model.Snapshot) []planning.Check
VerifyContracts compares explicitly bound contract objects, including additive changes. It does not infer runtime producer/consumer relationships.
func VerifyWithEvidence ¶
func VerifyWithEvidence(ctx context.Context, p planning.Plan, s model.Snapshot, root string, records []evidence.Record) planning.Report
VerifyWithEvidence reads the implementation revision, while approval remains bound to the design's baseline, and binds observed test results to the analyzed commit and design. WORKTREE results are always informational.
Types ¶
This section is empty.
Source Files