Skip to content

Chore/as to affine rename#44

Closed
hyperpolymath wants to merge 10 commits into
mainfrom
chore/as-to-affine-rename
Closed

Chore/as to affine rename#44
hyperpolymath wants to merge 10 commits into
mainfrom
chore/as-to-affine-rename

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Summary

Closes #

Type of change

  • 🐛 Bug fix (non-breaking change that fixes an issue)
  • ✨ New feature (non-breaking change that adds functionality)
  • 💥 Breaking change (would change existing behaviour)
  • 🕳️ Soundness fix (fixes a checker/proof false-negative)
  • 📖 Documentation
  • 🧹 Refactor / tech debt (behaviour-preserving)
  • ⚡ Performance
  • 🔧 Build / CI / tooling

How has this been verified?

Checklist

  • My commits are signed (git commit -S).
  • I ran the project's own checks/tests locally and they pass.
  • New files carry the correct SPDX-License-Identifier (code/config MPL-2.0,
    prose CC-BY-SA-4.0); I did not relicense existing files.
  • Docs are updated, and no public claim now overstates what the code does.
  • I have not introduced a soundness hole (or I have flagged where I might have).

Notes for reviewers

hyperpolymath and others added 10 commits May 28, 2026 13:44
The `.as` extension is the obsolete pre-rename AffineScript file
extension; the current compiler accepts `.affine` only. Renames the
3 lattice sources + 1 test file accordingly, plus adds MPL-2.0
SPDX headers (matching the repo's existing LICENSE).

Part of the estate-wide .as → .affine sweep companion to
hyperpolymath/affinescript#429.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
- C001: CodeQL language fixes
- C002: License identifier standardization
- C003: Outdated actions audit
- C004: Pin standards refs to SHA 861b5e9
- C005: Add workflow-level permissions
@hyperpolymath
hyperpolymath enabled auto-merge (rebase) June 23, 2026 15:58
@hyperpolymath

Copy link
Copy Markdown
Owner Author

Closing (notification/PR-backlog triage): Superseded by #48, which incorporates the .as→.affine renames within the cleaner standardization. Branch retained.

auto-merge was automatically disabled June 24, 2026 06:57

Pull request was closed

@hyperpolymath
hyperpolymath deleted the chore/as-to-affine-rename branch June 24, 2026 10:45
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.

2 participants