LICENSE
README.md
pyproject.toml
examples/README.md
examples/__init__.py
examples/absolute_contract.eml
examples/accuracy_gate.eml
examples/actuator_guard.eml
examples/analyzability_conflict.eml
examples/assumed_range.eml
examples/atan_domain_decides.eml
examples/audio_pole_refined.eml
examples/backend_equivalence_gate.eml
examples/behavior_evidence_level.eml
examples/behavior_requirement.eml
examples/bounded_accuracy.eml
examples/catenary.eml
examples/clamp_bounded.eml
examples/damped_wave.eml
examples/drivers.eml
examples/ekf_compiler_jacobian.eml
examples/ekf_range_bearing.eml
examples/exp_primitive_contract.eml
examples/exponential_decay.eml
examples/fixed_point_target.eml
examples/fpga_exp_scaffold.eml
examples/gaussian.eml
examples/guard_clamp_rescue.eml
examples/hello.eml
examples/interrupt.eml
examples/joseph_covariance.eml
examples/kalman2d_filter_streaming.eml
examples/kalman2d_pos_update.eml
examples/kalman_filter.eml
examples/kalman_update_1d.eml
examples/lerp.eml
examples/log_primitive_contract.eml
examples/loops.eml
examples/matmul_shared.eml
examples/matrix2_inv.eml
examples/multimodal_reflex.eml
examples/naive_source_only.eml
examples/nested_calls.eml
examples/pi_antiwindup.eml
examples/pid_controller.eml
examples/precision_escape_rescue.eml
examples/proof_carrying_rescue.eml
examples/quadratic.eml
examples/rc_filter.eml
examples/saturation_deshelf_rescue.eml
examples/sigmoid.eml
examples/sine_oscillator.eml
examples/smoothstep.eml
examples/soft_actuator.eml
examples/state_machines.eml
examples/tof_evidence_levels.eml
examples/tof_forms.eml
examples/trig_primitive_contract.eml
examples/verified_add.eml
examples/vibration_rms.eml
examples/voltage_divider.eml
examples/photonics/inference/photonic_transformer_sim.py
examples/photonics/inference/tolerance_spec_sheet.py
hardware/allocator/__init__.py
hardware/allocator/allocator.py
hardware/allocator/precision_selector.py
hardware/hdl_gen/__init__.py
hardware/hdl_gen/call_contract.py
hardware/hdl_gen/chisel_backend.py
hardware/hdl_gen/datapath_width.py
hardware/hdl_gen/qformat.py
hardware/hdl_gen/systemverilog_backend.py
hardware/hdl_gen/verilog_backend.py
hardware/hdl_gen/verilog_names.py
hardware/hdl_gen/vhdl_backend.py
hardware/hdl_gen/vhdl_names.py
hardware/measurement/equivalence_campaign.py
hardware/measurement/exhaustive_bound.py
hardware/measurement/measure_behavior.py
hardware/measurement/measure_comb.py
hardware/measurement/measure_eml_cost.py
hardware/measurement/measure_eml_exp.py
hardware/measurement/measure_hdl_primitive.py
hardware/measurement/measure_latency.py
hardware/measurement/measure_stable_rewrite.py
hardware/measurement/verify_eml_node.py
hardware/modules/README.md
hardware/modules/__init__.py
hardware/modules/eml_operators/covariance_recursion.v
hardware/modules/eml_operators/deml_pipeline.v
hardware/modules/eml_operators/ekf2d_filter.v
hardware/modules/eml_operators/ekf2d_filter_ext.v
hardware/modules/eml_operators/ekf2d_meas_update.v
hardware/modules/eml_operators/ekf2d_step.v
hardware/modules/eml_operators/ekf2d_step_ext.v
hardware/modules/eml_operators/ekf_meas_z2.v
hardware/modules/eml_operators/eml_node.v
hardware/modules/eml_operators/eml_reciprocal.v
hardware/modules/eml_operators/eml_reciprocal.vhd
hardware/modules/eml_operators/joseph2_general.v
hardware/modules/eml_operators/joseph2_update.v
hardware/modules/eml_operators/kalman2d_filter.v
hardware/modules/eml_operators/kalman2d_gain_update.v
hardware/modules/eml_operators/lediv.v
hardware/modules/eml_operators/matrix2_inv_fullwidth.v
hardware/modules/eml_operators/seq_mac.v
hardware/modules/eml_operators/seq_mac_fw.v
hardware/modules/eml_operators/seq_matmul.v
hardware/modules/transcendental/eml_acos.v
hardware/modules/transcendental/eml_acos.vhd
hardware/modules/transcendental/eml_asin.v
hardware/modules/transcendental/eml_asin.vhd
hardware/modules/transcendental/eml_atan.v
hardware/modules/transcendental/eml_atan.vhd
hardware/modules/transcendental/eml_atan_wide.v
hardware/modules/transcendental/eml_cos.v
hardware/modules/transcendental/eml_cos.vhd
hardware/modules/transcendental/eml_cosh.v
hardware/modules/transcendental/eml_cosh.vhd
hardware/modules/transcendental/eml_exp.v
hardware/modules/transcendental/eml_exp.vhd
hardware/modules/transcendental/eml_exp_wide.v
hardware/modules/transcendental/eml_exp_wide.vhd
hardware/modules/transcendental/eml_ln.v
hardware/modules/transcendental/eml_ln.vhd
hardware/modules/transcendental/eml_ln_wide.v
hardware/modules/transcendental/eml_sin.v
hardware/modules/transcendental/eml_sin.vhd
hardware/modules/transcendental/eml_sinh.v
hardware/modules/transcendental/eml_sinh.vhd
hardware/modules/transcendental/eml_sqrt.v
hardware/modules/transcendental/eml_sqrt.vhd
hardware/modules/transcendental/eml_sqrt_wide.v
hardware/modules/transcendental/eml_tan.v
hardware/modules/transcendental/eml_tan.vhd
hardware/modules/transcendental/eml_tanh.v
hardware/modules/transcendental/eml_tanh.vhd
hardware/modules/transcendental/eml_tanh_wide.v
hardware/simulation/cosim.py
hardware/simulation/verilator_sim.py
hardware/targets/asic/sky130.py
hardware/targets/intel/cyclone10.py
hardware/targets/lattice/ecp5.py
hardware/targets/lattice/ice40.py
hardware/targets/xilinx/artix7.py
lang/fingerprint/__init__.py
lang/fingerprint/compute.py
lang/fingerprint/embed.py
lang/fingerprint/fingerprint.schema.json
lang/fingerprint/shape_class.py
lang/fingerprint/shape_classes_v1.json
lang/lint/__init__.py
lang/lint/assumed_range.py
lang/lint/transcendental.py
lang/loader/__init__.py
lang/loader/resolver.py
lang/numerics/__init__.py
lang/numerics/adversary.py
lang/numerics/analyzability.py
lang/numerics/approach.py
lang/numerics/arithmetic.py
lang/numerics/ast_rewrite.py
lang/numerics/backend_equivalence.py
lang/numerics/behavior.py
lang/numerics/benchmark.py
lang/numerics/cancellation.py
lang/numerics/certificate.py
lang/numerics/contract.py
lang/numerics/cost.py
lang/numerics/discharge.py
lang/numerics/domain.py
lang/numerics/equivalence.py
lang/numerics/evaldag.py
lang/numerics/evidence.py
lang/numerics/hazards.py
lang/numerics/interval.py
lang/numerics/lowering.py
lang/numerics/obligation.py
lang/numerics/oracle.py
lang/numerics/pipeline.py
lang/numerics/primitive_identity.py
lang/numerics/primitives.py
lang/numerics/proofhealth.py
lang/numerics/proofs.py
lang/numerics/prove.py
lang/numerics/proving.py
lang/numerics/qeval.py
lang/numerics/reachability.py
lang/numerics/realization.py
lang/numerics/realization_adversary.py
lang/numerics/realizations_fpga.py
lang/numerics/refine.py
lang/numerics/rewrites.py
lang/numerics/roundoff.py
lang/numerics/witness.py
lang/optimizer/__init__.py
lang/optimizer/autodiff.py
lang/optimizer/builtin_constants.py
lang/optimizer/constant_folding.py
lang/optimizer/cse.py
lang/optimizer/fusion.py
lang/optimizer/inliner.py
lang/optimizer/jacobian_evidence.py
lang/optimizer/log_domain.py
lang/optimizer/ml_routing.py
lang/optimizer/pi_lowering.py
lang/optimizer/policy.py
lang/optimizer/real_literals.py
lang/optimizer/superbest.py
lang/optimizer/tensor_lowering.py
lang/optimizer/tree_shaker.py
lang/parser/__init__.py
lang/parser/alpha_rename.py
lang/parser/ast_nodes.py
lang/parser/binding_types.py
lang/parser/chain_order.py
lang/parser/errors.py
lang/parser/lexer.py
lang/parser/parser.py
lang/parser/state_update.py
lang/parser/type_checker.py
lang/parser/vec_ops.py
lang/profiler/__init__.py
lang/profiler/ast_to_sympy.py
lang/profiler/cost_budget.py
lang/profiler/dynamics.py
lang/profiler/eml_interpreter.py
lang/profiler/profiler.py
lang/profiler/sympy_to_ast.py
lang/refinements/__init__.py
lang/refinements/ast.py
lang/refinements/auto_splice.py
lang/refinements/check.py
lang/refinements/entail.py
lang/refinements/error.py
lang/safety/__init__.py
lang/safety/check.py
lang/spec/EML_LANG_DESIGN.md
lang/spec/SPEC.md
lang/spec/__init__.py
lang/spec/grammar/__init__.py
lang/spec/grammar/eml_lang.g4
lang/spec/grammar/lexer_rules.g4
lang/spec/grammar/examples/arrhenius.eml
lang/spec/grammar/examples/bessel_fm.eml
lang/spec/grammar/examples/hello.eml
lang/spec/grammar/examples/kalman.eml
lang/spec/grammar/examples/motor_control.eml
lang/spec/grammar/examples/motor_foc.eml
lang/spec/grammar/examples/orbit.eml
lang/spec/grammar/examples/pid_basic.eml
lang/spec/grammar/examples/pid_nonlinear.eml
lang/spec/grammar/examples/sigmoid.eml
lang/spec/grammar/examples/trajectory.eml
lang/spec/probes/binding_types.eml
lang/spec/probes/builtin_calls.eml
lang/spec/probes/builtin_calls_in_constants.eml
lang/spec/probes/const_initializers.eml
lang/spec/probes/nodekind_builtins.eml
lang/spec/probes/real_literals.eml
lang/spec/probes/unread_bindings.eml
lang/spec/stdlib/STDLIB.md
lang/spec/stdlib/__init__.py
lang/spec/stdlib/constants.eml
lang/spec/stdlib/control.eml
lang/spec/stdlib/linalg.eml
lang/spec/stdlib/math.eml
lang/spec/stdlib/ml.eml
lang/spec/stdlib/signal.eml
lang/spec/types/TYPES.md
lang/spec/types/__init__.py
lang/spec/types/chain_order_types.md
lang/spec/types/domain_types.md
lang/spec/types/precision_types.md
lang/unit_types/__init__.py
lang/unit_types/check.py
lang/unit_types/diagnostics.py
lang/unit_types/infer.py
lang/unit_types/resolver.py
lang/unit_types/unit.py
lang/zkproof/__init__.py
lang/zkproof/circuit.py
lang/zkproof/plonky2_runner.py
lang/zkproof/prover.py
monogate_forge.egg-info/PKG-INFO
monogate_forge.egg-info/SOURCES.txt
monogate_forge.egg-info/dependency_links.txt
monogate_forge.egg-info/entry_points.txt
monogate_forge.egg-info/requires.txt
monogate_forge.egg-info/top_level.txt
software/backends/__init__.py
software/backends/_declarations.py
software/backends/_float32_literals.py
software/backends/_ieee_python.py
software/backends/_refusals.py
software/backends/_repair_merges.py
software/backends/_reserved_names.py
software/backends/_stdlib_calls.py
software/backends/_vec_struct.py
software/backends/aadl_backend.py
software/backends/ada_backend.py
software/backends/autosar_backend.py
software/backends/c_backend.py
software/backends/c_reserved_names.py
software/backends/cpp_backend.py
software/backends/csharp_backend.py
software/backends/gdscript_backend.py
software/backends/glsl_backend.py
software/backends/go_backend.py
software/backends/godot_visible_names.py
software/backends/hlsl_backend.py
software/backends/java_backend.py
software/backends/javascript_backend.py
software/backends/kicad_backend.py
software/backends/kotlin_backend.py
software/backends/llvm_backend.py
software/backends/luau_backend.py
software/backends/matlab_backend.py
software/backends/metal_backend.py
software/backends/python_backend.py
software/backends/ros2_backend.py
software/backends/rust_backend.py
software/backends/solidity_audit.py
software/backends/solidity_backend.py
software/backends/solidity_foundry.py
software/backends/solidity_gas.py
software/backends/solidity_names.py
software/backends/solidity_prbmath.py
software/backends/solidity_spec.py
software/backends/solidity_trig.py
software/backends/spice_backend.py
software/backends/swift_backend.py
software/backends/wasm_backend.py
software/backends/wgsl_backend.py
software/manufacturing/__init__.py
software/manufacturing/jlcpcb_mapper.py
software/runtime/__init__.py
software/runtime/c/CMakeLists.txt
software/runtime/c/README.md
software/runtime/c/libmonogate.c
software/runtime/c/libmonogate.h
software/runtime/c/libmonogate_symbols.c
software/runtime/c/pkg-config/monogate.pc
software/runtime/c/tests/CMakeLists.txt
software/runtime/c/tests/test_operators.c
software/runtime/rust/Cargo.toml
software/runtime/rust/src/lib.rs
software/verification/__init__.py
software/verification/axiom_policy.py
software/verification/contract_validation.py
software/verification/derive_obligation.py
software/verification/obligations.py
software/verification/postcondition_decline.py
software/verification/predicate_equivalence.py
software/verification/return_refinement_support.py
software/verification/scope.py
software/verification/coq/__init__.py
software/verification/coq/coq_backend.py
software/verification/coq/obligation_emit.py
software/verification/coq/obligation_shape.py
software/verification/coq/refinement_emit.py
software/verification/isabelle/__init__.py
software/verification/isabelle/isabelle_backend.py
software/verification/isabelle/obligation_emit.py
software/verification/isabelle/refinement_emit.py
software/verification/lean/LeanBackend.py
software/verification/lean/discovered_emit.py
software/verification/lean/lean_visible_names.py
software/verification/lean/obligation_census.py
software/verification/lean/obligation_emit.py
software/verification/lean/quanta_certificate.py
software/verification/lean/refinement_emit.py
software/verification/lean/vector_error_emit.py
software/verification/lean/certificates/x_plus_y_float64_accuracy.lean
software/verification/lean/certificates/zz_aa_mm_float64_dag.lean
software/verification/lean/rewrites/tof_constant_decel_sqrt_difference_rationalization.lean
software/verification/safety/__init__.py
software/verification/safety/lean_emit.py
software/verification/safety/safety_backend.py
tests/test_a_bound_names_what_it_rests_on.py
tests/test_a_function_body_must_have_a_value.py
tests/test_a_return_refinement_is_checked.py
tests/test_accuracy_gate_advises_by_default.py
tests/test_accuracy_gate_reads_every_hdl_backend.py
tests/test_ada_compiles.py
tests/test_adversary_reports_are_not_vacuous.py
tests/test_ahrs_mahony.py
tests/test_arxml_and_bom_are_readable.py
tests/test_attitude_quaternion.py
tests/test_autodiff.py
tests/test_autodiff_normalisation.py
tests/test_axiom_trail_headers_match.py
tests/test_bench_handoff_is_accurate.py
tests/test_binding_types_follow_the_expression.py
tests/test_branch_local_bindings.py
tests/test_builtin_calls_are_lowered.py
tests/test_builtin_calls_probe_is_complete.py
tests/test_builtin_constants_fold_to_c_values.py
tests/test_c_runtime_cmake_builds.py
tests/test_capstone.py
tests/test_certificate_appendix.py
tests/test_certifier_asin_acos.py
tests/test_certifier_log10.py
tests/test_certifier_nested_local.py
tests/test_certifier_tan.py
tests/test_chain_order_types.py
tests/test_cli_does_not_advertise_a_tier.py
tests/test_cli_names_java_and_csharp_files_for_their_class.py
tests/test_conditional_accuracy_closure.py
tests/test_const_initializers_fold.py
tests/test_contracts_survive_a_release_build.py
tests/test_control_flow.py
tests/test_control_flow_cross_target.py
tests/test_convex_interval_verify.py
tests/test_corpus_chain_order_bounds.py
tests/test_corpus_checks_cover_every_target.py
tests/test_corpus_compile_gate.py
tests/test_corpus_lanes_cover_every_target.py
tests/test_corpus_status_table_is_rendered.py
tests/test_declarations_reach_the_compiler.py
tests/test_declared_latency_is_measured.py
tests/test_differential_core.py
tests/test_differential_driver.py
tests/test_differential_runners_compiled.py
tests/test_differential_runners_managed.py
tests/test_differential_status_table_is_rendered.py
tests/test_doc_emission_samples.py
tests/test_doc_eml_examples_parse.py
tests/test_ekf.py
tests/test_ekf_localization.py
tests/test_ekf_range_bearing.py
tests/test_ekf_range_bearing_fixedpoint.py
tests/test_emission_failure_is_fatal.py
tests/test_emitted_builtin_names_resolve.py
tests/test_emitted_code_actually_compiles.py
tests/test_emitted_profile_labels.py
tests/test_emitted_python_artifacts_run.py
tests/test_end_to_end_evidence_chain.py
tests/test_estimation_gallery.py
tests/test_estimation_proofs.py
tests/test_estimation_rtl.py
tests/test_every_enforced_backend_rejects_a_false_postcondition.py
tests/test_every_target_can_answer.py
tests/test_execution_status_is_honest.py
tests/test_exp_candidate_space.py
tests/test_extern_stubs_fail_rather_than_return.py
tests/test_formatter_preserves_meaning.py
tests/test_fuzz_generator.py
tests/test_gallery_badges_need_evidence.py
tests/test_gallery_trusted_base_is_generated.py
tests/test_gdscript_actually_parses.py
tests/test_getting_started_commands_run.py
tests/test_go_emits_no_unused_local.py
tests/test_identifiers_and_literals_compile.py
tests/test_inverse_hyperbolics_resolve.py
tests/test_jacobian_is_checked.py
tests/test_java_unsigned_integers.py
tests/test_kalman2d_filter.py
tests/test_kalman2d_flagship.py
tests/test_lean_theorem_name_collision.py
tests/test_let_shadowing.py
tests/test_license_verifier.py
tests/test_llvm_ir_compiles_and_runs.py
tests/test_log_candidate_space.py
tests/test_machlib_emitted_names.py
tests/test_machlib_runtime_transcription.py
tests/test_machlib_rust_runtime_copies.py
tests/test_matlab_actually_runs.py
tests/test_matlab_unbound_extern_raises.py
tests/test_matrix_larger_state.py
tests/test_matrix_operators.py
tests/test_matrix_spike.py
tests/test_no_postcondition_is_preserved_without_its_check.py
tests/test_nodekind_builtins_resolve.py
tests/test_normalise_fallback_chain.py
tests/test_normalize_verify.py
tests/test_numerics_cancellation.py
tests/test_obligation_map.py
tests/test_optimizer_is_ieee_exact.py
tests/test_out_of_domain_values_agree.py
tests/test_pfaffian_r_is_not_chain_order.py
tests/test_pid3_flagship.py
tests/test_precision_unknown_fails.py
tests/test_preconditions_are_actually_enforced.py
tests/test_primitive_identity.py
tests/test_proof_backends_state_every_ensures.py
tests/test_proof_discharge_count_needs_a_compiling_file.py
tests/test_published_figures_match_the_tree.py
tests/test_qkernels_match_rtl.py
tests/test_quickstart_actually_works.py
tests/test_quickstart_certificate_checks.py
tests/test_real_literals_coerce.py
tests/test_refusals_say_what_is_unsupported.py
tests/test_reserved_identifiers_are_repaired.py
tests/test_return_refinement_support_boundary.py
tests/test_rewrites_are_disclosed.py
tests/test_runtime_hyperbolics_survive_exp_overflow.py
tests/test_runtime_hyperbolics_track_glibc.py
tests/test_runtime_symbols_link.py
tests/test_sbt_runs_in_the_foreground.py
tests/test_shaders_validate.py
tests/test_six_contract_gaps_now_emit_checks.py
tests/test_spice_netlist_actually_simulates.py
tests/test_state.py
tests/test_state_next_value_rule.py
tests/test_suite_boundary.py
tests/test_tanh_candidate_space.py
tests/test_the_report_is_rendered_not_written.py
tests/test_the_six_enforce_their_postconditions.py
tests/test_vec_spike.py
tests/test_vector_constants_are_refused.py
tests/test_vector_cross_target.py
tests/test_vscode_editor_parity.py
tests/test_wasm_is_a_module_you_can_call.py
tests/test_wgsl_validates.py
tests/test_wheel_correspondence_specimen.py
tests/test_yosys_synthesis_check.py
tests/test_zkproof_proves_and_verifies.py
tools/boundary_optimizer_benchmark.py
tools/forge_graph.py
tools/guard_clamp_rescue.py
tools/log_domain_benchmark.py
tools/precision_escape_rescue.py
tools/proof_carrying_rescue.py
tools/proof_carrying_rescue_replay.py
tools/proof_carrying_rescue_suite.py
tools/prose_counts_check.py
tools/saturation_deshelf_rescue.py
tools/test_machlib_citations.py
tools/test_prose_counts.py
tools/useful_volume_census.py
tools/benchmarks/__init__.py
tools/benchmarks/dashboard.py
tools/benchmarks/regen_baselines.py
tools/benchmarks/snapshot.py
tools/cli/_ed25519_verify.py
tools/cli/audit.py
tools/cli/cost_aware.py
tools/cli/explain.py
tools/cli/fingerprint_corpus.py
tools/cli/fingerprint_publish.py
tools/cli/forge.py
tools/cli/generate_tests.py
tools/cli/grow_room_demo.py
tools/cli/init_cmd.py
tools/cli/live_counts.py
tools/cli/log_witness.py
tools/cli/main.py
tools/cli/manpage.py
tools/cli/numerics.py
tools/cli/repl.py
tools/cli/zk_log_verify.py
tools/cli/zk_prove.py
tools/cli/zk_verify.py
tools/differential/__init__.py
tools/differential/compare.py
tools/differential/inputs.py
tools/differential/interpreter.py
tools/differential/runners/__init__.py
tools/differential/runners/_compiled.py
tools/differential/runners/_managed.py
tools/differential/runners/ada.py
tools/differential/runners/cpp.py
tools/differential/runners/dotnet.py
tools/differential/runners/go.py
tools/differential/runners/godot.py
tools/differential/runners/javascript.py
tools/differential/runners/jvm.py
tools/differential/runners/llvm.py
tools/differential/runners/luau.py
tools/differential/runners/matlab.py
tools/differential/runners/native_c.py
tools/differential/runners/python.py
tools/differential/runners/rust.py
tools/differential/runners/swift.py
tools/differential/runners/wasm.py
tools/equivalence/__init__.py
tools/equivalence/c_runner.py
tools/equivalence/harness.py
tools/equivalence/lean_runner.py
tools/equivalence/python_runner.py
tools/equivalence/rust_runner.py
tools/equivalence/tensor_equiv.py
tools/external_lint/__init__.py
tools/external_lint/base.py
tools/external_lint/verilog.py
tools/fmt/__init__.py
tools/fmt/formatter.py
tools/fmt/layout.py
tools/fuzz/__init__.py
tools/fuzz/campaign.py
tools/fuzz/checking.py
tools/fuzz/generate.py
tools/fuzz/ir.py
tools/fuzz/reduce.py
tools/fuzz/validity.py
tools/fuzz/values.py
tools/ide/lsp/__init__.py
tools/ide/lsp/server.py
tools/ide/lsp/workspace.py
tools/license/__init__.py
tools/license/issuer.py
tools/license/verifier.py
tools/machlib_bind/bind.py
tools/machlib_bind/certificate.py
tools/machlib_bind/check.py
tools/machlib_bind/crosstarget.py
tools/machlib_bind/ctarget.py
tools/machlib_bind/fxtightness.py
tools/machlib_bind/gtarget.py
tools/machlib_bind/proof_axioms.py
tools/machlib_bind/stochastic.py
tools/machlib_bind/test_bind_cond.py
tools/machlib_bind/test_binding_gate.py
tools/machlib_bind/test_certificate.py
tools/machlib_bind/test_crosstarget_gate.py
tools/machlib_bind/test_ctarget_gate.py
tools/machlib_bind/test_fxtightness_gate.py
tools/machlib_bind/test_gtarget_gate.py
tools/machlib_bind/test_proof_axioms.py
tools/machlib_bind/test_stochastic_gate.py
tools/machlib_bind/test_tightness_gate.py
tools/machlib_bind/test_vtarget_gate.py
tools/machlib_bind/tightness.py
tools/machlib_bind/vtarget.py
tools/scripts/audit_sweep.py
tools/scripts/auto_prove.py
tools/scripts/build_free_wheel.py
tools/scripts/certificate_appendix.py
tools/scripts/check_wheel_correspondence.py
tools/scripts/check_workflow_freshness.py
tools/scripts/collect_evidence.py
tools/scripts/corpus_compile.py
tools/scripts/differential.py
tools/scripts/execution_status.py
tools/scripts/gen_c_reserved_names.py
tools/scripts/gen_godot_visible_names.py
tools/scripts/gen_lean_visible_names.py
tools/scripts/lean_discharge_census.py
tools/scripts/measure_runtime_hyperbolics.py
tools/scripts/obligation_census.py
tools/scripts/prove_from_source.py
tools/scripts/reachability_census.py
tools/scripts/regen_discovered.py
tools/scripts/regen_emission_md5_goldens.py
tools/scripts/render_corpus_status.py
tools/scripts/render_differential_status.py
tools/scripts/render_report.py
tools/scripts/restamp_axiom_trails.py
tools/scripts/search_ablation.py
tools/scripts/corpus_checks/__init__.py
tools/scripts/corpus_checks/_yosys.py
tools/scripts/corpus_checks/ada.py
tools/scripts/corpus_checks/compiled.py
tools/scripts/corpus_checks/dotnet.py
tools/scripts/corpus_checks/godot.py
tools/scripts/corpus_checks/hdl_proofs.py
tools/scripts/corpus_checks/jvm.py
tools/scripts/corpus_checks/llvm.py
tools/scripts/corpus_checks/matlab.py
tools/scripts/corpus_checks/native.py
tools/scripts/corpus_checks/policy.py
tools/scripts/corpus_checks/scripting.py
tools/scripts/corpus_checks/shaders.py
tools/scripts/corpus_checks/systems.py
tools/scripts/corpus_checks/zkproof.py