hypothesis-generation 0.5.0__py3-none-any.whl

hypothesis_generation/__init__.py

@@ -0,0 +1,1152 @@
+"""Deterministic, zero-LLM hypothesis generation and discovery.
+
+The legacy API enumerates typed scientific model families.  The text-first
+discovery API accepts a phenomenon and count, runs a portfolio of formal
+engines, and returns English hypotheses while retaining formal artifacts as
+backend bookkeeping.  Neither API calls a language model or grants scientific
+claim authority.
+"""
+
+from .engine import ENGINE_VERSION, capabilities, generate, generate_from_dict
+from .discovery import (
+    ABDUCTION_STATUSES,
+    ABDUCTION_VERSION,
+    BALANCE_ROLES,
+    BLIND_REVIEW_DIMENSIONS,
+    BLIND_PAIRWISE_EVALUATION_VERSION,
+    COMPARISON_SYSTEM_KINDS,
+    EVALUATION_SPLITS,
+    INDEPENDENT_EVALUATION_FREEZE_VERSION,
+    PAIRWISE_PREFERENCES,
+    PROSPECTIVE_EVALUATION_VERSION,
+    PROSPECTIVE_OUTCOMES,
+    CAUSAL_EQUIVALENCE_STATUSES,
+    CAUSAL_EQUIVALENCE_VERSION,
+    CAUSAL_GRAPH_VERSION,
+    CAUSAL_DISCRIMINATION_STATUSES,
+    CAUSAL_DISCRIMINATION_VERSION,
+    CAUSAL_DISCRIMINATOR_KINDS,
+    CONFLICT_KINDS,
+    COUNTEREXAMPLE_STATUSES,
+    COUNTEREXAMPLE_VERSION,
+    COUNTERFACTUAL_DESIGN_STATUSES,
+    COUNTERFACTUAL_DESIGN_VERSION,
+    COUNTERFACTUAL_REJECTION_REASONS,
+    CERTIFICATE_KINDS,
+    COMMON_GOVERNANCE_DOMAINS,
+    DATE_BASES,
+    DATE_STATUSES,
+    DISCOVERY_CYCLE_RESULT_VERSION,
+    DISCOVERY_CYCLE_STATUSES,
+    DISCOVERY_CYCLE_VERSION,
+    DISCOVERY_VERSION,
+    DISCOVERY_EXTENSION_CONFORMANCE_VERSION,
+    DISCOVERY_EXTENSION_VERSION,
+    EXTENSION_BUNDLE_VERSION,
+    EXTENSION_BUNDLE_VERIFICATION_VERSION,
+    EXTENSION_SUBPROCESS_HARNESS_VERSION,
+    PREMISE_CHECK_VERSION,
+    PREMISE_BENCHMARK_CASE_VERSION,
+    PREMISE_BENCHMARK_VERSION,
+    PREMISE_DIAGNOSTIC_STATUSES,
+    PREMISE_INVENTION_RESULT_VERSION,
+    PREMISE_INVENTION_STATUSES,
+    PREMISE_INVENTION_VERSION,
+    PREMISE_MODES,
+    PREMISE_PROGRAM_SEARCH_VERSION,
+    PREMISE_PROGRAM_TRANSFORMATION_ID,
+    PREMISE_PROGRAM_VERSION,
+    PREMISE_TRANSFORMATION_REGISTRY_VERSION,
+    PREMISE_TRANSFORMATIONS,
+    PORTFOLIO_EXACT_MAX_EVALUATIONS,
+    PORTFOLIO_FEATURE_WEIGHTS,
+    PORTFOLIO_OPTIMIZER_VERSION,
+    PORTFOLIO_QUALITY_SCALE,
+    PORTFOLIO_CALIBRATION_VERSION,
+    PORTFOLIO_PROFILE_NAMES,
+    PORTFOLIO_PROFILE_VERSION,
+    PORTFOLIO_WEIGHT_NAMES,
+    PREFERENCE_CHOICES,
+    PREFERENCE_SPLITS,
+    TRANSFORMATION_FAMILIES,
+    TEMPLATE_BASELINE_VERSION,
+    RELATION_ONLY_BASELINE_VERSION,
+    COMBINATION_BASELINE_VERSION,
+    CONCEPT_DEFINITION_OPERATORS,
+    HYPOTHESIS_HANDOFF_VERSION,
+    HYPOTHESIS_CAMPAIGN_PAGE_VERSION,
+    HYPOTHESIS_CAMPAIGN_STORE_VERSION,
+    HYPOTHESIS_CAMPAIGN_VERSION,
+    INVENTED_CONCEPT_KINDS,
+    MAXIMUM_CAMPAIGN_COUNT,
+    MAXIMUM_CAMPAIGN_PAGE_SIZE,
+    EMPTY_CORPUS_DIGEST,
+    DIMENSIONAL_ANALYSIS_STATUSES,
+    DIMENSIONAL_ANALYSIS_VERSION,
+    DOMAIN_PACK_COMPETENCY_STATUSES,
+    DOMAIN_PACK_CONFLICT_POLICIES,
+    DOMAIN_PACK_FIXTURE_KINDS,
+    DOMAIN_PACK_FIXTURE_OUTCOMES,
+    DOMAIN_PACK_RELEASE_STATUSES,
+    DOMAIN_PACK_RELEASE_VERSION,
+    DOMAIN_PACK_REVIEW_DECISIONS,
+    DOMAIN_PACK_REVIEW_ROLES,
+    DOMAIN_PACK_VERSION,
+    PACK_REVIEW_PACKET_VERSION,
+    PACK_SCAFFOLD_STATUSES,
+    PACK_SCAFFOLD_VERSION,
+    EXPERIMENT_DESIGN_STATUSES,
+    EXPERIMENT_DESIGN_VERSION,
+    EXPERIMENT_FEASIBILITY_STATUSES,
+    EXPERIMENT_GOVERNANCE_VERSION,
+    HYPOTHESIS_GENERATION_API_VERSION,
+    HYPOTHESIS_GENERATION_BENCHMARK_FIELDS,
+    HYPOTHESIS_GENERATION_BENCHMARK_PATTERNS,
+    HYPOTHESIS_GENERATION_BENCHMARK_VERSION,
+    HYPOTHESIS_GENERATION_CONSTRUCTION_STATUSES,
+    HYPOTHESIS_GENERATION_FREEZE_VERSION,
+    HYPOTHESIS_GENERATION_FROZEN_ARTIFACT_KINDS,
+    HYPOTHESIS_GENERATION_LEDGER_EVENT_TYPES,
+    HYPOTHESIS_GENERATION_LEDGER_VERSION,
+    HYPOTHESIS_GENERATION_NON_CLAIMS,
+    HYPOTHESIS_GENERATION_RESPONSE_FIELDS,
+    HYPOTHESIS_GENERATION_RESPONSE_STYLES,
+    HYPOTHESIS_GENERATION_RESULT_VERSION,
+    HYPOTHESIS_GENERATION_SEARCH_STATUSES,
+    HYPOTHESIS_GENERATION_SYSTEM_VERSION,
+    HYPOTHESIS_GENERATION_THEORY_VERSION,
+    HYPOTHESIS_GENERATION_WORLD_VERSION,
+    REPRESENTATION_INVENTION_STATUSES,
+    REPRESENTATION_INVENTION_VERSION,
+    REPRESENTATION_REJECTION_REASONS,
+    THEORY_SYNTHESIS_STATUSES,
+    THEORY_SYNTHESIS_VERSION,
+    STRUCTURAL_NOVELTY_STATUSES,
+    STRUCTURAL_NOVELTY_VERSION,
+    THEORY_ARCHIVE_VERSION,
+    THEORY_MAP_ELITES_STATUSES,
+    THEORY_MAP_ELITES_VERSION,
+    DELTA_SIGNS,
+    EFFECT_OPERATORS,
+    FEATURE_COMPARISONS,
+    FEATURE_OPERATORS,
+    THEORY_EXECUTION_STATUSES,
+    WORLD_OBSERVATION_SPLITS,
+    WORLD_REPRESENTATION_OPERATORS,
+    WORLD_VARIABLE_KINDS,
+    SCIENTIFIC_IR_VERSION,
+    BacktestResult,
+    AbductiveWorld,
+    ArchivedTheory,
+    BlindEvidence,
+    BlindReviewItem,
+    BlindReviewKeyEntry,
+    BlindReviewPacket,
+    BlindPairwiseItem,
+    BlindPairwiseJudgment,
+    BlindPairwiseKey,
+    BalanceCandidate,
+    BalanceQuantity,
+    BalanceSearchResult,
+    AbducibleClaim,
+    AbductionProblem,
+    AbductionProofStep,
+    AbductionResult,
+    AbductiveExplanation,
+    CandidateDraft,
+    CampaignItem,
+    DiagnosticCheck,
+    InventedConcept,
+    PremiseCandidate,
+    PremiseProgram,
+    PremiseProgramSearchResult,
+    PremiseProgramStep,
+    PremiseBenchmarkCase,
+    PremiseBenchmarkCaseResult,
+    PremiseBenchmarkReport,
+    PremiseBenchmarkTarget,
+    PremiseDiagnostic,
+    PremiseInventionResult,
+    PremiseModeEngine,
+    PremiseRejection,
+    PremiseTransformation,
+    PairwisePortfolioPreference,
+    PortfolioCalibrationReport,
+    PortfolioProfile,
+    PortfolioSpec,
+    RelationEdge,
+    CandidateRecord,
+    CandidatePrior,
+    ClassificationDiscoveryProblem,
+    ClassificationRow,
+    DeclaredShapeConstraint,
+    DeclaredSymbolicConstant,
+    CausalDAG,
+    CausalDiscriminationResult,
+    CausalDiscriminator,
+    CausalEdge,
+    CausalEquivalenceResult,
+    CausalGraphComparison,
+    CausalVariable,
+    CausalOutcomePartition,
+    ConflictSet,
+    ClaimRecord,
+    ConceptSpec,
+    ConstraintRecord,
+    ContextRecord,
+    CounterexampleSearchResult,
+    Countermodel,
+    CounterfactualQuery,
+    CounterfactualDesignResult,
+    CounterfactualExperiment,
+    CounterfactualRejection,
+    CycleTheoryDisposition,
+    DiscoveryRequest,
+    DiscoveryResult,
+    DiscoveryExtension,
+    DiscoveryExtensionConformanceReport,
+    DiscoveryExtensionEngine,
+    DiscoveryExtensionFixture,
+    DiscoveryExtensionManifest,
+    DiscoveryExtensionSet,
+    DiscoveryCycleResult,
+    DiscoveryCycleSeal,
+    DiscoveryExhaustedError,
+    DiscriminatingTest,
+    DerivationStep,
+    DeclarativeRule,
+    DimensionVector,
+    DimensionlessGroup,
+    DimensionalAnalysisResult,
+    DimensionalMonomial,
+    DimensionalRelationCheck,
+    DomainPack,
+    DomainPackCompetencyResult,
+    DomainPackFixture,
+    DomainPackReleaseAssessment,
+    DomainPackReleaseManifest,
+    DomainPackReviewAttestation,
+    DomainPackSet,
+    DomainPackVersionEntry,
+    MaterializedPackScaffold,
+    PackScaffold,
+    ExtensionConformanceCheck,
+    ExtensionBundleCheck,
+    ExtensionBundleFile,
+    ExtensionBundleManifest,
+    ExtensionBundleVerification,
+    ExtensionRuntimePolicy,
+    ExtensionSubprocessResult,
+    GENERATIVE_VOCABULARY_KINDS,
+    GenerativeVocabularyEntry,
+    EntityRecord,
+    ExecutableTheory,
+    EQUATION_SEARCH_STATUSES,
+    EQUATION_SEARCH_VERSION,
+    EVALUATION_CALIBRATION_STATUSES,
+    EVALUATION_CONTROL_KINDS,
+    EquationRecord,
+    EquationCandidate,
+    EquationSearchResult,
+    EvidenceRecord,
+    EvidenceBridge,
+    ExperimentDesign,
+    ExperimentDesignResult,
+    ExperimentOutcome,
+    ExperimentRejection,
+    ExperimentGovernanceAssessment,
+    ExperimentGovernancePolicy,
+    ExperimentGovernanceResult,
+    EvaluationCriterion,
+    EvaluationControlResult,
+    EvaluationMetric,
+    EvaluationRegistration,
+    EvaluationStep,
+    EquivalentDAG,
+    EXPRESSION_OPERATORS,
+    ExtremalCountermodel,
+    FiniteCounterexampleProblem,
+    FiniteExpression,
+    FinitePredicate,
+    FiniteTerm,
+    FiniteVariable,
+    FieldEvaluationResult,
+    GraphRecord,
+    GroundAtom,
+    GOVERNANCE_DECISIONS,
+    GOVERNANCE_OPERATION_KINDS,
+    GovernanceDecision,
+    GovernedExperiment,
+    FrozenHypothesisGenerationArtifact,
+    FrozenPortfolio,
+    FrozenTheoryArchive,
+    FrozenDiscoveryRun,
+    FreezeVerificationResult,
+    FrozenInputRecord,
+    FrozenRunManifest,
+    FORMAL_STATUS,
+    FIT_OPERATIONS,
+    FREEZE_MANIFEST_VERSION,
+    FREEZE_RECORD_KINDS,
+    FREEZE_VERIFICATION_STATUSES,
+    FROZEN_DISCOVERY_RUN_VERSION,
+    HypothesisArtifact,
+    HypothesisCampaign,
+    HypothesisCampaignPage,
+    HypothesisHandoff,
+    HoldoutCommitment,
+    IndependentEvaluationFreeze,
+    IndependentEvaluationReport,
+    FeatureExpression,
+    HypothesisGenerationArtifact,
+    HypothesisGenerationBenchmarkCase,
+    HypothesisGenerationBenchmarkCaseResult,
+    HypothesisGenerationBenchmarkSuiteResult,
+    HypothesisGenerationFreezeBundle,
+    HypothesisGenerationLedgerEvent,
+    HypothesisGenerationLedgerVerification,
+    HypothesisGenerationRequest,
+    HypothesisGenerationResponseSpec,
+    HypothesisGenerationResult,
+    HypothesisGenerationSearchBudget,
+    HypothesisGenerationSearchExhaustedError,
+    InvariantCandidate,
+    LEGACY_ADAPTER_VERSION,
+    LEDGER_EVENT_TYPES,
+    LEDGER_SCHEMA_VERSION,
+    LedgerEvent,
+    LedgerEventInput,
+    LedgerVerificationResult,
+    MECHANISM_FORMAL_STATUS,
+    MECHANISM_VERSION,
+    MEASUREMENT_KINDS,
+    BM25_B,
+    BM25_K1,
+    BM25_RETRIEVAL_VERSION,
+    NOVELTY_METRIC_VERSION,
+    NOVELTY_TOKENIZER_VERSION,
+    NoveltyAssessment,
+    NoveltyAssessor,
+    ObservationRecord,
+    ObservedInputDigest,
+    PORT_DIRECTIONS,
+    PriorArtDocument,
+    PriorArtIndex,
+    ProspectiveOutcome,
+    ProspectivePrediction,
+    PredictedOutcomePartition,
+    PRIOR_ART_INDEX_VERSION,
+    RelationSpec,
+    RepresentationCandidate,
+    RepresentationConflict,
+    RepresentationInventionResult,
+    RepresentationRejection,
+    RecursiveExpression,
+    RecursiveFitMetrics,
+    RecursiveSymbolicDiscoveryProblem,
+    RecursiveSymbolicHypothesis,
+    RecursiveSymbolicSearchResult,
+    PredicateRecord,
+    ResponseSpec,
+    RankedExperiment,
+    ReviewerRecord,
+    RETRIEVAL_EVALUATION_VERSION,
+    RETRIEVAL_METHODS,
+    RELATION_OVERLAP_WEIGHT,
+    RetrievalCase,
+    RetrievalCaseResult,
+    RetrievalEvaluation,
+    REVISION_OPERATORS,
+    REVISION_STATUSES,
+    REVISION_VERSION,
+    RevisionAction,
+    RevisionSearchResult,
+    RuleDerivation,
+    RuleAtom,
+    SEARCH_CANDIDATE_OUTCOMES,
+    SEARCH_TRACE_VERSION,
+    SearchCandidateEvaluation,
+    SearchTrace,
+    SQLiteArtifactLedger,
+    SQLiteHypothesisCampaignStore,
+    ScientificIR,
+    StructuralNeighbor,
+    StructuralNoveltyAssessment,
+    SynthesisFailure,
+    SynthesizedTheory,
+    ScientificBlindReviewItem,
+    ScientificEvaluationReport,
+    SCIENTIFIC_EVALUATION_FIELDS,
+    SCIENTIFIC_EVALUATION_VERSION,
+    SCIENTIFIC_COMPUTE_ADAPTER_VERSION,
+    SCIENTIFIC_COMPUTE_OPERATIONS,
+    SCIENTIFIC_COMPUTE_PHASES,
+    SCIENTIFIC_COMPUTE_STATUSES,
+    SOLVER_ADAPTER_VERSION,
+    SOLVER_FORMALISMS,
+    SOLVER_OUTCOMES,
+    SolverAdapter,
+    SolverEnvironment,
+    SolverOutcome,
+    SolverRequest,
+    SolverRunRecord,
+    TheoryEffect,
+    TheoryEvaluation,
+    TheoryExecution,
+    TheoryExecutionContext,
+    TheoryPredicate,
+    TheoryPrediction,
+    TheoryRecord,
+    TheoryCellKey,
+    TheoryElite,
+    TheoryMapElitesResult,
+    TheoryQDGeneration,
+    TheorySynthesisResult,
+    TheoryRevisionProposal,
+    TheoryRule,
+    TransitionObservation,
+    UniversalCandidate,
+    UniversalDiscoveryRequest,
+    UniversalDiscoveryResult,
+    UnitRecord,
+    WorldAction,
+    WorldEpisode,
+    WorldState,
+    WorldVariable,
+    SourceReference,
+    TRANSFORM_OPERATIONS,
+    TEMPORAL_SCOPES,
+    TEMPORAL_ADJUDICATION_LABELS,
+    TEMPORAL_EVALUATION_KINDS,
+    TEMPORAL_EVALUATION_VERSION,
+    TEMPORAL_OPERATION_KINDS,
+    TemporalAdjudication,
+    TemporalEvaluationProtocol,
+    TemporalEvaluationResult,
+    TemporalEvaluationSeal,
+    TemporalEvidenceScreening,
+    TemporalOutcome,
+    AffineRecurrence,
+    ComponentPort,
+    ComponentState,
+    ComposedMechanism,
+    ConservationLaw,
+    MechanismTrace,
+    MechanisticComponent,
+    MeasurementAssumption,
+    PortConnection,
+    ReactionTransition,
+    ResolvedConnection,
+    FitTask,
+    HoldoutEvaluationTask,
+    ScientificComputeAdapter,
+    ScientificComputeEnvironment,
+    ScientificComputeOutcome,
+    ScientificComputePhaseRecord,
+    ScientificComputeRequest,
+    ScientificComputeRunRecord,
+    TransformTask,
+    SQLiteHypothesisGenerationLedger,
+    SQLitePriorArtStore,
+    available_modes,
+    apply_declarative_rules,
+    apply_counterfactual_observation,
+    assess_domain_pack_release,
+    assess_structural_novelty,
+    bridge_claims,
+    check_dimensional_relation,
+    build_hypothesis_generation_benchmark_world,
+    build_request_ir,
+    candidate_structural_features,
+    conflict_from_rejected_candidate,
+    compute_dimensionless_groups,
+    create_blind_pairwise_item,
+    freeze_independent_evaluation,
+    compare_dag_markov_equivalence,
+    compose_mechanism,
+    countermodel_to_conflict,
+    engine_capabilities,
+    enumerate_evidence_bridges,
+    enumerate_balance_candidates,
+    enumerate_dimensional_equations,
+    enumerate_minimal_explanations,
+    enumerate_markov_equivalent_dags,
+    enumerate_causal_discriminators,
+    experiment_from_causal_discriminator,
+    evaluate_experiment_governance,
+    evaluate_recursive_hypothesis,
+    evaluate_feature,
+    evaluate_retrieval,
+    evaluate_theory,
+    adjudicate_temporal_evidence,
+    discover,
+    discover_from_dict,
+    discover_universal,
+    discover_universal_from_dict,
+    discover_recursive_symbolic_hypotheses,
+    discover_with_frozen_inputs,
+    design_discriminating_tests,
+    discovery_capabilities,
+    detect_representation_conflicts,
+    execute_theory,
+    generate_hypotheses,
+    build_hypothesis_handoff,
+    export_hypothesis_handoffs,
+    get_transformation,
+    invent_premises,
+    load_premise_benchmark_cases,
+    premise_benchmark_report_json,
+    run_premise_benchmarks,
+    premise_archive_cell,
+    premise_rejection_reasons,
+    premise_structural_distance,
+    premise_structural_features,
+    premise_to_draft,
+    transformation_registry_digest,
+    transformations_for_mode,
+    generate_executable_hypotheses,
+    generate_universal_hypotheses,
+    calibrate_portfolio_profile,
+    portfolio_profile,
+    portfolio_profile_names,
+    historical_backtest,
+    freeze_hypothesis_generation_result,
+    freeze_theory_archive,
+    invent_exact_invariants,
+    invent_representations,
+    illuminate_theories,
+    hypothesis_generation_capabilities,
+    hypothesis_generation_discover,
+    hypothesis_generation_discover_from_dict,
+    legacy_request_to_ir,
+    load_hypothesis_generation_benchmark_cases,
+    load_domain_pack,
+    load_domain_pack_release,
+    load_released_domain_pack,
+    materialize_pack_scaffold,
+    starter_pack_scaffold,
+    starter_pack_scaffolds,
+    validate_pack_scaffold,
+    materialize_revision,
+    monomial_dimension,
+    normalize_text,
+    observation_context,
+    retrieval_configuration,
+    retrieval_configuration_digest,
+    propose_theory_revisions,
+    register_engine,
+    validate_discovery_extension,
+    build_extension_bundle_manifest,
+    run_extension_subprocess,
+    verify_extension_bundle,
+    synthesize_premise_programs,
+    start_hypothesis_campaign,
+    request_entity_id,
+    require_dimensionally_compatible,
+    search_finite_counterexamples,
+    run_solver_adapter,
+    run_scientific_compute_adapter,
+    run_search_with_trace,
+    run_hypothesis_generation_benchmarks,
+    rank_partitioned_experiments,
+    screen_temporal_evidence,
+    seal_temporal_evaluation,
+    seal_discovery_cycle,
+    select_counterfactual_experiments,
+    simulate_mechanism,
+    synthesize_theories,
+    theory_behavior_digest,
+    theory_representation_digest,
+    theory_structure_digest,
+    verify_frozen_inputs,
+    validate_executable_theory,
+    validate_frozen_discovery_bindings,
+)
+from .models import (
+    ConstraintSpec,
+    GenerationRequest,
+    GenerationResult,
+    Hypothesis,
+    ModelSpec,
+    NUMERIC_EVALUATOR_FAMILIES,
+    ParameterSpec,
+    RangeSpec,
+    RequestError,
+    VariableSpec,
+    canonical_json,
+)
+from .version import PACKAGE_VERSION
+
+__version__ = PACKAGE_VERSION
+
+__all__ = [
+    "DISCOVERY_EXTENSION_CONFORMANCE_VERSION",
+    "DISCOVERY_EXTENSION_VERSION",
+    "EXTENSION_BUNDLE_VERSION",
+    "EXTENSION_BUNDLE_VERIFICATION_VERSION",
+    "EXTENSION_SUBPROCESS_HARNESS_VERSION",
+    "PORTFOLIO_EXACT_MAX_EVALUATIONS",
+    "PORTFOLIO_FEATURE_WEIGHTS",
+    "PORTFOLIO_OPTIMIZER_VERSION",
+    "PORTFOLIO_QUALITY_SCALE",
+    "PORTFOLIO_CALIBRATION_VERSION",
+    "PORTFOLIO_PROFILE_NAMES",
+    "PORTFOLIO_PROFILE_VERSION",
+    "PORTFOLIO_WEIGHT_NAMES",
+    "PREFERENCE_CHOICES",
+    "PREFERENCE_SPLITS",
+    "ABDUCTION_STATUSES",
+    "ABDUCTION_VERSION",
+    "BALANCE_ROLES",
+    "BLIND_REVIEW_DIMENSIONS",
+    "BLIND_PAIRWISE_EVALUATION_VERSION",
+    "COMPARISON_SYSTEM_KINDS",
+    "EVALUATION_SPLITS",
+    "INDEPENDENT_EVALUATION_FREEZE_VERSION",
+    "PAIRWISE_PREFERENCES",
+    "PROSPECTIVE_EVALUATION_VERSION",
+    "PROSPECTIVE_OUTCOMES",
+    "CAUSAL_EQUIVALENCE_STATUSES",
+    "CAUSAL_EQUIVALENCE_VERSION",
+    "CAUSAL_GRAPH_VERSION",
+    "CAUSAL_DISCRIMINATION_STATUSES",
+    "CAUSAL_DISCRIMINATION_VERSION",
+    "CAUSAL_DISCRIMINATOR_KINDS",
+    "CONFLICT_KINDS",
+    "COUNTEREXAMPLE_STATUSES",
+    "COUNTEREXAMPLE_VERSION",
+    "CERTIFICATE_KINDS",
+    "COMMON_GOVERNANCE_DOMAINS",
+    "DATE_BASES",
+    "DATE_STATUSES",
+    "ENGINE_VERSION",
+    "DISCOVERY_VERSION",
+    "PREMISE_CHECK_VERSION",
+    "PREMISE_BENCHMARK_CASE_VERSION",
+    "PREMISE_BENCHMARK_VERSION",
+    "PREMISE_DIAGNOSTIC_STATUSES",
+    "PREMISE_INVENTION_RESULT_VERSION",
+    "PREMISE_INVENTION_STATUSES",
+    "PREMISE_INVENTION_VERSION",
+    "PREMISE_MODES",
+    "PREMISE_PROGRAM_SEARCH_VERSION",
+    "PREMISE_PROGRAM_TRANSFORMATION_ID",
+    "PREMISE_PROGRAM_VERSION",
+    "PREMISE_TRANSFORMATION_REGISTRY_VERSION",
+    "PREMISE_TRANSFORMATIONS",
+    "TRANSFORMATION_FAMILIES",
+    "TEMPLATE_BASELINE_VERSION",
+    "RELATION_ONLY_BASELINE_VERSION",
+    "COMBINATION_BASELINE_VERSION",
+    "CONCEPT_DEFINITION_OPERATORS",
+    "HYPOTHESIS_HANDOFF_VERSION",
+    "HYPOTHESIS_CAMPAIGN_PAGE_VERSION",
+    "HYPOTHESIS_CAMPAIGN_STORE_VERSION",
+    "HYPOTHESIS_CAMPAIGN_VERSION",
+    "INVENTED_CONCEPT_KINDS",
+    "MAXIMUM_CAMPAIGN_COUNT",
+    "MAXIMUM_CAMPAIGN_PAGE_SIZE",
+    "EMPTY_CORPUS_DIGEST",
+    "DIMENSIONAL_ANALYSIS_STATUSES",
+    "DIMENSIONAL_ANALYSIS_VERSION",
+    "DOMAIN_PACK_COMPETENCY_STATUSES",
+    "DOMAIN_PACK_CONFLICT_POLICIES",
+    "DOMAIN_PACK_FIXTURE_KINDS",
+    "DOMAIN_PACK_FIXTURE_OUTCOMES",
+    "DOMAIN_PACK_RELEASE_STATUSES",
+    "DOMAIN_PACK_RELEASE_VERSION",
+    "DOMAIN_PACK_REVIEW_DECISIONS",
+    "DOMAIN_PACK_REVIEW_ROLES",
+    "DOMAIN_PACK_VERSION",
+    "PACK_REVIEW_PACKET_VERSION",
+    "PACK_SCAFFOLD_STATUSES",
+    "PACK_SCAFFOLD_VERSION",
+    "EXPERIMENT_DESIGN_STATUSES",
+    "EXPERIMENT_DESIGN_VERSION",
+    "EXPERIMENT_FEASIBILITY_STATUSES",
+    "EXPERIMENT_GOVERNANCE_VERSION",
+    "SCIENTIFIC_IR_VERSION",
+    "PACKAGE_VERSION",
+    "__version__",
+    "BacktestResult",
+    "BlindEvidence",
+    "BlindReviewItem",
+    "BlindReviewKeyEntry",
+    "BlindReviewPacket",
+    "BlindPairwiseItem",
+    "BlindPairwiseJudgment",
+    "BlindPairwiseKey",
+    "BalanceCandidate",
+    "BalanceQuantity",
+    "BalanceSearchResult",
+    "AbducibleClaim",
+    "AbductionProblem",
+    "AbductionProofStep",
+    "AbductionResult",
+    "AbductiveExplanation",
+    "CandidateDraft",
+    "CampaignItem",
+    "DiagnosticCheck",
+    "InventedConcept",
+    "PremiseCandidate",
+    "PremiseProgram",
+    "PremiseProgramSearchResult",
+    "PremiseProgramStep",
+    "PremiseBenchmarkCase",
+    "PremiseBenchmarkCaseResult",
+    "PremiseBenchmarkReport",
+    "PremiseBenchmarkTarget",
+    "PremiseDiagnostic",
+    "PremiseInventionResult",
+    "PremiseModeEngine",
+    "PremiseRejection",
+    "PremiseTransformation",
+    "PairwisePortfolioPreference",
+    "PortfolioCalibrationReport",
+    "PortfolioProfile",
+    "PortfolioSpec",
+    "RelationEdge",
+    "CandidateRecord",
+    "CandidatePrior",
+    "ClassificationDiscoveryProblem",
+    "ClassificationRow",
+    "DeclaredShapeConstraint",
+    "DeclaredSymbolicConstant",
+    "CausalDAG",
+    "CausalDiscriminationResult",
+    "CausalDiscriminator",
+    "CausalEdge",
+    "CausalEquivalenceResult",
+    "CausalGraphComparison",
+    "CausalVariable",
+    "CausalOutcomePartition",
+    "ConflictSet",
+    "ClaimRecord",
+    "ConceptSpec",
+    "ConstraintRecord",
+    "ContextRecord",
+    "CounterexampleSearchResult",
+    "Countermodel",
+    "ConstraintSpec",
+    "GenerationRequest",
+    "GenerationResult",
+    "DiscoveryRequest",
+    "DiscoveryResult",
+    "DiscoveryExtension",
+    "DiscoveryExtensionConformanceReport",
+    "DiscoveryExtensionEngine",
+    "DiscoveryExtensionFixture",
+    "DiscoveryExtensionManifest",
+    "DiscoveryExtensionSet",
+    "DiscoveryExhaustedError",
+    "DiscriminatingTest",
+    "DerivationStep",
+    "DeclarativeRule",
+    "DimensionVector",
+    "DimensionlessGroup",
+    "DimensionalAnalysisResult",
+    "DimensionalMonomial",
+    "DimensionalRelationCheck",
+    "DomainPack",
+    "DomainPackCompetencyResult",
+    "DomainPackFixture",
+    "DomainPackReleaseAssessment",
+    "DomainPackReleaseManifest",
+    "DomainPackReviewAttestation",
+    "DomainPackSet",
+    "DomainPackVersionEntry",
+    "MaterializedPackScaffold",
+    "PackScaffold",
+    "ExtensionConformanceCheck",
+    "ExtensionBundleCheck",
+    "ExtensionBundleFile",
+    "ExtensionBundleManifest",
+    "ExtensionBundleVerification",
+    "ExtensionRuntimePolicy",
+    "ExtensionSubprocessResult",
+    "GENERATIVE_VOCABULARY_KINDS",
+    "GenerativeVocabularyEntry",
+    "EntityRecord",
+    "EQUATION_SEARCH_STATUSES",
+    "EQUATION_SEARCH_VERSION",
+    "EVALUATION_CALIBRATION_STATUSES",
+    "EVALUATION_CONTROL_KINDS",
+    "EquationRecord",
+    "EquationCandidate",
+    "EquationSearchResult",
+    "EvidenceRecord",
+    "EvidenceBridge",
+    "ExperimentDesign",
+    "ExperimentDesignResult",
+    "ExperimentOutcome",
+    "ExperimentRejection",
+    "ExperimentGovernanceAssessment",
+    "ExperimentGovernancePolicy",
+    "ExperimentGovernanceResult",
+    "EvaluationCriterion",
+    "EvaluationControlResult",
+    "EvaluationMetric",
+    "EvaluationRegistration",
+    "EvaluationStep",
+    "EquivalentDAG",
+    "EXPRESSION_OPERATORS",
+    "ExtremalCountermodel",
+    "FiniteCounterexampleProblem",
+    "FiniteExpression",
+    "FinitePredicate",
+    "FiniteTerm",
+    "FiniteVariable",
+    "FieldEvaluationResult",
+    "GraphRecord",
+    "GroundAtom",
+    "GOVERNANCE_DECISIONS",
+    "GOVERNANCE_OPERATION_KINDS",
+    "GovernanceDecision",
+    "GovernedExperiment",
+    "FrozenPortfolio",
+    "FrozenDiscoveryRun",
+    "FreezeVerificationResult",
+    "FrozenInputRecord",
+    "FrozenRunManifest",
+    "FORMAL_STATUS",
+    "FIT_OPERATIONS",
+    "FREEZE_MANIFEST_VERSION",
+    "FREEZE_RECORD_KINDS",
+    "FREEZE_VERIFICATION_STATUSES",
+    "FROZEN_DISCOVERY_RUN_VERSION",
+    "Hypothesis",
+    "HypothesisArtifact",
+    "HypothesisCampaign",
+    "HypothesisCampaignPage",
+    "HypothesisHandoff",
+    "HoldoutCommitment",
+    "IndependentEvaluationFreeze",
+    "IndependentEvaluationReport",
+    "LEGACY_ADAPTER_VERSION",
+    "LEDGER_EVENT_TYPES",
+    "LEDGER_SCHEMA_VERSION",
+    "LedgerEvent",
+    "LedgerEventInput",
+    "LedgerVerificationResult",
+    "MECHANISM_FORMAL_STATUS",
+    "MECHANISM_VERSION",
+    "MEASUREMENT_KINDS",
+    "BM25_B",
+    "BM25_K1",
+    "BM25_RETRIEVAL_VERSION",
+    "NOVELTY_METRIC_VERSION",
+    "NOVELTY_TOKENIZER_VERSION",
+    "ModelSpec",
+    "NUMERIC_EVALUATOR_FAMILIES",
+    "ParameterSpec",
+    "NoveltyAssessment",
+    "NoveltyAssessor",
+    "ObservationRecord",
+    "ObservedInputDigest",
+    "PORT_DIRECTIONS",
+    "PriorArtDocument",
+    "PriorArtIndex",
+    "ProspectiveOutcome",
+    "ProspectivePrediction",
+    "PRIOR_ART_INDEX_VERSION",
+    "RangeSpec",
+    "RequestError",
+    "RelationSpec",
+    "PredicateRecord",
+    "ResponseSpec",
+    "RankedExperiment",
+    "ReviewerRecord",
+    "RETRIEVAL_EVALUATION_VERSION",
+    "RETRIEVAL_METHODS",
+    "RELATION_OVERLAP_WEIGHT",
+    "RetrievalCase",
+    "RetrievalCaseResult",
+    "RetrievalEvaluation",
+    "REVISION_OPERATORS",
+    "REVISION_STATUSES",
+    "REVISION_VERSION",
+    "RevisionAction",
+    "RevisionSearchResult",
+    "RecursiveExpression",
+    "RecursiveFitMetrics",
+    "RecursiveSymbolicDiscoveryProblem",
+    "RecursiveSymbolicHypothesis",
+    "RecursiveSymbolicSearchResult",
+    "RuleDerivation",
+    "RuleAtom",
+    "SEARCH_CANDIDATE_OUTCOMES",
+    "SEARCH_TRACE_VERSION",
+    "SearchCandidateEvaluation",
+    "SearchTrace",
+    "SQLitePriorArtStore",
+    "SQLiteArtifactLedger",
+    "SQLiteHypothesisCampaignStore",
+    "ScientificIR",
+    "ScientificBlindReviewItem",
+    "ScientificEvaluationReport",
+    "SCIENTIFIC_EVALUATION_FIELDS",
+    "SCIENTIFIC_EVALUATION_VERSION",
+    "SCIENTIFIC_COMPUTE_ADAPTER_VERSION",
+    "SCIENTIFIC_COMPUTE_OPERATIONS",
+    "SCIENTIFIC_COMPUTE_PHASES",
+    "SCIENTIFIC_COMPUTE_STATUSES",
+    "SOLVER_ADAPTER_VERSION",
+    "SOLVER_FORMALISMS",
+    "SOLVER_OUTCOMES",
+    "SolverAdapter",
+    "SolverEnvironment",
+    "SolverOutcome",
+    "SolverRequest",
+    "SolverRunRecord",
+    "TheoryRecord",
+    "TheoryRevisionProposal",
+    "UnitRecord",
+    "SourceReference",
+    "TRANSFORM_OPERATIONS",
+    "TEMPORAL_SCOPES",
+    "TEMPORAL_ADJUDICATION_LABELS",
+    "TEMPORAL_EVALUATION_KINDS",
+    "TEMPORAL_EVALUATION_VERSION",
+    "TEMPORAL_OPERATION_KINDS",
+    "TemporalAdjudication",
+    "TemporalEvaluationProtocol",
+    "TemporalEvaluationResult",
+    "TemporalEvaluationSeal",
+    "TemporalEvidenceScreening",
+    "TemporalOutcome",
+    "AffineRecurrence",
+    "ComponentPort",
+    "ComponentState",
+    "ComposedMechanism",
+    "ConservationLaw",
+    "MechanismTrace",
+    "MechanisticComponent",
+    "MeasurementAssumption",
+    "PortConnection",
+    "ReactionTransition",
+    "ResolvedConnection",
+    "FitTask",
+    "HoldoutEvaluationTask",
+    "ScientificComputeAdapter",
+    "ScientificComputeEnvironment",
+    "ScientificComputeOutcome",
+    "ScientificComputePhaseRecord",
+    "ScientificComputeRequest",
+    "ScientificComputeRunRecord",
+    "TransformTask",
+    "VariableSpec",
+    "canonical_json",
+    "capabilities",
+    "available_modes",
+    "apply_declarative_rules",
+    "assess_domain_pack_release",
+    "bridge_claims",
+    "check_dimensional_relation",
+    "build_request_ir",
+    "candidate_structural_features",
+    "conflict_from_rejected_candidate",
+    "compute_dimensionless_groups",
+    "create_blind_pairwise_item",
+    "freeze_independent_evaluation",
+    "compare_dag_markov_equivalence",
+    "compose_mechanism",
+    "countermodel_to_conflict",
+    "engine_capabilities",
+    "enumerate_evidence_bridges",
+    "enumerate_balance_candidates",
+    "enumerate_dimensional_equations",
+    "enumerate_minimal_explanations",
+    "enumerate_markov_equivalent_dags",
+    "enumerate_causal_discriminators",
+    "experiment_from_causal_discriminator",
+    "evaluate_experiment_governance",
+    "evaluate_recursive_hypothesis",
+    "evaluate_retrieval",
+    "adjudicate_temporal_evidence",
+    "discover",
+    "discover_from_dict",
+    "discover_universal",
+    "discover_universal_from_dict",
+    "discover_recursive_symbolic_hypotheses",
+    "discover_with_frozen_inputs",
+    "design_discriminating_tests",
+    "discovery_capabilities",
+    "generate",
+    "generate_from_dict",
+    "generate_hypotheses",
+    "build_hypothesis_handoff",
+    "export_hypothesis_handoffs",
+    "get_transformation",
+    "invent_premises",
+    "load_premise_benchmark_cases",
+    "premise_benchmark_report_json",
+    "run_premise_benchmarks",
+    "premise_archive_cell",
+    "premise_rejection_reasons",
+    "premise_structural_distance",
+    "premise_structural_features",
+    "premise_to_draft",
+    "transformation_registry_digest",
+    "transformations_for_mode",
+    "generate_universal_hypotheses",
+    "calibrate_portfolio_profile",
+    "portfolio_profile",
+    "portfolio_profile_names",
+    "historical_backtest",
+    "load_domain_pack",
+    "load_domain_pack_release",
+    "load_released_domain_pack",
+    "materialize_pack_scaffold",
+    "starter_pack_scaffold",
+    "starter_pack_scaffolds",
+    "validate_pack_scaffold",
+    "materialize_revision",
+    "monomial_dimension",
+    "normalize_text",
+    "retrieval_configuration",
+    "retrieval_configuration_digest",
+    "propose_theory_revisions",
+    "legacy_request_to_ir",
+    "register_engine",
+    "validate_discovery_extension",
+    "build_extension_bundle_manifest",
+    "run_extension_subprocess",
+    "verify_extension_bundle",
+    "request_entity_id",
+    "require_dimensionally_compatible",
+    "search_finite_counterexamples",
+    "run_solver_adapter",
+    "run_scientific_compute_adapter",
+    "run_search_with_trace",
+    "rank_partitioned_experiments",
+    "screen_temporal_evidence",
+    "seal_temporal_evaluation",
+    "simulate_mechanism",
+    "verify_frozen_inputs",
+    "validate_frozen_discovery_bindings",
+    "HYPOTHESIS_GENERATION_CONSTRUCTION_STATUSES",
+    "HYPOTHESIS_GENERATION_NON_CLAIMS",
+    "HYPOTHESIS_GENERATION_RESULT_VERSION",
+    "HYPOTHESIS_GENERATION_SEARCH_STATUSES",
+    "HYPOTHESIS_GENERATION_SYSTEM_VERSION",
+    "HYPOTHESIS_GENERATION_THEORY_VERSION",
+    "HYPOTHESIS_GENERATION_WORLD_VERSION",
+    "hypothesis_generation_capabilities",
+    "WORLD_OBSERVATION_SPLITS",
+    "WORLD_REPRESENTATION_OPERATORS",
+    "WORLD_VARIABLE_KINDS",
+    "AbductiveWorld",
+    "CounterfactualQuery",
+    "HypothesisGenerationSearchBudget",
+    "TransitionObservation",
+    "UniversalCandidate",
+    "UniversalDiscoveryRequest",
+    "UniversalDiscoveryResult",
+    "WorldAction",
+    "WorldEpisode",
+    "WorldState",
+    "WorldVariable",
+    "DELTA_SIGNS",
+    "EFFECT_OPERATORS",
+    "FEATURE_COMPARISONS",
+    "FEATURE_OPERATORS",
+    "THEORY_EXECUTION_STATUSES",
+    "ExecutableTheory",
+    "FeatureExpression",
+    "TheoryEffect",
+    "TheoryEvaluation",
+    "TheoryExecution",
+    "TheoryExecutionContext",
+    "TheoryPredicate",
+    "TheoryPrediction",
+    "TheoryRule",
+    "evaluate_feature",
+    "evaluate_theory",
+    "execute_theory",
+    "observation_context",
+    "validate_executable_theory",
+    "REPRESENTATION_INVENTION_STATUSES",
+    "REPRESENTATION_INVENTION_VERSION",
+    "REPRESENTATION_REJECTION_REASONS",
+    "InvariantCandidate",
+    "RepresentationCandidate",
+    "RepresentationConflict",
+    "RepresentationInventionResult",
+    "RepresentationRejection",
+    "detect_representation_conflicts",
+    "invent_exact_invariants",
+    "invent_representations",
+    "THEORY_SYNTHESIS_STATUSES",
+    "THEORY_SYNTHESIS_VERSION",
+    "SynthesisFailure",
+    "SynthesizedTheory",
+    "TheorySynthesisResult",
+    "synthesize_theories",
+    "synthesize_premise_programs",
+    "start_hypothesis_campaign",
+    "STRUCTURAL_NOVELTY_STATUSES",
+    "STRUCTURAL_NOVELTY_VERSION",
+    "THEORY_ARCHIVE_VERSION",
+    "ArchivedTheory",
+    "FrozenTheoryArchive",
+    "StructuralNeighbor",
+    "StructuralNoveltyAssessment",
+    "assess_structural_novelty",
+    "freeze_theory_archive",
+    "theory_behavior_digest",
+    "theory_representation_digest",
+    "theory_structure_digest",
+    "THEORY_MAP_ELITES_STATUSES",
+    "THEORY_MAP_ELITES_VERSION",
+    "TheoryCellKey",
+    "TheoryElite",
+    "TheoryMapElitesResult",
+    "TheoryQDGeneration",
+    "illuminate_theories",
+    "COUNTERFACTUAL_DESIGN_STATUSES",
+    "COUNTERFACTUAL_DESIGN_VERSION",
+    "COUNTERFACTUAL_REJECTION_REASONS",
+    "CounterfactualDesignResult",
+    "CounterfactualExperiment",
+    "CounterfactualRejection",
+    "PredictedOutcomePartition",
+    "select_counterfactual_experiments",
+    "DISCOVERY_CYCLE_RESULT_VERSION",
+    "DISCOVERY_CYCLE_STATUSES",
+    "DISCOVERY_CYCLE_VERSION",
+    "CycleTheoryDisposition",
+    "DiscoveryCycleResult",
+    "DiscoveryCycleSeal",
+    "apply_counterfactual_observation",
+    "seal_discovery_cycle",
+    "HYPOTHESIS_GENERATION_API_VERSION",
+    "HYPOTHESIS_GENERATION_RESPONSE_FIELDS",
+    "HYPOTHESIS_GENERATION_RESPONSE_STYLES",
+    "HypothesisGenerationArtifact",
+    "HypothesisGenerationRequest",
+    "HypothesisGenerationResponseSpec",
+    "HypothesisGenerationResult",
+    "HypothesisGenerationSearchExhaustedError",
+    "generate_executable_hypotheses",
+    "hypothesis_generation_discover",
+    "hypothesis_generation_discover_from_dict",
+    "HYPOTHESIS_GENERATION_FREEZE_VERSION",
+    "HYPOTHESIS_GENERATION_FROZEN_ARTIFACT_KINDS",
+    "FrozenHypothesisGenerationArtifact",
+    "HypothesisGenerationFreezeBundle",
+    "freeze_hypothesis_generation_result",
+    "HYPOTHESIS_GENERATION_LEDGER_EVENT_TYPES",
+    "HYPOTHESIS_GENERATION_LEDGER_VERSION",
+    "HypothesisGenerationLedgerEvent",
+    "HypothesisGenerationLedgerVerification",
+    "SQLiteHypothesisGenerationLedger",
+    "HYPOTHESIS_GENERATION_BENCHMARK_FIELDS",
+    "HYPOTHESIS_GENERATION_BENCHMARK_PATTERNS",
+    "HYPOTHESIS_GENERATION_BENCHMARK_VERSION",
+    "HypothesisGenerationBenchmarkCase",
+    "HypothesisGenerationBenchmarkCaseResult",
+    "HypothesisGenerationBenchmarkSuiteResult",
+    "build_hypothesis_generation_benchmark_world",
+    "load_hypothesis_generation_benchmark_cases",
+    "run_hypothesis_generation_benchmarks",
+]