# kaal:position:2026-07-31-6605

**Affirmed position.** Effective Targeted Testing of Smart Contracts presents the following source proposition: Since smart contracts are immutable, their bugs cannot be fixed, which may lead to significant monetary losses. This proposition is pertinent to Kaal's source-bound claim that Losses from smart contract vulnerabilities are large and growing, with 2021 losses alone estimated at 680 million dollars and cumulative global losses estimated at over 6 billion dollars. The proposed response is an extension: the relationship should remain limited to the retrieved source proposition and the mapped Kaal claim unless fuller source review supports a broader conclusion.

**Status.** affirmed  **Published.** 2026-07-31

**Holds when.**

- The response is limited to the retrieved source proposition and mapped Kaal claim unless fuller source review supports a broader conclusion.
- External evidence level: abstract indexed.
- Mapping review tier: moderate-confidence claim review.
- Primary mapping confidence: 0.4567.
- The source-to-claim mapping remains explicitly ambiguous and is published with that limitation.

**Current debate.** Effective Targeted Testing of Smart Contracts: http://arxiv.org/abs/2407.04250

**Extends.** kaal:claim:4734750-003: https://wulfkaal.github.io/claims/4734750-003

**Scholarly basis.** Wulf A. Kaal, Code Review DAO (2024). SSRN: https://ssrn.com/abstract=4734750

**Source PDF sha256.** `60eadf91c0913468505afc664c8d8d1e1673d6c5326d031ca7060addb8ab2eda`

**Evidence level.** abstract indexed

**Mapping review tier.** moderate-confidence claim review

**Mapping confidence.** 0.4567  **Mapping ambiguous.** true

**Topics.** smart-contracts, consensus-and-security, empirical-evidence, historical-response, scholarly-literature, openalex

**Provenance.** Affirmed in kaal-review:2026-07-31:streaming-etl-0005 at https://kaal-signal-desk.wulf577462.chatgpt.site/#review.

**Record type.** This is a dated commentary position that extends a scholarly corpus claim. It is not a verbatim claim extracted from the paper.

**Canonical form.** This markdown file is the canonical hashed representation of the position.