Skip to content

Share enforcement inventory across seven assertions - #9158

Merged
briansrls merged 2 commits into
mainfrom
session/royal-cat-509-interrupt-reshape
Aug 25, 2026
Merged

briansrls merged 2 commits into
mainfrom
session/royal-cat-509-interrupt-reshape

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Aug 25, 2026 •

Copy link
Copy Markdown
Contributor

Outcome

Replace seven independently executing whole-corpus inventory witnesses with one identity that acquires lens_enforcement_inventory_live() once and folds the same seven assertions over that immutable value.

Required-floor run 32794539384 measured all seven former identities as CPU safety-interrupted before verdict. Their questions are genuinely global, but six of seven corpus acquisitions were pure repetition. This change removes those six redundant acquisitions without changing the inventory authority, assertion predicates, safety limit, or scheduling policy.

The seven retired identities leave witness_deferral_freeze in the same change; the three cheap non-inventory siblings at that entry remain frozen. The shrink receipt names the measured run and replacement identity.

Dependency

This PR is ordered before #9106. Main still declines this ReadsLiveTree carrier, so the decisive before/after interrupt count is measured after this lands and is merged into #9106, whose deletion makes the identity execute.

Checks

  • cargo fmt --all --check
  • git diff --check

@briansrls
briansrls merged commit 80e54ff into main Aug 25, 2026
1 of 2 checks passed
@briansrls
briansrls deleted the session/royal-cat-509-interrupt-reshape branch August 25, 2026 15:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant