Index _ | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | Z _ __init__() (curate_ipsum.graph.asr_extractor.ASRExtractor method) (curate_ipsum.graph.ASRExtractor method) (curate_ipsum.graph.CallGraphExtractor method) (curate_ipsum.graph.dependency_extractor.DependencyExtractor method) (curate_ipsum.graph.DependencyExtractor method) (curate_ipsum.graph.extractor.CallGraphExtractor method) (curate_ipsum.theory.manager.TheoryManager method) (curate_ipsum.theory.rollback.RollbackManager method) A actual_output (curate_ipsum.synthesis.Counterexample attribute) (curate_ipsum.synthesis.models.Counterexample attribute) add() (curate_ipsum.rag.vector_store.ChromaVectorStore method) (curate_ipsum.rag.vector_store.VectorStore method) add_assertion() (curate_ipsum.theory.manager.TheoryManager method) add_edge() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) add_event() (curate_ipsum.theory.provenance.ProvenanceDAG method) add_individual() (curate_ipsum.synthesis.population.Population method) add_individuals() (curate_ipsum.synthesis.population.Population method) add_node() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) added (curate_ipsum.storage.incremental.ChangeSet attribute) added_nodes (curate_ipsum.storage.incremental.UpdateResult attribute) aggregate_cosmic_ray_stats() (in module curate_ipsum.parsers.cosmic_ray_parser) aggregate_mutmut_stats() (in module curate_ipsum.parsers.mutmut_parser) all_node_ids (curate_ipsum.graph.kameda.KamedaIndex attribute) (curate_ipsum.graph.KamedaIndex attribute) all_reachable_from() (curate_ipsum.graph.kameda.KamedaIndex method) (curate_ipsum.graph.KamedaIndex method) analyze() (curate_ipsum.theory.failure_analyzer.FailureModeAnalyzer class method) analyze_failure() (curate_ipsum.theory.manager.TheoryManager method) AngrDockerBackend (class in curate_ipsum.verification.backends.angr_docker) append() (curate_ipsum.storage.synthesis_store.SynthesisStore method) append_run() (in module curate_ipsum.tools) arity (curate_ipsum.graph.FunctionSignature property) (curate_ipsum.graph.models.FunctionSignature property) ASRExtractor (class in curate_ipsum.graph) (class in curate_ipsum.graph.asr_extractor) Assertion (class in curate_ipsum.theory.assertions) assertion_id (curate_ipsum.theory.provenance.RevisionEvent attribute) assertion_ids (curate_ipsum.synthesis.models.Specification attribute) (curate_ipsum.synthesis.Specification attribute) assertion_to_node_dict() (in module curate_ipsum.theory.assertions) AssertionKind (class in curate_ipsum.theory.assertions) ASTCrossover (class in curate_ipsum.synthesis.ast_operators) ASTExtractor (class in curate_ipsum.graph) (class in curate_ipsum.graph.ast_extractor) ASTMutator (class in curate_ipsum.synthesis.ast_operators) average_fitness (curate_ipsum.synthesis.population.Population property) avoid_kind (curate_ipsum.verification.types.VerificationRequest attribute) (curate_ipsum.verification.VerificationRequest attribute) avoid_value (curate_ipsum.verification.types.VerificationRequest attribute) (curate_ipsum.verification.VerificationRequest attribute) B backend_name (curate_ipsum.graph.asr_extractor.ASRExtractor property) (curate_ipsum.graph.ASRExtractor property) (curate_ipsum.graph.ast_extractor.ASTExtractor property) (curate_ipsum.graph.ASTExtractor property) (curate_ipsum.graph.CallGraphExtractor property) (curate_ipsum.graph.extractor.CallGraphExtractor property) backend_results (curate_ipsum.verification.orchestrator.OrchestratorResult attribute) backend_version (curate_ipsum.graph.asr_extractor.ASRExtractor property) (curate_ipsum.graph.ASRExtractor property) (curate_ipsum.graph.ast_extractor.ASTExtractor property) (curate_ipsum.graph.ASTExtractor property) (curate_ipsum.graph.CallGraphExtractor property) (curate_ipsum.graph.extractor.CallGraphExtractor property) BAD_SURVIVED (curate_ipsum.parsers.mutmut_parser.MutmutStatus attribute) BAD_TIMEOUT (curate_ipsum.parsers.mutmut_parser.MutmutStatus attribute) BEHAVIOR (curate_ipsum.theory.assertions.AssertionKind attribute) belief_stability() (curate_ipsum.theory.manager.TheoryManager method) (curate_ipsum.theory.provenance.ProvenanceDAG method) best (curate_ipsum.synthesis.population.Population property) bits (curate_ipsum.verification.SymbolSpec attribute) (curate_ipsum.verification.types.SymbolSpec attribute) Budget (class in curate_ipsum.verification) (class in curate_ipsum.verification.types) budget (curate_ipsum.verification.types.VerificationRequest attribute) (curate_ipsum.verification.VerificationRequest attribute) build() (curate_ipsum.graph.kameda.KamedaIndex class method) (curate_ipsum.graph.KamedaIndex class method) (curate_ipsum.verification.harness.builder.HarnessBuilder method) build_from_spec() (curate_ipsum.verification.harness.builder.HarnessBuilder method) build_graph_store() (in module curate_ipsum.storage.graph_store) build_server() (in module curate_ipsum.server) build_synthesis_prompt() (in module curate_ipsum.synthesis.llm_client) build_vector_store() (in module curate_ipsum.rag.vector_store) build_verification_backend() (in module curate_ipsum.verification.backend) byFile (curate_ipsum.models.MutationRunResult attribute) C call_count (curate_ipsum.synthesis.llm_client.MockLLMClient property) callee_decay (curate_ipsum.rag.search.RAGConfig attribute) caller_decay (curate_ipsum.rag.search.RAGConfig attribute) CallGraph (class in curate_ipsum.graph) (class in curate_ipsum.graph.models) callgraph_to_networkx() (in module curate_ipsum.graph) (in module curate_ipsum.graph.planarity) CallGraphExtractor (class in curate_ipsum.graph) (class in curate_ipsum.graph.extractor) CALLS (curate_ipsum.graph.EdgeKind attribute) (curate_ipsum.graph.models.EdgeKind attribute) CallVisitor (class in curate_ipsum.graph.ast_extractor) cancel() (curate_ipsum.synthesis.cegis.CEGISEngine method) CANCELLED (curate_ipsum.synthesis.models.SynthesisStatus attribute) (curate_ipsum.synthesis.SynthesisStatus attribute) CE_FOUND (curate_ipsum.verification.types.VerificationStatus attribute) (curate_ipsum.verification.VerificationStatus attribute) ce_weight (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) CEGISEngine (class in curate_ipsum.synthesis.cegis) centrality (curate_ipsum.models.RegionMetrics attribute) change_set (curate_ipsum.storage.incremental.UpdateResult attribute) ChangeSet (class in curate_ipsum.storage.incremental) check_planarity() (in module curate_ipsum.graph) (in module curate_ipsum.graph.planarity) Checkpoint (class in curate_ipsum.theory.rollback) ChromaVectorStore (class in curate_ipsum.rag.vector_store) CLASS (curate_ipsum.graph.models.NodeKind attribute) (curate_ipsum.graph.NodeKind attribute) (curate_ipsum.regions.models.RegionLevel attribute) (curate_ipsum.regions.RegionLevel attribute) class_name (curate_ipsum.regions.models.Region attribute) (curate_ipsum.regions.Region attribute) classes() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) classify_error() (curate_ipsum.theory.failure_analyzer.FailureModeAnalyzer static method) close() (curate_ipsum.rag.vector_store.VectorStore method) (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) (curate_ipsum.synthesis.cloud_llm.CloudLLMClient method) (curate_ipsum.synthesis.llm_client.LLMClient method) (curate_ipsum.synthesis.local_llm.LocalLLMClient method) (curate_ipsum.verification.backend.VerificationBackend method) CLOUD (curate_ipsum.synthesis.models.LLMBackend attribute) CloudLLMClient (class in curate_ipsum.synthesis.cloud_llm) code (curate_ipsum.synthesis.CodePatch attribute) (curate_ipsum.synthesis.Individual attribute) (curate_ipsum.synthesis.models.CodePatch attribute) (curate_ipsum.synthesis.models.Individual attribute) CodePatch (class in curate_ipsum.synthesis) (class in curate_ipsum.synthesis.models) col_end (curate_ipsum.graph.models.SourceLocation attribute) (curate_ipsum.graph.SourceLocation attribute) col_start (curate_ipsum.graph.models.SourceLocation attribute) (curate_ipsum.graph.SourceLocation attribute) CommandResult (class in curate_ipsum.tools) commitSha (curate_ipsum.models.RegionMetrics attribute) (curate_ipsum.models.RunMeta attribute) complexity_weight (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) COMPREHENSION (curate_ipsum.graph.models.NodeKind attribute) (curate_ipsum.graph.NodeKind attribute) compute_entropy() (curate_ipsum.synthesis.entropy.EntropyManager method) compute_file_hashes() (curate_ipsum.storage.incremental.IncrementalEngine static method) compute_region_metrics() (in module curate_ipsum.tools) condensation() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) confidence (curate_ipsum.graph.GraphEdge attribute) (curate_ipsum.graph.models.GraphEdge attribute) (curate_ipsum.parsers.detection.FrameworkDetection attribute) (curate_ipsum.parsers.detection.ProjectLanguage attribute) (curate_ipsum.parsers.FrameworkDetection attribute) (curate_ipsum.parsers.ProjectLanguage attribute) (curate_ipsum.theory.assertions.Assertion attribute) (curate_ipsum.theory.failure_analyzer.FailureAnalysis attribute) constraints (curate_ipsum.verification.types.VerificationRequest attribute) (curate_ipsum.verification.VerificationRequest attribute) contains() (curate_ipsum.regions.models.Region method) (curate_ipsum.regions.Region method) contains_line() (curate_ipsum.graph.models.SourceLocation method) (curate_ipsum.graph.SourceLocation method) content (curate_ipsum.theory.assertions.Assertion attribute) context_code (curate_ipsum.synthesis.models.Specification attribute) (curate_ipsum.synthesis.Specification attribute) CONTRACT (curate_ipsum.theory.assertions.AssertionKind attribute) (curate_ipsum.theory.provenance.RevisionType attribute) contract_assertion() (curate_ipsum.theory.manager.TheoryManager method) ContradictionDetector (class in curate_ipsum.theory.assertions) COSMIC_RAY (curate_ipsum.parsers.detection.MutationFramework attribute) (curate_ipsum.parsers.MutationFramework attribute) CosmicRayMutant (class in curate_ipsum.parsers.cosmic_ray_parser) count() (curate_ipsum.rag.vector_store.ChromaVectorStore method) (curate_ipsum.rag.vector_store.VectorStore method) Counterexample (class in curate_ipsum.synthesis) (class in curate_ipsum.synthesis.models) (class in curate_ipsum.verification) (class in curate_ipsum.verification.types) counterexample (curate_ipsum.verification.orchestrator.OrchestratorResult attribute) (curate_ipsum.verification.types.VerificationResult attribute) (curate_ipsum.verification.VerificationResult attribute) counterexamples_resolved (curate_ipsum.synthesis.models.SynthesisResult attribute) (curate_ipsum.synthesis.SynthesisResult attribute) create_checkpoint() (curate_ipsum.theory.rollback.RollbackManager method) created_utc (curate_ipsum.theory.assertions.Assertion attribute) CROSSOVER (curate_ipsum.synthesis.models.PatchSource attribute) (curate_ipsum.synthesis.PatchSource attribute) crossover() (curate_ipsum.synthesis.ast_operators.ASTCrossover method) crossover_rate (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) curate_ipsum.graph module curate_ipsum.graph.asr_extractor module curate_ipsum.graph.ast_extractor module curate_ipsum.graph.dependency_extractor module curate_ipsum.graph.extractor module curate_ipsum.graph.kameda module curate_ipsum.graph.models module curate_ipsum.graph.planarity module curate_ipsum.models module curate_ipsum.parsers module curate_ipsum.parsers.cosmic_ray_parser module curate_ipsum.parsers.detection module curate_ipsum.parsers.mutmut_parser module curate_ipsum.parsers.poodle_parser module curate_ipsum.parsers.stryker_parser module curate_ipsum.parsers.universalmutator_parser module curate_ipsum.rag module curate_ipsum.rag.embedding_provider module curate_ipsum.rag.search module curate_ipsum.rag.vector_store module curate_ipsum.regions module curate_ipsum.regions.models module curate_ipsum.server module curate_ipsum.storage.graph_store module curate_ipsum.storage.incremental module curate_ipsum.storage.kuzu_graph_store module curate_ipsum.storage.sqlite_graph_store module curate_ipsum.storage.synthesis_store module curate_ipsum.synthesis module curate_ipsum.synthesis.ast_operators module curate_ipsum.synthesis.cegis module curate_ipsum.synthesis.cloud_llm module curate_ipsum.synthesis.entropy module curate_ipsum.synthesis.fitness module curate_ipsum.synthesis.llm_client module curate_ipsum.synthesis.local_llm module curate_ipsum.synthesis.models module curate_ipsum.synthesis.population module curate_ipsum.theory.assertions module curate_ipsum.theory.failure_analyzer module curate_ipsum.theory.manager module curate_ipsum.theory.provenance module curate_ipsum.theory.rollback module curate_ipsum.tools module curate_ipsum.verification module curate_ipsum.verification.backend module curate_ipsum.verification.backends.angr_docker module curate_ipsum.verification.backends.mock module curate_ipsum.verification.backends.z3_backend module curate_ipsum.verification.harness.builder module curate_ipsum.verification.orchestrator module curate_ipsum.verification.types module current_fqn (curate_ipsum.graph.ast_extractor.ScopeTracker property) current_kind (curate_ipsum.graph.ast_extractor.ScopeTracker property) D d (curate_ipsum.models.PIDComponents attribute) decorators (curate_ipsum.graph.FunctionSignature attribute) (curate_ipsum.graph.models.FunctionSignature attribute) DEFINES (curate_ipsum.graph.EdgeKind attribute) (curate_ipsum.graph.models.EdgeKind attribute) DefinitionVisitor (class in curate_ipsum.graph.ast_extractor) delete() (curate_ipsum.rag.vector_store.ChromaVectorStore method) (curate_ipsum.rag.vector_store.VectorStore method) delete_nodes_by_file() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) DependencyExtractor (class in curate_ipsum.graph) (class in curate_ipsum.graph.dependency_extractor) depth (curate_ipsum.graph.ast_extractor.ScopeTracker property) detect_available_frameworks() (in module curate_ipsum.parsers) (in module curate_ipsum.parsers.detection) detect_changes() (curate_ipsum.storage.incremental.IncrementalEngine method) detect_language() (in module curate_ipsum.parsers) (in module curate_ipsum.parsers.detection) detect_overfitting() (curate_ipsum.theory.failure_analyzer.FailureModeAnalyzer static method) detect_underfitting() (curate_ipsum.theory.failure_analyzer.FailureModeAnalyzer static method) diff (curate_ipsum.synthesis.CodePatch attribute) (curate_ipsum.synthesis.models.CodePatch attribute) dimension() (curate_ipsum.rag.embedding_provider.EmbeddingProvider method) (curate_ipsum.rag.embedding_provider.LocalEmbeddingProvider method) (curate_ipsum.rag.embedding_provider.MockEmbeddingProvider method) docstring (curate_ipsum.graph.GraphNode attribute) (curate_ipsum.graph.models.GraphNode attribute) domain (curate_ipsum.theory.manager.TheoryManager property) duration_ms (curate_ipsum.storage.incremental.UpdateResult attribute) (curate_ipsum.synthesis.models.SynthesisResult attribute) (curate_ipsum.synthesis.SynthesisResult attribute) (curate_ipsum.tools.CommandResult attribute) durationMs (curate_ipsum.models.TestRunResult attribute) E EdgeKind (class in curate_ipsum.graph) (class in curate_ipsum.graph.models) edges (curate_ipsum.graph.CallGraph attribute) (curate_ipsum.graph.models.CallGraph attribute) elite_ratio (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) embed() (curate_ipsum.rag.embedding_provider.EmbeddingProvider method) (curate_ipsum.rag.embedding_provider.LocalEmbeddingProvider method) (curate_ipsum.rag.embedding_provider.MockEmbeddingProvider method) embedding (curate_ipsum.graph.planarity.PlanarityResult attribute) (curate_ipsum.graph.PlanarityResult attribute) (curate_ipsum.rag.vector_store.VectorDocument attribute) EmbeddingProvider (class in curate_ipsum.rag.embedding_provider) entropy_threshold (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) EntropyManager (class in curate_ipsum.synthesis.entropy) entry (curate_ipsum.verification.types.VerificationRequest attribute) (curate_ipsum.verification.VerificationRequest attribute) ERROR (curate_ipsum.verification.types.VerificationStatus attribute) (curate_ipsum.verification.VerificationStatus attribute) error_message (curate_ipsum.synthesis.Counterexample attribute) (curate_ipsum.synthesis.models.Counterexample attribute) (curate_ipsum.synthesis.models.SynthesisResult attribute) (curate_ipsum.synthesis.SynthesisResult attribute) escalate() (curate_ipsum.verification.Budget method) (curate_ipsum.verification.types.Budget method) evaluate() (curate_ipsum.synthesis.fitness.FitnessEvaluator method) evaluate_population() (curate_ipsum.synthesis.fitness.FitnessEvaluator method) event_type (curate_ipsum.theory.provenance.RevisionEvent attribute) events (curate_ipsum.theory.provenance.ProvenanceDAG property) evidence (curate_ipsum.parsers.detection.FrameworkDetection attribute) (curate_ipsum.parsers.FrameworkDetection attribute) EVIDENCE (curate_ipsum.theory.provenance.RevisionType attribute) evidence_id (curate_ipsum.theory.provenance.RevisionEvent attribute) evidence_summary (curate_ipsum.theory.failure_analyzer.FailureAnalysis attribute) exit_code (curate_ipsum.tools.CommandResult attribute) EXPAND (curate_ipsum.theory.provenance.RevisionType attribute) expansion_hops (curate_ipsum.rag.search.RAGConfig attribute) expected_output (curate_ipsum.synthesis.Counterexample attribute) (curate_ipsum.synthesis.models.Counterexample attribute) extra_code (curate_ipsum.verification.harness.builder.HarnessSpec attribute) extract_directory() (curate_ipsum.graph.CallGraphExtractor method) (curate_ipsum.graph.dependency_extractor.DependencyExtractor method) (curate_ipsum.graph.DependencyExtractor method) (curate_ipsum.graph.extractor.CallGraphExtractor method) extract_file() (curate_ipsum.graph.asr_extractor.ASRExtractor method) (curate_ipsum.graph.ASRExtractor method) (curate_ipsum.graph.ast_extractor.ASTExtractor method) (curate_ipsum.graph.ASTExtractor method) (curate_ipsum.graph.CallGraphExtractor method) (curate_ipsum.graph.dependency_extractor.DependencyExtractor method) (curate_ipsum.graph.DependencyExtractor method) (curate_ipsum.graph.extractor.CallGraphExtractor method) extract_files() (curate_ipsum.graph.CallGraphExtractor method) (curate_ipsum.graph.extractor.CallGraphExtractor method) extract_imports_from_source() (in module curate_ipsum.graph.dependency_extractor) extract_module() (curate_ipsum.graph.asr_extractor.ASRExtractor method) (curate_ipsum.graph.ASRExtractor method) (curate_ipsum.graph.ast_extractor.ASTExtractor method) (curate_ipsum.graph.ASTExtractor method) (curate_ipsum.graph.CallGraphExtractor method) (curate_ipsum.graph.extractor.CallGraphExtractor method) ExtractorError, [1] F FAILED (curate_ipsum.synthesis.models.SynthesisStatus attribute) (curate_ipsum.synthesis.SynthesisStatus attribute) failedTests (curate_ipsum.models.TestRunResult attribute) failingTests (curate_ipsum.models.TestRunResult attribute) FailureAnalysis (class in curate_ipsum.theory.failure_analyzer) FailureMode (class in curate_ipsum.theory.failure_analyzer) FailureModeAnalyzer (class in curate_ipsum.theory.failure_analyzer) file (curate_ipsum.graph.models.SourceLocation attribute) (curate_ipsum.graph.SourceLocation attribute) FILE (curate_ipsum.regions.models.RegionLevel attribute) (curate_ipsum.regions.RegionLevel attribute) file_path (curate_ipsum.parsers.mutmut_parser.MutmutMutant attribute) (curate_ipsum.regions.models.Region attribute) (curate_ipsum.regions.Region attribute) FileMutationStats (class in curate_ipsum.models) filePath (curate_ipsum.models.FileMutationStats attribute) final_entropy (curate_ipsum.synthesis.models.SynthesisResult attribute) (curate_ipsum.synthesis.SynthesisResult attribute) find_contradictions() (curate_ipsum.theory.assertions.ContradictionDetector class method) (curate_ipsum.theory.manager.TheoryManager method) find_cosmic_ray_session() (in module curate_ipsum.parsers.cosmic_ray_parser) find_kind (curate_ipsum.verification.types.VerificationRequest attribute) (curate_ipsum.verification.VerificationRequest attribute) find_mutmut_cache() (in module curate_ipsum.parsers.mutmut_parser) find_poodle_report() (in module curate_ipsum.parsers.poodle_parser) find_stryker_report() (in module curate_ipsum.parsers.stryker_parser) find_universalmutator_results() (in module curate_ipsum.parsers.universalmutator_parser) find_value (curate_ipsum.verification.types.VerificationRequest attribute) (curate_ipsum.verification.VerificationRequest attribute) fitness (curate_ipsum.synthesis.Individual attribute) (curate_ipsum.synthesis.models.Individual attribute) fitness_history (curate_ipsum.synthesis.models.SynthesisResult attribute) (curate_ipsum.synthesis.SynthesisResult attribute) FitnessEvaluator (class in curate_ipsum.synthesis.fitness) for_class() (curate_ipsum.regions.models.Region class method) (curate_ipsum.regions.Region class method) for_file() (curate_ipsum.regions.models.Region class method) (curate_ipsum.regions.Region class method) for_function() (curate_ipsum.regions.models.Region class method) (curate_ipsum.regions.Region class method) for_lines() (curate_ipsum.regions.models.Region class method) (curate_ipsum.regions.Region class method) force_full_rebuild() (curate_ipsum.storage.incremental.IncrementalEngine method) fqn_for() (curate_ipsum.graph.ast_extractor.ScopeTracker method) framework (curate_ipsum.models.TestRunResult attribute) (curate_ipsum.parsers.detection.FrameworkDetection attribute) (curate_ipsum.parsers.FrameworkDetection attribute) FrameworkDetection (class in curate_ipsum.parsers) (class in curate_ipsum.parsers.detection) from_candidates() (curate_ipsum.synthesis.population.Population class method) from_dict() (curate_ipsum.graph.CallGraph class method) (curate_ipsum.graph.models.CallGraph class method) (curate_ipsum.theory.provenance.ProvenanceDAG class method) (curate_ipsum.theory.provenance.RevisionEvent class method) (curate_ipsum.verification.Budget class method) (curate_ipsum.verification.Counterexample class method) (curate_ipsum.verification.SymbolSpec class method) (curate_ipsum.verification.types.Budget class method) (curate_ipsum.verification.types.Counterexample class method) (curate_ipsum.verification.types.SymbolSpec class method) (curate_ipsum.verification.types.VerificationRequest class method) (curate_ipsum.verification.types.VerificationResult class method) (curate_ipsum.verification.VerificationRequest class method) (curate_ipsum.verification.VerificationResult class method) from_string() (curate_ipsum.regions.models.Region class method) (curate_ipsum.regions.Region class method) from_world_hash (curate_ipsum.theory.provenance.RevisionEvent attribute) full_rebuild (curate_ipsum.storage.incremental.UpdateResult attribute) func_name (curate_ipsum.regions.models.Region attribute) (curate_ipsum.regions.Region attribute) FUNCTION (curate_ipsum.graph.models.NodeKind attribute) (curate_ipsum.graph.NodeKind attribute) (curate_ipsum.regions.models.RegionLevel attribute) (curate_ipsum.regions.RegionLevel attribute) function_name (curate_ipsum.verification.harness.builder.HarnessSpec attribute) functions() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) FunctionSignature (class in curate_ipsum.graph) (class in curate_ipsum.graph.models) G generate_candidates() (curate_ipsum.synthesis.cloud_llm.CloudLLMClient method) (curate_ipsum.synthesis.llm_client.LLMClient method) (curate_ipsum.synthesis.llm_client.MockLLMClient method) (curate_ipsum.synthesis.local_llm.LocalLLMClient method) generate_source() (curate_ipsum.verification.harness.builder.HarnessBuilder method) generation (curate_ipsum.synthesis.Individual attribute) (curate_ipsum.synthesis.models.Individual attribute) get_callees() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) get_callers() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) get_edges_from() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) get_edges_to() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) get_entrenchment() (curate_ipsum.theory.manager.TheoryManager method) get_extractor() (in module curate_ipsum.graph) (in module curate_ipsum.graph.extractor) get_file_hashes() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) get_history() (curate_ipsum.theory.provenance.ProvenanceDAG method) get_mutmut_region_mutants() (in module curate_ipsum.parsers.mutmut_parser) get_neighbors() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) get_node() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) get_nodes_in_file() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) get_path() (curate_ipsum.theory.provenance.ProvenanceDAG method) get_provenance_summary() (curate_ipsum.theory.manager.TheoryManager method) get_region_mutation_stats() (in module curate_ipsum.parsers.mutmut_parser) get_rollback_manager() (curate_ipsum.theory.manager.TheoryManager method) get_run_history() (in module curate_ipsum.tools) get_stats() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) get_theory_snapshot() (curate_ipsum.theory.manager.TheoryManager method) get_world_hashes() (curate_ipsum.theory.provenance.ProvenanceDAG method) GraphEdge (class in curate_ipsum.graph) (class in curate_ipsum.graph.models) GraphNode (class in curate_ipsum.graph) (class in curate_ipsum.graph.models) GraphStore (class in curate_ipsum.storage.graph_store) grounding_evidence_ids (curate_ipsum.theory.assertions.Assertion attribute) H HarnessBuilder (class in curate_ipsum.verification.harness.builder) HarnessSpec (class in curate_ipsum.verification.harness.builder) has_changes (curate_ipsum.storage.incremental.ChangeSet property) history_tool() (in module curate_ipsum.tools) I i (curate_ipsum.models.PIDComponents attribute) id (curate_ipsum.graph.GraphNode attribute) (curate_ipsum.graph.models.GraphNode attribute) (curate_ipsum.models.RunMeta attribute) (curate_ipsum.parsers.mutmut_parser.MutmutMutant attribute) (curate_ipsum.rag.vector_store.VectorDocument attribute) (curate_ipsum.rag.vector_store.VectorSearchResult attribute) (curate_ipsum.synthesis.Counterexample attribute) (curate_ipsum.synthesis.Individual attribute) (curate_ipsum.synthesis.models.Counterexample attribute) (curate_ipsum.synthesis.models.Individual attribute) (curate_ipsum.synthesis.models.SynthesisResult attribute) (curate_ipsum.synthesis.SynthesisResult attribute) (curate_ipsum.theory.assertions.Assertion attribute) (curate_ipsum.verification.types.VerificationResult attribute) (curate_ipsum.verification.VerificationResult attribute) ImportInfo (class in curate_ipsum.graph.dependency_extractor) IMPORTS (curate_ipsum.graph.EdgeKind attribute) (curate_ipsum.graph.models.EdgeKind attribute) includes (curate_ipsum.verification.harness.builder.HarnessSpec attribute) IncrementalEngine (class in curate_ipsum.storage.incremental) index (curate_ipsum.parsers.mutmut_parser.MutmutMutant attribute) Individual (class in curate_ipsum.synthesis) (class in curate_ipsum.synthesis.models) individuals (curate_ipsum.synthesis.population.Population property) INHERITS (curate_ipsum.graph.EdgeKind attribute) (curate_ipsum.graph.models.EdgeKind attribute) input_values (curate_ipsum.synthesis.Counterexample attribute) (curate_ipsum.synthesis.models.Counterexample attribute) INTEGRATION (curate_ipsum.models.RunKind attribute) INVARIANT (curate_ipsum.theory.assertions.AssertionKind attribute) INVARIANT_VIOLATION (curate_ipsum.theory.failure_analyzer.FailureMode attribute) is_async (curate_ipsum.graph.FunctionSignature attribute) (curate_ipsum.graph.models.FunctionSignature attribute) is_available() (curate_ipsum.synthesis.local_llm.LocalLLMClient method) is_conditional (curate_ipsum.graph.GraphEdge attribute) (curate_ipsum.graph.models.GraphEdge attribute) is_dynamic (curate_ipsum.graph.GraphEdge attribute) (curate_ipsum.graph.models.GraphEdge attribute) is_from_import (curate_ipsum.graph.dependency_extractor.ImportInfo attribute) is_generator (curate_ipsum.graph.FunctionSignature attribute) (curate_ipsum.graph.models.FunctionSignature attribute) is_planar (curate_ipsum.graph.planarity.PlanarityResult attribute) (curate_ipsum.graph.PlanarityResult attribute) is_valid() (curate_ipsum.synthesis.Individual method) (curate_ipsum.synthesis.models.Individual method) iterations (curate_ipsum.synthesis.models.SynthesisResult attribute) (curate_ipsum.synthesis.SynthesisResult attribute) (curate_ipsum.verification.orchestrator.OrchestratorResult attribute) J job_id (curate_ipsum.parsers.cosmic_ray_parser.CosmicRayMutant attribute) K KamedaIndex (class in curate_ipsum.graph) (class in curate_ipsum.graph.kameda) killed (curate_ipsum.models.FileMutationStats attribute) (curate_ipsum.models.MutationRunResult attribute) kind (curate_ipsum.graph.GraphEdge attribute) (curate_ipsum.graph.GraphNode attribute) (curate_ipsum.graph.models.GraphEdge attribute) (curate_ipsum.graph.models.GraphNode attribute) (curate_ipsum.models.MutationRunResult attribute) (curate_ipsum.models.TestRunResult attribute) (curate_ipsum.theory.assertions.Assertion attribute) (curate_ipsum.verification.SymbolSpec attribute) (curate_ipsum.verification.types.SymbolSpec attribute) kuratowski_edges (curate_ipsum.graph.planarity.PlanarityResult attribute) (curate_ipsum.graph.PlanarityResult attribute) KuzuGraphStore (class in curate_ipsum.storage.kuzu_graph_store) L LAMBDA (curate_ipsum.graph.models.NodeKind attribute) (curate_ipsum.graph.NodeKind attribute) left_rank (curate_ipsum.graph.kameda.KamedaIndex attribute) (curate_ipsum.graph.KamedaIndex attribute) length (curate_ipsum.verification.SymbolSpec attribute) (curate_ipsum.verification.types.SymbolSpec attribute) level (curate_ipsum.graph.dependency_extractor.ImportInfo attribute) (curate_ipsum.regions.models.Region property) (curate_ipsum.regions.Region property) line (curate_ipsum.graph.dependency_extractor.ImportInfo attribute) line_end (curate_ipsum.graph.models.SourceLocation attribute) (curate_ipsum.graph.SourceLocation attribute) (curate_ipsum.regions.models.Region attribute) (curate_ipsum.regions.Region attribute) line_number (curate_ipsum.parsers.cosmic_ray_parser.CosmicRayMutant attribute) (curate_ipsum.parsers.mutmut_parser.MutmutMutant attribute) line_start (curate_ipsum.graph.models.SourceLocation attribute) (curate_ipsum.graph.SourceLocation attribute) (curate_ipsum.regions.models.Region attribute) (curate_ipsum.regions.Region attribute) lineage (curate_ipsum.synthesis.Individual attribute) (curate_ipsum.synthesis.models.Individual attribute) LINES (curate_ipsum.regions.models.RegionLevel attribute) (curate_ipsum.regions.RegionLevel attribute) list_assertions() (curate_ipsum.theory.manager.TheoryManager method) list_checkpoints() (curate_ipsum.theory.rollback.RollbackManager method) list_world_history() (curate_ipsum.theory.rollback.RollbackManager method) LLM (curate_ipsum.synthesis.models.PatchSource attribute) (curate_ipsum.synthesis.PatchSource attribute) llm_backend (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) llm_model (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) LLMBackend (class in curate_ipsum.synthesis.models) LLMClient (class in curate_ipsum.synthesis.llm_client) load() (curate_ipsum.theory.provenance.ProvenanceStore static method) load_all() (curate_ipsum.storage.synthesis_store.SynthesisStore method) load_by_id() (curate_ipsum.storage.synthesis_store.SynthesisStore method) load_by_region() (curate_ipsum.storage.synthesis_store.SynthesisStore method) load_graph() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) load_partitions() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) load_reachability_index() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) LOCAL (curate_ipsum.synthesis.models.LLMBackend attribute) LocalEmbeddingProvider (class in curate_ipsum.rag.embedding_provider) LocalLLMClient (class in curate_ipsum.synthesis.local_llm) location (curate_ipsum.graph.GraphEdge attribute) (curate_ipsum.graph.GraphNode attribute) (curate_ipsum.graph.models.GraphEdge attribute) (curate_ipsum.graph.models.GraphNode attribute) logs (curate_ipsum.verification.orchestrator.OrchestratorResult attribute) (curate_ipsum.verification.types.VerificationResult attribute) (curate_ipsum.verification.VerificationResult attribute) LPythonNotFoundError, [1] M main() (in module curate_ipsum.server) max_context_tokens (curate_ipsum.rag.search.RAGConfig attribute) max_iterations (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) max_loop_iters (curate_ipsum.verification.Budget attribute) (curate_ipsum.verification.types.Budget attribute) max_path_len (curate_ipsum.verification.Budget attribute) (curate_ipsum.verification.types.Budget attribute) max_states (curate_ipsum.verification.Budget attribute) (curate_ipsum.verification.types.Budget attribute) metadata (curate_ipsum.graph.GraphNode attribute) (curate_ipsum.graph.models.GraphNode attribute) (curate_ipsum.rag.search.RAGResult attribute) (curate_ipsum.rag.vector_store.VectorDocument attribute) (curate_ipsum.rag.vector_store.VectorSearchResult attribute) (curate_ipsum.synthesis.CodePatch attribute) (curate_ipsum.synthesis.Counterexample attribute) (curate_ipsum.synthesis.Individual attribute) (curate_ipsum.synthesis.models.CodePatch attribute) (curate_ipsum.synthesis.models.Counterexample attribute) (curate_ipsum.synthesis.models.Individual attribute) (curate_ipsum.synthesis.models.Specification attribute) (curate_ipsum.synthesis.models.SynthesisResult attribute) (curate_ipsum.synthesis.Specification attribute) (curate_ipsum.synthesis.SynthesisResult attribute) (curate_ipsum.theory.assertions.Assertion attribute) (curate_ipsum.theory.failure_analyzer.FailureAnalysis attribute) (curate_ipsum.theory.provenance.RevisionEvent attribute) (curate_ipsum.verification.types.VerificationRequest attribute) (curate_ipsum.verification.VerificationRequest attribute) METHOD (curate_ipsum.graph.models.NodeKind attribute) (curate_ipsum.graph.NodeKind attribute) MOCK (curate_ipsum.synthesis.models.LLMBackend attribute) MockBackend (class in curate_ipsum.verification.backends.mock) MockEmbeddingProvider (class in curate_ipsum.rag.embedding_provider) MockLLMClient (class in curate_ipsum.synthesis.llm_client) mode (curate_ipsum.theory.failure_analyzer.FailureAnalysis attribute) model (curate_ipsum.verification.Counterexample attribute) (curate_ipsum.verification.types.Counterexample attribute) model_config (curate_ipsum.models.FileMutationStats attribute) (curate_ipsum.models.MutationRunResult attribute) (curate_ipsum.models.PIDComponents attribute) (curate_ipsum.models.RegionMetrics attribute) (curate_ipsum.models.RunHistory attribute) (curate_ipsum.models.RunMeta attribute) (curate_ipsum.models.TestRunResult attribute) modified (curate_ipsum.storage.incremental.ChangeSet attribute) modified_files (curate_ipsum.storage.incremental.UpdateResult attribute) module curate_ipsum.graph curate_ipsum.graph.asr_extractor curate_ipsum.graph.ast_extractor curate_ipsum.graph.dependency_extractor curate_ipsum.graph.extractor curate_ipsum.graph.kameda curate_ipsum.graph.models curate_ipsum.graph.planarity curate_ipsum.models curate_ipsum.parsers curate_ipsum.parsers.cosmic_ray_parser curate_ipsum.parsers.detection curate_ipsum.parsers.mutmut_parser curate_ipsum.parsers.poodle_parser curate_ipsum.parsers.stryker_parser curate_ipsum.parsers.universalmutator_parser curate_ipsum.rag curate_ipsum.rag.embedding_provider curate_ipsum.rag.search curate_ipsum.rag.vector_store curate_ipsum.regions curate_ipsum.regions.models curate_ipsum.server curate_ipsum.storage.graph_store curate_ipsum.storage.incremental curate_ipsum.storage.kuzu_graph_store curate_ipsum.storage.sqlite_graph_store curate_ipsum.storage.synthesis_store curate_ipsum.synthesis curate_ipsum.synthesis.ast_operators curate_ipsum.synthesis.cegis curate_ipsum.synthesis.cloud_llm curate_ipsum.synthesis.entropy curate_ipsum.synthesis.fitness curate_ipsum.synthesis.llm_client curate_ipsum.synthesis.local_llm curate_ipsum.synthesis.models curate_ipsum.synthesis.population curate_ipsum.theory.assertions curate_ipsum.theory.failure_analyzer curate_ipsum.theory.manager curate_ipsum.theory.provenance curate_ipsum.theory.rollback curate_ipsum.tools curate_ipsum.verification curate_ipsum.verification.backend curate_ipsum.verification.backends.angr_docker curate_ipsum.verification.backends.mock curate_ipsum.verification.backends.z3_backend curate_ipsum.verification.harness.builder curate_ipsum.verification.orchestrator curate_ipsum.verification.types module (curate_ipsum.graph.dependency_extractor.ImportInfo attribute) MODULE (curate_ipsum.graph.models.NodeKind attribute) (curate_ipsum.graph.NodeKind attribute) module (curate_ipsum.parsers.cosmic_ray_parser.CosmicRayMutant attribute) modules() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) mutant_id (curate_ipsum.synthesis.Counterexample attribute) (curate_ipsum.synthesis.models.Counterexample attribute) mutate() (curate_ipsum.synthesis.ast_operators.ASTMutator method) MUTATION (curate_ipsum.models.RunKind attribute) (curate_ipsum.synthesis.models.PatchSource attribute) (curate_ipsum.synthesis.PatchSource attribute) mutation_command (curate_ipsum.synthesis.models.Specification attribute) (curate_ipsum.synthesis.Specification attribute) mutation_rate (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) MutationFramework (class in curate_ipsum.parsers) (class in curate_ipsum.parsers.detection) MutationRunResult (class in curate_ipsum.models) mutationScore (curate_ipsum.models.FileMutationStats attribute) (curate_ipsum.models.MutationRunResult attribute) (curate_ipsum.models.RegionMetrics attribute) MUTMUT (curate_ipsum.parsers.detection.MutationFramework attribute) (curate_ipsum.parsers.MutationFramework attribute) MutmutMutant (class in curate_ipsum.parsers.mutmut_parser) MutmutStatus (class in curate_ipsum.parsers.mutmut_parser) MUTPY (curate_ipsum.parsers.detection.MutationFramework attribute) (curate_ipsum.parsers.MutationFramework attribute) N name (curate_ipsum.graph.FunctionSignature attribute) (curate_ipsum.graph.GraphNode attribute) (curate_ipsum.graph.models.FunctionSignature attribute) (curate_ipsum.graph.models.GraphNode attribute) (curate_ipsum.theory.rollback.Checkpoint attribute) (curate_ipsum.verification.SymbolSpec attribute) (curate_ipsum.verification.types.SymbolSpec attribute) names (curate_ipsum.graph.dependency_extractor.ImportInfo attribute) needs_injection() (curate_ipsum.synthesis.entropy.EntropyManager method) networkx_to_callgraph() (in module curate_ipsum.graph) (in module curate_ipsum.graph.planarity) NO_CE_WITHIN_BUDGET (curate_ipsum.verification.types.VerificationStatus attribute) (curate_ipsum.verification.VerificationStatus attribute) noCoverage (curate_ipsum.models.FileMutationStats attribute) (curate_ipsum.models.MutationRunResult attribute) node_dict_to_assertion() (in module curate_ipsum.theory.assertions) node_id (curate_ipsum.rag.search.RAGResult attribute) NodeKind (class in curate_ipsum.graph) (class in curate_ipsum.graph.models) nodes (curate_ipsum.graph.CallGraph attribute) (curate_ipsum.graph.models.CallGraph attribute) nodes_added (curate_ipsum.theory.provenance.RevisionEvent attribute) nodes_removed (curate_ipsum.theory.provenance.RevisionEvent attribute) non_planar_edges (curate_ipsum.graph.planarity.PlanarityResult attribute) (curate_ipsum.graph.PlanarityResult attribute) non_planar_reachability (curate_ipsum.graph.kameda.KamedaIndex attribute) (curate_ipsum.graph.KamedaIndex attribute) normalize_region_id() (in module curate_ipsum.regions) (in module curate_ipsum.regions.models) notes (curate_ipsum.verification.Counterexample attribute) (curate_ipsum.verification.types.Counterexample attribute) (curate_ipsum.verification.types.VerificationRequest attribute) (curate_ipsum.verification.VerificationRequest attribute) O occurrence (curate_ipsum.parsers.cosmic_ray_parser.CosmicRayMutant attribute) OK_KILLED (curate_ipsum.parsers.mutmut_parser.MutmutStatus attribute) OK_SUSPICIOUS (curate_ipsum.parsers.mutmut_parser.MutmutStatus attribute) operator (curate_ipsum.parsers.cosmic_ray_parser.CosmicRayMutant attribute) OPERATORS (curate_ipsum.synthesis.ast_operators.ASTMutator attribute) OrchestratorResult (class in curate_ipsum.verification.orchestrator) original_code (curate_ipsum.synthesis.CodePatch attribute) (curate_ipsum.synthesis.models.CodePatch attribute) (curate_ipsum.synthesis.models.Specification attribute) (curate_ipsum.synthesis.Specification attribute) OVERFITTING (curate_ipsum.theory.failure_analyzer.FailureMode attribute) overlaps() (curate_ipsum.regions.models.Region method) (curate_ipsum.regions.Region method) P p (curate_ipsum.models.PIDComponents attribute) pack_context() (curate_ipsum.rag.search.RAGPipeline method) parameters (curate_ipsum.verification.harness.builder.HarnessSpec attribute) params (curate_ipsum.graph.FunctionSignature attribute) (curate_ipsum.graph.models.FunctionSignature attribute) parse_cosmic_ray_output() (in module curate_ipsum.parsers) (in module curate_ipsum.parsers.cosmic_ray_parser) parse_cosmic_ray_session() (in module curate_ipsum.parsers.cosmic_ray_parser) parse_mutation_output() (in module curate_ipsum.parsers) parse_mutmut_cache() (in module curate_ipsum.parsers.mutmut_parser) parse_mutmut_output() (in module curate_ipsum.parsers) (in module curate_ipsum.parsers.mutmut_parser) parse_poodle_output() (in module curate_ipsum.parsers) (in module curate_ipsum.parsers.poodle_parser) parse_poodle_report() (in module curate_ipsum.parsers.poodle_parser) parse_stryker_output() (in module curate_ipsum.parsers) (in module curate_ipsum.parsers.stryker_parser) (in module curate_ipsum.tools) parse_stryker_report() (in module curate_ipsum.parsers.stryker_parser) parse_test_output() (in module curate_ipsum.tools) parse_universalmutator_output() (in module curate_ipsum.parsers) (in module curate_ipsum.parsers.universalmutator_parser) ParseError, [1] passed (curate_ipsum.models.TestRunResult attribute) passedTests (curate_ipsum.models.TestRunResult attribute) patch (curate_ipsum.synthesis.models.SynthesisResult attribute) (curate_ipsum.synthesis.SynthesisResult attribute) PatchSource (class in curate_ipsum.synthesis) (class in curate_ipsum.synthesis.models) path_constraints (curate_ipsum.verification.Counterexample attribute) (curate_ipsum.verification.types.Counterexample attribute) pid (curate_ipsum.models.RegionMetrics attribute) PIDComponents (class in curate_ipsum.models) planar_subgraph (curate_ipsum.graph.planarity.PlanarityResult attribute) (curate_ipsum.graph.PlanarityResult attribute) PlanarityResult (class in curate_ipsum.graph) (class in curate_ipsum.graph.planarity) POODLE (curate_ipsum.parsers.detection.MutationFramework attribute) (curate_ipsum.parsers.MutationFramework attribute) pop() (curate_ipsum.graph.ast_extractor.ScopeTracker method) Population (class in curate_ipsum.synthesis.population) population_size (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) POSTCONDITION (curate_ipsum.theory.assertions.AssertionKind attribute) POSTCONDITION_VIOLATION (curate_ipsum.theory.failure_analyzer.FailureMode attribute) postconditions (curate_ipsum.synthesis.models.Specification attribute) (curate_ipsum.synthesis.Specification attribute) PRECONDITION (curate_ipsum.theory.assertions.AssertionKind attribute) PRECONDITION_VIOLATION (curate_ipsum.theory.failure_analyzer.FailureMode attribute) preconditions (curate_ipsum.synthesis.models.Specification attribute) (curate_ipsum.synthesis.Specification attribute) primary (curate_ipsum.parsers.detection.ProjectLanguage attribute) (curate_ipsum.parsers.ProjectLanguage attribute) project_id (curate_ipsum.rag.search.RAGConfig attribute) projectId (curate_ipsum.models.RegionMetrics attribute) (curate_ipsum.models.RunHistory attribute) (curate_ipsum.models.RunMeta attribute) ProjectLanguage (class in curate_ipsum.parsers) (class in curate_ipsum.parsers.detection) provenance_dag (curate_ipsum.theory.manager.TheoryManager property) PROVENANCE_KEY_PREFIX (curate_ipsum.theory.provenance.ProvenanceStore attribute) ProvenanceDAG (class in curate_ipsum.theory.provenance) ProvenanceStore (class in curate_ipsum.theory.provenance) push() (curate_ipsum.graph.ast_extractor.ScopeTracker method) Q query_reachable() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) R RAGConfig (class in curate_ipsum.rag.search) RAGPipeline (class in curate_ipsum.rag.search) RAGResult (class in curate_ipsum.rag.search) reachable_from() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) reaches() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.kameda.KamedaIndex method) (curate_ipsum.graph.KamedaIndex method) (curate_ipsum.graph.models.CallGraph method) reason (curate_ipsum.theory.provenance.RevisionEvent attribute) (curate_ipsum.theory.rollback.Checkpoint attribute) recommend_framework() (in module curate_ipsum.parsers) (in module curate_ipsum.parsers.detection) REFERENCES (curate_ipsum.graph.EdgeKind attribute) (curate_ipsum.graph.models.EdgeKind attribute) Region (class in curate_ipsum.regions) (class in curate_ipsum.regions.models) region_id (curate_ipsum.synthesis.CodePatch attribute) (curate_ipsum.synthesis.models.CodePatch attribute) (curate_ipsum.theory.assertions.Assertion attribute) region_metrics_tool() (in module curate_ipsum.tools) region_to_id() (in module curate_ipsum.regions) (in module curate_ipsum.regions.models) regionId (curate_ipsum.models.RegionMetrics attribute) (curate_ipsum.models.RunHistory attribute) (curate_ipsum.models.RunMeta attribute) RegionLevel (class in curate_ipsum.regions) (class in curate_ipsum.regions.models) RegionMetrics (class in curate_ipsum.models) remove_weakest() (curate_ipsum.synthesis.population.Population method) removed (curate_ipsum.storage.incremental.ChangeSet attribute) removed_nodes (curate_ipsum.storage.incremental.UpdateResult attribute) replace_with() (curate_ipsum.synthesis.population.Population method) restore_checkpoint() (curate_ipsum.theory.rollback.RollbackManager method) return_type (curate_ipsum.graph.FunctionSignature attribute) (curate_ipsum.graph.models.FunctionSignature attribute) REVISE (curate_ipsum.theory.provenance.RevisionType attribute) revise_with_assertion() (curate_ipsum.theory.manager.TheoryManager method) RevisionEvent (class in curate_ipsum.theory.provenance) RevisionType (class in curate_ipsum.theory.provenance) right_rank (curate_ipsum.graph.kameda.KamedaIndex attribute) (curate_ipsum.graph.KamedaIndex attribute) ROLLBACK (curate_ipsum.theory.provenance.RevisionType attribute) rollback_to() (curate_ipsum.theory.rollback.RollbackManager method) RollbackError RollbackManager (class in curate_ipsum.theory.rollback) root_cause_assertion_id (curate_ipsum.theory.failure_analyzer.FailureAnalysis attribute) run() (curate_ipsum.verification.orchestrator.VerificationOrchestrator method) run_command() (in module curate_ipsum.tools) run_integration_tests() (in module curate_ipsum.tools) run_multi_backend() (curate_ipsum.verification.orchestrator.VerificationOrchestrator method) run_mutation_tests() (in module curate_ipsum.tools) run_unit_tests() (in module curate_ipsum.tools) RunHistory (class in curate_ipsum.models) RunKind (class in curate_ipsum.models) RunMeta (class in curate_ipsum.models) runs (curate_ipsum.models.RunHistory attribute) runtimeMs (curate_ipsum.models.MutationRunResult attribute) S save() (curate_ipsum.theory.provenance.ProvenanceStore static method) ScopeTracker (class in curate_ipsum.graph.ast_extractor) score (curate_ipsum.rag.search.RAGResult attribute) (curate_ipsum.rag.vector_store.VectorSearchResult attribute) search() (curate_ipsum.rag.search.RAGPipeline method) (curate_ipsum.rag.vector_store.ChromaVectorStore method) (curate_ipsum.rag.vector_store.VectorStore method) secondary (curate_ipsum.parsers.detection.ProjectLanguage attribute) (curate_ipsum.parsers.ProjectLanguage attribute) SEED (curate_ipsum.synthesis.models.PatchSource attribute) (curate_ipsum.synthesis.PatchSource attribute) select_elite() (curate_ipsum.synthesis.population.Population method) select_for_replacement() (curate_ipsum.synthesis.entropy.EntropyManager method) SEMANTIC_DRIFT (curate_ipsum.theory.failure_analyzer.FailureMode attribute) set_file_hashes() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) signature (curate_ipsum.graph.GraphNode attribute) (curate_ipsum.graph.models.GraphNode attribute) sink_id (curate_ipsum.graph.kameda.KamedaIndex attribute) (curate_ipsum.graph.KamedaIndex attribute) size() (curate_ipsum.synthesis.population.Population method) SKIPPED (curate_ipsum.parsers.mutmut_parser.MutmutStatus attribute) source (curate_ipsum.rag.search.RAGResult attribute) (curate_ipsum.synthesis.CodePatch attribute) (curate_ipsum.synthesis.Individual attribute) (curate_ipsum.synthesis.models.CodePatch attribute) (curate_ipsum.synthesis.models.Individual attribute) source_id (curate_ipsum.graph.GraphEdge attribute) (curate_ipsum.graph.kameda.KamedaIndex attribute) (curate_ipsum.graph.KamedaIndex attribute) (curate_ipsum.graph.models.GraphEdge attribute) SourceLocation (class in curate_ipsum.graph) (class in curate_ipsum.graph.models) spec_weight (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) Specification (class in curate_ipsum.synthesis) (class in curate_ipsum.synthesis.models) SQLiteGraphStore (class in curate_ipsum.storage.sqlite_graph_store) stats (curate_ipsum.verification.types.VerificationResult attribute) (curate_ipsum.verification.VerificationResult attribute) status (curate_ipsum.parsers.mutmut_parser.MutmutMutant attribute) (curate_ipsum.synthesis.models.SynthesisResult attribute) (curate_ipsum.synthesis.SynthesisResult attribute) (curate_ipsum.verification.orchestrator.OrchestratorResult attribute) (curate_ipsum.verification.types.VerificationResult attribute) (curate_ipsum.verification.VerificationResult attribute) stderr (curate_ipsum.tools.CommandResult attribute) stdout (curate_ipsum.tools.CommandResult attribute) store (curate_ipsum.theory.manager.TheoryManager property) store_edge() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) store_evidence() (curate_ipsum.theory.manager.TheoryManager method) store_graph() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) store_node() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) store_partitions() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) store_reachability_index() (curate_ipsum.storage.graph_store.GraphStore method) (curate_ipsum.storage.kuzu_graph_store.KuzuGraphStore method) (curate_ipsum.storage.sqlite_graph_store.SQLiteGraphStore method) strategy (curate_ipsum.theory.provenance.RevisionEvent attribute) strongly_connected_components() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) STRYKER (curate_ipsum.parsers.detection.MutationFramework attribute) (curate_ipsum.parsers.MutationFramework attribute) SUCCESS (curate_ipsum.synthesis.models.SynthesisStatus attribute) (curate_ipsum.synthesis.SynthesisStatus attribute) suggested_contraction_ids (curate_ipsum.theory.failure_analyzer.FailureAnalysis attribute) supports() (curate_ipsum.verification.backend.VerificationBackend method) (curate_ipsum.verification.backends.angr_docker.AngrDockerBackend method) (curate_ipsum.verification.backends.mock.MockBackend method) (curate_ipsum.verification.backends.z3_backend.Z3Backend method) survived (curate_ipsum.models.FileMutationStats attribute) (curate_ipsum.models.MutationRunResult attribute) surviving_mutant_ids (curate_ipsum.synthesis.models.Specification attribute) (curate_ipsum.synthesis.Specification attribute) symbols (curate_ipsum.verification.types.VerificationRequest attribute) (curate_ipsum.verification.VerificationRequest attribute) SymbolSpec (class in curate_ipsum.verification) (class in curate_ipsum.verification.types) synthesis_timeout_seconds (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) SynthesisConfig (class in curate_ipsum.synthesis) (class in curate_ipsum.synthesis.models) SynthesisResult (class in curate_ipsum.synthesis) (class in curate_ipsum.synthesis.models) SynthesisStatus (class in curate_ipsum.synthesis) (class in curate_ipsum.synthesis.models) SynthesisStore (class in curate_ipsum.storage.synthesis_store) synthesize() (curate_ipsum.synthesis.cegis.CEGISEngine method) T target_binary (curate_ipsum.verification.types.VerificationRequest attribute) (curate_ipsum.verification.VerificationRequest attribute) target_id (curate_ipsum.graph.GraphEdge attribute) (curate_ipsum.graph.models.GraphEdge attribute) target_region (curate_ipsum.synthesis.models.Specification attribute) (curate_ipsum.synthesis.Specification attribute) temperature (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) test_command (curate_ipsum.synthesis.Counterexample attribute) (curate_ipsum.synthesis.models.Counterexample attribute) test_commands (curate_ipsum.synthesis.models.Specification attribute) (curate_ipsum.synthesis.Specification attribute) test_outcome (curate_ipsum.parsers.cosmic_ray_parser.CosmicRayMutant attribute) test_timeout_seconds (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) TestRunResult (class in curate_ipsum.models) text (curate_ipsum.rag.search.RAGResult attribute) (curate_ipsum.rag.vector_store.VectorDocument attribute) (curate_ipsum.rag.vector_store.VectorSearchResult attribute) TheoryManager (class in curate_ipsum.theory.manager) timed_out (curate_ipsum.tools.CommandResult attribute) TIMEOUT (curate_ipsum.synthesis.models.SynthesisStatus attribute) (curate_ipsum.synthesis.SynthesisStatus attribute) timeout_s (curate_ipsum.verification.Budget attribute) (curate_ipsum.verification.types.Budget attribute) timestamp (curate_ipsum.models.RunMeta attribute) (curate_ipsum.theory.provenance.RevisionEvent attribute) (curate_ipsum.theory.rollback.Checkpoint attribute) to_dict() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.kameda.KamedaIndex method) (curate_ipsum.graph.KamedaIndex method) (curate_ipsum.graph.models.CallGraph method) (curate_ipsum.storage.incremental.ChangeSet method) (curate_ipsum.storage.incremental.UpdateResult method) (curate_ipsum.synthesis.CodePatch method) (curate_ipsum.synthesis.Counterexample method) (curate_ipsum.synthesis.models.CodePatch method) (curate_ipsum.synthesis.models.Counterexample method) (curate_ipsum.synthesis.models.SynthesisResult method) (curate_ipsum.synthesis.SynthesisResult method) (curate_ipsum.theory.failure_analyzer.FailureAnalysis method) (curate_ipsum.theory.provenance.ProvenanceDAG method) (curate_ipsum.theory.provenance.RevisionEvent method) (curate_ipsum.verification.Budget method) (curate_ipsum.verification.Counterexample method) (curate_ipsum.verification.orchestrator.OrchestratorResult method) (curate_ipsum.verification.SymbolSpec method) (curate_ipsum.verification.types.Budget method) (curate_ipsum.verification.types.Counterexample method) (curate_ipsum.verification.types.SymbolSpec method) (curate_ipsum.verification.types.VerificationRequest method) (curate_ipsum.verification.types.VerificationResult method) (curate_ipsum.verification.VerificationRequest method) (curate_ipsum.verification.VerificationResult method) to_dot() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) to_json() (curate_ipsum.verification.types.VerificationRequest method) (curate_ipsum.verification.VerificationRequest method) to_string() (curate_ipsum.regions.models.Region method) (curate_ipsum.regions.Region method) to_world_hash (curate_ipsum.theory.provenance.RevisionEvent attribute) tool (curate_ipsum.models.MutationRunResult attribute) top_k (curate_ipsum.synthesis.models.SynthesisConfig attribute) (curate_ipsum.synthesis.SynthesisConfig attribute) topological_sort() (curate_ipsum.graph.CallGraph method) (curate_ipsum.graph.models.CallGraph method) total_candidates_evaluated (curate_ipsum.synthesis.models.SynthesisResult attribute) (curate_ipsum.synthesis.SynthesisResult attribute) total_changed (curate_ipsum.storage.incremental.ChangeSet property) total_cost_estimate (curate_ipsum.synthesis.cloud_llm.CloudLLMClient property) total_elapsed_s (curate_ipsum.verification.orchestrator.OrchestratorResult attribute) total_files_scanned (curate_ipsum.storage.incremental.UpdateResult attribute) totalMutants (curate_ipsum.models.FileMutationStats attribute) (curate_ipsum.models.MutationRunResult attribute) totalTests (curate_ipsum.models.TestRunResult attribute) tournament_select() (curate_ipsum.synthesis.population.Population method) trace (curate_ipsum.verification.Counterexample attribute) (curate_ipsum.verification.types.Counterexample attribute) triviality (curate_ipsum.models.RegionMetrics attribute) TYPE (curate_ipsum.theory.assertions.AssertionKind attribute) TYPE_MISMATCH (curate_ipsum.theory.failure_analyzer.FailureMode attribute) U UNDERFITTING (curate_ipsum.theory.failure_analyzer.FailureMode attribute) undo_last() (curate_ipsum.theory.rollback.RollbackManager method) UNIT (curate_ipsum.models.RunKind attribute) UNIVERSALMUTATOR (curate_ipsum.parsers.detection.MutationFramework attribute) (curate_ipsum.parsers.MutationFramework attribute) UNKNOWN (curate_ipsum.parsers.detection.MutationFramework attribute) (curate_ipsum.parsers.MutationFramework attribute) (curate_ipsum.theory.failure_analyzer.FailureMode attribute) UnsupportedFeatureError, [1] UnsupportedFrameworkError UNTESTED (curate_ipsum.parsers.mutmut_parser.MutmutStatus attribute) update_graph() (curate_ipsum.storage.incremental.IncrementalEngine method) UpdateResult (class in curate_ipsum.storage.incremental) V vector_top_k (curate_ipsum.rag.search.RAGConfig attribute) VectorDocument (class in curate_ipsum.rag.vector_store) VectorSearchResult (class in curate_ipsum.rag.vector_store) VectorStore (class in curate_ipsum.rag.vector_store) VerificationBackend (class in curate_ipsum.verification.backend) VerificationOrchestrator (class in curate_ipsum.verification.orchestrator) VerificationRequest (class in curate_ipsum.verification) (class in curate_ipsum.verification.types) VerificationResult (class in curate_ipsum.verification) (class in curate_ipsum.verification.types) VerificationStatus (class in curate_ipsum.verification) (class in curate_ipsum.verification.types) verify() (curate_ipsum.verification.backend.VerificationBackend method) (curate_ipsum.verification.backends.angr_docker.AngrDockerBackend method) (curate_ipsum.verification.backends.mock.MockBackend method) (curate_ipsum.verification.backends.z3_backend.Z3Backend method) violation_condition (curate_ipsum.verification.harness.builder.HarnessSpec attribute) visit_AsyncFunctionDef() (curate_ipsum.graph.ast_extractor.CallVisitor method) (curate_ipsum.graph.ast_extractor.DefinitionVisitor method) visit_Call() (curate_ipsum.graph.ast_extractor.CallVisitor method) visit_ClassDef() (curate_ipsum.graph.ast_extractor.CallVisitor method) (curate_ipsum.graph.ast_extractor.DefinitionVisitor method) visit_DictComp() (curate_ipsum.graph.ast_extractor.DefinitionVisitor method) visit_FunctionDef() (curate_ipsum.graph.ast_extractor.CallVisitor method) (curate_ipsum.graph.ast_extractor.DefinitionVisitor method) visit_GeneratorExp() (curate_ipsum.graph.ast_extractor.DefinitionVisitor method) visit_Lambda() (curate_ipsum.graph.ast_extractor.DefinitionVisitor method) visit_ListComp() (curate_ipsum.graph.ast_extractor.DefinitionVisitor method) visit_Module() (curate_ipsum.graph.ast_extractor.CallVisitor method) (curate_ipsum.graph.ast_extractor.DefinitionVisitor method) visit_SetComp() (curate_ipsum.graph.ast_extractor.DefinitionVisitor method) W when_added() (curate_ipsum.theory.manager.TheoryManager method) (curate_ipsum.theory.provenance.ProvenanceDAG method) when_removed() (curate_ipsum.theory.provenance.ProvenanceDAG method) why_believe() (curate_ipsum.theory.manager.TheoryManager method) (curate_ipsum.theory.provenance.ProvenanceDAG method) worker_outcome (curate_ipsum.parsers.cosmic_ray_parser.CosmicRayMutant attribute) working_directory (curate_ipsum.synthesis.models.Specification attribute) (curate_ipsum.synthesis.Specification attribute) world_hash (curate_ipsum.theory.rollback.Checkpoint attribute) world_label (curate_ipsum.theory.manager.TheoryManager property) Z Z3Backend (class in curate_ipsum.verification.backends.z3_backend)