Skip to content

Route shadowed arguments call targets through unified bytecode - #2971

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

Route shadowed arguments call targets through unified bytecode#2971
rogeralsing merged 1 commit into
mainfrom
codex/unified-bytecode-loop-14

Conversation

@rogeralsing

Copy link
Copy Markdown
Contributor

Summary

  • allow call-target preparation to resolve parameter/lexical arguments bindings as activation slots
  • keep implicit arguments-object call targets declined before VM execution
  • update the decline contract and durable arguments boundary wording

Verification

  • rtk dotnet test tests/Asynkron.JsEngine.Tests -c Release --filter "FullyQualifiedNameUnifiedBytecodeProductionInvocationTests.CallParameterNamedArguments_UsesUnifiedBytecodeProductionFastPath|FullyQualifiedNameUnifiedBytecodeProductionInvocationTests.UpdateParameterNamedArguments_UsesUnifiedBytecodeProductionFastPath|FullyQualifiedNameUnifiedBytecodeProductionEligibilityTests.Evaluate_CallParameterNamedArguments_AcceptsAsActivationSlot|FullyQualifiedNameUnifiedBytecodeProductionEligibilityTests.Evaluate_CallImplicitArgumentsObject_DeclinesWithArgumentsDependency|FullyQualifiedNameUnifiedBytecodeProductionEligibilityTests.Evaluate_ArgumentsAccess_DeclinesWithArgumentsDependency|FullyQualifiedNameExpressionProgramCoverageMapTests.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:38
@rogeralsing
rogeralsing merged commit 5322911 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