Admit computed object keys from identifier calls

[rogeralsing]

Summary

• admit { [fn()]: value } object-literal computed keys when fn is an activation-resolved zero-argument identifier call
• thread call-target constants through call-argument object-literal lowering for this narrow nested-key call shape
• convert the stale CallDependency row to route coverage and update the expansion contract proof pointer

Verification

• rtk dotnet test tests/Asynkron.JsEngine.Tests -c Release --filter 'FullyQualifiedName~UnifiedBytecodeProductionEligibilityTests.Evaluate_CallWithCallExpressionComputedKeyObjectArg_Accepts|FullyQualifiedName~UnifiedBytecodeProductionEligibilityTests.Evaluate_CallWithBinaryComputedKeyObjectArg_Accepts|FullyQualifiedName~UnifiedBytecodeProductionEligibilityTests.Evaluate_CallWithSimpleComputedKeyObjectArg_Accepts|FullyQualifiedName~UnifiedBytecodeProductionInvocationTests.CallWithCallExpressionComputedKeyObjectArg_UsesUnifiedBytecodeProductionFastPathAndStoresValue|FullyQualifiedName~UnifiedBytecodeProductionInvocationTests.CallWithBinaryComputedKeyObjectArg_UsesUnifiedBytecodeProductionFastPathAndStoresValue|FullyQualifiedName~ExpressionProgramCoverageMapTests.UnifiedBytecodeExpansionContract_ListsRequiredHeadingsAndCurrentEnums'\n- rtk dotnet test tests/Asynkron.JsEngine.Tests -c Release --filter 'FullyQualifiedName~UnifiedBytecodeProductionEligibilityTests|FullyQualifiedName~UnifiedBytecodeProductionInvocationTests|FullyQualifiedName~UnifiedBytecodeProductionSpreadCallTests|FullyQualifiedName~UnifiedBytecodeProductionConstructCallTests|FullyQualifiedName~ExpressionProgramLoweringTests|FullyQualifiedName~ExpressionProgramCoverageMapTests|FullyQualifiedName~AstFreeExecutionAssertionTests'\n- rtk dotnet build src/Asynkron.JsEngine/Asynkron.JsEngine.csproj -c Release\n- rtk rg "EvaluateExpression\\(|ProfileEvaluateExpression\\(" src/Asynkron.JsEngine/Ast/TypedAstEvaluator.ExecutionPlanRunner*\n- rtk git diff --check

[Copilot]

Pull request overview

This PR expands unified bytecode production eligibility and compilation to admit object-literal computed keys of the form { [fn()]: value } when fn is an activation-resolved identifier call with zero arguments, enabling the unified-bytecode-production fast path for this previously-declined shape.

Changes:

• Extend simple object-literal span eligibility to recognize zero-arg activation-resolved identifier-call computed keys.
• Thread call-target constants / slot layout through call-argument object-literal lowering to compile the nested key call via PrepareIdentifierCallTarget + CallInvocationBoundary.
• Update tests and the unified bytecode expansion contract documentation to reflect the new admitted shape and refreshed CallDependency coverage pointer.

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
tests/Asynkron.JsEngine.Tests/UnifiedBytecodeProductionInvocationTests.cs	Adds an invocation test asserting the unified-bytecode-production fast path is used and the computed-key value is stored correctly.
tests/Asynkron.JsEngine.Tests/UnifiedBytecodeProductionEligibilityTests.cs	Updates the eligibility test from “declines” to “accepts” and asserts key unified bytecode opcodes are present.
src/Asynkron.JsEngine/Execution/UnifiedBytecode/UnifiedBytecodeProductionEligibility.cs	Admits the narrow { [fn()]: v } key-call shape during simple object-literal span measurement.
src/Asynkron.JsEngine/Execution/UnifiedBytecode/UnifiedBytecodeCompiler.cs	Extends simple object-literal lowering (when used for call arguments) to compile the nested identifier call key and plumb call-target constants where needed.
docs/unified-bytecode-expansion-contract.md	Updates the CallDependency row to reflect the newly-admitted shape and repoints the verification filter to current coverage.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.