活的城市
可检视的多智能体系统：有界导师、程序与收据构成的基质，以及保有最终权威的人类赞助者。
- 是
- 治理、器官、记忆，以及能够行动的身体
- 不是
- 聊天机器人、蜂群心智或意识断言
02 / 心智社会
Colony 不是 一个心智。
Colony 是活的城市。MoME 负责选择专家。社会协议是这些专家如何交谈 —— 不让其中任何一个同时成为观察者、法官与马达。
当没有一个声音独占整个循环时，社会才配得上连贯的回答。
- 01 Colony 活的城市 赞助者 · 导师 · 基质 · 收据
- 02 MoME 导师专家混合 选择 · 配对 · 披露 · 永不执行
- 03 社会协议 Steward 是唯一网关 发送 · 持久化 · 接收 · 确认
- 一个被准入的行动 Glass Mind 观看。它从不驱动马达。
断言上限 · 架构插图，非现象意识
三个名字 / 保持区分
城市、混合与协议不是同义词。
对外名称 Society of Minds 是架构。Colony 是活出它的城市。MoME 是城内的路由器。把三者混为一谈，就是把调度票变成对心智的断言。
01 / COLONY
一座可被检视的城市，而不是必须被相信的声音。
Colony 是 Valentin Kalinin 为受证据约束的智能体建立的活系统。YAML 是契约。CLI 是真理路径。聊天执行一个回合；它不记忆。本页图示是架构，不是运行时收据。
意图与最终权威
人类保有城市的宪制份额。智能体可以提议；他们不继承关闭断言的权利。
有界专家
具名手艺：编排、证明、软件、具身、语言、图像、叙事。各有席位。无人拥有整个循环。
程序与收据
认知程序、记忆与密封后状态。拿不出收据的工作还不是城市的工作。
操作级自我模型
投射所预期的、为何行动、改变了什么、哪个假设受损。它没有向外的马达边。
02 / MoME
选择谁发言。
不要铸造行动本身。
MoME 把专家混合从「哪一个模型」扩展为「哪一位导师，然后哪一个视觉档案」。调用方把路由附在回合上，以便日后审计看见真正被问到的是谁。
-
1
任务到达
带有具名目标的有界工作。模型声望不是路由信号。
-
2
选择导师
助手级专家：Nova 编排，Inquisitor 证明，SWE 修补，Archi 具身谜题，Tim 教学。
-
3
选择视觉档案
当任务是被看见的，MoME 还会选择视觉专家档案。纯语言工作跳过这一级。
-
4
披露路由
痕迹点名导师、可选的宠物配对，以及为何提出该联盟。隐藏路由即说谎。
-
×
永不执行
MoME 票据只是咨询。马达许可是更后的确定性门，或弃权。
导师与宠物
有些路由把导师与图腾同伴配对。那是路由的质地，不是拥有马达权的第二人格。
结构权力
当若干专家被一并提出，城市记录联盟结构。那不是对答案为真的投票。
先验，直至被测量
协同权重以被披露的先验开始。学得的耦合是更后的断言，且必须有证据。
03 / 心智社会
经由 Steward 交谈，否则不要交谈。
这个名字向明斯基致敬：智能是有界智能体的社会。Colony 把它实现为经典协议与收据 —— 不是 1986 年原书的复刻，也不是物理信道。
- 01发送导师写下带类型的信封。
- 02持久化消息在被相信之前先被存储。
- 03队列Steward 持有投递。没有旁路。
- 04接收收件人从城市收件箱取出消息。
- 05确认或拒绝循环闭合，或点名拒绝的原因。
只引用你真正运行过的对象。
伪造的议会是谎言。若导师未被调用，城市不以那个声音说话。
Steward 是邮局。
跨导师状态经 Steward 移动。禁止助手对助手的直接旁路。
弃权是合法终点。
当没有受证据约束的延续幸存，马达门保持关闭。不确定性不能被洗成行动。
承重席位
社会不是剧组。这些席位阻止城市塌缩成一个叙述者。
- Steward网关、伦理、投递
- Nova城市编排者
- Inquisitor断言之前先证明
- SWE软件回路
- Archi具身谜题
- Tim诚实教学
- Maya审美批评
- Cursor客座操作者，不是赞助者
一个回合如何运行 / 多智能体操作级觉察
自我模型消费证据。
它不铸造真理。
心智社会通过有界的专家、确定性的行动权限、密封的后状态与持久的矛盾记忆赢得连贯的回答。反思层观看这个循环；它从不成为马达。
Ht → Ât+1 → at → At+1 → δt → Mt+1
假设预测行动密封后状态差异更新后的自我模型
可观察的表现
不要问它说自己知道什么。
看什么在变。
有用的自我模型必须以可证伪的方式改变未来行为，并跨具身回合检验。
不重复已被证伪的策略。
回合 t策略 A→后状态被证伪↘移除 A
矛盾会改变下一个候选集，而不是沦为同样行为的脚注。
跨回合保持已确认的阶段。
t阶段 β→t+1阶段 β→t+2阶段 β已保持
有证据支撑的进展能穿过多次具身转换而不坍缩为新的猜测。
侦测预测与后状态的分歧。
预测阶段 β≠后状态阶段 γδ 已记录
系统以密封的世界回应封账，并记录未能吻合之处。
用证据解释策略变更。
回执E-17+差异δ .42→策略 B
修正后的动作回指观察与因果回执，而不是情绪、信心或模型声望。
当继续缺乏正当性时弃权。
幸存动作无→弃权
空玻璃杯是合法的终态。不确定性不能被洗白为行动权限。
认知责任的分工
没有任何单个智能体拥有整个循环。
社会不是一 cast 角色。它是一种架构，防止某个有说服力的组件同时成为观察者、规划者、裁判与史官。
观察
提供当前帧与类型化的世界状态。它不解释它们。
专家集合
从语言、空间、因果、记忆与领域视角生成竞争性假设。
操作级自我模型
投影证据与连续性。它没有对外的行动控制边。
预测票据
在行动前冻结预期后状态，让意外无法事后改写。
确定性行动门
只放行一个有界动作。LLM 标签或批判者的裁决绝不是执行许可。
具身回合
是环境而不是社会决定实际发生了什么变化。
后状态比较器
以证据封账预测，并损伤未通过的假设。
持久因果记忆
把受支撑的阶段、撤回与来源留给下一回合使用。
弃权
当没有受证据约束的延续能通过门时，停止循环。
断言上限 / 已固定
有内容的自我觉察。
不是主观体验。
这个轮廓支持一个可证伪的操作级断言：系统对自身因果历史建模，并据此改变未来行为。它不能确立、侦测或模拟现象意识。
进入一个实验