Skip to content

chore: maximize Yggdrasil platform coverage - #999

Merged
edithatogo merged 55 commits into
mainfrom
codex/yggdrasil-maximum-coverage-track
Aug 21, 2026
Merged

chore: maximize Yggdrasil platform coverage#999
edithatogo merged 55 commits into
mainfrom
codex/yggdrasil-maximum-coverage-track

Conversation

@edithatogo

@edithatogo edithatogo commented Aug 21, 2026

Copy link
Copy Markdown
Owner

Summary

  • replace the seven-platform Yggdrasil allowlist with the inclusive supported_platforms() universe
  • retain only three narrow, evidence-backed exclusions with explicit reconsideration triggers
  • bind the 15-of-15 exact-head Buildkite matrix, per-platform product hashes, and runnable macOS ABI/numerical smoke evidence
  • add a versioned fail-closed platform-coverage contract, validator, adversarial tests, and Conductor evidence

Evidence

  • external candidate: Voiage: new package at 2.1.0 JuliaPackaging/Yggdrasil#14292 at 2528e2efb90e4197924d45c98873ca5cdb1a9d42
  • terminal matrix: Buildkite 31972, 15 included targets passed and 3 narrowly excluded
  • independently downloaded and SHA-256 verified all 15 product archives
  • executed ABI 1.1, symbol, capability, EVPI, and ENBS smoke cases on arm64 and x86_64 macOS artifacts

Boundaries

Yggdrasil review/merge, JLL generation, clean-depot JLL execution, Julia General registration, and indexing remain separate external gates. This PR does not claim those outcomes.

Closes no external registry issue.

Copilot AI lite review requested due to automatic review settings August 21, 2026 18:55
Copilot AI reviewed Aug 21, 2026

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

This was referenced Aug 21, 2026
Open
Open
@edithatogo
chore(conductor): initialize track 'yggdrasil_maximum_platform_covera…
3a9327f 
…ge_20260821'
@edithatogo
chore(conductor): mark track 'yggdrasil_maximum_platform_coverage_202…
ef14b51 
…60821' in progress
@edithatogo
test(packaging): define Yggdrasil coverage contract
2a6ded0
@edithatogo
conductor(plan): mark task 'YMC1-T1' complete
1b04c09
@edithatogo
feat(packaging): add Yggdrasil coverage contract
170fc0d
@edithatogo
style(test): format Yggdrasil coverage contract tests
ca63327
@edithatogo
conductor(plan): mark task 'YMC1-T2' complete
59e40f7
@edithatogo
fix(conductor): apply automated review fixes for phase 'Phase 1'
d428a67
@edithatogo
chore(conductor): register Yggdrasil coverage cross-reference
b563f85
@edithatogo
conductor(review): validate Yggdrasil coverage Phase 1
12a4407
@edithatogo
conductor(plan): mark task 'YMC1-T3' complete
4544ab6
@edithatogo
conductor(checkpoint): checkpoint end of Phase 1
05e33ba
@edithatogo
conductor(plan): mark phase 'Phase 1' complete
c3e04d1
@edithatogo
test(packaging): require negative Yggdrasil filtering
9426d49
@edithatogo
conductor(plan): mark task 'YMC2-T1' complete
50bdf18
@edithatogo
build(julia): maximize Yggdrasil platform coverage
0adce72
@edithatogo
conductor(plan): mark task 'YMC2-T2' complete
3559a35
@edithatogo
chore(yggdrasil): record maximum coverage candidate
d21014e
@edithatogo
chore(conductor): complete YMC2-T3
447c55f
@edithatogo
chore(conductor): record YMC2-T3 revision
6095e37
@edithatogo
chore(conductor): record phase 2 review
b696b16
@edithatogo
chore(conductor): complete YMC2-T4
1cb1752
@edithatogo
chore(conductor): record YMC2-T4 revision
cfb0b04
@edithatogo
chore(conductor): checkpoint phase 2 maximum coverage
8b3e71c
@edithatogo
chore(conductor): mark phase 2 complete
92ee64e
@edithatogo
chore(yggdrasil): preserve expanded matrix receipt
f1cb4c5
@edithatogo
fix(yggdrasil): exclude evidenced i686 Windows gap
b0a6baa
@edithatogo
chore(conductor): complete YMC3-T2
76b734b
@edithatogo
chore(yggdrasil): bind remediated hosted candidate
45a3dfd
@edithatogo
test(yggdrasil): reject candidate recipe divergence
06588d5
@edithatogo
fix(yggdrasil): bind repository and candidate recipes
4c5f339
@edithatogo
chore(yggdrasil): freeze terminal maximum coverage matrix
eb2b0b4
@edithatogo
chore(conductor): complete YMC3-T3
474d9a5
@edithatogo
test(yggdrasil): bind terminal target receipts
a6630dd
@edithatogo
fix(conductor): apply automated review fixes for phase 3
5f78dbf
@edithatogo
chore(conductor): record phase 3 review
9e29750
@edithatogo
chore(conductor): complete YMC3-T4
5993fef
@edithatogo
chore(conductor): checkpoint phase 3 maximum coverage
fb255be
@edithatogo
chore(conductor): mark phase 3 complete
11c1d2b
@edithatogo
test(yggdrasil): verify product archives and native ABI
3dcf1ca
@edithatogo
chore(conductor): complete YMC4-T1 and YMC4-T2
04af201
@edithatogo
chore(conductor): record phase 4 review
28ae032
@edithatogo
chore(conductor): complete YMC4-T3
3fe3701
@edithatogo
chore(conductor): checkpoint phase 4 product evidence
5b3a3f8
@edithatogo
chore(conductor): mark phase 4 complete
c37c817
@edithatogo
chore(conductor): reconcile Yggdrasil registry handoff
f7f90d9
@edithatogo
fix(conductor): bind PR 999 to Yggdrasil track
9fee6b6
@edithatogo
chore(conductor): complete YMC5-T1
a022cc0
@edithatogo
chore(conductor): refresh v1 programme snapshot
543043e
@edithatogo
edithatogo force-pushed the codex/yggdrasil-maximum-coverage-track branch from 82b0e3f to 543043e Compare August 21, 2026 22:03
@edithatogo
edithatogo merged commit 58550d0 into main Aug 21, 2026
36 checks passed
@edithatogo
edithatogo deleted the codex/yggdrasil-maximum-coverage-track branch August 21, 2026 22:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

Copilot code review Copilot
Copilot review effort
Applies to this pull request for everyone.Learn more about Copilot code review.
Copilot left review comments

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@edithatogo