tests/Robotic/Robot_web.avs
The source file is retained in the reviewed project corpus and is not republished verbatim. The related public documentation summarizes the relevant area.
Read related public documentation →DOCUMENTATION TRACEABILITY
Evidence Index
A public index of the source tests referenced by the documentation and summaries of reviewed reports.
How to read this index
Published .avs files are source-test examples from the reviewed project corpus. They are provided for inspection; the website does not execute them. Availability of a test source is not, by itself, proof that the full feature or diagnostic family is covered. Some reviewed tests are represented by a summary instead of a verbatim source file.
Internal Markdown reports are not republished verbatim here. Their related public documentation is linked instead. No private keys or unrelated repository files are included in this index.
SOURCE FILES
Referenced test cases
tests/Robotic/Robot.avstests/Robotic/Robot_collision_detection.avstests/Robotic/decimal_stage2d5_3_simulator_probe.avstests/Robotic/decimal_stage2d5_6_simulator_regression.avstests/Robotic/robot_forward_backward_v3.avstests/Robotic/robot_forward_v3.avstests/Robotic/robot_left_right_v3.avstests/Robotic/robot_movement_contract_v1.avstests/Robotic/robot_navigation_obstacle_v1.avstests/backend/Pointer_Safety.avstests/backend/angle_cross_unit_equivalence.avstests/backend/angle_geometry_result.avstests/backend/array_3d_max.avstests/backend/decimal_compare.avstests/backend/decimal_numbers.avstests/backend/decimal_stage2b1_numeric_promotion.avstests/backend/decimal_stage2b4_cast_expressions.avstests/backend/i64_literal.avstests/backend/if_expr.avstests/backend/loop.avstests/backend/match_bool_basic.avstests/backend/match_enum.avstests/backend/match_int.avstests/backend/match_string.avstests/backend/match_trace_integer_debug.avstests/backend/multiple_enum.avstests/backend/point_complite.avstests/backend/point_minus_point.avstests/backend/point_native.avstests/backend/point_native_field.avstests/backend/pointer_assign.avstests/backend/test_2d_array_for.avstests/backend/test_array_2d_index.avstests/backend/test_array_assignment.avstests/backend/test_option_match.avstests/backend/vector_native.avstests/backend/while.avstests/backend_async/async_channel_stress.avstests/backend_async/async_simple.avstests/backend_async/async_two_awaits.avstests/backend_async/channel_llvm.avstests/backend_async/concurrency_order.avstests/backend_async/delay.avstests/backend_async/delay_llvm.avstests/backend_async/move_robot.avstests/backend_async/phase3g1_point_state.avstests/backend_async/phase3g2_set_position.avstests/backend_async/phase3j_get_position.avstests/examples/test_arena_escape.avstests/examples/test_arena_simple.avstests/examples/test_assign.avstests/examples/test_break.avstests/examples/test_call.avstests/examples/test_continue_simple.avstests/examples/test_func.avstests/examples/test_if.avstests/examples/test_loop_return.avstests/examples/test_main.avstests/examples/test_return.avstests/examples/test_robot_escape.avstests/examples/test_struct.avstests/examples/test_two_fns.avstests/integration/E101_type_mismatch.avstests/integration/E102_return_type_mismatch.avstests/integration/E120_test_if_as_statement.avstests/integration/E222_mmio_read.avstests/integration/Pointer_Not_Safety_E212.avstests/integration/arena_escape.avstests/integration/decimal_stage2d3_distance_invalid_arg.avstests/integration/numeric_stage2b2_assignment_narrowing_E123.avstests/negative/E104_undefined_var.avstests/negative/E105_arithmetic_non_int.avstests/negative/E106_compare_different_types.avstests/negative/E110_arg_count.avstests/negative/E112_undefined_fn.avstests/negative/E116_field_on_non_struct.avstests/negative/E2001_unterminated_string.avstests/negative/match_bool_non_exhaustive.avstests/negative/match_int_non_exhaustive.avstests/tests/async_get_greeting.avs
No test references match this search.
SOURCE SUMMARIES
Test references not published verbatim
tests/Robotic/Robot_websocket.avs
The source file is retained in the reviewed project corpus and is not republished verbatim. The related public documentation summarizes the relevant area.
Read related public documentation →tests/Robotic/robot_navigation_target.avs
The source file is retained in the reviewed project corpus and is not republished verbatim. The related public documentation summarizes the relevant area.
Read related public documentation →tests/Robotic/robot_obstacle_v3.avs
The source file is retained in the reviewed project corpus and is not republished verbatim. The related public documentation summarizes the relevant area.
Read related public documentation →tests/Robotic/simple_robot.avs
The source file is retained in the reviewed project corpus and is not republished verbatim. The related public documentation summarizes the relevant area.
Read related public documentation →tests/Robotic/test_relative_navigation.avs
The source file is retained in the reviewed project corpus and is not republished verbatim. The related public documentation summarizes the relevant area.
Read related public documentation →tests/examples/simple_robot.avs
The source file is retained in the reviewed project corpus and is not republished verbatim. The related public documentation summarizes the relevant area.
Read related public documentation →tests/examples/test_robot.avs
The source file is retained in the reviewed project corpus and is not republished verbatim. The related public documentation summarizes the relevant area.
Read related public documentation →tests/examples/test_struct_point.avs
The source file is retained in the reviewed project corpus and is not republished verbatim. The related public documentation summarizes the relevant area.
Read related public documentation →REVIEWED REPORTS
Report summaries
The underlying reports are retained as project review material. These entries point to the corresponding public technical documentation rather than exposing the original internal documents.
LSP Go to Definition review report
doc/گزارش بررسی LSP Go to Definition — پیش از پیاده_سازی Phase 1.md
Native LLVM code generation baseline report
doc/گزارش رسمی Phase 3-H — Native LLVM Codegen Baseline.md
Native Point ABI completion report
doc/گزارش رسمی Phase 3-K — Native Point ABI Completion.md
LSP Hover Phase 1 report
doc/گزارش رسمی — LSP Hover Phase 1 و درخواست تعیین فاز بعدی.md