cli_test.v

22.0 KB · raw

1module tests23import os4import time56const root = @VMODROOT7const binary = os.join_path(root, 'build', 'koh3')89struct Result {10mut:11	code int12	out  string13	err  string14}1516fn testsuite_begin() {17	os.mkdir_all(os.join_path(root, 'build')) or { panic(err) }18	build := os.execute('v -o ${q(binary)} ${q(os.join_path(root, 'src', 'koh3.v'))}')19	if build.exit_code != 0 {20		panic('could not build koh3: ${build.output}')21	}22}2324fn q(s string) string {25	return "'${s.replace("'", "'\\''")}'"26}2728fn temp_repo(name string) string {29	dir := os.join_path(os.temp_dir(), 'koh3-cli-${name}-${time.now().unix_nano()}')30	os.mkdir_all(dir) or { panic(err) }31	return dir32}3334fn run(repo string, args ...string) Result {35	home := temp_repo('home')36	defer { os.rmdir_all(home) or {} }37	return run_home(repo, home, ...args)38}3940fn run_home(repo string, home string, args ...string) Result {41	stamp := '${os.getpid()}-${time.now().unix_nano()}'42	base := os.join_path(os.temp_dir(), 'koh3-cli-${stamp}')43	out_path := '${base}.out'44	err_path := '${base}.err'45	code_path := '${base}.code'46	mut command := 'HOME=${q(home)} ${q(binary)}'47	for arg in args {48		command += ' ${q(arg)}'49	}50	shell := 'cd ${q(repo)} && ${command} </dev/null >${q(out_path)} 2>${q(err_path)}; printf "%s" $? >${q(code_path)}'51	result := os.execute(shell)52	if result.exit_code != 0 {53		panic('could not run test command: ${result.output}')54	}55	code := os.read_file(code_path) or { panic(err) }56	out := os.read_file(out_path) or { '' }57	err := os.read_file(err_path) or { '' }58	os.rm(out_path) or {}59	os.rm(err_path) or {}60	os.rm(code_path) or {}61	return Result{62		code: code.int()63		out:  out64		err:  err65	}66}6768fn init_repo(repo string) {69	r := run(repo, 'init')70	assert r.code == 071	assert os.exists(os.join_path(repo, '.koh'))72	assert os.exists(os.join_path(repo, '.kohignore'))73}7475fn write(repo string, path string, text string) {76	full := os.join_path(repo, path)77	os.mkdir_all(os.dir(full)) or { panic(err) }78	os.write_file(full, text) or { panic(err) }79}8081fn read_json_has(text string, key string) {82	if !text.contains(key) {83		panic('missing JSON key ${key}: ${text}')84	}85}8687fn test_init_and_usage() {88	dir := temp_repo('init')89	defer { os.rmdir_all(dir) or {} }90	r := run(dir, 'init', '--json')91	assert r.code == 092	read_json_has(r.out, 'repo')93	read_json_has(r.out, 'ignore_created')94	assert run(dir, 'init').code == 195	assert run(dir, 'unknown-command').code == 296	assert run(dir, 'unknown-command').err.contains('unknown command')97}9899fn test_save_checkpoint_and_status() {100	dir := temp_repo('save')101	defer { os.rmdir_all(dir) or {} }102	init_repo(dir)103	write(dir, 'tracked.txt', 'one\n')104	r := run(dir, 'save', 'first message', '--agent', 'agent-7', '--session', 'session-a', '--json')105	assert r.code == 0106	for key in ['id', 'parent', 'message', 'created_at', 'machine', 'is_checkpoint', 'agent',107		'session', 'files', 'size_bytes'] {108		read_json_has(r.out, key)109	}110	assert r.out.contains('"message":"first message"')111	assert r.out.contains('"agent":"agent-7"')112	assert r.out.contains('"session":"session-a"')113	assert r.out.contains('"is_checkpoint":false')114	assert run(dir, 'save', 'again').code == 1115	assert run(dir, 'save', 'again').err.contains('nothing has changed since the last save')116	assert run(dir, 'save').code == 2117	assert run(dir, 'save', 'x', '--bogus').code == 2118	cp := run(dir, 'checkpoint', 'still first', '--json')119	assert cp.code == 0120	assert cp.out.contains('"is_checkpoint":true')121	assert cp.out.contains('"parent":')122	clean := run(dir, 'status')123	assert clean.code == 0124	assert clean.out.contains('no changes')125	write(dir, 'tracked.txt', 'two\n')126	write(dir, 'new.txt', 'new\n')127	os.rm(os.join_path(dir, 'tracked.txt')) or { panic(err) }128	write(dir, '.kohignore', '*.log\n')129	status := run(dir, 'status')130	assert status.code == 0131	assert status.out.contains('+')132	assert status.out.contains('~') || status.out.contains('-')133	assert status.out.contains('added')134	js := run(dir, 'status', '--json')135	assert js.code == 0136	for key in ['head_id', 'head_msg', 'dirty', 'modified', 'added', 'deleted', 'ignore_changed'] {137		read_json_has(js.out, key)138	}139	assert js.out.contains('"ignore_changed":true')140}141142fn test_status_requires_repo_and_ignore_rules() {143	dir := temp_repo('status')144	defer { os.rmdir_all(dir) or {} }145	assert run(dir, 'status').code == 1146	init_repo(dir)147	write(dir, '.kohignore', '*.log\nbuild/\n')148	write(dir, 'keep.txt', 'keep\n')149	write(dir, 'ignored.log', 'ignore\n')150	write(dir, 'build/output.txt', 'ignore\n')151	assert run(dir, 'save', 'keep').code == 0152	assert run(dir, 'status').out.contains('no changes')153	assert !run(dir, 'status').out.contains('ignored.log')154	assert !run(dir, 'status').out.contains('build/output.txt')155	assert !run(dir, 'status').out.contains('LOG.md')156}157158// `save` records the executable bit, so `status` has to see it too, or a159// chmod would be invisible until it turned up in a save.160fn test_status_sees_an_executable_bit_change() {161	dir := temp_repo('chmod')162	defer { os.rmdir_all(dir) or {} }163	init_repo(dir)164	write(dir, 'run.sh', 'echo hi\n')165	assert run(dir, 'save', 'script').code == 0166	os.chmod(os.join_path(dir, 'run.sh'), 0o755) or { panic(err) }167	status := run(dir, 'status', '--json')168	assert status.out.contains('"dirty":true')169	assert status.out.contains('"modified":["run.sh"]')170}171172fn test_log_and_diff() {173	dir := temp_repo('history')174	defer { os.rmdir_all(dir) or {} }175	init_repo(dir)176	write(dir, 'a.txt', 'one\n')177	first := run(dir, 'save', 'one', '--session', 'alpha', '--json')178	id1 := first.out.all_after('"id":"')[..12]179	write(dir, 'a.txt', 'two\n')180	second := run(dir, 'save', 'two', '--session', 'beta', '--json')181	id2 := second.out.all_after('"id":"')[..12]182	cp := run(dir, 'checkpoint', 'checkpoint', '--json')183	assert cp.code == 0184	log := run(dir, 'log')185	assert log.code == 0186	assert log.out.contains('▸')187	assert log.out.contains('◐')188	lj := run(dir, 'log', '--json')189	assert lj.code == 0190	assert lj.out.contains('"head_id"')191	assert lj.out.contains('"saves"')192	assert run(dir, 'log', '--since', 'today').out.contains('two')193	session := run(dir, 'log', '--session', 'alpha')194	assert session.out.contains('one')195	assert !session.out.contains('two')196	write(dir, 'a.txt', 'three\n')197	d := run(dir, 'diff')198	assert d.code == 0199	assert d.out.contains('--- a/')200	assert d.out.contains('+++ b/')201	assert run(dir, 'diff', id1).code == 0202	assert run(dir, 'diff', id1, id2).code == 0203	dj := run(dir, 'diff', '--json')204	assert dj.code == 0205	assert dj.out.contains('"from"')206	assert dj.out.contains('"to"')207	assert dj.out.contains('"files"')208	assert dj.out.contains('"change":"modified"')209	assert run(dir, 'diff', 'not-a-real-id').code == 1210	assert run(dir, 'diff', id1, id2, 'third').code == 1211	write(dir, 'blob.bin', '\x00\x01\x02')212	diff_binary := run(dir, 'diff', '--json')213	assert diff_binary.out.contains('"binary":true')214	assert diff_binary.out.contains('Binary files differ')215}216217fn test_undo_revert_and_load() {218	dir := temp_repo('restore')219	defer { os.rmdir_all(dir) or {} }220	init_repo(dir)221	write(dir, 'a.txt', 'one\n')222	one := run(dir, 'save', 'one', '--json').out223	id1 := one.all_after('"id":"')[..12]224	write(dir, 'a.txt', 'two\n')225	write(dir, 'gone.txt', 'gone\n')226	second := run(dir, 'save', 'two', '--json').out227	id2 := second.all_after('"id":"')[..12]228	write(dir, 'a.txt', 'three\n')229	third := run(dir, 'save', 'three', '--json').out230	id3 := third.all_after('"id":"')[..12]231	// Unsaved work — here a file never saved — blocks every going-back but232	// revert, as in Koh 2: a restore must never overwrite what only the disk has.233	write(dir, 'never.txt', 'keep me\n')234	log_before := run(dir, 'log').out235	for args in [['undo', '--yes'], ['load', id1, '--yes'], ['pluck', id2, '--yes']] {236		blocked := run(dir, ...args)237		assert blocked.code == 1238		assert blocked.err.contains('unsaved changes')239	}240	assert run(dir, 'log').out == log_before241	os.rm(os.join_path(dir, 'never.txt')) or { panic(err) }242	write(dir, 'a.txt', 'edited, never saved\n')243	assert run(dir, 'undo', '--yes').err.contains('unsaved changes')244	assert os.read_file(os.join_path(dir, 'a.txt'))! == 'edited, never saved\n'245	write(dir, 'a.txt', 'three\n')246	os.rm(os.join_path(dir, 'gone.txt')) or { panic(err) }247	assert run(dir, 'load', id1, '--yes').err.contains('unsaved changes')248	write(dir, 'gone.txt', 'gone\n')249	undo := run(dir, 'undo', '--yes', '--json')250	assert undo.code == 0251	if !undo.out.contains(id2) {252		panic('undo JSON did not name ${id2}: ${undo.out}')253	}254	assert os.read_file(os.join_path(dir, 'a.txt'))! == 'two\n'255	assert os.exists(os.join_path(dir, 'gone.txt'))256	assert run(dir, 'load', id3, '--yes').code == 0257	assert os.read_file(os.join_path(dir, 'a.txt'))! == 'three\n'258	assert run(dir, 'undo', '2', '--yes').code == 0259	assert run(dir, 'load', id2, '--yes').code == 0260	assert run(dir, 'undo', '99', '--yes').err.contains('nothing before')261	write(dir, 'a.txt', 'dirty\n')262	before := run(dir, 'log')263	refuse := run(dir, 'revert')264	assert refuse.code == 1265	assert refuse.err.contains('needs --yes when not interactive')266	assert run(dir, 'log').out == before.out267	assert os.read_file(os.join_path(dir, 'a.txt'))! == 'dirty\n'268	write(dir, 'untracked.txt', 'remove\n')269	rv := run(dir, 'revert', '--yes')270	assert rv.code == 0271	assert os.read_file(os.join_path(dir, 'a.txt'))! == 'two\n'272	assert !os.exists(os.join_path(dir, 'untracked.txt'))273	assert run(dir, 'revert', '--yes').out.contains('working tree already matches')274	assert run(dir, 'load', '--checkpoint', '--yes').code == 0275	assert run(dir, 'load', id2, '--json').code == 1276	assert run(dir, 'load', id2, '--json').err.contains('error')277	assert run(dir, 'load').code == 2278	assert run(dir, 'load', 'unknown-id', '--yes').code == 1279}280281fn test_flag_and_flagged_log() {282	dir := temp_repo('flag')283	defer { os.rmdir_all(dir) or {} }284	init_repo(dir)285	write(dir, 'flag.txt', 'one\n')286	saved := run(dir, 'save', 'flag me', '--json')287	id := saved.out.all_after('"id":"')[..12]288	flagged := run(dir, 'flag', id, '--reason', 'unsafe', '--json')289	assert flagged.code == 0290	assert flagged.out.contains('"flagged":true')291	assert flagged.out.contains('"reason":"unsafe"')292	list := run(dir, 'flag', '--json')293	assert list.code == 0294	assert list.out.contains(id)295	assert list.out.contains('unsafe')296	assert run(dir, 'log').out.contains('⚑')297	assert run(dir, 'flag', '--clear', id).code == 0298	assert run(dir, 'flag').out.contains('nothing is flagged')299	assert run(dir, 'flag', 'unknown-id').code == 1300	assert run(dir, 'flag').code == 0301}302303fn test_pluck_forward_reverse_dry_run_and_conflict() {304	dir := temp_repo('pluck')305	defer { os.rmdir_all(dir) or {} }306	init_repo(dir)307	write(dir, 'a.txt', 'one\n')308	first := run(dir, 'save', 'one', '--json').out309	id1 := first.all_after('"id":"')[..12]310	write(dir, 'a.txt', 'two\n')311	second := run(dir, 'save', 'two', '--json').out312	id2 := second.all_after('"id":"')[..12]313	assert run(dir, 'load', id1, '--yes').code == 0314	dry := run(dir, 'pluck', id2, '--dry-run')315	assert dry.code == 0316	assert dry.out.contains('a.txt')317	assert os.read_file(os.join_path(dir, 'a.txt'))! == 'one\n'318	assert run(dir, 'pluck', id2, '--yes').code == 0319	assert os.read_file(os.join_path(dir, 'a.txt'))! == 'two\n'320	assert run(dir, 'pluck', '--reverse', id2, '--yes').code == 0321	assert os.read_file(os.join_path(dir, 'a.txt'))! == 'one\n'322	write(dir, 'a.txt', 'different\n')323	assert run(dir, 'pluck', id2, '--dry-run').code == 1324	assert run(dir, 'save', 'different').code == 0325	conflict := run(dir, 'pluck', id2, '--yes')326	assert conflict.code == 1327	assert conflict.err.contains('a.txt')328	assert run(dir, 'pluck').code == 2329	assert run(dir, 'pluck', 'unknown-id').code == 1330}331332fn test_peek_and_doctor() {333	dir := temp_repo('peek-doctor')334	defer { os.rmdir_all(dir) or {} }335	init_repo(dir)336	write(dir, 'peek.txt', 'peek me\n')337	assert run(dir, 'save', 'peekable').code == 0338	id := run(dir, 'log', '--json').out.all_after('"id":"')[..12]339	before_log := run(dir, 'log', '--json').out340	peek := run(dir, 'peek', id, '--json')341	assert peek.code == 0342	peek_path := peek.out.all_after('"path":"').before('"')343	assert peek.out.contains('"id":"${id}"')344	assert os.read_file(os.join_path(peek_path, 'peek.txt'))! == 'peek me\n'345	assert run(dir, 'status').out.contains('no changes')346	assert run(dir, 'log', '--json').out == before_log347	assert run(dir, 'peek').code == 2348	assert run(dir, 'peek', 'unknown-id').code == 1349	backup := os.join_path(dir, 'doctor.backup')350	healthy := run(dir, 'doctor')351	assert healthy.code == 0352	assert healthy.out.contains('is sound')353	report := run(dir, 'doctor', '--json')354	assert report.code == 0355	for key in ['problems', 'objects', 'saves', 'checkpoints', 'cached_files', 'peek_folders_removed',356		'backup'] {357		read_json_has(report.out, key)358	}359	backed := run(dir, 'doctor', '--backup', backup)360	assert backed.code == 0361	assert os.exists(backup)362	assert backed.out.contains(backup)363	assert run(dir, 'doctor', '--backup', backup).code == 1364	assert run(dir, 'peek', id, '--json').code == 0365	removed := run(dir, 'doctor', '--json')366	assert removed.code == 0367	assert removed.out.contains('"peek_folders_removed":1')368	assert !os.exists(peek_path)369}370371fn test_strip_refuses_without_terminal() {372	dir := temp_repo('strip')373	defer { os.rmdir_all(dir) or {} }374	init_repo(dir)375	write(dir, 'secret.txt', 'keep\n')376	assert run(dir, 'save', 'secret').code == 0377	before_log := run(dir, 'log', '--json').out378	refused := run(dir, 'strip', 'secret.txt')379	assert refused.code == 1380	assert refused.err.contains('needs a terminal')381	assert run(dir, 'log', '--json').out == before_log382	assert os.read_file(os.join_path(dir, 'secret.txt'))! == 'keep\n'383	assert run(dir, 'log', '--json').out.contains('secret')384}385386fn test_saves_and_checkpoints_aliases() {387	dir := temp_repo('aliases')388	defer { os.rmdir_all(dir) or {} }389	init_repo(dir)390	write(dir, 'alias.txt', 'one\n')391	assert run(dir, 'save', 'plain save').code == 0392	assert run(dir, 'checkpoint', 'checkpoint save').code == 0393	saves := run(dir, 'saves')394	assert saves.code == 0395	assert saves.out.contains('plain save')396	assert saves.out.contains('checkpoint save')397	checkpoints := run(dir, 'checkpoints')398	assert checkpoints.code == 0399	assert checkpoints.out.contains('checkpoint save')400	assert !checkpoints.out.contains('plain save')401	json_result := run(dir, 'checkpoints', '--json')402	assert json_result.code == 0403	assert json_result.out.contains('"head_id"')404	assert json_result.out.contains('"saves"')405	assert json_result.out.contains('"is_checkpoint":true')406	assert !json_result.out.contains('"is_checkpoint":false')407}408409fn test_remote_configuration_is_isolated_and_atomic() {410	dir := temp_repo('remote')411	home := temp_repo('remote-home')412	defer {413		os.rmdir_all(dir) or {}414		os.rmdir_all(home) or {}415	}416	empty := run_home(dir, home, 'remote', '--json')417	assert empty.code == 0418	assert empty.out.contains('"configured":false')419	target := os.join_path(home, 'remote-store')420	set := run_home(dir, home, 'remote', 'folder', target)421	assert set.code == 0422	assert os.is_dir(target)423	state := run_home(dir, home, 'remote', '--json')424	assert state.code == 0425	assert state.out.contains('"kind":"folder"')426	assert state.out.contains(target)427	assert run_home(dir, home, 'remote', 's3', 'http://127.0.0.1:1', 'bucket', 'region').code == 1428	assert run_home(dir, home, 'remote', '--json').out.contains(target)429	assert run_home(dir, home, 'remote', 's3', 'http://127.0.0.1:1', 'bucket', 'region').err.contains('KOH_ACCESS_KEY')430	assert run_home(dir, home, 'remote', '--forget').code == 0431	assert run_home(dir, home, 'remote', '--json').out.contains('"configured":false')432}433434fn test_offer_steal_folder_remote() {435	syncroot := temp_repo('sync')436	home := temp_repo('sync-home')437	defer {438		os.rmdir_all(syncroot) or {}439		os.rmdir_all(home) or {}440	}441	remote := os.join_path(syncroot, 'remote')442	a := os.join_path(syncroot, 'A', 'proj')443	b_parent := os.join_path(syncroot, 'B')444	os.mkdir_all(a) or { panic(err) }445	os.mkdir_all(b_parent) or { panic(err) }446	init_repo(a)447	write(a, 'a.txt', 'from A\n')448	assert run_home(a, home, 'remote', 'folder', remote).code == 0449	assert run_home(a, home, 'save', 'A first').code == 0450	clone := run_home(b_parent, home, 'steal', 'proj')451	assert clone.code == 0452	b := os.join_path(b_parent, 'proj')453	assert os.read_file(os.join_path(b, 'a.txt'))! == 'from A\n'454	write(b, 'b.txt', 'from B\n')455	assert run_home(b, home, 'save', 'B first').code == 0456	write(a, 'a2.txt', 'second\n')457	assert run_home(a, home, 'save', 'A second').code == 0458	assert run_home(a, home, 'steal').code == 0459	assert os.exists(os.join_path(a, 'b.txt'))460	assert run_home(b_parent, home, 'steal', '--list').out.contains('proj')461	write(a, 'clash.txt', 'base\n')462	assert run_home(a, home, 'save', 'clash base').code == 0463	assert run_home(b, home, 'steal').code == 0464	write(a, 'clash.txt', 'A version\n')465	assert run_home(a, home, 'save', 'A clash').code == 0466	write(b, 'clash.txt', 'B version\n')467	assert run_home(b, home, 'save', 'B clash').code == 0468	refused := run_home(b, home, 'steal')469	assert refused.code == 1470	assert refused.err.contains('--mine') || refused.err.contains('--theirs')471	assert run_home(b, home, 'steal', '--theirs').code == 0472	assert os.read_file(os.join_path(b, 'clash.txt'))! == 'A version\n'473	write(a, 'clash.txt', 'A second\n')474	assert run_home(a, home, 'save', 'A second clash').code == 0475	write(b, 'clash.txt', 'B second\n')476	assert run_home(b, home, 'save', 'B second clash').code == 0477	assert run_home(b, home, 'steal', '--mine').code == 0478	assert os.read_file(os.join_path(b, 'clash.txt'))! == 'B second\n'479	assert run_home(b, home, 'log').out.contains('combine: kept mine for')480}481482fn test_man_and_koh2_handoff() {483	dir := temp_repo('man')484	home := temp_repo('man-home')485	defer {486		os.rmdir_all(dir) or {}487		os.rmdir_all(home) or {}488	}489	whole := run_home(dir, home, 'man')490	assert whole.code == 0491	assert whole.out.contains('NAME')492	assert whole.out.contains('COMMANDS')493	strip := run_home(dir, home, 'man', 'strip')494	assert strip.code == 0495	assert strip.out.contains('strip')496	assert !strip.out.contains('koh save ')497	assert run_home(dir, home, 'man', 'nonsense').code == 2498	legacy := temp_repo('legacy')499	defer { os.rmdir_all(legacy) or {} }500	os.mkdir_all(os.join_path(legacy, '.koh')) or { panic(err) }501	fake := os.join_path(home, 'bin')502	os.mkdir_all(fake) or { panic(err) }503	fake_koh := os.join_path(fake, 'koh2')504	os.write_file(fake_koh, '#!/bin/sh\nprintf "handoff:%s\\n" "$*"\nexit 7\n') or { panic(err) }505	os.chmod(fake_koh, 0o755) or { panic(err) }506	handoff := run_home_with_path(legacy, home, fake, 'status', '--json')507	assert handoff.code == 7508	assert handoff.out.contains('handoff:status --json')509}510511fn run_home_with_path(repo string, home string, bin_dir string, args ...string) Result {512	stamp := '${os.getpid()}-${time.now().unix_nano()}'513	base := os.join_path(os.temp_dir(), 'koh3-cli-${stamp}')514	out_path := '${base}.out'515	err_path := '${base}.err'516	code_path := '${base}.code'517	mut command := 'HOME=${q(home)} PATH=${q(bin_dir + ':' + os.getenv('PATH'))} ${q(binary)}'518	for arg in args {519		command += ' ${q(arg)}'520	}521	shell := 'cd ${q(repo)} && ${command} </dev/null >${q(out_path)} 2>${q(err_path)}; printf "%s" $? >${q(code_path)}'522	result := os.execute(shell)523	if result.exit_code != 0 {524		panic('could not run test command: ${result.output}')525	}526	code := os.read_file(code_path) or { panic(err) }527	out := os.read_file(out_path) or { '' }528	err := os.read_file(err_path) or { '' }529	os.rm(out_path) or {}530	os.rm(err_path) or {}531	os.rm(code_path) or {}532	return Result{533		code: code.int()534		out:  out535		err:  err536	}537}538539// --- migration -------------------------------------------------------------540541fn koh2_binary() string {542	return os.find_abs_path_of_executable('koh') or { '' }543}544545// run_koh2 runs the Koh 2 binary in a fixture; its own output is not under546// test here.547fn run_koh2(dir string, command string) {548	os.execute('cd ${q(dir)} && ${command} >/dev/null 2>&1')549}550551fn save_ids(dir string) []string {552	mut ids := []string{}553	for name in os.ls(os.join_path(dir, '.koh', 'snapshots')) or { []string{} } {554		if name.ends_with('.json') {555			ids << name.trim_right('.json')556		}557	}558	ids.sort()559	return ids560}561562fn test_migrate_converts_a_koh2_repo_and_keeps_every_save() {563	koh2 := koh2_binary()564	if koh2 == '' {565		println('skipping the migration tests: koh (Koh 2) is not on PATH')566		return567	}568	dir := temp_repo('migrate')569	defer { os.rmdir_all(dir) or {} }570	home := temp_repo('migrate-home')571	defer { os.rmdir_all(home) or {} }572	run_koh2(dir, '${q(koh2)} init')573	// One file large enough to be an object, one small enough to be inlined.574	write(dir, 'code.txt', 'x'.repeat(700))575	write(dir, 'tiny.txt', 'tiny\n')576	run_koh2(dir, '${q(koh2)} save "first save"')577	run_koh2(dir, '${q(koh2)} checkpoint "before something"')578	write(dir, 'code.txt', 'y'.repeat(700))579	run_koh2(dir, '${q(koh2)} save "second save"')580	original := save_ids(dir)581	assert original.len == 3582583	report := run_home(dir, home, 'migrate')584	assert report.code == 0585	assert report.out.contains('migrated 3 saves')586	// The swap: `.koh` is a file, the old data is archived, nothing is staging.587	assert os.is_file(os.join_path(dir, '.koh'))588	assert os.is_dir(os.join_path(dir, '.koh-v2'))589	assert os.is_file(os.join_path(dir, '.kohignore'))590	assert !os.exists(os.join_path(dir, '.koh-migrate'))591592	// Every save kept its original ID, and the new repo is sound.593	logged := run_home(dir, home, 'log', '--json')594	assert logged.code == 0595	for id in original {596		assert logged.out.contains(id)597	}598	assert run_home(dir, home, 'doctor').code == 0599	assert run_home(dir, home, 'status').code == 0600601	// Migrating again has nothing to convert.602	assert run_home(dir, home, 'migrate').code == 1603}604605fn test_migrate_refuses_a_tree_that_does_not_match_the_last_save() {606	koh2 := koh2_binary()607	if koh2 == '' {608		return609	}610	dir := temp_repo('migrate-dirty')611	defer { os.rmdir_all(dir) or {} }612	home := temp_repo('migrate-dirty-home')613	defer { os.rmdir_all(home) or {} }614	run_koh2(dir, '${q(koh2)} init')615	write(dir, 'code.txt', 'x'.repeat(700))616	run_koh2(dir, '${q(koh2)} save "only save"')617	write(dir, 'code.txt', 'unsaved change\n')618619	refused := run_home(dir, home, 'migrate')620	assert refused.code == 1621	assert refused.err.contains('save with koh2 first')622	// Nothing moved: still Koh 2, no archive, no staging file.623	assert os.is_dir(os.join_path(dir, '.koh'))624	assert !os.exists(os.join_path(dir, '.koh-v2'))625	assert !os.exists(os.join_path(dir, '.koh-migrate'))626}