Skip to content

Route shadowed arguments updates through unified bytecode - #2970

Merged
rogeralsing merged 1 commit into
mainfrom
codex/unified-bytecode-loop-13
Jun 1, 2026
Merged

Route shadowed arguments updates through unified bytecode#2970
rogeralsing merged 1 commit into
mainfrom
codex/unified-bytecode-loop-13

Conversation

@rogeralsing

Copy link
Copy Markdown
Contributor

Summary

  • resolve arguments update targets before treating them as implicit arguments-object dependencies
  • route parameter and lexical arguments update expressions as production unified bytecode slot updates
  • keep implicit arguments updates on fallback paths and document the boundary

Verification

  • rtk dotnet test tests/Asynkron.JsEngine.Tests -c Release --filter "FullyQualifiedNameUnifiedBytecodeProductionInvocationTests.UpdateParameterNamedArguments_UsesUnifiedBytecodeProductionFastPath|FullyQualifiedNameUnifiedBytecodeProductionInvocationTests.UpdateLexicalArgumentsBinding_UsesUnifiedBytecodeProductionFastPath|FullyQualifiedNameUnifiedBytecodeProductionInvocationTests.UpdateImplicitArgumentsObject_DeclinesAndFallsBack|FullyQualifiedNameUnifiedBytecodeProductionEligibilityTests.Evaluate_UpdateParameterNamedArguments_AcceptsAsActivationSlot|FullyQualifiedNameUnifiedBytecodeProductionEligibilityTests.Evaluate_UpdateImplicitArgumentsObject_DeclinesWithDynamicLookupDependency|FullyQualifiedNameUnifiedBytecodeProductionEligibilityTests.Evaluate_ArgumentsAccess_DeclinesWithArgumentsDependency|FullyQualifiedName~ExpressionProgramCoverageMapTests.UnifiedBytecodeExpansionContract_ListsRequiredHeadingsAndCurrentEnums"
  • rtk dotnet test tests/Asynkron.JsEngine.Tests -c Release --filter "FullyQualifiedNameUnifiedBytecodeProductionEligibilityTests|FullyQualifiedNameExpressionProgramCoverageMapTests.UnifiedBytecodeExpansionContract_ListsRequiredHeadingsAndCurrentEnums|FullyQualifiedName~UnifiedBytecodeProductionInvocationTests"
  • rtk dotnet test tests/Asynkron.JsEngine.Tests -c Release --filter "FullyQualifiedName~ActivationSemanticsProofPackTests"
  • rtk rg "EvaluateExpression(|ProfileEvaluateExpression(" src/Asynkron.JsEngine/Ast/TypedAstEvaluator.ExecutionPlanRunner* (no matches)
  • rtk ./tools/profile forloop --memory (Total allocated 6.85 MB)
  • rtk git diff --check

Copilot AI review requested due to automatic review settings June 1, 2026 10:33
@rogeralsing
rogeralsing merged commit 2222b4c into main Jun 1, 2026
1 check failed

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

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