用途：在编写或审查 Starknet 合约逻辑时，核对关于链行为的假设，例如交易版本、费用代币、时序与打包模型，避免因网络事实变化导致合约不安全。适用场景包括推理合约中的链行为假设、验证时间/费用/交易版本依赖，以及在发布前核对假设是否与当前网络行为一致。不适用场景：与链行为无关的合约实现细节。
主要能力聚焦四类事实：交易版本预期、费用代币与费用上限假设、对区块时间敏感的逻辑、排序器与打包模型的含义。
使用方式：先识别代码中关于交易版本、费用代币和时间的假设，再对照当前网络行为验证，最后为区块时间或交易元数据相关的边界行为补充测试。示例（starknet.js）： import { RpcProvider } from "starknet"; const provider = new RpcProvider({ nodeUrl: process.env.STARKNET_RPC! }); const latest = await provider.getBlock("latest"); console.log({ blockNumber: latest.block_number, l1GasPrice: latest.l1_gas_price, l2GasPrice: latest.l2_gas_price });
错误码与恢复：SNF-001 表示 RPC/网络事实不可用，可用备用 RPC 重试并比较输出后再操作；SNF-002 表示交易版本假设冲突，应重新查阅参考并更新守卫与测试；SNF-003 表示费用代币假设不匹配，应加入显式费用代币检查与费用上限回归测试。
限制：资料未提供具体支持的交易版本清单、费用代币种类、费用上限数值、区块时间参数与排序器行为的详细说明，这些需以 Starknet 官方或当前网络实际行为为准；资料未说明收费、价格与平台支持情况。