ARA 研究档案

ARA 研究档案

这是 SameTime 仓库中 ara/ 的网页阅读镜像，方便在手机上查看。每个 claim 链到 evidence，每个 experiment 对应可执行脚本。

总览

ARA 论文式总览（PAPER.zh.md） —— 所有 claim 的总表
中文镜像说明（TRANSLATION.zh.md）

M0 — TreeHeap 数学地基

逻辑层（/logic）

文件	内容
problem	问题定义
claims	M0-C01..C11, M0-SOFT-C01..C08, M0-EXIST-C01..C03, M0-DIFF-C01
predicts	P-MATH01..02, P-SOFT01..05, P-DIFF01 等
experiments	实验设计：pass gate、模型变体、数据集
soft_treeheap	Soft TreeHeap 设计文档
algebra	TreeHeap 算子代数定义

证据层（/evidence）

实验们的 evidence summary：

treeheap_math_probe — M0 闭包、非交换、逆操作验证
primitive_plus_probe — 地址寻址 plus 操作验证
trainability_quiz — 线性/XOR/模加法入门测试
soft_plus_probe — Soft Plus 梯度可达 + 低温坍缩
- GLM audit summary
structural_c05_probe — C05 结构必要性验证
kernel_convolution_ops_probe — C08 核卷积操作统一
deductive_inductive_kernel_probe — C09 演绎 vs 归纳核验证
treeheap_diff_algebra_probe — M0-DIFF-C01 差分代数
algebraic_decoder_probe — 代数解码器实验
M0 evidence 总览

S1 — Echo / 路径路由

逻辑层

文件	内容
problem	S1 问题定义
claims	S1-C01..C30 + S1-WM-C01..C02 + S1-WMT-ECHO-C01 + S1-MK-C01
experiments	E1..E11 实验设计
environment	运行环境说明

证据层

shallow_treeheap_s1_probe — S1-C30：浅层 TreeHeap OOD copy-by-address
s1_world_model_compound_probe — S1-WM-C01：冻结 embedding 世界坐标（负面结果）
s1_corpus_embedding_kernel_probe — S1-WM-C02：本地语料 SGNS 坐标
s1_wmt_echo_kernel_probe — S1-WMT-ECHO-C01：WMT echo 核验证
s1_wmt_multikernel_specialization_probe — S1-MK-C01：多核特化（2049 词表）
s1_wmt_multikernel_specialization_probe_common512 — S1-MK-C01：多核特化（513 词表）
s1_probabilistic_read_kernel_probe — 概率读核实验
s1_probabilistic_read_kernel_probe_b32 — 概率读核 batch=32
S1 evidence 总览

S2 — 折叠堆栈 / 翻译

逻辑层

文件	内容
problem	S2 问题定义
claims	C-001..C-028 等
predicts	P-FRAME01 等
experiments	实验设计
architecture	架构方案
theory	理论基础
treeheap_algebra	TreeHeap 代数设计
environment	运行环境

证据层

world_model_long_20260617 — 10 小时守夜训练
frame_probe_2h_queue — Frame probe 诊断
S2 evidence 总览

S3 — 生成

文件	内容
problem	S3 问题定义（计划中）

辅助页面

PUBLIC — 公开镜像说明
README — ARA 目录结构说明