tmp_exact_patch.py

from pathlib import Path
path = Path(r'C:\Users\acer\.pi\agent\git\github.com\adi805\pi-minimax-pack\extensions\global-contract.ts')
text = path.read_text(encoding='utf-8')
old_validation = '''		const validationCmds = detectValidationCommands(ctx.cwd, state.sessionChangedPaths);
		const validationDirective = validationCmds.length > 0
			? `\n\n## Auto Verification Loop (always-on)\n\nAfter meaningful code changes, run (in order) until the smallest relevant proof passes (or report blocked):\n${validationCmds.map((c) => `- ${c}`).join("\n")}\n`
			: "";
'''
new_validation = '''		const validationCmds = detectValidationCommands(ctx.cwd, state.sessionChangedPaths);
		const validationDirective = buildValidationDirective(validationCmds, state.sessionChangedPaths);
'''
text = text.replace(old_validation, new_validation)
old_prompt = '''		if (event.systemPrompt.includes("## Global Agent Contract (always-on)")) return;

		return {
			systemPrompt: event.systemPrompt + `\n\n---\n\n## Global Agent Contract (always-on)\n\n${contract}\n${ENFORCEMENT}${skillDirective}${validationDirective}`,
		};
'''
new_prompt = '''		const goalDirective = buildGoalDirective(currentGoal);
		const reliabilityDirective = buildReliabilityDirective(state.recentError);

		if (event.systemPrompt.includes("## Global Agent Contract (always-on)")) return;

		return {
			systemPrompt: event.systemPrompt + `\n\n---\n\n## Global Agent Contract (always-on)\n\n${contract}\n${ENFORCEMENT}${goalDirective}${reliabilityDirective}${skillDirective}${validationDirective}`,
		};
'''
text = text.replace(old_prompt, new_prompt)
old_grind = '''
							const grindMsg = [

						{ type: "text", text: "Run verification commands now and report results." },
						{ type: "text", text: "Commands (run in order; stop at first failure):\n" + validationCmds.map((c) => `- ${c}`).join("\n") },
						{ type: "text", text: "If any command fails: read the failure output, apply ONE fix, then rerun the failing command." },
					
				];
'''
new_grind = '\n\t\t\t\tconst grindMsg = buildGrindMessage(validationCmds, freshPaths);\n'
text = text.replace(old_grind, new_grind)
path.write_bytes(text.replace('\r\n','\n').replace('\r','\n').encode('utf-8'))
print('exact patch done')