The Grounding Gate: Admissibility and Replay Guarantees for AI-Driven Research

AI systems that generate computational pipelines from natural language may propose operations that are structurally valid but semantically unwarranted—the operation exists, but the user’s request does not justify it. Schema validation catches malformed proposals; it does not catch valid-but-wrong ones. We present a grounding gate: a mandatory admissibility boundary between AI-proposed operations and deterministic execution. The system discovers which capabilities match the user’s terms by querying a live registry (236 capabilities), and a deterministic grounding function verifies that every name in the proposal has evidence in the discovery result. Names lacking evidence are rejected before execution, even if they name real capabilities. Admitted proposals execute deterministically, producing an 8-layer execution hash that decomposes end-to-end provenance into distinct semantic layers for fault localization without re-execution. The capability registry separates description from identity: three layers (semantic, algebraic, implementation) determine a capability’s hash, while discovery metadata (aliases, tags) does not, allowing the registry to improve discoverability without invalidating prior execution hashes. We evaluate on 30 prompts across 5 categories (4 strategy families, 9 metrics, 36 valid combinations). An unconstrained pipeline executes valid-but-unwarranted capabilities at 23.3%; the grounded pipeline reduces this to 10.0% (Fisher exact p = 0.027), eliminating them entirely on undiscoverable prompts (100%→0%). On adversarial prompts exploiting discovery-alias gaps, the grounded pipeline has a higher failure rate—a tradeoff inherent to constraining the admissible set. Repeated executions produce bit-identical hashes across all 50 runs (5 configurations × 10 repetitions). Grounding overhead is under 14 ms.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-05-30
DOI
https://doi.org/10.5281/zenodo.20456983
Primary Topic
Scientific Computing and Data Management
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

The Grounding Gate: Admissibility and Replay Guarantees for AI-Driven Research

Thomas Dionysopoulos
Zenodo (CERN European Organization for Nuclear Research)
Scientific Computing and Data Management
article

The Grounding Gate: Admissibility and Replay Guarantees for AI-Driven Research

Thomas Dionysopoulos
article en

Abstract

AI systems that generate computational pipelines from natural language may propose operations that are structurally valid but semantically unwarranted—the operation exists, but the user’s request does not justify it. Schema validation catches malformed proposals; it does not catch valid-but-wrong ones. We present a grounding gate: a mandatory admissibility boundary between AI-proposed operations and deterministic execution. The system discovers which capabilities match the user’s terms by querying a live registry (236 capabilities), and a deterministic grounding function verifies that every name in the proposal has evidence in the discovery result. Names lacking evidence are rejected before execution, even if they name real capabilities. Admitted proposals execute deterministically, producing an 8-layer execution hash that decomposes end-to-end provenance into distinct semantic layers for fault localization without re-execution. The capability registry separates description from identity: three layers (semantic, algebraic, implementation) determine a capability’s hash, while discovery metadata (aliases, tags) does not, allowing the registry to improve discoverability without invalidating prior execution hashes. We evaluate on 30 prompts across 5 categories (4 strategy families, 9 metrics, 36 valid combinations). An unconstrained pipeline executes valid-but-unwarranted capabilities at 23.3%; the grounded pipeline reduces this to 10.0% (Fisher exact p = 0.027), eliminating them entirely on undiscoverable prompts (100%→0%). On adversarial prompts exploiting discovery-alias gaps, the grounded pipeline has a higher failure rate—a tradeoff inherent to constraining the admissible set. Repeated executions produce bit-identical hashes across all 50 runs (5 configurations × 10 repetitions). Grounding overhead is under 14 ms.

Zenodo (CERN European Organization for Nuclear Research)
Peace, Justice and strong institutions
Openalex Percentile: Top 2%
Scientific Computing and Data Management
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.