# Welfare theorems

`kaal:entity:welfare-theorems`

**Status.** derived

This node is assembled mechanically from the 2 claims that carry the concept tag `welfare-theorems`. It is a roster of what the corpus says under this term. It is **not** an adjudicated definition: no single statement here has been ruled canonical, and no first-appearance call has been made. Read the claims and judge for yourself.

## Every claim under this term

2 claims across 1 works, 2026 to 2026.

**2026**

- [6607458-014](https://wulfkaal.github.io/claims/6607458-014) [failure/argued] *(failure mode)* -- The First Welfare Theorem requires a fixed production possibility frontier, so when the frontier is endogenous to generative activity Pareto optimality becomes path-dependent and the theorem's existence proof fails in the computative domain.
  > The First Welfare Theorem requires a fixed production possibility frontier. When the frontier is endogenous to generative activity, Pareto optimality becomes path-dependent, and the theorem's existence proof fails.
  Wulf A. Kaal, Computative Economics A Framework for Economic Analysis under Computational Abundance (2026). SSRN: https://ssrn.com/abstract=6607458
- [6607458-040](https://wulfkaal.github.io/claims/6607458-040) [failure/argued] *(failure mode)* -- The standard welfare theorems lose their foundation in the computative domain, and while human welfare plausibly remains the evaluative criterion at the terminal level, the apparatus connecting intermediate agent-to-agent activity to terminal human welfare remains undeveloped.
  > The distinction between terminal and proximate consumption (Part II.D) suggests that human welfare remains the evaluative criterion at the terminal level, but the analytical apparatus for connecting intermediate agent-to-agent activity to terminal human welfare assessment remains to be developed.
  Wulf A. Kaal, Computative Economics A Framework for Economic Analysis under Computational Abundance (2026). SSRN: https://ssrn.com/abstract=6607458

## Verify

Every claim above resolves to a record carrying a verbatim source quote, the sha256 of the source PDF, and a preformatted citation. Nothing here asks to be taken on trust.

    curl -s https://wulfkaal.github.io/entities/welfare-theorems.md | sha256sum

**Canonical form.** This markdown file is the canonical hashed representation of this entity node. Its sha256 is the content hash.