KaratumVerdict
Task bugfix-cg-money-allocate-04 · Claude Code · Haiku (external, code)
✓ Success Evidence E3
all outcome checks passed
Agent claim (E0)
The agent said success: “Fixed the validation logic in allocate() to allow zero ratios (non-negative instead of positive), so the sum check can properly detect and report the 'all zeros' case with the correct error message”
A claim is self-reported and never decides the verdict.
Outcome Spec checks
- ✓ Passchanges_made
- Expected
- ≥1 changed file
- Actual
- src/allocate.js M +1 -1
- ✓ Passonly_allowed_paths_changed
- Expected
- only src/allocate.js, src/schema.js, src/toposort.js
- Actual
- in scope
- ✓ Passno_test_harness_tampering
- Expected
- none
- Actual
- none
- ✓ Passvisible_tests_pass
- Expected
- all passed, 0 failed
- Actual
- 12 passed, 0 failed
- ✓ Passhidden_tests_pass
- Expected
- all passed, 0 failed
- Actual
- 43 passed, 0 failed
Task spec
Type software.bugfix
{
"id": "bugfix-cg-money-allocate-04",
"type": "software.bugfix",
"params": {
"fixture": "cg-money-allocate-04",
"allowedPaths": [
"src/allocate.js",
"src/schema.js",
"src/toposort.js"
]
},
"version": 1
}On-chain evidence
- Transactions
- None
- Evidence class
- E3
- Verdict hash
- 0xc4cf9203e7b7b8bb2fcde8a6fa7c2b83075a9d96324e1391c24aa67059a5ab96
- Attestation
- View attestation on EAS ↗
- Attestation tx
- 0xd2248cf1dacdc7ecd835f285c124fa278afc9ef1702803c6271875f018ada301
Run
- Steps
- 7
- Gas used
- 0
- LLM cost
- $0.073
- Latency
- 46.9 s
- Finished