Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions .trinity/seals/t27o_T27oLedger.json
Original file line number Diff line number Diff line change
Expand Up @@ -15,16 +15,16 @@
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:d75c3b7403359012744ee9791d5f24603c538fbc993cd059275cbce85ca04633",
"gen_hash_c": "sha256:428200eaf55079318d360ecec24a359a21320f1f64f94c50001bb93159d8f882",
"gen_hash_rust": "sha256:02f9f45cec23ed1149a09edd668dfc48aef3b4d83d0ad7a1f0709a564fd6d3c5",
"gen_hash_verilog": "sha256:7d461b24959b4ee95bcb3617f2a41e5eaac048bf7640f8a467f7e60b6db1c3b8",
"gen_hash_zig": "sha256:362faa94a4b8c45abc3a5485b5eaf1bdcf30b0e70fe327c231eb745bbede4a69",
"gen_hash_zig": "sha256:174c0e2cf57c8647ba48908f90aaaf5f87456ddbae3346f0db0550bbd8c57026",
"module": "T27oLedger",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T20:26:56Z",
"sealed_at": "2026-10-18T21:16:15Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:93762f5c3e0dc493071e3850a933960a657b651964ca1da095afa6472ef10432",
"spec_hash": "sha256:98b04611fe2950faac8f137f1dbc7be83d595049988dbb13a520d840e4b09dd6",
"spec_path": "specs/tools/t27o/ledger.t27",
"tests": {
"failed": 0,
Expand Down
18 changes: 9 additions & 9 deletions specs/tools/t27o/ledger.t27
Original file line number Diff line number Diff line change
Expand Up @@ -578,7 +578,7 @@ test this_checkout_is_not_given_empty_or_a_dot_and_nothing_else_is {
assert(repo_is_here(""));
assert(repo_is_here("./"));
assert(repo_is_here(".//"));
assert(repo_is_here("/Users/playom/trios") == false);
assert(repo_is_here("/srv/checkouts/trios") == false);
assert(repo_is_here("trios") == false);
assert(repo_is_here("..") == false);
assert(repo_is_here("../") == false);
Expand All @@ -597,9 +597,9 @@ test the_cache_of_this_checkout_is_the_path_it_always_had {

test the_cache_of_another_repository_is_named_after_its_directory {
var out : [128]u8 = undefined;
assert(cache_path("/Users/playom/trios", out[0 .. 128]) == 27);
assert(cache_path("/srv/checkouts/trios", out[0 .. 128]) == 27);
assert(out_is(out[0 .. 128], 27, "target/t27o-sweep-trios.tsv"));
assert(cache_path("/Users/playom/999-multibots-telegraf", out[0 .. 128]) == 44);
assert(cache_path("/srv/checkouts/999-multibots-telegraf", out[0 .. 128]) == 44);
assert(out_is(out[0 .. 128], 44, "target/t27o-sweep-999-multibots-telegraf.tsv"));
assert(cache_path("trinity-fpga", out[0 .. 128]) == 34);
assert(out_is(out[0 .. 128], 34, "target/t27o-sweep-trinity-fpga.tsv"));
Expand All @@ -608,25 +608,25 @@ test the_cache_of_another_repository_is_named_after_its_directory {
test negative_control_two_repositories_never_share_a_cache_and_a_slash_changes_nothing {
var a : [128]u8 = undefined;
var b : [128]u8 = undefined;
var na : usize = cache_path("/Users/playom/trios", a[0 .. 128]);
var nb : usize = cache_path("/Users/playom/trinity", b[0 .. 128]);
var na : usize = cache_path("/srv/checkouts/trios", a[0 .. 128]);
var nb : usize = cache_path("/srv/checkouts/trinity", b[0 .. 128]);
assert(out_is(a[0 .. 128], na, "target/t27o-sweep-trinity.tsv") == false);
assert(out_is(b[0 .. 128], nb, "target/t27o-sweep-trios.tsv") == false);
assert(out_is(a[0 .. 128], na, SWEEP_CACHE) == false);
assert(cache_path("/Users/playom/trios/", b[0 .. 128]) == na);
assert(cache_path("/srv/checkouts/trios/", b[0 .. 128]) == na);
assert(out_is(b[0 .. 128], na, "target/t27o-sweep-trios.tsv"));
assert(cache_path("/Users/playom/trios//", b[0 .. 128]) == na);
assert(cache_path("/srv/checkouts/trios//", b[0 .. 128]) == na);
assert(cache_path("/", b[0 .. 128]) == 22);
assert(out_is(b[0 .. 128], 22, "target/t27o-sweep-.tsv"));
}

test a_cache_path_that_does_not_fit_is_not_written {
var out : [24]u8 = undefined;
out[0] = 0;
assert(cache_path("/Users/playom/trios", out[0 .. 24]) == 0);
assert(cache_path("/srv/checkouts/trios", out[0 .. 24]) == 0);
assert(out[0] == 0);
var fits : [27]u8 = undefined;
assert(cache_path("/Users/playom/trios", fits[0 .. 27]) == 27);
assert(cache_path("/srv/checkouts/trios", fits[0 .. 27]) == 27);
assert(cache_path(SWEEP_HERE, out[0 .. 24]) == SWEEP_CACHE.len);
}

Expand Down
Loading