Repository navigation
HAND delete-sweep A2: retire duplicate v1 lens coverage (floor is authority) - #5980
Merged
Merged
Conversation
gunbai-bot
Bot
changed the title
…hority) §5 test-migration sweep for the four lens-projection HAND modules. Drop v1 coverage now enforced by floor witnesses; keep synthetic discrimination unit tests and all four .rs projection files (builtin host unchanged). - Delete fact_cardinality_lens_test.rs (floor: src/v2/test/claim/fact_cardinality/*) - Drop live-tree #[test] gates from doc_reachability_project.rs - Drop live-tree #[test] gates from inert_carrier_project.rs - Drop live-tree #[test] gates from non_fold_residue_project.rs No HAND_MAINTAINED[], lib.rs module, or v1_interpreter builtin changes. Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot
Bot
force-pushed
the
session/merry-hawk-45
branch
from
June 30, 2026 00:30
f254845 to
b19d515
Compare
briansrls
added a commit
that referenced
this pull request
Jun 30, 2026
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Jun 30, 2026
Conflict: main still had extdeps_shape_transport_policy_lens_test mod line (deleted in this branch). Keep our deletion — file was removed in this PR. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
1 of 2 tasks
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Jun 30, 2026
Conflict resolution error: the merge-main commit preserved mod fact_cardinality_lens_test from a pre-#5980 base. #5980 (A2 sweep) deleted that entry and its .rs file before this PR landed. The lib.rs diff now matches the intended state: pure deletion of the extdeps_shape_transport_policy_lens_test entry only. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2 of 3 tasks
briansrls
added a commit
that referenced
this pull request
Jun 30, 2026
… census projection) (#5990) * WIP: Seed burn-down: dissolve HAND_MAINTAINED stage0 to off-Rust * docs: clarify manager base PR scope in commit message prep No code change — attestation commit placeholder superseded by amend below if tests green. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(seed-burn-down): cargo fmt v1_compiler_emit_rust emit_cargo_toml deps CI rust_tests gate failed cargo fmt --check on the emit_cargo_toml base-deps sync introduced in #5978. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: HAND delete-sweep A4: extdeps_shape_transport_policy_project (largest ce * Delete cache_purity_oracle from HAND_MAINTAINED roster (24→23). Coverage lives in dsl/extdeps/realization/cache_purity.dag + cache_purity_verdict_test.dag floor witness; the Rust oracle and v1 integration test are redundant host-fed census. Continues patch_cargo_toml dissolution (emitter now emits stage0 periphery deps). Co-authored-by: Cursor <cursoragent@cursor.com> * Revert "Delete cache_purity_oracle from HAND_MAINTAINED roster (24→23)." This reverts commit d8af5a2. * delete-sweep A4: remove 9 live-tree mod-tests{} functions from extdeps_shape_transport_policy_project Each deleted test has a mirrored floor witness in src/v2/test/claim/extdeps_shape_transport_policy/ (corpus or lens_unit). Floor witnesses (auto-discovered on CI via claim_executor): cargo_clippy_dead_param_defused_after_list_argv_splice → corpus/cargo_clippy_dead_param_test.dag cargo_fmt_dead_param_defused_on_live_tree → corpus/cargo_fmt_dead_param_test.dag cargo_doc_dead_param_defused_on_live_tree → corpus/cargo_doc_dead_param_test.dag cargo_run_dead_param_defused_on_live_tree → corpus/cargo_run_dead_param_test.dag git_policy_leak_defused_by_module_path → corpus/git_policy_leak_test.dag cargo_build_policy_leak_defused_by_module_path → corpus/cargo_build_policy_leak_test.dag gcp_oauth_fusion_defused_by_module_path → corpus/gcp_oauth_fusion_fork_test.dag gist_create_files_keyed_by_filename_placeholder_on_live_tree → corpus/gist_create_policy_leak_test.dag external_authority_live_clean_tree_holds_via_host → extdeps_external_authority/corpus/live_anchored_modules_clean_test.dag Production projection code and 11 non-mirrored tests are kept. .rs file stays in HAND_MAINTAINED pending #5364. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> * fix: remove stale fact_cardinality_lens_test mod line from lib.rs Conflict resolution error: the merge-main commit preserved mod fact_cardinality_lens_test from a pre-#5980 base. #5980 (A2 sweep) deleted that entry and its .rs file before this PR landed. The lib.rs diff now matches the intended state: pure deletion of the extdeps_shape_transport_policy_lens_test entry only. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com> Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>
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.
Summary
Seed burn-down A2 (scope ruling: test/registry sweep only). Remove v1 test duplication now covered by floor witnesses per
seed-shrink-census.md§5. No.rsdeletion, noHAND_MAINTAINED[]delta, nov1_interpreterbuiltin wiring changes — the four projection files stay until Chunk D / #5364 lands.§5 attestation (floor replaces deleted v1 coverage)
.rsthis PRdoc_reachability_project.rs#[test]gates (orphan/dangling/universe)dsl/test/claim/doc_reachability_witness_test.daginert_carrier_project.rs#[test]gates (declared universe / unrostered / stale roster)src/v2/lens/inert_carrier.dag+src/v2/lens/inert_carrier_test.dagnon_fold_residue_project.rs#[test]gates (coproduct universe / unrostered / stale roster)src/v2/lens/non_fold_residue.dag+src/v2/lens/non_fold_residue_test.dagfact_cardinality_census.rssrc/v1/tests/src/fact_cardinality_lens_test.rssrc/v2/lens/fact_cardinality.dag+src/v2/test/claim/fact_cardinality/*Kept: synthetic RED/GREEN discrimination
#[test]modules inside the projection.rsfiles (not duplicated on the floor).Explicitly NOT in scope: consolidate into
corpus_lex.rs(§2 violation); full.rsdeletion (§5 fail-open without #5364).Test plan
cargo fmt --all --checkdoc_reachability_witness_test,inert_carrier_test,non_fold_residue_test,fact_cardinality/*cargo clippy/cargo nextest(rust_tests gate)