竞争—合作—联盟—阵营—共同体可计算机制研究
让不同主体更清楚地看见彼此的利益、诉求、能力、负担与边界；同时看见合作与不合作、竞争与协调分别会带来什么，从而寻找更可持续、更可核验、更可纠错的关系机制。
为什么研究这个问题？
人类几乎所有共同生活都离不开竞争与合作。个人、企业、组织、平台、社区和国家，都在维护自己的利益，也都可能需要他人的资源、能力与协同。
困难在于，我们最先看到的往往只是立场，而不是立场背后的真实利益、诉求、负担、能力、恐惧、第三方影响和未知。于是，一些本可避免的冲突不断升级，一些看似成功的合作却把成本转嫁给没有坐在谈判桌前的人，还有一些关系直到越过不可逆边界才发现原来的判断已经错了。
项目希望实现什么？
看见不同选择
不仅看合作有什么利益与损害，也看不合作有什么利益与损害；不仅看竞争的代价，也看减少竞争可能失去什么。
让关键条件适度可见
让影响共同选择和他方承重的利益、诉求、能力、负担、约束与未知，在必要范围和适当权限下可表达、可核验，而不是要求无边界公开。
扩大可行解空间
把单一争夺展开为时间、风险、责任、补偿、退出、第三方参与等多维组合；同时承认有些冲突确实不存在兼容解。
让合作生产可验证信任
从有限合作开始，以承诺、履约、偏离、修复和结果形成事实基础，让信任可以积累，也允许信任破裂后重新判断。
看见不在场承重者
谈判桌并不等于影响边界。一个方案即使参与双方满意，也仍需检查第三方是否承担了被隐藏的代价。
尽量在不可逆以前发现问题
当竞争、技术或制度形成自我强化循环时，尽可能提前显现升级路径、替代方案和退出窗口。
怎样使用这项研究？
方案一｜把你的现实问题带进来
谁参与？谁受到影响？各方真正关心什么？合作与不合作分别会怎样？什么才算改善？哪些边界不能为了其他收益被牺牲？在此基础上比较不同规则、资源、责任、信息和退出机制。
方案二｜让仍值得维持的合作持续下去
持续核验承诺、结果、偏离和修复。合作不是终点；当合作不再成立时，机制应允许重新谈判、缩小、暂停或退出。
带来你的问题，也带来你真正希望改善的目标。
它可以进入哪些领域？
商业谈判与企业并购、劳动关系、供应链、平台治理、社区与公共资源、跨组织协作、AI治理、国际关系与安全机制等，都可以成为研究对象。不同领域不需要接受同一个具体答案。
从思想到可检验研究
“可计算”不是把人的利益、尊严、权利和意义全部压成一个数字。它首先意味着让主体、条件、约束、方案、变化、已知与未知尽可能明确，使不同的人能够检查同一个问题、比较同一组选择、复算一部分结果，并指出哪里不成立。
当前已经有什么？
当前边界
当前开源实现只检查已声明输入和已声明约束下的一部分确定性关系。它不是公平认证，不推断动机，不预测行为，不替代谈判者、研究者或现实责任主体，也不产生现实授权。
竞争、合作、联盟、阵营与共同体是可能并存、嵌套和相互转化的不同关系形态，不是从低到高的单向阶梯。
为什么这件事在 AGI 时代更加重要？
如果未来更强的智能持续学习人类制度、行为、规则和历史，那么人类今天怎样处理利益冲突，也可能成为未来智能观察“理性主体如何相处”的现实样本。
这不能保证 AGI 会因此采用某种逻辑。但至少提出一个必须面对的问题：在人类越来越强大的能力被延伸到 AI、AGI 和未来制度以前，我们准备留下怎样的竞争、合作、责任与边界示范？