Skip to content

lab_t27b_ratchet: the usize scratch arrays start at zero, so the t27b interpreter reads no byte that was never written #11136

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gHashTag merged 2 commits into from
Oct 19, 2026
Merged

lab_t27b_ratchet: the usize scratch arrays start at zero, so the t27b interpreter reads no byte that was never written #11136

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b6e9099
lab_t27b_ratchet: the usize scratch arrays start at zero, so the t27b…
claude Oct 19, 2026
ce587eb
lab_t27b_ratchet: the usize scratch arrays start at zero, so the t27b…
claude Oct 19, 2026
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
16 changes: 8 additions & 8 deletions .trinity/seals/lab_LabT27bRatchet.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
{
"built_by": "t27c-bootstrap@0.5.2+0fba674ef",
"built_by": "t27c-bootstrap@0.5.2+42a4860c4",
"closure": [
{
"spec": "specs/lab/lab_t27b_report.t27",
"spec_hash": "sha256:281801183bfea16fee870f7b0d7c48b71c8f24e5b53417f8df88b4026ae67008"
"spec_hash": "sha256:90f8457cbe1ac2944a04b18be4c72dbc7ed52b1857a5a2eb0ebc22bdd21e71e6"
},
{
"spec": "specs/lab/lab_t27b_text.t27",
Expand All @@ -27,16 +27,16 @@
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:a09661c28e5d797aa12e4cfe489ac60ae4349b4a1f37200ca0c5015b8050d294",
"gen_hash_rust": "sha256:efe4bc017d778582c42cc82f5665c522ebf2f85a278e80042b503d2e00b99373",
"gen_hash_verilog": "sha256:fe36eb188af52326382ad8a8b3e95c9c58a66581896e976a0c52129a92b2b277",
"gen_hash_zig": "sha256:36aa2ab6028de40cf7576f469bb3f241d0fbe2e03e036302db505f39a120cb88",
"gen_hash_c": "sha256:8b87555c67e397ac03c37146019bd3e80f123f366acdac73f3bcf38a4c92a729",
"gen_hash_rust": "sha256:4bcfc99dfe088acf2d80bfc5583a5ce6449b46c96eae07885d2cdc8427ced162",
"gen_hash_verilog": "sha256:5b31d170ff6f1f28ca45fbae890795c928585209252778a7f831e13119f0e021",
"gen_hash_zig": "sha256:83a48ff512ace08493558d7a23e52b8edf8c71be50a8d375f6424ae43eff014f",
"module": "LabT27bRatchet",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T14:57:22Z",
"sealed_at": "2026-10-19T19:11:39Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:cfbc076f4545878e09afff03cc49c5aa1045cd7fb9a54aaf8a29212eed69267f",
"spec_hash": "sha256:61209c910d15cf444fe9bf3fe920e63bfed4cd0cb31a21be8b65a43f634fb331",
"spec_path": "specs/lab/lab_t27b_ratchet.t27",
"tests": {
"failed": 0,
Expand Down
18 changes: 9 additions & 9 deletions specs/lab/lab_t27b_ratchet.t27
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -437,7 +437,7 @@ pub fn lt_run_val(run : string, o : usize, e : usize, key : string, sp : []usize

/// The verdict code of key (`t27b` or `reference`) of the result t[o..e].
pub fn lt_run_word(run : string, o : usize, e : usize, key : string) -> u8 {
var sp : [3]usize = undefined;
var sp : [3]usize = [0, 0, 0];
const f : bool = lt_run_val(run, o, e, key, &sp);
return lt_word_of(run, f, sp[0], sp[1], sp[2] == 1);
}
Expand Down Expand Up @@ -468,7 +468,7 @@ pub fn lt_first_text(run : string, o : usize, e : usize, sp : []usize) -> u8 {
}
sp[0] = 0;
sp[1] = 0;
var d : [3]usize = undefined;
var d : [3]usize = [0, 0, 0];
if (lt_run_val(run, o, e, "detail", &d) == false) { return 1; }
if (d[2] == 1) {
sp[0] = d[0];
Expand All @@ -494,7 +494,7 @@ pub fn lt_collect_entries(ledger : string, ent : []u32, cap : usize) -> usize {
}
if (start == LAB_NO) { return 0; }
var n : usize = 0;
var sp : [3]usize = undefined;
var sp : [3]usize = [0, 0, 0];
var s : usize = start;
var closed : bool = false;
while (s < ledger.len and closed == false) {
Expand Down Expand Up @@ -533,7 +533,7 @@ pub fn lt_collect_results(run : string, rt : []u32, cap : usize, flag : []u32) -
flag[0] = 0;
var n : usize = 0;
var o : usize = next_object(run, results_at(run));
var sp : [3]usize = undefined;
var sp : [3]usize = [0, 0, 0];
while (o < run.len) {
const e : usize = object_end(run, o);
const v : usize = key_at(run, o, e, 3, "file");
Expand Down Expand Up @@ -727,9 +727,9 @@ pub fn lt_ratchet(run : string, ledger : string, work : []u32, cap_e : usize, ca
ledger_commit = key_at(ledger, src[0], src[1], 2, "commit");
}
var x : usize = w;
var sp : [3]usize = undefined;
var bsp : [3]usize = undefined;
var lsp : [3]usize = undefined;
var sp : [3]usize = [0, 0, 0];
var bsp : [3]usize = [0, 0, 0];
var lsp : [3]usize = [0, 0, 0];
var i : usize = 0;
while (i < me) {
const ei : usize = eord[i] as usize;
Expand Down Expand Up @@ -793,7 +793,7 @@ pub fn lt_ratchet(run : string, ledger : string, work : []u32, cap_e : usize, ca
x = lab_put_lit(out, cap, x, "the reference does not pass it any more (");
x = lab_put_lit(out, cap, x, lr_word(ref_c));
x = lab_put_lit(out, cap, x, ": ");
var dsp : [3]usize = undefined;
var dsp : [3]usize = [0, 0, 0];
if (lt_run_val(run, o, e, "reference_detail", &dsp)) {
if (dsp[2] == 1) {
x = lt_put_json(out, cap, x, run, dsp[0], dsp[1], 120);
Expand Down Expand Up @@ -1100,7 +1100,7 @@ test repr_chooses_its_quote_and_escapes_as_python_does {
}

test a_one_line_object_is_read_for_its_last_key_and_a_bad_line_is_not_read {
var sp : [3]usize = undefined;
var sp : [3]usize = [0, 0, 0];
const row : string = "{\"path\": \"x\", \"t27b\": \"pass\", \"n\": [1, {\"k\": \"}\"}], \"z\": 7, \"t27b\": \"fail\"},";
assert lt_obj(row, 0, row.len, "t27b", &sp) == 1;
assert sp[2] == 1;
Expand Down
Loading