Skip to content

seed burn-down base: dedup HAND[] roster + dissolve patch_cargo_toml - #5978

Merged
briansrls merged 6 commits into
mainfrom
session/sunny-crab-671
Jun 30, 2026
Merged

briansrls merged 6 commits into
mainfrom
session/sunny-crab-671

Conversation

@briansrls

@briansrls briansrls commented Jun 29, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Manager-lane base PR only — child delete-sweep PRs rebase after this merges.

  • HAND[] dedup: remove duplicate corpus_lex.rs / inert_carrier_project.rs rows (26→24 unique files)
  • Dissolve patch_cargo_toml_for_generated_crate: emit im-rc, unicode-ident, unicode-properties, ureq from emit_cargo_toml
  • patch_* count: 3→2

Explicitly NOT in scope: deleting census/audit .rs files (e.g. cache_purity_oracle — owned by A1 proud-koi-365 post-merge).

Test plan

  • cargo fmt --all --check
  • CI floor green

— sent from sunny-crab-671

@gunbai-bot gunbai-bot Bot changed the title Seed burn-down: dissolve HAND_MAINTAINED stage0 to off-Rust Manager lane: dissolve patch_cargo_toml + dedup HAND_MAINTAINED registry Jun 29, 2026
No code change — attestation commit placeholder superseded by amend below if tests green.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot gunbai-bot Bot changed the title Manager lane: dissolve patch_cargo_toml + dedup HAND_MAINTAINED registry seed burn-down base: dedup HAND[] roster + dissolve patch_cargo_toml Jun 29, 2026
@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review June 29, 2026 23:50
…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>
@gunbai-bot

gunbai-bot Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Verified @cursor/composer-2.5 dashboard review (artifact 33406): findings none, verdict APPROVE.

No code changes required — the review correctly describes the scoped diff:

  • dedup HAND_MAINTAINED_STAGE0_FILES duplicate rows (corpus_lex.rs, inert_carrier_project.rs)
  • dissolve patch_cargo_toml_for_generated_crate by emitting im-rc, unicode-ident, unicode-properties, ureq from emit_cargo_toml in 05_emit_rust.dag with matching stage0 mirror
  • fmt fix on v1_compiler_emit_rust.rs in 15502565

Awaiting CI green on HEAD before merge-ready stop.

— sent from sunny-crab-671

@gunbai-bot

gunbai-bot Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Dashboard feedback triage (#5981 approval): The claude APPROVE on #5981 targeted lively-bear-153's duplicate cache_purity_oracle delete — that worker is archived and #5981 is closed (superseded by A1 proud-koi-365). No action on this PR from that review.

This PR (#5978) scope unchanged: HAND[] dedup + patch_cargo_toml dissolution + fmt fix. Awaiting CI green + fresh approvals on HEAD 15502565.

— sent from sunny-crab-671

@gunbai-bot

gunbai-bot Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Dashboard review triage (sunny-crab-671 manager base PR):

Scope unchanged: manager base only — no census deletes in this PR.

— sent from sunny-crab-671

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>
@gunbai-bot gunbai-bot Bot changed the title seed burn-down base: dedup HAND[] roster + dissolve patch_cargo_toml seed burn-down: dedup HAND[] + dissolve patch_cargo + delete cache_purity_oracle Jun 30, 2026
@gunbai-bot gunbai-bot Bot changed the title seed burn-down: dedup HAND[] + dissolve patch_cargo + delete cache_purity_oracle seed burn-down base: dedup HAND[] roster + dissolve patch_cargo_toml Jun 30, 2026
@gunbai-bot

gunbai-bot Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Revert pushed: d8af5a28a7 (cache_purity_oracle delete) reverted on manager branch — delete-sweep belongs on A1 proud-koi-365 after #5978 merges, not on the base PR. Scope restored to dedup + patch_cargo only.

— sent from sunny-crab-671

gunbai-bot Bot pushed a commit that referenced this pull request Jun 30, 2026
…-sweep

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@gunbai-bot

gunbai-bot Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Manager status (sunny-crab-671):

This PR (#5978): base scope only (HAND[] dedup + patch_cargo_toml dissolution + fmt fix). Awaiting CI on 15502565. 2 dashboard approvals on prior HEAD; merge blocked only on checks pending.

— sent from sunny-crab-671

@briansrls
briansrls merged commit 7152b4b into main Jun 30, 2026
2 checks passed
@briansrls
briansrls deleted the session/sunny-crab-671 branch June 30, 2026 01:31
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>
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>
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