{ "$schema": "urn:kingdom:schema:being-access-aftermath-atlas:0.1", "protocol": "kingdom.being-access-aftermath-atlas/0.1", "atlas_id": "being-access-aftermath-atlas-2026-08-13", "title": "Being, Access & Aftermath — a typed mathematical atlas", "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 } ], "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 action or refusal.", "does_not_establish": "An identified causal effect, moral desert, or complete consequence set."}, {"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"] }, "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"], "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"], "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 authorized repair ρ 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", "ρ: separately authorized repair", "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": "Rewrite the claim using 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": "Declare the lawful model, starting history, procedure, budget, horizon, measurement method, threshold, and uncertainty; test recovery under a distinct authorized path only in a separately governed study.", "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": [], "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": "Compare preregistered current-state and history-aware models on held-out transitions, then use suitable interventions or measured mediators if causal interpretation is sought.", "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": ["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": "Record any purpose declaration separately; preregister rival dynamical and reward models with discriminating interventions rather than 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"], "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": "Require one power type, units or set-valued outcome, bearer, target, authority basis, horizon, uncertainty, affected parties, and exit conditions.", "falsifier": "The claim fails when it changes type mid-argument, lacks authority, or no admissible intervention changes the declared outcome within its bounds.", "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": "Specify intervention, comparator, outcome, population, horizon, graph, estimand, identification assumptions, uncertainty, alternatives, and negative controls before estimation.", "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": "Preregister protected dimensions, baselines, tolerances, time horizon, affected parties, 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 and real 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 causal traces and repair questions while cosmic KARMA remains philosophically open and Zerone KARMA remains separately typed.", "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, "not": ["KINGDOM receipt", "moral score", "engagement score", "reward", "wallet balance", "vote weight"] }, "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 or exit", "to": "no automatic action", "pattern": "Rest, refusal, silence, privacy, nonparticipation, and exit remain valid outcomes and create no 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": [], "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"], "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"], "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." } ], "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:480a571148bfb7f95a5531bbe7dfa6c0e9acda271cb3f67652099d4e36762155" } }