Skip to content

Fresh Dissolution closeout — post-DECISIONS-nuke tag authority - #3409

Merged
briansrls merged 1 commit into
mainfrom
session/gentle-cat-422
May 19, 2026
Merged

briansrls merged 1 commit into
mainfrom
session/gentle-cat-422

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Summary

Completes the Fresh Dissolution lane closeout after #3389 deleted DECISIONS.md and docs/audit/dissolution-inventory.md: all v4 .dag inline coproduct and gated marks now cite slug-only dissolution authority (no deleted ledger paths). Adds scripts/refresh_v4_dissolution_tag_authority.py for deterministic regen from merge-base Practice-4 mapping plus live-tail fallback.

Test plan

  • python3 scripts/refresh_v4_dissolution_tag_authority.py (idempotent; no remaining DECISIONS.md / dissolution-inventory in src/v4/**/*.dag)
  • python3 scripts/strict_deprose_dag.py --check
  • python3 scripts/test_strict_deprose_dag.py

Made with Cursor

After #3389 removed DECISIONS.md and dissolution-inventory.md, refresh every
v4 .dag coproduct/gated mark to slug-only authority (merge-base map where
available, live-tail fallback otherwise). Adds refresh_v4_dissolution_tag_authority.py
for deterministic regen; strict_deprose --check unchanged.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls
briansrls merged commit 8083306 into main May 19, 2026
24 of 28 checks passed
briansrls added a commit that referenced this pull request May 20, 2026
…3289/#3277) (#3428)

* Fresh Dissolution closeout: refresh slug-only tags after #3289/#3277

Re-run refresh_v4_dissolution_tag_authority on cpp.dag and dag.dag so
post-#3409 merges drop stale DECISIONS.md pointers. Fix the refresh
script to preserve CP-1b parenthetical anchors when stripping ledger
prefixes.

Co-authored-by: Cursor <cursoragent@cursor.com>

* ci: retrigger after bootstrap viability SIGTERM (exit 143)

No code change; prior ci job lost v2→v4 compile to runner shutdown
after module resolve. Local discipline checks remain green.

Co-authored-by: Cursor <cursoragent@cursor.com>

---------

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls
briansrls deleted the session/gentle-cat-422 branch June 1, 2026 18:42
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