Migrate to Polonius and evolve internal APIs around borrowing (#465) - #472

Open

leynos wants to merge 20 commits into

mainfrom

issue-465-migrate-to-polonius-and-evolve-internal-apis-around-borrowing

Commits on Jul 30, 2026

Adopt Polonius on pinned nightly toolchain

authored and
leynos
committed
Evolve graph_view node registry to borrow-returning form

authored and
leynos
committed
Drop redundant key clone in group_by grouping loop

authored and
leynos
committed
Snapshot borrowed keys in cycle detection traversal

authored and
leynos
committed
Borrow search directories in the which resolver

authored and
leynos
committed
Tag principled Polonius refusals at ownership boundaries

authored and
leynos
committed
Document the Polonius audit and anti-regression contract

authored and
leynos
committed
Compile Kani cfg policy fixture directly, not via trybuild

authored and
leynos
committed
Record harness consequences in Polonius notes

authored and
leynos
committed
Keep Polonius flag when CI presets RUSTFLAGS

leynos
and
claude
committed
Restructure edge registration to flatten nested logic

leynos
and
claude
committed
Keep Polonius flag in release artefact builds

leynos
and
claude
committed
Address review: checkout credentials and audit wording

leynos
and
claude
committed
Document explicit toolchain for registry installs

leynos
and
claude
committed
Address review: config wording, edge helper, cwd duplication

leynos
and
claude
committed
Split Windows setup checks out of install contract test

leynos
and
claude
committed
Extract release-install checks from install contract test

leynos
and
claude
committed
Route quickstart installs through the users' guide

leynos
and
claude
committed
Collapse double blank line left by rebase merge

leynos
and
claude
committed
Collapse double blank line from rebase merge

leynos
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Migrate to Polonius and evolve internal APIs around borrowing (#465) - #472

Migrate to Polonius and evolve internal APIs around borrowing (#465)#472
leynos wants to merge 20 commits into
mainfrom
issue-465-migrate-to-polonius-and-evolve-internal-apis-around-borrowing

Commits on Jul 30, 2026

Adopt Polonius on pinned nightly toolchain

Evolve graph_view node registry to borrow-returning form

Drop redundant key clone in group_by grouping loop

Snapshot borrowed keys in cycle detection traversal

Borrow search directories in the which resolver

Tag principled Polonius refusals at ownership boundaries

Document the Polonius audit and anti-regression contract

Compile Kani cfg policy fixture directly, not via trybuild

Record harness consequences in Polonius notes

Keep Polonius flag when CI presets RUSTFLAGS

Restructure edge registration to flatten nested logic

Keep Polonius flag in release artefact builds

Address review: checkout credentials and audit wording

Document explicit toolchain for registry installs

Address review: config wording, edge helper, cwd duplication

Split Windows setup checks out of install contract test

Extract release-install checks from install contract test

Route quickstart installs through the users' guide

Collapse double blank line left by rebase merge

Collapse double blank line from rebase merge