Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint . 2026
Data sources: ZENODO
ZENODO
Preprint . 2026
Data sources: Datacite
addClaim

2026 Pre Art Artiom Kovnatsky SVE License v1.3+ [DOI]

Authors: Kovnatsky, Artiom;

2026 Pre Art Artiom Kovnatsky SVE License v1.3+ [DOI]

Abstract

This pre-print artifact, titled "2026 Pre Art Artiom Kovnatsky SVE License v1.3+," comprises a foundational theoretical framework and a comprehensive suite of 33+ scientific papers and protocols designed for the era of Strong AI (AGI). The collection establishes Systemic Verification Engineering (SVE) as a rigorous discipline at the intersection of differential geometry, topology, and formal ethics. File 1: Main Article — "And Who are the Judges? Formal Verification of AI-Ethics" The core paper introduces CogOS, a cognitive operating system that replaces heuristic AI alignment with the physics of semantic manifolds. Key contributions include: Invariant Semantic Core (ISC): A proof, based on Gödel’s incompleteness theorems, of the necessity for a non-computable invariant to prevent infinite semantic regress. Geodesic Ethics Vector (GEV / Christ-Vector): A mathematical proof using Lyapunov Stability of agent ethical dynamics converging to a humanity-centric attractor. $\epsilon$-Dehumanization: A differential metric for real-time tracking of systemic degradation in AI agents. Socrates-Solomon-Ivan Architecture: A recursive ontology refinement system for autonomous moral discovery. Ethics as (Differential) Geometry (invariants, operators, physics theorems etc.) & Topological interpretations ... File 2: Workshops and Artifacts — "The Blueprint of SVE" A collection of specialized protocols and stress-tests, including: The Betti Numbers of Morality: Using Persistent Homology (TDA) to identify "logical holes" and utilitarian biases in ethical benchmarks. The Maieutic Reversal Protocol: A Socratic framework for extracting latent ontological priors from "LLM-as-a-judge" systems. The Jabbar Test: A non-verbal empathy assessment protocol for evaluating Right Hemisphere capabilities in VLM/AGI. Anti-Judas Protocol: A game-theoretic safeguard against adversarial information markets. Regime Mobility: Adaptive governance models for AI under existential stress. ... Licensing: All materials are released under the S.V.E. Public License v1.3+, which mandates ethical disclosure, prohibits military/exploitative applications, and ensures that advancements remain a common good for humanity. MUST share-alike. 

Keywords

Geodesic Ethics Vector (GEV), Invariant Semantic Core (ISC), Collective Punishment, Christ-Vector, Universal Basic Income for Researchers, Lyapunov Stability, Ricci Curvature, Invariant Theory, Anti-Judas Protocol, Recursive Ontology Refinement (ROR), Transcendental Kernels, Topological Data Analysis (TDA), Socratic Method, Spectral Gap Analysis, General topics in AI, Robustness Verification, SVE License, Decentralized Science (DeSci), Game Theory, Ethical Symmetry, Philosophical/theoretical foundations of artificial intelligence, Semantic Manifolds, Stress-Testing (Room 101 Protocol), Intellectual Sovereignty, Persistent homology, Technological Change: Choices and Consequences, Formal Verification, Safety-Critical AI, AGI, Hybrid AI-Human Systems (Exoskeletons), Differential Geometry, Persistent Homology, The Jabbar Test, S.V.E. Public License, $\epsilon$-Dehumanization Metric, Systemic Verification Engineering (SVE), Ethics Vector Attractor, AI Alignment, Algorithmic Governance, Betti Numbers, LLM-as-a-judge, Ontological Priors, Moral Machine Audit, Computational Ethics, Cognitive Operating Systems (CogOS), Maieutic Reversal, Betti Numbers for Ethics, Game theory applications, Gödel's Incompleteness Theorems

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Green