Skip to content

Correct Julia 1.0.0 registry tree contract - #4

Merged
hamid-arian merged 1 commit into
mainfrom
release/julia-1.0.0-registry-tree
Aug 26, 2026
Merged

hamid-arian merged 1 commit into
mainfrom
release/julia-1.0.0-registry-tree

Conversation

@hamid-arian

Copy link
Copy Markdown
Member

Summary

  • Corrects the Julia 1.0.0 registry-tree inspection contract.
  • Separates 88 intended release-source files from 60 preserved repository-only files.
  • Confirms that preserved files are not loaded and do not change the runtime API.
  • Deletes no tracked file and changes no runtime source.

Validation

  • The declared 148-file union exactly matches the merged repository tree.
  • No duplicate, missing, or undeclared tree member remains.
  • Attribution, local-path, credential, and superseded-import scans passed.

Release status

No tag, registration, publication, or release is performed by this pull request.

@hamid-arian
hamid-arian merged commit 3a9ff26 into main Aug 26, 2026
9 checks passed
@hamid-arian
hamid-arian deleted the release/julia-1.0.0-registry-tree branch October 21, 2026 16:03
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