规范性说明规范理论定义 Factor Programs。历史草稿保留来源价值,但不能覆盖当前规范。FP_THEORY.md研究历史带着反例或问题参与数学反例、实现缺陷,以及代价高昂或未解决的搜索,是不同类型的发现。请记录证据对应的具体主张。讨论研究