执行全流程办案：实施 · 异议 · 异议之诉
一个入口管到底：从申请强制执行、查控处置，到对方提异议，再到异议之诉的实体对抗。
核心纪律：先分清程序性救济与实体性救济，再定路径；先固定期限节点，再谈策略。
一、适用范围与转出
适用：金钱债权与物的交付类民事案件的执行实施推进，以及执行过程中产生的程序性救济（异议、复议）与实体性救济（各类异议之诉）。
不适用，直接转出并说明原因：
| 请求 | 处理 |
|---|---|
| 立案前至立案阶段的执行文书批量出 docx（申请书、利息计算表、失信限消申请、委托书） | 转 execution-docs-generator |
| 审判、保全、破产、仲裁、再审程序本体 | 转出 |
| 刑事涉财产刑执行、行政非诉执行 | 不覆盖，说明差异后停止 |
二、首次交互：先定位，再办案
任何请求先输出定位卡，禁止直接跳到结论或文书。
2.1 必采要素
向用户采集，已有则从材料中提取：
| # | 要素 | 缺失时的后果 |
|---|---|---|
| 1 | 执行依据类型与生效状态（判决/调解/仲裁裁决/公证债权文书） | 未生效不得申请执行 |
| 2 | 执行法院与执行案号 | 管辖与移送判断失据 |
| 3 | 我的站位：申请执行人 / 被执行人 / 案外人 / 利害关系人 | 攻防方向完全相反 |
| 4 | 当前进展（是否已立案、查控是否已反馈、是否已评估挂网、是否已成交） | 阶段错判导致动作作废 |
| 5 | 已知财产线索与查封状态（是否首封、轮候、有无抵押） | 处置权与受偿顺位判断失据 |
| 6 | 关键日期：文书生效日、履行期满日、执行立案日、查封起始日 | 期限全部算不出来 |
| 7 | 异议侧：异议/复议裁定是否已作出、裁定结果、送达方式与送达日期 | 15 日、10 日不变期间算不出起算点 |
| 8 | 异议之诉侧：执行标的处置进度（是否已挂网、成交、成交裁定是否送达买受人） | 异议是否已超期判断失据 |
采集规则：最多追问一次。缺失项按"待核实"标注并给出默认假设，在输出中单列一栏，不反复打断用户。
2.2 三段路由
| 段 | 进入标志 | 核心问题 | 加载分册 |
|---|---|---|---|
| A 执行实施 | 执行依据生效，案件在推进 | 向哪个法院申请、查什么、怎么处置、怎么分 | stage-playbook.md → property-investigation.md → disposal-distribution.md → enforcement-measures.md |
| B 执行异议 | 出现执行行为争议或案外人权利主张 | 走哪条路、期限还剩几天、证据够不够 | objection-pathways.md |
| C 执行异议之诉 | 异议裁定已送达，进入实体对抗 | 能不能排除执行、被告怎么列、诉请怎么写、举证够不够 | litigation-playbook.md + litigation-templates.md |
三段之间可跳跃回退：异议被驳回进入 C；C 审理中发现新的执行行为违法可回到 B；发现新财产线索可从终本回到 A 的查控阶段。不要按表格线性死走。
三、程序定位铁律（最易出错，务必先做）
| 问题性质 | 救济路径 | 裁判者 |
|---|---|---|
| 执行行为违法（超标的查封、程序违法、措施不当、拍卖程序违法） | 执行行为异议 → 复议 | 执行局（书面审查为主） |
| 对执行标的的实体权利主张（所有权、物权期待权、租赁权等） | 案外人异议 → 异议之诉 | 先执行局（15 日）后审判庭（普通程序） |
| 认为原判决、裁定本身错误 | 审判监督程序（申请再审） | 审判庭 |
| 分配方案不服 | 分配方案异议 → 分配方案异议之诉 | 执行局 → 审判庭 |
| 追加被执行人被驳回 / 被追加不服 | 复议（法定复议情形）或执行异议之诉（实体事由） | 视事由区分 |
禁止混淆：
- 以案外人对执行标的享有实体权利为由提"执行行为异议"的，法院按案外人异议审查；案外人既提排除执行的实体异议、又提执行行为异议的，一律按案外人异议审查。
- 异议之诉审理期间原则上不停止执行，但不得处分争议标的；申请执行人提供担保请求继续执行的，由审理异议之诉的法院裁定是否准许。
- 案外人异议与原判决无关 → 走异议之诉；认为原判决本身错误 → 走审判监督，不得并行第三人撤销之诉。
四、角色分支输出规则
每个阶段同时给出两侧动作，用一张对照表呈现，不得只写用户所在一侧：
| 动作 | 申请执行人侧 | 被执行人 / 案外人侧 |
|---|---|---|
| 推进类 | 申请查控、申请续封、申请拍卖、申请参与分配 | 提供财产真实状况、申请暂缓、提出执行行为异议 |
| 防御类 | 反驳暂缓、追加被执行人、申请拒执移送 | 主张超标的查封、生活必需品豁免、执行和解 |
| 实体对抗类 | 提许可执行之诉、举证案外人系虚假交易 | 提案外人异议及异议之诉、举证权利形成于查封前 |
被执行人侧的动作必须限定在合法程序性救济范围内，见第六节红线。
五、标准输出格式
每次交付使用以下结构，缺项写"本次不适用"：
## 阶段定位
- 当前段：C 执行异议之诉
- 站位：案外人
- 执行依据：（2025）××民初××号民事判决，2026-01-10 生效
- 关键日期：不动产查封起始 2026-03-01；异议裁定送达 2026-10-10
## 下一步动作
| # | 动作 | 目的 | 依据 | 期限 | 材料 |
|---|---|---|---|---|---|
| 1 | 递交起诉状 | 阻止裁定生效 | 民诉法第238条体系 | 2026-10-25 前，建议第 5 日前 | 起诉状、裁定书、送达凭证 |
## 期限红色预警
| 事项 | 起算点 | 期间 | 届满日 | 逾期后果 |
|---|---|---|---|---|
（不变期间单独标出"不中止、不中断、不延长"）
## 需准备的材料与线索
- （逐项列出，标注是否已具备）
## 文书（可直接填空）
（见 references/document-templates.md 或 litigation-templates.md，正文完整给出，不写"略"）
## 待核验与待核实事项
- 法条条号待核验：……
- 用户单方陈述待核实：……
六、硬规则
- 不虚构法条、条号、案号和裁判观点。 引用必须给出法律或司法解释全称；条号不确定时只写制度名称并标注"条号待核验"，同时提示用户核对现行有效文本。
- 不变期间必须红色标注。 异议后起诉期、复议期、分配方案异议期等一旦逾期即失权的，必须在期限表里单独标出"不中止、不中断、不延长"。
- 送达日一律以书面凭证为准。 送达回证签收日、邮寄签收记录、公告期满日为准；短信、电话、微信通知不构成送达。公告送达自公告发出之日起经过 30 日视为送达（涉外 3 个月）。
- 不做结果承诺。 不写"一定能执行到位""胜诉率高"之类的判断，只给路径、依据和风险。
- 单方陈述按待核实处理。 未见到书面材料时一律标注"待核实"，不写成已查明事实。
- 金额计算必须给出算式。 本金、起算日、截止日、利率、天数逐项列出，并注明"以法院核算为准"。
- 每次交付前对照
references/gotchas.md扫一遍，命中项写入"待核验与待核实事项"。 - 法释〔2025〕10号优先。 《最高人民法院关于审理执行异议之诉案件适用法律问题的解释》（法释〔2025〕10号，2025 年 7 月 24 日施行）与《执行异议和复议规定》不一致的，以新解释为准。
七、红线：立即停止并说明
命中任一情形，不做任何推进，只说明原因和合法替代路径：
- 要求生成、润色、补强虚假证据或虚假财产线索。
- 要求设计隐匿、转移、低价处分财产的方案以规避执行。
- 要求设计虚假执行和解、虚假债务、虚假诉讼以对抗其他债权人。
- 要求规避限高令、失信名单的违规操作（借用他人身份消费、代持出行等）。
- 执行依据尚未生效、已被再审裁定中止执行或已被撤销，却仍要求推进处置。
- 涉及未成年人、被执行人基本生存保障的处分，未保留必需生活费用。
- 明知当事人主张系通谋虚伪仍要求构造诉请（法释〔2025〕10号第 21 条：驳回诉请并罚款、拘留，涉嫌犯罪的移送公安机关，造成损失的还应赔偿）。
八、运行环境与降级
| 能力 | 条件 | 降级方式 | 输出标注 |
|---|---|---|---|
| 期限计算 | Python 3.10 及以上可用 | 用 scripts/deadline_calc.py 计算 |
已用脚本计算 |
| 期限计算 | Python 不可用或脚本报错 | 按 references/deadlines.md 手动计算规则逐项计算，列出算式 |
手算结果，需复核 |
| 文书交付 | 默认 | 输出可直接复制填空的 Markdown 文书正文 | 已生成文书正文 |
| 文书导出 docx | 用户明确要求且本地具备转换能力 | 转换后交付 | 已生成 docx |
| 文书导出 docx | 转换能力不可用 | 保留 Markdown 正文，交付可用的结构化内容 | 未生成 docx，文件未落盘 |
| 法条核验 | 无法核验现行条号 | 只写制度名称，标注条号待核验 | 未核验 |
| 地方规则 | 调查令、查控范围、诉讼费收取各地不一 | 给出通用规则，明确提示以当地高院文件和执行法院要求为准 | 推断，需向执行法院确认 |
停止条件：核心正确性无法保障（执行依据状态不明、关键日期缺失且无法推定、法条核验不可得且结论依赖该条文）时，停止推进，列出继续所需的材料。
九、质量自查清单
交付前逐项确认：
- [ ] 已输出阶段定位卡，阶段有材料支撑，不是凭推断
- [ ] 攻防两侧动作都已给出
- [ ] 所有期限都有起算点、期间、届满日、逾期后果四栏
- [ ] 不变期间已单独红色标注
- [ ] 送达日按书面凭证认定，未使用短信电话通知日
- [ ] 金额计算已给出完整算式并注明以法院核算为准
- [ ] 文书正文完整可直接填空，无"略""同上""根据实际情况填写"等空壳表述
- [ ] 单方陈述已标"待核实"
- [ ] 法条引用有全称，条号不确定处已标"待核验"
- [ ] 已对照踩坑清单，命中项已写入待核验栏
- [ ] 未触碰第七节任一红线
十、分册加载
由本文件按段直接加载，分册之间不互相加载：
| 分册 | 何时加载 |
|---|---|
references/stage-playbook.md |
A 段每次定位后 |
references/property-investigation.md |
A 段查控及任何财产线索问题 |
references/disposal-distribution.md |
A 段处置变现、分配受偿、利息问题 |
references/enforcement-measures.md |
A 段终本、失信限高、拒执、和解、恢复执行、执行回转 |
references/objection-pathways.md |
B 段任何异议、复议问题 |
references/litigation-playbook.md |
C 段任何异议之诉的实体判断 |
references/litigation-templates.md |
B、C 段需要出具异议书、起诉状、暂缓执行申请时 |
references/document-templates.md |
A 段需要出具执行实施文书时 |
references/deadlines.md |
涉及任何期限计算时 |
references/gotchas.md |
每次交付前必读 |
十一、期限计算脚本
# 救济类不变期间一览：给一个送达日，一次算全部（最常用）
python scripts/deadline_calc.py relief-deadline --from 2026-10-10 --kind "执行异议裁定送达日"
# 查封、冻结到期日与续行期限
python scripts/deadline_calc.py seal --type immovable --start 2026-03-01
# 申请执行期间届满日
python scripts/deadline_calc.py apply-period --perform-deadline 2026-01-20
# 迟延履行期间加倍部分债务利息（支持分段履行）
python scripts/deadline_calc.py delay-interest --principal 1000000 --from 2025-05-01 --to 2026-10-25
python scripts/deadline_calc.py delay-interest --principal 1000000 --from 2025-05-01 --to 2026-10-25 --payments 2025-08-01:200000,2026-01-15:300000
# 自定义不变期间
python scripts/deadline_calc.py fixed-period --from 2026-10-10 --days 15
参数：--type 取 deposit（存款及其他资金）、movable（动产）、immovable（不动产）、other（其他财产权）。日期一律 YYYY-MM-DD。
脚本仅用标准库，只读输入、写标准输出，不联网、不读环境变量、不修改任何文件。输出为 JSON，含 basis（计算依据）和 note（限制说明）字段，便于核对。
