LICENSE
LICENSES.md
NOTICE.md
README.md
pyproject.toml
src/ztare/__init__.py
src/ztare/cli.py
src/ztare/cli_org.py
src/ztare/experiment_stats.py
src/ztare/research_signals.py
src/ztare.egg-info/PKG-INFO
src/ztare.egg-info/SOURCES.txt
src/ztare.egg-info/dependency_links.txt
src/ztare.egg-info/entry_points.txt
src/ztare.egg-info/requires.txt
src/ztare.egg-info/top_level.txt
src/ztare/autoresearch/__init__.py
src/ztare/autoresearch/cli_ops.py
src/ztare/catch_grammar/__init__.py
src/ztare/catch_grammar/quote_locality_verifier.py
src/ztare/catch_grammar/rule_3_profile_check.py
src/ztare/common/__init__.py
src/ztare/common/abstraction_functor.py
src/ztare/common/activity_meter.py
src/ztare/common/apparatus_certificate.py
src/ztare/common/artifact_refs.py
src/ztare/common/ask_spec.py
src/ztare/common/briefing_pack.py
src/ztare/common/candidate_first_policy.py
src/ztare/common/candidate_memory.py
src/ztare/common/cegis_membrane.py
src/ztare/common/claim_audit.py
src/ztare/common/cognitive_gym.py
src/ztare/common/conflict_ledger.py
src/ztare/common/constraint_isomorphism.py
src/ztare/common/control_state_machine.py
src/ztare/common/control_work_items.py
src/ztare/common/cross_substrate_consensus.py
src/ztare/common/dispatch_model.py
src/ztare/common/embedder_liveness.py
src/ztare/common/embeddings.py
src/ztare/common/env_launch.py
src/ztare/common/equivariance.py
src/ztare/common/factored_search.py
src/ztare/common/file_io.py
src/ztare/common/finite_incidence_context.py
src/ztare/common/finite_protocol_theory_adapter.py
src/ztare/common/google_genai_client.py
src/ztare/common/governed_verification.py
src/ztare/common/graph_algorithms.py
src/ztare/common/graph_carrier.py
src/ztare/common/groebner_cert.py
src/ztare/common/harness_weakness.py
src/ztare/common/hitting_sets.py
src/ztare/common/image_set.py
src/ztare/common/information_yield_pricing.py
src/ztare/common/interface_inconsistency.py
src/ztare/common/invariant_certificate.py
src/ztare/common/inversion.py
src/ztare/common/kernel_action_schema.py
src/ztare/common/kernel_admissibility.py
src/ztare/common/kernel_hardener.py
src/ztare/common/leaf_workbench_contract.py
src/ztare/common/leaf_workbench_environment.py
src/ztare/common/leaf_workbench_executor.py
src/ztare/common/leaf_workbench_isomorphism.py
src/ztare/common/leaf_workbench_proposals.py
src/ztare/common/leaf_workbench_python.py
src/ztare/common/llm_cache.py
src/ztare/common/llm_runtime.py
src/ztare/common/llm_runtime_fixture_regression.py
src/ztare/common/nlsat_oracle.py
src/ztare/common/observation_chart.py
src/ztare/common/operator_proposal_contract.py
src/ztare/common/optional_kernels.py
src/ztare/common/patch_base_identity.py
src/ztare/common/paths.py
src/ztare/common/pending_file.py
src/ztare/common/phase_timing.py
src/ztare/common/pricing_calibration.py
src/ztare/common/projection_owner_registry.py
src/ztare/common/refine_handover.py
src/ztare/common/retry_prompt_assembly.py
src/ztare/common/sandboxed_python.py
src/ztare/common/scaffold_project_charter.py
src/ztare/common/schema_routes.py
src/ztare/common/science_output_policy.py
src/ztare/common/sealed_boundary_cegar.py
src/ztare/common/smt_checker.py
src/ztare/common/sos_certificate.py
src/ztare/common/storage.py
src/ztare/common/strategy_card_roles.py
src/ztare/common/structural_transfer_action.py
src/ztare/common/structured_blocks.py
src/ztare/common/subscription_agent_runtime.py
src/ztare/common/subscription_sessions.py
src/ztare/common/symbolic_witness.py
src/ztare/common/task_discharge.py
src/ztare/common/telemetry.py
src/ztare/common/theory_substrate_adapter.py
src/ztare/common/timeouts.py
src/ztare/common/tool_synthesis_contract.py
src/ztare/common/turn_profile_adapter.py
src/ztare/common/utils.py
src/ztare/common/visible_workbench_actions.py
src/ztare/common/visible_workbench_cli.py
src/ztare/common/width_allocator.py
src/ztare/common/work_plan.py
src/ztare/common/worker_metadata.py
src/ztare/common/worldmodel_carrier_purity.py
src/ztare/composition/__init__.py
src/ztare/composition/manifold_compressor.py
src/ztare/composition/reflexive_audit.py
src/ztare/composition/structural_memory.py
src/ztare/composition/structural_memory_fixture_regression.py
src/ztare/composition/symbolic_regression_synthesizer.py
src/ztare/composition/topology_synthesizer.py
src/ztare/diagnostics/__init__.py
src/ztare/diagnostics/noise_profile.py
src/ztare/diagnostics/substrate_critic.py
src/ztare/experiments/__init__.py
src/ztare/experiments/baseline_experiment.py
src/ztare/experiments/bayesian_updater.py
src/ztare/experiments/cognitive_camouflage_experiment.py
src/ztare/experiments/epistemic_lift_experiment.py
src/ztare/findings/__init__.py
src/ztare/findings/discovery_class_classifier.py
src/ztare/findings/evidence_compressor.py
src/ztare/findings/findings_context.py
src/ztare/findings/prose_spec.py
src/ztare/findings/prose_verifier.py
src/ztare/findings/prose_verifier_fixture_regression.py
src/ztare/findings/proxy_signature.py
src/ztare/fit/__init__.py
src/ztare/fit/analogy.py
src/ztare/fit/cold_llm_erdos_seed.py
src/ztare/fit/compress_champion.py
src/ztare/fit/constant_recognition.py
src/ztare/fit/diagnosis_feedback.py
src/ztare/fit/fit_declaration_retry.py
src/ztare/fit/fit_engine.py
src/ztare/fit/fit_multistart_replay.py
src/ztare/fit/fit_primitive.py
src/ztare/fit/fit_primitive_direct_calls_fixture_regression.py
src/ztare/fit/fit_primitive_features.py
src/ztare/fit/lagrangian_derivation.py
src/ztare/fit/legacy_engagement_guard.py
src/ztare/fit/margin_of_safety.py
src/ztare/fit/mdl.py
src/ztare/fit/mutation_suite_guard.py
src/ztare/fit/operator_backend.py
src/ztare/fit/post_underidentified.py
src/ztare/fit/primitive_library.py
src/ztare/fit/programmatic_panel.py
src/ztare/fit/regime_combinator.py
src/ztare/fit/residual_grammar_expander.py
src/ztare/fit/statistical_fingerprint.py
src/ztare/fit/topology_extractor.py
src/ztare/fit/validity_horizon.py
src/ztare/fit/continuous_chaotic/__init__.py
src/ztare/fit/continuous_chaotic/autocorrelation.py
src/ztare/fit/continuous_chaotic/fractional_operator.py
src/ztare/fit/continuous_chaotic/generator.py
src/ztare/fit/continuous_chaotic/lyapunov.py
src/ztare/fit/parsers/__init__.py
src/ztare/fit/tests/__init__.py
src/ztare/fit/tests/fit_primitive_features_fixture_regression.py
src/ztare/fit/tests/test_fit_engine.py
src/ztare/forecasting/__init__.py
src/ztare/forecasting/calibration_db.py
src/ztare/forecasting/calibration_stats.py
src/ztare/forecasting/prediction_contract.py
src/ztare/formal/__init__.py
src/ztare/formal/lean_axiom_audit.py
src/ztare/formal/lean_candidate_hygiene.py
src/ztare/formal/lean_check_server.py
src/ztare/formal/lean_compiler.py
src/ztare/formal/lean_compiler_capture.py
src/ztare/formal/lean_debt_ledger.py
src/ztare/formal/lean_debt_reduction_plan.py
src/ztare/formal/lean_decl_fanout.py
src/ztare/formal/lean_persistent.py
src/ztare/formal/lean_repl.py
src/ztare/formal/repl_compile.py
src/ztare/formal/substrate_liveness.py
src/ztare/framer/__init__.py
src/ztare/framer/active_framer.py
src/ztare/framer/collapse.py
src/ztare/framer/enumerate.py
src/ztare/framer/framer_nd.py
src/ztare/framer/primitives.py
src/ztare/framer/report.py
src/ztare/framer/search.py
src/ztare/framer/solver_wrapper.py
src/ztare/framer/symmetry.py
src/ztare/framer/units.py
src/ztare/framer_gates/__init__.py
src/ztare/framer_gates/filter_independence_gate.py
src/ztare/framer_gates/framer_helped_canary.py
src/ztare/framer_gates/library_coverage_gate.py
src/ztare/framer_gates/symmetry_false_negative_gate.py
src/ztare/gates/__init__.py
src/ztare/gates/_daemon_sig.py
src/ztare/gates/ambiguous_pi_pinning_gate.py
src/ztare/gates/analogical_transfer_receipt_gate.py
src/ztare/gates/ansatz_survivor_gate.py
src/ztare/gates/asymptotic_claim_discipline.py
src/ztare/gates/asymptotic_claim_discipline_fixture_regression.py
src/ztare/gates/autoresearch_gaming_gates.py
src/ztare/gates/auxiliary_object_declaration_gate.py
src/ztare/gates/bound_chain_consistency_gate.py
src/ztare/gates/bounded_incidence_least_hit_selector_gate.py
src/ztare/gates/bounded_incident_existence_eventdata_horizon_gate.py
src/ztare/gates/bounded_incident_existence_sametree_eventdata_index_gate.py
src/ztare/gates/bounded_natural_event_enumeration_gate.py
src/ztare/gates/bounded_ratio_support_gate.py
src/ztare/gates/bridge_scope_contract.py
src/ztare/gates/buckingham_pi_gate.py
src/ztare/gates/cage.py
src/ztare/gates/chokepoint_declaration_gate.py
src/ztare/gates/circularity_gate.py
src/ztare/gates/claim_polarity.py
src/ztare/gates/classical_choose_bound_gate.py
src/ztare/gates/closure_leverage_gate.py
src/ztare/gates/closure_progress_monotonicity_gate.py
src/ztare/gates/cofinal_event_selector_final_prefix_bound_gate.py
src/ztare/gates/cofinal_incidence_witness_bound_gate.py
src/ztare/gates/collision_free_incidence_no_reuse_gate.py
src/ztare/gates/commit_membrane_daemon.py
src/ztare/gates/commit_membrane_gate.py
src/ztare/gates/continuum_limit_gate.py
src/ztare/gates/coordinate_invariance_gate.py
src/ztare/gates/corrector_library.py
src/ztare/gates/cover_event_selector_finalslot_assignment_gate.py
src/ztare/gates/coverage_choice_finite_selector_gate.py
src/ztare/gates/cross_class_degen_gate.py
src/ztare/gates/cross_class_extrapolation_gate.py
src/ztare/gates/derived_constraints.py
src/ztare/gates/derived_constraints_fixture_regression.py
src/ztare/gates/deterministic_charter_gates.py
src/ztare/gates/deterministic_charter_gates_fixture_regression.py
src/ztare/gates/dimensionless_exponent_source_gate.py
src/ztare/gates/domain_match_gate.py
src/ztare/gates/ensemble_ambiguity_gate.py
src/ztare/gates/event_family_binding_gate.py
src/ztare/gates/event_prefix_coverage_selected_index_gate.py
src/ztare/gates/event_prefix_enumeration_packet_gate.py
src/ztare/gates/event_to_badnode_selected_index_gate.py
src/ztare/gates/explicit_cofinal_event_witness_bound_gate.py
src/ztare/gates/falsifiability_gate.py
src/ztare/gates/feature_contrib_gate.py
src/ztare/gates/final_slot_indexed_source_budget_gate.py
src/ztare/gates/finite_cofinal_event_selector_gate.py
src/ztare/gates/finite_image_support_gate.py
src/ztare/gates/finite_prefix_selection_gate.py
src/ztare/gates/finite_prefix_support_gate.py
src/ztare/gates/finite_scale_cofinality_prefix_cover_gate.py
src/ztare/gates/finite_support_extraction_gate.py
src/ztare/gates/g_circ.py
src/ztare/gates/gate_semantics_audit.py
src/ztare/gates/global_gates.py
src/ztare/gates/gravity_ppn_gates.py
src/ztare/gates/incidence_derived_finite_injection_gate.py
src/ztare/gates/lagrangian_nontrivial_gate.py
src/ztare/gates/lean_compile_primitives.py
src/ztare/gates/lean_proof_gate.py
src/ztare/gates/lean_statement_identity.py
src/ztare/gates/limit_passage_inheritance_lemma_gate.py
src/ztare/gates/linear_observable_coercivity_gate.py
src/ztare/gates/metric_covering_selection_gate.py
src/ztare/gates/moment_ratio_surplus_gate.py
src/ztare/gates/negative_space_extractor.py
src/ztare/gates/no_rebilling_freshness_gate.py
src/ztare/gates/noether_nondegeneracy_gate.py
src/ztare/gates/nonadaptive_source_selection_gate.py
src/ztare/gates/owner_preimage_prefix_gate.py
src/ztare/gates/pde_analytic_substance_gate.py
src/ztare/gates/pde_equality_provenance_gate.py
src/ztare/gates/pde_hostile_witness_gate.py
src/ztare/gates/pde_inequality_dimensional_gate.py
src/ztare/gates/pde_operator_admissibility_gate.py
src/ztare/gates/pde_physical_accounting_gate.py
src/ztare/gates/pde_rigorous_numerics_certificate_gate.py
src/ztare/gates/pec_f_deprecation_guard_gate.py
src/ztare/gates/persistence_budget_exponent_gate.py
src/ztare/gates/pi_group_forcing.py
src/ztare/gates/pointwise_lower_bound_scope_gate.py
src/ztare/gates/positive_variation_bridge_gate.py
src/ztare/gates/positive_variation_quotient_wash_gate.py
src/ztare/gates/potential_function_monotonicity_gate.py
src/ztare/gates/prefix_count_bridge_gate.py
src/ztare/gates/prompt_leak_audit.py
src/ztare/gates/proof_surveyability_gate.py
src/ztare/gates/propose.py
src/ztare/gates/provenance_acyclic_edge_gate.py
src/ztare/gates/provenance_edge_direction_gate.py
src/ztare/gates/pslq_falsity_audit_gate.py
src/ztare/gates/pslq_falsity_audit_gate_smoke.py
src/ztare/gates/quadratic_quotient_descent_gate.py
src/ztare/gates/quotient_minimal_carrier_payment_gate.py
src/ztare/gates/r8_r9_substrate_validators.py
src/ztare/gates/registry.py
src/ztare/gates/required_field_semantics.py
src/ztare/gates/residual_core_receipt_gate.py
src/ztare/gates/residual_norm.py
src/ztare/gates/same_carrier_packing_gate.py
src/ztare/gates/scaled_transfer_numeric_receipt_gate.py
src/ztare/gates/screen_sign_gate.py
src/ztare/gates/semantic_gaming_carrier.py
src/ztare/gates/semantic_gate_stabilization.py
src/ztare/gates/source_prefix_budget_gate.py
src/ztare/gates/stagnation_special_case_hint_gate.py
src/ztare/gates/stamped_state.py
src/ztare/gates/structural_anti_pattern_gates.py
src/ztare/gates/structural_anti_pattern_gates_fixture_regression.py
src/ztare/gates/structural_constraint_extractor.py
src/ztare/gates/stub_file_coverage_gate.py
src/ztare/gates/substrate_evaluation.py
src/ztare/gates/support_index_adjacent_gap_gate.py
src/ztare/gates/support_index_affine_order_gate.py
src/ztare/gates/support_index_base_strict_lower_endpoint_gate.py
src/ztare/gates/support_index_endpoint_tight_no_hole_gate.py
src/ztare/gates/support_index_final_slot_upper_bound_tail_capacity_gate.py
src/ztare/gates/support_index_first_hit_interval_preimage_selector_gate.py
src/ztare/gates/support_index_fixed_step_gate.py
src/ztare/gates/support_index_injectivity_gate.py
src/ztare/gates/support_index_interval_image_gate.py
src/ztare/gates/support_index_interval_preimage_selector_gate.py
src/ztare/gates/support_index_law_gate.py
src/ztare/gates/support_index_least_interval_preimage_selector_gate.py
src/ztare/gates/support_index_no_hole_unit_gap_gate.py
src/ztare/gates/support_index_skipped_slot_hostile_witness_gate.py
src/ztare/gates/support_index_tail_capacity_failure_witness_gate.py
src/ztare/gates/support_index_tail_capacity_upper_endpoint_gate.py
src/ztare/gates/support_index_unit_gap_gate.py
src/ztare/gates/support_index_vacuous_first_hit_adapter_gate.py
src/ztare/gates/symbolic_logic_cage.py
src/ztare/gates/target_cover_eventdata_incidence_gate.py
src/ztare/gates/target_event_candidate_cover_selection_gate.py
src/ztare/gates/target_eventdata_index_prefix_cover_gate.py
src/ztare/gates/target_indexed_event_assignment_gate.py
src/ztare/gates/target_slot_bounded_incidence_least_hit_gate.py
src/ztare/gates/theorem_packet_gate.py
src/ztare/gates/threshold_dichotomy_branch_coverage_gate.py
src/ztare/gates/translation_diff_gate.py
src/ztare/gates/typed_appearance_coverage_choice_gate.py
src/ztare/gates/typed_coverage_packet_appearance_gate.py
src/ztare/gates/unbounded_event_witness_prefix_bound_gate.py
src/ztare/gates/v33_consequence_exposure_gate.py
src/ztare/gates/v33_currency_mismatch_gate.py
src/ztare/gates/v33_indirect_leakage_gate.py
src/ztare/gates/v33_paraphrase_gate.py
src/ztare/gates/v33_preflight_risk_detector.py
src/ztare/gates/v33_single_lemma_exact_gate.py
src/ztare/gates/wasserstein_persistence_gate.py
src/ztare/gates/wasserstein_persistence_gate_smoke.py
src/ztare/gates/worldmodel_gates.py
src/ztare/gates/tests/__init__.py
src/ztare/gates/tests/test_cage.py
src/ztare/gates/tests/test_g_circ_structural.py
src/ztare/gates/tests/test_substrate_evaluation.py
src/ztare/gates/tests/test_symbolic_logic_cage.py
src/ztare/gates/tests/integration/__init__.py
src/ztare/gates/tests/integration/test_gate_engagement.py
src/ztare/leanmill/__init__.py
src/ztare/leanmill/adapter_forge.py
src/ztare/leanmill/agent_tools.py
src/ztare/leanmill/audit_external.py
src/ztare/leanmill/axiom_authority.py
src/ztare/leanmill/axiom_lowering.py
src/ztare/leanmill/axiom_pack.py
src/ztare/leanmill/axiom_pack_band.py
src/ztare/leanmill/axiom_pack_orchestration.py
src/ztare/leanmill/axiom_yield.py
src/ztare/leanmill/axiompack_leaf_workbench.py
src/ztare/leanmill/blueprint_lint.py
src/ztare/leanmill/cache_metadata_backfill.py
src/ztare/leanmill/campaign_closure_gate.py
src/ztare/leanmill/campaign_manifest.py
src/ztare/leanmill/campaign_profile.py
src/ztare/leanmill/cli.py
src/ztare/leanmill/cold_calibration.py
src/ztare/leanmill/common.py
src/ztare/leanmill/compound_implication_sieve.py
src/ztare/leanmill/conjecture_book.py
src/ztare/leanmill/conservative_definition.py
src/ztare/leanmill/context_epoch.py
src/ztare/leanmill/control_plane.py
src/ztare/leanmill/control_plane_audit.py
src/ztare/leanmill/definition_contract.py
src/ztare/leanmill/deterministic_frontier_campaign.py
src/ztare/leanmill/eigenquestion_review.py
src/ztare/leanmill/equational_baseline.py
src/ztare/leanmill/equational_formula_universe.py
src/ztare/leanmill/evidence_theory_context.py
src/ztare/leanmill/except_audit.py
src/ztare/leanmill/exploration_budget.py
src/ztare/leanmill/explore_axiom_space.py
src/ztare/leanmill/external_science_admission.py
src/ztare/leanmill/failure_triage.py
src/ztare/leanmill/finite_context_ablation.py
src/ztare/leanmill/finite_model.py
src/ztare/leanmill/finite_model_census.py
src/ztare/leanmill/finite_model_universe.py
src/ztare/leanmill/finite_structure_baseline.py
src/ztare/leanmill/finite_table_model_finder.py
src/ztare/leanmill/finite_theory_context.py
src/ztare/leanmill/flag_audit.py
src/ztare/leanmill/formal_task_boundary.py
src/ztare/leanmill/formal_task_campaign_executor.py
src/ztare/leanmill/formal_verification_provider.py
src/ztare/leanmill/formalization_admission.py
src/ztare/leanmill/frontier_agent_runtime.py
src/ztare/leanmill/frontier_blueprint.py
src/ztare/leanmill/frontier_blueprint_compiler.py
src/ztare/leanmill/frontier_boundary.py
src/ztare/leanmill/frontier_campaign.py
src/ztare/leanmill/frontier_campaign_actions.py
src/ztare/leanmill/frontier_campaign_definition.py
src/ztare/leanmill/frontier_campaign_runner.py
src/ztare/leanmill/frontier_interpretation.py
src/ztare/leanmill/generative_representation.py
src/ztare/leanmill/lean_consequence_bridge.py
src/ztare/leanmill/lean_source.py
src/ztare/leanmill/library_delta.py
src/ztare/leanmill/magma_law_universe.py
src/ztare/leanmill/memory_regressions.py
src/ztare/leanmill/paths.py
src/ztare/leanmill/phase_timing.py
src/ztare/leanmill/policy.py
src/ztare/leanmill/preflight_carriers.py
src/ztare/leanmill/prompts.py
src/ztare/leanmill/refine_handover.py
src/ztare/leanmill/resume_runtime_preflight.py
src/ztare/leanmill/run_diagnostics.py
src/ztare/leanmill/run_observability.py
src/ztare/leanmill/run_standards.py
src/ztare/leanmill/semantic_premise_shelf.py
src/ztare/leanmill/sequential_ab.py
src/ztare/leanmill/source_implication_oracle.py
src/ztare/leanmill/state_convergence.py
src/ztare/leanmill/structural_audit.py
src/ztare/leanmill/theory_adapter_registry.py
src/ztare/leanmill/theory_campaign_journal.py
src/ztare/leanmill/theory_conflict_ledger.py
src/ztare/leanmill/theory_context.py
src/ztare/leanmill/theory_interest.py
src/ztare/leanmill/theory_interpretation.py
src/ztare/leanmill/theory_ir.py
src/ztare/leanmill/theory_landscape_morphism.py
src/ztare/leanmill/theory_language.py
src/ztare/leanmill/theory_lineage_runner.py
src/ztare/leanmill/theory_lineage_synthesis.py
src/ztare/leanmill/theory_navigator.py
src/ztare/leanmill/theory_program.py
src/ztare/leanmill/theory_program_disagreement_policy.py
src/ztare/leanmill/theory_query_policy.py
src/ztare/leanmill/typed_axiom_proposal.py
src/ztare/leanmill/typed_exit.py
src/ztare/leanmill/typed_postfix_codec.py
src/ztare/leanmill/verdict_store.py
src/ztare/leanmill/work_queue.py
src/ztare/leanmill/workbench_actions.py
src/ztare/leanmill/workbench_target.py
src/ztare/leanmill/adapters/__init__.py
src/ztare/leanmill/adapters/finite_protocol.py
src/ztare/leanmill/adapters/generic_finite_evidence.py
src/ztare/leanmill/adapters/generic_fol_finite.py
src/ztare/leanmill/adapters/magma_equational.py
src/ztare/leanmill/contracts/__init__.py
src/ztare/leanmill/contracts/action_card.py
src/ztare/leanmill/contracts/axiom_pack_transport.py
src/ztare/leanmill/contracts/corpus_mandate.py
src/ztare/leanmill/contracts/handoff.py
src/ztare/leanmill/contracts/kernel.py
src/ztare/leanmill/contracts/learning_feedback.py
src/ztare/leanmill/contracts/learning_unit.py
src/ztare/leanmill/contracts/ns_corpus.py
src/ztare/leanmill/contracts/proof_gap.py
src/ztare/leanmill/contracts/source_family_match.py
src/ztare/leanmill/contracts/source_query.py
src/ztare/leanmill/contracts/work_items.py
src/ztare/leanmill/providers/__init__.py
src/ztare/leanmill/providers/base.py
src/ztare/leanmill/providers/claude_opus.py
src/ztare/leanmill/providers/codex_gpt5.py
src/ztare/leanmill/providers/deepseek_v2.py
src/ztare/leanmill/providers/gemini_flash.py
src/ztare/leanmill/providers/placebo.py
src/ztare/leanmill/providers/router.py
src/ztare/leanmill/solver/__init__.py
src/ztare/leanmill/solver/abduction.py
src/ztare/leanmill/solver/agent_output.py
src/ztare/leanmill/solver/agentic_leaf.py
src/ztare/leanmill/solver/anti_unify.py
src/ztare/leanmill/solver/api_agentic_leaf.py
src/ztare/leanmill/solver/autoformalize.py
src/ztare/leanmill/solver/autoformalize_notes.py
src/ztare/leanmill/solver/campaign_coordination.py
src/ztare/leanmill/solver/canonical_reelaboration.py
src/ztare/leanmill/solver/certified_faithfulness.py
src/ztare/leanmill/solver/config.py
src/ztare/leanmill/solver/conjecture.py
src/ztare/leanmill/solver/contract.py
src/ztare/leanmill/solver/cot_traces.py
src/ztare/leanmill/solver/cross_voting.py
src/ztare/leanmill/solver/decidability_router.py
src/ztare/leanmill/solver/def_denotation.py
src/ztare/leanmill/solver/deterministic.py
src/ztare/leanmill/solver/failure_class.py
src/ztare/leanmill/solver/faithfulness_store.py
src/ztare/leanmill/solver/family_lemma_library.py
src/ztare/leanmill/solver/fix_memory.py
src/ztare/leanmill/solver/forecast_pool_bridge.py
src/ztare/leanmill/solver/forecast_router.py
src/ztare/leanmill/solver/frontier_triage.py
src/ztare/leanmill/solver/governance_organs.py
src/ztare/leanmill/solver/governed_dag_search.py
src/ztare/leanmill/solver/isomorphism_decompose.py
src/ztare/leanmill/solver/judge_panel.py
src/ztare/leanmill/solver/judge_reliability.py
src/ztare/leanmill/solver/kernel_structure.py
src/ztare/leanmill/solver/leanmill_cage.py
src/ztare/leanmill/solver/leanmill_hardener.py
src/ztare/leanmill/solver/learned_context.py
src/ztare/leanmill/solver/llm_provers.py
src/ztare/leanmill/solver/move_atlas.py
src/ztare/leanmill/solver/move_calibration.py
src/ztare/leanmill/solver/move_cards.py
src/ztare/leanmill/solver/move_corpus.py
src/ztare/leanmill/solver/no_good_store.py
src/ztare/leanmill/solver/obligation_router.py
src/ztare/leanmill/solver/obstruction_to_conjecture.py
src/ztare/leanmill/solver/outcome_link.py
src/ztare/leanmill/solver/prompt_evolution.py
src/ztare/leanmill/solver/prompts.py
src/ztare/leanmill/solver/proof_cache.py
src/ztare/leanmill/solver/proof_margin_of_safety.py
src/ztare/leanmill/solver/proof_repair.py
src/ztare/leanmill/solver/proof_state.py
src/ztare/leanmill/solver/proposer_pool.py
src/ztare/leanmill/solver/reference_leakage_gate.py
src/ztare/leanmill/solver/reflection.py
src/ztare/leanmill/solver/rung_adjacency.py
src/ztare/leanmill/solver/sledgehammer.py
src/ztare/leanmill/solver/solver_core.py
src/ztare/leanmill/solver/spectral_lift.py
src/ztare/leanmill/solver/statement_extract.py
src/ztare/leanmill/solver/statement_integrity.py
src/ztare/leanmill/solver/theory_building.py
src/ztare/leanmill/solver/void_self_play.py
src/ztare/leanmill/solver/witness_transport.py
src/ztare/messaging/__init__.py
src/ztare/messaging/inbound.py
src/ztare/motion/__init__.py
src/ztare/motion/latent_distance.py
src/ztare/motion/latent_distance_fixture_regression.py
src/ztare/motion/residual_analyzer.py
src/ztare/motion/residual_diagnostics.py
src/ztare/motion/set_distance.py
src/ztare/motion/trajectory_thrash_detector.py
src/ztare/notifications/__init__.py
src/ztare/notifications/push.py
src/ztare/notifications/telegram.py
src/ztare/orchestration/__init__.py
src/ztare/orchestration/a2a_projection.py
src/ztare/orchestration/agent_channels.py
src/ztare/orchestration/arbiter.py
src/ztare/orchestration/artifact_bundle.py
src/ztare/orchestration/chat_handler.py
src/ztare/orchestration/cli.py
src/ztare/orchestration/command_surface.py
src/ztare/orchestration/config_parser.py
src/ztare/orchestration/core.py
src/ztare/orchestration/daemon_continuity.py
src/ztare/orchestration/debate_orchestrator.py
src/ztare/orchestration/execution_routing.py
src/ztare/orchestration/external_run_kernel_gap_tracker.py
src/ztare/orchestration/external_runs.py
src/ztare/orchestration/friction_debate.py
src/ztare/orchestration/gate_escalation.py
src/ztare/orchestration/goals_inbox.py
src/ztare/orchestration/goals_inbox_cli.py
src/ztare/orchestration/pattern_catalog_indexer.py
src/ztare/orchestration/persistence.py
src/ztare/orchestration/predicates.py
src/ztare/orchestration/task_authorization.py
src/ztare/orchestration/transition_log.py
src/ztare/orchestration/work_discovery.py
src/ztare/orchestration/adapters/__init__.py
src/ztare/orchestration/adapters/dispatch.py
src/ztare/orchestration/modules/__init__.py
src/ztare/orchestration/modules/test_module.py
src/ztare/orchestrator/__init__.py
src/ztare/orchestrator/alien_math_seam_loader.py
src/ztare/orchestrator/best_state_persistence.py
src/ztare/orchestrator/blitz_dispatch.py
src/ztare/orchestrator/briefing_attention.py
src/ztare/orchestrator/briefing_compression.py
src/ztare/orchestrator/briefing_projection.py
src/ztare/orchestrator/cap_kind.py
src/ztare/orchestrator/champion_artifact_sync.py
src/ztare/orchestrator/charter_critic.py
src/ztare/orchestrator/cold_llm_seed_requery.py
src/ztare/orchestrator/cold_shot_discriminator.py
src/ztare/orchestrator/cold_shot_discriminator_fixture_regression.py
src/ztare/orchestrator/cold_shot_policy.py
src/ztare/orchestrator/cold_shot_policy_fixture_regression.py
src/ztare/orchestrator/cold_shot_seed.py
src/ztare/orchestrator/cold_shot_seed_fixture_regression.py
src/ztare/orchestrator/cold_shot_seed_sanitizer_fixture_regression.py
src/ztare/orchestrator/composition_seed.py
src/ztare/orchestrator/contract_adherence.py
src/ztare/orchestrator/contract_table.py
src/ztare/orchestrator/control_followup_policy.py
src/ztare/orchestrator/derived_constraints_refresh.py
src/ztare/orchestrator/discriminator_queue.py
src/ztare/orchestrator/discriminator_queue_fixture_regression.py
src/ztare/orchestrator/divergence_sweep_context.py
src/ztare/orchestrator/dynamic_rubric.py
src/ztare/orchestrator/evidence_contract.py
src/ztare/orchestrator/evidence_gap_enrichment.py
src/ztare/orchestrator/evidence_gap_persistence.py
src/ztare/orchestrator/fitted_model.py
src/ztare/orchestrator/forced_reframe.py
src/ztare/orchestrator/frontier_script_scaffold.py
src/ztare/orchestrator/frontier_script_scaffold_fixture_regression.py
src/ztare/orchestrator/frontier_script_scaffold_runner.py
src/ztare/orchestrator/frontier_script_scaffold_runner_fixture_regression.py
src/ztare/orchestrator/gate_manifest.py
src/ztare/orchestrator/gate_surface_format.py
src/ztare/orchestrator/gp087_tail_correction.py
src/ztare/orchestrator/gp180_dispatch.py
src/ztare/orchestrator/holdout_audit.py
src/ztare/orchestrator/iter_context.py
src/ztare/orchestrator/iter_signal_helpers.py
src/ztare/orchestrator/iter_status_print.py
src/ztare/orchestrator/iteration_telemetry.py
src/ztare/orchestrator/loop_event_recorder.py
src/ztare/orchestrator/mutator_briefing.py
src/ztare/orchestrator/mutator_briefing_fixture_regression.py
src/ztare/orchestrator/operator_replay_audit.py
src/ztare/orchestrator/operator_replay_audit_fixture_regression.py
src/ztare/orchestrator/parallel_mutator.py
src/ztare/orchestrator/per_class_fit_audit.py
src/ztare/orchestrator/post_eval_loop_control.py
src/ztare/orchestrator/post_fit_dispatch.py
src/ztare/orchestrator/post_harness_dispatch.py
src/ztare/orchestrator/post_loop_analyses.py
src/ztare/orchestrator/post_run_meta_audit.py
src/ztare/orchestrator/pre_fit_dispatch.py
src/ztare/orchestrator/pre_iter1_dispatch.py
src/ztare/orchestrator/project_state_snapshot.py
src/ztare/orchestrator/promotion_guard.py
src/ztare/orchestrator/promotion_guard_fixture_regression.py
src/ztare/orchestrator/prompt.py
src/ztare/orchestrator/protocols.py
src/ztare/orchestrator/qualitative_evidence_cold_shot.py
src/ztare/orchestrator/r1_retry.py
src/ztare/orchestrator/recombination.py
src/ztare/orchestrator/render_evidence_template.py
src/ztare/orchestrator/research_taste.py
src/ztare/orchestrator/research_taste_fixture_regression.py
src/ztare/orchestrator/retry_contract.py
src/ztare/orchestrator/run_checkpoints.py
src/ztare/orchestrator/science_claim_gate.py
src/ztare/orchestrator/science_claim_gate_fixture_regression.py
src/ztare/orchestrator/startup_recovery.py
src/ztare/orchestrator/state.py
src/ztare/orchestrator/submission_path_helpers.py
src/ztare/orchestrator/telemetry.py
src/ztare/orchestrator/trace_auditor.py
src/ztare/orchestrator/briefing_providers/__init__.py
src/ztare/orchestrator/briefing_providers/analogy_candidates.py
src/ztare/orchestrator/briefing_providers/asymptote_deviation.py
src/ztare/orchestrator/briefing_providers/cold_llm_seed.py
src/ztare/orchestrator/briefing_providers/cold_shot_seed.py
src/ztare/orchestrator/briefing_providers/contamination_defense.py
src/ztare/orchestrator/briefing_providers/contract_rules.py
src/ztare/orchestrator/briefing_providers/data_diagnostics.py
src/ztare/orchestrator/briefing_providers/embedding_history.py
src/ztare/orchestrator/briefing_providers/fit_telemetry.py
src/ztare/orchestrator/briefing_providers/forced_reframe.py
src/ztare/orchestrator/briefing_providers/framer_recommendation.py
src/ztare/orchestrator/briefing_providers/gate_gap.py
src/ztare/orchestrator/briefing_providers/graph_focus_receipt.py
src/ztare/orchestrator/briefing_providers/iter_trajectory.py
src/ztare/orchestrator/briefing_providers/lagrangian_worked_example.py
src/ztare/orchestrator/briefing_providers/leaf_workbench.py
src/ztare/orchestrator/briefing_providers/leanmill_proof_jobs.py
src/ztare/orchestrator/briefing_providers/live_champion.py
src/ztare/orchestrator/briefing_providers/noise_profile_brief.py
src/ztare/orchestrator/briefing_providers/obligation_contract.py
src/ztare/orchestrator/briefing_providers/operator_proposals.py
src/ztare/orchestrator/briefing_providers/per_class_breakdown.py
src/ztare/orchestrator/briefing_providers/proven_invariants.py
src/ztare/orchestrator/briefing_providers/qualitative_evidence_seed.py
src/ztare/orchestrator/briefing_providers/r1_pattern_warning.py
src/ztare/orchestrator/briefing_providers/refuted_families.py
src/ztare/orchestrator/briefing_providers/row_outliers.py
src/ztare/orchestrator/briefing_providers/strategy_experiments.py
src/ztare/orchestrator/briefing_providers/structural_transport.py
src/ztare/orchestrator/briefing_providers/substrate_critique.py
src/ztare/orchestrator/briefing_providers/surviving_candidates.py
src/ztare/orchestrator/briefing_providers/tried_failed_digest.py
src/ztare/orchestrator/briefing_providers/variational_promotion_floor.py
src/ztare/orchestrator/briefing_providers/verified_axioms.py
src/ztare/orchestrator/briefing_providers/worldmodel_committee.py
src/ztare/pde/__init__.py
src/ztare/pde/applicability_cards.py
src/ztare/pde/architecture_requirements.py
src/ztare/pde/canary.py
src/ztare/pde/cli.py
src/ztare/pde/completion_audit.py
src/ztare/pde/currency.py
src/ztare/pde/engine.py
src/ztare/pde/estimates.py
src/ztare/pde/formal_feedback.py
src/ztare/pde/formal_surface_status.py
src/ztare/pde/gate_runner.py
src/ztare/pde/knowledge_service.py
src/ztare/pde/ops.py
src/ztare/pde/readiness.py
src/ztare/pde/receipts.py
src/ztare/pde/registry.py
src/ztare/pde/subkernel.py
src/ztare/pde/work_order.py
src/ztare/personas/__init__.py
src/ztare/personas/registry.py
src/ztare/personas/routing.py
src/ztare/primitives/__init__.py
src/ztare/primitives/approve_primitive.py
src/ztare/primitives/draft_primitives.py
src/ztare/primitives/primitive_library.py
src/ztare/product_exports/__init__.py
src/ztare/product_exports/judgment_primitives.py
src/ztare/reports/__init__.py
src/ztare/reports/autoresearch_carrier_replay.py
src/ztare/reports/autoresearch_kernel_health.py
src/ztare/reports/autoresearch_trace.py
src/ztare/reports/blitz_survival_report.py
src/ztare/reports/compression_progress_report.py
src/ztare/reports/cost_per_finding_reporter.py
src/ztare/reports/eval_results.py
src/ztare/reports/evidence_trace_health.py
src/ztare/reports/export_obsidian.py
src/ztare/reports/forecast_capability_audit.py
src/ztare/reports/forensic_reporter.py
src/ztare/reports/gp048_feedback.py
src/ztare/reports/gp048_retrospective.py
src/ztare/reports/graph_capability_audit.py
src/ztare/reports/hill_climb_behavior_audit.py
src/ztare/reports/mechanism_consequence_audit.py
src/ztare/reports/operations_intelligence.py
src/ztare/reports/operator_card_router_audit.py
src/ztare/reports/research_graph.py
src/ztare/reports/research_graph_query.py
src/ztare/reports/rubric_mode_corpus_audit.py
src/ztare/reports/run_progress.py
src/ztare/reports/score_trajectory.py
src/ztare/reports/subscription_outcome_audit.py
src/ztare/reports/telemetry_reporter.py
src/ztare/research_director/__init__.py
src/ztare/research_director/adversarial_packet_generator.py
src/ztare/research_director/apn_semantic.py
src/ztare/research_director/autoresearch_dispatch_canary.py
src/ztare/research_director/autoresearch_plan_preview.py
src/ztare/research_director/autoresearch_workbench_router.py
src/ztare/research_director/boundary_card_gate.py
src/ztare/research_director/boundary_card_repair_trace.py
src/ztare/research_director/cognitive_gym_hooks.py
src/ztare/research_director/eigenquestion_generator.py
src/ztare/research_director/formalization_sequence.py
src/ztare/research_director/gap_typing.py
src/ztare/research_director/graph_carrier_actions.py
src/ztare/research_director/hostile_packet_suite.py
src/ztare/research_director/learning_promotion_contract.py
src/ztare/research_director/mathlib_semantic.py
src/ztare/research_director/meta_arc_acceptance.py
src/ztare/research_director/meta_arc_matcher.py
src/ztare/research_director/ns_l3a_workmap.py
src/ztare/research_director/orchestration_contract_gate.py
src/ztare/research_director/orchestration_shadow_log.py
src/ztare/research_director/pattern_action_contract.py
src/ztare/research_director/pattern_bank_injector.py
src/ztare/research_director/pde_currency_ledger.py
src/ztare/research_director/pde_estimate_craft_ops.py
src/ztare/research_director/pde_estimate_skeleton.py
src/ztare/research_director/pde_estimate_workbench.py
src/ztare/research_director/pde_formal_feedback_service.py
src/ztare/research_director/pde_gate_registry.py
src/ztare/research_director/pde_leaf_work_order.py
src/ztare/research_director/pde_work_unit_gate.py
src/ztare/research_director/phase_runner.py
src/ztare/research_director/prediction_logging_discriminator.py
src/ztare/research_director/primitive_amnesia.py
src/ztare/research_director/primitive_catalog_taxonomy.py
src/ztare/research_director/primitive_class_rotation.py
src/ztare/research_director/primitive_family_registry.py
src/ztare/research_director/primitive_operator_cards.py
src/ztare/research_director/primitive_parent_utility.py
src/ztare/research_director/primitive_tick_surface.py
src/ztare/research_director/problem_solving_ops.py
src/ztare/research_director/receipt_strength_audit.py
src/ztare/research_director/research_isomorphism.py
src/ztare/research_director/research_yield_mdl.py
src/ztare/research_director/residual_normal_form.py
src/ztare/research_director/retirement_detector.py
src/ztare/research_director/scientific_amnesia.py
src/ztare/research_director/seam_semantic.py
src/ztare/research_director/semantic_feature_normalizer.py
src/ztare/research_director/single_spend_carrier_audit.py
src/ztare/research_director/source_currency_discriminator.py
src/ztare/research_director/strategy_decision_policy.py
src/ztare/research_director/strategy_office.py
src/ztare/research_director/structural_fingerprint.py
src/ztare/research_director/substrate_portfolio.py
src/ztare/research_director/substrate_recommender.py
src/ztare/research_director/theorem_applicability_db.py
src/ztare/research_director/theorem_applicability_verifier.py
src/ztare/research_director/theory_building_ops.py
src/ztare/research_director/tool_proposal_review.py
src/ztare/research_director/two_cultures.py
src/ztare/research_director/universal_classifier.py
src/ztare/research_director/universal_research_ops.py
src/ztare/role_extensions/__init__.py
src/ztare/role_extensions/frontier_runner.py
src/ztare/role_extensions/frontier_state.py
src/ztare/role_extensions/iter_action_executor.py
src/ztare/role_extensions/iter_action_policy.py
src/ztare/role_extensions/research_director.py
src/ztare/role_extensions/tests/__init__.py
src/ztare/role_extensions/tests/test_frontier_state.py
src/ztare/role_extensions/tests/test_iter_action_executor.py
src/ztare/role_extensions/tests/test_iter_action_policy.py
src/ztare/roles/__init__.py
src/ztare/roles/authorization.py
src/ztare/roles/loader.py
src/ztare/roles/mandate_loader.py
src/ztare/rubrics/__init__.py
src/ztare/rubrics/review_rubric.py
src/ztare/rubrics/review_rubric_fixture_regression.py
src/ztare/scaffold/__init__.py
src/ztare/scaffold/arc3_game_project.py
src/ztare/scaffold/draft_project.py
src/ztare/scaffold/generate_gp_project.py
src/ztare/scaffold/generate_substrate.py
src/ztare/scaffold/source_check.py
src/ztare/scaffold/source_project.py
src/ztare/scaffold/substrate_probe.py
src/ztare/scaffold/substrate_queue.py
src/ztare/scaffold/substrate_walkthrough.py
src/ztare/scaffold/write_seal.py
src/ztare/scenarios/__init__.py
src/ztare/scenarios/adapters.py
src/ztare/scenarios/agenda.py
src/ztare/scenarios/argument_kernel.py
src/ztare/scenarios/artifacts.py
src/ztare/scenarios/attribution.py
src/ztare/scenarios/belief_ledger.py
src/ztare/scenarios/cli.py
src/ztare/scenarios/config.py
src/ztare/scenarios/contract_receipts.py
src/ztare/scenarios/decision_state.py
src/ztare/scenarios/declarative.py
src/ztare/scenarios/demo_roundtrip.py
src/ztare/scenarios/editorial.py
src/ztare/scenarios/evidence_admission.py
src/ztare/scenarios/evidence_binding.py
src/ztare/scenarios/evidence_intake.py
src/ztare/scenarios/firewall.py
src/ztare/scenarios/governed_types.py
src/ztare/scenarios/loader.py
src/ztare/scenarios/metrology.py
src/ztare/scenarios/plugin_management.py
src/ztare/scenarios/production.py
src/ztare/scenarios/protocols.py
src/ztare/scenarios/registry.py
src/ztare/scenarios/research_signals.py
src/ztare/scenarios/resolver.py
src/ztare/scenarios/rice.py
src/ztare/scenarios/roundtrip.py
src/ztare/scenarios/strength.py
src/ztare/scenarios/surfacing.py
src/ztare/scenarios/tiers.py
src/ztare/scenarios/verdict.py
src/ztare/scenarios/wager.py
src/ztare/scenarios/warrant_promotion.py
src/ztare/scenarios/warrant_recheck.py
src/ztare/scenarios/providers/__init__.py
src/ztare/scenarios/providers/covenant_recompute.py
src/ztare/scenarios/providers/decision_brief_renderer.py
src/ztare/scenarios/providers/llm_proposer.py
src/ztare/scenarios/providers/local_files.py
src/ztare/scenarios/providers/markdown_renderer.py
src/ztare/scenarios/providers/pm_templates.py
src/ztare/scenarios/providers/structured_files.py
src/ztare/sessions/__init__.py
src/ztare/sessions/claims.py
src/ztare/sessions/enforce.py
src/ztare/sessions/session.py
src/ztare/signals/__init__.py
src/ztare/signals/autoemit.py
src/ztare/signals/damage.py
src/ztare/substrates/__init__.py
src/ztare/substrates/feynman_01_benchmark_gt.py
src/ztare/substrates/gp023_crucial_gt.py
src/ztare/substrates/gp077_a002865_gt.py
src/ztare/substrates/gp078_cal_sigma_02_gt.py
src/ztare/substrates/gp080_01_gt.py
src/ztare/substrates/gp080_02_gt.py
src/ztare/substrates/gp080_tacrolimus_gt.py
src/ztare/substrates/gp088_calibration_a01_gt.py
src/ztare/substrates/gp088_hardy_ramanujan_01_gt.py
src/ztare/substrates/gp089_01_gt.py
src/ztare/substrates/gp089_a000009_gt.py
src/ztare/substrates/gp090_01_gt.py
src/ztare/substrates/gp090_a001414_gt.py
src/ztare/substrates/gp096_sandbox_19_gt.py
src/ztare/substrates/gp163_accel_interpolation_gen.py
src/ztare/substrates/mlh_f1_gt.py
src/ztare/substrates/mlh_f1_impl_gt.py
src/ztare/substrates/mlh_f2_gt.py
src/ztare/substrates/mlh_f2_impl_gt.py
src/ztare/substrates/mlh_f3_gt.py
src/ztare/substrates/mlh_f3_impl_gt.py
src/ztare/substrates/mlh_f4_gt.py
src/ztare/substrates/mlh_f4_impl_gt.py
src/ztare/substrates/mlh_f5_gt.py
src/ztare/substrates/mlh_f5_impl_gt.py
src/ztare/substrates/mlh_f6_gt.py
src/ztare/substrates/mlh_f6_impl_gt.py
src/ztare/substrates/sandbox_15_gt.py
src/ztare/substrates/arc_agi3/__init__.py
src/ztare/substrates/arc_synthetic/__init__.py
src/ztare/substrates/ns_millennium_hunt/__init__.py
src/ztare/substrates/ns_millennium_hunt/pde_profiles.py
src/ztare/supervisor/__init__.py
src/ztare/supervisor/agent_rotation.py
src/ztare/supervisor/agent_utilization_tracker.py
src/ztare/supervisor/escalation_manager.py
src/ztare/supervisor/inbox_state.py
src/ztare/supervisor/inbox_state_fixture_regression.py
src/ztare/supervisor/inbox_streamlit.py
src/ztare/supervisor/inbox_velocity.py
src/ztare/supervisor/llm_budget_guard.py
src/ztare/supervisor/spend_tracker.py
src/ztare/supervisor/supervisor_attended_autoloop.py
src/ztare/supervisor/supervisor_attended_autoloop_fixture_regression.py
src/ztare/supervisor/supervisor_backlog.py
src/ztare/supervisor/supervisor_backlog_fixture_regression.py
src/ztare/supervisor/supervisor_findings_debate.py
src/ztare/supervisor/supervisor_findings_debate_fixture_regression.py
src/ztare/supervisor/supervisor_findings_promotion.py
src/ztare/supervisor/supervisor_findings_runner.py
src/ztare/supervisor/supervisor_findings_runner_fixture_regression.py
src/ztare/supervisor/supervisor_fixture_regression.py
src/ztare/supervisor/supervisor_gate_resolution.py
src/ztare/supervisor/supervisor_gate_resolution_fixture_regression.py
src/ztare/supervisor/supervisor_genesis.py
src/ztare/supervisor/supervisor_genesis_fixture_regression.py
src/ztare/supervisor/supervisor_loop.py
src/ztare/supervisor/supervisor_manifest.py
src/ztare/supervisor/supervisor_manifest_fixture_regression.py
src/ztare/supervisor/supervisor_pipeline.py
src/ztare/supervisor/supervisor_program_autoloop.py
src/ztare/supervisor/supervisor_program_autoloop_fixture_regression.py
src/ztare/supervisor/supervisor_proposal.py
src/ztare/supervisor/supervisor_proposal_fixture_regression.py
src/ztare/supervisor/supervisor_refinement_fixture_regression.py
src/ztare/supervisor/supervisor_registry.py
src/ztare/supervisor/supervisor_registry_check.py
src/ztare/supervisor/supervisor_report.py
src/ztare/supervisor/supervisor_report_fixture_regression.py
src/ztare/supervisor/supervisor_seed_registry.py
src/ztare/supervisor/supervisor_seed_registry_check.py
src/ztare/supervisor/supervisor_staging.py
src/ztare/supervisor/supervisor_staging_fixture_regression.py
src/ztare/supervisor/supervisor_state.py
src/ztare/supervisor/supervisor_transitions.py
src/ztare/supervisor/supervisor_usage.py
src/ztare/supervisor/supervisor_usage_fixture_regression.py
src/ztare/supervisor/supervisor_what_next.py
src/ztare/supervisor/supervisor_wrapper_fixture_regression.py
src/ztare/supervisor/supervisor_wrappers.py
src/ztare/supervisor/tests/__init__.py
src/ztare/supervisor/tests/test_agent_utilization_tracker.py
src/ztare/surfacing/__init__.py
src/ztare/surfacing/pre_tick_obligation_compiler.py
src/ztare/synthesis/__init__.py
src/ztare/synthesis/iter_extraction.py
src/ztare/synthesis/ledger.py
src/ztare/synthesis/post_run_thesis_synthesizer.py
src/ztare/synthesis/synthesize.py
src/ztare/synthesis/synthesize_multi_project_fixture_regression.py
src/ztare/validator/__init__.py
src/ztare/validator/autoresearch_hardener.py
src/ztare/validator/autoresearch_loop.py
src/ztare/validator/autoresearch_prediction_contract.py
src/ztare/validator/bridge_discovery_evaluator.py
src/ztare/validator/bridge_meta_runner.py
src/ztare/validator/calibration_gate.py
src/ztare/validator/candidate_extraction.py
src/ztare/validator/candidate_extraction_fixture_regression.py
src/ztare/validator/catch_attest_gate.py
src/ztare/validator/contract_hardening_meta_runner.py
src/ztare/validator/dag_steering_context.py
src/ztare/validator/dispatch_ledger_check.py
src/ztare/validator/epistemic_coherence_audit.py
src/ztare/validator/falsify_claim.py
src/ztare/validator/gaming_vector_meta_runner.py
src/ztare/validator/gate_package_recommender.py
src/ztare/validator/generate_committee.py
src/ztare/validator/governed_agenda_steering.py
src/ztare/validator/gp061_retro_steering_baseline.py
src/ztare/validator/gp069_hinge_sigmoid_limit_probe.py
src/ztare/validator/hypothesis_projection.py
src/ztare/validator/inverter_agent.py
src/ztare/validator/judge_out_of_loop.py
src/ztare/validator/judge_worker.py
src/ztare/validator/leak_sentinel.py
src/ztare/validator/lean_substrate_runner.py
src/ztare/validator/mform_alignment_audit.py
src/ztare/validator/model_aliases.py
src/ztare/validator/predictive_divergence_sweep.py
src/ztare/validator/probability_dag_carrier.py
src/ztare/validator/rubric_mode_resolver.py
src/ztare/validator/sandbox_gaming_extractor.py
src/ztare/validator/source_claim_graph_carrier.py
src/ztare/validator/surfaced_consumption_gate.py
src/ztare/validator/test_thesis.py
src/ztare/validator/tick_close_gate.py
src/ztare/validator/v4_meta_runner.py
src/ztare/validator/weakest_link_classifier.py
src/ztare/validator/worldmodel_typed_payload.py
src/ztare/validator/committees/__init__.py
src/ztare/validator/committees/committee_instantiation.py
src/ztare/validator/committees/shadow_board.py
src/ztare/validator/core/__init__.py
src/ztare/validator/core/candidate_preflight.py
src/ztare/validator/core/champion_materialization.py
src/ztare/validator/core/charter_parsing.py
src/ztare/validator/core/compression_progress.py
src/ztare/validator/core/cross_domain_transfer.py
src/ztare/validator/core/hinge_handoff.py
src/ztare/validator/core/information_yield.py
src/ztare/validator/core/leaf_workbench_contract.py
src/ztare/validator/core/meta_judge_schema.py
src/ztare/validator/core/mutation_contract.py
src/ztare/validator/core/pre_judge_gate.py
src/ztare/validator/core/primitive_routing.py
src/ztare/validator/core/repair_preflight.py
src/ztare/validator/core/rubric_score_caps.py
src/ztare/validator/core/runner_r1_lifecycle.py
src/ztare/validator/core/runner_selection.py
src/ztare/validator/core/stage24_bridge.py
src/ztare/validator/core/stage2_derivation.py
src/ztare/validator/core/strategy_card_gate.py
src/ztare/validator/core/symbolic_asymptotic_gate.py
src/ztare/validator/core/worldmodel_control_outcome.py
src/ztare/validator/core/worldmodel_prompt_context.py
src/ztare/validator/tests/__init__.py
src/ztare/validator/tests/bridge_scope_fixture_regression.py
src/ztare/validator/tests/champion_artifacts_fixture_regression.py
src/ztare/validator/tests/discrete_scoring_fixture_regression.py
src/ztare/validator/tests/document_assembler_fixture_regression.py
src/ztare/validator/tests/harness_failure_mode_fixture_regression.py
src/ztare/validator/tests/pivot_heuristics_fixture_regression.py
src/ztare/validator/tests/runner_r1_fixture_regression.py
src/ztare/validator/tests/runner_r1_suite_guard_fixture_regression.py
src/ztare/validator/tests/runner_r2_fixture_regression.py
src/ztare/validator/tests/runner_r3_fixture_regression.py
src/ztare/validator/tests/runner_r4_fixture_regression.py
src/ztare/validator/tests/stage24_bridge_fixture_regression.py
src/ztare/validator/tests/stage2_derivation_fixture_regression.py
src/ztare/validator/tests/stage4_fixture_regression.py
src/ztare/validator/tests/stage5_fixture_regression.py
src/ztare/validator/tests/stage6_fixture_regression.py
src/ztare/validator/utilities/__init__.py
src/ztare/validator/utilities/champion_artifacts.py
src/ztare/validator/utilities/document_assembler.py
src/ztare/validator/utilities/gap_to_op_class.py
src/ztare/validator/utilities/gap_to_op_class_integration.py
src/ztare/validator/utilities/harness_failure_mode.py
src/ztare/validator/utilities/pivot_heuristics.py
src/ztare/validator/utilities/v4_family.py
src/ztare/workspace/__init__.py
src/ztare/workspace/claim_card.py
src/ztare/workspace/claim_support.py
src/ztare/workspace/compile_evidence.py
src/ztare/workspace/compile_evidence_cache_fixture_regression.py
src/ztare/workspace/compile_evidence_fixture_regression.py
src/ztare/workspace/document_ingest.py
src/ztare/workspace/evidence_fetch_receipt.py
src/ztare/workspace/evidence_gap_resolutions.py
src/ztare/workspace/evidence_gaps.py
src/ztare/workspace/evidence_output_binding.py
src/ztare/workspace/evidence_replay.py
src/ztare/workspace/extract_incidents.py
src/ztare/workspace/fetch_evidence.py
src/ztare/workspace/jobs.py
src/ztare/workspace/project_brief.py
src/ztare/workspace/project_charter.py
src/ztare/workspace/project_check.py
src/ztare/workspace/project_file.py
src/ztare/workspace/recent_changes.py
src/ztare/workspace/report_actions.py
src/ztare/workspace/research_map.py
src/ztare/workspace/scoring_guide.py
src/ztare/workspace/source_actions.py
src/ztare/workspace/source_files.py
src/ztare/workspace/source_freshness.py
src/ztare/workspace/update_workspace.py
src/ztare/workspace/workbench_contracts.py
src/ztare/workspace/workbench_settings.py
src/ztare/workspace/server_payloads/__init__.py
src/ztare/workspace/server_payloads/leanmill.py
src/ztare/worldmodel/__init__.py
src/ztare/worldmodel/adapter.py
src/ztare/worldmodel/batch_gate.py
src/ztare/worldmodel/candidate_pool.py
src/ztare/worldmodel/carrier_loader.py
src/ztare/worldmodel/challenger_portfolio.py
src/ztare/worldmodel/closure_audit.py
src/ztare/worldmodel/compiled_fiber_planning.py
src/ztare/worldmodel/cycle_enumeration.py
src/ztare/worldmodel/deterministic_candidate_producers.py
src/ztare/worldmodel/distinguishing_play.py
src/ztare/worldmodel/engine_router.py
src/ztare/worldmodel/episode_log.py
src/ztare/worldmodel/evaluation_protocol.py
src/ztare/worldmodel/evidence_consolidation.py
src/ztare/worldmodel/evidence_digest.py
src/ztare/worldmodel/evidence_probe.py
src/ztare/worldmodel/evidence_quotients.py
src/ztare/worldmodel/experiment_executor.py
src/ztare/worldmodel/frontier_codec.py
src/ztare/worldmodel/gates.py
src/ztare/worldmodel/goal_abduction.py
src/ztare/worldmodel/grammar_extension.py
src/ztare/worldmodel/grammar_reflex.py
src/ztare/worldmodel/grid_dsl.py
src/ztare/worldmodel/harness.py
src/ztare/worldmodel/invariant_bridge.py
src/ztare/worldmodel/leaf_workbench.py
src/ztare/worldmodel/lean_bridge.py
src/ztare/worldmodel/level_boundary_seed.py
src/ztare/worldmodel/level_transfer_repair.py
src/ztare/worldmodel/machinery_contradictions.py
src/ztare/worldmodel/object_roles.py
src/ztare/worldmodel/operator_proposals.py
src/ztare/worldmodel/p0_metrics.py
src/ztare/worldmodel/patch_base_carrier.py
src/ztare/worldmodel/patch_carrier_contract.py
src/ztare/worldmodel/planner.py
src/ztare/worldmodel/policy.py
src/ztare/worldmodel/population_enumerator.py
src/ztare/worldmodel/probe_selection.py
src/ztare/worldmodel/reachability.py
src/ztare/worldmodel/refinement_ladder.py
src/ztare/worldmodel/refuted_experiments.py
src/ztare/worldmodel/residual_repair.py
src/ztare/worldmodel/residual_specialists.py
src/ztare/worldmodel/retry_surface.py
src/ztare/worldmodel/search_control_repair.py
src/ztare/worldmodel/spec_abduction.py
src/ztare/worldmodel/spec_catalog.py
src/ztare/worldmodel/spec_lean.py
src/ztare/worldmodel/spec_nogood.py
src/ztare/worldmodel/stale_surface_audit.py
src/ztare/worldmodel/strategy_battery.py
src/ztare/worldmodel/strategy_gate_actions.py
src/ztare/worldmodel/symmetry.py
src/ztare/worldmodel/synthesis.py
src/ztare/worldmodel/terminal_witness.py
src/ztare/worldmodel/transition_identity.py
src/ztare/worldmodel/version_space.py
tests/test_a2a_projection.py
tests/test_adapter_forge.py
tests/test_agent_channels.py
tests/test_arc_lean_feedback.py
tests/test_assignments_time_bounds.py
tests/test_axiom_pack_band.py
tests/test_axiom_pack_band_pilot_recovery.py
tests/test_axiom_pack_orchestration.py
tests/test_axiom_pack_semantic_governance.py
tests/test_axiom_pack_transport.py
tests/test_axiom_pack_trial_workbench_action.py
tests/test_axiom_pack_typed_isomorphism.py
tests/test_axiompack_isabelle_peer.py
tests/test_axiompack_leaf_workbench.py
tests/test_bank_transactional.py
tests/test_batch_gate_counting.py
tests/test_blueprint_lint.py
tests/test_boundary_card_gate.py
tests/test_boundary_card_repair_trace.py
tests/test_campaign_closure_gate.py
tests/test_campaign_context_reentry.py
tests/test_campaign_door_guard.py
tests/test_campaign_manifest.py
tests/test_candidate_pool.py
tests/test_cap_reason_coverage.py
tests/test_carrier_loader_identity.py
tests/test_challenger_portfolio.py
tests/test_champion_materialization.py
tests/test_cli.py
tests/test_common_embeddings.py
tests/test_compound_implication_sieve.py
tests/test_conflict_ledger_contract.py
tests/test_conservative_definition.py
tests/test_consolidation.py
tests/test_context_epoch.py
tests/test_contract_coherence.py
tests/test_daemon_bug_audit.py
tests/test_decision_state.py
tests/test_def_denotation_hardening.py
tests/test_denotation_rollup.py
tests/test_derived_constraints_intra_run.py
tests/test_deterministic_frontier_campaign.py
tests/test_discovery_class_classifier.py
tests/test_dispatch_model.py
tests/test_distinguishing_play.py
tests/test_document_ingest.py
tests/test_dynamics_assumption.py
tests/test_eigenquestion_review.py
tests/test_embeddings.py
tests/test_engine_router.py
tests/test_envelope_normalization.py
tests/test_equivariance_certificate.py
tests/test_evaluation_protocol.py
tests/test_evidence_digest.py
tests/test_evidence_induced_campaign_e2e.py
tests/test_evidence_probe.py
tests/test_evidence_quotients.py
tests/test_execution_routing.py
tests/test_exploration_budget.py
tests/test_explore_axiom_space.py
tests/test_external_science_admission.py
tests/test_factored_search.py
tests/test_finite_context_ablation.py
tests/test_finite_incidence_context.py
tests/test_finite_model_census.py
tests/test_finite_operation_equivalence.py
tests/test_finite_protocol_theory_adapter.py
tests/test_finite_structure_baseline.py
tests/test_finite_table_model_finder.py
tests/test_finite_theory_context.py
tests/test_firewall_structural_smoke.py
tests/test_formalization_admission.py
tests/test_frontier_agent_runtime.py
tests/test_frontier_attempt_lease.py
tests/test_frontier_axiom_campaign_cli.py
tests/test_frontier_blueprint_compiler.py
tests/test_frontier_boundary_governance_recheck.py
tests/test_frontier_campaign.py
tests/test_frontier_campaign_definition.py
tests/test_frontier_campaign_runner.py
tests/test_frontier_campaign_sampled_context.py
tests/test_frontier_codec.py
tests/test_frontier_formula_batch.py
tests/test_frontier_interpretation.py
tests/test_gap_to_op_class_integration.py
tests/test_gates_rollout_segments.py
tests/test_generative_representation.py
tests/test_generic_fol_finite_adapter.py
tests/test_generic_fol_task_discharge.py
tests/test_goals_inbox.py
tests/test_google_genai_client.py
tests/test_grammar_reflex_fixes.py
tests/test_graph_carrier.py
tests/test_harness_weakness_registry.py
tests/test_hypothesis_projection.py
tests/test_image_set.py
tests/test_inbox_velocity.py
tests/test_investigated_turn.py
tests/test_kernel_action_schema.py
tests/test_kernel_admissibility.py
tests/test_leaf_workbench_contract.py
tests/test_lean_consequence_bridge.py
tests/test_lean_source_ratification.py
tests/test_leanmill_agentic_invariants.py
tests/test_leanmill_campaign_safety.py
tests/test_leanmill_cli.py
tests/test_lineage_synthesis_e2e.py
tests/test_llm_runtime_empty_text.py
tests/test_llm_runtime_subscription_fallback.py
tests/test_llm_runtime_timeout.py
tests/test_magma_law_universe.py
tests/test_makefile_script_paths.py
tests/test_novelty_earlyexit.py
tests/test_ns_threshold_keys.py
tests/test_object_roles.py
tests/test_observation_chart.py
tests/test_orchestration_contract_gate.py
tests/test_orchestration_menu_open_set_policy.py
tests/test_orchestration_shadow_log.py
tests/test_order_independence.py
tests/test_org_authorization.py
tests/test_org_schema_compat.py
tests/test_parser_invariants.py
tests/test_pattern_action_contract.py
tests/test_pattern_bank_injector.py
tests/test_pde_analytic_substance_gate.py
tests/test_pde_applicability_cards.py
tests/test_pde_canary.py
tests/test_pde_cli.py
tests/test_pde_currency_ledger.py
tests/test_pde_dependency_boundaries.py
tests/test_pde_engine_context.py
tests/test_pde_equality_provenance_gate.py
tests/test_pde_estimate_craft_ops.py
tests/test_pde_estimate_skeleton.py
tests/test_pde_formal_feedback_service.py
tests/test_pde_formal_surface_status.py
tests/test_pde_gate_registry.py
tests/test_pde_gate_runner.py
tests/test_pde_hostile_witness_gate.py
tests/test_pde_kernel_facades.py
tests/test_pde_knowledge_service.py
tests/test_pde_leaf_work_order.py
tests/test_pde_operator_admissibility_gate.py
tests/test_pde_physical_accounting_gate.py
tests/test_pde_rigorous_numerics_certificate_gate.py
tests/test_pde_subkernel.py
tests/test_planner_refactor.py
tests/test_play_fleet.py
tests/test_population_enumerator.py
tests/test_post_run_thesis_synthesizer.py
tests/test_pretick_orchestration_menu_guard.py
tests/test_pricing_calibration.py
tests/test_primitive_operator_cards.py
tests/test_primitive_tick_surface.py
tests/test_probe_selection.py
tests/test_promote_name_hygiene.py
tests/test_proof_gap_contract.py
tests/test_provider_no_silent_omission.py
tests/test_quote_locality_verifier.py
tests/test_ratification_route.py
tests/test_reachability_memo.py
tests/test_receipt_strength_audit.py
tests/test_regime_fingerprint_failopen.py
tests/test_research_graph_semantics.py
tests/test_research_yield_mdl.py
tests/test_residual_core_receipt_gate.py
tests/test_residual_information_yield.py
tests/test_residual_specialists.py
tests/test_resume_runtime_preflight.py
tests/test_retirement_detector.py
tests/test_role_conditional_persona.py
tests/test_rule_3_profile_check.py
tests/test_run_observability.py
tests/test_saturation_receipt.py
tests/test_scenario_plugins.py
tests/test_schema_routes.py
tests/test_scientific_amnesia.py
tests/test_sealed_eval_slices.py
tests/test_semantic_axiom_core.py
tests/test_signals_autoemit.py
tests/test_silent_verdict_fixes.py
tests/test_single_spend_carrier_audit.py
tests/test_source_currency_discriminator.py
tests/test_source_implication_oracle.py
tests/test_spec_nogood.py
tests/test_sprint_warmstart.py
tests/test_subscription_owned_dispatch.py
tests/test_substrate_queue.py
tests/test_substrate_recommender.py
tests/test_synthesis_report_support_contract.py
tests/test_task_doc_composition.py
tests/test_telegram_callback_flow.py
tests/test_theory_campaign_journal.py
tests/test_theory_conflict_ledger.py
tests/test_theory_landscape_morphism.py
tests/test_theory_lineage_runner.py
tests/test_theory_lineage_synthesis.py
tests/test_theory_navigator.py
tests/test_theory_program.py
tests/test_theory_program_disagreement_policy.py
tests/test_trace_auditor.py
tests/test_transition_identity.py
tests/test_typed_axiom_proposal.py
tests/test_typed_postfix_codec.py
tests/test_validator_core_verdict_receipts.py
tests/test_version_space.py
tests/test_wager_execution.py
tests/test_width_allocator.py
tests/test_work_discovery.py
tests/test_work_plan.py
tests/test_worker_metadata.py
tests/test_workspace_json_parsing.py
tests/test_worldmodel_p0.py
tests/test_worldmodel_p0_metrics.py
tests/test_worldmodel_patch_base_carrier.py