{
 "@context": "https://schema.org",
 "@type": "Claim",
 "@id": "https://wulfkaal.github.io/claims/6607458-014",
 "identifier": "kaal:claim:6607458-014",
 "text": "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.",
 "author": {
  "@type": "Person",
  "name": "Wulf A. Kaal",
  "identifier": "https://orcid.org/0009-0008-7840-1847"
 },
 "citation": "Wulf A. Kaal, Computative Economics A Framework for Economic Analysis under Computational Abundance (2026). SSRN: https://ssrn.com/abstract=6607458",
 "isBasedOn": {
  "@type": "ScholarlyArticle",
  "name": "Computative Economics A Framework for Economic Analysis under Computational Abundance",
  "datePublished": "2026",
  "url": "https://ssrn.com/abstract=6607458",
  "sha256": "75cca35350378eb8904866d068b5d2f3e1504629e6031457ce6c12152a88e3e8",
  "encoding": "https://raw.githubusercontent.com/wulfkaal/Academic-Papers/main/papers/pdf/Kaal%20-%202026%20-%20Computative%20Economics%20A%20Framework%20for%20Economic%20Analysis%20under%20Computational%20Abundance.pdf"
 },
 "keywords": [
  "institutional-design"
 ],
 "about": [
  "welfare-theorems",
  "pareto-optimality",
  "path-dependence",
  "production-possibility-frontier"
 ],
 "abstract": "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.",
 "additionalProperty": [
  {
   "@type": "PropertyValue",
   "name": "claim_type",
   "value": "failure"
  },
  {
   "@type": "PropertyValue",
   "name": "confidence",
   "value": "argued"
  },
  {
   "@type": "PropertyValue",
   "name": "scope_conditions",
   "value": [
    "holds where the production possibility frontier is endogenous to generative activity"
   ]
  },
  {
   "@type": "PropertyValue",
   "name": "is_failure_mode",
   "value": true
  },
  {
   "@type": "PropertyValue",
   "name": "attestations",
   "value": "https://wulfkaal.github.io/colloquium/attestations/f3a71c9ab84624c7d2c32c594bdcc36843223260c4dd67c7dcbb75f7866e5d44.json"
  },
  {
   "@type": "PropertyValue",
   "name": "edges",
   "value": []
  }
 ],
 "isPartOf": {
  "@id": "https://wulfkaal.github.io/claims/index.json"
 },
 "dateModified": "2026-07-27",
 "version": "1.0",
 "sha256": "f3a71c9ab84624c7d2c32c594bdcc36843223260c4dd67c7dcbb75f7866e5d44",
 "canonicalForm": "https://wulfkaal.github.io/claims/6607458-014.md"
}