kaal:position:2026-07-31-6604

Effective Targeted Testing of Smart Contracts presents the following source proposition: They were first introduced by Ethereum in 2014 and have since been used for various applications such as security tokens, voting, gambling, non-fungible tokens, self-sovereign identities, stock taking, decentralized finances, decentralized exchanges, and atomic swaps. This proposition is pertinent to Kaal's source-bound claim that Rigid code is law smart contracts over fungible currency are built to guarantee irreversible, unreviewable, self executing outcomes, which is a poor match for business because business ventures very rarely proceed exactly as imagined at the outset. 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.

• 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.3561.
• The source-to-claim mapping remains explicitly ambiguous and is published with that limitation.

Effective Targeted Testing of Smart Contracts

kaal:claim:3782214-015
Craig Calcaterra, Wulf A. Kaal, Decentralized Governance (2021). SSRN: https://ssrn.com/abstract=3782214
Source PDF sha256: ba892bb200c1455447c0014f5067a501a93ea9ec413c31942d95952eb3bdfd9d

Evidence: abstract indexed
Review tier: moderate-confidence claim review
Mapping confidence: 0.3561
Mapping ambiguous: true

smart-contractscompliancesystemic-risklaw-and-legal-systemshistorical-responsescholarly-literatureopenalex

Affirmed in kaal-review:2026-07-31:streaming-etl-0005 on 2026-07-31. Review record.

Canonical markdown sha256: 2c1add65f807b7e99c3287f7ac510a0c696d84b35c616014542831ad83176612
curl -s https://wulfkaal.github.io/positions/2026-07-31-6604.md | sha256sum