feat(EchoTypes): register v0.2.0 - #20
Merged
Merged
Conversation
EchoTypes v0.2.0 landed at hyperpolymath/EchoTypes.jl#4 (admin-merged 2026-05-27 due to Actions budget exhaustion; locally 167/167 tests pass on Julia 1.10.11 + 1.12.6). Adds 7 executable mirrors of the Tier-1+Tier-2 spine from echo-types @ e7dded6 (EchoTotalCompletion, EchoOrthogonalFactorizationSystem unconditional fragment, EchoImageFactorization, EchoNoSectionGeneric, EchoLossTaxonomy, EchoEntropy, EchoObservationalEquivalence). R-2026-05-18 retraction discipline preserved; funext-qualified clauses honestly NOT mirrored. Tag v0.2.0 at tree-sha1 70839093d66f216d338bfaa4e0e6098435fc7858. Compat unchanged (julia 1.10, no new runtime deps). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
hyperpolymath
added a commit
that referenced
this pull request
May 27, 2026
) After today's wave (#16 EchoTypes + KRLAdapter, #18 ViperPkg, #20 EchoTypes v0.2.0) Registry.toml carries 37 packages, but README's table and the [Unreleased] CHANGELOG section both reflected the pre-wave 34-package snapshot. Catch up the human-facing listings: README.adoc: add EchoTypes, KRLAdapter, ViperPkg rows (alphabetical insertion; EchoTypes pinned at v0.2.0 per the registered head, the other two at v0.1.0). CHANGELOG.md [Unreleased]: Added — registry entries for the 3 packages Changed — the scorecard.yml regression fix from PR #19 Wiki line — actual page count (9 + _Sidebar) and missing Registering-a-Package + Security pages noted ISSUE_TEMPLATE list now matches what was actually added (package_registration replaces "custom") Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
EchoTypes v0.2.0 is now live at hyperpolymath/EchoTypes.jl#4 (merged, tag pushed). This PR adds the v0.2.0 row to the registry.
0.2.070839093d66f216d338bfaa4e0e6098435fc7858julia = "1.10"(unchanged from v0.1.0; no new runtime deps)What v0.2.0 adds
7 executable mirrors of the Tier-1+Tier-2 spine from
echo-types@e7dded6:EchoTotalCompletion(slogan-unlockA ↔ Σ B (Echo f))EchoOrthogonalFactorizationSystem— unconditional fragment only; funext-qualified F5 clauses (uniqueness up to iso, diagonal lifting) honestly NOT mirrored (Julia has no funext)EchoImageFactorization,EchoNoSectionGeneric,EchoLossTaxonomy,EchoEntropy,EchoObservationalEquivalenceR-2026-05-18 retraction discipline preserved (no graded-comonad / UP / conservativity surface).
Test plan
git rev-parse v0.2.0^{tree}onhyperpolymath/EchoTypes.jl.Versions.tomlkeeps the v0.1.0 row alongside the new v0.2.0 row.Compat.tomldeclares julia compat for v0.2.0 (unchanged).Pkg.update("EchoTypes")resolves to 0.2.0.🤖 Generated with Claude Code