CHANGELOG.md
CONTRIBUTING.md
LICENSE
MANIFEST.in
README.md
pyproject.toml
src/runglet/__init__.py
src/runglet/__main__.py
src/runglet/analysis.py
src/runglet/authoring.py
src/runglet/build_manifest.py
src/runglet/cli.py
src/runglet/command_analysis.py
src/runglet/compiler.py
src/runglet/context_pack.py
src/runglet/diagnostics.py
src/runglet/float32.py
src/runglet/program_check.py
src/runglet/py.typed
src/runglet/range_analysis.py
src/runglet/representability.py
src/runglet/scaffold.py
src/runglet/type_checker.py
src/runglet/types.py
src/runglet.egg-info/PKG-INFO
src/runglet.egg-info/SOURCES.txt
src/runglet.egg-info/dependency_links.txt
src/runglet.egg-info/entry_points.txt
src/runglet.egg-info/requires.txt
src/runglet.egg-info/top_level.txt
src/runglet/backends/__init__.py
src/runglet/backends/fatek/__init__.py
src/runglet/backends/fatek/allocation.py
src/runglet/backends/fatek/atomic_lowering.py
src/runglet/backends/fatek/bindings.py
src/runglet/backends/fatek/capabilities.py
src/runglet/backends/fatek/control_lowering.py
src/runglet/backends/fatek/fun30.py
src/runglet/backends/fatek/fun30_differential.py
src/runglet/backends/fatek/fun30_evidence.py
src/runglet/backends/fatek/fun30_logic_evidence.py
src/runglet/backends/fatek/fun30_lowering.py
src/runglet/backends/fatek/fun30_relay_ir.py
src/runglet/backends/fatek/fun30_vendor_evidence.py
src/runglet/backends/fatek/fun30_wrapper.py
src/runglet/backends/fatek/network_executor.py
src/runglet/backends/fatek/network_ir.py
src/runglet/backends/fatek/network_lowering.py
src/runglet/backends/fatek/runtime_protocol.py
src/runglet/backends/fatek/trace_map.py
src/runglet/backends/fatek/verification.py
src/runglet/control/__init__.py
src/runglet/control/generated_pid.py
src/runglet/control/relay_ir.py
src/runglet/frontend/__init__.py
src/runglet/frontend/ast.py
src/runglet/frontend/ast_builder.py
src/runglet/frontend/cst.py
src/runglet/frontend/formatter.py
src/runglet/frontend/grammar_v0_2.py
src/runglet/frontend/grammar_v0_3.py
src/runglet/frontend/parser.py
src/runglet/frontend/resolver.py
src/runglet/frontend/source.py
src/runglet/hil/__init__.py
src/runglet/hil/bench.py
src/runglet/hil/checkout.py
src/runglet/hil/recorder.py
src/runglet/interpreter/__init__.py
src/runglet/interpreter/atomic.py
src/runglet/interpreter/sequential.py
src/runglet/lsp/__init__.py
src/runglet/lsp/__main__.py
src/runglet/lsp/server.py
src/runglet/relay_ir/__init__.py
src/runglet/relay_ir/float32.py
src/runglet/relay_ir/inspection.py
src/runglet/relay_ir/lowering.py
src/runglet/relay_ir/models.py
src/runglet/resources/__init__.py
src/runglet/resources/docs/adr/0007-target-native-fun30-for-initial-pid-delivery.md
src/runglet/resources/docs/language/authoring-card.md
src/runglet/resources/docs/language/diagnostics.md
src/runglet/resources/examples/patterns/README.md
src/runglet/resources/examples/patterns/core/fault-interlock-arbitration.rung
src/runglet/resources/examples/patterns/core/signal-and-timer.rung
src/runglet/resources/examples/patterns/core/value-defaults-and-hold.rung
src/runglet/resources/examples/patterns/core/writable-memory.rung
src/runglet/resources/examples/patterns/native-fun30/README.md
src/runglet/resources/examples/starter/starter.rung
src/runglet/resources/fixtures/control/split-range-fun30-v0.2/controller.rung
src/runglet/resources/schemas/authoring-context-v0.1.schema.json
src/runglet/resources/schemas/authoring-context-v0.2.schema.json
src/runglet/resources/schemas/check-report-v0.1.schema.json
src/runglet/resources/schemas/check-report-v0.2.schema.json
src/runglet/resources/schemas/inspect-report-v0.1.schema.json
src/runglet/resources/schemas/inspect-report-v0.2.schema.json
src/runglet/resources/schemas/scaffold-v0.1.schema.json
src/runglet/resources/schemas/scaffold-v0.2.schema.json
src/runglet/resources/spec/grammar/runglet-v0.2.ebnf
src/runglet/resources/spec/grammar/runglet-v0.2.vocabulary.json
src/runglet/resources/spec/grammar/runglet-v0.3.ebnf
src/runglet/resources/spec/grammar/runglet-v0.3.vocabulary.json
src/runglet/scenarios/__init__.py
src/runglet/scenarios/coverage.py
src/runglet/scenarios/differential.py
src/runglet/scenarios/fatek_reset.py
src/runglet/scenarios/mutation.py
src/runglet/scenarios/runner.py
src/runglet/scenarios/trace.py
src/runglet/winpro/__init__.py
src/runglet/winpro/canvas.py
src/runglet/winpro/canvas_controller.py
src/runglet/winpro/canvas_mcp.py
src/runglet/winpro/flaui_client.py
src/runglet/winpro/fun30_acceptance.py
src/runglet/winpro/fun30_automation.py
src/runglet/winpro/fun30_coverage.py
src/runglet/winpro/fun30_export_verification.py
src/runglet/winpro/fun30_gap_evidence.py
src/runglet/winpro/fun30_logic_campaign.py
src/runglet/winpro/handoff.py
src/runglet/winpro/ldr.py
src/runglet/winpro/ldr_coverage.py
src/runglet/winpro/manual_artifact.py
src/runglet/winpro/pdw.py
tests/test_analysis.py
tests/test_ast_builder.py
tests/test_atomic_interpreter.py
tests/test_authoring.py
tests/test_authoring_schemas_v02.py
tests/test_build_manifest.py
tests/test_cli.py
tests/test_command_analysis.py
tests/test_compound_high_address.py
tests/test_conditional_numeric_move.py
tests/test_conditional_numeric_output.py
tests/test_control_gain_types.py
tests/test_control_loop_frontend.py
tests/test_demo_chamber.py
tests/test_demo_requirements.py
tests/test_diagnostics.py
tests/test_differential_runner.py
tests/test_distribution_metadata.py
tests/test_eight_branch_singletons_high_address.py
tests/test_eight_branch_widths_1_1_1_1_1_1_1_3_high_address.py
tests/test_execution_profile_boundaries_spec.py
tests/test_fatek_address_allocator.py
tests/test_fatek_allocation_schema.py
tests/test_fatek_atomic_lowering.py
tests/test_fatek_bindings.py
tests/test_fatek_capability_schema.py
tests/test_fatek_condition_simplifier.py
tests/test_fatek_control_lowering.py
tests/test_fatek_differential_suite.py
tests/test_fatek_fun30.py
tests/test_fatek_fun30_allocation.py
tests/test_fatek_fun30_differential.py
tests/test_fatek_fun30_evidence.py
tests/test_fatek_fun30_fixture_bundle.py
tests/test_fatek_fun30_logic_evidence.py
tests/test_fatek_fun30_lowering.py
tests/test_fatek_fun30_mutations.py
tests/test_fatek_fun30_relay_ir.py
tests/test_fatek_fun30_vendor_evidence.py
tests/test_fatek_fun30_wrapper.py
tests/test_fatek_network_executor.py
tests/test_fatek_network_ir.py
tests/test_fatek_network_ir_schema.py
tests/test_fatek_network_lowering.py
tests/test_fatek_reset.py
tests/test_fatek_runtime_protocol.py
tests/test_fatek_target_profile.py
tests/test_fatek_trace_map.py
tests/test_fatek_verification.py
tests/test_fault_lowering.py
tests/test_five_branch_singletons_high_address.py
tests/test_five_branch_widths_1_1_2_2_3_high_address.py
tests/test_float32_relay_ir.py
tests/test_formatter.py
tests/test_four_branch_singletons_high_address.py
tests/test_four_branch_widths_1_2_3_3_high_address.py
tests/test_frontend_parser.py
tests/test_generated_pid.py
tests/test_generated_pid_relay_ir.py
tests/test_hil_bench.py
tests/test_hil_checkout.py
tests/test_hil_recorder.py
tests/test_inspection.py
tests/test_int32_register_move.py
tests/test_interlock_lowering.py
tests/test_language_examples_docs.py
tests/test_language_spec.py
tests/test_lsp_server.py
tests/test_memory_update_frontend.py
tests/test_memory_update_integration.py
tests/test_memory_update_semantics.py
tests/test_memory_update_tooling.py
tests/test_mixed_high_address.py
tests/test_mutation.py
tests/test_nested_high_address.py
tests/test_nested_unequal_high_address.py
tests/test_nested_width3_high_address.py
tests/test_nine_branch_widths_1_1_1_1_1_1_1_1_3_high_address.py
tests/test_parser_spike.py
tests/test_property_based_toolchain.py
tests/test_relay_ir_lowering.py
tests/test_relay_ir_schema.py
tests/test_relay_ir_v02_schema.py
tests/test_release_workflows.py
tests/test_representability.py
tests/test_resolver.py
tests/test_rising_numeric_hold.py
tests/test_scaffold.py
tests/test_scenario_lowering.py
tests/test_scenario_runner.py
tests/test_semantic_coverage.py
tests/test_semantic_ids_spec.py
tests/test_sequential_executor.py
tests/test_sequential_scan_spec.py
tests/test_seven_branch_singletons_high_address.py
tests/test_seven_branch_widths_1_1_1_1_1_1_3_high_address.py
tests/test_signal_semantics.py
tests/test_six_branch_singletons_high_address.py
tests/test_six_branch_widths_1_1_1_1_2_3_high_address.py
tests/test_snapshot_atomic_spec.py
tests/test_source_reader.py
tests/test_temporal_lowering.py
tests/test_three_branch_dual_width3_high_address.py
tests/test_three_branch_equal_high_address.py
tests/test_three_branch_high_address.py
tests/test_three_branch_series_width3_high_address.py
tests/test_three_branch_singletons_high_address.py
tests/test_three_branch_singletons_width3_high_address.py
tests/test_three_branch_width3_high_address.py
tests/test_three_branch_widths_2_3_3_high_address.py
tests/test_three_branch_widths_3_3_3_high_address.py
tests/test_timer_lowering.py
tests/test_trace.py
tests/test_type_checker.py
tests/test_type_system_spec.py
tests/test_types.py
tests/test_vscode_language_assets.py
tests/test_vscode_snippets.py
tests/test_windows_authoring_packaging.py
tests/test_windows_canvas_acceptance.py
tests/test_windows_canvas_bootstrap.py
tests/test_windows_existing_project_export.py
tests/test_windows_flaui_probe.py
tests/test_windows_fun30_acceptance.py
tests/test_windows_ldr_experiment.py
tests/test_windows_ldr_mcp_acceptance.py
tests/test_winpro_canvas.py
tests/test_winpro_canvas_controller.py
tests/test_winpro_canvas_mcp.py
tests/test_winpro_flaui_client.py
tests/test_winpro_fun30_acceptance.py
tests/test_winpro_fun30_automation.py
tests/test_winpro_fun30_coverage.py
tests/test_winpro_fun30_evidence.py
tests/test_winpro_fun30_export_verification.py
tests/test_winpro_fun30_gap_evidence.py
tests/test_winpro_fun30_logic_campaign.py
tests/test_winpro_golden_project.py
tests/test_winpro_handoff.py
tests/test_winpro_int32_comparison_scenarios.py
tests/test_winpro_ldr.py
tests/test_winpro_ldr_coverage.py
tests/test_winpro_manual_artifact.py
tests/test_winpro_mixed_parallel_scenarios.py
tests/test_winpro_pdw.py
tests/test_winpro_wrapper_function_evidence.py