Admit binary expression named property reads

[rogeralsing]

Summary

• admit simple binary-expression bases followed by named property reads in production unified bytecode eligibility
• convert the stale (a + b).value decline row to an admissible contract row
• add a runtime route-hit proof for (left + right).length

Verification

• rtk dotnet test tests/Asynkron.JsEngine.Tests -c Release --filter 'FullyQualifiedName~UnifiedBytecodeProductionEligibilityTests.Evaluate_PropertyReadAdjacentFamilies_DeclineWithExplicitCodes|FullyQualifiedName~UnifiedBytecodeProductionInvocationTests.BinaryExpressionNamedPropertyRead_UsesUnifiedBytecodeProductionFastPath|FullyQualifiedName~UnifiedBytecodeProductionInvocationTests.ObjectLiteralSpreadNamedPropertyRead_UsesUnifiedBytecodeProductionFastPath|FullyQualifiedName~UnifiedBytecodeProductionInvocationTests.ComputedMemberCallWithExpressionKey_UsesUnifiedBytecodeProductionFastPathAndPreservesThis'\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 to include a “simple binary expression base + named property read(s)” shape (e.g. (left + right).prop), and updates tests to reflect and prove the new fast-path routing behavior.

Changes:

• Extend production eligibility to treat simple binary-expression results followed by non-optional named property reads as within the first property-read boundary.
• Update the existing eligibility contract test for (a + b).value from a decline code to None.
• Add an invocation test that asserts (left + right).length routes through the unified-bytecode-production fast path (via log evidence).

Reviewed changes

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

File	Description
tests/Asynkron.JsEngine.Tests/UnifiedBytecodeProductionInvocationTests.cs	Adds a runtime “route-hit” test ensuring (left + right).length uses the production fast path.
tests/Asynkron.JsEngine.Tests/UnifiedBytecodeProductionEligibilityTests.cs	Updates the expected eligibility outcome for a binary-expression-named-property-read case to be admissible.
src/Asynkron.JsEngine/Execution/UnifiedBytecode/UnifiedBytecodeProductionEligibility.cs	Adds a new eligibility shape check allowing simple binary bases followed by named property read chains.

---

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