前言 — remuse

冻结2018年版的读者目标、三部分结构、历史工具链与现代复现实验边界。

为什么从可重放状态开始

前言把本书定义为从区块链预备知识进入以太坊开发、再以比特币附录扩展验证能力的实践路线。复现时必须保留2018年的问题坐标，同时把已经失效的命令与当前安全默认值隔离。

区块链开发最容易产生的错觉，是界面显示成功、命令返回哈希或节点高度增加，就认为整条链路已经正确。实际上，源码可能由错误编译器构建，客户端可能连接错误网络，签名可能授权了不同字节，交易可能只进入内存池，执行可能回滚，索引器也可能展示尚未确认或已经被重组撤销的数据。只有把前状态、输入、验证依据、候选输出、回执、确认与后状态连起来，才能区分“请求被看见”和“状态已按预期提交”。

本页因此先定义最小对象和不变量，再运行工具。读者应在实验前写出预期状态和拒绝原因，运行后保存原始协议对象，而不是只保存截图或格式化摘要。正常样本证明主路径，边界样本验证零值、最大值、恰好余额或资源上限，单故障样本验证实现能在首个不满足条件处停止。三个样本共享版本、网络、账户和观察点，差异才有可解释性。

每次重放还应生成一份机器可读记录：书目来源、提交或源码摘要、运行时版本、网络标识、账户或钱包上下文、固定输入、原始输出、错误对象、前后状态摘要与时间顺序。复核者从空目录读取这份记录，不依赖操作者浏览器缓存或终端历史；若缺失字段、节点未同步或结果绑定到不同区块哈希，门禁应明确失败而不是自动补猜。

2018年版还带来一层额外要求：概念与历史工具必须分开。Geth、TestRPC、browser-solidity、Truffle、Solidity和比特币节点的命令及默认配置已经演进，直接复制可能失败，也可能在错误或不安全的上下文中运行。历史实验在无真实资产的隔离环境中复现原行为；现代迁移另列替代工具、行为差异、验证方法和回退点，不能用今天的成功结果改写原书当时的系统假设。

版次、对象与验收合同

、、、、共同构成本页复核坐标。冻结2018年版的读者目标、三部分结构、历史工具链与现代复现实验边界。

本书锁定吴寿鹤、冯翔、刘涛、周广益《区块链开发实战：以太坊关键技术与案例分析》，机械工业出版社，2018年6月，227页，ISBN 9787111599562。得到电子书公开前言、11章和附录A至C的完整目录；京东交叉核对三部分结构和目录页码，天珑书店交叉核对作者、出版社、2018年6月、227页与ISBN。全书共有185个正式目录层级，学习地图与总复习不计入分母。本文是独立教学重构，不复制原书正文。

核心状态模型

H_i = hash(H_{i-1} \Vert merkle(T_i) \Vert metadata_i)

confirmed(T,k)=included(T) \land depth(T) \ge k \land canonical(T)

S_{t+1} = apply(S_t, T_t), \quad valid(T_t,S_t)=1

gate = source \times version \times replay \times boundary \times failureEvidence

第一式描述本页资源、价值或身份约束；第二式给出地址、确认或账本链接等派生关系。状态转移式要求候选请求先通过当前状态验证，再原子地产生后状态；失败必须保留原状态。证据门禁采用乘法语义，来源、版本、重放、边界或失败证据任一缺失都不能发布。

以一个最小样本固定前状态、调用者、输入、节点或编译器版本与确认阈值。正常样本走完整成功路径；边界样本取零值、最大值、恰好余额或恰好Gas；单故障样本只改变签名、nonce、网络身份、区块链接、权限或响应字段中的一项。三者使用同一观察合同，才能把差异归因到目标规则。

三段可运行骨架

type Trace = { before: string; input: string; after?: string; error?: string };
 
function evidenceGate(trace: Trace) {
  const complete = Boolean(
    trace.before && trace.input && (trace.after || trace.error),
  );
  return { complete, trace, unit: "bdp-preface" };
}

def apply_transition(state, request, verify):
    if not verify(state, request):
        return {"accepted": False, "state": state, "reason": "invalid"}
    candidate = state.copy()
    candidate[request["key"]] = request["value"]
    return {"accepted": True, "state": candidate, "reason": None}

async function waitForEvidence(client, transactionHash, confirmations) {
  const receipt = await client.getTransactionReceipt(transactionHash);
  if (!receipt || receipt.status !== true)
    return { state: "pending-or-failed" };
  const head = await client.getBlockNumber();
  return {
    state:
      head - receipt.blockNumber + 1 >= confirmations
        ? "confirmed"
        : "included",
  };
}

第一段要求成功和失败都形成结构化轨迹；第二段验证失败不污染原状态；第三段把接口、合约或确认落到可执行边界。生产实现还要补充密码库、并发、持久化、超时、整数范围与密钥管理，教学骨架不应直接连接真实资产。

正式目录逐项讲解

前言

“前言”位于本页正式目录坐标 1/1。前言把本书定义为从区块链预备知识进入以太坊开发、再以比特币附录扩展验证能力的实践路线。复现时必须保留2018年的问题坐标，同时把已经失效的命令与当前安全默认值隔离。

复核时记录前状态、输入、调用者或验证者、候选输出、拒绝原因和后状态；正常、边界与单故障样本除目标变量外保持一致。通过标准是“能从书目证据解释三部分结构，建立2018年历史环境与现代隔离环境的映射，并说明哪些结论可迁移、哪些命令只能考古。”，并保留原始响应、状态摘要、版本和首个失败点。

正常、边界与故障矩阵

样本	只改变的变量	预期结果	必存证据
正常	合法输入与足额资源	状态提交并达到确认阈值	前后状态、哈希、回执、版本
边界	零值、最大值或恰好阈值	按明确规则接受或拒绝	边界值、判断分支、资源消耗
单故障	签名、nonce、网络、权限或链接一项	提交前拒绝且原状态不变	错误对象、首个差异、回退点

测试先手算预期，再运行实现，并从独立进程读取最终状态。若前端、客户端、节点和链上状态给出不同答案，以原始协议对象和固定区块哈希为复核坐标；不得用刷新页面、提高超时或重复广播掩盖不一致。

常见失败与回退

本章回顾

冻结2018年版的读者目标、三部分结构、历史工具链与现代复现实验边界。前言把本书定义为从区块链预备知识进入以太坊开发、再以比特币附录扩展验证能力的实践路线。复现时必须保留2018年的问题坐标，同时把已经失效的命令与当前安全默认值隔离。掌握标准不是记住命令或界面，而是能从书目证据解释三部分结构，建立2018年历史环境与现代隔离环境的映射，并说明哪些结论可迁移、哪些命令只能考古。。发布前必须由独立观察者从来源和固定配置重放正常、边界及单故障样本。

前言