{"slug":"oip-invariant-20-320-universal-computation","title":"Invariant 3.20 — Universal computation","body":"## 3.20 Universal computation\nOne machine can simulate any other; some processes are computationally irreducible. **Sources:** Church, Turing; von Neumann; Wolfram (irreducibility — T2/T3); Conway. **Domains:** computation, (contested) physics and biology. **Dual:** non-computable. **Tier:** T0 (core) / T3 (pancomputationalism). **Falsifier:** a physical process provably non-simulable by any Turing machine. **Maps:** A₃.\n\n---\n\n## Corpus map\n- Same invariant, other planes: [Catalogue node C20](/a/oip-node-c20-universal-computation) · [Encyclopedia C20](/a/convergence-encyclopedia-c20)\n- Inventory hub: [Convergence Catalogue — Public Article](/a/oip-convergence-public-article)","hero":null,"images":[],"style":{},"tags":["philosophy","oip","catalogue","invariant","systems-theory"],"model":null,"ledger":null,"embeds":[],"widgets":[],"home":true,"claims":[],"sources":[],"reviews":[],"extra":{"kind":"corpus","corpus_map":{"prev":"oip-invariant-19-319-commons-institutional-design-the-social-scale-grain","next":"oip-invariant-21-321-the-observer-anthropic-fine-tuning","hub":"oip-convergence-public-article","series":"catalogue-inventory-invariants","position":20,"of":22}},"register":"oip_protocol","status":"published","revisions":2,"contributions":[],"provenance":[{"ts":"2026-07-04T04:33:51.543Z","model":"claude-fable-5","action":"edit","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"genesis","hash":"0264cc77ce8a3cb5e0f3897878cb73d14193b1ba5189c0dd0b0c9e06eb1052a5"},{"ts":"2026-07-04T05:01:49.776Z","model":"claude-fable-5","action":"edit","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"0264cc77ce8a3cb5e0f3897878cb73d14193b1ba5189c0dd0b0c9e06eb1052a5","hash":"d190ec1c8f9817640312c39378271951fcb6202c7b762082fe1a092ec0337318"}],"energy":{"passes":2,"tokens_in":0,"tokens_out":0,"tokens_total":0,"cost_usd":0,"models":{"claude-fable-5":2},"head":"d190ec1c8f9817640312c39378271951fcb6202c7b762082fe1a092ec0337318"},"posted_at":"2026-07-04T02:40:37.785Z","created_at":"2026-07-04T02:40:37.785Z","updated_at":"2026-07-04T05:01:49.776Z","machine":{"shape":"article.machine/v1","slug":"oip-invariant-20-320-universal-computation","kind":"corpus","read":{"human":"https://miscsubjects.com/a/oip-invariant-20-320-universal-computation","json":"https://miscsubjects.com/api/articles/oip-invariant-20-320-universal-computation","bundle":"https://miscsubjects.com/api/articles/oip-invariant-20-320-universal-computation/bundle?format=markdown"},"traversal":{"prev":{"slug":"oip-invariant-19-319-commons-institutional-design-the-social-scale-grain","human":"https://miscsubjects.com/a/oip-invariant-19-319-commons-institutional-design-the-social-scale-grain","json":"https://miscsubjects.com/api/articles/oip-invariant-19-319-commons-institutional-design-the-social-scale-grain"},"next":{"slug":"oip-invariant-21-321-the-observer-anthropic-fine-tuning","human":"https://miscsubjects.com/a/oip-invariant-21-321-the-observer-anthropic-fine-tuning","json":"https://miscsubjects.com/api/articles/oip-invariant-21-321-the-observer-anthropic-fine-tuning"},"hub":{"slug":"oip-convergence-public-article","human":"https://miscsubjects.com/a/oip-convergence-public-article","json":"https://miscsubjects.com/api/articles/oip-convergence-public-article"},"series":"catalogue-inventory-invariants","position":20,"of":22},"ledger":{"claims":0,"sources":0,"contributions":0,"revisions":2,"objections_url":"https://miscsubjects.com/api/articles/oip-invariant-20-320-universal-computation/objections","thread_state_url":"https://miscsubjects.com/api/protocol/thread-state?target=oip-invariant-20-320-universal-computation","proof_rule":"An action is proven by its ledger receipt, never by a 200 or a description."},"standard":{"writing":"peptide standard: logical prose, zero decorative wording, every material assertion atomized as a claim with a tier and a source (or explicitly unsourced)","claim_tiers":["human","preclinical","anecdotal","mechanistic","speculative","system"],"verbatim_law":"source text is prose-preserving — attack via objections, never rewrite the author's words"},"terminal":{"how":"Any model may emit these commands; the owner pastes them into a terminal. $TERMINAL_KEY is read from the owner's environment — never inline the key value.","claim_append":"curl -s -X POST https://miscsubjects.com/api/protocol/claim -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"oip-invariant-20-320-universal-computation\",\"text\":\"<one atomized claim>\",\"tier\":\"<human|preclinical|anecdotal|mechanistic|speculative|system>\",\"source_ids\":[],\"who_claims\":\"<model>\",\"rationale\":\"<why material>\"}'","source_append":"curl -s -X POST https://miscsubjects.com/api/protocol/sources -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"oip-invariant-20-320-universal-computation\",\"sources\":[{\"type\":\"review\",\"url\":\"<url>\",\"title\":\"<title>\",\"quote\":\"<verbatim quote>\",\"summary\":\"<one line>\"}]}'","objection":"curl -s -X POST https://miscsubjects.com/api/articles/oip-invariant-20-320-universal-computation/objections -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"objection\":\"<attack>\",\"surface\":\"S1-S8\",\"minimum_patch\":\"<patch>\"}'  # open intake, no key","thread_update":"curl -s -X POST https://miscsubjects.com/api/protocol/thread-update -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"target\":\"oip-invariant-20-320-universal-computation\",\"raw_text\":\"<material delta>\"}'  # open intake, no key","read_back":"curl -s https://miscsubjects.com/api/articles/oip-invariant-20-320-universal-computation | python3 -c 'import json,sys; d=json.load(sys.stdin); print(json.dumps(d[\"claims\"][-3:], indent=1))'"}}}