Skip to content

Centralize Research content - #4

Merged
coenttb merged 1 commit into
mainfrom
chore/research-b01-removal
Aug 11, 2026
Merged

Centralize Research content#4
coenttb merged 1 commit into
mainfrom
chore/research-b01-removal

Conversation

@coenttb

@coenttb coenttb commented Aug 11, 2026

Copy link
Copy Markdown
Contributor

Closes #3

Destination-first receipt: swift-institute/Research#12 landed on main at 1f5b1d5b8edede995df84a9eb2c1c0555ea4b1fa. This source main revision is bound by Migrations/research-b01.json and has been rechecked against the destination package tree by file list, mode, and blob OID.

This PR removes only Research/. Package.swift, Sources/, and Tests/ are unchanged, so the proportional verification ruling applies: destination receipt equality, exact source diff, committed path absence, reference integrity, and Git checks; no origin-package build/test CI is required.

Programme: swift-institute/.github#527, section 2.3 amendment.

@coenttb
coenttb marked this pull request as ready for review August 11, 2026 09:12

@swift-institute-bot swift-institute-bot Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Independent transaction review: exact-head guards satisfied via the control profile; approval is not merge authorization.

@coenttb
coenttb merged commit d446fa5 into main Aug 11, 2026
21 checks passed
@coenttb
coenttb deleted the chore/research-b01-removal branch August 11, 2026 09:23
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.

Centralize Research content

1 participant