

















Abstract:AI systems increasingly synthesize executable structure at runtime: LLMs generate programs, agents construct workflows,self-improving systems modify their own behavior. In classical homoiconic and staged languages, the transition from code representation to execution is unrestricted. eval is a language primitive, not a governed operation. We argue that in governed intelligent systems, this transition is an authority amplification: it converts symbolic structure into executable authority and must be mediated like any other effect. We present governed metaprogramming, a language design where program representations (machine forms) are first-class values, form manipulation is pure computation, and materialization (the transition from form to executable machine) is a governed effect subject to structural inspection. The governance system analyzes the proposed program's capability requirements, policy compliance, and resource estimates before permitting execution. We formalize two judgments: pure form evaluation (which emits no directives) and governed materialization (which emits exactly one governed directive). We prove three properties: purity of form manipulation, the no-bypass theorem, and boundary preservation. We implement the design in mashinTalk, a DSL for AI workflows compiling to BEAM byte code, and report on integration with 454 existing machine-checked Rocq theorems. The central contribution is reclassifying eval from a language primitive into a governed effect.
| Comments: | 15 pages. Companion proofs: this https URL. Project: this https URL. Update: Abstract typo fixes. Updated license |
| Subjects: | Programming Languages (cs.PL); Artificial Intelligence (cs.AI) |
| ACM classes: | D.2.4; D.3.1; I.2.0 |
| Cite as: | arXiv:2605.05248 [cs.PL] |
| (or arXiv:2605.05248v4 [cs.PL] for this version) | |
| https://doi.org/10.48550/arXiv.2605.05248 arXiv-issued DOI via DataCite |
From: Alan McCann [view email]
[v1]
Tue, 5 May 2026 02:56:43 UTC (14 KB)
[v2]
Mon, 11 May 2026 09:24:46 UTC (14 KB)
[v3]
Thu, 21 May 2026 09:20:15 UTC (16 KB)
[v4]
Tue, 26 May 2026 12:37:10 UTC (14 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。