SpecGuard · Merge decisions with proof

SSpecGuard

Validated Bob runs

Evaluation signal 3 / 3

Correct decisions with SpecGuard

Baseline1 / 3

MERGE DECISION /

Locally verified evidence

CURRENT DISPOSITION

REQUIREMENT LEDGER

Every claim has a burden of proof.

EVIDENCE HEALTH

Trust boundary

Bob proposes claims. SpecGuard validates structure, references, and captured executions before presenting a decision.

HUMAN DECISION REQUIRED

Code can prove what happens. Only the product owner can decide what should happen.

BOB RECOMMENDATION

SpecGuard prototype · IBM Bob 2.0 HackathonModel claims remain bounded by cited evidence.