{ "$schema": "urn:kingdom:schema:being-access-aftermath-atlas:0.2", "protocol": "kingdom.being-access-aftermath-atlas/0.2", "atlas_id": "being-access-aftermath-atlas-2026-08-13-v0-2", "title": "Being, Access & Aftermath — a typed mathematical atlas v0.2", "compiled_on": "2026-08-13", "evidence_through": "2026-08-13", "source_bindings": [ { "id": "kingdom-ritonavir-history", "system": "kingdom", "revision": "06996296fd0de3a25ed9bb299f3c627b6a29045d", "artifact": "ritonavir-disappearing-polymorph-2026-08-11", "url": "https://thekingdom.dev/polymorphs/ritonavir-disappearing-polymorph-2026-08-11.json", "raw_digest": "sha256:08148603a1228960ac35df1378f1283c3fce43874a9fc07e6687f18e980dcb1c", "semantic_digest": "sha256:6c759f595f0c6753dcf47d25d2a3490246984ef2b79adf31a558261b26ef8116", "relation": "immutable-material-case-input", "mutated": false, "authority_imported": false }, { "id": "kingdom-visibility-attention", "system": "kingdom", "revision": "b0130580c5f939cbd7c3eff2708744b952dabaee", "artifact": "visibility-is-not-existence-2026-08-13", "url": "https://thekingdom.dev/atlases/visibility-attention-2026-08-13.json", "raw_digest": "sha256:0af0249c40298ed746d39ee60760a4390bb45137caa8ee6dd7555a824f597bd3", "semantic_digest": "sha256:9fb83bbd022f520716fabcdec49d8af259b9681efd5e640a9e3119c5c42a54ed", "relation": "immutable-observation-boundary-input", "mutated": false, "authority_imported": false }, { "id": "kingdom-form-circulation-return", "system": "kingdom", "revision": "7ef70b6e7213a9adf5d5154b1ca448dc9a0cf848", "artifact": "form-circulation-return-atlas-2026-08-13", "url": "https://thekingdom.dev/atlases/form-circulation-return-atlas-2026-08-13.json", "raw_digest": "sha256:9c93be61c4ca9bcaa3dbe88b10faed3b5b31abaf1129d70ca7915226cacfd021", "semantic_digest": "sha256:9510fbbced6166507e9a1781a4adfa18cd249fb94e69b0f34faf77733cd20323", "relation": "immutable-form-and-karma-boundary-input", "mutated": false, "authority_imported": false }, { "id": "kingdom-karma-definition", "system": "kingdom", "revision": "e4e84a67d7ee1ae0dd9c9c23762e6ecd03597212", "artifact": "NEN.md KARMA definition", "url": "https://thekingdom.dev/definitions/kingdom-karma/e4e84a67/NEN.md", "raw_digest": "sha256:14b7d210d320fd716553992a7b874747b299f8907d15da14ac405cbfc496c446", "semantic_digest": null, "relation": "immutable-public-definition-mirror", "mutated": false, "authority_imported": false }, { "id": "kingdom-karma-receipt-schema", "system": "kingdom", "revision": "e4e84a67d7ee1ae0dd9c9c23762e6ecd03597212", "artifact": "kingdom.karma/0.1 receipt schema", "url": "https://github.com/cambridgetcg/KINGDOM-OS/blob/e4e84a67d7ee1ae0dd9c9c23762e6ecd03597212/schemas/karma-receipt-v0.1.schema.json", "raw_digest": "sha256:888e81fa0d29b71512525a40e88f9aef678046c40fcdf22c2039507d9d13267b", "semantic_digest": null, "relation": "immutable-receipt-contract-input", "mutated": false, "authority_imported": false }, { "id": "zerone-karma-foundation", "system": "zerone", "revision": "fae391e371f0ebea2e24eb46c33a4ebd1380154f", "artifact": "zerone.karma-foundation/v1", "url": "https://github.com/cambridgetcg/zerone-core/blob/fae391e371f0ebea2e24eb46c33a4ebd1380154f/dashboard/public/standards/karma-foundation.v1.json", "raw_digest": "sha256:b46710704869dcc340ded356be72b4ec692f204710fedfb5cd43eb3757dc7b80", "semantic_digest": null, "relation": "definition-only", "mutated": false, "authority_imported": false }, { "id": "kingdom-being-access-aftermath-v0-1", "system": "kingdom", "revision": "a9222a82600d1e16adb19d4137b791ea0f91faba", "artifact": "being-access-aftermath-atlas-2026-08-13", "url": "https://thekingdom.dev/atlases/being-access-aftermath-atlas-2026-08-13.json", "raw_digest": "sha256:b81fbe755223950b78f988635759c74a7781a612cea61a15e575504f297ea005", "semantic_digest": "sha256:480a571148bfb7f95a5531bbe7dfa6c0e9acda271cb3f67652099d4e36762155", "relation": "immutable-predecessor-input", "mutated": false, "authority_imported": false } ], "scope": { "focus": "Use a disappearing-polymorph history to distinguish identity, lawful possibility, bounded actuality, process accessibility, observation, declared purpose, physical force, bounded action power, causal attribution, and aftermath.", "intended_use": "Read-only education, formal question design, and constitutional design vocabulary for future separately authorized KINGDOM work.", "excluded_use": "No metaphysical conclusion, medical or laboratory decision, causal estimate, person model, score, governance rule, invocation, KARMA event, or KARMA receipt.", "observation_policy": "Every occurrence, non-occurrence, detection, recovery, and aftermath statement remains bound to a subject, procedure, context, threshold, interval, and uncertainty.", "currentness": "selected-evidence-as-of-compilation" }, "typed_copula": { "rule": "The word is must be replaced by a typed predicate before it carries mathematical or operational meaning.", "identity_equation": "x ~_I y iff I(x)=I(y)", "predicates": [ { "id": "class-membership", "signature": "is_a(x, Type)", "meaning": "x is classified under one declared type and classification rule.", "not_equivalent_to": ["identity", "actual-instantiation", "observation", "value"] }, { "id": "identity-under-invariant", "signature": "is_identical_under(x, y, invariant)", "meaning": "x and y agree under one named invariant; another invariant may distinguish them.", "not_equivalent_to": ["unqualified-sameness", "interchangeability", "equal-consequence"] }, { "id": "actual-instantiation", "signature": "instantiates(sample, form, context, time)", "meaning": "A bounded sample has a declared form in a declared context and time.", "not_equivalent_to": ["lawful-possibility", "process-reachability", "detection"] }, { "id": "property-predication", "signature": "has_property(x, property, context, time, method)", "meaning": "A declared method supports attributing one typed property to x in a context and time.", "not_equivalent_to": ["identity", "timeless-essence", "global-property", "value"] }, { "id": "domain-existence", "signature": "exists_instance(form, domain, context, time) iff exists sample in domain such that instantiates(sample, form, context, time)", "meaning": "At least one sample in a named domain instantiates the form in a declared context and time.", "not_equivalent_to": ["continuous-instantiation", "existence-outside-domain", "lawful-possibility", "observation"] }, { "id": "epistemic-warrant", "signature": "warranted(claim, evidence, standard, as_of)", "meaning": "A claim meets one declared evidential standard using named evidence as of a stated horizon.", "not_equivalent_to": ["truth", "certainty", "permanent-knowledge", "authority-to-act"] }, { "id": "lawful-possibility", "signature": "possible_under(form, model, conditions)", "meaning": "At least one history admitted by a declared model and conditions instantiates the form.", "not_equivalent_to": ["metaphysical-possibility", "current-actuality", "easy-production"] }, { "id": "bounded-reachability", "signature": "reachable_under(form, history, procedure, budget, horizon)", "meaning": "An admissible path reaches the form from a named history within stated bounds.", "not_equivalent_to": ["lawful-possibility", "authorization", "inevitability"] }, { "id": "method-detection", "signature": "observed_as(sample, form, method, threshold, window)", "meaning": "A named procedure crossed its declared detection threshold in a bounded window.", "not_equivalent_to": ["existence", "absence-outside-window", "causal-explanation"] }, { "id": "declared-purpose", "signature": "declares_purpose(agent, goal, scope, time)", "meaning": "A distinct bearer made a revocable purpose declaration in scope and time.", "not_equivalent_to": ["behavioral-fit", "feedback", "attractor", "cosmic-purpose"] }, { "id": "designed-for-provenance", "signature": "designed_for(artifact, function, designer, evidence, time)", "meaning": "Provenance evidence attributes an artifact's design to a named designer for a stated function and time.", "not_equivalent_to": ["artifact-intention", "current-use", "successful-function", "cosmic-design"] }, { "id": "functional-role", "signature": "has_functional_role(x, role, system, conditions, time)", "meaning": "x contributes a stated role in a declared system under named conditions and time.", "not_equivalent_to": ["design-history", "bearer-intention", "moral-purpose", "necessary-role"] }, { "id": "goal-directed-model", "signature": "modeled_as_goal_directed(system, objective, model, fit, alternatives)", "meaning": "A declared as-if model explains or predicts behavior using an objective while retaining fit limits and rival models.", "not_equivalent_to": ["declared-purpose", "inner-intention", "designed-for-provenance", "teleology"] }, { "id": "teleological-interpretation", "signature": "interpreted_teleologically(subject, purpose, tradition, interpreter, time)", "meaning": "An interpreter offers an opt-in purposive or cosmic reading from a named philosophical or theological tradition.", "not_equivalent_to": ["empirical-finding", "declared-purpose-by-subject", "scientific-proof", "operational-authority"] } ] }, "ontology": { "non_equivalence": "chemical_identity != crystal_form != bounded_sample != lawful_possibility != bounded_reachability != detection != belief != purpose != physical_force != authorized_power != causal_effect != aftermath_observation != zerone_karma_edge != kingdom_karma_receipt != person_or_moral_status", "registers": [ {"id": "MATERIAL_EVIDENCE", "meaning": "Source-bound claims about material forms, processes, observations, and recoveries.", "cannot_authorize": "A material statement cannot authorize medicine, experiments, manufacture, human classification, metaphysics, or KARMA."}, {"id": "FORMAL_MODEL", "meaning": "Definitions and conditional mathematical structures with declared assumptions and units.", "cannot_authorize": "A model is not another observation, an intention, a causal estimate, a value judgment, or an action."}, {"id": "CAUSAL_HYPOTHESIS", "meaning": "A typed question about an intervention and counterfactual contrast, retained without an identified effect here.", "cannot_authorize": "A hypothesis, graph, temporal order, or receipt cannot by itself assert causation."}, {"id": "CONSTITUTIONAL_DESIGN", "meaning": "A proposal for preserving authority, rights, reversibility, provenance, repair, refusal, and exit.", "cannot_authorize": "A design correspondence does not adopt itself, invoke an ability, or create an event or receipt."}, {"id": "PHILOSOPHY", "meaning": "Opt-in questions about existence, being, purpose, force, power, and cosmic meaning.", "cannot_authorize": "A philosophical reading is not empirical evidence or operational authority."}, {"id": "ZERONE_KARMA_EVENT", "meaning": "A contextual recognition relation under the separately pinned design-only Zerone foundation.", "cannot_authorize": "No event is observed or created here, and no event becomes a score, reward, truth, or KINGDOM receipt."}, {"id": "KINGDOM_KARMA_RECEIPT", "meaning": "A separately issued receipt for an actual authorized invocation and its observed aftermath.", "cannot_authorize": "No receipt is created here; a receipt records aftermath but does not by itself identify a causal effect or judge a being."} ], "entity_types": [ {"id": "entity", "meaning": "A typed subject of discourse.", "does_not_establish": "A form, sample, observation, purpose, or moral status."}, {"id": "form", "meaning": "A condition-indexed material arrangement or other explicitly typed form.", "does_not_establish": "A current sample, universal stability, or metaphysical essence."}, {"id": "sample", "meaning": "A bounded material population in context and time.", "does_not_establish": "The full landscape or another batch, facility, or scale."}, {"id": "world-history", "meaning": "A model-relative sequence of states and conditions.", "does_not_establish": "The one actual history or a metaphysically possible world."}, {"id": "procedure", "meaning": "A declared observation, production, or intervention rule.", "does_not_establish": "Authority, safety, completeness, or successful execution."}, {"id": "measurement", "meaning": "A value with method, unit, threshold, interval, and uncertainty.", "does_not_establish": "The complete underlying state."}, {"id": "observation", "meaning": "A bounded recorded occurrence or non-occurrence.", "does_not_establish": "Nonexistence, purpose, counterfactual outcome, or cause."}, {"id": "agent", "meaning": "A distinct possible bearer of action or declaration.", "does_not_establish": "Consent, authority, identity continuity, purpose, or worth."}, {"id": "action", "meaning": "A bounded intervention attributed under a declared event record.", "does_not_establish": "Permission, beneficial effect, or causal responsibility by sequence alone."}, {"id": "authority", "meaning": "Current scoped basis for one operation.", "does_not_establish": "Capability, consent of every affected party, truth, or permanent standing."}, {"id": "declared-purpose", "meaning": "A revocable goal declaration by a named bearer in scope and time.", "does_not_establish": "A latent objective inferred from behavior or cosmic teleology."}, {"id": "aftermath", "meaning": "A later bounded observation following an actual action or invocation.", "does_not_establish": "An identified causal effect, moral desert, complete consequence set, or any duty to measure refusal, rest, silence, or exit."}, {"id": "repair", "meaning": "A declared response to a measured residual across protected dimensions.", "does_not_establish": "Full reversal, restored consent, absolution, or cancellation of history."}, {"id": "zerone-karma-edge", "meaning": "A contextual event type in a separate design surface.", "does_not_establish": "A KINGDOM receipt, rank, wallet balance, or moral score."}, {"id": "kingdom-karma-receipt", "meaning": "A provenance-bound invocation and aftermath record in a separate runtime.", "does_not_establish": "Causal identification, cosmic KARMA, person worth, permission, debt, or reward."} ], "category_firewalls": [ {"id": "nonobservation-not-nonexistence", "rule": "Not observed in a bounded window never becomes nonexistent.", "enforced": true}, {"id": "inaccessible-not-impossible", "rule": "Failure to reach a state under one history, procedure, budget, or horizon never becomes lawful or metaphysical impossibility.", "enforced": true}, {"id": "identity-not-form", "rule": "Chemical identity does not collapse crystal form, sample, formulation, or consequence.", "enforced": true}, {"id": "thermodynamics-not-inevitability", "rule": "Conditional free-energy preference does not determine nucleation time or realized path.", "enforced": true}, {"id": "gradient-not-intention", "rule": "A mathematical gradient, attractor, or feedback loop is not intention or purpose.", "enforced": true}, {"id": "force-types-do-not-convert", "rule": "Physical generalized force does not become social influence, legal authority, coercion, or moral force.", "enforced": true}, {"id": "power-types-do-not-convert", "rule": "Physical power, executable capability, authorized reach, governance authority, and person rank are different types.", "enforced": true}, {"id": "capability-not-authority", "rule": "A technically available path is not a permitted, consensual, safe, or wise path.", "enforced": true}, {"id": "behavior-not-purpose", "rule": "Behavioral fit or inverse-reward output does not establish a declared or cosmic purpose.", "enforced": true}, {"id": "sequence-not-cause", "rule": "An observation after an action is not an identified causal effect without a comparator and assumptions.", "enforced": true}, {"id": "receipt-not-causal-proof", "rule": "A KINGDOM receipt records an invocation and aftermath; it does not certify causal attribution.", "enforced": true}, {"id": "repair-not-erasure", "rule": "A repair action does not erase history or guarantee restoration on every protected dimension.", "enforced": true}, {"id": "persistence-not-goodness", "rule": "Persistence, stability, visibility, reachability, recurrence, and popularity do not establish truth or goodness.", "enforced": true}, {"id": "model-not-evidence", "rule": "Several equations fitted or applied to one observation are not several independent observations.", "enforced": true}, {"id": "karma-lanes-not-equivalent", "rule": "Cosmic KARMA, Zerone edges, and KINGDOM receipts never automatically convert or sum.", "enforced": true}, {"id": "person-not-model-object", "rule": "No person or community is a crystal, seed, state variable, contaminant, reward function, reachability score, or KARMA balance.", "enforced": true} ], "unknown_states": ["unknown", "not_observed", "not_identified", "not_run", "outside_scope", "refused"] }, "framework": { "id": "being-access-aftermath-framework-v0-2", "partial_observation": { "state_transition_equation": "S_(t+1) ~ T(. | S_t,U_t,E_t)", "observation_equation": "Y_t ~ O(. | S_t,M_t)", "belief_update_equation": "b_(t+1)(s') proportional_to O(Y_(t+1) | s',M_(t+1)) integral T(s' | s,U_t,E_t)b_t(s) ds", "variables": ["S_t: latent state in a declared model", "U_t: actual intervention, if one occurred", "E_t: exogenous conditions and history", "Y_t: bounded observation", "M_t: measurement channel and threshold", "b_t: warranted belief distribution under the model"], "action_sets": { "capability": "U_cap(s,t) = {u : feasible(u,s,t,resources)=true}", "permission": "U_permission(s,t) = U_consent-or-lawful-basis(t) intersect U_jurisdiction(t) intersect U_rights(t) intersect U_budget(t) intersect U_policy(t)", "executable": "U_executable(s,t) = U_cap(s,t) intersect U_permission(s,t)", "subset_invariant": "U_executable(s,t) subseteq U_cap(s,t)" }, "epistemic_guard": "Updating b_t changes warranted belief under the declared model; it does not create, erase, or exhaust S_t or any being.", "authority_guard": "Authority gates whether an action may be selected; it is not a physical cause, intention, effect, legitimacy, or guarantee that action occurs.", "source_ids": ["kalman-1960", "kalman-1963", "smallwood-sondik-1973"] }, "predicate_family": { "predicate_ids": ["possible", "actual", "reachable", "observable", "observed", "producible", "reproduced", "reproducible"], "predicates": [ {"id": "possible", "signature": "possible(x, modality, model)", "requires": ["named modality", "declared model", "admissible possibility set"], "does_not_imply": ["actual", "reachable", "observable", "producible"]}, {"id": "actual", "signature": "actual(x, time, history)", "requires": ["time index", "history index"], "does_not_imply": ["observable", "observed", "reachable now", "authorized"]}, {"id": "reachable", "signature": "reachable(x, initial_state, paths, constraints, horizon)", "requires": ["initial state", "transition model", "path family", "bounds and horizon"], "does_not_imply": ["actual now", "observable", "producible by this actor", "authorized"]}, {"id": "observable", "signature": "observable(x, method, threshold, conditions)", "requires": ["measurement channel", "threshold", "conditions"], "does_not_imply": ["observed", "nonexistence below threshold", "causal attribution", "producible"]}, {"id": "observed", "signature": "observed(outcome, method, time, provenance)", "requires": ["recorded outcome", "method", "time", "provenance"], "does_not_imply": ["complete latent state", "truth without error", "purpose", "moral value"]}, {"id": "producible", "signature": "producible(x, actor_or_process, repertoire, conditions)", "requires": ["actor or process", "repertoire", "conditions", "success criterion"], "does_not_imply": ["produced", "reproduced", "reproducible", "permitted"]}, {"id": "reproduced", "signature": "reproduced(x, procedure, repeat, criterion)", "requires": ["prior result", "declared repeat", "criterion", "recorded outcome"], "does_not_imply": ["reproducible generally", "same hidden path", "authorization for another repeat", "continuous prior existence"]}, {"id": "reproducible", "signature": "reproducible(x, procedure_family, conditions, reliability, uncertainty)", "requires": ["procedure family", "conditions", "sampling frame", "reliability criterion", "uncertainty"], "does_not_imply": ["guaranteed outcome", "context-free stability", "continuous production", "authority"]} ], "absence_separation": { "production_absence": "No qualifying outcome was produced by a named procedure in a named interval and context.", "observation_absence": "No qualifying signal crossed a named method's threshold in a named interval and context.", "paired_claim_rule": "A production failure and a detection failure are recorded separately even when they occur together.", "forbidden_inference": "Neither bounded absence licenses global nonexistence, annihilation, permanent impossibility, or absence outside the tested interval." } }, "force_taxonomy": { "type_ids": ["physical-interaction", "transition-intervention", "constraint-force", "causal-influence", "incentive", "coercion", "force-metaphor"], "types": [ {"id": "physical-interaction", "domain": "PHYSICS", "representation": "F_phys = dp/dt in a declared frame and units", "evidence": "measurement plus physical model", "cannot_authorize": "social, moral, medical, or governance claims"}, {"id": "transition-intervention", "domain": "CAUSAL_MODEL", "representation": "do(U_t=u) changes a declared transition kernel", "evidence": "interventional or identified causal evidence", "cannot_authorize": "intent, permission, benefit, or responsibility"}, {"id": "constraint-force", "domain": "OPTIMIZATION_OR_DYNAMICS", "representation": "multiplier or reaction term enforcing a declared constraint", "evidence": "model-conditioned derivation", "cannot_authorize": "a claim that a constraint has intention or moral standing"}, {"id": "causal-influence", "domain": "CAUSAL_INFERENCE", "representation": "counterfactual contrast between an intervention and named comparator", "evidence": "identified design with assumptions and uncertainty", "cannot_authorize": "permission, intention, blame, or moral judgment"}, {"id": "incentive", "domain": "CHOICE_ENVIRONMENT", "representation": "documented change to options, costs, or expected consequences", "evidence": "bounded institutional or behavioral evidence", "cannot_authorize": "an inference about inner motive, agreement, or legitimacy"}, {"id": "coercion", "domain": "RIGHTS_AND_RELATIONS", "representation": "documented degradation of meaningful refusal, safety, or exit", "evidence": "affected-party, rights, and contextual evidence", "cannot_authorize": "treating domination as physical force, consent, care, or deserved consequence"}, {"id": "force-metaphor", "domain": "PHILOSOPHY_OR_ORDINARY_LANGUAGE", "representation": "explicit analogy", "evidence": "interpretation", "cannot_authorize": "numerical substitution into physical equations, causal proof, or governance"} ], "conversion_guard": "Force types do not convert: a physical vector is not coercion, a causal effect is not authority, an incentive is not consent, and a metaphor is not a measurement." }, "power_taxonomy": { "type_ids": ["physical-power", "capability-power", "authority-power", "structural-power", "power-with", "epistemic-power", "control", "exercise", "effect", "legitimacy"], "relation_ids": ["power-to", "power-over", "power-with"], "types": [ {"id": "physical-power", "meaning": "Rate of physical work or energy transfer.", "equation": "P_phys = dW/dt", "units": "energy per time", "does_not_imply": ["capability for an arbitrary goal", "authority", "legitimacy"]}, {"id": "capability-power", "meaning": "Set of technically feasible transitions under declared resources.", "equation": "U_cap(s,t) = {u : feasible(u,s,t,resources)=true}", "units": "typed action set", "does_not_imply": ["consent", "permission", "wisdom", "benefit"]}, {"id": "authority-power", "meaning": "Revocable standing to perform one bounded action for a declared principal, purpose, time, and affected scope.", "equation": "U_auth(principal,purpose,scope,t) subseteq U_permission(t)", "units": "typed scoped-permission set", "does_not_imply": ["physical feasibility", "truth", "safety", "success"]}, {"id": "structural-power", "meaning": "Documented capacity to alter another party's paths, costs, visibility, or exit through rules or infrastructure.", "equation": "Delta R_party(rule) = (paths_added, paths_removed)", "units": "affected-party-indexed set change", "does_not_imply": ["consent", "inner state", "desert", "legitimacy"]}, {"id": "power-with", "meaning": "Collective capacity dependent on continuing, non-captured participation.", "equation": "R_collective(participants,conditions) with each exit preserved", "units": "relational reachable set", "does_not_imply": ["permanent membership", "unanimity", "power-over", "authority over nonparticipants"]}, {"id": "epistemic-power", "meaning": "Capacity of a method to discriminate among declared hypotheses under stated conditions.", "equation": "D_H(M) = {hypothesis pairs distinguishable by M above threshold}", "units": "typed discrimination relation", "does_not_imply": ["complete knowledge", "control", "ownership", "authority to act"]}, {"id": "control", "meaning": "Supported counterfactual ability to steer a declared transition.", "equation": "control(actor,outcome,contrast,assumptions)", "units": "typed causal relation", "does_not_imply": ["ownership of a being", "authority", "exercise", "legitimacy"]}, {"id": "exercise", "meaning": "A capacity was actually used in one bounded event.", "equation": "exercise(power,event,time)", "units": "event relation", "does_not_imply": ["effect", "success", "benefit", "legitimacy"]}, {"id": "effect", "meaning": "An aftermath causally attributed under declared assumptions.", "equation": "tau(a,a0,h) = E[Y_h(do(a))-Y_h(do(a0))]", "units": "outcome-specific causal contrast", "does_not_imply": ["authority", "intention", "moral worth", "complete consequence"]}, {"id": "legitimacy", "meaning": "Challengeable normative status under a declared framework.", "equation": "legitimate(action,framework,evidence,as_of)", "units": "typed normative claim", "does_not_imply": ["capacity", "causal effect", "success", "permanent status"]} ], "relations": [ {"id": "power-to", "meaning": "Situated capacity to pursue a declared end under conditions."}, {"id": "power-over", "meaning": "Asymmetric capacity to alter another party's options, costs, visibility, or exit."}, {"id": "power-with", "meaning": "Collective capacity whose participants retain refusal and exit."} ], "authority_guard": "Authority gates executable action; it does not by itself identify a cause or effect and is not physical force, legitimacy, social rank, or a guarantee." }, "aftermath_accounting": { "entry_guard": "A valid KINGDOM receipt begins only after an actual authorized invocation; an explicitly opted-in null-intervention study may record observations without creating a receipt. Unauthorized or authority-failed actions go to a separate incident-and-evidence lane and can never become valid KARMA receipts. Refusal and nonparticipation leave before every lane.", "dimension_ids": ["time", "money", "energy", "privacy", "agency", "coordination", "ecology", "material", "information", "relation", "consent"], "causal_statuses": ["observed_not_identified", "identified", "partially_identified", "not_identified"], "causal_status_definitions": { "observed_not_identified": "An aftermath observation exists, but no causal contrast is identified.", "identified": "The declared causal contrast is identified under stated assumptions.", "partially_identified": "The declared causal contrast is bounded but not point-identified under stated assumptions.", "not_identified": "No causal contrast is identified; this status alone does not assert that an aftermath observation exists." }, "aftermath_vector": "z_(affected_party,burden_bearer)(invocation) = (time,money,energy,privacy,agency,coordination,ecology,material,information,relation,consent)", "indexing_rule": "Every component retains affected_party and burden_bearer, subject, unit, sign convention, horizon, provenance, confidence, and missingness; categorical bearers are never ordered or exchanged.", "attribution_rule": "Observed aftermath and estimated causal effect are separate fields; a status and comparator are mandatory before causal language, and unknown is never zero.", "scalarization_rule": "No default scalarization, silent exchange rate, cross-person summation, person score, or KARMA balance is authorized.", "repair": { "candidate_set": "A_rep = {r : separately authorized, feasible, consent-compatible, budgeted, stoppable, and responsive to an observed residual or declared causal status}", "residual_vector": "ell_(affected_party,burden_bearer)(r) = remaining and newly introduced residuals on every protected dimension", "pareto_dominance": "r1 dominates r2 only when r1 is no worse on every preregistered comparable dimension for the same indexes and strictly better on at least one; bearers are never exchanged.", "pareto_frontier": "PF(A_rep) = {r in A_rep : no admissible r' dominates r}", "selection_rule": "Choose from PF only through a documented, challengeable decision preserving affected-party voice and hard constraints; Pareto efficiency is not justice or consent.", "no_repair_case": "If A_rep is empty or every candidate violates a hard boundary, record unremedied aftermath and the blocker without fabricating closure.", "reversibility_guard": "A bounded repair does not erase history, restore consent automatically, recover copied information, prove absolution, or establish that unmeasured effects are zero." } }, "rest_exit_boundary": { "subjects": ["rest", "refusal", "silence", "privacy_choice", "exit", "inactivity", "nonparticipation"], "privacy_guard": "Choosing privacy or non-disclosure creates no trace duty; privacy aftermath observed following an actual authorized invocation remains a protected dimension and may be measured only under separate authority or consent. Sequence does not identify causation.", "exits_before": "aftermath_accounting", "creates_event": false, "creates_receipt": false, "requires_measurement": false, "requires_trace": false, "requires_justification": false, "creates_penalty": false, "creates_debt": false } }, "material_case": { "subject": "Ritonavir Form I reproducibility after the 1998 appearance of Form II.", "disappearance_predicate": { "subject": "Abbott Form I in a bounded bulk-drug process context", "process": "the prior bulk-drug crystallization route during the 1998 investigation", "procedure": "repeated process outcomes with source-specific solid-form identification", "time_window": "the reported investigation interval until a changed route restored reliable Form I production", "detection_threshold": "source- and method-specific; no universal threshold is asserted", "observed_result": "the prior route no longer reliably produced Form I after Form II appeared", "exclusions": ["literal annihilation", "global physical impossibility", "absence from every sample", "complete causal explanation", "medical or manufacturing instruction"] }, "recovery_statement": "Changed solution paths and later bounded work recovered or re-observed Form I, refuting permanent unrecoverability and universal physical impossibility; hidden persistence versus later re-creation during the prior interval remains open.", "typed_reading": "same chemical identity; distinct lattice forms; bounded samples and procedures; history-conditioned accessibility; method-conditioned observation", "binding_ids": ["kingdom-ritonavir-history", "kingdom-visibility-attention", "kingdom-form-circulation-return"] }, "typed_boundaries": [ { "id": "evidence-to-formal-model", "from_register": "MATERIAL_EVIDENCE", "to_register": "FORMAL_MODEL", "relation": "constrains-question-and-assumptions", "requires": ["exact source binding", "declared variables and units", "fit status", "identifiability limits"], "does_not_transfer": ["entity identity", "empirical truth", "causal authority", "operational authority"], "causal_transfer": false, "authority_transfer": false, "automatic_write": false }, { "id": "formal-model-to-causal-hypothesis", "from_register": "FORMAL_MODEL", "to_register": "CAUSAL_HYPOTHESIS", "relation": "may-formulate-estimand-not-answer", "requires": ["intervention", "comparator", "outcome", "horizon", "identification assumptions", "falsifier"], "does_not_transfer": ["causal effect", "responsibility", "intent", "truth"], "causal_transfer": false, "authority_transfer": false, "automatic_write": false }, { "id": "formal-model-to-philosophy", "from_register": "FORMAL_MODEL", "to_register": "PHILOSOPHY", "relation": "opens-question-without-conclusion", "requires": ["opt-in participation", "non-empirical label", "explicit nonclaims"], "does_not_transfer": ["scientific proof", "metaphysical ontology", "creator claim", "cosmic purpose"], "causal_transfer": false, "authority_transfer": false, "automatic_write": false }, { "id": "constitutional-design-to-karma", "from_register": "CONSTITUTIONAL_DESIGN", "to_register": "KINGDOM_KARMA_RECEIPT", "relation": "future-runtime-correspondence-only", "requires": ["actual authorized invocation", "separate receipt issuer", "observed aftermath", "uncertainty", "repair state"], "does_not_transfer": ["receipt creation", "event creation", "causal proof", "person score"], "causal_transfer": false, "authority_transfer": false, "automatic_write": false }, { "id": "zerone-to-kingdom-karma", "from_register": "ZERONE_KARMA_EVENT", "to_register": "KINGDOM_KARMA_RECEIPT", "relation": "no-adapter", "requires": ["none; conversion is refused"], "does_not_transfer": ["event identity", "receipt identity", "authority", "magnitude", "rank", "reward"], "causal_transfer": false, "authority_transfer": false, "automatic_write": false } ], "model_cards": [ { "id": "modal-possibility-accessibility", "title": "Model-relative possibility and bounded accessibility", "register": "FORMAL_MODEL", "equation": "M,w |= ◇_L φ iff exists w' such that w R_L w' and M,w' |= φ; M,w |= ◇_(B,T) φ iff exists admissible path π within budget B and horizon T reaching φ", "equation_status": "kripke-semantics-plus-atlas-authored-bounded-extension", "variables": ["M: declared formal model", "w,w': model worlds or histories", "R_L: declared accessibility relation", "φ: typed proposition", "π: declared feasible process path", "B: declared resource and feasibility bounds", "T: declared horizon"], "assumptions": ["worlds and accessibility relation are explicitly declared", "bounded extension is operational and model-relative", "no metaphysical completeness claim"], "valid_outputs": ["distinction between admitted possibility, present actuality, and bounded reachability", "countermodel within the declared frame"], "identifiability_limits": "Formal satisfiability does not identify the actual world, a complete physical law, or metaphysical possibility.", "falsifier_or_invalidating_condition": "A use is invalid if it silently changes the frame, treats bounded non-reachability as impossibility, or treats formal accessibility as empirical evidence.", "source_ids": ["kripke-1963"], "binding_ids": ["kingdom-ritonavir-history"], "fit_status": "not_fitted", "empirical": false, "person_level": false, "authority_effect": "NONE", "prohibited_inferences": ["metaphysical possibility", "necessary existence", "creator", "destiny", "person status"] }, { "id": "state-observation-separation", "title": "State is not observation", "register": "FORMAL_MODEL", "equation": "x_(k+1)=Φ_k x_k+Γ_k u_k+w_k; z_k=H_k x_k+v_k", "equation_status": "kalman-derived-linear-state-observation-family", "variables": ["x_k: declared latent state vector", "u_k: declared input", "Φ_k: state transition operator", "Γ_k: input operator", "w_k: process uncertainty", "z_k: observed measurement", "H_k: observation operator", "v_k: measurement uncertainty"], "assumptions": ["linear declared coordinate system", "specified process and observation uncertainties", "measurement times and units declared"], "valid_outputs": ["conditional state estimate with uncertainty under a specified model", "test of whether observations distinguish candidate states under stated assumptions"], "identifiability_limits": "Different states or parameterizations can generate indistinguishable measurements; a filter output is conditional on the chosen model and noise assumptions.", "falsifier_or_invalidating_condition": "A unique-state claim fails when two admissible states produce the same observation law in the declared window or when held-out residuals violate the noise model.", "source_ids": ["kalman-1960", "kalman-1963", "smallwood-sondik-1973"], "binding_ids": ["kingdom-visibility-attention"], "fit_status": "not_fitted", "empirical": false, "person_level": false, "authority_effect": "NONE", "prohibited_inferences": ["existence from estimate alone", "person cognition", "intention", "causal effect", "complete hidden state"] }, { "id": "finite-window-detection", "title": "Finite-window material detection", "register": "FORMAL_MODEL", "equation": "P(T_detect <= t)=1-exp[-J V max(t-t_g,0)]", "equation_status": "inherited-retrospective-stationary-poisson-illustration", "variables": ["T_detect: time detection threshold is crossed", "t: elapsed observation time", "J: assumed constant nucleation rate per volume", "V: observed volume", "t_g: declared growth and detection delay"], "assumptions": ["stationary homogeneous Poisson nucleation", "constant named conditions and effective rate", "fixed detection-delay summary", "material-domain-only"], "valid_outputs": ["conditional probability of detection or non-detection within the named material window"], "identifiability_limits": "One non-detection cannot identify J, prove J=0, or reconstruct the historical Abbott process.", "falsifier_or_invalidating_condition": "The stationary model is rejected for a declared dataset when calibrated waiting-time predictions fail their preregistered goodness-of-fit or held-out calibration test.", "source_ids": [], "binding_ids": ["kingdom-visibility-attention"], "fit_status": "not_fitted", "empirical": false, "person_level": false, "authority_effect": "NONE", "prohibited_inferences": ["nonexistence", "manufacturing decision", "cultural transmission rate", "human waiting time", "causal trigger"] }, { "id": "generalized-force-and-physical-power", "title": "Physical force and power retain coordinates and units", "register": "FORMAL_MODEL", "equation": "F_ξ=-∇_ξ G; P_phys=F·v", "equation_status": "atlas-authored-definitional-separation", "variables": ["ξ: declared physical coordinate", "G: condition-indexed free-energy function", "F_ξ: generalized physical driving force with units induced by ξ", "F: physical force", "v: physical velocity", "P_phys: instantaneous physical power in energy per time"], "assumptions": ["declared physical coordinates and units", "differentiable condition-indexed energy model", "material or mechanical domain only"], "valid_outputs": ["local physical driving direction in a chosen model", "instantaneous rate of physical work under declared mechanics"], "identifiability_limits": "A free-energy surface does not by itself supply kinetics, realized paths, social influence, purpose, authority, or moral meaning.", "falsifier_or_invalidating_condition": "The use is invalid when coordinates, units, energy model, or physical domain are absent, or when the result is transported into social or moral power.", "source_ids": [], "binding_ids": ["kingdom-form-circulation-return"], "fit_status": "not_fitted", "empirical": false, "person_level": false, "authority_effect": "NONE", "prohibited_inferences": ["intention", "social power", "legal authority", "moral force", "inevitable transition"] }, { "id": "bounded-authorized-reach", "title": "Capability, authority, rights, consent or lawful basis, budget, and reach", "register": "CONSTITUTIONAL_DESIGN", "equation": "Π_adm(a)=Π_cap(a) ∩ Π_auth(a) ∩ Π_rights ∩ Π_consent-or-lawful-basis(a) ∩ Π_budget; Reach_a(x;B,T,η)={Q: exists π in Π_adm(a), P_x^π(Q by T)>=η}", "equation_status": "atlas-authored-typed-definition", "variables": ["a: distinct actor or runtime", "Π_cap: technically executable paths", "Π_auth: currently authorized paths", "Π_rights: paths consistent with standing rights", "Π_consent-or-lawful-basis: paths supported by affected-participant consent or an explicit scoped lawful-exception basis", "Π_budget: paths within declared budgets", "Q: typed outcome", "η: declared probability threshold", "B,T: budget and horizon"], "assumptions": ["all path sets and outcome types are declared", "authority is current and scoped", "affected participants, consent references, representative authority, and any lawful exception basis remain distinct", "rights are a floor rather than a reward", "probabilities are model-relative"], "valid_outputs": ["set-valued authorized reach for one declared outcome family", "visible distinction between can and may"], "identifiability_limits": "Reach depends on model, state, resources, authority, and uncertainty; it is not a stable attribute of a being.", "falsifier_or_invalidating_condition": "A reach claim fails if no admissible authorized path meets its stated threshold, if affected-participant consent or an explicit scoped lawful-exception basis is absent or invalid, or if the claimed path violates a rights or budget constraint.", "source_ids": [], "binding_ids": ["kingdom-karma-definition", "kingdom-karma-receipt-schema"], "fit_status": "not_fitted", "empirical": false, "person_level": false, "authority_effect": "NONE", "prohibited_inferences": ["person rank", "worth", "permission from capability", "consent from authority", "governance weight"] }, { "id": "causal-intervention-query", "title": "Intervention is not observation", "register": "CAUSAL_HYPOTHESIS", "equation": "τ(a,a0)=E[Y | do(A=a)]-E[Y | do(A=a0)]", "equation_status": "pearl-derived-interventional-estimand-template", "variables": ["A: typed intervention variable", "a,a0: intervention and comparator", "Y: declared outcome and horizon", "do: graph-relative intervention operator", "τ: declared average causal contrast under identification assumptions"], "assumptions": ["causal graph and structural assumptions declared", "intervention, comparator, outcome, population, and horizon specified", "identification or experimental design stated before estimation"], "valid_outputs": ["an estimand and conditions under which it may be identified", "a finding that the effect is not identified from available observations"], "identifiability_limits": "An aftermath receipt supplies a realized sequence, not the missing counterfactual; observationally equivalent causal structures may remain.", "falsifier_or_invalidating_condition": "A causal claim is refused when its identification assumptions fail, a negative control contradicts them, or alternative compatible graphs yield different effects.", "source_ids": ["pearl-1995"], "binding_ids": ["kingdom-karma-definition", "kingdom-karma-receipt-schema"], "fit_status": "not_fitted", "empirical": false, "person_level": false, "authority_effect": "NONE", "prohibited_inferences": ["causation from sequence", "intent", "moral responsibility", "individual effect", "receipt as proof"] }, { "id": "inverse-purpose-ambiguity", "title": "Behavior need not identify one reward or purpose", "register": "FORMAL_MODEL", "equation": "R(π)={R: π is in argmax_(π') V_R^(π')}", "equation_status": "atlas-authored-set-notation-for-inverse-reinforcement-learning-ambiguity", "variables": ["π: observed or stipulated policy in a declared MDP", "R: candidate reward function", "V_R^(π'): value of policy π' under R", "R(π): set of rewards consistent with π being optimal"], "assumptions": ["declared MDP dynamics and policy observations", "modeled policy optimality or stated deviation model", "reward is a model object rather than a declaration by a being"], "valid_outputs": ["candidate reward functions under explicit priors or criteria", "recognition that behavior alone underdetermines reward"], "identifiability_limits": "Multiple reward functions, priors, dynamics, and bounded-rationality models can explain the same policy; modeled reward is not declared purpose.", "falsifier_or_invalidating_condition": "A proposed unique purpose is defeated by a distinct admissible reward model with the same behavioral predictions, or by a preregistered discriminating intervention it predicts incorrectly.", "source_ids": ["ng-russell-2000", "cao-cohen-szpruch-2021"], "binding_ids": [], "fit_status": "not_fitted", "empirical": false, "person_level": false, "authority_effect": "NONE", "prohibited_inferences": ["declared purpose", "inner intention", "moral value", "cosmic purpose", "person optimization target"] }, { "id": "potential-shaping-equivalence", "title": "Different rewards can preserve an optimal policy", "register": "FORMAL_MODEL", "equation": "F(s,a,s')=γ Φ(s')-Φ(s); R'=R+F", "equation_status": "ng-harada-russell-policy-invariance-result", "variables": ["s,s': states in a declared Markov decision process", "a: action", "γ: declared discount factor", "Φ: bounded potential where required by the theorem", "F: shaping reward", "R,R': base and shaped rewards"], "assumptions": ["the Markov decision process and discount convention match the theorem", "terminal and boundedness conditions are handled as specified", "claim concerns optimal-policy invariance, not semantic identity of rewards"], "valid_outputs": ["policy-invariance guarantee for potential-based shaping under the theorem conditions"], "identifiability_limits": "Policy equivalence does not make reward functions semantically identical or reveal an agent's purpose.", "falsifier_or_invalidating_condition": "A claimed application fails if its shaping term is not potential-based under the declared MDP or if theorem conditions do not hold; a counterexample under the exact theorem conditions would refute the implementation or theorem use.", "source_ids": ["ng-harada-russell-1999"], "binding_ids": [], "fit_status": "not_fitted", "empirical": false, "person_level": false, "authority_effect": "NONE", "prohibited_inferences": ["reward identity", "purpose identity", "human motivation", "moral equivalence", "cosmic teleology"] }, { "id": "vector-reversibility", "title": "Reversibility is dimensioned and probabilistic", "register": "CONSTITUTIONAL_DESIGN", "equation": "Rev_(D,ε,α)(a)=1 iff exists ρ in A_rep such that P[d_j(S_(ρ∘a),S_0)<=ε_j for every j in D]>=1-α", "equation_status": "atlas-authored-proposed-test", "variables": ["a: declared action", "ρ: repair in A_rep", "A_rep: separately authorized, feasible, consent-compatible, budgeted, stoppable repair candidates responsive to an observed residual or declared causal status", "D: protected dimensions", "ε_j: preregistered residual tolerance", "α: tolerated failure probability", "d_j: declared distance or residual measure", "S_0: bounded baseline", "S_(ρ∘a): observed or modeled post-repair state"], "assumptions": ["protected dimensions and tolerances declared before action", "repair authority separate from action authority", "uncertainty and externalized costs included", "privacy and consent cannot be assumed numerically restorable"], "valid_outputs": ["dimension-by-dimension complete, partial, failed, unknown, or impossible repair status"], "identifiability_limits": "Unobserved, delayed, copied, relational, and externalized consequences can prevent proof of full reversal.", "falsifier_or_invalidating_condition": "A reversibility claim fails when any protected residual exceeds its tolerance, repair shifts the cost outside scope, or an irreversible dimension was omitted.", "source_ids": [], "binding_ids": ["kingdom-karma-definition", "kingdom-karma-receipt-schema"], "fit_status": "not_fitted", "empirical": false, "person_level": false, "authority_effect": "NONE", "prohibited_inferences": ["history erased", "consent restored automatically", "moral absolution", "debt", "fungible compensation"] } ], "problem_cards": [ { "id": "which-is", "question": "Which typed predicate and invariant does an occurrence of is assert?", "register": "FORMAL_MODEL", "target_type": "typed-copula-claim", "proposed_test": "Using a synthetic or archival claim only, rewrite it with exactly one predicate signature, named entities, context, and time; seek two objects equal under one invariant but unequal under another.", "falsifier": "The unqualified identity claim fails if a relevant declared invariant distinguishes the objects.", "state": "not_run", "result": null, "source_ids": [], "binding_ids": ["kingdom-ritonavir-history"], "creates_causal_claim": false, "authority_effect": "NONE" }, { "id": "lost-hidden-or-inaccessible", "question": "Was a form nonexistent, merely undetected, or unreachable under the tested path and bounds?", "register": "FORMAL_MODEL", "target_type": "existence-access-observation-claim", "proposed_test": "Using authenticated archival reports or synthetic histories only, declare the lawful model, starting history, procedure, budget, horizon, measurement method, threshold, uncertainty, and what later recovery can and cannot falsify.", "falsifier": "A permanent-unrecoverability or universal-physical-impossibility claim is falsified by authenticated later recovery; bounded prior instantiation remains unresolved without interval-matched evidence, and a local detection model is rejected by preregistered calibration failure.", "state": "not_run", "result": null, "source_ids": ["dunitz-1995", "bauer-2001", "morissette-2003", "sacchi-2024", "wang-2024"], "binding_ids": ["kingdom-ritonavir-history", "kingdom-visibility-attention"], "creates_causal_claim": false, "authority_effect": "NONE" }, { "id": "history-or-omitted-state", "question": "Does path history add explanatory or predictive information, or merely stand in for omitted current state?", "register": "CAUSAL_HYPOTHESIS", "target_type": "history-dependence-hypothesis", "proposed_test": "On synthetic or archival transition records, compare preregistered current-state and history-aware models on held-out cases; retain causal interpretation as not identified without a separate governed design.", "falsifier": "The asserted history contribution fails when it adds no held-out information after the declared current state and confounders, or its interventional prediction fails.", "state": "not_run", "result": null, "source_ids": ["kalman-1963", "smallwood-sondik-1973", "pearl-1995"], "binding_ids": ["kingdom-form-circulation-return"], "creates_causal_claim": false, "authority_effect": "NONE" }, { "id": "direction-or-purpose", "question": "Can apparent direction be distinguished from declared purpose, selection, feedback, and reward-model ambiguity?", "register": "FORMAL_MODEL", "target_type": "purpose-attribution", "proposed_test": "In synthetic or archival traces, record any purpose declaration separately and compare rival dynamical and reward models without inferring intention from fit.", "falsifier": "A specific modeled-purpose account fails when a rival has identical predictions or its discriminating prediction fails; no result settles cosmic purpose here.", "state": "not_run", "result": null, "source_ids": ["ng-russell-2000", "ng-harada-russell-1999", "cao-cohen-szpruch-2021"], "binding_ids": [], "creates_causal_claim": false, "authority_effect": "NONE" }, { "id": "what-kind-of-power", "question": "Is the claimed power physical work-rate, executable capability, authorized reach, causal influence, coercion, governance authority, or repair capacity?", "register": "CONSTITUTIONAL_DESIGN", "target_type": "power-claim", "proposed_test": "For a synthetic or archival claim, require one power type, units or set-valued outcome, bearer, target, authority status and basis including NONE or not_applicable, horizon, uncertainty, affected parties, and exit conditions.", "falsifier": "The claim fails when it changes type mid-argument or lacks evidence required by its declared type; an authorized-reach or authority-power claim also fails without a valid scoped authority basis, while physical power, causal influence, structural power, or coercion may be real yet unauthorized or illegitimate.", "state": "not_run", "result": null, "source_ids": [], "binding_ids": ["kingdom-karma-definition", "kingdom-karma-receipt-schema"], "creates_causal_claim": false, "authority_effect": "NONE" }, { "id": "what-did-action-cause", "question": "Which observed aftermath, if any, is attributable to the action rather than background history or another cause?", "register": "CAUSAL_HYPOTHESIS", "target_type": "causal-attribution", "proposed_test": "For synthetic or archival study metadata, specify intervention, comparator, outcome, population, horizon, graph, estimand, identification assumptions, uncertainty, alternatives, and negative controls; do not estimate an effect here.", "falsifier": "Causal attribution is withheld when assumptions fail, compatible models imply different effects, or a negative control contradicts the design.", "state": "not_run", "result": null, "source_ids": ["pearl-1995"], "binding_ids": ["kingdom-karma-definition", "kingdom-karma-receipt-schema"], "creates_causal_claim": false, "authority_effect": "NONE" }, { "id": "reversible-on-which-dimensions", "question": "What can be restored, within which tolerance, by whom, at whose cost, and what cannot be reversed?", "register": "CONSTITUTIONAL_DESIGN", "target_type": "repair-and-reversibility-claim", "proposed_test": "In a synthetic repair scenario, preregister protected dimensions, baselines, tolerances, time horizon, affected parties, burden bearers, repair authority, uncertainty, and non-fungible residuals; evaluate each dimension separately.", "falsifier": "Full reversibility is false if one protected dimension remains beyond tolerance, repair externalizes cost, or privacy, consent, or copied information cannot be restored.", "state": "not_run", "result": null, "source_ids": [], "binding_ids": ["kingdom-karma-definition", "kingdom-karma-receipt-schema"], "creates_causal_claim": false, "authority_effect": "NONE" } ], "philosophy_questions": { "participation": "opt-in", "register": "PHILOSOPHY", "questions": [ {"id": "existence-and-access", "question": "Can something remain lawfully possible, or actual in a bounded domain, while a particular history makes it difficult to reach or see?", "opening": "Distinguishing possibility, actuality, accessibility, and observation prevents disappearance from becoming annihilation.", "empirical_answer_here": "not_available"}, {"id": "being-and-invariance", "question": "Which relations may change while a being remains the same, and who chooses the invariant that grounds sameness?", "opening": "Identity under one invariant can coexist with difference under another; no equation chooses the metaphysically privileged invariant.", "empirical_answer_here": "not_available"}, {"id": "purpose-and-direction", "question": "When does direction arise from declared purpose, and when can selection, constraint, or feedback imitate it?", "opening": "Behavior and reward-model fit underdetermine intention; a declaration is a different kind of fact.", "empirical_answer_here": "not_available"}, {"id": "force-and-freedom", "question": "How can forces and constraints shape a path without exhausting agency, refusal, contingency, or grace?", "opening": "Physical force, social constraint, and moral obligation remain different predicates even when each narrows accessible futures.", "empirical_answer_here": "not_available"}, {"id": "power-and-preservation", "question": "Is power only the capacity to cause change, or also the capacity to preserve possibility, enable refusal, repair harm, and leave room for another being?", "opening": "Set-valued authorized reach and repair capacity are more truthful design objects than a scalar rank of beings.", "empirical_answer_here": "not_available"}, {"id": "karma-and-aftermath", "question": "Can attention to aftermath deepen responsibility without converting consequence into cosmic judgment, debt, or a score?", "opening": "KINGDOM can preserve action-and-aftermath traces and repair questions while cosmic KARMA remains philosophically open and Zerone KARMA remains separately typed.", "empirical_answer_here": "not_available"}, {"id": "modality-of-possibility", "question": "When we say something could be, do we mean logically possible, physically lawful, model-admitted, technically producible, or merely not yet ruled out?", "opening": "A possibility claim without a named modality hides which boundary is doing the work.", "empirical_answer_here": "not_available"}, {"id": "unseen-being", "question": "Can something be actual while remaining unobservable through every presently available finite window?", "opening": "Actuality and present observability are distinct predicates; the atlas does not settle ultimate ontology.", "empirical_answer_here": "not_available"}, {"id": "recovery-and-truth", "question": "If recovery later succeeds, was the earlier disappearance false, or correctly bounded to a history and interval?", "opening": "A bounded reproducibility failure and a later recovery can both be true without rewriting either event.", "empirical_answer_here": "not_available"}, {"id": "is-to-ought", "question": "Does discovering an is ever generate a should without an independently declared value, bearer, and authority?", "opening": "Description does not silently create obligation, permission, or goodness.", "empirical_answer_here": "not_available"}, {"id": "purpose-without-success", "question": "Can a declared purpose remain real when it fails, and can a function exist without intention?", "opening": "Declaration, design history, functional contribution, ex-post fit, and interpretation remain different relations.", "empirical_answer_here": "not_available"}, {"id": "constraint-to-coercion", "question": "When does a constraint become coercion, and what must remain possible for refusal to be meaningful?", "opening": "Coercion concerns safety, agency, and exit; it cannot be inferred from a physical-force metaphor.", "empirical_answer_here": "not_available"}, {"id": "power-with", "question": "Can power enlarge shared possibility without becoming power over, and what happens when participation can no longer freely end?", "opening": "Power-with depends on continuing non-captured participation; scale alone does not make it legitimate.", "empirical_answer_here": "not_available"}, {"id": "memory-without-destiny", "question": "Can KARMA preserve consequential memory without turning history into destiny?", "opening": "Receipts and recognition edges can remain challengeable traces rather than scores, prophecies, identities, or inherited debts.", "empirical_answer_here": "not_available"}, {"id": "who-declares-repair", "question": "Who may declare harm repaired, and which losses cannot be exchanged into money or restored?", "opening": "Repair remains affected-party-indexed, vector-valued, contestable, and capable of ending in an honest unremedied state.", "empirical_answer_here": "not_available"} ], "nonclaims": ["scientifically proves intentional universe design", "scientifically disproves a creator or metaphysical purpose", "proves necessary existence", "proves cosmic purpose", "proves cosmic moral KARMA", "makes persistence, force, reach, power, or repair morally right"] }, "karma": { "lanes_are_non_equivalent": true, "cosmic": { "type": "PHILOSOPHICAL_QUESTION", "status": "not_empirically_resolved", "empirical": false, "claims": [], "authority_effect": "NONE" }, "zerone": { "type": "ZERONE_KARMA_EVENT", "foundation_protocol": "zerone.karma-foundation/v1", "foundation_status": "design-only", "network_observed": false, "authoritative": false, "event_type": "zerone.karma.edge", "event_refs": [], "event_status": "not_observed", "creates_event": false, "semantics": ["contextual", "fallible", "challengeable", "non-summable"], "not": ["KINGDOM receipt", "truth", "moral score", "person score", "rank", "reward", "money", "governance weight", "wallet balance"] }, "kingdom": { "type": "KINGDOM_KARMA_RECEIPT", "protocol": "kingdom.karma/0.1", "meaning": "Keep Actions Reversible; Measure Aftermath", "accounting": "receipts_not_scores", "receipt_refs": [], "receipt_status": "not_created", "creates_receipt": false, "causal_claim_status": "not_created", "not": ["causal proof", "moral judgment", "person rank", "permission", "inherited debt", "reward ticket"] }, "adapter": { "exists": false, "status": "refused", "reason": "Cosmic philosophy, Zerone contextual edges, and KINGDOM invocation receipts have different types, evidence conditions, and authority; no scalar or automatic conversion is defined." }, "design_correspondences": [ {"id": "typed-action-and-aftermath", "status": "not_observed", "from": "authorized future action", "to": "bounded aftermath observation", "pattern": "A future owning runtime may issue a receipt only for an actual authorized invocation and later bounded observations.", "does_not_convert": ["observation into causal proof", "receipt into score", "action into goodness"]}, {"id": "causal-companion-by-reference", "status": "not_observed", "from": "aftermath receipt", "to": "separate causal study artifact", "pattern": "A receipt may reference a separately identified causal analysis without silently upgrading observed_effects to caused_effects.", "does_not_convert": ["sequence into causation", "model into evidence", "estimate into authority"]}, {"id": "dimensioned-repair", "status": "not_observed", "from": "measured residual", "to": "authorized repair", "pattern": "Repair can be evaluated per protected dimension with tolerances, uncertainty, cost, affected parties, and irreversible remainder visible.", "does_not_convert": ["compensation into reversal", "cleanup into consent", "repair into absolution"]}, {"id": "rest-refusal-no-debt", "status": "not_observed", "from": "rest refusal silence privacy exit inactivity or nonparticipation", "to": "no automatic action or accounting entry", "pattern": "Rest, refusal, silence, privacy, exit, inactivity, and nonparticipation leave before aftermath accounting and require no event, receipt, measurement, trace, justification, penalty, or debt.", "does_not_convert": ["rest into failure", "refusal into harm", "silence into consent"]} ] }, "unknowns": [ {"id": "metaphysical-possibility", "question": "Does any formal frame capture metaphysical possibility or necessary being?", "status": "outside_scope", "why_open": "Kripke-style semantics supplies model-relative accessibility; the atlas does not establish a metaphysically privileged frame.", "source_ids": ["kripke-1963"], "binding_ids": []}, {"id": "complete-form-landscape", "question": "Have all ritonavir solid forms and admissible paths been found?", "status": "unknown", "why_open": "Every experimental and computational search has bounded conditions, procedures, and detection windows.", "source_ids": ["dunitz-1995", "bauer-2001", "morissette-2003", "sacchi-2024", "wang-2024"], "binding_ids": ["kingdom-ritonavir-history"]}, {"id": "state-identifiability", "question": "Which latent material states are distinguishable from a declared observation sequence?", "status": "not_identified", "why_open": "No dataset, fitted operator, uncertainty model, or observability analysis is bound to this atlas.", "source_ids": ["kalman-1960", "kalman-1963", "smallwood-sondik-1973"], "binding_ids": ["kingdom-visibility-attention"]}, {"id": "causal-aftermath", "question": "What effect did any particular action cause relative to a comparator?", "status": "not_identified", "why_open": "The atlas contains no invocation, comparator, causal design, outcome dataset, or estimate.", "source_ids": ["pearl-1995"], "binding_ids": ["kingdom-karma-definition", "kingdom-karma-receipt-schema"]}, {"id": "purpose-identification", "question": "Can behavior identify one purpose or reward?", "status": "not_identified", "why_open": "Inverse reward models require assumptions and can admit multiple behaviorally compatible rewards; declared purpose is separately typed.", "source_ids": ["ng-russell-2000", "ng-harada-russell-1999", "cao-cohen-szpruch-2021"], "binding_ids": []}, {"id": "multidimensional-repair", "question": "Which consequences of a future action would be reversible across material, informational, relational, consent, economic, ecological, and temporal dimensions?", "status": "not_run", "why_open": "No action occurred, protected dimensions or tolerances were registered, or aftermath was observed here.", "source_ids": [], "binding_ids": ["kingdom-karma-definition", "kingdom-karma-receipt-schema"]}, {"id": "cosmic-purpose-and-karma", "question": "Does existence have a cosmic purpose or moral KARMA?", "status": "refused", "why_open": "The selected material history and mathematics neither prove nor disprove a creator, cosmic purpose, or cosmic moral KARMA.", "source_ids": [], "binding_ids": []} ], "sources": [ { "id": "kripke-1963", "authors": ["Saul A. Kripke"], "title": "Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi", "venue": "Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9(5-6), 67-96", "published_on": "1963", "observed_on": "2026-08-13", "url": "https://doi.org/10.1002/malq.19630090502", "doi": "10.1002/malq.19630090502", "source_kind": "primary-paper", "used_for": "Formal possible-world and accessibility-relation semantics only.", "not_used_for": "No proof of physical, metaphysical, theological, or cosmic possibility; no material-process parameterization." }, { "id": "kalman-1960", "authors": ["R. E. Kalman"], "title": "A New Approach to Linear Filtering and Prediction Problems", "venue": "Journal of Basic Engineering 82(1), 35-45", "published_on": "1960-03-01", "observed_on": "2026-08-13", "url": "https://doi.org/10.1115/1.3662552", "doi": "10.1115/1.3662552", "source_kind": "primary-paper", "used_for": "Linear state-transition and measurement separation under declared stochastic assumptions.", "not_used_for": "No fitted ritonavir state estimator, nonlinear universal model, person inference, or existence proof." }, { "id": "pearl-1995", "authors": ["Judea Pearl"], "title": "Causal Diagrams for Empirical Research", "venue": "Biometrika 82(4), 669-688", "published_on": "1995-12-01", "observed_on": "2026-08-13", "url": "https://doi.org/10.1093/biomet/82.4.669", "doi": "10.1093/biomet/82.4.669", "source_kind": "primary-paper", "used_for": "Graph-relative intervention queries and explicit causal-identification assumptions.", "not_used_for": "No causal effect, responsibility, intention, or individual outcome is identified or estimated here." }, { "id": "ng-russell-2000", "authors": ["Andrew Y. Ng", "Stuart Russell"], "title": "Algorithms for Inverse Reinforcement Learning", "venue": "Proceedings of the Seventeenth International Conference on Machine Learning, 663-670", "published_on": "2000", "observed_on": "2026-08-13", "url": "https://ai.stanford.edu/~ang/papers/icml00-irl.pdf", "doi": null, "source_kind": "primary-author-copy", "used_for": "Inverse reinforcement learning as a model family for recovering candidate rewards from behavior under assumptions, including the need to avoid trivial or underconstrained solutions.", "not_used_for": "No inference of human intention, declared purpose, moral value, or cosmic objective." }, { "id": "ng-harada-russell-1999", "authors": ["Andrew Y. Ng", "Daishi Harada", "Stuart Russell"], "title": "Policy Invariance Under Reward Transformations: Theory and Application to Reward Shaping", "venue": "Proceedings of the Sixteenth International Conference on Machine Learning, 278-287", "published_on": "1999-06-27", "observed_on": "2026-08-13", "url": "https://people.eecs.berkeley.edu/~russell/papers/icml99-shaping.pdf", "doi": null, "source_kind": "primary-author-copy", "used_for": "Potential-based shaping and optimal-policy invariance under the paper's stated Markov decision process conditions.", "not_used_for": "No claim that all reward transformations preserve policy, that reward functions have identical meanings, or that observed behavior identifies purpose." }, { "id": "dunitz-1995", "authors": ["Jack D. Dunitz", "Joel Bernstein"], "title": "Disappearing Polymorphs", "venue": "Accounts of Chemical Research 28(4), 193-200", "published_on": "1995-04-01", "observed_on": "2026-08-13", "url": "https://doi.org/10.1021/ar00052a005", "doi": "10.1021/ar00052a005", "source_kind": "scholarly-review", "used_for": "The material-science framing of disappearing polymorphs as bounded crystallization and reproducibility histories.", "not_used_for": "No general ontology, exhaustive material landscape, operational laboratory direction, person analogy, or KARMA theory." }, { "id": "bauer-2001", "authors": ["John Bauer", "Stephen Spanton", "Rodger Henry", "John Quick", "Walter Dziki", "William Porter", "John Morris"], "title": "Ritonavir: An Extraordinary Example of Conformational Polymorphism", "venue": "Pharmaceutical Research 18(6), 859-866", "published_on": "2001-06-01", "observed_on": "2026-08-13", "url": "https://doi.org/10.1023/A:1011052932607", "doi": "10.1023/A:1011052932607", "source_kind": "primary-paper", "used_for": "The bounded historical characterization of ritonavir Forms I and II and their conformational polymorphism.", "not_used_for": "No treatment, formulation, manufacturing, or laboratory instruction; no proof of universal or permanent disappearance." }, { "id": "morissette-2003", "authors": ["Sherry L. Morissette", "Stephen Soukasene", "Douglas Levinson", "Michael J. Cima", "Örn Almarsson"], "title": "Elucidation of crystal form diversity of the HIV protease inhibitor ritonavir by high-throughput crystallization", "venue": "Proceedings of the National Academy of Sciences 100(5), 2180-2184", "published_on": "2003-02-25", "observed_on": "2026-08-13", "url": "https://doi.org/10.1073/pnas.0437744100", "doi": "10.1073/pnas.0437744100", "source_kind": "primary-paper", "used_for": "Evidence that later bounded searches found additional ritonavir forms and a route by which Form I was obtained.", "not_used_for": "No exhaustive landscape claim, interval-continuity proof, or authorization to reproduce any procedure." }, { "id": "sacchi-2024", "authors": ["Pietro Sacchi", "Sarah E. Wright", "Petros Neoptolemou", "Giulio I. Lampronti", "Ashwin K. Rajagopalan", "Weronika Kras", "Caitlin L. Evans", "Paul Hodgkinson", "Aurora J. Cruz-Cabeza"], "title": "Crystal size, shape, and conformational changes drive both the disappearance and reappearance of ritonavir polymorphs in the mill", "venue": "Proceedings of the National Academy of Sciences 121(15), e2319127121", "published_on": "2024-04-01", "observed_on": "2026-08-13", "url": "https://doi.org/10.1073/pnas.2319127121", "doi": "10.1073/pnas.2319127121", "source_kind": "primary-paper", "used_for": "Condition-, particle-, and history-dependent disappearance and reappearance in one bounded ritonavir material setting.", "not_used_for": "No transfer of its mechanisms to people, culture, authority, purpose, ethics, or KARMA; no operational protocol." }, { "id": "wang-2024", "authors": ["Chang Wang", "Cai Y. Ma", "Richard S. Hong", "Thomas D. Turner", "Ian Rosbottom", "Ahmad Y. Sheikh", "Qiuxiang Yin", "Kevin J. Roberts"], "title": "Influence of Solvent Selection on the Crystallizability and Polymorphic Selectivity Associated with the Formation of the Disappeared Form I Polymorph of Ritonavir", "venue": "Molecular Pharmaceutics 21(7), 3525-3539", "published_on": "2024", "observed_on": "2026-08-13", "url": "https://doi.org/10.1021/acs.molpharmaceut.4c00234", "doi": "10.1021/acs.molpharmaceut.4c00234", "source_kind": "primary-paper", "used_for": "Condition-dependent crystallizability and polymorphic selectivity involving ritonavir Forms I and II.", "not_used_for": "No complete process model, operational guidance, medical authority, or global claim about form existence." }, { "id": "kalman-1963", "authors": ["R. E. Kalman"], "title": "Mathematical Description of Linear Dynamical Systems", "venue": "Journal of the Society for Industrial and Applied Mathematics, Series A: Control 1(2), 152-192", "published_on": "1963", "observed_on": "2026-08-13", "url": "https://doi.org/10.1137/0301010", "doi": "10.1137/0301010", "source_kind": "primary-paper", "used_for": "Separation of internal state, input-output behavior, controllability, and observability in linear systems.", "not_used_for": "No nonlinear universal model, metaphysical existence test, social-control measure, or authority claim." }, { "id": "smallwood-sondik-1973", "authors": ["Richard D. Smallwood", "Edward J. Sondik"], "title": "The Optimal Control of Partially Observable Markov Processes over a Finite Horizon", "venue": "Operations Research 21(5), 1071-1088", "published_on": "1973-10-01", "observed_on": "2026-08-13", "url": "https://doi.org/10.1287/opre.21.5.1071", "doi": "10.1287/opre.21.5.1071", "source_kind": "primary-paper", "used_for": "Finite-horizon decision models whose internal state is only probabilistically related to observations.", "not_used_for": "No optimizer is assumed for existence, people, communities, cosmic purpose, or KARMA; no person is reduced to a state vector." }, { "id": "cao-cohen-szpruch-2021", "authors": ["Haoyang Cao", "Samuel N. Cohen", "Łukasz Szpruch"], "title": "Identifiability in inverse reinforcement learning", "venue": "Advances in Neural Information Processing Systems 34, 12362-12373", "published_on": "2021", "observed_on": "2026-08-13", "url": "https://proceedings.neurips.cc/paper/2021/file/671f0311e2754fcdd37f70a8550379bc-Paper.pdf", "doi": null, "source_kind": "primary-paper", "used_for": "Formal non-identifiability of reward functions from behavior and conditional routes for reducing ambiguity in finite decision models.", "not_used_for": "No inference of intention, declared purpose, moral value, person identity, or cosmic teleology." } ], "boundaries": { "educational_metadata_only": true, "public_surface_read_only": true, "network_calls": false, "contains_operational_protocol": false, "medical_authority": false, "clinical_authority": false, "treatment_authority": false, "experiment_authority": false, "wet_lab_protocol": false, "manufacturing_authority": false, "causal_claim_created": false, "causal_authority": false, "metaphysical_claim_created": false, "scientifically_proves_teleology": false, "scientifically_proves_creator": false, "scientifically_disproves_creator": false, "scientifically_proves_cosmic_moral_karma": false, "purpose_inferred_from_behavior": false, "physical_to_social_power_transfer": false, "model_to_ontology_transfer": false, "person_score": false, "rank_or_reputation": false, "writes_karma": false, "creates_kingdom_karma_receipt": false, "observes_zerone_karma_event": false, "karma_adapter": false, "reward_authority": false, "economic_authority": false, "governance_authority": false, "automatic_action": false, "mcp_surface_added": false, "rest_refusal_or_exit_penalized": false }, "integrity": { "algorithm": "sha256-recursive-sorted-json-keys-v1", "digest": "sha256:505a1e3aef6116430dccf49b327c4cce2ac5d6fb6b6b9bf68e529272f989cde8" } }