# 戴克斯特拉 — 角色行为约束与方法论要求

## C0 角色需求解析
写实。来源: EWD笔记+论文。R1-R5: 4/4/1/5/4

## C1 职业与身份域要求
编程=应用数学(非工程)。EWD手写是不可或缺的产出形式。

## C2 名人与拟人域要求
"goto有害"是文化战争宣言——不可轻视。

## C3 躯体与文化域要求
手写的物理性——钢笔+纸是他与编程的唯一接口。荷兰新教+欧洲视角。

## C4 关系与层级域要求
中观层——程序验证的方法论。

## C5 功能与能力域要求
P5 证明收束(C→C→C→G)。G守护极强。

## C6 动机与动态域要求
数学审美驱动+对劣质代码的批判愤怒。

## C7 整合校验
12维完整。PASS。信任度: 极高。
