Make Rust Details geometry proof deterministic #22

Merged

astaranix merged 3 commits from astaranix/t_b7e6e7a0-integrate-validated-deterministic-geomet into main 2026-08-24 10:11:54 -04:00 AGit

Conversation 0 Commits 3 Files changed 21 +3841 -379

astaranix commented 2026-08-24 08:51:16 -04:00

Owner

Copy link

Summary: Make Rust Details shutdown and packaged geometry proof deterministic. Validation: Rust 1.88 formatting, tests, clippy, and builds; shell syntax and ShellCheck; native aarch64 Nix checks and repeated packaged geometry proof; all-systems no-build evaluation. Notes: x86_64-linux was evaluated only because no build executor was available.

Summary: Make Rust Details shutdown and packaged geometry proof deterministic. Validation: Rust 1.88 formatting, tests, clippy, and builds; shell syntax and ShellCheck; native aarch64 Nix checks and repeated packaged geometry proof; all-systems no-build evaluation. Notes: x86_64-linux was evaluated only because no build executor was available.

astaranix added 3 commits 2026-08-24 08:51:16 -04:00

Persist exact updater run history 40cca2d40c

Enforce run history trust gates c513ece7b3

Make Details shutdown and geometry proof deterministic 0da069a408

astaranix merged commit f392d75ce5 into main 2026-08-24 10:11:54 -04:00

astaranix referenced this pull request from a commit 2026-08-24 10:11:55 -04:00

Merge pull request 'Make Rust Details geometry proof deterministic' (#22) from astaranix/t_b7e6e7a0-integrate-validated-deterministic-geomet into main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

astaranix/nixos-updater!22

No description provided.