Skip to content

Centralize Research content - #11

Merged
coenttb merged 1 commit into
mainfrom
codex/swift-html-research-removal
Aug 11, 2026
Merged

coenttb merged 1 commit into
mainfrom
codex/swift-html-research-removal

Conversation

@coenttb

@coenttb coenttb commented Aug 11, 2026

Copy link
Copy Markdown
Collaborator

Closes #10

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:32
@coenttb
coenttb merged commit a4c70c7 into main Aug 11, 2026
23 checks passed
@coenttb
coenttb deleted the codex/swift-html-research-removal branch August 11, 2026 10:25
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