chore(estate): betlang reconciliation + 6a2 currency + license branding#60
Merged
Conversation
Branch reconciliation: estate-standardization-20260607 is fully merged into main (main..branch is empty; the branch tip is the merge-base). One clean main confirmed. Deleting the stale branch is blocked by the git proxy (HTTP 403) and there is no MCP delete-branch path → recorded as an owner UI action. - STATE.a2ml: reflect PR #56 (echo operations now typed — the functor/comonad surface: echo / echo_output / echo_map / echo_duplicate / echo_to_residue / sample_echo). M5 + M6 marked done (type-level); drop the stale "echo operations deferred" blocker; refresh next-actions (harden checker, TP-5, bet_echo runtime) and maintenance status (38 bet-check tests); TP-5 folded into the remaining count. - META.a2ml / ECOSYSTEM.a2ml: drop the standards-banned "PMPL-1.0" token in descriptive metadata in favour of "Palimpsest License (SPDX: MPL-2.0)". (betlang's actual SPDX headers + root LICENSE were already MPL-2.0.) https://claude.ai/code/session_01QGi8GND5yNWgDyfReVEPYs
The GitHub wiki repo is not pushable from this environment (proxy returns "repository not authorized" / 502 on betlang.wiki.git), so the wiki is authored in-repo under wiki/ — matching the nextgen-languages convention — for downstream publication to the GitHub wiki by the owner. Pages (all cross-linked, SPDX-headed): Home, Architecture, Ternary-Semantics, Type-System, Echo-Types, Formal-Verification, Number-Tower, Roadmap. Captures this session's substance: the typed Echo functor/comonad surface, the Lean proof status (axiom-free core; TP-5 open), and BetLang's position versus Julia / R / Octave / Mathematica / Maple / Scilab — typed, proof-anchored uncertainty as the differentiator. https://claude.ai/code/session_01QGi8GND5yNWgDyfReVEPYs
hyperpolymath
marked this pull request as ready for review
June 13, 2026 12:06
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
2 participants
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.
betlang reference-pass (estate reconciliation + hygiene) — increment 1
Part of the estate-wide reconciliation/hygiene checkpoint, with betlang as the reference repo.
Branch reconciliation → one clean
mainestate-standardization-20260607is fully merged intomain(main..branchis empty; the branch tip is the merge-base). Nothing unmerged to lose.HTTP 403onpush --delete; no MCP delete-branch tool). → recorded as an owner UI action. After it's gone,mainis the sole branch.Metadata currency (
.machine_readable/6a2/)echo,echo_output,echo_map,echo_duplicate,echo_to_residue,sample_echo). M5/M6 marked done (type-level); stale "echo operations deferred" blocker removed; next-actions refreshed (harden checker, TP-5,bet_echoruntime); maintenance notes 38 bet-check tests.PMPL-1.0token in descriptive metadata →Palimpsest License (SPDX: MPL-2.0). (betlang's actual SPDX headers + rootLICENSEwere already correct MPL-2.0.)Causals.jlandBowtieRisk.jlboth shipLICENSES/PMPL-1.0-or-later.txt(the banned identifier) while declaring MPL-2.0 canonical. Two freshly-templated repos with the identical artifact strongly impliesrsr-template-repostill ships the banned license file — please check the template +standards.Still to come on this branch (betlang reference pass)
CI-health-at-root verification, issues for tracked proof/tech-debt,
bot_directives/(greenfield format — needs a schema decision), and the repo wiki (currently none).https://claude.ai/code/session_01QGi8GND5yNWgDyfReVEPYs
Generated by Claude Code