PhilArchive
open access
The Human Compilation Layer: Decision-Sufficient Abstraction and Traceable Verification for AI-Generated Technical Artifacts
As AI systems generate increasingly complex technical artifacts, the main challenge is often no longer generation but meaningful human verification. This paper introduces the Human Compilation Layer, a task-conditioned interface between machine-generated artifacts and human decision-making. The framework separates task and specification alignment, machine or empirical assurance, human-facing abstraction, and final decision use. It proposes that a useful representation should be feasible to evaluate within available human resources, preserve information necessary for the intended decision, and remain traceable to the underlying artifact and supporting evidence. The paper also identifies major failure modes, including specification mismatch, semantic omission, misleading abstraction, and automation-induced overreliance. It provides a formal framework and evaluation blueprint for future empirical studies, while making no claim that the proposed approach has yet been experimentally validated.
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization#925192
- Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization#920957
- Generative AI-Era Software Paradigm Reconstruction: A GAISF (Generative AI-Based Intelligent Software Fusion Framework) Theory and Model Study#689953
- Docking Structural Intelligence into the EU AI Act: Minimal Runtime Sheets, Oversight Theater, and Answerable Control in High-Risk AI Systems#204421
- Improving the Energy-Efficiency of the Code Generated by LLMs through Effective Prompting#1186885
Record · ID 1504731
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive