应用
2015 · Q4 赛题事实 · Problem facts
被申请方可将撤回工程师和软件主张为促使阿格诺斯蒂卡尊重条约义务的反措施。该论证必须逐项证明先行不法行为、目标与目的、催告和通知、相称性、可恢复性及第50条限制；不能以“回应终止声明”取代这些要件。
莫里茨先提议合意终止，努瓦卢斯拒绝；阿格诺斯蒂卡随后宣布公约终止并披露Baxter租约。总统命令工程师撤离并移除软件，且命令文字将恢复条件表述为阿格诺斯蒂卡同意尊重其条约义务。
Baxter工程师称撤离已使运营瘫痪；5月底设施恢复人工主导作业，8月底高量销售给制药公司而传统使用者仅获少量高价供应。更正随后记载租约中止后工程师重新安装软件并恢复传统供应，相关事实同时涉及比例、影响和可恢复性。
Federal Republic of Agnostica围绕“软件撤离是否是合格的反措施”提出申请方的事实与规范连接。
State of Reverentia围绕“软件撤离是否是合格的反措施”回应申请方的事实与规范连接。
莫里茨提议协商终止公约
2012年2月1日，莫里茨（Moritz）总理提议双方以合意方式终止《马尔赛石公约》，称支撑该条约的科学已发生根本变化，并提出返还款项及额外补偿。
努瓦卢斯拒绝终止提议
2012年2月21日，努瓦卢斯（Nuvallus）总统拒绝该提议，称RMT向其保证供应足以满足当地需求，并称《公约》未限制RMT处理超额马尔赛石。
阿格诺斯蒂卡宣布终止并披露Baxter租约
2012年4月2日，莫里茨总理宣布《马尔赛石公约》已终止且不再具有效力，并披露阿格诺斯蒂卡已同意：一旦不再受该公约约束，即将现有东阿格诺斯蒂卡设施的全部权利出租给Baxter。
雷弗伦蒂亚撤回工程师与软件
努瓦卢斯总统命令设施内的雷弗伦蒂亚工程师返回雷弗伦蒂亚，并指示他们移除由RMT安装的软件，直至阿格诺斯蒂卡同意尊重其条约义务。
Baxter工程师报告运营受损
据2012年4月下旬到达的Baxter工程师称，人员和软件的撤离已使运营瘫痪，恢复有意义的开采需时数周或数月。
采矿设施恢复人工主导作业
至2012年5月底，所有设施均已恢复采矿作业，且高度依赖当地阿格诺雷夫（Agnorev）工人提供的体力劳动。
Baxter产量、销售去向与价格
至2012年8月31日，Baxter每日开采约100公斤马尔赛石，几乎全部出售给跨国制药公司；平均每日仅向传统使用者出售二至三公斤，且价格高得多。
通过《马尔赛石管制法》
2012年10月1日，阿格诺斯蒂卡颁布《马尔赛石管制法》，禁止将马尔赛石出售或转移至雷弗伦蒂亚，并禁止在阿格诺斯蒂卡境内未经授权地购买、出售或持有马尔赛石。
Baxter租约的价格和传统使用者保障
澄清第11项称，Baxter租约不含价格区间或保障传统医学从业者获取供应的条款；2012年约10%的开采马尔赛石以2011年1月价格两倍以上的价格出售给RMT。
恢复租约后软件重装与传统供应
澄清第13项称，Baxter和阿格诺斯蒂卡于2013年3月中止租约后，雷弗伦蒂亚工程师于2013年夏季恢复作业并重新安装软件；至2013年11月，传统医学从业者再次获得充足供应。
两国批准《维也纳条约法公约》
阿格诺斯蒂卡和雷弗伦蒂亚均于1983年批准1969年《维也纳条约法公约》。
双方对软件移除合法性的相反请求
申请方请求法院宣告雷弗伦蒂亚移除软件违反国际法；被申请方请求法院宣告该移除行为符合国际法。
马尔赛石自由流动与禁止新壁垒
《公约》第6条规定，两国应废除或撤销阻碍马尔赛石从阿格诺斯蒂卡自由流入雷弗伦蒂亚的壁垒，并在协议存续期间不施加新的税费或壁垒。
事实信号 · Issue signals
2012年4月2日，莫里茨总理宣布《马尔赛石公约》已终止且不再具有效力，并披露阿格诺斯蒂卡已同意：一旦不再受该公约约束，即将现有东阿格诺斯蒂卡设施的全部权利出租给Baxter。
宣布公约终止可被被申请方作为先行不法行为的候选，但其违法性本身仍有争议。
- 候选规范
- ARSIWA 第49条：反措施须针对对国际不法行为负责的国家。
- 双方如何争
- 被申请方须先证明终止违法且可归属于申请方；申请方可主张终止合法，因而不存在反措施的必要前提。
努瓦卢斯总统命令设施内的雷弗伦蒂亚工程师返回雷弗伦蒂亚，并指示他们移除由RMT安装的软件，直至阿格诺斯蒂卡同意尊重其条约义务。
命令称软件移除持续至申请方尊重条约义务，触发促成履行与指向责任国的目的审查。
- 候选规范
- ARSIWA 第49条：以促成履行为目的的临时措施。
- 双方如何争
- 该措辞支持被申请方的目的主张，但仍需考察实际影响、措施是否指向申请方，以及是否存在合格的先行不法行为。
据2012年4月下旬到达的Baxter工程师称，人员和软件的撤离已使运营瘫痪，恢复有意义的开采需时数周或数月。
运营被称为“瘫痪”且恢复需要数周或数月，触发对比例和第50条限制的具体审查。
- 候选规范
- ARSIWA 第50、51条：不得影响受保护义务，且效果须与损害相称。
- 双方如何争
- 申请方可强调对生产和患者供应的严重影响；被申请方可提出该措施可恢复、目标仅为恢复履约，但两者均需与具体义务和伤害相连。
澄清第13项称，Baxter和阿格诺斯蒂卡于2013年3月中止租约后，雷弗伦蒂亚工程师于2013年夏季恢复作业并重新安装软件；至2013年11月，传统医学从业者再次获得充足供应。
后来重装软件并恢复传统供应，为可恢复性提供线索，但不自动证明采取时满足所有程序和比例条件。
- 候选规范
- ARSIWA 第49(3)、第53条：尽可能允许恢复履行并在履行后终止反措施。
- 双方如何争
- 须查明中止租约、重装软件和恢复供应的原因、时间及其与所谓促成履行目的之间的联系。
事实—要件对照 · Fact–element matrix
阿格诺斯蒂卡宣布公约终止并开始Baxter租约安排。
申请方可主张终止合法，或指出被申请方尚未证明任何国际义务被违反。
被申请方可在其Q3立场下主张终止违反仍有效的双边条约，因而产生先行不法行为。
终止是否合法、条约当时是否有效、被申请方是否为受害国均须先行解决。
撤离命令明确以申请方同意尊重条约义务为恢复条件。
申请方可承认这一措辞，但主张实际措施破坏矿山并影响第三方，而非仅针对责任国。
被申请方可主张软件和工程师的非履行正是其对申请方在双边条约下的暂时回应。
须解释撤离的法律义务对象、实际受影响者和措施与促成履行之间的因果关系。
Baxter工程师称运营瘫痪；8月底大部分产量卖给制药公司，传统使用者仅获得少量且高价的供应。
申请方可主张措施的结果远超过保障条约权利所需，并可能影响条约外受保护利益。
被申请方可强调后来恢复人工开采和软件重装，主张措施有限且可逆。
需要明确受害国所受损害、措施对基本权利或其他第50条义务的影响，以及各结果的因果联系。
被申请方先拒绝终止提议，随后在终止声明后命令立即撤离。
申请方可主张拒绝提议不等同于通知拟采取反措施或提议谈判，且没有事实显示保存权利所需的紧急性。
被申请方可主张此前交换已清楚表达其立场，并尝试以申请方可能先移除软件来说明紧急性。
记录未完整列明催告、通知、协商、时间间隔或对权利即将受损的具体证据。
论证重构 · Argument reconstruction
01 先行不法行为与促成履行目的
Prior wrongful act and inducement purpose
被申请方拒绝终止提议；申请方宣布终止后，工程师和软件被撤离直至申请方尊重条约义务。
Respondent rejected the termination proposal; after Applicant declared termination, engineers and software were withdrawn until Applicant respected treaty obligations.
申请方 · APPLICANT
申请方应首先否定先行不法行为，或说明撤离并非仅对责任国的暂时非履行。
Applicant should first deny a prior wrongful act or show that the withdrawal was not a temporary non-performance directed only at a responsible State.
回应边界 · REPLY BOUNDARY须同时处理终止合法性和撤离命令中表达的促成履行目的。
It must address both the legality of termination and the inducement purpose stated in the withdrawal order.
被申请方 · RESPONDENT
被申请方应证明其终止立场在先行不法行为、受害国资格和双边义务对象上均成立。
Respondent must establish its termination theory as a prior wrongful act, its injured-State status, and the bilateral object of the obligation.
回应边界 · REPLY BOUNDARY仅援引命令的条件性用语不能补足违法性和归属前提。
Conditional wording in the order cannot itself establish wrongfulness or attribution.
02 比例、可恢复性和程序
Proportionality, reversibility, and procedure
撤离使运营瘫痪，后续出现人工恢复、高量制药销售以及最终软件重装和传统供应恢复。
Withdrawal crippled operations, followed by manual resumption, high-volume pharmaceutical sales, and eventual reinstallation and restoration of traditional supply.
申请方 · APPLICANT
申请方应将实际运营损害、传统使用者的供应和价格后果与先行不法行为的严重性作具体比较。
Applicant should compare actual operational harm and consequences for traditional users with the gravity of the alleged prior wrong.
回应边界 · REPLY BOUNDARY申请方不能仅凭后来不利结果跳过因果、可恢复性和第50条具体义务的证明。
Applicant cannot rely only on later adverse effects without proving causation, reversibility, and a specific Article 50 obligation.
被申请方 · RESPONDENT
被申请方应以恢复作业和后来重装软件支持可恢复性，并说明为何未先完成一般程序。
Respondent should use resumed operations and later reinstallation to support reversibility and explain why ordinary procedure was not first completed.
回应边界 · REPLY BOUNDARY可恢复性不能替代比例、通知和紧急性审查。
Reversibility cannot substitute for proportionality, notification, or urgency review.
标记后，四段进度条与首页复习清单会同步更新。