Repository navigation
refactor(runtime-tags): list the analysis phases at program exit - #4524
DylanPiercey merged 1 commit into
Conversation
`finalizeReferences()` ran reference resolution, the finalizers, the whole reason solve, module registrations and id allocation, so the program visitor's exit, the one place that orders phases, showed one call for most of them. `finalizeReferences()` now ends where references settle (after the reason expressions tags add) and returns each section's intersections; the exit calls `solveReasons()`, `finalizeRegistrations()` and `allocateIds()` itself. Each read map is cleared by its last reader: expression reads after resolution, function reads after the solve. A step added later now lands visibly on one side of the solve; a finalizer that reads reasons belongs after `solveReasons()`, not among the finalizers before it. AGENTS.md and RESUMABILITY.md name the phase each fact settles in. No output change. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
|
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## main #4524 +/- ##
=======================================
Coverage 94.86% 94.86%
=======================================
Files 419 419
Lines 20910 20911 +1
Branches 4176 4176
=======================================
+ Hits 19836 19837 +1
Misses 617 617
Partials 457 457 ☔ View full report in Codecov by Harness. 🚀 New features to boost your workflow:
|
|
No actionable comments were generated in the recent review.
|
finalizeReferences()ran reference resolution, the finalizers, the whole reason solve, module registrations and id allocation, so the program visitor's exit, the one place that orders analysis phases, showed a single call for most of them. It now ends where references settle and returns each section's intersections, and the exit callssolveReasons(),finalizeRegistrations()andallocateIds()itself. A step added later lands visibly before or after the solve; a finalizer that reads reasons was the bug this boundary would have made obvious. Each read map is now cleared by its last reader, and AGENTS.md and RESUMABILITY.md name the phase each fact settles in. No output change.🤖 Generated with Claude Code