{"slug":"oip-invariant-15-315-optimization-under-constraint-pareto-fronts","title":"Invariant 3.15 — Optimization under constraint / Pareto fronts","body":"## 3.15 Optimization under constraint / Pareto fronts\nSystems settle where no objective improves without another worsening. **Sources:** Pareto; linear programming; evolutionary trade-off theory; thermodynamic bounds. **Domains:** economics, biology, engineering, AI. **Dual:** unconstrained/infeasible. **Tier:** T0/T1. **Falsifier:** a stable system dominated on all objectives by a reachable alternative. **Maps:** A₂, A₃ (the triple optimum is a Pareto point).\n\n---\n\n## Corpus map\n- Same invariant, other planes: [Catalogue node C15](/a/oip-node-c15-optimization-under-constraint-pareto-fronts) · [Encyclopedia C15](/a/convergence-encyclopedia-c15)\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-14-314-duality-complementarity-dialectic","next":"oip-invariant-16-316-networks-small-world-scale-free","hub":"oip-convergence-public-article","series":"catalogue-inventory-invariants","position":15,"of":22}},"register":"oip_protocol","status":"published","revisions":2,"contributions":[],"provenance":[{"ts":"2026-07-04T04:33:48.128Z","model":"claude-fable-5","action":"edit","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"genesis","hash":"72a736a876c87f25265609e8c7b07a0d4ca7d70b5466f8ce213aede602d3b94f"},{"ts":"2026-07-04T05:01:46.441Z","model":"claude-fable-5","action":"edit","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"72a736a876c87f25265609e8c7b07a0d4ca7d70b5466f8ce213aede602d3b94f","hash":"69a202c88434c9cada68ad2b17804edeadc5ab0bdd8325d01ba8d510e910d157"}],"energy":{"passes":2,"tokens_in":0,"tokens_out":0,"tokens_total":0,"cost_usd":0,"models":{"claude-fable-5":2},"head":"69a202c88434c9cada68ad2b17804edeadc5ab0bdd8325d01ba8d510e910d157"},"posted_at":"2026-07-04T02:40:33.849Z","created_at":"2026-07-04T02:40:33.849Z","updated_at":"2026-07-04T05:01:46.441Z","machine":{"shape":"article.machine/v1","slug":"oip-invariant-15-315-optimization-under-constraint-pareto-fronts","kind":"corpus","read":{"human":"https://miscsubjects.com/a/oip-invariant-15-315-optimization-under-constraint-pareto-fronts","json":"https://miscsubjects.com/api/articles/oip-invariant-15-315-optimization-under-constraint-pareto-fronts","bundle":"https://miscsubjects.com/api/articles/oip-invariant-15-315-optimization-under-constraint-pareto-fronts/bundle?format=markdown"},"traversal":{"prev":{"slug":"oip-invariant-14-314-duality-complementarity-dialectic","human":"https://miscsubjects.com/a/oip-invariant-14-314-duality-complementarity-dialectic","json":"https://miscsubjects.com/api/articles/oip-invariant-14-314-duality-complementarity-dialectic"},"next":{"slug":"oip-invariant-16-316-networks-small-world-scale-free","human":"https://miscsubjects.com/a/oip-invariant-16-316-networks-small-world-scale-free","json":"https://miscsubjects.com/api/articles/oip-invariant-16-316-networks-small-world-scale-free"},"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":15,"of":22},"ledger":{"claims":0,"sources":0,"contributions":0,"revisions":2,"objections_url":"https://miscsubjects.com/api/articles/oip-invariant-15-315-optimization-under-constraint-pareto-fronts/objections","thread_state_url":"https://miscsubjects.com/api/protocol/thread-state?target=oip-invariant-15-315-optimization-under-constraint-pareto-fronts","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-15-315-optimization-under-constraint-pareto-fronts\",\"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-15-315-optimization-under-constraint-pareto-fronts\",\"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-15-315-optimization-under-constraint-pareto-fronts/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-15-315-optimization-under-constraint-pareto-fronts\",\"raw_text\":\"<material delta>\"}'  # open intake, no key","read_back":"curl -s https://miscsubjects.com/api/articles/oip-invariant-15-315-optimization-under-constraint-pareto-fronts | python3 -c 'import json,sys; d=json.load(sys.stdin); print(json.dumps(d[\"claims\"][-3:], indent=1))'"}}}