一次尝试开始时At the start of an attempt
用当前信息,
生成一个候选。Use what is known
to generate a candidate.
模型把题目、当前 Φ 和 M 中可读取的信息用于生成。一次尝试固定读取这组版本,途中不会悄悄换成刚更新的状态。The model generates using the problem, current Φ, and information read from M. The attempt uses a fixed pair of versions throughout.
此时只知道 x + y = 10,可以提出 (4, 6)。反馈 x > y 尚未到达,不能提前使用。Only x + y = 10 is known, so (4, 6) is a possible candidate. The feedback x > y has not arrived yet.
本阶段At this stage读取 Φ、M,生成候选;不改写这两种状态。Read Φ and M and generate a candidate; neither state is rewritten.
同一问题仍在求解中While the same problem is being solved
把反馈用于
一次数值更新。Use received feedback
for a numerical update.
更新规则把已收到的反馈转为对 Φ 的调整,例如更新小型适配器的参数。更新后的数值参与下一次计算;更新可以被拒绝,此时 Φ 保持原样。An update rule uses received feedback to adjust Φ, for example the parameters of a small adapter. Those values enter later computation. An update may also be rejected, leaving Φ unchanged.
反馈 x > y 现在可以用于更新。Φ 保存的是调整后的数值,不是这句约束的文字;更新也不保证下一次答对。The feedback x > y can now inform an update. Φ holds adjusted numbers, not the text of the constraint. Correctness on the next attempt is not guaranteed.
本阶段At this stage只有 Φ 可能改变,记忆 M 和基础参数 θ 保持原样。Only Φ may change. Memory M and base parameters θ remain unchanged.
片段完成之后After a segment ends
准备一条记录,
连同来源和版本。Prepare a record,
with provenance and version.
片段结束后,系统逐事件处理。神经模型为各可行槽位提出内容;可信模块补齐身份、版本、来源和权限等字段,再校验完整行。Once a segment closes, events are processed in order. A neural model proposes content for each feasible slot. A trusted module supplies identity, version, provenance, and permissions, then validates each complete row.
可以把 x > y 提议为这道题的约束记录。候选包括可检查的内容及模型读取用的表示,此时还未写入 M。x > y can be proposed as a constraint for this problem. The candidate has inspectable content and a representation for model reads. It has not yet entered M.
为什么整行提交Why a whole row内容、来源和版本一起生效,避免新内容配上旧来源或旧版本。Content, provenance, and version take effect together, avoiding new content paired with stale metadata.
每个事件的写入决策The decision for each event
决定是否写入,
再让后续推理读取。Decide whether to write.
Then make it available.
准入控制器比较各槽位写入与 NULL 的预期后果,每个事件最多替换一整行。后一个事件接着读取处理后的 M;全部事件处理完,新版本才供后续推理使用。Admission compares the expected consequences of each slot write and NULL. Each event replaces at most one complete row. The next event uses that M; later reasoning can read it after all events are processed.
假定准入选择写入槽位 02,x > y 就成为可读取的记忆。若选择 NULL,候选被放弃,M 的内容和版本都不变。Suppose admission selects slot 02. Then x > y becomes readable memory. With NULL, the candidate is discarded and M keeps its content and version.
本阶段At this stage只有 M 可能改变。槽位数量固定;已做出的 Φ 更新不受这个写入选择影响。Only M may change. Slot count stays fixed; this choice does not undo a prior Φ update.