Admit nested named logical writes

[rogeralsing]

Summary

• admit nested named receiver logical writes like box.child.value &&= value into production unified bytecode
• make the named logical property-set selector/compiler prefix-aware while preserving private/optional receiver declines and short-circuit cleanup
• update the unified bytecode expansion contract and add eligibility/runtime proofs

Verification

• rtk dotnet test tests/Asynkron.JsEngine.Tests -c Release --filter "FullyQualifiedNameUnifiedBytecodeProductionEligibilityTests.Evaluate_NestedNamedLogicalAssignment_AcceptsWithOwnedOpcodes|FullyQualifiedNameUnifiedBytecodeProductionEligibilityTests.Evaluate_LogicalAndAssignment_UnsupportedShapes_DeclineWithExplicitCodes|FullyQualifiedNameUnifiedBytecodeProductionInvocationTests.NestedNamedLogicalPropertyWrite_UsesUnifiedBytecodeProductionFastPathAndShortCircuits|FullyQualifiedNameUnifiedBytecodeProductionInvocationTests.ComputedLogicalPropertyWrite_AssignmentBranchPreservesResultAndSetterSemantics"
• rtk dotnet test tests/Asynkron.JsEngine.Tests -c Release --filter "FullyQualifiedNameUnifiedBytecodeProductionEligibilityTests|FullyQualifiedNameExpressionProgramCoverageMapTests.UnifiedBytecodeExpansionContract_ListsRequiredHeadingsAndCurrentEnums|FullyQualifiedName~UnifiedBytecodeProductionInvocationTests"
• rtk dotnet build src/Asynkron.JsEngine/Asynkron.JsEngine.csproj -c Release
• rtk git diff --check
• rtk rg "EvaluateExpression(|ProfileEvaluateExpression(" src/Asynkron.JsEngine/Ast/TypedAstEvaluator.ExecutionPlanRunner*
• rtk ./tools/profile forloop --memory

Notes

• Focused proof passed with the existing unrelated nullable warnings in debug tests; the wider production pack and Release build had 0 warnings.

[Copilot]

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