Research proposal · tokenSwarm / contextSwarm

Cultural ContextSwarms

从 bottom-up 语义亚文化中产生 proactive intelligence,而不是让类人 agent role-play 出“主动性”。

学生讨论版 中文草案 · 2026-06-16 Dijkstra-inspired discipline
Read the proposal EWD lens Validation plan

A persistent blocker to building agentic organizations is that we still describe them as collections of agents, while the object that actually carries meaning is the context.

上半年关于 tokenSwarm 和 contextSwarm 的讨论,把我们推向一个更低层的判断:调度的最小单位不应是 agent 这种类人化单元,而应是 context piece。agent 可以是 operator、runtime shell、interface persona,但它不应成为系统本体。真正长期存在、被激活、被压缩、被重新组合、被传承的,是 context pieces、context lineages 和 context subcultures。

中心命题:大规模 AI 系统中的 proactive intelligence 不应实现为类人 agent 主动性,而应实现为自稳定 context subcultures 中受纪律约束的 bottom-up initiative emergence。

这份 proposal 试图把一个正在浮现的研究方向说清楚:如果 Swarm 要从被动任务系统走向科学发现、company-as-product 和超级组织,它的下一步不是更多 role-play agent,而是形成一种能够自发提出“什么值得成为任务”的语义文化。

Figure 1 · Proactive arises before a task is named Top-down completes given tasks; bottom-up context cultures generate candidates for what should become a task. Top-down orchestration human goal planner / retrieval execution / answer 强于完成任务,但弱于生成任务。 Context population activation · tension · gap negative results · tool affordances context lineages Subculture initiative local concern local taste protected niche initiative bid archive update Scheduler allocates token / compute / attention / memory / risk budget. It does not invent meaning.

Figure 1. 本 proposal 的核心图:top-down 系统从已命名目标出发;bottom-up contextSwarm 从语义生态出发。proactive 发生在任务被命名之前。

1 · 最小单元不是 agent,而是 context piece 与 context lineage。
2 · 主动性来源不是 heartbeat,而是语义张力、缺口、异常、重新激活和亚文化预算。
3 · 成功条件不是生成更多 transcript,而是更早、更少噪声地发现高价值 initiative。

1 · Motivation:为什么想到这件事?

我们从三个方向走到了同一个问题:如果系统永远只能响应明确任务,它就不会成为真正的组织。

Line A

tokenSwarm / contextSwarm

我们越来越确定:调度最小单元不是 agent,而是 context piece。agent 是可替换外壳;context 才是语义的真实承载者。

Line B

company as product

公司不是虚拟员工聊天室,而是不断变化的 context operating system。客户、代码、实验、销售、权限、路线图,都是 context pieces。

Line C

AI for science

科学发现的前置条件不是执行任务,而是生成值得问的问题。异常、负结果、新工具、旧假设之间的张力,会产生下一步探索。

最近的实时交互与数字人工作给了我们另一个信号:如果 AI 真的具备 proactive 能力,它已经有越来越好的表达界面。Thinking Machines 的 interaction models 把实时、打断、视觉线索和后台 reasoning 结合起来;Boson 的 Higgs Avatar 说明语音 agent 可以通过表情、点头、注视等低强度信号介入;LPM-1.0 把 conversation 看成 speaking、listening、reacting、emoting 的连续 performance。可是这些工作主要回答“proactive 出现后如何被呈现”,并不回答“proactive 从哪里来”。

我们的切入点:proactive 不应首先从 agent persona 中产生,而应从 context ecology 中产生。interaction model、avatar、voice、dashboard 只是 rendering layer。

2 · Why proactive:为什么 proactive 是 Swarm 的关键?

Swarm 的下一步不是更多 worker,而是让系统开始判断“什么值得成为任务”。

被动系统可以很强。它可以完成长任务、调用工具、总结文档、生成代码。但只要基本循环仍然是 human goal → planner → retrieval → execution → answer,它就仍然是 workflow engine。它擅长回答已经被提出的问题,却不擅长发现尚未被命名的问题。

而一个长期运行的 company-as-product 或 scientific swarm,最稀缺的不是“谁来执行”,而是“什么值得被注意”。重复客户信号、过期假设、旧负结果的新价值、实验异常、工具 affordance、组织记忆里的 open loop,都不会自动变成任务。它们需要一种底层机制把语义张力转换成 initiative。

所以,proactive 在这里不是提醒功能,也不是 agent 更爱说话。它是 Swarm 从被动任务系统走向自驱动组织的分界线。

单体 proactive

主动提醒、主动插话、主动执行、主动请求澄清。

群体 proactive

亚文化形成、预算竞争、弱信号保护、负结果传承、跨文化重组、主动生成问题。

3 · EWD lens:如何用 Dijkstra 阐释这件事?

EWD 的价值不是给我们一个 AI 算法,而是给我们一套避免自欺的计算纪律。

Dijkstra 在 EWD1036 中谈 radical novelty:面对真正新的对象,旧词汇和熟悉比喻往往更会误导我们。他还明确反对用拟人语言描述程序部件。对我们而言,这意味着:不要把系统原语写成 agent wants、agent believes、agent decides;应当写成 context activation、semantic tension、guard、operation、lineage、legitimate state。

Dijkstra 在 EWD447 中讲 separation of concerns:有效思想需要把一个方面隔离出来研究,同时知道它只是整体的一方面。这个观点可以直接变成我们的 sub-culture 定义:sub-culture 不是 topic cluster,也不是 agent role,而是 concern-local 的 context module。

在 EWD126 关于 THE multiprogramming system 的讨论中,Dijkstra 提到他们原本以为多个 abstract machines 需要第十三个 coordinator,后来认为更好的做法是让这些个体本身 mutually well-behaved。这正是我们对 central semantic coordinator 的态度:scheduler 只分配预算、风险和合法性;意义不应由中央 planner 发明。

在 EWD391 中,Dijkstra 讨论 self-stabilization:分布式系统的局部动作要凭局部信息达成全局目标,并且应能从非法状态恢复到合法状态。一个长期 proactive contextSwarm 一定会经历 memory pollution、错误激活、dominant culture 垄断和 attention overflow;关键不是永远不错,而是能恢复。

EWD translation:我们不是构造一个“像组织一样聊天”的机器,而是设计一套可维护的语义制度,使局部 well-behaved 的 context subcultures 在受约束的 nondeterminacy 中产生 initiatives。

4 · Why bottom-up:为什么 top-down 可能永远拿不到?

Top-down 可以高效完成目标,但它的起点已经是目标。proactive 的难点发生在目标被命名之前。

Top-down orchestration

  • 目标先验给定。
  • planner 是语义中心。
  • context 是完成任务的材料。
  • 探索通常被降级为子任务。
  • 容易得到更强的 workflow engine。

Bottom-up context culture

  • 目标可以由 context 张力生成。
  • scheduler 只处理预算与合法性。
  • context 是可演化的语义生命线。
  • 探索是亚文化的生存机制。
  • 目标是产生新任务的系统。

这不是否定 top-down。Top-down 对执行、交付、验证和对齐是必要的。但它天然偏向 exploitation。它会问:“为了完成这个目标,我需要哪些上下文?” bottom-up 会问:“哪些上下文正在互相激活?哪里有冲突?哪里无法压缩?哪里有新工具打开旧问题?哪里有弱小但可能重要的语义亚文化?”

因此,光靠 top-down 可能永远只能得到更强的执行器。要得到群体 proactive,就必须允许 context subcultures 在长期选择压力下形成自己的 taste、memory、routine 和 initiative pattern。

5 · What we want to build:这件事到底是什么?

我们想做的是一个 Proactive Cultural ContextSwarm:长期运行的语义生态系统,而不是多 agent 聊天系统。

它维护 context pieces,观察它们的共激活、冲突、缺口、组合机会和生命周期;它让 concern-local 的 subcultures 提交 initiative;它用预算市场和守卫条件决定哪些 initiative 得到执行;它把结果写回 archive,使成功 routine 变成未来的文化。

Context population把论文、实验、代码、会议、反馈、负结果、工具 affordance 归一化成可追踪的 context pieces。
Subculture formation不是在 prompt 里命名角色,而是根据共激活、共享失败模式、共享操作习惯和共享评价标准形成局部语义亚文化。
Initiative emergence当 anomaly、contradiction、gap、new tool affordance、negative-result reactivation 等模式出现时,亚文化提交 initiative。
Budgeted selectionscheduler 只分配 token、compute、attention、memory、risk、experiment budget,不发明意义。
Archive and stabilization系统记录 lineage、负结果、失败条件、成功 routine,并能从污染和垄断中恢复。
Core research question:在没有中央语义协调者和类人 agent role-play 的情况下,context pieces 能否通过 sub-culture formation、semantic tension、protected niche budget 与 self-stabilizing archive,bottom-up 地产生高价值 proactive initiatives?

6 · How to validate:这件事怎么验证?

验证不能围绕“看起来像文化”的 transcript,而应围绕 proactive 本身。

最小验证环境是一个不断增长的 context archive 和事件流。系统没有显式 prompt。它每轮需要输出哪些 context 被激活、哪些冲突被发现、哪些 dormant hypotheses 被重新唤醒、哪些 initiative 应该进入 inbox、哪些需要 human attention。

Baseline A

Prompt-driven planner

只有人类明确发问时才执行。它代表传统 top-down workflow。

Baseline B

Role-play multi-agent swarm

generator、critic、planner、researcher 等角色互相讨论。它代表 agent-centric proactive mimicry。

Ours

Context-subculture swarm

主动性来自 context activation、semantic tension、subculture bids 与 protected niche budget。

我们真正要看的指标

Initiative quality

主动提出的 initiative 是否有价值,是否出现得足够早,是否带有证据路径和可执行下一步。

Noise control

是否减少 swarm chatter、无用提醒、重复探索和 context pollution。

Stepping-stone reuse

旧负结果、边缘假设、dormant contexts 是否在新条件下被重新利用。

Recovery

面对错误 context、dominant culture 垄断、attention overflow,系统是否能回到合法语义状态。

如果 context-subculture 方案无法在无 prompt 条件下比 planner 和 role-play swarm 更早、更少噪声地发现高价值 initiative,那么这个方向就没有被证明。

7 · Research program:怎么系统化地做?

不要先做宏大系统。先做一门 discipline。

Phase 1 · Context trace建立 context piece schema、lifecycle、activation trace。目标是让“为什么被激活”可见,而不是让 agent 事后解释。
Phase 2 · Subculture discovery从共激活、共享失败模式、共享操作习惯和共享 evaluator 中发现 subculture,而不是手写角色。
Phase 3 · ContextCultureBench构造无 prompt 的事件流与隐藏高价值连接,比较 planner、role-play swarm 和 context-subculture swarm。
Phase 4 · Research ContextSwarm Kernel服务真实科研项目,持续接收论文、实验结果、代码变化、会议纪要、旧失败和工具更新。
Phase 5 · Company-as-Context OS把 company-as-product 重写为公司 context operating system:客户反馈、代码、增长、销售、roadmap、权限政策共同形成语义文化。

8 · 给学生的原则

No anthropomorphic primitives

不要把“想、相信、决定”作为系统原语;使用 activation、guard、operation、lineage、state。

Context first

agent 不是最小调度单元;context piece 才是语义调度单元。

Subculture is separation of concerns

亚文化是 concern-local module,不是人设,也不是普通 topic cluster。

Proactive means initiative emergence

主动性不是发更多消息,而是发现什么值得成为任务。

Scheduler allocates; it does not invent meaning

调度器处理预算、风险和合法性。语义来自 context ecology。

Protect fragile subcultures

早期高价值路线通常脆弱,必须有 protected niche budget。

这份 proposal 的目标不是把 AI 做得更像人,而是照 EWD 的要求,把一个 radical novelty 当成 radical novelty 对待:为它发明新的语言、新的抽象和新的纪律。

References and source notes

  1. E.W. Dijkstra Archive. https://www.cs.utexas.edu/~EWD/
  2. EWD1036, On the cruelty of really teaching computing science. Radical novelty, shallow analogy, anti-anthropomorphic vocabulary. link
  3. EWD447, On the role of scientific thought. Separation of concerns. link
  4. EWD126, The Multiprogramming System for the EL X8 THE. Against a heavy thirteenth coordinator; mutually well-behaved abstract machines. link
  5. EWD391, Self-stabilization in spite of distributed control. Local information, global objective, legitimate state. link
  6. EWD418, Guarded commands, non-determinacy and a calculus for the derivation of programs. Guarded commands as disciplined eligibility for execution. link
  7. EWD988, On the phenomenon of scientific disciplines. Disciplines as modules of knowledge and abilities; coherence, isolation, long-range evolution. link
  8. Thinking Machines, Interaction Models. Real-time human-AI collaboration, continuous audio/video/text, micro-turns, background reasoning. link
  9. Boson AI, Higgs Avatar v1. Real-time avatars for voice agents; the nonverbal surface for proactive interaction. link
  10. LPM-1.0, Video-based Character Performance Model. Conversation as full-duplex audiovisual performance. link
  11. IsoCompute Playbook. We borrow the page rhythm: persistent blocker → allocation question → workflow → validation. link