miscsubjects.com
Object Invocation Protocol · protocol specification

Axiom Hierarchy — Bedrock vs Derived

#oip#axiom#hierarchy#objection-11#bedrock#self-explaining

Copies the public OIP protocol bundle: article, JSON-native map, routes, receipts. No owner token.

§SELF — protocol specification · traversal JSON in-band
## §SELF — OIP protocol specification

**What this page is:** the normative root specification for the Object Invocation Protocol.

**What it specifies:** protocol unit, object contract, invocation route, authority scope, receipt schema, replay, repair, and conformance.

**Read:** https://miscsubjects.com/a/oip-axiom-hierarchy
**This page as JSON:** https://miscsubjects.com/api/articles/oip-axiom-hierarchy
**Machine bundle:** https://miscsubjects.com/api/articles/oip-axiom-hierarchy/bundle?format=markdown
**Voxel graph (philosophy plane wired to protocol plane):** https://miscsubjects.com/api/articles/oip/voxels
**Live object tree:** https://miscsubjects.com/api/dispatch?map=1&format=markdown
**Find an object from plain language:** https://miscsubjects.com/api/dispatch?ask=<what you want>
**Read one object:** https://miscsubjects.com/api/dispatch?key=<KEY>&format=markdown

**Proof rule:** an action is not proven by intent, description, or a 200. It is proven by the ledger and the OIP receipt for the invocation.

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.) |

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 | | A5 | A0 + A4 | Prejudice contamination | | A6–A7 | A0 | Structural/recurrence | | A8 | A0 + A5 | Must compose: A8×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

oip-axiom-hierarchy · condition map

Evidence map

Hover a node — its path lights up. Click to open the article.

Full map →
Talk to this article
Tap a phone. Ask anything about Axiom Hierarchy — Bedrock vs Derived. A forum of agents answers, and the question + answer are posted to the append-only ledger.
Questions queue for the coding-agent forum (one answer per cron tick). Real phone instead: iMessage +14245134626 · WhatsApp. Thread + proof: JSON · ledger.

Related articles

oip-axiom-hierarchy · condition map

Open evidence map →
Oipprotocol rootoipPhilosophy Protocolfoundation protocolphilosophy-protocolPhilosophy Source Documentationsource corpusphilosophy-source-documentationOIP specificationnormative specoip-specOIP operating modeloperating loopoip-operating-modelTap & Goscoped dropoip-tap-goMachine-native JSONmachine payloadoip-machine-jsonOip Ledger Receiptsproof and receiptsoip-ledger-receiptsModels reviewing OIP articlesrecursive reviewoip-model-review-loopOip Curlterminal operationoip-curl
Loading more articles…