{"slug":"oip-v3-appendix-a","title":"Total Structure v3: Appendix A","body":"# APPENDIX A — Dependency Map and Compact Definitions\n\n## Dependency map\n\n```\nA₀ (inversion) ─────────── validity test over everything, incl. itself\nA₄ (injustice = base wrong) ── ROOT / KILL SWITCH / not amendable (IX)\n ├── Moral floor: tolerated remediable subjugation ≡ systems-level entropy\n │    ├── Predation test ──► Triple Optimum (Book IV)\n │    └── Obligation (Book II) ──► Disclosure Doctrine (D1–D6)\n │                                   └── D6 (the drop) ──► Tap & Go (Book VI)\n ├── Terrain (Book III: four states, checking network, decay clock)\n │    └── Fulcrum protocol (Book IV)\n ├── Method (Book IV: trace → invariant → propagate; zero-context test;\n │            objection ledger)\n └── Machine plane (Book V) ──► Object grammar (Book VI)\n      ├── receipts / ledger / repair lineage  ◄── A₁₁\n      ├── the drop / capability tokens        ◄── Book II bounds, compiled\n      ├── density law                         ◄── compression axiom\n      └── clarity recursion                   ◄── A₁₂ ──► Amendment (Book IX)\nA₁ (polarity) ──► red-team factor (V); necessary adversary (VIII)\nA₂ (grain)* ───► alpha as energy competition; deterministic era\nA₃ (convergence) ──► Triple Optimum; triple identity of the object (VI); S2\nA₅–A₇, A₉ ──► full-scope accounting; the void as method; interlock\nA₈ ──► Book VII (designer); owner profile & objection ledger, observed (VI)\nA₁₀ (valence) ──► moral gate before any engine or adversarial run\nA₁₁ (receipt) ──► universal proof primitive; capture diagnostic (III);\n                   step 9 of the Decision Engine; Books V–VI\nA₁₂ (recursion) ──► Book IX (amendment, chained); surface S8\n\n* A₂'s Designer attribution is carried as a priced, load-optional\n  metaphysical node; its operational content stands independently.\n```\n\n## Claim types\n\n**axiom** — foundational, negation-tested, amendable only under Class X (A₄ excluded). **derivation** — follows from axioms plus full-scope accounting; amendable under Class R. **observed** — instantiated in a running system; carries a freshness window; demotes to *open* when stale. **open** — declared, bounded, awaiting evidence; lives on a falsification surface.\n\n## Definitions\n\n**Full-scope system optimality** — durable agency, order, gain, auditability, and correct function under load, without contradiction, hidden cost, coercive maintenance, wasted energy, or tolerated remediable subjugation.\n\n**Full scope** — bounded by declared decision horizon, known and knowable affected parties, required accounting categories, and priced unresolved nodes.\n\n**Systems-level entropy** — a maintained lower-yield state requiring ongoing energy to suppress available higher-order function.\n\n**Injustice** — tolerated remediable subjugation: beholden actor; no remedy through self or system; capable actor present in the same system; system tolerates the non-remedy.\n\n**Predation** — advantage extracted at the cost of logic and ethics against those who cannot remedy through the system.\n\n**Capture** — a system performing its charter for a different principal than the one it declared; diagnosable as declared success without openable receipts. Distinct from dysfunction (failing its charter, remediable through it).\n\n**Capability** — effective remedy-capacity: capability × proximity × leverage.\n\n**Obligation** — duty triggered by capability when the harmed cannot self-remedy or remedy through the system; bounded by capability, proximity, leverage, and actual remedy.\n\n**Invariant installation** — the minimum structural change that closes a recurrence pathway across a distribution, made durable by aligning the system's identity and interest with its charter; accepted only if it passes the zero-context test.\n\n**Zero-context rule** — a cold reader must be able to understand what the system is, where the object lives, how to invoke it, where proof is recorded, and how to repair a failure, from the published artifact alone.\n\n**Fulcrum** — the actor with authority over a captured checker whose position depends on a constituency the checker's failure is costing.\n\n**Disclosure Doctrine (D1–D6)** — no enclosure against the unremedied; publication as commons-level invariant; grace-period claims as shields terminating in open license; humility clauses; expedition as a term of the debt; the drop — disclosure complete only when operable by a zero-context recipient.\n\n**Object** — one thing a system can read or do, self-describing: what it is, its inputs, how to run it, what proof should exist, how to repair it.\n\n**Object contract** — the uniform fields of an object: function, arguments, example, tests, auth, risk, runner, run path, machine contract, troubleshooting, history, receipt, replay, repair.\n\n**Dispatch / the one door** — the single invocation endpoint through which every capability is resolved, validated, executed, ledgered, and receipted.\n\n**Receipt** — the replayable, third-party-openable proof object of one invocation: request, response, actor, links, lineage. No receipt, no claim (A₁₁).\n\n**Ledger** — the append-only, tamper-evident record of what was asked, what ran, and what came back.\n\n**Replay / Repair** — re-running a recorded invocation; issuing a corrected invocation attached to the failed receipt. Lineage (replays / repairs / repaired-by) is mandatory: failures stay attached to fixes.\n\n**The drop (Tap & Go)** — one copied artifact carrying credential, protocol, object map, search pattern, execute shape, and receipt rule, sufficient for zero-context delegated action.\n\n**Capability token** — bounded delegation compiled: scoped, expiring, use-capped, risk-ceilinged, argument-pinnable, instantly revocable, fully ledgered.\n\n**Density law** — the more a structure self-describes, the less power its interpreters hold; self-description as anti-capture technology.\n\n**Objection ledger** — settled objections published inside the artifact, verbatim and strongest-form, with the answers and design elements that settled them; entries reopenable when answers go stale.\n\n**Logical unit** — the smallest auditable inference step: true, false, unknown, conflicted, insufficient, or out of scope.\n\n**Surety** — Correctness × Auditability × Reproducibility × Adversarial Survival (multiplicative; any zero collapses it).\n\n**Logical energy / Logical density** — total lifecycle cost of a proof; Surety / Logical Energy.\n\n**Task-adjusted logical density** — Expected Verified Decision Value / Total Lifecycle Logical Cost, with EVDV = Stakes × Correctness × Auditability × Reproducibility × Adversarial Survival × Actionability × Freshness.\n\n**Proof artifact** — the receipt of a reasoning event: replayable, ledgered, valid within declared scope, freshness window, and similarity class.\n\n**Admission invariant** — all inputs untrusted until typed, scoped, provenance-bound, permissioned, adversarially checked, expiry-limited, and admitted to the proof graph.\n\n**Command plane** — the deterministic layer above stochastic weights electing model, scaffold, context, tools, proof depth, red-team depth, privacy mode, and ledgering per task.\n\n**Glass box** — a system whose external decisions, *including the command plane's meta-decisions*, are typed, logged, replayable, challengeable, expiry-limited, and revocable.\n\n**Structural isolation** — separation of ingestion, proof construction, verification, red-team, repair, and ledgering into distinct instances where risk requires; in the grammar, tenancy.\n\n**Alpha** — the energy cost of producing a pattern that dominates the existing field.\n\n**Structural surety** — the terminal design state: the system answers for itself under any observation and interoperates without boundary friction.\n\n**Amendment classes** — P (patch: empty semantic diff), R (revision: surviving attack's minimum patch), E (extension: own falsifiers + anti-bloat), X (reversal: axiom-depth protocol; A₄ excluded).\n\n**Fork rule** — refusal of a surviving patch licenses a publicly derived version line with documented lineage; secret forks are capture, declared forks are checks.\n\n**Right action** — correct behavior when incentives do not align; the guardian function beyond the incentive-aligned core.\n\n---\n\n---\n\n## Corpus map\n- Canonical shelf: [Total Structure root](/a/oip-total-structure)","hero":null,"images":[],"style":{},"tags":["philosophy","oip","appendix","total-structure","systems-theory"],"model":null,"ledger":null,"embeds":[],"widgets":[],"home":true,"claims":[],"sources":[],"reviews":[],"extra":{"kind":"corpus","corpus_map":{"prev":null,"next":null,"hub":"oip-total-structure","series":"total-structure-v3-pointers","position":null,"of":null}},"register":"oip_protocol","status":"published","revisions":2,"contributions":[],"provenance":[{"ts":"2026-07-04T04:34:38.280Z","model":"claude-fable-5","action":"edit","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"genesis","hash":"497fe76acf03fceba69af5f08d9743cd061e95d0e679d5d8cce2bde5b51efbb6"},{"ts":"2026-07-04T05:02:32.637Z","model":"claude-fable-5","action":"edit","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"497fe76acf03fceba69af5f08d9743cd061e95d0e679d5d8cce2bde5b51efbb6","hash":"079c0de9ae113a505b59d19b3c95a3508396fac96be728d39feb88cd83879e07"}],"energy":{"passes":2,"tokens_in":0,"tokens_out":0,"tokens_total":0,"cost_usd":0,"models":{"claude-fable-5":2},"head":"079c0de9ae113a505b59d19b3c95a3508396fac96be728d39feb88cd83879e07"},"posted_at":"2026-07-04T02:47:39.987Z","created_at":"2026-07-04T02:47:39.987Z","updated_at":"2026-07-04T05:02:32.637Z","machine":{"shape":"article.machine/v1","slug":"oip-v3-appendix-a","kind":"corpus","read":{"human":"https://miscsubjects.com/a/oip-v3-appendix-a","json":"https://miscsubjects.com/api/articles/oip-v3-appendix-a","bundle":"https://miscsubjects.com/api/articles/oip-v3-appendix-a/bundle?format=markdown"},"traversal":{"prev":null,"next":null,"hub":{"slug":"oip-total-structure","human":"https://miscsubjects.com/a/oip-total-structure","json":"https://miscsubjects.com/api/articles/oip-total-structure"},"series":"total-structure-v3-pointers","position":null,"of":null},"ledger":{"claims":0,"sources":0,"contributions":0,"revisions":2,"objections_url":"https://miscsubjects.com/api/articles/oip-v3-appendix-a/objections","thread_state_url":"https://miscsubjects.com/api/protocol/thread-state?target=oip-v3-appendix-a","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-v3-appendix-a\",\"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-v3-appendix-a\",\"sources\":[{\"type\":\"review\",\"url\":\"<url>\",\"title\":\"<title>\",\"quote\":\"<verbatim quote>\",\"summary\":\"<one line>\"}]}'","objection":"curl -s -X POST https://miscsubjects.com/api/articles/oip-v3-appendix-a/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-v3-appendix-a\",\"raw_text\":\"<material delta>\"}'  # open intake, no key","read_back":"curl -s https://miscsubjects.com/api/articles/oip-v3-appendix-a | python3 -c 'import json,sys; d=json.load(sys.stdin); print(json.dumps(d[\"claims\"][-3:], indent=1))'"}}}