Logic Lock Protocol (LLP): A Normative Framework for Structural Logical Integrity in AI Systems

This collection introduces the Logic Lock Protocol (LLP), an experimental normative framework designed to specify requirements for detecting and containing logical contradictions within artificial intelligence inference processes. LLP addresses structural logical integrity—a category of control distinct from, and complementary to, existing semantic safety measures such as alignment or content moderation. The protocol provides a coherence-first specification to mitigate the risks of "logical explosion" in automated reasoning systems. The repository contains three core documents:1. Core Specification v1.1: Sets forth the normative behavioral requirements and defines the "Lock State" fail-safe semantics for conformant systems.2. Scenario-Based Validation Framework: Establishes a model-agnostic methodology for auditing conformance through observable behavior (Scenario-1: Contradiction Ingestion).3. Preliminary Validation Study: A proof-of-concept study documenting observable signals of coherence degradation in production Large Language Models (LLMs) predicted by the framework. STATUS: Experimental Preprint / Working Document. Published to solicit academic and industrial feedback, enable external replication, and establish a foundation for future formal standardization (IETF/ISO tracks). LLP is a specification of requirements; it is not a reference implementation or a finished software product.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-02-01
DOI
https://doi.org/10.5281/zenodo.18446487
Primary Topic
Explainable Artificial Intelligence (XAI)
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Logic Lock Protocol (LLP): A Normative Framework for Structural Logical Integrity in AI Systems

FRANCO CARRICONDO
Zenodo (CERN European Organization for Nuclear Research)
Explainable Artificial Intelligence (XAI)
article

Logic Lock Protocol (LLP): A Normative Framework for Structural Logical Integrity in AI Systems

FRANCO CARRICONDO
article en

Abstract

This collection introduces the Logic Lock Protocol (LLP), an experimental normative framework designed to specify requirements for detecting and containing logical contradictions within artificial intelligence inference processes. LLP addresses structural logical integrity—a category of control distinct from, and complementary to, existing semantic safety measures such as alignment or content moderation. The protocol provides a coherence-first specification to mitigate the risks of "logical explosion" in automated reasoning systems. The repository contains three core documents:1. Core Specification v1.1: Sets forth the normative behavioral requirements and defines the "Lock State" fail-safe semantics for conformant systems.2. Scenario-Based Validation Framework: Establishes a model-agnostic methodology for auditing conformance through observable behavior (Scenario-1: Contradiction Ingestion).3. Preliminary Validation Study: A proof-of-concept study documenting observable signals of coherence degradation in production Large Language Models (LLMs) predicted by the framework. STATUS: Experimental Preprint / Working Document. Published to solicit academic and industrial feedback, enable external replication, and establish a foundation for future formal standardization (IETF/ISO tracks). LLP is a specification of requirements; it is not a reference implementation or a finished software product.

Zenodo (CERN European Organization for Nuclear Research)
Openalex Percentile: Top 72%
Explainable Artificial Intelligence (XAI)
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.