Ncdgen

---

• Aux Discriminators
  • discriminator_from_name()
  • He Point Deps
    • AuxFromHEPointsDeps
      • AuxFromHEPointsDeps.goals_with_aux_setup_split()
  • Newclid Traceback
    • AuxFromNewclidTraceback
      • AuxFromNewclidTraceback.goals_with_aux_setup_split()
• Constructions
  • ConstructionDefinition
    • ConstructionDefinition.in_args
    • ConstructionDefinition.out_args
    • ConstructionDefinition.n_required_points
    • ConstructionDefinition.model_config
  • load_constructions()

---

• Build Diagram
  • SubproblemSummaryStats
    • SubproblemSummaryStats.skipped_not_enough_rules_applications_subproblems
    • SubproblemSummaryStats.unhandled_failure_to_build_subproblem_count
    • SubproblemSummaryStats.skipped_blacklisted_aux_setup_pairs
    • SubproblemSummaryStats.model_config
  • FailedClauseAttempt
    • FailedClauseAttempt.problem
    • FailedClauseAttempt.clause
    • FailedClauseAttempt.attempt_time
    • FailedClauseAttempt.model_config
  • DiagramGenerationMetadata
    • DiagramGenerationMetadata.run_uuid
    • DiagramGenerationMetadata.diagram_uuid
    • DiagramGenerationMetadata.is_predefined_diagram
    • DiagramGenerationMetadata.config
    • DiagramGenerationMetadata.diagram_construction_time_sec
    • DiagramGenerationMetadata.diagram_succeeded
    • DiagramGenerationMetadata.saturation_succeeded
    • DiagramGenerationMetadata.saturation_time_sec
    • DiagramGenerationMetadata.agent_saturation_stats
    • DiagramGenerationMetadata.failed_clause_attempts
    • DiagramGenerationMetadata.created_at
    • DiagramGenerationMetadata.subproblem_summary_stats
    • DiagramGenerationMetadata.model_config
  • Diagram
    • Diagram.solver
    • Diagram.problem
    • Diagram.dependencies
    • Diagram.setup_graph
    • Diagram.solver
    • Diagram.jgex_problem
    • Diagram.nc_problem
    • Diagram.setup_graph
    • Diagram.jgex_clauses_consequences
  • build_diagram()
  • setupgraph()
• Double Checking
  • SingleDoubleCheckStatistics
    • SingleDoubleCheckStatistics.setup_clauses
    • SingleDoubleCheckStatistics.aux_clauses_used
    • SingleDoubleCheckStatistics.aux_clauses_unused
    • SingleDoubleCheckStatistics.alpha_mapping
    • SingleDoubleCheckStatistics.run_infos
    • SingleDoubleCheckStatistics.double_check_setup
    • SingleDoubleCheckStatistics.double_check_proof
    • SingleDoubleCheckStatistics.model_config
  • DoubleCheckStatistics
    • DoubleCheckStatistics.single_double_check_stats
    • DoubleCheckStatistics.model_config
    • DoubleCheckStatistics.true_aux_clauses
    • DoubleCheckStatistics.false_positive_aux_clauses
    • DoubleCheckStatistics.final_proof
    • DoubleCheckStatistics.training_data
  • do_double_check()
  • points_requirements_graph_from_jgex_clauses()
• Extract Datapoint
  • SubProblemDatapoint
    • SubProblemDatapoint.double_check_statistics
    • SubProblemDatapoint.subproblem_str
    • SubProblemDatapoint.alphabetized_subproblem_str
    • SubProblemDatapoint.sub_problem_proof
    • SubProblemDatapoint.level_predicate_count
    • SubProblemDatapoint.solution_natural_language
    • SubProblemDatapoint.model_config
    • SubProblemDatapoint.larger_problem
    • SubProblemDatapoint.larger_nc_problem
    • SubProblemDatapoint.has_double_checked_aux_construction
  • generate_subproblems_datapoints()
• Extract Subproblems
  • extract_subproblems_and_their_dependencies()
• Generation Configuration
  • IntersectCases
    • IntersectCases.INTERSECT
    • IntersectCases.OTHER
  • DiagramGenerationConfig
    • DiagramGenerationConfig.min_pts
    • DiagramGenerationConfig.max_pts
    • DiagramGenerationConfig.initial_jgex_problem
    • DiagramGenerationConfig.output_gcs_file
    • DiagramGenerationConfig.emit_only_double_checked_aux_subproblems
    • DiagramGenerationConfig.aux_discriminator
    • DiagramGenerationConfig.debug
    • DiagramGenerationConfig.debug_problem
    • DiagramGenerationConfig.double_check_probability
    • DiagramGenerationConfig.skip_aux_setup_pairs_previous_false_positive
    • DiagramGenerationConfig.min_rules_applied
    • DiagramGenerationConfig.random_seed
    • DiagramGenerationConfig.attempts_per_diagram_build
    • DiagramGenerationConfig.max_check_per_predicate
    • DiagramGenerationConfig.construction_counter_reporting_rate
    • DiagramGenerationConfig.attempts_per_clause
    • DiagramGenerationConfig.aux_tag
    • DiagramGenerationConfig.pmf_additional_free_points_sweep
    • DiagramGenerationConfig.model_config
    • DiagramGenerationConfig.pmf_intersect_vs_other_sweep
    • DiagramGenerationConfig.pmf_num_intersecting_to_sample_sweep
    • DiagramGenerationConfig.run_uuid
    • DiagramGenerationConfig.timeout
    • DiagramGenerationConfig.n_workers
    • DiagramGenerationConfig.jsonl_dump_file
    • DiagramGenerationConfig.log_level
    • DiagramGenerationConfig.validate_pmf_sweep()
    • DiagramGenerationConfig.validate_output_gcs_file()
    • DiagramGenerationConfig.validate_min_max_pts()
  • SweepSelection
    • SweepSelection.model_config
    • SweepSelection.additional_free_points_sweep_selection
    • SweepSelection.intersect_vs_other_sweep_selection
    • SweepSelection.num_intersecting_to_sample_sweep_selection
  • sample_sweep_parameters()
• Generation Loop
  • Datapoint
    • Datapoint.subproblem
    • Datapoint.generation_metadata
    • Datapoint.model_config
  • run_data_generation_loop()
• Hydra Config
  • hydra_to_pydantic_generation_config()
• Read Datapoints
  • read_datapoints_from_file()
• Sampling
  • sample_from_pmf()
  • sample_order_from_pmf()
  • combinations_in_random_order()
• Solver
  • SolverInterface
    • SolverInterface.solve_problem()
  • SolverError
  • NewclidSolver
    • NewclidSolver.solve_problem()
• Testing
  • StubJGEXSolver
    • StubJGEXSolver.with_outputs_for_problem_clauses()
    • StubJGEXSolver.solve_problem()