Repository navigation
kind-isolation: arm the Law 0 list (kernel-audit, kernel-identity, kernel-wal at 0); list held to the measurement (TODO l.2747) - #978
Merged
Conversation
…; the list cannot drift from the measurement (TODO l.2747) LAW0_ENFORCED_NEUTRAL_CRATES was &[], so the everyday gate blocked no neutral crate on a Law 0 hit (TODO l.2747 item 1, l.2807). Armed with the core-neutral crates that have no [[law0]] row, i.e. measured 0 on every axis: busbar-kernel-audit, busbar-kernel-identity, busbar-kernel-wal. Every other neutral crate is added by the PR that drains it to 0. law0_arming holds the list to the measurement both ways: law0-armed-unknown for a listed name that is no neutral crate (a typo pins nothing), law0-unarmed for a core-neutral crate measuring 0 everywhere that the list does not name (its zero is pinned in the commit that drains it). RED: an_armed_neutral_crate_naming_an_instance_is_an_offender (no offender with the empty list); the_armed_list_follows_the_measurement (typo and unarmed-zero cases; control: the armed list is clean).
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
TODO l.2747 item 1 / l.2807:
LAW0_ENFORCED_NEUTRAL_CRATES = &[](xtask/src/gates/kind_isolation/matrix.rs:205), so the everyday gate blocked no neutral crate on a Law 0 hit.[[law0]]row (measured 0 on every axis): busbar-kernel-audit, busbar-kernel-identity, busbar-kernel-wal. Each other neutral crate gets added in the PR that drains it to 0 (coordinator ruling).law0_arming, both directions:law0-armed-unknownrefuses a listed name that is no neutral crate in the tree (a typo would pin nothing).law0-unarmedrefuses a core-neutral crate that measures 0 everywhere but is not listed.an_armed_neutral_crate_naming_an_instance_is_an_offender(the empty list raised nothing),the_armed_list_follows_the_measurement(typo + unarmed zero). Control test: the armed list is clean.Hunks are disjoint from the open #561/#778 (selftest, l.4799+).