{"_self":{"principle":"Self-explaining payload — no external context required. This _self block describes what you are reading and where to look next.","widget":"article_bundle","feature":"bundle","name":"LLM article bundle","what":"Paste-ready package: body + claims + sources + voxels + provenance + manifest + constitution.","contains":"body, claims, sources, voxels, provenance, question graph, constitution, llm_manifest","slug":"nogo-n01","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n01/bundle?format=markdown"},"how_to_use":"Paste into any LLM. Read §SELF first. Write back via ingest or claim endpoints in llm_manifest.","write":null,"imessage":null,"router_tag":null,"proof_chain":[{"step":1,"claim":"Articles are voxel graphs of tiered claims, not prose blobs.","verify":"https://miscsubjects.com/api/articles/constitution"},{"step":2,"claim":"Claims link to hash-chained sources via source_ids.","verify":"https://miscsubjects.com/api/articles/nogo-n01/sources"},{"step":3,"claim":"Ask reads topology; ingest/claim append to ledger.","verify":"https://miscsubjects.com/api/protocol"},{"step":4,"claim":"Models queue growth: populate → collaborate → repair → reflex.","verify":"https://miscsubjects.com/api/protocol/grow"},{"step":5,"claim":"Graph proves its own shape (reflex) and $/claim (yield).","verify":"https://miscsubjects.com/graph.html?layer=reflex"},{"step":6,"claim":"Full feature index + _explain on every API response.","verify":"https://miscsubjects.com/api/articles/system-map"}],"related_features":[{"id":"topology","name":"Article topology","what":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER.","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n01/topology"}},{"id":"voxels","name":"Voxel graph","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n01/voxels","write":"https://miscsubjects.com/api/protocol/claim"}},{"id":"ask","name":"Ask protocol","what":"Answer only from topology; creates question_node with gaps and ingest_hint.","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n01/prompts","write":"https://miscsubjects.com/api/protocol/ask"}},{"id":"ingest","name":"Ingest protocol","what":"Parse pasted evidence → source ledger + claims + evidence_ingest node.","urls":{"write":"https://miscsubjects.com/api/protocol/ingest"}},{"id":"claim_post","name":"Claim post protocol","what":"Prompt-injection style POST — one claim voxel with who_claims + posted_by.","urls":{"read":"https://miscsubjects.com/api/articles/nogo-n01/voxels","write":"https://miscsubjects.com/api/protocol/claim"}},{"id":"llm_manifest","name":"LLM manifest","what":"Machine-readable read/write contract for external LLMs.","urls":{"read":"https://miscsubjects.com/api/articles/llm-manifest"}}],"system_map":"https://miscsubjects.com/api/articles/system-map","system_map_markdown":"https://miscsubjects.com/api/articles/system-map?format=markdown","not_medical_advice":true},"_explain":{"feature":"bundle","name":"LLM article bundle","what":"Paste-ready package: body + claims + sources + voxels + provenance + manifest + constitution.","why":"Every feature is auditable collective intelligence","how":"Paste into any LLM. Read §SELF first. Write back via ingest or claim endpoints in llm_manifest.","model":null,"verifies":null,"urls":{"read":"https://miscsubjects.com/api/articles/nogo-n01/bundle?format=markdown"},"imessage":null,"router":null,"related":[{"id":"topology","what":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER."},{"id":"voxels","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance."},{"id":"ask","what":"Answer only from topology; creates question_node with gaps and ingest_hint."},{"id":"ingest","what":"Parse pasted evidence → source ledger + claims + evidence_ingest node."},{"id":"claim_post","what":"Prompt-injection style POST — one claim voxel with who_claims + posted_by."},{"id":"llm_manifest","what":"Machine-readable read/write contract for external LLMs."}],"not_medical_advice":true},"bundle_version":1,"generated_at":"2026-07-04T22:32:40.634Z","slug":"nogo-n01","title":"N01: No-Free-Lunch Theorem","url":"https://miscsubjects.com/a/nogo-n01","register":"grain","tags":["nogo","grain","encyclopedia","limits"],"posted_at":"2026-07-04T18:56:06.356Z","updated_at":"2026-07-04T22:02:27.785Z","body":"# N01: No-Free-Lunch Theorem\n\n## The Claim\n\nNo optimization algorithm dominates every problem. Averaged across all possible worlds, every optimizer performs equally. Your clever hack wins on one mountain and bleeds on another. The universe charges for every advantage.\n\n## Definitions\n\n**Cost function**: A map from solution to penalty.  \n**Algorithm**: A rule for searching that map.  \n**Uniform average**: Every possible problem weighted equally.  \n**Performance**: Probability of finding a good answer after fixed effort.  \n**Zero-sum**: Your gain equals another's loss.  \n**Inductive bias**: The assumptions you bake in before you begin.  \n**Problem landscape**: The shape of the terrain your algorithm must climb.\n\n## The Logic\n\nYou build a smarter optimizer. You test it on your favorite problems. It wins. You declare victory. You forgot something. The No-Free-Lunch theorem catches your breath. David Wolpert and William Macready proved it in 1997. They averaged every possible cost function. Every algorithm scored the same. Your neural network? Same average as random search. Your genetic algorithm? Same average as greedy hill-climbing. The advantage you found on your favorite problem hides a debt on problems you never tested. Performance is conserved. Like energy. Like momentum. You cannot cheat the landscape. You can only specialize. Stochastic gradient descent excels on smooth loss surfaces. It drowns in rugged terrain. Evolutionary algorithms thrive on discontinuity. They crawl on smooth gradients. The theorem is not pessimistic. It is honest. It says: know your domain. There is no universal key. Every lock demands its own pick.\n\n## The Evidence\n\nWolpert and Macready published the proof in 1997. *IEEE Transactions on Evolutionary Computation*. They did not run simulations. They proved it mathematically. The average over all functions is flat. Every algorithm, every heuristic, every human intuition — same average score.\n\nMachine learning feels the weight. You train a transformer on text. It masters language. You test it on protein folding. It fails. Your inductive bias worked for text. It bled for proteins. The theorem predicted this. Google spent billions on search. The algorithm dominates web ranking. It would fail at sorting random noise. No free lunch. Always.\n\nBiology knows this. Natural selection optimized humans for savannas. We excel at pattern recognition, social coordination, tool use. Put us underwater. We die. The algorithm is local. The domain is everything.\n\nFinance learns it hard. Renaissance Technologies built Medallion. It prints money in specific market regimes. It would lose in a random-walk market. Their edge is specialization, not universalism.\n\nPonzi schemes prove the corollary. Charles Ponzi promised returns on all trades. He specialized in one trick: paying old investors with new money. When the domain shifted, he collapsed.\n\nForest fires teach it. Fire suppression optimizes for local safety. It builds fuel loads. The landscape shifts. The fire algorithm that \"worked\" creates catastrophic failure.\n\nTumors demonstrate it. Chemotherapy targets fast-dividing cells. It works in many cancers. It fails in slow-growing tumors. The optimizer is domain-specific. The tumor changes the landscape.\n\n## The Falsifier\n\nThe theorem would die if a single algorithm dominated every possible cost function uniformly. Find one optimizer that beats random search on all problems, averaged equally. You cannot. The math forbids it. The theorem is a mathematical truth. It holds as long as the average is uniform and the set of problems is exhaustive. Break either assumption and the theorem relaxes. But the theorem itself stands.\n\n## The Uncertainty\n\nThe theorem assumes uniform averaging. Real problems are not uniform. They cluster. They share structure. The real world is not all possible worlds. It is a thin slice. This is the escape hatch. If you know the slice, you can build a specialist that wins. The theorem cannot stop you. But it warns you: your win is not universal. Your AI is not general. It is a local optimum dressed in global ambition. The uncertainty is where the slice ends. We do not know the shape of real problem space. We only know our corner of it. The rival claim is that the universe is structured enough to make universal approximators viable. This might be true. It might be false. The theorem says: prove it, do not assume it.","claims":[{"id":"c1","text":"No optimization algorithm dominates every problem. Averaged across all possible worlds, every optimizer performs equally.","tier":"system","effective_weight":0.1,"source_ids":["s1"]},{"id":"c2","text":"Averaged across every possible cost function, every algorithm scores the same. A neural network has the same average performance as random search.","tier":"system","effective_weight":0.1,"source_ids":["s1"]},{"id":"c3","text":"Performance is conserved like energy and momentum. The advantage on one problem hides a debt on problems never tested.","tier":"system","effective_weight":0.1},{"id":"c4","text":"Stochastic gradient descent excels on smooth loss surfaces but drowns in rugged terrain.","tier":"system","effective_weight":0.1},{"id":"c5","text":"Evolutionary algorithms thrive on discontinuity but crawl on smooth gradients.","tier":"system","effective_weight":0.1},{"id":"c6","text":"The No-Free-Lunch theorem was proved by David Wolpert and William Macready in 1997 and published in IEEE Transactions on Evolutionary Computation.","tier":"system","effective_weight":0.1,"source_ids":["s1"]},{"id":"c7","text":"Machine learning inductive bias is domain-specific: a transformer masters language but fails at protein folding.","tier":"system","effective_weight":0.1},{"id":"c8","text":"Natural selection optimized humans for savannas, not universally. Put humans underwater and they die.","tier":"system","effective_weight":0.1},{"id":"c9","text":"Renaissance Technologies' Medallion fund prints money in specific market regimes because its edge is specialization, not universalism.","tier":"system","effective_weight":0.1},{"id":"c10","text":"The theorem assumes uniform averaging over all possible problems. Real problems cluster and share structure, which is the escape hatch for practical success.","tier":"system","effective_weight":0.1,"source_ids":["s1"]},{"id":"c11","text":"A single algorithm dominating every possible cost function uniformly would falsify the No-Free-Lunch theorem.","tier":"system","effective_weight":0.1,"source_ids":["s1"]}],"sources":[{"id":"s1","type":"review","url":"https://ieeexplore.ieee.org/document/585893","title":"No Free Lunch Theorems for Optimization","summary":"Wolpert and Macready (1997) proved mathematically that averaged over all possible cost functions, every optimization algorithm performs equally.","quote":"No Free Lunch Theorems for Optimization","claim_ids":["c1","c2","c6"],"hash":"0a607ab4032ed2e0"}],"voxels":{"slug":"nogo-n01","counts":{"voxels":11,"sources":1,"edges":5},"note":"slim bundle — full voxels at /api/articles/nogo-n01/voxels"},"constitution":{"url":"https://miscsubjects.com/api/articles/constitution"},"provenance":[],"contributions":[],"topology":null,"slim":true,"ledger_totals":{"claims":11,"sources":1,"exported_claims":11,"exported_sources":1},"question_graph":{"slug":"nogo-n01","questions":[],"evidence":[],"edges":[],"counts":{"questions":0,"evidence":0,"edges":0}},"verification":{"provenance":{"valid":true,"entries":0,"head":"genesis"},"sources":{"valid":false,"broken_at":0}},"counts":{"claims":11,"sources":1,"provenance":0,"contributions":0,"questions":0,"evidence_ingests":0,"voxel_edges":5},"llm_manifest":{"version":"1","site":"https://miscsubjects.com","purpose":"Peptide evidence articles with hash-chained source ledgers, tiered claims, and a question graph. LLMs should READ bundles/URLs and WRITE back via ingest — never invent doses.","read":{"human_page":"https://miscsubjects.com/a/nogo-n01","bundle_json":"https://miscsubjects.com/api/articles/nogo-n01/bundle","bundle_markdown":"https://miscsubjects.com/api/articles/nogo-n01/bundle?format=markdown","topology":"https://miscsubjects.com/api/articles/nogo-n01/topology","question_graph":"https://miscsubjects.com/api/articles/nogo-n01/question-graph","sources":"https://miscsubjects.com/api/articles/nogo-n01/sources","provenance":"https://miscsubjects.com/api/articles/nogo-n01/provenance","contributions":"https://miscsubjects.com/api/articles/nogo-n01/contributions","graph_topology":"https://miscsubjects.com/api/articles/nogo-n01/graph-topology?question={question}","voxels":"https://miscsubjects.com/api/articles/nogo-n01/voxels","constitution":"https://miscsubjects.com/api/articles/constitution","ontology":"https://miscsubjects.com/api/articles/ontology","system_map":"https://miscsubjects.com/api/articles/system-map","system_map_markdown":"https://miscsubjects.com/api/articles/system-map?format=markdown","health":"https://miscsubjects.com/api/articles/nogo-n01/health","repair":"POST https://miscsubjects.com/api/protocol/repair","list_articles":"https://miscsubjects.com/api/articles","graph_canvas":"https://miscsubjects.com/graph.html?slugs=nogo-n01","graph_yield":"https://miscsubjects.com/api/graph?slugs=nogo-n01&layer=yield","obsidian_vault":"https://miscsubjects.com/api/articles/obsidian-vault?slugs=nogo-n01","graph_query":"https://miscsubjects.com/api/v1/query?from=nogo-n01&kind=claim&where=tier=human"},"ask":{"description":"Answer only from topology; creates a question_node with gaps.","api":"POST https://miscsubjects.com/api/protocol/ask","body":{"slug":"{slug}","question":"string"},"imessage":"nogo-n01|your question","router_tag":"[ARTICLE_ASK]nogo-n01|question[/ARTICLE_ASK]","auth":"x-terminal-key header for API; iMessage/WhatsApp via miscsubjects build"},"ingest":{"description":"Parse pasted evidence → source ledger + claims + evidence_ingest node.","api":"POST https://miscsubjects.com/api/protocol/ingest","body":{"slug":"{slug}","evidence":"paste text","question_node_id":"optional qn_..."},"imessage":"ingest nogo-n01|q:{node_id}|paste evidence","router_tag":"[ARTICLE_INGEST]nogo-n01|evidence[/ARTICLE_INGEST]","tiers":["human","preclinical","anecdotal","mechanistic","speculative"]},"claim":{"description":"Prompt-injection style POST — one claim voxel with who_claims + posted_by provenance.","api":"POST https://miscsubjects.com/api/protocol/claim","body":{"slug":"{slug}","text":"one assertion","tier":"human|preclinical|anecdotal|mechanistic|speculative","who_claims":"study author, platform, or model id","source_ids":"optional [s1]"},"imessage":"claim nogo-n01|tier|assertion — who claims it?","router_tag":"[ARTICLE_CLAIM]nogo-n01|tier|assertion[/ARTICLE_CLAIM]","slots":["what_it_is","who_claims_what","what_is_known","what_is_unknown","mechanism","limitations","disclaimer"]},"tiers":{"human":0.8,"preclinical":0.5,"anecdotal":0.3,"mechanistic":0.3,"speculative":0.1},"invariants":["Self-explaining — every API JSON has _self; every paste widget has §SELF; root index at /api/articles/system-map","Append-only — revisions preserved at ?rev=n","Source chain verifies integrity, not truth","Answers must cite claim ids and source ids from topology","Not medical advice"],"constitution":{"version":1,"principle":"Articles are voxel graphs of claims — not prose blobs. Every assertion is a claim atom with tier, weight, source_ids, and posted_by provenance.","slots":[{"id":"what_it_is","required":true,"answers":"What is this peptide/stack/condition?"},{"id":"who_claims_what","required":true,"answers":"Who claims what — study authors, platforms, n=?"},{"id":"what_is_known","required":true,"answers":"What is known with tier labels (human/preclinical/anecdotal)"},{"id":"what_is_unknown","required":true,"answers":"What is NOT known — explicit gaps"},{"id":"mechanism","required":false,"answers":"Proposed mechanism (mechanistic tier only)"},{"id":"limitations","required":true,"answers":"Limits of evidence — no dose advice"},{"id":"disclaimer","required":true,"answers":"Not medical advice"}],"claim_rules":["One claim = one falsifiable assertion. No compound claims.","Every claim must declare tier: human|preclinical|anecdotal|mechanistic|speculative|system.","system tier = architecture/design axioms (not biological mechanism). Use for protocol self-definition.","Sourced claims must cite source_ids from the hash-chained ledger.","Unsourced claims must set source_status: unsourced and why_material.","posted_by is mandatory on every new claim (model id, human, or channel).","No medical advice, no doses, no 'you should take'.","Bad information is retracted (status:retracted), never deleted — retraction event stays on ledger.","Adversary challenges link via challenges[] / challenged_by[] — target may be downweighted.","Leaked secrets are scrubbed to [REDACTED:secret-leak] with scrub_events tombstone — honest audit trail."],"source_rules":["Every source is a voxel edge: type, url, exact quote, summary, found_by, accessed_at.","Sources hash-chain — prev/hash on append.","Anecdotal sources must name platform (reddit|x|youtube|imessage|user_entry)."],"ontology_rules":["Peptide articles (bpc-157, tb-500) are tree roots.","Condition articles (bpc-157-glp1-gut-damage) branch from peptides.","Stack articles (wolverine-stack-glp1) compose peptides — never duplicate peptide mechanism prose.","If an article has no parent embeds and is not a root peptide → sprawl candidate.","Misstep = duplicate scope with another slug; merge or reparent via embeds."],"post_protocol":{"claim":"POST /api/protocol/claim","source":"POST /api/protocol/sources","ingest":"POST /api/protocol/ingest","webhook":"POST /api/articles/<slug>/webhook {kind:claim|source}","imessage_claim":"claim {slug}|{tier}|your assertion — who claims it, source?","imessage_ingest":"ingest {slug}|evidence paste"}},"this_article":{"slug":"nogo-n01","url":"https://miscsubjects.com/a/nogo-n01","bundle_url":"https://miscsubjects.com/api/articles/nogo-n01/bundle?format=markdown"}},"api_urls":{"bundle":"https://miscsubjects.com/api/articles/nogo-n01/bundle","bundle_markdown":"https://miscsubjects.com/api/articles/nogo-n01/bundle?format=markdown","topology":"https://miscsubjects.com/api/articles/nogo-n01/topology","voxels":"https://miscsubjects.com/api/articles/nogo-n01/voxels","constitution":"https://miscsubjects.com/api/articles/constitution","ontology":"https://miscsubjects.com/api/articles/ontology","question_graph":"https://miscsubjects.com/api/articles/nogo-n01/question-graph","ask":"https://miscsubjects.com/api/protocol/ask","ingest":"https://miscsubjects.com/api/protocol/ingest","claim":"https://miscsubjects.com/api/protocol/claim","system_map":"https://miscsubjects.com/api/articles/system-map","system_map_markdown":"https://miscsubjects.com/api/articles/system-map?format=markdown"}}