[功能] 战略发现阶段 3 — 以描述驱动的适应

从#969中分离出,由于第一阶段(#978)和第二阶段(#1007)已经着陆而关闭. 这个问题从一开始就说,第三阶段已超出其范围,下面的形状是它保留的两条线,与实际装运的货物相比有所扩大。

∮现在存在的一切∮

“战略发现”的外观解答* 有哪些战略* 和* 它们在阿尔法动物园外加SDM存储处的状况,

• " 清单-战略 " / " 战略-战略 " / " 获得战略-证据 " -- -- 只读
• " 更新战略 -- -- 证据 " -- -- 重建由 " 反检测 -- -- 诊断 " 硬门盖起的本地背检测运行文物的可支配证据缓存
• 每行都载有证据-阶段 ' 、证明 ' (它从计算出来的运行目录)、制度-定义 ' 和新鲜 ' /老'/工厂 " 的读取新内容的裁定

所缺少的循环是关闭它的一个循环:没有用户手写配置,外表所知道的策略不能被再出用于一个新的宇宙或制度.

□提议

让战略遗传 ' 从外表取出战略-id',并制作一个经过修改的`信号 ' :

1. 代理人通过获取战略-证据 ' 解决战略-id'问题。
2. 阅读战略说明和制度定义,即证据是在下列情况下计算的:
3. 为请求的宇宙/日期范围生成经修改的代码
4. 反向测试
5. 通过再现 战略 证据'反馈所生成的运行目录,使适应成为其自身证明'下的证据,而不是继承父母的

步骤5是让这不仅仅是一个方便的包装:一个经过调整的战略是一个"不同*"的战略,它的证据必须靠自己运行.

□ 从969号传来的限制

这些是894/#896被拒绝的原因,

• ** 没有幻影工具。 ** " guard.py " 已经执行原子广告,如果工具表面扩大,必须继续这样做。
• ** 没有继承的证据。 ** 一项经过调整的战略决不能将父母的衡量标准作为自己的衡量标准。 证据-阶段'不得声称该行证据'不能复制的计算结果——自978起在`证据-后-init-'中执行。
• ** 没有新的种子。 ** 从这回想中可以复制出的一切.

□ 开放式问题

1. 一项经过调整的战略是否获得一个新的`战略'或父母的后缀? 一个后缀保持了可查询的行迹;一个新的ID保持了证据表的诚实,认为它们是独立的事物. 可能两者兼而有之,并有 " 从 " 一栏。
2. 在父母的证据虚假'或不充分'的情况下,或者在裁决结果得到采纳的情况下,应否拒绝适用? 拒绝与外表上现有的指向是一致的;允许更有用,而且只要输出被贴上标签,可以说仍然是诚实的.
3. 生成的代码存在何处——现有的SDM存储器,或运行中的一件文物 . . . . . . .