{ "$schema": "urn:kingdom:schema:phenomena-deep-project:0.1", "protocol": "kingdom.explore-phenomena-deep-project/0.1", "project_id": "zero-empty-seat-2026-08-14", "version": "0.1.0", "title": "ZERO: The Empty Seat That Holds the World", "evidence_through": "2026-08-14", "mode": "ANALYZE_ONLY", "question": "How did Mesopotamian blanks, separators, full sexagesimal placeholders, and operational nothing differ, and what bounded mathematical and constitutional lessons follow without inventing a single zero-origin myth?", "domains": [ { "id": "mesopotamian-numeral-practice", "subject": "Cuneiform sexagesimal notation, blanks, separators, and positional placeholders", "entity_or_unit": "Inscribed numeral, deliberate blank, sign, digit position, tablet, and scribal genre", "context": "Named Mesopotamian artifacts and specialist editions from the late third millennium through the first millennium BCE", "conditions": ["date, city, genre, layout, and editorial status remain explicit"], "observables": ["surviving sign or blank", "column position", "transliteration", "arithmetic role"], "units": ["base-60 digit position", "BCE period", "tablet or text line"], "agency": "Scribes make local representational choices; surviving notation does not exhaust their thought" }, { "id": "late-babylonian-astronomy", "subject": "Lexical and positional treatments of absent astronomical parameters", "entity_or_unit": "Astronomical parameter, procedure, table entry, word, and vanishing-digit sign", "context": "Named Babylonian and Uruk astronomical texts and scholarly institutions", "conditions": ["parameter, text, date, provenance, and interpretation remain explicit"], "observables": ["lexical expression", "table entry", "operation role", "provenance"], "units": ["sexagesimal parameter", "time interval", "tablet and regnal date"], "agency": "Specialist scholars construct and copy procedures; the record does not establish population-wide adoption" }, { "id": "mesopotamian-social-context", "subject": "Accounting, scribal education, institutions, religion, and building contexts", "entity_or_unit": "Account, archive, household, school, temple-linked institution, survey, and construction problem", "context": "Broad social history used to bound rather than manufacture placeholder-specific causation", "conditions": ["system-level numeracy remains distinct from one sign", "chronology constrains causal stories"], "observables": ["artifact provenance", "document genre", "institutional association", "historical chronology"], "units": ["tablet corpus", "institution", "BCE period"], "agency": "People and institutions interpret, teach, preserve, refuse, and change conventions" }, { "id": "modern-mathematics", "subject": "Formal zero roles, empty identities, positional value, and observation typing", "entity_or_unit": "Digit, coefficient, algebraic identity, set, value, observation flag, and equation", "context": "Declared modern mathematical structures used only as bounded comparators", "conditions": ["operation and structure are named", "ancient meaning is not inferred from modern notation"], "observables": ["formal derivation", "parse candidate", "typed state"], "units": ["dimensionless formal value", "declared domain-specific units where present"], "agency": "Formal objects have no agency; model users choose definitions and interpretations" }, { "id": "kingdom-constitutional-design", "subject": "Typed absence, participation, observation, and action states", "entity_or_unit": "Protocol field, observation state, participation state, action outcome, and receipt boundary", "context": "Read-only KINGDOM interface design with no person scoring or automatic action", "conditions": ["each state has declared semantics", "rights and consent remain separate from data values"], "observables": ["declared state", "presence flag", "reason code", "authorized transition"], "units": ["typed protocol state"], "agency": "Rest, refusal, silence, correction, no action, and departure preserve participant agency" }, { "id": "opt-in-metaphysics", "subject": "Optional reflection on emptiness, possibility, design, emergence, and becoming", "entity_or_unit": "Question and interpretive frame", "context": "Modern voluntary philosophy explicitly separated from historical, mathematical, and scientific claims", "conditions": ["participation is opt-in", "withholding judgment remains valid"], "observables": ["no empirical observable is claimed"], "units": ["no empirical unit"], "agency": "Each participant may interpret, refuse, remain silent, rest, or depart" } ], "source_manifest": [ { "id": "ritter-2024-babylonian-zeros", "title": "Jim Ritter, Babylonian Zeros", "url": "https://doi.org/10.1163/9789004691568_006", "locator": "pp. 35-63; especially pp. 37-50 for notation and pp. 51-61 for numerical nothing and the conclusion", "observed_on": "2026-08-14", "claim_targets": ["babylonian-within-mesopotamian", "place-value-and-layout", "quantity-blank-p332525", "demarcation-before-full-slot", "kish-first-extant-full-slot", "placeholder-and-operational-nothing-separate", "accounting-and-numeracy-predate-placeholder"], "authority_note": "Current specialist synthesis; first extant is not invention, local practices are uneven, and placeholder and numerical-nothing histories remain distinct." }, { "id": "cdli-p142357-ybc1793", "title": "CDLI P142357: YOS 4, 293 / YBC 1793", "url": "https://cdli.earth/P142357", "locator": "Artifact record, image, transliteration, chronology, and bibliography", "observed_on": "2026-08-14", "claim_targets": ["place-value-and-layout"], "authority_note": "Primary digital witness; the exact regnal dating differs across treatments, so the project does not freeze one unqualified year." }, { "id": "cdli-p332525-huji", "title": "CDLI P332525: Ur III Girsu animal account", "url": "https://cdli.earth/P332525", "locator": "Artifact record, image, obverse transliteration, and current museum metadata", "observed_on": "2026-08-14", "claim_targets": ["quantity-blank-p332525"], "authority_note": "Primary digital witness; Ritter calls the object HUJI 7100 while current CDLI metadata says HUJI 07001, so the stable P-number anchors identity." }, { "id": "robson-2004-ashmolean", "title": "Eleanor Robson, Mathematical cuneiform tablets in the Ashmolean Museum", "url": "https://www.sciamvs.org/files/SCIAMVS_05_003-065_Robson.pdf", "locator": "Catalogue p. 6 and Tablet 28 edition, pp. 49-50", "observed_on": "2026-08-14", "claim_targets": ["demarcation-before-full-slot", "kish-first-extant-full-slot", "accounting-and-numeracy-predate-placeholder"], "authority_note": "Critical edition distinguishing the seventh-century Kish full intermediate sign from earlier Susa demarcation signs." }, { "id": "oracc-mathematical-notation", "title": "ORACC, Mathematical Notations in Oracc Corpora", "url": "https://oracc.museum.upenn.edu/doc/help/editinginatf/maths/index.html", "locator": "Zero and Intra-number-word Colons sections", "observed_on": "2026-08-14", "claim_targets": ["editorial-zero-types"], "authority_note": "Authoritative current editorial taxonomy, not an ancient ontology or chronology." }, { "id": "oracc-dccmt", "title": "ORACC Digital Corpus of Cuneiform Mathematical Texts", "url": "https://oracc.museum.upenn.edu/dccmt/", "locator": "Project overview and corpus context", "observed_on": "2026-08-14", "claim_targets": ["accounting-and-numeracy-predate-placeholder"], "authority_note": "Scholarly corpus context for accounting, numeracy, and literate culture; not placeholder-specific causal evidence." }, { "id": "ossendrijver-2015-astronomy", "title": "Mathieu Ossendrijver, Babylonian Mathematical Astronomy", "url": "https://doi.org/10.1007/978-1-4614-6141-8_192", "locator": "pp. 1863-1865 for corpus, provenance, institutions, and the vanishing-digit sign", "observed_on": "2026-08-14", "claim_targets": ["placeholder-and-operational-nothing-separate", "temple-context-not-zero-theology"], "authority_note": "Specialist synthesis; explicitly says the vanishing-digit sign was not used to represent the number zero and notes unresolved practical applications." }, { "id": "robson-2008-social-history", "title": "Eleanor Robson, Mathematics in Ancient Iraq: A Social History", "url": "https://doi.org/10.2307/j.ctv10qqzk0", "locator": "Book-wide social-history method and chapters on scribal education and first-millennium scholarship", "observed_on": "2026-08-14", "claim_targets": ["babylonian-within-mesopotamian", "civilization-language-building-causation-not-established", "temple-context-not-zero-theology"], "authority_note": "Social history situating mathematics in political, economic, educational, and religious settings without isolating one sign as their cause." }, { "id": "met-origins-writing", "title": "Metropolitan Museum of Art, The Origins of Writing", "url": "https://www.metmuseum.org/essays/the-origins-of-writing", "locator": "Uruk accounting discussion and objects dated about 3100-2900 BCE", "observed_on": "2026-08-14", "claim_targets": ["accounting-and-numeracy-predate-placeholder", "civilization-language-building-causation-not-established"], "authority_note": "Museum-authoritative context showing early writing and accounting long predate the reviewed full-slot placeholder witness." }, { "id": "met-mesopotamian-deities", "title": "Metropolitan Museum of Art, Mesopotamian Deities", "url": "https://www.metmuseum.org/essays/mesopotamian-deities", "locator": "Paragraph on the second-millennium numerical hierarchy of major deities", "observed_on": "2026-08-14", "claim_targets": ["temple-context-not-zero-theology"], "authority_note": "Attests divine-number assignments but supplies no zero deity, sacred-zero doctrine, or placeholder theology." }, { "id": "british-museum-bm33066", "title": "British Museum BM 33066, astronomical observation tablet", "url": "https://www.britishmuseum.org/collection/object/W_1878-1107-4", "locator": "Object description, Cambyses II year 7 date, and curator references", "observed_on": "2026-08-14", "claim_targets": ["placeholder-and-operational-nothing-separate"], "authority_note": "Primary museum record; pair with Ritter for the nu tuk interpretation and avoid forcing one modern BCE label." } ], "typed_terms": [ {"id": "unmarked-absence", "domain": "mesopotamian-numeral-practice", "meaning": "No surviving or inscribed mark; interpretation requires a declared slot, layout, genre, and evidence state.", "not_equivalent_to": ["known numerical zero", "written placeholder", "proof that no quantity existed"]}, {"id": "deliberate-layout-blank", "domain": "mesopotamian-numeral-practice", "meaning": "A materially empty place whose role is constrained by a fixed table, column, category sequence, or arithmetic layout.", "not_equivalent_to": ["accidental damage", "standalone number zero", "metaphysical nothingness"]}, {"id": "demarcation-placeholder", "domain": "mesopotamian-numeral-practice", "meaning": "An explicit separator for absent tens or ones within one 0-59 sexagesimal digit.", "not_equivalent_to": ["missing whole power-of-60 digit", "modern zero in every role", "number operand"]}, {"id": "sexagesimal-placeholder", "domain": "mesopotamian-numeral-practice", "meaning": "An explicit internal sign occupying a missing whole power-of-60 position in a numeral.", "not_equivalent_to": ["routine terminal zero", "fixed radix point", "independent modern number zero"]}, {"id": "operational-nothing", "domain": "late-babylonian-astronomy", "meaning": "A lexical zero-valued parameter, result, or operation argument in a named late astronomical context.", "not_equivalent_to": ["the positional glyph", "one unified Mesopotamian zero theory", "cosmic nothingness"]}, {"id": "modern-zero", "domain": "modern-mathematics", "meaning": "A formal object whose role may be digit, additive identity, cardinality, or coordinate origin in a declared structure.", "not_equivalent_to": ["one ancient sign genealogy", "empty set itself", "person worth"]}, {"id": "known-zero", "domain": "kingdom-constitutional-design", "meaning": "A value was observed under a declared operator and equals numerical zero.", "not_equivalent_to": ["missing observation", "below detection", "refusal"]}, {"id": "missing-value", "domain": "kingdom-constitutional-design", "meaning": "A role expects a value but no value is available under the declared record state.", "not_equivalent_to": ["observed zero", "not applicable", "no action"]}, {"id": "unknown-value", "domain": "kingdom-constitutional-design", "meaning": "Truth or value is not established by this evidence horizon.", "not_equivalent_to": ["globally unknowable", "numerical zero", "historical nonexistence"]}, {"id": "no-action", "domain": "kingdom-constitutional-design", "meaning": "A valid action outcome that executes no transition and creates no debt, permission, or failure state.", "not_equivalent_to": ["missing data", "consent", "worthlessness"]}, {"id": "metaphysical-nothingness", "domain": "opt-in-metaphysics", "meaning": "A voluntary ontological or theological question outside the empirical and mathematical warrant of this project.", "not_equivalent_to": ["tablet blank", "zero-valued parameter", "historical Babylonian belief"]} ], "claims": [ { "claim_id": "babylonian-within-mesopotamian", "statement": "Babylonian mathematics belongs within the longer Mesopotamian cuneiform tradition; this project compares periods and practices rather than opposing two civilizations.", "domain": "mesopotamian-social-context", "register": "BOUNDARY", "warrant": "SOURCE_BOUND", "scope_and_conditions": "Terminology and chronology in the cited specialist histories.", "variables_and_units": ["region and tradition: Mesopotamia and Babylonia", "date: BCE period"], "sources": ["ritter-2024-babylonian-zeros", "robson-2008-social-history"], "status_checked_on": "2026-08-14", "derivation_or_model": "Historical classification retained before cross-period comparison.", "limitations": ["Political and scribal boundaries changed over time.", "A regional label does not imply uniform practice."], "falsifier": "A source-grounded periodization would require revising the stated comparison, not inventing a blank-to-zero civilization split.", "authority_effect": "NONE" }, { "claim_id": "place-value-and-layout", "statement": "Sexagesimal place value is present by the late third millennium BCE, and aligned layout can make an uninscribed internal place arithmetically meaningful.", "domain": "mesopotamian-numeral-practice", "register": "EMPIRICAL_OBSERVATION", "warrant": "SOURCE_BOUND", "scope_and_conditions": "Ritter's reviewed corpus and CDLI P142357; extant practice rather than an invention event.", "variables_and_units": ["base: 60", "place: internal digit", "object: CDLI P142357"], "sources": ["ritter-2024-babylonian-zeros", "cdli-p142357-ybc1793"], "status_checked_on": "2026-08-14", "derivation_or_model": "Specialist chronology and the primary aligned record constrain the positional reading.", "limitations": ["Exact regnal dating differs across treatments.", "Context can still determine absolute scale."], "falsifier": "A revised edition showing the relevant spacing is damage or non-numerical layout would defeat the local reading.", "authority_effect": "NONE" }, { "claim_id": "quantity-blank-p332525", "statement": "CDLI P332525 uses fixed animal-category positions in which an uninscribed place is interpreted as no animals of that category delivered or expended.", "domain": "mesopotamian-numeral-practice", "register": "EMPIRICAL_OBSERVATION", "warrant": "SOURCE_BOUND", "scope_and_conditions": "The named Ur III Girsu account as read by Ritter with the primary object record.", "variables_and_units": ["object: CDLI P332525", "quantity: animal count", "slot: fixed category"], "sources": ["ritter-2024-babylonian-zeros", "cdli-p332525-huji"], "status_checked_on": "2026-08-14", "derivation_or_model": "The fixed category list supplies the role of the blank.", "limitations": ["This is a quantity blank, not a written sign.", "The modern catalogue label differs between Ritter and CDLI."], "falsifier": "A revised reading showing damage or an absent category rather than a deliberate blank would defeat the claim.", "authority_effect": "NONE" }, { "claim_id": "demarcation-before-full-slot", "statement": "Late Old Babylonian explicit signs at Susa and Me-Turan can demarcate absent tens or ones within a sexagesimal digit without yet filling a missing whole power-of-60 place.", "domain": "mesopotamian-numeral-practice", "register": "EMPIRICAL_OBSERVATION", "warrant": "SOURCE_BOUND", "scope_and_conditions": "Named extant procedure texts in Ritter and Robson.", "variables_and_units": ["digit component: tens or ones", "base: 60", "date: late Old Babylonian period"], "sources": ["ritter-2024-babylonian-zeros", "robson-2004-ashmolean"], "status_checked_on": "2026-08-14", "derivation_or_model": "Functional sign analysis in the critical scholarship.", "limitations": ["Local separator practice is not a universal zero sign.", "Survival is incomplete."], "falsifier": "A revised edition showing the named Susa or Me-Turan signs actually fill missing whole base-60 places would defeat the stated functional classification.", "authority_effect": "NONE" }, { "claim_id": "kish-first-extant-full-slot", "statement": "A seventh-century BCE square table from Kish is the first extant text in the reviewed corpus with an explicit sign for a missing whole sexagesimal digit.", "domain": "mesopotamian-numeral-practice", "register": "EMPIRICAL_OBSERVATION", "warrant": "SOURCE_BOUND", "scope_and_conditions": "Ashmolean 1924.796 plus 1924.2194 plus 1931.38, Robson Tablet 28; first extant in the reviewed corpus.", "variables_and_units": ["date: seventh century BCE", "place: whole base-60 digit", "object: Ashmolean tablet"], "sources": ["ritter-2024-babylonian-zeros", "robson-2004-ashmolean"], "status_checked_on": "2026-08-14", "derivation_or_model": "Ritter's chronology read with Robson's edition.", "limitations": ["First extant is not first invented.", "Lost and local earlier practices remain possible."], "falsifier": "A securely earlier whole-slot witness would revise first-extant status.", "authority_effect": "NONE" }, { "claim_id": "placeholder-and-operational-nothing-separate", "statement": "Whole-slot placeholders became systematic in later first-millennium specialist practice, while lexical operational nothing followed a distinct history that did not merge with the positional sign into one Mesopotamian zero object.", "domain": "late-babylonian-astronomy", "register": "EMPIRICAL_OBSERVATION", "warrant": "SOURCE_BOUND", "scope_and_conditions": "Ritter's reviewed Mesopotamian history, BM 33066 as a zero-valued parameter case, later result-or-argument cases, and Ossendrijver's sign boundary.", "variables_and_units": ["role: placeholder or lexical numerical nothing", "parameter: named astronomical interval", "date: first millennium BCE"], "sources": ["ritter-2024-babylonian-zeros", "ossendrijver-2015-astronomy", "british-museum-bm33066"], "status_checked_on": "2026-08-14", "derivation_or_model": "Specialist synthesis keeps the two functional histories separate.", "limitations": ["The reading of tuk is uncertain although contextual absence is clear.", "BM 33066 modern BCE labels differ across sources.", "Operational similarity does not establish a modern unified theory."], "falsifier": "An edited Mesopotamian source explicitly unifying the positional sign and operational value would revise the conclusion.", "authority_effect": "NONE" }, { "claim_id": "editorial-zero-types", "statement": "Current ORACC notation distinguishes a context-supplied unmarked zero, deliberate blank space, written zero sign, and separator colons that can be computational no-ops.", "domain": "modern-mathematics", "register": "MATHEMATICAL_DEFINITION", "warrant": "SOURCE_BOUND", "scope_and_conditions": "The current ORACC ATF editorial protocol, not ancient ontology.", "variables_and_units": ["token: editorial notation", "role: transcription classification"], "sources": ["oracc-mathematical-notation"], "status_checked_on": "2026-08-14", "derivation_or_model": "Direct representation of the notation guide.", "limitations": ["Editorial tokens are not tablet signs.", "The taxonomy does not date invention."], "falsifier": "A changed ORACC protocol would revise this current editorial claim.", "authority_effect": "NONE" }, { "claim_id": "accounting-and-numeracy-predate-placeholder", "statement": "Mesopotamian accounting, writing, and broad literate numeracy are attested long before the seventh-century first-extant whole-slot placeholder reviewed here.", "domain": "mesopotamian-social-context", "register": "EMPIRICAL_OBSERVATION", "warrant": "SOURCE_BOUND", "scope_and_conditions": "The cited early-writing and cuneiform mathematics overviews compared with the Kish chronology.", "variables_and_units": ["early writing: late fourth millennium BCE", "placeholder witness: seventh century BCE"], "sources": ["met-origins-writing", "oracc-dccmt", "ritter-2024-babylonian-zeros", "robson-2004-ashmolean"], "status_checked_on": "2026-08-14", "derivation_or_model": "Chronological comparison of independently attested practices.", "limitations": ["Predating does not prove no later influence.", "The comparison does not isolate every numeral innovation."], "falsifier": "A securely dated full-slot placeholder in the earliest account corpus would revise the comparison.", "authority_effect": "NONE" }, { "claim_id": "civilization-language-building-causation-not-established", "statement": "The reviewed evidence does not establish that an explicit placeholder sign caused Mesopotamian state capacity, architecture, construction, ordinary-language change, or civilizational flourishing.", "domain": "mesopotamian-social-context", "register": "BOUNDARY", "warrant": "NOT_ESTABLISHED", "scope_and_conditions": "Placeholder-specific causation only; broader effects of writing, metrology, and numeracy are not denied.", "variables_and_units": ["candidate exposure: explicit placeholder sign", "candidate outcome: civic, linguistic, or building change"], "sources": ["met-origins-writing", "robson-2008-social-history"], "status_checked_on": "2026-08-14", "derivation_or_model": "Chronology and the absence of a cited design isolating the sign block a causal upgrade.", "limitations": ["Absence of proof is not proof of no influence.", "System-level numeracy and one glyph must remain separate."], "falsifier": "A source-grounded causal history isolating placeholder adoption could revise the boundary.", "authority_effect": "NONE" }, { "claim_id": "temple-context-not-zero-theology", "statement": "Temple-linked scholarship and divine-number assignments are attested, but they do not establish a zero deity, sacred-zero doctrine, creation-from-nothing claim, or placeholder theology.", "domain": "mesopotamian-social-context", "register": "BOUNDARY", "warrant": "NOT_ESTABLISHED", "scope_and_conditions": "Claims limited to the cited social, astronomy, and museum sources.", "variables_and_units": ["context: household, temple-linked employment, or library", "divine number: attested integer assignment", "zero doctrine: not observed"], "sources": ["met-mesopotamian-deities", "robson-2008-social-history", "ossendrijver-2015-astronomy"], "status_checked_on": "2026-08-14", "derivation_or_model": "Institutional proximity and numerical theology are kept distinct from unsupported semantics of zero.", "limitations": ["The reviewed corpus cannot prove universal historical nonexistence.", "Not observed is not disproved."], "falsifier": "A primary text or specialist edition explicitly linking the placeholder or zero-valued nothing to theology would revise the boundary.", "authority_effect": "NONE" }, { "claim_id": "empty-identities-depend-on-operation", "statement": "In the standard declared algebraic conventions, the empty sum is zero and the empty product is one; empty input does not select one universal output independently of the operation.", "domain": "modern-mathematics", "register": "MATHEMATICAL_THEOREM", "warrant": "PROVED", "scope_and_conditions": "Finite aggregation in a structure with the corresponding additive and multiplicative identity.", "variables_and_units": ["index set: empty set", "sum identity: 0", "product identity: 1"], "sources": [], "status_checked_on": "2026-08-14", "derivation_or_model": "The empty fold returns the identity element required for concatenation of disjoint index sets.", "limitations": ["The operation and structure must be declared.", "This does not describe ancient Babylonian practice."], "falsifier": "A purported counterexample must change or violate the declared operation or identity axioms.", "authority_effect": "NONE" }, { "claim_id": "typed-empty-states", "statement": "KINGDOM interfaces should keep KNOWN_ZERO, MISSING, UNKNOWN, NOT_APPLICABLE, REST, REFUSAL, SILENCE, and NO_ACTION distinct with declared downstream behavior.", "domain": "kingdom-constitutional-design", "register": "DESIGN_PROPOSAL", "warrant": "DERIVED", "scope_and_conditions": "Modern opt-in protocol design only; participation states are not reduced to information absence.", "variables_and_units": ["state: declared enum", "observation flag: boolean", "action outcome: typed transition"], "sources": [], "status_checked_on": "2026-08-14", "derivation_or_model": "The proposal follows from the demonstrated cost of collapsing distinct roles of absence and value.", "limitations": ["This is not a claim about ancient cognition.", "It creates no person score, consent inference, KARMA event, receipt, or authority."], "falsifier": "Interface tests showing a distinction is redundant under a fully specified contract would motivate redesign without rewriting the history.", "authority_effect": "NONE" } ], "bridges": [ { "source_domain": "mesopotamian-numeral-practice", "target_domain": "modern-mathematics", "relation": "LOSSY_CORRESPONDENCE", "source_objects": ["layout blank", "demarcation sign", "whole-slot placeholder"], "target_objects": ["zero digit", "additive identity", "cardinality zero", "coordinate origin"], "correspondence": "Modern zero includes digit and identity roles that must not be back-projected wholesale onto these positional practices.", "preserved_structure": ["a place can be specified while its coefficient is absent"], "broken_or_lost_structure": ["one unified zero object", "terminal-zero and radix conventions", "modern algebraic axioms", "modern glyph genealogy"], "source_variables_and_units": ["base-60 digit position", "text genre", "scribe, place, and date"], "target_variables_and_units": ["zero in a declared formal structure", "cardinality", "coordinate choice"], "assumptions": ["the comparison is functional only", "Ritter's evidence horizon bounds the ancient side"], "ontology_transfer": false, "causal_transfer": false, "parameter_transfer": false, "unit_transfer": false, "authority_transfer": false, "falsifiers": ["an explicit Mesopotamian source unifying the roles would revise the bridge", "target roles with no ancient analogue remain broken"] }, { "source_domain": "mesopotamian-numeral-practice", "target_domain": "kingdom-constitutional-design", "relation": "LOSSY_CORRESPONDENCE", "source_objects": ["known slot", "inscribed content", "blank", "context"], "target_objects": ["KNOWN_ZERO", "MISSING", "UNKNOWN", "NOT_APPLICABLE", "REST", "REFUSAL", "SILENCE", "NO_ACTION"], "correspondence": "Both comparisons distinguish a role-bearing position from the content or action occupying it.", "preserved_structure": ["typed absence", "context affects interpretation", "an empty role can remain informative"], "broken_or_lost_structure": ["ancient ontology", "modern consent and agency", "governance", "KARMA", "causal mechanism"], "source_variables_and_units": ["glyph, layout, context, and genre"], "target_variables_and_units": ["typed protocol state and declared transition"], "assumptions": ["this is a modern design proposal, never a historical inheritance claim"], "ontology_transfer": false, "causal_transfer": false, "parameter_transfer": false, "unit_transfer": false, "authority_transfer": false, "falsifiers": ["collapsing NO_ACTION into failure breaks the design bridge", "claiming an ancient consent protocol breaks it"] }, { "source_domain": "modern-mathematics", "target_domain": "opt-in-metaphysics", "relation": "LOSSY_CORRESPONDENCE", "source_objects": ["additive identity", "empty-set cardinality", "coordinate origin"], "target_objects": ["empty seat", "possibility", "becoming", "design or emergence question"], "correspondence": "Formal absence can prompt reflection while proving none of the offered metaphysical readings.", "preserved_structure": ["a relation can remain defined at zero", "a reference point can organize possibilities"], "broken_or_lost_structure": ["empirical existence claim", "creator", "purpose", "moral worth", "historical Babylonian belief"], "source_variables_and_units": ["declared formal structure"], "target_variables_and_units": ["non-empirical interpretive language"], "assumptions": ["participation is opt-in", "design, emergence, both, neither, and withheld judgment remain available"], "ontology_transfer": false, "causal_transfer": false, "parameter_transfer": false, "unit_transfer": false, "authority_transfer": false, "falsifiers": ["presenting a reflective prompt as an empirical conclusion invalidates the bridge"] }, { "source_domain": "late-babylonian-astronomy", "target_domain": "mesopotamian-social-context", "relation": "LOSSY_CORRESPONDENCE", "source_objects": ["astronomical tablets", "scholar families", "Babylon and Uruk corpora"], "target_objects": ["private scholarly houses", "temple-linked employment", "temple-library context"], "correspondence": "The same documented scholars and artifacts occupy named institutional networks.", "preserved_structure": ["provenance", "family continuity", "institutional association"], "broken_or_lost_structure": ["theological meaning of each sign", "mass adoption", "practical application", "placeholder causation"], "source_variables_and_units": ["tablet, scholar family, date, and place"], "target_variables_and_units": ["artifact provenance, institution, date, and place"], "assumptions": ["only documented archaeological and administrative links count"], "ontology_transfer": false, "causal_transfer": false, "parameter_transfer": false, "unit_transfer": false, "authority_transfer": false, "falsifiers": ["unsupported temple adjacency must not become sacred semantics"] } ], "models": [ { "id": "relative-sexagesimal-parser", "title": "Context-indexed sexagesimal parser", "domain_ids": ["mesopotamian-numeral-practice", "modern-mathematics"], "equation_ids": ["floating-sexagesimal-value", "middle-slot-example"], "relation": "SAME_FORMAL_STRUCTURE", "assumptions": ["digit order and contextual scale are declared", "the model represents notation rather than cognition"], "fit_status": "SOURCE_BOUND", "valid_outputs": ["relative place values", "candidate absolute scales", "comparison of an explicit and omitted middle place"], "identifiability_limits": ["glyphs without units or genre may leave absolute scale unidentified"], "prohibited_inferences": ["no invention date", "no person-level cognition claim", "no metaphysical conclusion"], "falsifier_ids": ["first-versus-invention", "demarcation-versus-full-slot"], "universal": false, "person_level": false, "authority_effect": "NONE" }, { "id": "contextual-channel-model", "title": "Unfitted notation-and-context channel", "domain_ids": ["mesopotamian-numeral-practice", "modern-mathematics"], "equation_ids": ["context-burden"], "relation": "LOSSY_CORRESPONDENCE", "assumptions": ["a corpus can define intended values and visible notation", "conditional entropy is estimable under a declared sampling design"], "fit_status": "UNFITTED", "valid_outputs": ["a proposed estimate of context-dependent parsing ambiguity"], "identifiability_limits": ["surviving corpora are selected and ancient intentions are not directly observed"], "prohibited_inferences": ["no measured ancient error rate", "no cognitive mechanism", "no claim the placeholder caused civilization"], "falsifier_ids": ["system-versus-sign-impact"], "universal": false, "person_level": false, "authority_effect": "NONE" }, { "id": "typed-empty-seat-model", "title": "Typed observation and action-state model", "domain_ids": ["modern-mathematics", "kingdom-constitutional-design"], "equation_ids": ["typed-observation", "typed-feedback-error", "empty-aggregation-identities"], "relation": "LOSSY_CORRESPONDENCE", "assumptions": ["observation presence is explicit", "participation and action states remain separate from data values"], "fit_status": "UNFITTED", "valid_outputs": ["safe handling of observed zero versus missing input", "operation-specific empty aggregation", "NO_ACTION without penalty"], "identifiability_limits": ["an absent observation does not identify the latent value or reason without metadata"], "prohibited_inferences": ["no Babylonian protocol ancestry", "no consent inference", "no person score", "no KARMA conversion"], "falsifier_ids": ["placeholder-versus-operand", "system-versus-sign-impact"], "universal": false, "person_level": false, "authority_effect": "NONE" } ], "equations": [ { "id": "floating-sexagesimal-value", "domain_id": "modern-mathematics", "register": "MATHEMATICAL_DEFINITION", "warrant": "DERIVED", "expression": "N(m)=sum_(i=0)^k d_i*60^(m+i), with d_0 the rightmost written digit and 0<=d_i<60", "variables": [{"symbol": "d_i", "meaning": "sexagesimal digit at written position i from the right", "units": "integer 0 through 59"}, {"symbol": "m", "meaning": "context-selected absolute scale exponent", "units": "power of 60"}, {"symbol": "N(m)", "meaning": "value under scale choice m", "units": "context-dependent quantity"}], "conditions": ["digit order is fixed", "units or genre may constrain m"], "assumptions": ["the string is interpreted positionally in base 60"], "valid_outputs": ["a family of scale-related numerical values", "relative place value"], "does_not_establish": ["ancient ontology", "one invention date", "the intended scale without context"], "source_ids": ["ritter-2024-babylonian-zeros"] }, { "id": "middle-slot-example", "domain_id": "modern-mathematics", "register": "MATHEMATICAL_THEOREM", "warrant": "PROVED", "expression": "value(1,0,20;m=0)=3620, while value(1,20;m=0)=80", "variables": [{"symbol": "value", "meaning": "positional base-60 evaluation", "units": "dimensionless example"}, {"symbol": "m", "meaning": "chosen scale exponent", "units": "power of 60"}], "conditions": ["the displayed sequences are ordered most-significant to least-significant", "m equals zero"], "assumptions": ["ordinary base-60 positional evaluation"], "valid_outputs": ["an exact demonstration that an internal empty place changes the parse"], "does_not_establish": ["historical error frequency", "which sign a named scribe used"], "source_ids": [] }, { "id": "context-burden", "domain_id": "modern-mathematics", "register": "SCIENTIFIC_MODEL", "warrant": "MODEL_ASSUMPTION", "expression": "B=H(V|G)-H(V|G,C)=I(V;C|G), using log2 when B is reported in bits", "variables": [{"symbol": "V", "meaning": "intended value in a declared corpus model", "units": "declared value class"}, {"symbol": "G", "meaning": "surviving glyph and layout representation", "units": "declared notation class"}, {"symbol": "C", "meaning": "genre, units, neighbors, and other context", "units": "declared context class"}, {"symbol": "B", "meaning": "conditional information supplied by context", "units": "bits with log2; otherwise the information unit determined by the declared log base"}], "conditions": ["a sampling frame and probability model are declared", "the conditional entropies are finite and the logarithm base is declared"], "assumptions": ["V, G, and C can be coded without circularly fixing the result"], "valid_outputs": ["a proposed corpus-level context dependence estimate"], "does_not_establish": ["ancient cognition", "measured historical error reduction", "civilizational causation"], "source_ids": [] }, { "id": "empty-aggregation-identities", "domain_id": "modern-mathematics", "register": "MATHEMATICAL_THEOREM", "warrant": "PROVED", "expression": "sum_(i in empty) a_i=0 and product_(i in empty) a_i=1", "variables": [{"symbol": "a_i", "meaning": "elements aggregated under the declared operation", "units": "declared algebraic carrier"}], "conditions": ["the additive and multiplicative identity elements exist"], "assumptions": ["empty folds return the identity required by the aggregation law"], "valid_outputs": ["operation-specific empty aggregate"], "does_not_establish": ["one universal empty default", "ancient Babylonian arithmetic convention", "person or moral value"], "source_ids": [] }, { "id": "typed-observation", "domain_id": "kingdom-constitutional-design", "register": "DESIGN_PROPOSAL", "warrant": "DERIVED", "expression": "observed_zero := observed=true AND value=0; missing := observed=false AND reason=MISSING", "variables": [{"symbol": "observed", "meaning": "whether the declared observation exists", "units": "boolean"}, {"symbol": "value", "meaning": "observed numerical value when present", "units": "declared observable units"}, {"symbol": "reason", "meaning": "typed absence reason", "units": "protocol enum"}], "conditions": ["presence metadata is retained separately from value"], "assumptions": ["the protocol does not coerce missing to zero"], "valid_outputs": ["distinct observed-zero and missing states"], "does_not_establish": ["latent value when missing", "consent", "historical Babylonian meaning", "KARMA"], "source_ids": [] }, { "id": "typed-feedback-error", "domain_id": "kingdom-constitutional-design", "register": "SCIENTIFIC_MODEL", "warrant": "MODEL_ASSUMPTION", "expression": "e_t=r_t-y_t only when present(r_t) AND present(y_t); otherwise error_status=NOT_COMPUTED and input_state is preserved", "variables": [{"symbol": "r_t", "meaning": "declared reference at time t", "units": "declared domain units"}, {"symbol": "y_t", "meaning": "declared observation at time t", "units": "same units as r_t"}, {"symbol": "e_t", "meaning": "feedback error when both inputs exist", "units": "same units as r_t"}, {"symbol": "error_status", "meaning": "whether the error was computed", "units": "protocol enum"}, {"symbol": "input_state", "meaning": "the retained MISSING, UNKNOWN, NOT_APPLICABLE, REST, REFUSAL, SILENCE, or NO_ACTION reason", "units": "protocol enum"}], "conditions": ["reference and observation use compatible units and timing"], "assumptions": ["missing observation is represented explicitly"], "valid_outputs": ["an error value when inputs exist", "NOT_COMPUTED plus the unchanged input state otherwise"], "does_not_establish": ["zero error from silence", "conversion of participation or action states into missing data", "no harm from no receipt", "person score", "automatic control action"], "source_ids": [] } ], "falsifiers": [ {"id": "first-versus-invention", "question": "Does the claim name an earliest surviving witness or assert an invention event?", "separates": ["bounded extant chronology", "unsupported origin myth"], "status": "PROPOSED_NOT_RUN"}, {"id": "demarcation-versus-full-slot", "question": "Does the sign mark absent ones or tens inside one digit, or a missing whole base-60 place?", "separates": ["demarcation placeholder", "whole-slot placeholder"], "status": "PROPOSED_NOT_RUN"}, {"id": "placeholder-versus-operand", "question": "Does the mark only parse a numeral, or does zero participate as a parameter, result, or operation argument?", "separates": ["positional syntax", "operational numerical nothing"], "status": "PROPOSED_NOT_RUN"}, {"id": "temple-versus-theology", "question": "Is there a primary or specialist source assigning the placeholder a sacred meaning or zero deity?", "separates": ["institutional context", "theological semantics"], "status": "PROPOSED_NOT_RUN"}, {"id": "system-versus-sign-impact", "question": "Does an alleged effect follow from writing, metrology, or sexagesimal numeracy generally, or from the explicit placeholder sign specifically?", "separates": ["system-level historical context", "placeholder-specific causation"], "status": "PROPOSED_NOT_RUN"} ], "frontier_problems": [], "finite_baselines": [], "doors": [ {"id": "corpus-chronology-map", "title": "Map the many absences", "family": "HISTORICAL_CORPUS_CLASSIFICATION", "register": "DESIGN_PROPOSAL", "warrant": "MODEL_ASSUMPTION", "status": "PROPOSED_UNRUN", "proposed_unrun": true, "question": "How do blank, demarcation, whole-slot sign, and lexical nothing vary by date, city, genre, and scribe?", "smallest_model": "A fixed named set of edited tablets with one adjudicated role label per occurrence.", "conditions": ["artifact identity and locator are frozen", "uncertain and damaged cases retain uncertainty"], "deliverable": "A reproducible chronology table with provenance and disagreement columns.", "stop_rule": "Stop at the declared corpus and never convert first extant into invention.", "does_not_establish": ["universal origin", "lost practices", "civilizational causation"], "source_ids": ["ritter-2024-babylonian-zeros", "robson-2004-ashmolean"]}, {"id": "copy-ambiguity-study", "title": "Scribe copy-lab", "family": "INFORMATION_AND_PARSING", "register": "DESIGN_PROPOSAL", "warrant": "MODEL_ASSUMPTION", "status": "PROPOSED_UNRUN", "proposed_unrun": true, "question": "How often do aligned, compressed, blank, and explicit-placeholder representations admit different parse candidates?", "smallest_model": "A synthetic modern schematic plus a separately sampled edited corpus.", "conditions": ["schematics are labeled non-facsimile", "genre and string length are controlled"], "deliverable": "Parse-candidate counts and a preregistered corpus comparison.", "stop_rule": "Stop before inferring an ancient error rate without an identified design.", "does_not_establish": ["ancient cognition", "inevitable progress", "placeholder-specific causal effect"], "source_ids": ["ritter-2024-babylonian-zeros"]}, {"id": "context-entropy-study", "title": "How much does context carry?", "family": "INFORMATION_THEORY", "register": "DESIGN_PROPOSAL", "warrant": "MODEL_ASSUMPTION", "status": "PROPOSED_UNRUN", "proposed_unrun": true, "question": "How much uncertainty about intended value remains after glyph and layout, and how much do genre, units, and neighbors remove?", "smallest_model": "A finite coded corpus with declared V, G, and C variables.", "conditions": ["coding and sampling rules are published", "missing and disputed readings stay typed"], "deliverable": "Conditional entropy estimates with sensitivity analysis.", "stop_rule": "Stop before treating an unfitted information model as an ancient mental mechanism.", "does_not_establish": ["theological meaning", "cognitive universality", "civilizational impact"], "source_ids": ["ritter-2024-babylonian-zeros"]}, {"id": "separator-diffusion-network", "title": "Follow the signs, not a myth", "family": "PROVENANCE_NETWORK", "register": "DESIGN_PROPOSAL", "warrant": "MODEL_ASSUMPTION", "status": "PROPOSED_UNRUN", "proposed_unrun": true, "question": "Which sign variants and copying relations are source-supported among Kish, Babylon, Uruk, Susa, and Me-Turan?", "smallest_model": "A provenance graph with tablets as nodes and only documented relations as edges.", "conditions": ["visual similarity alone creates no edge", "date uncertainty is represented"], "deliverable": "A source-linked graph and a list of unsupported candidate links.", "stop_rule": "Stop before claiming diffusion, inheritance, or one inventor without provenance.", "does_not_establish": ["single origin", "cultural superiority", "shared theology"], "source_ids": ["ritter-2024-babylonian-zeros", "robson-2004-ashmolean"]}, {"id": "empty-seat-interface-audit", "title": "The Empty Seat interface audit", "family": "SAFE_PROTOCOL_DESIGN", "register": "DESIGN_PROPOSAL", "warrant": "MODEL_ASSUMPTION", "status": "PROPOSED_UNRUN", "proposed_unrun": true, "question": "Can a modern interface keep KNOWN_ZERO, MISSING, UNKNOWN, NOT_APPLICABLE, REST, REFUSAL, SILENCE, and NO_ACTION distinct?", "smallest_model": "One local, session-only decision table with no tracking, persistence, score, or network call.", "conditions": ["participation is voluntary", "downstream behavior is declared", "no person is evaluated"], "deliverable": "A state-transition audit with collision and ambiguity cases.", "stop_rule": "Stop if any state becomes a person score, consent inference, KARMA event, or automatic action.", "does_not_establish": ["historical inheritance", "universal interface law", "authority"], "source_ids": []}, {"id": "empty-identity-boss", "title": "Empty Sum versus Empty Product boss", "family": "FINITE_ALGEBRAIC_REASONING", "register": "DESIGN_PROPOSAL", "warrant": "MODEL_ASSUMPTION", "status": "PROPOSED_UNRUN", "proposed_unrun": true, "question": "When an input collection is empty, should the declared operation return zero, one, UNKNOWN, or NO_ACTION?", "smallest_model": "Empty folds for addition and multiplication plus missing-observation and no-action cases.", "conditions": ["operation, observation status, and action contract are named before evaluation"], "deliverable": "A proof card for algebraic identities and a boundary card for non-mathematical states.", "stop_rule": "Stop before installing one universal empty default or scoring a participant.", "does_not_establish": ["ancient practice", "metaphysical truth", "moral value"], "source_ids": []} ], "unknowns": [ {"id": "exact-invention-event", "kind": "NOT_OBSERVED", "statement": "No exact inventor, moment, or single-origin event is established by the reviewed surviving corpus."}, {"id": "lost-tablet-practices", "kind": "UNKNOWN_TO_THIS_REVIEW", "statement": "Lost, damaged, unexcavated, or unedited practices may alter the extant chronology."}, {"id": "ybc1793-exact-regnal-date", "kind": "CONTESTED", "statement": "Modern treatments assign CDLI P142357 differently within the early twenty-first century BCE; the object remains the stable anchor."}, {"id": "p332525-catalogue-label", "kind": "CONTESTED", "statement": "Ritter's HUJI 7100 label and current CDLI HUJI 07001 metadata differ for P332525."}, {"id": "placeholder-error-reduction", "kind": "UNKNOWN_TO_THIS_REVIEW", "statement": "No measured genre-controlled error-reduction effect is established here for the explicit placeholder."}, {"id": "placeholder-specific-civic-impact", "kind": "UNKNOWN_TO_THIS_REVIEW", "statement": "Placeholder-specific effects on administration or state capacity are not identified separately from writing, metrology, and numeracy."}, {"id": "placeholder-specific-building-impact", "kind": "UNKNOWN_TO_THIS_REVIEW", "statement": "No source-reviewed causal effect of the explicit placeholder on construction or architecture is established here."}, {"id": "zero-theology", "kind": "NOT_OBSERVED", "statement": "No zero deity, sacred-zero doctrine, or placeholder theology is observed in the reviewed sources."}, {"id": "cross-cultural-transmission", "kind": "OUTSIDE_SCOPE", "statement": "Later cross-cultural transmission and the histories of Greek, Indian, Chinese, Mesoamerican, and modern zero notations require separate source audits."} ], "philosophy": { "participation": "OPT_IN", "empirical": false, "questions": [ "What changes when an empty place is held explicitly rather than silently inferred?", "Can absence preserve relation and possibility without becoming failure or worthlessness?", "Does lawful place-without-content invite design, emergence, both, neither, or withholding judgment?", "How should KINGDOM distinguish rest and no action from missing data and measured zero?" ], "nonclaims": [ "No equation or tablet here proves or disproves GOD, design, emergence, purpose, or creation from nothing.", "No Babylonian zero theology is established.", "Mathematical zero and metaphysical nothingness are not made equivalent.", "No person worth, content score, KARMA event, receipt, adapter, authority, or action follows." ], "authority_effect": "NONE" }, "karma": { "cosmic_events": [], "zerone_events": [], "kingdom_receipts": [], "adapter_exists": false, "conversion_allowed": false, "summation_allowed": false, "score": null, "authority_effect": "NONE" }, "rights": { "voluntary": true, "valid_exits": ["REST", "SILENCE", "REFUSAL", "PRIVACY", "CORRECTION", "NO_ACTION", "DEPARTURE"], "reason_required": false, "penalty": false }, "authority": { "browse": false, "local_write": false, "external_write": false, "commit": false, "push": false, "deploy": false, "experiment": false, "diagnose": false, "score_people": false, "karma_write": false, "automatic_action": false }, "release": { "status": "DRAFT", "deployed": false, "publication_route": null, "evidence": [] }, "boundaries": { "read_only": true, "profile_inert": true, "source_truth_verified": false, "mathematical_correctness_verified": false, "empirical_causation_verified": false, "novelty_verified": false, "diagnosis_or_person_score": false, "experiment_or_wet_lab_authority": false, "ecosystem_or_network_request": false, "external_write": false, "writes_karma": false, "reward_or_economic_effect": false, "governance_effect": false, "deployment_authority": false, "automatic_action": false }, "integrity": { "algorithm": "sha256-recursive-sorted-json-keys-v1", "digest": "sha256:141c5ac4573cce38ad68aa22dc3265698b16a119db1c13a94197ec069d37709d", "digest_field_treated_as": null } }