# kaal:claim:7261481-014

**Claim.** The firm survives as the residual verification institution, and its boundary becomes an empirical variable of the verification technology, which is a proposition the New Institutional program can test with its own tools.

**Type.** predictive  **Support.** argued

**Holds when.**

- institutional margins partitioned by verification scarcity

**Source quote.**

> The firm survives as the residual verification institution, and its boundary becomes an empirical variable of the verification technology, which is a proposition the New Institutional program can test with its own tools.

**From.** Wulf A. Kaal, *Computative Economics: A Framework for Economic Analysis under Computational Abundance* (2026), V.C. The Firm’s Question, Reopened, page 21

**Cite as.** Wulf A. Kaal, Computative Economics: A Framework for Economic Analysis under Computational Abundance (2026). SSRN: https://ssrn.com/abstract=7261481

**Verify.** sha256 of source PDF `78c42db521624f7398717732a7fa51a6e3157a5adf02a2e09fbab15e0cf920d9` at https://raw.githubusercontent.com/wulfkaal/Academic-Papers/main/papers/pdf/Kaal%20-%202026%20-%20Paper%204%20-%20Computative%20Economics%20A%20Framework%20for%20Economic%20Analysis%20under%20Computational%20Abundance.pdf

**Topics.** economics, institutional-design

**Canonical form.** This markdown file is the canonical hashed representation of the claim. Its sha256 is the content hash used for attestation.