<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>Policy-Compilation on 兜忆轩 | Cedric's Compiler Notes</title><link>https://douyixuan.github.io/tags/policy-compilation/</link><description>Recent content in Policy-Compilation on 兜忆轩 | Cedric's Compiler Notes</description><image><title>兜忆轩 | Cedric's Compiler Notes</title><url>https://douyixuan.github.io/images/papermod-cover.png</url><link>https://douyixuan.github.io/images/papermod-cover.png</link></image><generator>Hugo -- 0.146.0</generator><language>en-us</language><lastBuildDate>Wed, 14 Oct 2026 12:14:00 +0800</lastBuildDate><atom:link href="https://douyixuan.github.io/tags/policy-compilation/index.xml" rel="self" type="application/rss+xml"/><item><title>029 · 规则能执行，是否就忠实表达了政策？</title><link>https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-14/</link><pubDate>Wed, 14 Oct 2026 12:14:00 +0800</pubDate><guid>https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-14/</guid><description>NOMOS 把书面政策编译为确定性工具调用门控。它能排除自阻塞、参数错绑等结构缺陷，却仍可能把具体授权弱化为‘用户要求过某种操作’。</description></item></channel></rss>