CHANGELOG.md
CITATION.cff
CONTRIBUTING.md
LICENSE
MANIFEST.in
NOTICE
README.md
SECURITY.md
pyproject.toml
benchmarks/README.md
benchmarks/cases.json
benchmarks/discovery-cases.json
benchmarks/expert-review-template.md
benchmarks/external-premise-challenge-cases.json
benchmarks/external-premise-challenge-lock.json
benchmarks/external-premise-challenge-sources.json
benchmarks/external-sources.json
benchmarks/hard-benchmark-contract.json
benchmarks/jump-cases.json
benchmarks/portfolio-extension-cases.json
benchmarks/premise-capability-cases.json
benchmarks/premise-invention-cases.json
benchmarks/release-qualification-cases.json
benchmarks/scientific-evaluation-cases.json
benchmarks/fixtures/biology-enzyme-negative-request.json
benchmarks/fixtures/biology-enzyme-request.json
benchmarks/fixtures/computing-retry-negative-request.json
benchmarks/fixtures/computing-retry-request.json
benchmarks/fixtures/novelty-retrieval.json
benchmarks/fixtures/domain-pack-releases/biology-enzyme-path.release.json
benchmarks/fixtures/domain-pack-releases/computing-retry-path.release.json
benchmarks/fixtures/domain-packs/biology-enzyme-path.json
benchmarks/fixtures/domain-packs/computing-retry-path.json
benchmarks/results/discoverybench-hardening-qualification.json
benchmarks/results/discoverybench-qualification.json
benchmarks/results/external-benchmark-qualification.json
benchmarks/results/external-premise-challenge-result.json
benchmarks/results/hypobench-qualification.json
benchmarks/results/hypobench-real-qualification.json
benchmarks/results/hypospace-qualification.json
benchmarks/results/premise-invention-qualification.json
benchmarks/results/recursive-discovery-qualification.json
benchmarks/results/release-qualification-0.5.0.json
benchmarks/results/srsd-feynman-hard-qualification.json
docs/ABDUCTION.md
docs/AGENT_PROTOCOL.md
docs/CAUSAL_DISCRIMINATION.md
docs/CAUSAL_EQUIVALENCE.md
docs/COUNTEREXAMPLES.md
docs/DESIGN.md
docs/DIMENSIONS.md
docs/DISCOVERY.md
docs/DOMAIN_PACKS.md
docs/EQUATION_SEARCH.md
docs/EVALUATION_KIT.md
docs/EXPERIMENT_DESIGN.md
docs/EXPERIMENT_GOVERNANCE.md
docs/EXTENSIONS.md
docs/EXTERNAL_PREMISE_CHALLENGE.md
docs/EXTERNAL_PREMISE_CHALLENGE_PROTOCOL.md
docs/FREEZE_MANIFESTS.md
docs/HYPOTHESIS_GENERATION_SYSTEM.md
docs/MECHANISMS.md
docs/README.md
docs/RELEASE_PLAN.md
docs/RELEASE_QUALIFICATION.md
docs/RELEASE_READINESS.md
docs/SCIENTIFIC_COMPUTE_ADAPTERS.md
docs/SCIENTIFIC_LIMITATIONS.md
docs/SOLVER_ADAPTERS.md
docs/TEMPORAL_EVALUATION.md
docs/THEORY_REVISION.md
examples/application_extension.py
examples/application_extension_manifest.json
examples/boolean_condition.json
examples/classification_rule_discovery.json
examples/ecology_species_area.json
examples/generic_portfolio.json
examples/jump_history_discovery.py
examples/microbiology_monod.json
examples/premise_invention.py
examples/recursive_symbolic_discovery.json
examples/scalar_relation.json
examples/service_failure_relations.json
examples/superconducting_transition.json
examples/urban_heat_discovery.json
schemas/abduction-result.schema.json
schemas/abductive-world.schema.json
schemas/causal-dag.schema.json
schemas/causal-discrimination-result.schema.json
schemas/causal-equivalence-result.schema.json
schemas/counterfactual-design.schema.json
schemas/dimensional-analysis-result.schema.json
schemas/discovery-cycle.schema.json
schemas/discovery-error.schema.json
schemas/discovery-extension-conformance.schema.json
schemas/discovery-extension.schema.json
schemas/discovery-request.schema.json
schemas/discovery-response.schema.json
schemas/domain-pack-release.schema.json
schemas/domain-pack-scaffold.schema.json
schemas/domain-pack.schema.json
schemas/exact-search-result.schema.json
schemas/executable-theory.schema.json
schemas/experiment-design-result.schema.json
schemas/experiment-governance-result.schema.json
schemas/extension-bundle-verification.schema.json
schemas/extension-bundle.schema.json
schemas/external-benchmark-source-manifest.schema.json
schemas/external-premise-blind-review.schema.json
schemas/external-premise-challenge-cases.schema.json
schemas/external-premise-challenge-lock.schema.json
schemas/external-premise-challenge-result.schema.json
schemas/external-premise-challenge-sources.schema.json
schemas/freeze-manifest.schema.json
schemas/frozen-theory-archive.schema.json
schemas/generation-request.schema.json
schemas/generation-response.schema.json
schemas/hard-benchmark-contract.schema.json
schemas/hypothesis-campaign-page.schema.json
schemas/hypothesis-campaign.schema.json
schemas/hypothesis-grammar.schema.json
schemas/hypothesis-handoff.schema.json
schemas/independent-evaluation-freeze.schema.json
schemas/jump-benchmark-result.schema.json
schemas/jump-capabilities.schema.json
schemas/jump-freeze-bundle.schema.json
schemas/jump-ledger-event.schema.json
schemas/jump-request.schema.json
schemas/jump-response.schema.json
schemas/ledger-event.schema.json
schemas/mechanism.schema.json
schemas/portfolio-calibration.schema.json
schemas/portfolio-extension-cases.schema.json
schemas/premise-capability-cases.schema.json
schemas/premise-invention-benchmark.schema.json
schemas/premise-invention.schema.json
schemas/premise-program.schema.json
schemas/recursive-symbolic-search-result.schema.json
schemas/release-qualification-cases.schema.json
schemas/representation-invention-result.schema.json
schemas/retrieval-evaluation.schema.json
schemas/scientific-compute-run.schema.json
schemas/scientific-evaluation.schema.json
schemas/solver-run.schema.json
schemas/structured-hypothesis.schema.json
schemas/temporal-evaluation-result.schema.json
schemas/temporal-evaluation-seal.schema.json
schemas/theory-map-elites.schema.json
schemas/theory-synthesis-result.schema.json
schemas/universal-discovery-request.schema.json
schemas/universal-discovery-response.schema.json
src/hypothesis_generation/__init__.py
src/hypothesis_generation/__main__.py
src/hypothesis_generation/cli.py
src/hypothesis_generation/engine.py
src/hypothesis_generation/grammar.py
src/hypothesis_generation/models.py
src/hypothesis_generation/version.py
src/hypothesis_generation.egg-info/PKG-INFO
src/hypothesis_generation.egg-info/SOURCES.txt
src/hypothesis_generation.egg-info/dependency_links.txt
src/hypothesis_generation.egg-info/entry_points.txt
src/hypothesis_generation.egg-info/requires.txt
src/hypothesis_generation.egg-info/top_level.txt
src/hypothesis_generation/discovery/__init__.py
src/hypothesis_generation/discovery/abduction.py
src/hypothesis_generation/discovery/api.py
src/hypothesis_generation/discovery/approximate_symbolic_search.py
src/hypothesis_generation/discovery/backtest.py
src/hypothesis_generation/discovery/campaigns.py
src/hypothesis_generation/discovery/causal.py
src/hypothesis_generation/discovery/causal_discrimination.py
src/hypothesis_generation/discovery/causal_uncertainty.py
src/hypothesis_generation/discovery/classification_synthesis.py
src/hypothesis_generation/discovery/counterexamples.py
src/hypothesis_generation/discovery/dimensions.py
src/hypothesis_generation/discovery/discoverybench_benchmark.py
src/hypothesis_generation/discovery/domain_pack_review.py
src/hypothesis_generation/discovery/domain_packs.py
src/hypothesis_generation/discovery/engines.py
src/hypothesis_generation/discovery/equations.py
src/hypothesis_generation/discovery/exact_search.py
src/hypothesis_generation/discovery/experiment_design.py
src/hypothesis_generation/discovery/experiments.py
src/hypothesis_generation/discovery/extension_bundles.py
src/hypothesis_generation/discovery/extensions.py
src/hypothesis_generation/discovery/external_premise_challenge.py
src/hypothesis_generation/discovery/freeze.py
src/hypothesis_generation/discovery/frozen_discovery.py
src/hypothesis_generation/discovery/governance.py
src/hypothesis_generation/discovery/handoff.py
src/hypothesis_generation/discovery/hypobench_benchmark.py
src/hypothesis_generation/discovery/hypobench_real_benchmark.py
src/hypothesis_generation/discovery/hypospace_benchmark.py
src/hypothesis_generation/discovery/hypothesis_algebra.py
src/hypothesis_generation/discovery/independent_evaluation.py
src/hypothesis_generation/discovery/ir.py
src/hypothesis_generation/discovery/jump_api.py
src/hypothesis_generation/discovery/jump_benchmarks.py
src/hypothesis_generation/discovery/jump_contracts.py
src/hypothesis_generation/discovery/jump_cycles.py
src/hypothesis_generation/discovery/jump_experiments.py
src/hypothesis_generation/discovery/jump_freeze.py
src/hypothesis_generation/discovery/jump_ledger.py
src/hypothesis_generation/discovery/jump_novelty.py
src/hypothesis_generation/discovery/jump_quality_diversity.py
src/hypothesis_generation/discovery/jump_representation.py
src/hypothesis_generation/discovery/jump_synthesis.py
src/hypothesis_generation/discovery/jump_theory.py
src/hypothesis_generation/discovery/jump_world.py
src/hypothesis_generation/discovery/ledger.py
src/hypothesis_generation/discovery/legacy_adapter.py
src/hypothesis_generation/discovery/lexical_discovery.py
src/hypothesis_generation/discovery/literature_discovery.py
src/hypothesis_generation/discovery/mechanisms.py
src/hypothesis_generation/discovery/models.py
src/hypothesis_generation/discovery/novelty.py
src/hypothesis_generation/discovery/numeric_synthesis.py
src/hypothesis_generation/discovery/pack_scaffolds.py
src/hypothesis_generation/discovery/portfolio.py
src/hypothesis_generation/discovery/portfolio_calibration.py
src/hypothesis_generation/discovery/portfolio_extension_benchmark.py
src/hypothesis_generation/discovery/portfolio_profiles.py
src/hypothesis_generation/discovery/premise_benchmark.py
src/hypothesis_generation/discovery/premise_capability_benchmark.py
src/hypothesis_generation/discovery/premise_checks.py
src/hypothesis_generation/discovery/premise_invention.py
src/hypothesis_generation/discovery/premise_ir.py
src/hypothesis_generation/discovery/premise_programs.py
src/hypothesis_generation/discovery/premise_registry.py
src/hypothesis_generation/discovery/query_grounding.py
src/hypothesis_generation/discovery/recursive_symbolic_search.py
src/hypothesis_generation/discovery/relational.py
src/hypothesis_generation/discovery/release_qualification_benchmark.py
src/hypothesis_generation/discovery/revision.py
src/hypothesis_generation/discovery/scientific_adapters.py
src/hypothesis_generation/discovery/scientific_evaluation.py
src/hypothesis_generation/discovery/search.py
src/hypothesis_generation/discovery/solver_adapters.py
src/hypothesis_generation/discovery/srsd_benchmark.py
src/hypothesis_generation/discovery/srsd_recursive_benchmark.py
src/hypothesis_generation/discovery/tabular_diagnostics.py
src/hypothesis_generation/discovery/temporal_evaluation.py
src/hypothesis_generation/discovery/universal.py
src/hypothesis_generation/discovery/workspace.py
tests/test_abduction.py
tests/test_approximate_symbolic_search.py
tests/test_artifact_ledger.py
tests/test_benchmark.py
tests/test_campaigns.py
tests/test_causal_discrimination.py
tests/test_causal_equivalence.py
tests/test_causal_uncertainty.py
tests/test_classification_synthesis.py
tests/test_cli.py
tests/test_constrained_bridge.py
tests/test_core_boundary.py
tests/test_counterexamples.py
tests/test_declared_aliases.py
tests/test_dimensions.py
tests/test_discovery.py
tests/test_discovery_benchmark.py
tests/test_discovery_extensions.py
tests/test_discoverybench_benchmark.py
tests/test_domain_pack_release.py
tests/test_domain_packs.py
tests/test_equation_search.py
tests/test_exact_search.py
tests/test_experiment_design.py
tests/test_experiment_governance.py
tests/test_experiments_and_backtest.py
tests/test_extension_bundles.py
tests/test_extension_example.py
tests/test_external_benchmark_contracts.py
tests/test_external_premise_challenge.py
tests/test_formal_reasoning_workflow.py
tests/test_freeze_manifest.py
tests/test_horn_rule_discovery.py
tests/test_hypobench_benchmark.py
tests/test_hypobench_real_benchmark.py
tests/test_hypospace_benchmark.py
tests/test_hypothesis_algebra.py
tests/test_hypothesis_handoff.py
tests/test_independent_evaluation.py
tests/test_jump_benchmarks.py
tests/test_jump_contracts.py
tests/test_jump_representation.py
tests/test_jump_theory.py
tests/test_jump_world.py
tests/test_legacy_adapter.py
tests/test_lexical_discovery.py
tests/test_literature_discovery.py
tests/test_mechanisms.py
tests/test_model_contract.py
tests/test_models_and_engine.py
tests/test_novelty_metrics.py
tests/test_numeric_synthesis.py
tests/test_pack_scaffolds.py
tests/test_portfolio_extension_benchmark.py
tests/test_portfolio_optimizer.py
tests/test_portfolio_profiles.py
tests/test_premise_benchmark.py
tests/test_premise_capability_benchmark.py
tests/test_premise_checks.py
tests/test_premise_integration.py
tests/test_premise_invention.py
tests/test_premise_ir.py
tests/test_premise_programs.py
tests/test_premise_retention.py
tests/test_query_grounding.py
tests/test_recursive_symbolic_search.py
tests/test_relational_discovery.py
tests/test_release_qualification_benchmark.py
tests/test_scientific_adapters.py
tests/test_scientific_evaluation.py
tests/test_scientific_examples.py
tests/test_scientific_ir.py
tests/test_solver_adapters.py
tests/test_srsd_benchmark.py
tests/test_srsd_recursive_benchmark.py
tests/test_tabular_diagnostics.py
tests/test_temporal_evaluation.py
tests/test_theory_revision.py
tests/test_universal_discovery.py
tests/test_wayfinder_skill.py