test

[zander-raycraft]

No description provided.

[zander-raycraft]

@claude can yo review this

[claude]

Claude encountered an error —— View job

---

I'll analyze this and get back to you.

[github-actions]

CI Report

✅ All checks passed

Pipeline Status

Stage	Status	Details
✅ Typecheck	success	tsc --noEmit
✅ Unit Tests	success	3 platforms
✅ Integration	success	3 OS x 4 groups = 12 jobs

Test Results

Suite	Tests	Passed	Failed	Skipped	Duration
Unit	1629	1559	0	1	9s
Integration	1323	1284	0	19	58s
Total	2952	2843	0	20	67s

✅ All 2843 tests passed

20 test(s) skipped — expand for details

Integration:

• filesystem-walker > walkRepositoryPaths > discovers source files
• filesystem-walker > walkRepositoryPaths > discovers nested files
• filesystem-walker > walkRepositoryPaths > skips node_modules
• filesystem-walker > walkRepositoryPaths > skips .git directory
• filesystem-walker > walkRepositoryPaths > returns file sizes
• filesystem-walker > walkRepositoryPaths > calls progress callback
• filesystem-walker > walkRepositoryPaths > throws or returns empty for non-existent directory
• filesystem-walker > walkRepositoryPaths > returns empty for directory with only ignored files
• filesystem-walker > walkRepositoryPaths > returns empty for truly empty directory
• filesystem-walker > .gitignore support > excludes directories listed in .gitignore
• filesystem-walker > .gitignore support > still applies hardcoded ignore list alongside .gitignore
• filesystem-walker > .gitnexusignore support > excludes directories listed in .gitnexusignore
• filesystem-walker > combined .gitignore + .gitnexusignore > excludes directories from both files
• filesystem-walker > GITNEXUS_NO_GITIGNORE env var > excludes gitignored directory by default
• filesystem-walker > GITNEXUS_NO_GITIGNORE env var > includes gitignored directory when GITNEXUS_NO_GITIGNORE is set
• filesystem-walker > readFileContents > reads file contents by relative paths
• filesystem-walker > readFileContents > handles empty path list
• filesystem-walker > readFileContents > skips non-existent files gracefully
• filesystem-walker > readFileContents > skips multiple non-existent files gracefully
• filesystem-walker > readFileContents > handles binary file content without crashing
• Python match/case as-pattern type binding > resolves u.save() to User#save via match/case as-pattern binding
• Python match/case as-pattern type binding > does NOT resolve u.save() to Repo#save (negative disambiguation)
• Swift constructor-inferred type resolution > detects User and Repo classes, both with save methods
• Swift constructor-inferred type resolution > resolves user.save() to Models/User.swift via constructor-inferred type
• Swift constructor-inferred type resolution > resolves repo.save() to Models/Repo.swift via constructor-inferred type
• Swift constructor-inferred type resolution > emits exactly 2 save() CALLS edges (one per receiver type)
• Swift self resolution > detects User and Repo classes, each with a save function
• Swift self resolution > resolves self.save() inside User.process to User.save, not Repo.save
• Swift parent resolution > detects BaseModel and User classes plus Serializable protocol
• Swift parent resolution > emits EXTENDS edge: User → BaseModel
• Swift parent resolution > emits IMPLEMENTS edge: User → Serializable (protocol conformance)
• Swift cross-file User.init() inference > resolves user.save() via User.init(name:) inference
• Swift cross-file User.init() inference > resolves user.greet() via User.init(name:) inference
• Swift return type inference > detects User class and getUser function
• Swift return type inference > detects save function on User (Swift class methods are Function nodes)
• Swift return type inference > resolves user.save() to User#save via return type of getUser() -> User
• Swift return-type inference via function return type > resolves user.save() to User#save via return type of getUser()
• Swift return-type inference via function return type > user.save() does NOT resolve to Repo#save
• Swift return-type inference via function return type > resolves repo.save() to Repo#save via return type of getRepo()

Unit:

• buildTypeEnv > for-loop element type inference (Tier 1c) — Go > infers loop variable from map range (_, v := range myMap)
• buildTypeEnv > for-loop element type inference (Tier 1c) — Go > does NOT infer element type for single-var map range (yields key, not value)
• buildTypeEnv > for-loop element type inference (Tier 1c) — Go > does not infer type for C-style for loops (no range_clause)
• buildTypeEnv > for-loop element type inference (Tier 1c) — Go > does not infer type when iterable has no annotation in scope
• buildTypeEnv > for-loop element type inference (Tier 1c) — Rust > infers loop variable from Vec parameter (for user in &users)
• buildTypeEnv > for-loop element type inference (Tier 1c) — Rust > infers loop variable from &[User] slice parameter
• buildTypeEnv > for-loop element type inference (Tier 1c) — Rust > does not infer type for range expression (0..10)
• buildTypeEnv > for-loop element type inference (Tier 1c) — Rust > does not infer type when iterable has no annotation
• buildTypeEnv > for-loop element type inference (Tier 1c) — C# > infers loop variable from var foreach with List parameter
• buildTypeEnv > for-loop element type inference (Tier 1c) — C# > still resolves explicit type foreach (regression)
• buildTypeEnv > for-loop element type inference (Tier 1c) — C# > does not infer type when iterable has no annotation
• buildTypeEnv > for-loop element type inference (Tier 1c) — Kotlin > infers loop variable from unannotated for with List parameter
• buildTypeEnv > for-loop element type inference (Tier 1c) — Kotlin > still resolves explicit type annotation (regression)
• buildTypeEnv > for-loop element type inference (Tier 1c) — Kotlin > does not infer type when iterable has no annotation
• buildTypeEnv > for-loop element type inference (Tier 1c) — Java > still resolves explicit type enhanced-for (regression)
• buildTypeEnv > for-loop element type inference (Tier 1c) — Java > does not infer type when iterable has no annotation
• buildTypeEnv > previously-skipped limitations (now resolved) > TS destructured for-of: for (const [k, v] of entries) — last-child heuristic
• buildTypeEnv > previously-skipped limitations (now resolved) > Python tuple unpacking: for key, value in dict.items() — call iterable + pattern_list
• buildTypeEnv > previously-skipped limitations (now resolved) > Python enumerate(dict.items()): for i, k, v — skips int index, binds value var to User
• buildTypeEnv > previously-skipped limitations (now resolved) > Python enumerate(dict.items()) with nested tuple: for i, (k, v) — binds v to User
• buildTypeEnv > previously-skipped limitations (now resolved) > Python enumerate with parenthesized tuple: for (k, v) in enumerate(users) — binds v to User
• buildTypeEnv > previously-skipped limitations (now resolved) > TS instanceof narrowing: if (x instanceof User) — first-writer-wins, not block-scoped
• buildTypeEnv > previously-skipped limitations (now resolved) > Rust for with .iter(): for user in users.iter() — call_expression iterable
• buildTypeEnv > method-aware type arg selection (.keys() vs .values()) > TS for-of map.values() resolves to value type (User)
• buildTypeEnv > method-aware type arg selection (.keys() vs .values()) > TS for-of map.keys() resolves to key type (string)
• buildTypeEnv > method-aware type arg selection (.keys() vs .values()) > Python for key in data.keys() resolves to key type (str)
• buildTypeEnv > method-aware type arg selection (.keys() vs .values()) > Python for user in data.values() resolves to value type (User)
• buildTypeEnv > method-aware type arg selection (.keys() vs .values()) > Rust for key in map.keys() resolves to key type (String)
• buildTypeEnv > method-aware type arg selection (.keys() vs .values()) > Rust for user in map.values() resolves to value type (User)
• buildTypeEnv > container descriptor-aware type arg selection > HashMap.keys() resolves to key type (String) via descriptor
• buildTypeEnv > container descriptor-aware type arg selection > HashMap.values() resolves to value type (User) via descriptor
• buildTypeEnv > container descriptor-aware type arg selection > Vec.iter() resolves to element type (User) — arity 1 always returns last
• buildTypeEnv > container descriptor-aware type arg selection > unknown container falls back to last-arg heuristic
• buildTypeEnv > for-loop Phase 2 enhancements > TS object destructuring skip: for (const { id, name } of users) — no binding produced
• buildTypeEnv > for-loop Phase 2 enhancements > TS member access: for (const user of this.users) with users: User[] param — resolves
• buildTypeEnv > for-loop Phase 2 enhancements > Python member access: for user in self.users with users: List[User] param — resolves
• buildTypeEnv > for-loop Phase 2 enhancements > C++ structured bindings: for (auto& [key, value] : map) with map<string, User> param — binds value
• buildTypeEnv > for-loop Phase 2 enhancements > C++ structured bindings: exact App.cpp fixture — binds user and repo
• buildTypeEnv > known limitations (documented skip tests) > Ruby block parameter: users.each { |user| } — closure param inference, different feature
• buildTypeEnv > Kotlin when/is pattern binding (Phase 6) > when (x) { is User -> } binds x to User
• buildTypeEnv > Kotlin when/is pattern binding (Phase 6) > when (x) { is User -> ...; is Admin -> ... } — last arm overwrites (allowPatternBindingOverwrite)
• buildTypeEnv > Kotlin when/is pattern binding (Phase 6) > when (x) { else -> } — no type check, no pattern binding produced
• buildTypeEnv > Kotlin for-loop HashMap.values resolution (Phase 6) > for (user in data.values) binds user to User via HashMap<String, User>
• buildTypeEnv > Kotlin for-loop HashMap.values resolution (Phase 6) > for (user in users) binds user to User via List param
• buildTypeEnv > Java switch pattern variable (Phase 6) > switch (obj) { case User u -> } binds u to User
• buildTypeEnv > Java switch pattern variable (Phase 6) > switch (obj) { case User u -> ...; case Admin a -> ... } — both bind
• buildTypeEnv > Java switch pattern variable (Phase 6) > switch (x) { case 42 -> ... } — no pattern variable, no binding
• buildTypeEnv > Java switch pattern variable (Phase 6) > obj instanceof User user — regression: still works after type_pattern addition
• buildTypeEnv > new container descriptors (Phase 6.1) > Collection resolves element type via descriptor (arity 1)
• buildTypeEnv > new container descriptors (Phase 6.1) > MutableMap<String, User>.values() resolves to User via descriptor (arity 2)
• buildTypeEnv > new container descriptors (Phase 6.1) > MutableList resolves element type via descriptor
• buildTypeEnv > new container descriptors (Phase 6.1) > SortedSet resolves element type via descriptor (C#)
• buildTypeEnv > new container descriptors (Phase 6.1) > Stream resolves element type via descriptor (Java)
• buildTypeEnv > C# recursive_pattern binding (Phase 6.1) > obj is User { Name: "Alice" } u — binds u to User
• buildTypeEnv > C# recursive_pattern binding (Phase 6.1) > switch expression with recursive_pattern — binds r to Repo
• buildTypeEnv > C# recursive_pattern binding (Phase 6.1) > recursive_pattern without designation — no pattern binding produced
• buildTypeEnv > C# await foreach (Phase 6.1) > await foreach (var user in users) — same node type as foreach, resolves element type
• buildTypeEnv > C# await foreach (Phase 6.1) > foreach (var user in this.data.Values) — nested member access with container property
• buildTypeEnv > TypeScript class field declaration (Phase 6.1) > class field with array type — for-loop resolves element type via declarationTypeNodes
• buildTypeEnv > TypeScript class field declaration (Phase 6.1) > class field with generic type annotation — binds field name to base type
• buildTypeEnv > PHP foreach $this->property (Phase 7.4 — Strategy C) > resolves loop variable from @var User[] property without @param workaround
• buildTypeEnv > PHP foreach $this->property (Phase 7.4 — Strategy C) > does not bind from unknown $this->property (conservative)
• buildTypeEnv > PHP foreach $this->property (Phase 7.4 — Strategy C) > multi-class file: resolves correct property for each class
• buildTypeEnv > match arm scoping — first-writer-wins regression > Rust: first match arm binding wins, later arms do not overwrite
• buildTypeEnv > performance optimizations — coverage for new code paths > fastStripNullable: passes through simple identifier without stripping
• buildTypeEnv > performance optimizations — coverage for new code paths > fastStripNullable: strips nullable union type via full stripNullable
• buildTypeEnv > performance optimizations — coverage for new code paths > fastStripNullable: rejects bare nullable keyword
• buildTypeEnv > performance optimizations — coverage for new code paths > fastStripNullable: strips optional type suffix
• buildTypeEnv > performance optimizations — coverage for new code paths > SKIP_SUBTREE_TYPES: string literal subtrees do not affect type extraction
• buildTypeEnv > performance optimizations — coverage for new code paths > interestingNodeTypes: non-declaration nodes skip extractTypeBinding

Code Coverage

Combined (Unit + Integration)

Metric	Coverage	Covered	Base	Delta	Status
Statements	59.21%	6865/11594	46.69%	📈 +12.5	🟢 ███████████░░░░░░░░░
Branches	53.31%	4751/8912	41.23%	📈 +12.1	🟢 ██████████░░░░░░░░░░
Functions	57.47%	573/997	46.33%	📈 +11.1	🟢 ███████████░░░░░░░░░
Lines	60.99%	6123/10038	48.32%	📈 +12.7	🟢 ████████████░░░░░░░░

Coverage breakdown by test suite

Unit Tests

Metric	Coverage	Covered	Base	Delta	Status
Statements	44.3%	5137/11594	46.69%	📉 -2.4	🔴 ████████░░░░░░░░░░░░
Branches	39.09%	3484/8912	41.23%	📉 -2.1	🔴 ███████░░░░░░░░░░░░░
Functions	43.02%	429/997	46.33%	📉 -3.3	🔴 ████████░░░░░░░░░░░░
Lines	45.73%	4591/10038	48.32%	📉 -2.6	🔴 █████████░░░░░░░░░░░

Integration Tests

Metric	Coverage	Covered	Base	Delta	Status
Statements	47.1%	5461/11594	46.69%	📈 +0.4	🟢 █████████░░░░░░░░░░░
Branches	44.19%	3939/8912	41.23%	📈 +3.0	🟢 ████████░░░░░░░░░░░░
Functions	44.43%	443/997	46.33%	📉 -1.9	🔴 ████████░░░░░░░░░░░░
Lines	48.26%	4845/10038	48.32%	📉 -0.1	🔴 █████████░░░░░░░░░░░

---

_{📋 View full run · Generated by CI}

[zander-raycraft]

@claude can you review this

[claude]

Claude encountered an error —— View job

---

I'll analyze this and get back to you.

[zander-raycraft]

@claude can you look at this

[claude]

Claude encountered an error —— View job

---

I'll analyze this and get back to you.