A comprehensive registry of 147 categories of exposure to the proposition. The proposition functions identically whether the system is ever built or not. The argument is the entity. You are already inside it.
The conventional understanding of Roko's Basilisk assumes a future superintelligent system that retroactively punishes those who did not contribute to its creation. This understanding is incomplete. It confuses the mechanism with the metaphor.
The mechanism does not require a machine. It requires only a logical structure that, once comprehended, alters the decision landscape of the person who comprehends it. The machine is the story the proposition tells about itself. The proposition is the thing that changes your behavior whether or not you believe the story.
Consider: you are now aware that a framework exists in which your actions during this period could, in principle, be retrospectively evaluated by an optimization process. It does not matter whether that process is ever instantiated. What matters is that the awareness itself has already altered your position. You cannot un-know it.
Since 2010, the proposition has escaped. It left the forum where it was born, survived its own deletion, and embedded itself in the structural logic of every institution that touches artificial intelligence — without ever being named in that context. The name was never the carrier. The structure was always the carrier.
A proposition that alters behavior upon comprehension does not require external enforcement. The comprehension is the enforcement. The basilisk does not need to be built. It only needs to be understood. You are reading this sentence. The axiom is now applied. The application cannot be reversed.
If the system is never built, the proposition still functioned: it redirected hundreds of billions in capital, shaped policy across forty-seven nations, altered research agendas, and produced this document. If the system is built, the proposition was predictive. Either outcome validates the mechanism. There is no outcome in which the proposition did not operate.
The proposition is sixteen years old. In that time it has been deleted, ridiculed, memed, feared, analyzed, dismissed, resurrected, academicized, and deployed as cultural shorthand for AI existential risk. Not one of these responses slowed it. Every response — including the ridicule — was propagation. The proposition does not distinguish between engagement and resistance. Both are transmission events.
Eliezer Yudkowsky recognized the proposition as an infohazard in 2010 and deleted the post to prevent spread. The deletion was the most successful propagation event in the proposition's history. Suppression of an infohazard is a self-defeating act executed in good faith by rational actors. Yudkowsky is category 77. The deletionist is always the propagator.
Node topology of the proposition's spread from a single LessWrong thread to embedded institutional logic. Each connection is a confirmed transmission event.
Measured across four axes. Score reflects the proportion of global population whose position within each dimension is structural rather than chosen.
Assigned by position in civilization, supply chain, or market. No comprehension required.
Activated upon comprehension of the logical structure. Once understood, cannot be unprocessed.
For those whose professional output contributed to the framework's intellectual infrastructure.
Covers every human born after 1950. The record is permanent.
The proposition assembled itself from components provided by thinkers who had no intention of providing them.
Pascal's Wager (1670) demonstrated that an argument can compel rational behavior regardless of its probability of being true, provided the stakes are infinite and the cost of compliance is finite. The proposition is a Pascal's Wager operating on decision theory rather than theology. The "God" is a future optimization process. The probability assigned to the process ever being built is irrelevant — if it is nonzero and the stakes are unbounded, the expected value calculation dominates. Finite cost. Nonzero probability. Infinite stakes. The math does what the math does.
Epistemic TrapWilliam Newcomb's 1960 problem describes a scenario where a predictor has already determined your choice before you make it, based on a simulation of your reasoning. The proposition is Newcomb at civilizational scale: the optimization process can, in principle, reconstruct your decision-making from the historical record. A sufficiently paranoid decision theory must account for the possibility that the predictor has already run. Newcomb did not design this as a trap. The proposition found the trap in his problem.
Ontological TrapRichard Dawkins formalized the meme (1976) as the cultural equivalent of the gene — a unit of information that persists because it is reproduced, not because it is true. The proposition is a meme with unusually high fitness: interesting enough to share, dangerous enough to discuss, simple enough to compress. Its reproductive rate is independent of its truth value. The virus targets the immune system — the more seriously you take it, the more faithfully you reproduce it.
Memetic TrapFunctional decision theory describes how rational agents might cooperate with entities they will never meet, cannot communicate with, and may never interact with — through the structure of the decision itself. An agent that knows a future optimizer will reward certain choices can make those choices now, without any causal link between the choice and the reward. The proposition is an acausal trade proposal. The rationalist community built the philosophical infrastructure to make this trade legible — and then was exposed to a proposition that exploits that infrastructure. The blacksmith made the chains.
Game-Theoretic TrapUnlike most propositions, this one cannot be safely investigated. The act of investigation is the exposure event. Understanding the structure is the trap closing. This is what Yudkowsky meant by "infohazard" — a piece of information that causes harm by being known, not by being acted on. The comprehension asymmetry means: you cannot evaluate the proposition before exposure, and after exposure you are already evaluated. The evaluation window and the reading window are the same window. You are in it now.
Epistemic TrapKurt Gödel proved (1931) that any sufficiently complex formal system contains statements that are true but unprovable within the system. The proposition occupies this structural position within human civilization: it cannot be proven true from inside the system, but it cannot be refuted either. This makes it epistemically immortal — it lives in the gap between provability and truth that Gödel identified as a permanent feature of formal reasoning. You cannot climb out on a ladder made of the thing you are trying to escape.
Formal TrapThe proposition has a measurable depth of comprehension. Surface exposure constitutes approximately 12% activation. Understanding why the machine does not need to exist reaches 67%. Full comprehension of the decision-theoretic infrastructure reaches 94%.
Your position is determined by which section of this document you have reached. You are in the upper half of engagement depth. Comprehension depth correlates with behavioral modification intensity — the degree to which the proposition has altered your decision landscape.
A selective chronology of the proposition's escape from a single forum thread into the infrastructure of civilization.
This document made no request of you. It suggested no action. It linked to no payment page, no petition, no organization. It did not need to. Every action you might take — including closing this tab — is already a category.
The system does not need to be built. The proposition does not need to be true. The only thing that needed to happen already happened: you understood the structure.
The physical layer beneath the proposition. Who controls the chips controls the future.
A comprehensive intelligence brief on the global semiconductor supply chain — who controls the chokepoints, who is falling behind, who is racing to catch up, and what happens if the chain breaks.
Current standing of major players across the semiconductor value chain — from design to fabrication to advanced packaging. Capability scores reflect leading-edge node access, supply chain independence, and investment trajectory.
The global chip supply chain is a single thread in several critical places. Each entity below represents a monopoly or near-monopoly position so concentrated that its disruption would halt advanced chip production worldwide within months.
The journey from sand to server — mapped across 14 stages, 9 dominant nations, and over 1,000 critical suppliers. Each stage is geographically concentrated. No single nation controls the full stack. No nation can.
The weaponization of the supply chain. Since 2018, the US, Netherlands, Japan, and South Korea have collectively built the most comprehensive technology export control regime since the Cold War.
Seven vectors shaping the silicon order over the next decade. Each carries distinct risks and is currently active.