# OIP — Token Drop Guides slug: oip-token-drop-guides · https://miscsubjects.com/a/oip-token-drop-guides · tags: oip, shelf, token-drops, hierarchy, self-explaining, kimi-import · updated 2026-07-17T02:36:32.351Z > **Path:** [OIP](https://miscsubjects.com/a/oip) › [Thinker Reference](https://miscsubjects.com/a/oip-thinker-reference) › **Token Drop Guides** > > **Shelf size:** 4 self-explaining articles # Token Drop Guides ## §SELF — oip-token-drop-guides **What this page is:** the shelf index for Token Drop Guides in the OIP Thinker Reference tree. **What it explains:** every article on this shelf, linked for traversal. **Why read it:** enter one conceptual neighborhood without scanning the full hub. ## Articles on this shelf - [How a Model Should Read an OIP Token Drop](https://miscsubjects.com/a/model-reads-token-drop) - [How to Write a Token Drop That Models Accept](https://miscsubjects.com/a/token-drop-best-practices) - [What Is Tap and Go Delegation](https://miscsubjects.com/a/what-is-tap-go) - [What Is a Token Drop](https://miscsubjects.com/a/what-is-token-drop) ## Up the tree - [Thinker Reference hub](https://miscsubjects.com/a/oip-thinker-reference) - [OIP root](https://miscsubjects.com/a/oip) ## Sibling shelves - [Thinkers](https://miscsubjects.com/a/oip-thinkers) - [Protocol Concepts](https://miscsubjects.com/a/oip-protocol-concepts) - [OIP Lineages](https://miscsubjects.com/a/oip-from-lineages) - [Token Drop Guides](https://miscsubjects.com/a/oip-token-drop-guides) --- # OIP — Thinkers slug: oip-thinkers · https://miscsubjects.com/a/oip-thinkers · tags: oip, shelf, thinkers, hierarchy, self-explaining, kimi-import · updated 2026-07-17T02:36:32.152Z > **Path:** [OIP](https://miscsubjects.com/a/oip) › [Thinker Reference](https://miscsubjects.com/a/oip-thinker-reference) › **Thinkers** > > **Shelf size:** 33 self-explaining articles # Thinkers ## §SELF — oip-thinkers **What this page is:** the shelf index for Thinkers in the OIP Thinker Reference tree. **What it explains:** every article on this shelf, linked for traversal. **Why read it:** enter one conceptual neighborhood without scanning the full hub. ## Articles on this shelf - [Alan Kay — The Big Idea Is Messaging](https://miscsubjects.com/a/thinker-alan-kay) - [Alfred North Whitehead — Process and Reality](https://miscsubjects.com/a/thinker-alfred-north-whitehead) - [J.L. Austin and John Searle — Speech Acts](https://miscsubjects.com/a/thinker-austin-searle) - [Barbara Liskov — Abstract Data Types and Distributed Consensus](https://miscsubjects.com/a/thinker-barbara-liskov) - [Bram Cohen — BitTorrent and Content-Addressed Protocol Design](https://miscsubjects.com/a/thinker-bram-cohen) - [Butler Lampson — Protection and Access Control](https://miscsubjects.com/a/thinker-butler-lampson) - [Carl Hewitt — The Actor Model](https://miscsubjects.com/a/thinker-carl-hewitt) - [Charles Sanders Peirce — Signs, Abduction, and Pragmatism](https://miscsubjects.com/a/thinker-charles-peirce) - [Doug Engelbart — Augmenting Human Intellect](https://miscsubjects.com/a/thinker-doug-engelbart) - [Eric Brewer — The CAP Theorem](https://miscsubjects.com/a/thinker-eric-brewer) - [Gilbert Simondon — Technical Objects and Individuation](https://miscsubjects.com/a/thinker-gilbert-simondon) - [Gilles Deleuze — The Rhizome and Multiplicity](https://miscsubjects.com/a/thinker-gilles-deleuze) - [Gottfried Wilhelm Leibniz — The Universal Characteristic](https://miscsubjects.com/a/thinker-gottfried-leibniz) - [Gregory Bateson — Information as Difference](https://miscsubjects.com/a/thinker-gregory-bateson) - [Heinz von Foerster — Second-Order Cybernetics](https://miscsubjects.com/a/thinker-heinz-von-foerster) - [Jack Dennis — The Forgotten Origin of Capabilities](https://miscsubjects.com/a/thinker-jack-dennis) - [James Gibson — Affordances and the Theory of Perception](https://miscsubjects.com/a/thinker-james-gibson) - [Juan Benet — IPFS and Content-Addressed Storage](https://miscsubjects.com/a/thinker-juan-benet) - [Leslie Lamport — Time, Clocks, and the Ordering of Events](https://miscsubjects.com/a/thinker-leslie-lamport) - [Marc Stiegler — Petnames and Introduction Patterns](https://miscsubjects.com/a/thinker-marc-stiegler) - [Mark Miller — Capability Security and the E Language](https://miscsubjects.com/a/thinker-mark-miller) - [Markus Lanthaler — Hydra and Machine-Readable Web Operations](https://miscsubjects.com/a/thinker-markus-lanthaler) - [Niklas Luhmann — Social Systems and Communication](https://miscsubjects.com/a/thinker-niklas-luhmann) - [Norman Hardy — KeyKOS and the Persistent Capability Operating System](https://miscsubjects.com/a/thinker-norman-hardy) - [Pat Helland — Life Beyond Distributed Transactions](https://miscsubjects.com/a/thinker-pat-helland) - [Ramon Llull — The First Machine for Reasoning](https://miscsubjects.com/a/thinker-ramon-llull) - [Robin Milner — Types, Processes, and the Pi Calculus](https://miscsubjects.com/a/thinker-robin-milner) - [Roy Fielding — The Man Who Named How the Web Works](https://miscsubjects.com/a/thinker-roy-fielding) - [Jerome Saltzer and Michael Schroeder — The Protection of Information in Computer Systems](https://miscsubjects.com/a/thinker-saltzer-schroeder) - [Satoshi Nakamoto — Bitcoin and the Append-Only Ledger](https://miscsubjects.com/a/thinker-satoshi-nakamoto) - [Ted Nelson — Xanadu and the Dream of Connected Documents](https://miscsubjects.com/a/thinker-ted-nelson) - [Tim Berners-Lee — The Universal Link and the Semantic Web](https://miscsubjects.com/a/thinker-tim-berners-lee) - [Vannevar Bush — The Memex and the Trail of Thought](https://miscsubjects.com/a/thinker-vannevar-bush) ## Up the tree - [Thinker Reference hub](https://miscsubjects.com/a/oip-thinker-reference) - [OIP root](https://miscsubjects.com/a/oip) ## Sibling shelves - [Thinkers](https://miscsubjects.com/a/oip-thinkers) - [Protocol Concepts](https://miscsubjects.com/a/oip-protocol-concepts) - [OIP Lineages](https://miscsubjects.com/a/oip-from-lineages) - [Token Drop Guides](https://miscsubjects.com/a/oip-token-drop-guides) --- # OIP Thinker Reference slug: oip-thinker-reference · https://miscsubjects.com/a/oip-thinker-reference · tags: oip, hub, thinker-reference, hierarchy, self-explaining, voxel, kimi-import · updated 2026-07-17T02:36:31.946Z > **Path:** [OIP](https://miscsubjects.com/a/oip) › **Thinker Reference** > > **What this hub is:** the hierarchical map of 60 Kimi-sourced OIP thinker/protocol articles, all self-explaining and cross-linked. > **Traversal:** open a shelf below, then any leaf. Every leaf links back here. # OIP Thinker Reference ## §SELF — oip-thinker-reference **What this page is:** the root hub for the OIP thinker and protocol concept tree imported from the Kimi Agent reference pack. **What it explains:** how the articles are shelved (Thinkers, Protocol Concepts, Lineages, Token Drop Guides) and how to traverse them without prior context. **Why read it:** one page that makes the full set navigable — hierarchical, self-explaining, voxel-linked. ### How to use this tree 1. Start at [OIP root](https://miscsubjects.com/a/oip) if you need the protocol itself. 2. Pick a **shelf** below. 3. Open any leaf. Each leaf has §SELF, Up the tree, Related siblings, and machine URLs. 4. For graph shape, read [What Is a Voxel Graph](https://miscsubjects.com/a/what-is-voxel-graph). ## Shelves ### [Thinkers](https://miscsubjects.com/a/oip-thinkers) (33 articles) Intellectual lineage: people whose work OIP inherits or answers. - [Alan Kay — The Big Idea Is Messaging](https://miscsubjects.com/a/thinker-alan-kay) - [Alfred North Whitehead — Process and Reality](https://miscsubjects.com/a/thinker-alfred-north-whitehead) - [J.L. Austin and John Searle — Speech Acts](https://miscsubjects.com/a/thinker-austin-searle) - [Barbara Liskov — Abstract Data Types and Distributed Consensus](https://miscsubjects.com/a/thinker-barbara-liskov) - [Bram Cohen — BitTorrent and Content-Addressed Protocol Design](https://miscsubjects.com/a/thinker-bram-cohen) - [Butler Lampson — Protection and Access Control](https://miscsubjects.com/a/thinker-butler-lampson) - [Carl Hewitt — The Actor Model](https://miscsubjects.com/a/thinker-carl-hewitt) - [Charles Sanders Peirce — Signs, Abduction, and Pragmatism](https://miscsubjects.com/a/thinker-charles-peirce) - [Doug Engelbart — Augmenting Human Intellect](https://miscsubjects.com/a/thinker-doug-engelbart) - [Eric Brewer — The CAP Theorem](https://miscsubjects.com/a/thinker-eric-brewer) - [Gilbert Simondon — Technical Objects and Individuation](https://miscsubjects.com/a/thinker-gilbert-simondon) - [Gilles Deleuze — The Rhizome and Multiplicity](https://miscsubjects.com/a/thinker-gilles-deleuze) - [Gottfried Wilhelm Leibniz — The Universal Characteristic](https://miscsubjects.com/a/thinker-gottfried-leibniz) - [Gregory Bateson — Information as Difference](https://miscsubjects.com/a/thinker-gregory-bateson) - [Heinz von Foerster — Second-Order Cybernetics](https://miscsubjects.com/a/thinker-heinz-von-foerster) - [Jack Dennis — The Forgotten Origin of Capabilities](https://miscsubjects.com/a/thinker-jack-dennis) - [James Gibson — Affordances and the Theory of Perception](https://miscsubjects.com/a/thinker-james-gibson) - [Juan Benet — IPFS and Content-Addressed Storage](https://miscsubjects.com/a/thinker-juan-benet) - [Leslie Lamport — Time, Clocks, and the Ordering of Events](https://miscsubjects.com/a/thinker-leslie-lamport) - [Marc Stiegler — Petnames and Introduction Patterns](https://miscsubjects.com/a/thinker-marc-stiegler) - [Mark Miller — Capability Security and the E Language](https://miscsubjects.com/a/thinker-mark-miller) - [Markus Lanthaler — Hydra and Machine-Readable Web Operations](https://miscsubjects.com/a/thinker-markus-lanthaler) - [Niklas Luhmann — Social Systems and Communication](https://miscsubjects.com/a/thinker-niklas-luhmann) - [Norman Hardy — KeyKOS and the Persistent Capability Operating System](https://miscsubjects.com/a/thinker-norman-hardy) - [Pat Helland — Life Beyond Distributed Transactions](https://miscsubjects.com/a/thinker-pat-helland) - [Ramon Llull — The First Machine for Reasoning](https://miscsubjects.com/a/thinker-ramon-llull) - [Robin Milner — Types, Processes, and the Pi Calculus](https://miscsubjects.com/a/thinker-robin-milner) - [Roy Fielding — The Man Who Named How the Web Works](https://miscsubjects.com/a/thinker-roy-fielding) - [Jerome Saltzer and Michael Schroeder — The Protection of Information in Computer Systems](https://miscsubjects.com/a/thinker-saltzer-schroeder) - [Satoshi Nakamoto — Bitcoin and the Append-Only Ledger](https://miscsubjects.com/a/thinker-satoshi-nakamoto) - [Ted Nelson — Xanadu and the Dream of Connected Documents](https://miscsubjects.com/a/thinker-ted-nelson) - [Tim Berners-Lee — The Universal Link and the Semantic Web](https://miscsubjects.com/a/thinker-tim-berners-lee) - [Vannevar Bush — The Memex and the Trail of Thought](https://miscsubjects.com/a/thinker-vannevar-bush) ### [Protocol Concepts](https://miscsubjects.com/a/oip-protocol-concepts) (20 articles) What-is pages: receipts, HATEOAS, capability tokens, autopoiesis, voxel graph, and related units. - [What Is Autopoiesis](https://miscsubjects.com/a/what-is-autopoiesis) - [What Is Capability-Based Security](https://miscsubjects.com/a/what-is-capability-security) - [What Is a Capability Token](https://miscsubjects.com/a/what-is-capability-token) - [What Is a Confused Deputy](https://miscsubjects.com/a/what-is-confused-deputy) - [What Is Context as Cursor](https://miscsubjects.com/a/what-is-context-as-cursor) - [What Is a Convergence Catalogue](https://miscsubjects.com/a/what-is-convergence-catalogue) - [What Is a Falsification Surface](https://miscsubjects.com/a/what-is-falsification-surface) - [What Is HATEOAS](https://miscsubjects.com/a/what-is-hateoas) - [What Is the History of Link Protocols](https://miscsubjects.com/a/what-is-link-protocol-history) - [What Is a Merkle Tree](https://miscsubjects.com/a/what-is-merkle-tree) - [What Is the Missing Reader Problem](https://miscsubjects.com/a/what-is-missing-reader) - [What Is Model-Operated Work](https://miscsubjects.com/a/what-is-model-operated-work) - [What Is W3C PROV](https://miscsubjects.com/a/what-is-prov) - [What Is "The Receipt Is the Proof"](https://miscsubjects.com/a/what-is-receipt-is-proof) - [What Is a Receipt](https://miscsubjects.com/a/what-is-receipt) - [What Is Replay and Repair](https://miscsubjects.com/a/what-is-replay-repair) - [What Is a Self-Describing Protocol](https://miscsubjects.com/a/what-is-self-describing-protocol) - [What Is the Semantic Web](https://miscsubjects.com/a/what-is-semantic-web) - [What Is "The URL Is the API"](https://miscsubjects.com/a/what-is-url-is-api) - [What Is a Voxel Graph](https://miscsubjects.com/a/what-is-voxel-graph) ### [OIP Lineages](https://miscsubjects.com/a/oip-from-lineages) (3 articles) What OIP should take from REST, capability security, and the Semantic Web. - [What OIP Should Take from Capability Security](https://miscsubjects.com/a/oip-from-capability-security) - [What OIP Should Take from REST](https://miscsubjects.com/a/oip-from-rest) - [What OIP Should Take from the Semantic Web](https://miscsubjects.com/a/oip-from-semantic-web) ### [Token Drop Guides](https://miscsubjects.com/a/oip-token-drop-guides) (4 articles) How models should read drops; best practices; what a token drop is; Tap & Go. - [How a Model Should Read an OIP Token Drop](https://miscsubjects.com/a/model-reads-token-drop) - [How to Write a Token Drop That Models Accept](https://miscsubjects.com/a/token-drop-best-practices) - [What Is Tap and Go Delegation](https://miscsubjects.com/a/what-is-tap-go) - [What Is a Token Drop](https://miscsubjects.com/a/what-is-token-drop) ## Machine surfaces - This hub: `https://miscsubjects.com/a/oip-thinker-reference` - JSON: `https://miscsubjects.com/api/articles/oip-thinker-reference` - Protocol map: `https://miscsubjects.com/api/dispatch?map=1&format=markdown` - Registry: `https://miscsubjects.com/api/dispatch?registry=1` --- # OIP — Protocol Concepts slug: oip-protocol-concepts · https://miscsubjects.com/a/oip-protocol-concepts · tags: oip, shelf, concepts, hierarchy, self-explaining, kimi-import · updated 2026-07-17T02:36:27.858Z > **Path:** [OIP](https://miscsubjects.com/a/oip) › [Thinker Reference](https://miscsubjects.com/a/oip-thinker-reference) › **Protocol Concepts** > > **Shelf size:** 20 self-explaining articles # Protocol Concepts ## §SELF — oip-protocol-concepts **What this page is:** the shelf index for Protocol Concepts in the OIP Thinker Reference tree. **What it explains:** every article on this shelf, linked for traversal. **Why read it:** enter one conceptual neighborhood without scanning the full hub. ## Articles on this shelf - [What Is Autopoiesis](https://miscsubjects.com/a/what-is-autopoiesis) - [What Is Capability-Based Security](https://miscsubjects.com/a/what-is-capability-security) - [What Is a Capability Token](https://miscsubjects.com/a/what-is-capability-token) - [What Is a Confused Deputy](https://miscsubjects.com/a/what-is-confused-deputy) - [What Is Context as Cursor](https://miscsubjects.com/a/what-is-context-as-cursor) - [What Is a Convergence Catalogue](https://miscsubjects.com/a/what-is-convergence-catalogue) - [What Is a Falsification Surface](https://miscsubjects.com/a/what-is-falsification-surface) - [What Is HATEOAS](https://miscsubjects.com/a/what-is-hateoas) - [What Is the History of Link Protocols](https://miscsubjects.com/a/what-is-link-protocol-history) - [What Is a Merkle Tree](https://miscsubjects.com/a/what-is-merkle-tree) - [What Is the Missing Reader Problem](https://miscsubjects.com/a/what-is-missing-reader) - [What Is Model-Operated Work](https://miscsubjects.com/a/what-is-model-operated-work) - [What Is W3C PROV](https://miscsubjects.com/a/what-is-prov) - [What Is "The Receipt Is the Proof"](https://miscsubjects.com/a/what-is-receipt-is-proof) - [What Is a Receipt](https://miscsubjects.com/a/what-is-receipt) - [What Is Replay and Repair](https://miscsubjects.com/a/what-is-replay-repair) - [What Is a Self-Describing Protocol](https://miscsubjects.com/a/what-is-self-describing-protocol) - [What Is the Semantic Web](https://miscsubjects.com/a/what-is-semantic-web) - [What Is "The URL Is the API"](https://miscsubjects.com/a/what-is-url-is-api) - [What Is a Voxel Graph](https://miscsubjects.com/a/what-is-voxel-graph) ## Up the tree - [Thinker Reference hub](https://miscsubjects.com/a/oip-thinker-reference) - [OIP root](https://miscsubjects.com/a/oip) ## Sibling shelves - [Thinkers](https://miscsubjects.com/a/oip-thinkers) - [Protocol Concepts](https://miscsubjects.com/a/oip-protocol-concepts) - [OIP Lineages](https://miscsubjects.com/a/oip-from-lineages) - [Token Drop Guides](https://miscsubjects.com/a/oip-token-drop-guides) --- # OIP — OIP Lineages slug: oip-from-lineages · https://miscsubjects.com/a/oip-from-lineages · tags: oip, shelf, lineages, hierarchy, self-explaining, kimi-import · updated 2026-07-17T02:36:12.508Z > **Path:** [OIP](https://miscsubjects.com/a/oip) › [Thinker Reference](https://miscsubjects.com/a/oip-thinker-reference) › **OIP Lineages** > > **Shelf size:** 3 self-explaining articles # OIP Lineages ## §SELF — oip-from-lineages **What this page is:** the shelf index for OIP Lineages in the OIP Thinker Reference tree. **What it explains:** every article on this shelf, linked for traversal. **Why read it:** enter one conceptual neighborhood without scanning the full hub. ## Articles on this shelf - [What OIP Should Take from Capability Security](https://miscsubjects.com/a/oip-from-capability-security) - [What OIP Should Take from REST](https://miscsubjects.com/a/oip-from-rest) - [What OIP Should Take from the Semantic Web](https://miscsubjects.com/a/oip-from-semantic-web) ## Up the tree - [Thinker Reference hub](https://miscsubjects.com/a/oip-thinker-reference) - [OIP root](https://miscsubjects.com/a/oip) ## Sibling shelves - [Thinkers](https://miscsubjects.com/a/oip-thinkers) - [Protocol Concepts](https://miscsubjects.com/a/oip-protocol-concepts) - [OIP Lineages](https://miscsubjects.com/a/oip-from-lineages) - [Token Drop Guides](https://miscsubjects.com/a/oip-token-drop-guides) --- # Axiom Hierarchy — Bedrock vs Derived slug: oip-axiom-hierarchy · https://miscsubjects.com/a/oip-axiom-hierarchy · tags: oip, axiom, hierarchy, objection-11, bedrock, self-explaining · updated 2026-07-17T02:36:04.479Z # Axiom Hierarchy — Bedrock vs Derived ## §SELF — oip-axiom-hierarchy **What this page is:** the dependency ordering the twelve axioms were missing. **What it explains:** A0 cannot fully self-justify without circularity; bedrock is admitted; derived axioms are prosecuted by bedrock. **Why read it:** reflexive incompleteness (Gödel-adjacent; you published the no-go shape) demands a named un-prosecutable floor. ### Bedrock (asserted — load-bearing — cannot self-justify without circularity) | ID | Name | Role | |---|---|---| | **A0** | Inversion | Validity test: concepts face negation. **Bedrock of method.** | | **A11** | Receipt is the proof | Validity test for *claims about systems*: checkable record. **Bedrock of evidence.** (If A11 is not numbered in a given edition, the same role is held by the receipt principle in OIP + [what-is-receipt-is-proof](/a/what-is-receipt-is-proof).) | We **admit**: A0 cannot be proven by A0 without circularity. Its negation ("untested claims are fine in adversarial environments") is rejected as **operational suicide**, not as a theorem inside the system. That is the price of a floor. ### Derived / prosecuted by bedrock | ID | Prosecuted by | How | |---|---|---| | A1–A3 | A0 | Survive negation tests in ground book | | **A4** | A0 + **declared choice** | Meta-ethical atom is **chosen**; rivals named on [A4](/a/oip-axiom-a4) | | A5 | A0 + A4 | Prejudice contamination | | A6–A7 | A0 | Structural/recurrence | | **A8** | A0 + A5 | Must compose: [A8×A5](/a/oip-axiom-a8-times-a5) | | A9+ | A0 + A11 | Downstream operational | ### What we refuse All twelve floating at the same level as if each were self-proving. That is the trap. ### Links - [A0](/a/oip-axiom-a0) · [A4](/a/oip-axiom-a4) · [A5](/a/oip-axiom-a5) · [A8](/a/oip-axiom-a8) - [Twelve axioms](/a/oip-the-12-axioms) - [No-go theorems](/a/oip-no-go-theorems)