feat: migrate file extension from .as to .affine for GitHub Linguist recognition

The .as extension conflicts with ActionScript in GitHub Linguist, causing all
AffineScript source files to be misclassified as ActionScript/JavaScript. This
migration to .affine resolves the conflict and enables proper language detection.

Changes:
- Rename all 153 .as source files to .affine across conformance/, examples/,
  stdlib/, test/, and tests/ directories
- Add linguist-language=AffineScript directive to .gitattributes for .affine
- Update tree-sitter grammar file-types from "as" to "affine"
- Update VSCode extension to register .affine instead of .as
- Update all documentation references (28+ files) to use .affine
- Update test fixture references in test_e2e.ml

https://claude.ai/code/session_015S2ndRbwuJPpjkv54BpVDw

Author: claude

.gitattributes

@@ -3,6 +3,9 @@
 
 * text=auto eol=lf
 
+# AffineScript source
+*.affine text eol=lf linguist-language=AffineScript
+
 # Source
 *.rs    text eol=lf diff=rust
 *.ex    text eol=lf diff=elixir

.machine_readable/6a2/STATE.a2ml

@@ -19,7 +19,7 @@ parser = "complete (1245 conflicts; block_terminator rule added for self-delimit
 type-checker = "99% (Never/bottom type handling fixed; block divergence propagation added)"
 borrow-checker = "95%"
 interpreter = "95%"
-wasm-codegen = "92% (real-world game compiles: airborne-submarine-squadron/src/main.as → 8KB WASM)"
+wasm-codegen = "92% (real-world game compiles: airborne-submarine-squadron/src/main.affine → 8KB WASM)"
 wasm-gc-codegen = "70% (WasmGC proposal target: struct.new/struct.get/array.new_fixed/array.get; --wasm-gc CLI flag)"
 julia-codegen = "exists"
 lsp-phase-a = "complete"

ALPHA-1-RELEASE-NOTES.md

@@ -95,13 +95,13 @@ dune build
 ### Try the Examples
 ```bash
 # Type check a game example
-dune exec affinescript -- check examples/hello.as
+dune exec affinescript -- check examples/hello.affine
 
 # Run with interpreter
-dune exec affinescript -- eval examples/hello.as
+dune exec affinescript -- eval examples/hello.affine
 
 # Compile to WebAssembly
-dune exec affinescript -- compile examples/hello.as -o hello.wasm
+dune exec affinescript -- compile examples/hello.affine -o hello.wasm
 ```
 
 ---
@@ -217,7 +217,7 @@ git clone --branch v0.1.0-alpha.1 https://github.com/hyperpolymath/affinescript
 
 # Build and run
 dune build
-dune exec affinescript -- eval examples/hello.as
+dune exec affinescript -- eval examples/hello.affine
 
 # Start building your bug-free game!
 ```

COMPILER-CAPABILITIES.md

@@ -206,7 +206,7 @@ WebAssembly.instantiate(wasmBuffer).then(wasmModule => {
 ### Native Deployment (Future)
 ```bash
 # Future: Compile to native binary
-affinescript compile --target native --arch arm64 program.as
+affinescript compile --target native --arch arm64 program.affine
 ./program
 ```
 

FIXES_2026-01-23.md

@@ -189,7 +189,7 @@ and check_block (ctx : context) (blk : block) (expected : ty) : eff result =
 
 ### Created Tests
 
-**tests/borrow/use_after_move.as** - Should fail:
+**tests/borrow/use_after_move.affine** - Should fail:
 ```affinescript
 fn consume(own x: Int) -> Int { return x; }
 fn test_use_after_move() -> Int {
@@ -200,7 +200,7 @@ fn test_use_after_move() -> Int {
 }
 ```
 
-**tests/borrow/valid_move.as** - Should pass:
+**tests/borrow/valid_move.affine** - Should pass:
 ```affinescript
 fn consume(own x: Int) -> Int { return x; }
 fn test_valid_move() -> Int {
@@ -257,8 +257,8 @@ fn test_valid_move() -> Int {
 - `STATE.scm` - Updated completion %, blockers, accomplishments
 
 ### Tests Created
-- `tests/borrow/use_after_move.as` - Negative test
-- `tests/borrow/valid_move.as` - Positive test
+- `tests/borrow/use_after_move.affine` - Negative test
+- `tests/borrow/valid_move.affine` - Positive test
 
 ## Next Steps
 

MODULE-SYSTEM-PROGRESS.md

@@ -29,9 +29,9 @@
 - bin/main.ml (integrated module loader)
 
 **Tests Passing:**
-- ✅ test_simple_import.as - Single function import
-- ✅ test_import.as - Multiple imports (Core + Math)
-- ✅ test_math_functions.as - Complex math operations
+- ✅ test_simple_import.affine - Single function import
+- ✅ test_import.affine - Multiple imports (Core + Math)
+- ✅ test_math_functions.affine - Complex math operations
 
 **Commit:** `a1b2c3d` "fix: Transfer type information during module imports"
 
@@ -53,9 +53,9 @@
 - lib/codegen.ml (~30 lines added)
 
 **Tests Passing:**
-- ✅ test_function_call.as - Simple helper function (returns 42)
-- ✅ test_recursive_call.as - Factorial recursion (returns 120)
-- ✅ test_multiple_calls.as - Multiple functions + composition (returns 135)
+- ✅ test_function_call.affine - Simple helper function (returns 42)
+- ✅ test_recursive_call.affine - Factorial recursion (returns 120)
+- ✅ test_multiple_calls.affine - Multiple functions + composition (returns 135)
 - All tests verified with Node.js WASM execution
 
 **Commit:** `31a60c5` "feat: Implement function calls in WASM codegen (Phase 2 complete)"
@@ -110,7 +110,7 @@
 **File:** `lib/module_loader.ml` (272 lines)
 
 **Features:**
-- Module path to file path resolution (`Math.Geometry` → `stdlib/Math/Geometry.as`)
+- Module path to file path resolution (`Math.Geometry` → `stdlib/Math/Geometry.affine`)
 - Configurable search paths (stdlib, current dir, additional paths)
 - Module file parsing and caching
 - Circular dependency detection
@@ -139,13 +139,13 @@
 
 ### 3. Standard Library Fixed ✅
 
-**Core.as:**
+**Core.affine:**
 - Removed underscore-prefixed parameters
 - Removed lambdas (parser limitation)
 - Added explicit `return` statements
 - Status: ✅ Working
 
-**Math.as:**
+**Math.affine:**
 - Converted `const` to functions
 - Removed float operations (type checker limitation)
 - Added explicit `return` statements
@@ -194,9 +194,9 @@ type context = {
 
 | Test | Feature | Expected | Result |
 |------|---------|----------|--------|
-| test_function_call.as | Simple call | 42 | ✅ PASS |
-| test_recursive_call.as | Recursion | 120 | ✅ PASS |
-| test_multiple_calls.as | Composition | 135 | ✅ PASS |
+| test_function_call.affine | Simple call | 42 | ✅ PASS |
+| test_recursive_call.affine | Recursion | 120 | ✅ PASS |
+| test_multiple_calls.affine | Composition | 135 | ✅ PASS |
 
 ## Module System Features Status
 
@@ -308,7 +308,7 @@ type context = {
 3. Integrate effects with borrow checker
 
 ### Short-term
-1. Fix Option.as and Result.as (explicit returns)
+1. Fix Option.affine and Result.affine (explicit returns)
 2. Add more stdlib modules
 3. Improve error messages
 

PHASE3-ASSESSMENT.md

@@ -60,9 +60,9 @@ Phase 3 infrastructure is **surprisingly complete**! The type system (lib/types.
 
 **Test Cases Passing:**
 ```bash
-✓ tests/types/test_row_simple.as       # Basic row polymorphism
-✓ tests/types/test_parse_row_type.as   # Parser validation
-✓ tests/types/test_row_polymorphism.as # Complex multi-call test
+✓ tests/types/test_row_simple.affine       # Basic row polymorphism
+✓ tests/types/test_parse_row_type.affine   # Parser validation
+✓ tests/types/test_row_polymorphism.affine # Complex multi-call test
 ```
 
 **Example Working Code:**
@@ -246,7 +246,7 @@ fn apply[F: Type -> Type, G: Type -> Type, A](f: F[A], g: G[A]) -> F[A] {
 }
 ```
 
-**Test File:** tests/types/test_hkt_parsing.as ✅ PASSES
+**Test File:** tests/types/test_hkt_parsing.affine ✅ PASSES
 
 **What's Needed:**
 1. ❌ Integrate kind checking into type definitions
@@ -368,9 +368,9 @@ fn apply[F: Type -> Type, G: Type -> Type, A](f: F[A], g: G[A]) -> F[A] {
 
 **Test Cases Passing:**
 ```bash
-✓ tests/types/test_effect_inference.as  # Pure function composition
-✓ tests/types/test_row_polymorphism.as  # Still works with effect changes
-✓ tests/types/test_row_simple.as        # Still works
+✓ tests/types/test_effect_inference.affine  # Pure function composition
+✓ tests/types/test_row_polymorphism.affine  # Still works with effect changes
+✓ tests/types/test_row_simple.affine        # Still works
 ```
 
 **Known Limitation:**
@@ -438,31 +438,31 @@ fn take_positive(x: Int where (x > 0)) -> Int { return x; }
 fn dep_with_eff(f: (x: Int) -{IO}-> Int) -> Int { return 0; }
 ```
 
-**Test File:** tests/types/test_dependent_parsing.as ✅ PASSES
+**Test File:** tests/types/test_dependent_parsing.affine ✅ PASSES
 
 ## Testing Strategy
 
 ### ✅ Row Polymorphism Tests (COMPLETE)
-- ✅ tests/types/test_row_simple.as - Basic usage
-- ✅ tests/types/test_parse_row_type.as - Parser validation
-- ✅ tests/types/test_row_polymorphism.as - Complex scenarios
+- ✅ tests/types/test_row_simple.affine - Basic usage
+- ✅ tests/types/test_parse_row_type.affine - Parser validation
+- ✅ tests/types/test_row_polymorphism.affine - Complex scenarios
 
 ### ✅ Effect System Tests (COMPLETE)
-- ✅ tests/types/test_effect_inference.as - Pure function composition
+- ✅ tests/types/test_effect_inference.affine - Pure function composition
 
 ### ✅ Dependent Types Tests (PARSING COMPLETE)
-- ✅ tests/types/test_dependent_parsing.as - Parser validation for dependent arrows and refinements
+- ✅ tests/types/test_dependent_parsing.affine - Parser validation for dependent arrows and refinements
 
 ### ✅ Higher-Kinded Types Tests (COMPLETE)
-- ✅ tests/types/test_hkt_parsing.as - Parser validation for kind annotations and type applications
-- ✅ tests/types/test_kind_checking.as - Kind checking integration
+- ✅ tests/types/test_hkt_parsing.affine - Parser validation for kind annotations and type applications
+- ✅ tests/types/test_kind_checking.affine - Kind checking integration
 
 ### ✅ Generic Programming Tests (COMPLETE)
-- ✅ tests/types/test_traits.as - Trait definitions with higher-kinded types
-- ✅ tests/types/test_generic_programming.as - Functor, Applicative, Monad traits
+- ✅ tests/types/test_traits.affine - Trait definitions with higher-kinded types
+- ✅ tests/types/test_generic_programming.affine - Functor, Applicative, Monad traits
 
 ### ✅ End-to-End Tests (COMPLETE)
-- ✅ tests/types/test_dependent_e2e.as - Dependent types with refinements in practice
+- ✅ tests/types/test_dependent_e2e.affine - Dependent types with refinements in practice
 
 ## Conclusion
 

PHASE3-COMPLETE.md

@@ -32,7 +32,7 @@ Implemented save-restore pattern for variable bindings:
 - Modified ExprLambda handling in `synth` function (lib/typecheck.ml:626-646)
 - Modified ExprLambda handling in `check` function (lib/typecheck.ml:982-997)
 
-**Test:** tests/types/test_lambda_scope_simple.as ✓ Passes
+**Test:** tests/types/test_lambda_scope_simple.affine ✓ Passes
 
 ### 1. Row Polymorphism (100%)
 **Implementation:** Extensible record types with row variables
@@ -208,19 +208,19 @@ fn fmap_twice[F: Type -> Type, A, B, C](
 | Generic Programming | 2 | ✅ |
 
 **Test Files:**
-1. ✅ test_lambda_scope_simple.as (Lambda scope fix)
-2. ✅ test_row_simple.as
-3. ✅ test_parse_row_type.as
-4. ✅ test_row_polymorphism.as
-5. ✅ test_effect_inference.as
-6. ✅ test_effect_lambda.as
-7. ✅ test_effect_polymorphism.as
-8. ✅ test_dependent_parsing.as
-9. ✅ test_dependent_e2e.as
-10. ✅ test_hkt_parsing.as
-11. ✅ test_kind_checking.as
-12. ✅ test_traits.as
-13. ✅ test_generic_programming.as
+1. ✅ test_lambda_scope_simple.affine (Lambda scope fix)
+2. ✅ test_row_simple.affine
+3. ✅ test_parse_row_type.affine
+4. ✅ test_row_polymorphism.affine
+5. ✅ test_effect_inference.affine
+6. ✅ test_effect_lambda.affine
+7. ✅ test_effect_polymorphism.affine
+8. ✅ test_dependent_parsing.affine
+9. ✅ test_dependent_e2e.affine
+10. ✅ test_hkt_parsing.affine
+11. ✅ test_kind_checking.affine
+12. ✅ test_traits.affine
+13. ✅ test_generic_programming.affine
 
 ## 📈 Progress Timeline
 

PHASE3-SESSION-SUMMARY.md

@@ -21,9 +21,9 @@
 **Time:** 3.5 hours
 
 **Tests:**
-- ✓ tests/types/test_row_simple.as
-- ✓ tests/types/test_parse_row_type.as
-- ✓ tests/types/test_row_polymorphism.as
+- ✓ tests/types/test_row_simple.affine
+- ✓ tests/types/test_parse_row_type.affine
+- ✓ tests/types/test_row_polymorphism.affine
 
 ### 2. ✅ Effect Inference (85% Complete)
 
@@ -40,9 +40,9 @@
 **Time:** 2 hours
 
 **Tests:**
-- ✓ tests/types/test_effect_inference.as
-- ✓ tests/types/test_effect_lambda.as
-- ✓ tests/types/test_effect_polymorphism.as
+- ✓ tests/types/test_effect_inference.affine
+- ✓ tests/types/test_effect_lambda.affine
+- ✓ tests/types/test_effect_polymorphism.affine
 
 **Known Limitation:** Lambda parameter scope bug (pre-existing, separate issue)
 
@@ -81,7 +81,7 @@ Works with both pure and effectful functions!
 - Type checker integration ✓
 
 **Tests:**
-- ✓ tests/types/test_dependent_parsing.as
+- ✓ tests/types/test_dependent_parsing.affine
 
 **Example:**
 ```affinescript
@@ -114,7 +114,7 @@ fn take_positive(x: Int where (x > 0)) -> Int { return x; }
 **Time:** 0.5 hours
 
 **Tests:**
-- ✓ tests/types/test_hkt_parsing.as
+- ✓ tests/types/test_hkt_parsing.affine
 
 **Example:**
 ```affinescript
@@ -155,14 +155,14 @@ Much of Phase 3 infrastructure was **already implemented** but not integrated:
 **All 8 Phase 3 tests passing:**
 
 ```
-✓ tests/types/test_row_simple.as
-✓ tests/types/test_parse_row_type.as
-✓ tests/types/test_row_polymorphism.as
-✓ tests/types/test_effect_inference.as
-✓ tests/types/test_effect_lambda.as
-✓ tests/types/test_effect_polymorphism.as
-✓ tests/types/test_dependent_parsing.as
-✓ tests/types/test_hkt_parsing.as
+✓ tests/types/test_row_simple.affine
+✓ tests/types/test_parse_row_type.affine
+✓ tests/types/test_row_polymorphism.affine
+✓ tests/types/test_effect_inference.affine
+✓ tests/types/test_effect_lambda.affine
+✓ tests/types/test_effect_polymorphism.affine
+✓ tests/types/test_dependent_parsing.affine
+✓ tests/types/test_hkt_parsing.affine
 ```
 
 ## Phase 3 Status Breakdown
@@ -250,14 +250,14 @@ Row types created 20 shift/reduce conflicts. Solution was to write explicit recu
 - `lib/unify.ml` - Already complete (no changes needed)
 
 ### Tests Created:
-- `tests/types/test_row_simple.as`
-- `tests/types/test_parse_row_type.as`
-- `tests/types/test_row_polymorphism.as`
-- `tests/types/test_effect_inference.as`
-- `tests/types/test_effect_lambda.as`
-- `tests/types/test_effect_polymorphism.as`
-- `tests/types/test_dependent_parsing.as`
-- `tests/types/test_hkt_parsing.as`
+- `tests/types/test_row_simple.affine`
+- `tests/types/test_parse_row_type.affine`
+- `tests/types/test_row_polymorphism.affine`
+- `tests/types/test_effect_inference.affine`
+- `tests/types/test_effect_lambda.affine`
+- `tests/types/test_effect_polymorphism.affine`
+- `tests/types/test_dependent_parsing.affine`
+- `tests/types/test_hkt_parsing.affine`
 
 ### Documentation:
 - `PHASE3-ASSESSMENT.md` - Comprehensive progress tracking

README.adoc

@@ -299,22 +299,22 @@ total fn append[n: Nat, m: Nat, T](
 dune build
 
 # Type check a file
-dune exec affinescript -- check examples/hello.as
+dune exec affinescript -- check examples/hello.affine
 
 # Run with interpreter
-dune exec affinescript -- eval examples/factorial.as
+dune exec affinescript -- eval examples/factorial.affine
 
 # Compile to WebAssembly
-dune exec affinescript -- compile examples/hello.as -o hello.wasm
+dune exec affinescript -- compile examples/hello.affine -o hello.wasm
 
 # Format code
-dune exec affinescript -- fmt examples/hello.as
+dune exec affinescript -- fmt examples/hello.affine
 
 # Lint for code quality
-dune exec affinescript -- lint examples/hello.as
+dune exec affinescript -- lint examples/hello.affine
 
 # JSON diagnostics (for editors/CI)
-dune exec affinescript -- check --json examples/hello.as
+dune exec affinescript -- check --json examples/hello.affine
 ----
 
 == Project Status