c4reqber 5.6.0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- c4reqber-5.6.0.dist-info/METADATA +381 -0
- c4reqber-5.6.0.dist-info/RECORD +1439 -0
- c4reqber-5.6.0.dist-info/WHEEL +4 -0
- c4reqber-5.6.0.dist-info/entry_points.txt +3 -0
- c4reqber-5.6.0.dist-info/licenses/LICENSE +165 -0
- c4reqber-5.6.0.dist-info/licenses/LICENSE-COMMERCIAL.md +193 -0
- c4reqber-5.6.0.dist-info/licenses/NOTICE +9 -0
- src/__init__.py +8 -0
- src/__main__.py +17 -0
- src/adapters/__init__.py +1 -0
- src/adapters/arxiv_adapter.py +238 -0
- src/adapters/ollama_adapter.py +330 -0
- src/adapters/pubmed_adapter.py +294 -0
- src/agenda/__init__.py +8 -0
- src/agenda/feasibility.py +66 -0
- src/agenda/generator.py +131 -0
- src/agenda/priority.py +48 -0
- src/agenda/progress.py +57 -0
- src/agent/__init__.py +11 -0
- src/agent/config.py +128 -0
- src/agent/core.py +797 -0
- src/agent/daemon.py +194 -0
- src/agent/discovery_agent.py +527 -0
- src/agent/skills.py +201 -0
- src/agent/sub_agent.py +97 -0
- src/agents/__init__.py +27 -0
- src/agents/discovery/__init__.py +39 -0
- src/agents/discovery/core.py +319 -0
- src/agents/discovery/strategies.py +251 -0
- src/agents/discovery_agent.py +35 -0
- src/agents/discovery_loop.py +67 -0
- src/agents/functor_orchestrator.py +230 -0
- src/agents/functors/__init__.py +29 -0
- src/agents/functors/abstraction.py +31 -0
- src/agents/functors/base.py +76 -0
- src/agents/functors/composite.py +108 -0
- src/agents/functors/concretization.py +31 -0
- src/agents/functors/context.py +31 -0
- src/agents/functors/distinction.py +38 -0
- src/agents/functors/integration.py +31 -0
- src/agents/functors/inversion.py +38 -0
- src/agents/functors/meta_reflection.py +31 -0
- src/agents/functors/prompts.py +134 -0
- src/agents/functors/resonance.py +31 -0
- src/agents/functors/temporal.py +31 -0
- src/agents/mp_llm_generator.py +197 -0
- src/agents/multi/__init__.py +28 -0
- src/agents/multi/agents.py +398 -0
- src/agents/multi/core.py +123 -0
- src/agents/multi/orchestrator.py +109 -0
- src/agents/multi_agent.py +729 -0
- src/agents/orchestrator.py +186 -0
- src/agents/paradigm_coordinator.py +348 -0
- src/agents/pipeline/__init__.py +27 -0
- src/agents/pipeline/executor.py +628 -0
- src/agents/pipeline/steps/__init__.py +12 -0
- src/agents/pipeline/steps/base.py +51 -0
- src/agents/pipeline/steps/step_01_impact.py +70 -0
- src/agents/pipeline/steps/step_02_prior_art.py +125 -0
- src/agents/pipeline/steps/step_02b_gap_analysis.py +56 -0
- src/agents/pipeline/steps/step_02c_quality_gate.py +81 -0
- src/agents/pipeline/steps/step_02d_reality_check.py +184 -0
- src/agents/pipeline/steps/step_03_c4_fingerprint.py +72 -0
- src/agents/pipeline/steps/step_04_mp_rotation.py +138 -0
- src/agents/pipeline/steps/step_05_qzrf.py +59 -0
- src/agents/pipeline/steps/step_05b_cross_domain_transfer.py +82 -0
- src/agents/pipeline/steps/step_06_isomorphism.py +213 -0
- src/agents/pipeline/steps/step_07_plugins.py +63 -0
- src/agents/pipeline/steps/step_08_synthesis.py +434 -0
- src/agents/pipeline/steps/step_09_tote.py +407 -0
- src/agents/pipeline/steps/step_10_simulation.py +66 -0
- src/agents/plugin_synthesis_integrator.py +66 -0
- src/agents/policy.py +302 -0
- src/agents/prompts/__init__.py +13 -0
- src/agents/prompts/paradigm.py +48 -0
- src/agents/qa.py +333 -0
- src/agents/solve_pipeline.py +219 -0
- src/agents/soul.py +219 -0
- src/agents/synthesis/core.py +53 -0
- src/analogy/__init__.py +18 -0
- src/analogy/core.py +294 -0
- src/analogy/data.py +160 -0
- src/analogy/engine.py +25 -0
- src/analogy/operations.py +302 -0
- src/analogy/structural.py +634 -0
- src/analogy/utils.py +109 -0
- src/api/__init__.py +47 -0
- src/api/agents_router.py +325 -0
- src/api/auth.py +334 -0
- src/api/cache.py +179 -0
- src/api/data/__init__.py +7 -0
- src/api/db_manager.py +460 -0
- src/api/dependencies.py +94 -0
- src/api/dev_mode.py +94 -0
- src/api/errors.py +92 -0
- src/api/health.py +105 -0
- src/api/lifespan.py +181 -0
- src/api/main.py +7 -0
- src/api/middleware/__init__.py +29 -0
- src/api/middleware/auth.py +104 -0
- src/api/middleware/cors.py +31 -0
- src/api/middleware/csrf.py +152 -0
- src/api/middleware/security.py +266 -0
- src/api/models.py +182 -0
- src/api/rate_limiter.py +263 -0
- src/api/routers/__init__.py +33 -0
- src/api/routers/auth.py +220 -0
- src/api/routers/bridge.py +93 -0
- src/api/routers/discoveries.py +116 -0
- src/api/routers/discovery_list.py +41 -0
- src/api/routers/graph.py +58 -0
- src/api/routers/health.py +134 -0
- src/api/routers/metrics.py +117 -0
- src/api/routers/patterns.py +195 -0
- src/api/routers/search.py +64 -0
- src/api/routers/theorems.py +130 -0
- src/api/routers/validation_single.py +32 -0
- src/api/routers/validations.py +146 -0
- src/api/routers/websocket.py +235 -0
- src/api/server.py +139 -0
- src/api/v7_schemas.py +475 -0
- src/api/v8_router.py +37 -0
- src/api/v8_routers/__init__.py +37 -0
- src/api/v8_routers/agenda.py +159 -0
- src/api/v8_routers/arxiv_v8.py +44 -0
- src/api/v8_routers/discovery/__init__.py +70 -0
- src/api/v8_routers/discovery/export.py +118 -0
- src/api/v8_routers/discovery/job_store_redis.py +169 -0
- src/api/v8_routers/discovery/jobs.py +252 -0
- src/api/v8_routers/discovery/pipeline.py +587 -0
- src/api/v8_routers/discovery/search.py +11 -0
- src/api/v8_routers/discovery_core.py +318 -0
- src/api/v8_routers/discovery_pipeline.py +351 -0
- src/api/v8_routers/discovery_utils.py +445 -0
- src/api/v8_routers/discovery_v8.py +215 -0
- src/api/v8_routers/exploration.py +229 -0
- src/api/v8_routers/knowledge_v8.py +161 -0
- src/api/v8_routers/news_v8.py +49 -0
- src/api/v8_routers/newton_v8.py +74 -0
- src/api/v8_routers/novelty_v8.py +476 -0
- src/api/v8_routers/scimatic_v8.py +73 -0
- src/api/v8_routers/social_v8.py +123 -0
- src/api/v8_routers/turbo_v8.py +245 -0
- src/api/v8_routers/verification_v8.py +326 -0
- src/api/v8_schemas.py +119 -0
- src/api/websocket.py +51 -0
- src/archetypes/__init__.py +29 -0
- src/archetypes/data.py +382 -0
- src/archetypes/engine.py +313 -0
- src/architecture/__init__.py +72 -0
- src/architecture/cqrs.py +167 -0
- src/architecture/event_sourcing.py +302 -0
- src/architecture/saga.py +246 -0
- src/auth/__init__.py +1 -0
- src/auth/supabase_anon.py +392 -0
- src/auth/telegram_wallet.py +350 -0
- src/auth/web3.py +358 -0
- src/bayesian/__init__.py +78 -0
- src/bayesian/bma.py +353 -0
- src/bayesian/core.py +279 -0
- src/bayesian/dempster_shafer.py +168 -0
- src/bayesian/dst.py +190 -0
- src/bayesian/fuzzy.py +210 -0
- src/bayesian/mcmc.py +420 -0
- src/bayesian/models.py +57 -0
- src/bayesian/optimization.py +229 -0
- src/bayesian/router.py +182 -0
- src/benchmarks/__init__.py +56 -0
- src/benchmarks/falsification_benchmark.py +393 -0
- src/benchmarks/isomorphism_benchmark.py +545 -0
- src/benchmarks/novelty_benchmark.py +544 -0
- src/benchmarks/triz_benchmark.py +482 -0
- src/bibliography/__init__.py +1 -0
- src/bibliography/manager.py +367 -0
- src/c4/__init__.py +6 -0
- src/c4/alert_taxonomy.py +57 -0
- src/c4/cognitive_load.py +114 -0
- src/c4/cognitive_router.py +160 -0
- src/c4/constraint_solver.py +253 -0
- src/c4/core.py +42 -0
- src/c4/core_operators.py +57 -0
- src/c4/engine.py +285 -0
- src/c4/extended_operators.py +44 -0
- src/c4/formal_citations.py +102 -0
- src/c4/gated_pipeline.py +69 -0
- src/c4/history_graph.py +76 -0
- src/c4/hypothesis_sandbox.py +59 -0
- src/c4/injection_hook.py +84 -0
- src/c4/invariant_engine.py +365 -0
- src/c4/layer_stream.py +89 -0
- src/c4/metrics.py +60 -0
- src/c4/navigation.py +213 -0
- src/c4/neural_classifier/__init__.py +33 -0
- src/c4/neural_classifier/architectures/__init__.py +1 -0
- src/c4/neural_classifier/architectures/c4_router.py +488 -0
- src/c4/neural_classifier/c4_types.py +136 -0
- src/c4/neural_classifier/heuristic_classifier.py +60 -0
- src/c4/neural_classifier/llm_classifier.py +465 -0
- src/c4/neural_classifier/neural_fingerprint.py +351 -0
- src/c4/neural_classifier/types.py +19 -0
- src/c4/observer.py +142 -0
- src/c4/path_manifest.py +90 -0
- src/c4/result.py +42 -0
- src/c4/routing.py +443 -0
- src/c4/scientist_paths.py +369 -0
- src/c4/state.py +569 -0
- src/c4/state_journal.py +66 -0
- src/c4/stratified_blocks.py +67 -0
- src/c4/structured_input.py +62 -0
- src/c4/transformer.py +343 -0
- src/c4/types.py +42 -0
- src/c4_analysis/__init__.py +10 -0
- src/c4_analysis/abstraction_ladder.py +152 -0
- src/c4_analysis/extended_engines.py +413 -0
- src/c4_analysis/llm_classifier.py +102 -0
- src/c4_analysis/multi_prompt_router.py +143 -0
- src/c4_analysis/system_analyzer.py +296 -0
- src/c4_analysis/system_synthesizer.py +237 -0
- src/c4_analysis/transfer_pipeline.py +711 -0
- src/c4_analysis/unified_entry.py +75 -0
- src/causal/__init__.py +22 -0
- src/causal/counterfactual.py +265 -0
- src/causal/counterfactual_derivation.py +132 -0
- src/causal/discovery.py +437 -0
- src/causal/discovery_engine.py +185 -0
- src/causal/do_calculus.py +325 -0
- src/causal/estimation_engine.py +208 -0
- src/causal/gp_scm.py +193 -0
- src/causal/scm.py +375 -0
- src/cli/__init__.py +15 -0
- src/cli/beep.py +16 -0
- src/cli/blast_app.py +1657 -0
- src/cli/blast_core.py +829 -0
- src/cli/config_init.py +229 -0
- src/cli/core.py +82 -0
- src/cli/cube_mascot.py +345 -0
- src/cli/display.py +34 -0
- src/cli/header.py +122 -0
- src/cli/layout_manager.py +182 -0
- src/cli/mode_router.py +59 -0
- src/cli/package_manager.py +266 -0
- src/cli/timeline.py +101 -0
- src/cli/tui_launcher.py +129 -0
- src/cli/typer_analogy.py +47 -0
- src/cli/typer_app.py +297 -0
- src/cli/typer_c4.py +107 -0
- src/cli/typer_core.py +216 -0
- src/cli/typer_graph.py +54 -0
- src/cli/typer_research.py +129 -0
- src/cli/typer_system.py +71 -0
- src/cli/typer_triz.py +91 -0
- src/cli/typer_validate.py +43 -0
- src/codegen/__init__.py +1 -0
- src/codegen/mcp_tool.py +533 -0
- src/collaboration/__init__.py +0 -0
- src/compat.py +5 -0
- src/compliance/__init__.py +1 -0
- src/compliance/license_checker.py +32 -0
- src/compute/__init__.py +18 -0
- src/compute/gpu_dashboard.py +217 -0
- src/compute/gpu_providers.py +91 -0
- src/compute/vastai_runner.py +50 -0
- src/conceptual_blending/__init__.py +3 -0
- src/conceptual_blending/blender.py +76 -0
- src/conceptual_blending/examples.py +76 -0
- src/conceptual_blending/router.py +131 -0
- src/config/__init__.py +39 -0
- src/config/db_config.py +129 -0
- src/config/paths.py +247 -0
- src/config/variants/__init__.py +53 -0
- src/config/variants/detector.py +29 -0
- src/contracts/__init__.py +4 -0
- src/contracts/c4_types.py +65 -0
- src/contracts/llm_types.py +39 -0
- src/contracts/pipeline_config.py +167 -0
- src/contracts/pipeline_types.py +70 -0
- src/contracts/verification_types.py +31 -0
- src/contradiction_miner/__init__.py +16 -0
- src/contradiction_miner/detector.py +144 -0
- src/contradiction_miner/extractor.py +97 -0
- src/contradiction_miner/router.py +118 -0
- src/core/__init__.py +19 -0
- src/core/c4_state.py +28 -0
- src/core/cdi_engine.py +331 -0
- src/core/complexity_adapter.py +152 -0
- src/core/complexity_cache.py +268 -0
- src/core/disclosure_filter.py +168 -0
- src/core/domains.py +51 -0
- src/core/flywheel.py +123 -0
- src/core/logging.py +308 -0
- src/core/manifest.py +66 -0
- src/core/operators.py +324 -0
- src/core/profile_manager.py +99 -0
- src/core/user_profile.py +83 -0
- src/dashboard/__init__.py +18 -0
- src/dashboard/metrics.py +418 -0
- src/data/__init__.py +7 -0
- src/data/connection_pool.py +294 -0
- src/data/database.py +453 -0
- src/data/database_pg.py +234 -0
- src/data/ingestion/__init__.py +5 -0
- src/data/ingestion/base.py +167 -0
- src/data/orchestrator.py +805 -0
- src/data/orm.py +102 -0
- src/decisions/__init__.py +14 -0
- src/decisions/ahp.py +66 -0
- src/decisions/router.py +107 -0
- src/decisions/topsis.py +72 -0
- src/design/__init__.py +75 -0
- src/design/cli_output/__init__.py +31 -0
- src/design/cli_output/_displays.py +195 -0
- src/design/cli_output/_panels.py +115 -0
- src/design/cli_output/_tables.py +101 -0
- src/design/cli_output/_widgets.py +107 -0
- src/design/cli_output.py +609 -0
- src/design/tokens.py +350 -0
- src/di/__init__.py +4 -0
- src/di/container.py +41 -0
- src/discovery/__init__.py +120 -0
- src/discovery/abduction.py +519 -0
- src/discovery/already_shifted.py +452 -0
- src/discovery/autoscanner.py +259 -0
- src/discovery/chainer.py +258 -0
- src/discovery/closed_loop/__init__.py +6 -0
- src/discovery/closed_loop/bayesian_tracker.py +92 -0
- src/discovery/closed_loop/convergence.py +46 -0
- src/discovery/closed_loop/ensemble_runner.py +47 -0
- src/discovery/closed_loop/experiment_designer.py +74 -0
- src/discovery/closed_loop/orchestrator.py +108 -0
- src/discovery/closed_loop/refiner.py +81 -0
- src/discovery/contradiction.py +452 -0
- src/discovery/contradiction_engine.py +235 -0
- src/discovery/derivation_chain.py +96 -0
- src/discovery/falsification.py +612 -0
- src/discovery/falsifier.py +879 -0
- src/discovery/gap_analyzer.py +173 -0
- src/discovery/gap_analyzer_base.py +75 -0
- src/discovery/gap_miner.py +647 -0
- src/discovery/kuhn_criteria.py +251 -0
- src/discovery/novelty_validator.py +406 -0
- src/discovery/paradigm_shift.py +353 -0
- src/discovery/parsimony.py +88 -0
- src/discovery/pipeline_logic.py +1516 -0
- src/discovery/ranking/__init__.py +8 -0
- src/discovery/ranking/cost_model.py +52 -0
- src/discovery/ranking/eig_estimator.py +99 -0
- src/discovery/ranking/mcdm_ranker.py +123 -0
- src/discovery/ranking/orchestrator.py +78 -0
- src/discovery/ranking/prior_scorer.py +127 -0
- src/discovery/recursive_validation.py +78 -0
- src/discovery/search.py +33 -0
- src/discovery/strong_inference.py +581 -0
- src/discovery/temporal_kg.py +350 -0
- src/discovery/web_enhanced.py +96 -0
- src/effects/__init__.py +18 -0
- src/effects/database.py +172 -0
- src/effects/effects_db.py +167 -0
- src/enhanced_cdi.py +94 -0
- src/experiment_design/__init__.py +85 -0
- src/experiment_design/doe.py +279 -0
- src/experiment_design/power.py +273 -0
- src/experiment_design/reproducibility.py +296 -0
- src/experiment_design/router.py +188 -0
- src/explainability/__init__.py +19 -0
- src/explainability/core.py +375 -0
- src/explainability/engine.py +26 -0
- src/explainability/renderers.py +58 -0
- src/exploration/__init__.py +7 -0
- src/exploration/anomaly_detector.py +90 -0
- src/exploration/formal_extender.py +140 -0
- src/exploration/question_generator.py +96 -0
- src/export/__init__.py +18 -0
- src/export/manager.py +279 -0
- src/export/presentation.py +222 -0
- src/extractors/__init__.py +9 -0
- src/extractors/contradiction.py +386 -0
- src/falsification/__init__.py +16 -0
- src/falsification/lakatos.py +45 -0
- src/falsification/popper.py +50 -0
- src/falsification/router.py +117 -0
- src/game_theory/__init__.py +13 -0
- src/game_theory/nash.py +54 -0
- src/game_theory/router.py +77 -0
- src/game_theory/shapley.py +28 -0
- src/graph/__init__.py +58 -0
- src/graph/core.py +343 -0
- src/graph/graph_view.py +18 -0
- src/graph/io.py +50 -0
- src/graph/knowledge_graph.py +261 -0
- src/graph/operations/__init__.py +33 -0
- src/graph/operations/core.py +184 -0
- src/graph/operations/mutations.py +209 -0
- src/graph/operations/utils.py +90 -0
- src/graph/operations.py +38 -0
- src/graph/queries.py +217 -0
- src/graph/seed_data.py +127 -0
- src/graph/view/__init__.py +1 -0
- src/graph/view/core.py +377 -0
- src/graph/view/renderers.py +193 -0
- src/infrastructure/__init__.py +19 -0
- src/infrastructure/cache/__init__.py +23 -0
- src/infrastructure/cache/tiered.py +339 -0
- src/infrastructure/events.py +112 -0
- src/infrastructure/logging/__init__.py +21 -0
- src/infrastructure/logging/config.py +110 -0
- src/infrastructure/logging/middleware.py +71 -0
- src/integrations/__init__.py +40 -0
- src/integrations/balance_checker.py +96 -0
- src/integrations/brev_client.py +161 -0
- src/integrations/eigent.py +170 -0
- src/integrations/exa_client.py +70 -0
- src/integrations/langchain.py +12 -0
- src/integrations/liquid_ai.py +71 -0
- src/integrations/n8n.py +39 -0
- src/integrations/nvidia.py +86 -0
- src/integrations/nvidia_cloud_client.py +57 -0
- src/integrations/openfang.py +148 -0
- src/integrations/scientific_bridges.py +118 -0
- src/integrations/tavily_budget.py +95 -0
- src/integrations/tavily_client.py +66 -0
- src/integrations/yandex.py +95 -0
- src/intel/__init__.py +4 -0
- src/intel/live_feed.py +396 -0
- src/knowledge/__init__.py +52 -0
- src/knowledge/arxiv_client.py +325 -0
- src/knowledge/arxivgg_client.py +138 -0
- src/knowledge/base_client.py +300 -0
- src/knowledge/cache.py +57 -0
- src/knowledge/chroma_store.py +237 -0
- src/knowledge/cinii_client.py +238 -0
- src/knowledge/citation_chaser.py +488 -0
- src/knowledge/citation_verifier.py +199 -0
- src/knowledge/config.py +620 -0
- src/knowledge/core_client.py +114 -0
- src/knowledge/crossref_client.py +312 -0
- src/knowledge/dataset_clients.py +281 -0
- src/knowledge/github_client.py +210 -0
- src/knowledge/local_files.py +132 -0
- src/knowledge/mega_db.py +274 -0
- src/knowledge/multi_source.py +16 -0
- src/knowledge/novelty_scorer.py +85 -0
- src/knowledge/openalex_client.py +124 -0
- src/knowledge/orchestrator.py +691 -0
- src/knowledge/orcid_client.py +479 -0
- src/knowledge/preprint_clients.py +207 -0
- src/knowledge/pubmed_client.py +382 -0
- src/knowledge/rsci_client.py +224 -0
- src/knowledge/scholarapi_client.py +62 -0
- src/knowledge/scimatic_client.py +61 -0
- src/knowledge/semantic_client.py +117 -0
- src/knowledge/semantic_scholar.py +377 -0
- src/knowledge/sources/__init__.py +59 -0
- src/knowledge/sources/aflow.py +79 -0
- src/knowledge/sources/allen_brain.py +76 -0
- src/knowledge/sources/arxiv.py +92 -0
- src/knowledge/sources/base.py +20 -0
- src/knowledge/sources/base_p6.py +178 -0
- src/knowledge/sources/base_p6_adapter.py +86 -0
- src/knowledge/sources/base_search.py +79 -0
- src/knowledge/sources/bibsonomy.py +189 -0
- src/knowledge/sources/brave.py +52 -0
- src/knowledge/sources/cern_opendata.py +48 -0
- src/knowledge/sources/chembl.py +49 -0
- src/knowledge/sources/clinicaltrials.py +63 -0
- src/knowledge/sources/conceptnet.py +79 -0
- src/knowledge/sources/core.py +67 -0
- src/knowledge/sources/crossref.py +60 -0
- src/knowledge/sources/cyberleninka.py +61 -0
- src/knowledge/sources/datacite.py +51 -0
- src/knowledge/sources/dblp.py +55 -0
- src/knowledge/sources/doaj.py +62 -0
- src/knowledge/sources/drugbank.py +93 -0
- src/knowledge/sources/europe_pmc.py +47 -0
- src/knowledge/sources/exa.py +33 -0
- src/knowledge/sources/extra_adapters.py +215 -0
- src/knowledge/sources/figshare.py +51 -0
- src/knowledge/sources/gbif.py +72 -0
- src/knowledge/sources/gtex.py +85 -0
- src/knowledge/sources/harvard_dataverse.py +84 -0
- src/knowledge/sources/huggingface_datasets.py +57 -0
- src/knowledge/sources/inspire_hep.py +59 -0
- src/knowledge/sources/kaggle.py +90 -0
- src/knowledge/sources/lens_org.py +50 -0
- src/knowledge/sources/materials_project.py +57 -0
- src/knowledge/sources/mathnet_ru.py +57 -0
- src/knowledge/sources/nasa_earthdata.py +85 -0
- src/knowledge/sources/ncbi_eutils.py +76 -0
- src/knowledge/sources/noaa.py +81 -0
- src/knowledge/sources/oa_mg.py +47 -0
- src/knowledge/sources/oeis.py +49 -0
- src/knowledge/sources/openalex.py +153 -0
- src/knowledge/sources/openfda.py +82 -0
- src/knowledge/sources/openreview.py +61 -0
- src/knowledge/sources/orcid.py +114 -0
- src/knowledge/sources/p6_adapters.py +425 -0
- src/knowledge/sources/pubchem.py +47 -0
- src/knowledge/sources/pubmed.py +107 -0
- src/knowledge/sources/re3data.py +76 -0
- src/knowledge/sources/semantic_scholar.py +53 -0
- src/knowledge/sources/string_db.py +83 -0
- src/knowledge/sources/tavily.py +33 -0
- src/knowledge/sources/uci_ml.py +69 -0
- src/knowledge/sources/uniprot.py +97 -0
- src/knowledge/sources/unpaywall.py +50 -0
- src/knowledge/sources/usgs.py +63 -0
- src/knowledge/sources/uspto_patentsview.py +53 -0
- src/knowledge/sources/wikidata.py +107 -0
- src/knowledge/sources/wolfram.py +62 -0
- src/knowledge/sources/zenodo.py +62 -0
- src/knowledge/zettelkasten.py +174 -0
- src/litintel/__init__.py +43 -0
- src/llm/__init__.py +55 -0
- src/llm/async_client.py +429 -0
- src/llm/cache.py +349 -0
- src/llm/client.py +188 -0
- src/llm/complexity.py +45 -0
- src/llm/config.py +117 -0
- src/llm/cost_tracker.py +201 -0
- src/llm/council.py +285 -0
- src/llm/depth_router.py +83 -0
- src/llm/embeddings.py +403 -0
- src/llm/fallback.py +6 -0
- src/llm/falsifiability.py +253 -0
- src/llm/gateway.py +225 -0
- src/llm/guarded_call.py +269 -0
- src/llm/local/__init__.py +11 -0
- src/llm/local/client.py +322 -0
- src/llm/local/core.py +29 -0
- src/llm/local_client.py +14 -0
- src/llm/local_discovery.py +176 -0
- src/llm/local_fallback.py +42 -0
- src/llm/model_assignment.py +259 -0
- src/llm/model_catalog.py +379 -0
- src/llm/multi_provider.py +83 -0
- src/llm/providers/__init__.py +25 -0
- src/llm/providers/base.py +204 -0
- src/llm/providers/lmstudio_cli.py +95 -0
- src/llm/providers/mlx_provider.py +172 -0
- src/llm/providers/ollama.py +32 -0
- src/llm/providers/openrouter.py +41 -0
- src/llm/providers/others.py +135 -0
- src/llm/providers/unified.py +213 -0
- src/llm/reasoner_client.py +281 -0
- src/llm/retry_pkg/__init__.py +28 -0
- src/llm/retry_pkg/core.py +89 -0
- src/llm/retry_pkg/policies.py +310 -0
- src/llm/router.py +368 -0
- src/llm/sync_provider_chain.py +227 -0
- src/llm/synthesizer.py +190 -0
- src/llm/types.py +17 -0
- src/main.py +821 -0
- src/main_refactored.py +821 -0
- src/mcp_server/__init__.py +4 -0
- src/mcp_server/fallback_protocol.py +237 -0
- src/mcp_server/fastmcp_bridge.py +133 -0
- src/mcp_server/server.py +1069 -0
- src/mcp_server/tool_schemas.py +84 -0
- src/memory/__init__.py +10 -0
- src/memory/bank.py +43 -0
- src/memory/core.py +399 -0
- src/memory/isomorphism_seed.py +229 -0
- src/memory/llm_isomorphisms.py +320 -0
- src/memory/operations.py +162 -0
- src/memory/skill.py +467 -0
- src/meta_layer/__init__.py +20 -0
- src/meta_layer/collaboration.py +84 -0
- src/meta_layer/ethics.py +95 -0
- src/meta_layer/provenance.py +98 -0
- src/meta_layer/router.py +233 -0
- src/metamodels/__init__.py +40 -0
- src/metamodels/compass.py +211 -0
- src/metamodels/hypercube.py +28 -0
- src/metamodels/impact.py +690 -0
- src/metamodels/matrix_dream.py +251 -0
- src/metamodels/mp/__init__.py +7 -0
- src/metamodels/mp/core.py +76 -0
- src/metamodels/mp/data.py +249 -0
- src/metamodels/mp/library.py +14 -0
- src/metamodels/mp/patterns.py +139 -0
- src/metamodels/mp/profiles.py +314 -0
- src/metamodels/qzrf/__init__.py +1 -0
- src/metamodels/qzrf/operators.py +340 -0
- src/metamodels/qzrf/projections.py +85 -0
- src/metamodels/tote.py +212 -0
- src/metaprograms/__init__.py +74 -0
- src/metaprograms/attractors.py +207 -0
- src/metaprograms/core.py +673 -0
- src/metaprograms/dynamics.py +153 -0
- src/metaprograms/profiler.py +320 -0
- src/news/__init__.py +7 -0
- src/news/aggregator.py +222 -0
- src/news/storage.py +115 -0
- src/novelty/__init__.py +1 -0
- src/novelty/validator.py +78 -0
- src/operators/__init__.py +0 -0
- src/operators/autoresearch.py +961 -0
- src/operators/fra.py +561 -0
- src/operators/matrix_dream.py +1120 -0
- src/operators/qzrf.py +600 -0
- src/operators/uta.py +139 -0
- src/operators/uta_bridge.py +84 -0
- src/paradigm/__init__.py +20 -0
- src/paradigm/anomaly.py +82 -0
- src/paradigm/detector.py +161 -0
- src/paradigm/models.py +50 -0
- src/paradigm/router.py +95 -0
- src/paradigm/temporal.py +129 -0
- src/patents/__init__.py +18 -0
- src/patents/client.py +11 -0
- src/patents/uspto_client.py +117 -0
- src/patterns/__init__.py +51 -0
- src/patterns/core.py +180 -0
- src/patterns/format/__init__.py +1 -0
- src/patterns/format/core.py +314 -0
- src/patterns/format/utils.py +293 -0
- src/patterns/formatter.py +14 -0
- src/patterns/library/__init__.py +695 -0
- src/patterns/library/acoustic_waves.py +493 -0
- src/patterns/library/adaptive_filter.py +468 -0
- src/patterns/library/age_structured.py +465 -0
- src/patterns/library/agent_based.py +742 -0
- src/patterns/library/air_quality.py +688 -0
- src/patterns/library/base.py +232 -0
- src/patterns/library/biogeochemistry.py +646 -0
- src/patterns/library/bootstrap.py +303 -0
- src/patterns/library/cellular_automata.py +345 -0
- src/patterns/library/cfd.py +451 -0
- src/patterns/library/circuit_simulation/__init__.py +24 -0
- src/patterns/library/circuit_simulation/config.py +84 -0
- src/patterns/library/circuit_simulation/core.py +447 -0
- src/patterns/library/circuit_simulation/pattern.py +280 -0
- src/patterns/library/climate_gcm.py +512 -0
- src/patterns/library/cloud_microphysics.py +645 -0
- src/patterns/library/collaborative_filtering.py +525 -0
- src/patterns/library/composite_mechanics.py +646 -0
- src/patterns/library/conflict.py +496 -0
- src/patterns/library/connectome/__init__.py +16 -0
- src/patterns/library/connectome/config.py +81 -0
- src/patterns/library/connectome/core.py +346 -0
- src/patterns/library/connectome/pattern.py +353 -0
- src/patterns/library/continuum_mechanics.py +572 -0
- src/patterns/library/credit_risk.py +447 -0
- src/patterns/library/crystal_growth.py +618 -0
- src/patterns/library/cultural_diffusion.py +428 -0
- src/patterns/library/dft.py +544 -0
- src/patterns/library/discrete_event.py +406 -0
- src/patterns/library/double_pendulum.py +364 -0
- src/patterns/library/dsge.py +356 -0
- src/patterns/library/economic_growth.py +557 -0
- src/patterns/library/elasticity_3d.py +650 -0
- src/patterns/library/enzyme_kinetics/__init__.py +16 -0
- src/patterns/library/enzyme_kinetics/config.py +82 -0
- src/patterns/library/enzyme_kinetics/core.py +383 -0
- src/patterns/library/enzyme_kinetics/pattern.py +331 -0
- src/patterns/library/epidemic_seir.py +506 -0
- src/patterns/library/epidemic_sir.py +315 -0
- src/patterns/library/evolutionary.py +497 -0
- src/patterns/library/fem.py +414 -0
- src/patterns/library/fisheries.py +634 -0
- src/patterns/library/flocking.py +455 -0
- src/patterns/library/forest_gap.py +633 -0
- src/patterns/library/fractal_julia.py +317 -0
- src/patterns/library/fractal_mandelbrot.py +311 -0
- src/patterns/library/game_theory.py +248 -0
- src/patterns/library/garch.py +223 -0
- src/patterns/library/gene_regulatory.py +681 -0
- src/patterns/library/geomagnetic.py +695 -0
- src/patterns/library/gravity_trade.py +515 -0
- src/patterns/library/groundwater.py +621 -0
- src/patterns/library/herding.py +598 -0
- src/patterns/library/heterogeneous_agents.py +505 -0
- src/patterns/library/hodgkin_huxley.py +532 -0
- src/patterns/library/innovation_diffusion.py +485 -0
- src/patterns/library/input_output.py +242 -0
- src/patterns/library/inverse_kinematics/__init__.py +44 -0
- src/patterns/library/inverse_kinematics/config.py +94 -0
- src/patterns/library/inverse_kinematics/core.py +517 -0
- src/patterns/library/inverse_kinematics/tests.py +235 -0
- src/patterns/library/ising_model.py +523 -0
- src/patterns/library/kalman_filter/__init__.py +449 -0
- src/patterns/library/kalman_filter/config.py +106 -0
- src/patterns/library/kalman_filter/core.py +306 -0
- src/patterns/library/kalman_filter/utils.py +145 -0
- src/patterns/library/land_surface.py +605 -0
- src/patterns/library/land_use.py +418 -0
- src/patterns/library/language_evolution.py +422 -0
- src/patterns/library/lotka_volterra.py +419 -0
- src/patterns/library/mantle_convection.py +671 -0
- src/patterns/library/market_microstructure.py +686 -0
- src/patterns/library/markov_chain.py +305 -0
- src/patterns/library/maxwell_fdtd.py +536 -0
- src/patterns/library/metapopulation.py +701 -0
- src/patterns/library/migration.py +405 -0
- src/patterns/library/model_predictive/__init__.py +24 -0
- src/patterns/library/model_predictive/config.py +119 -0
- src/patterns/library/model_predictive/core.py +343 -0
- src/patterns/library/model_predictive/solvers.py +161 -0
- src/patterns/library/model_predictive/tests.py +216 -0
- src/patterns/library/model_predictive/types.py +22 -0
- src/patterns/library/molecular_dynamics.py +503 -0
- src/patterns/library/monte_carlo.py +433 -0
- src/patterns/library/monte_carlo_pi.py +293 -0
- src/patterns/library/n_body.py +473 -0
- src/patterns/library/neural_mass.py +663 -0
- src/patterns/library/neural_network.py +370 -0
- src/patterns/library/ocean_circulation.py +658 -0
- src/patterns/library/open_quantum.py +661 -0
- src/patterns/library/opinion_dynamics.py +437 -0
- src/patterns/library/optimization.py +397 -0
- src/patterns/library/option_pricing.py +521 -0
- src/patterns/library/overlapping_generations.py +400 -0
- src/patterns/library/path_planning/__init__.py +19 -0
- src/patterns/library/path_planning/config.py +109 -0
- src/patterns/library/path_planning/core.py +361 -0
- src/patterns/library/path_planning/pattern.py +135 -0
- src/patterns/library/path_planning.py +343 -0
- src/patterns/library/pedestrian.py +466 -0
- src/patterns/library/percolation.py +540 -0
- src/patterns/library/pharmacokinetics.py +434 -0
- src/patterns/library/phase_field.py +384 -0
- src/patterns/library/pid_tuning/__init__.py +24 -0
- src/patterns/library/pid_tuning/config.py +63 -0
- src/patterns/library/pid_tuning/core.py +493 -0
- src/patterns/library/pid_tuning/utils.py +93 -0
- src/patterns/library/plasma_pic/__init__.py +18 -0
- src/patterns/library/plasma_pic/config.py +69 -0
- src/patterns/library/plasma_pic/core.py +270 -0
- src/patterns/library/plasma_pic/pattern.py +477 -0
- src/patterns/library/poisson_solver.py +648 -0
- src/patterns/library/population_genetics.py +332 -0
- src/patterns/library/portfolio_optimization.py +553 -0
- src/patterns/library/projectile_motion.py +330 -0
- src/patterns/library/prospect_theory.py +531 -0
- src/patterns/library/protein_folding.py +743 -0
- src/patterns/library/qft_lattice.py +578 -0
- src/patterns/library/quantum.py +644 -0
- src/patterns/library/quantum_harmonic_oscillator.py +291 -0
- src/patterns/library/queueing_networks/__init__.py +25 -0
- src/patterns/library/queueing_networks/config.py +80 -0
- src/patterns/library/queueing_networks/core.py +471 -0
- src/patterns/library/queueing_networks/pattern.py +159 -0
- src/patterns/library/reaction_diffusion.py +407 -0
- src/patterns/library/rigid_body.py +444 -0
- src/patterns/library/rumor_spreading.py +504 -0
- src/patterns/library/sea_ice.py +672 -0
- src/patterns/library/search_matching.py +449 -0
- src/patterns/library/seismic_waves.py +746 -0
- src/patterns/library/signal_transduction/__init__.py +20 -0
- src/patterns/library/signal_transduction/config.py +90 -0
- src/patterns/library/signal_transduction/models.py +431 -0
- src/patterns/library/signal_transduction/pattern.py +358 -0
- src/patterns/library/slam/__init__.py +18 -0
- src/patterns/library/slam/config.py +79 -0
- src/patterns/library/slam/core.py +418 -0
- src/patterns/library/slam/pattern.py +122 -0
- src/patterns/library/slam.py +276 -0
- src/patterns/library/social_network.py +298 -0
- src/patterns/library/spatial_ecology.py +501 -0
- src/patterns/library/spectral_estimation.py +602 -0
- src/patterns/library/spring_mass.py +327 -0
- src/patterns/library/state_space.py +730 -0
- src/patterns/library/supply_chain.py +267 -0
- src/patterns/library/surface_water.py +579 -0
- src/patterns/library/synaptic_plasticity.py +683 -0
- src/patterns/library/system_dynamics/__init__.py +21 -0
- src/patterns/library/system_dynamics/analysis.py +209 -0
- src/patterns/library/system_dynamics/core.py +320 -0
- src/patterns/library/system_dynamics/models.py +168 -0
- src/patterns/library/system_dynamics/results.py +119 -0
- src/patterns/library/system_dynamics/solver.py +68 -0
- src/patterns/library/system_dynamics/types.py +66 -0
- src/patterns/library/thermal.py +446 -0
- src/patterns/library/traffic_flow.py +698 -0
- src/patterns/library/urban_growth.py +552 -0
- src/patterns/library/wave_equation.py +461 -0
- src/patterns/library/wave_optics.py +589 -0
- src/patterns/library/wavelet_analysis.py +634 -0
- src/patterns/library/wildfire.py +696 -0
- src/patterns/resource_estimator.py +271 -0
- src/patterns/runner.py +353 -0
- src/patterns/topic_router.py +133 -0
- src/pipeline/__init__.py +44 -0
- src/pipeline/ab_testing.py +174 -0
- src/pipeline/auto_fix.py +154 -0
- src/pipeline/base.py +172 -0
- src/pipeline/config.py +298 -0
- src/pipeline/coordinated_discovery.py +270 -0
- src/pipeline/discovery_memory.py +225 -0
- src/pipeline/discovery_phases/__init__.py +0 -0
- src/pipeline/discovery_phases/phase_1_cognitive.py +79 -0
- src/pipeline/discovery_phases/phase_2_knowledge.py +60 -0
- src/pipeline/discovery_phases/phase_3_analysis.py +248 -0
- src/pipeline/discovery_phases/phase_4_detection.py +96 -0
- src/pipeline/discovery_phases/phase_5_verification.py +93 -0
- src/pipeline/discovery_phases/phase_6_quality.py +228 -0
- src/pipeline/events.py +14 -0
- src/pipeline/final_verifier.py +106 -0
- src/pipeline/hil_phases/__init__.py +23 -0
- src/pipeline/hil_phases/phase_a_usp.py +174 -0
- src/pipeline/hil_phases/phase_b_knowledge.py +75 -0
- src/pipeline/hil_phases/phase_c_gaps.py +91 -0
- src/pipeline/hil_phases/phase_d_agents.py +101 -0
- src/pipeline/hil_phases/phase_e_simulation.py +231 -0
- src/pipeline/hil_phases/phase_f_dissertation.py +212 -0
- src/pipeline/hil_phases/phase_g_quality.py +116 -0
- src/pipeline/hil_pipeline.py +391 -0
- src/pipeline/iterative_quality.py +189 -0
- src/pipeline/meta_pipeline.py +205 -0
- src/pipeline/observer.py +62 -0
- src/pipeline/output_profiles.py +187 -0
- src/pipeline/plugin_stage_router.py +90 -0
- src/pipeline/progress.py +137 -0
- src/pipeline/provider_coordinator.py +286 -0
- src/pipeline/quality.py +536 -0
- src/pipeline/redundant_gates.py +738 -0
- src/pipeline/result.py +41 -0
- src/pipeline/self_correcting.py +135 -0
- src/pipeline/smart_scheduler.py +125 -0
- src/pipeline/steps/__init__.py +1 -0
- src/pipeline/steps/step_10_verify.py +30 -0
- src/pipeline/ucos_qzrf.py +353 -0
- src/plugins/__init__.py +1 -0
- src/plugins/_llm_base.py +38 -0
- src/plugins/analogical_reasoning.py +76 -0
- src/plugins/bayesian_update.py +71 -0
- src/plugins/constraint_relaxation.py +62 -0
- src/plugins/dag.py +167 -0
- src/plugins/delphi.py +51 -0
- src/plugins/design_thinking.py +43 -0
- src/plugins/dim_reduction.py +129 -0
- src/plugins/dist_analyzer.py +187 -0
- src/plugins/first_principles.py +82 -0
- src/plugins/five_whys.py +42 -0
- src/plugins/graph_metrics.py +162 -0
- src/plugins/info_theory.py +145 -0
- src/plugins/inversion.py +64 -0
- src/plugins/ishikawa.py +53 -0
- src/plugins/lateral_thinking.py +47 -0
- src/plugins/morphological.py +58 -0
- src/plugins/ooda.py +42 -0
- src/plugins/optimization.py +192 -0
- src/plugins/pareto.py +70 -0
- src/plugins/persistence.py +147 -0
- src/plugins/pre_mortem.py +72 -0
- src/plugins/red_team.py +78 -0
- src/plugins/scamper.py +45 -0
- src/plugins/second_order.py +77 -0
- src/plugins/signal_processing.py +169 -0
- src/plugins/six_hats.py +44 -0
- src/plugins/stat_tests.py +226 -0
- src/plugins/swot.py +38 -0
- src/plugins/timeseries.py +186 -0
- src/plugins/triz_bridge.py +78 -0
- src/plugins/unified_registry.py +765 -0
- src/projects/__init__.py +1 -0
- src/projects/manager.py +484 -0
- src/publishing/__init__.py +7 -0
- src/publishing/blueprint.py +33 -0
- src/publishing/dissertation.py +477 -0
- src/publishing/experiment_design.py +237 -0
- src/publishing/latex_compiler.py +100 -0
- src/publishing/submitter.py +154 -0
- src/py.typed +0 -0
- src/references/__init__.py +22 -0
- src/references/manager.py +201 -0
- src/repl/__init__.py +15 -0
- src/repl/commands.py +299 -0
- src/repl/core.py +201 -0
- src/repl/input_handler.py +210 -0
- src/repl.py +14 -0
- src/reproducibility/__init__.py +19 -0
- src/reproducibility/router.py +81 -0
- src/reproducibility/validator.py +120 -0
- src/robust_decisions/__init__.py +15 -0
- src/robust_decisions/prim.py +68 -0
- src/robust_decisions/router.py +158 -0
- src/robust_decisions/xlrm.py +77 -0
- src/search/__init__.py +18 -0
- src/search/semantic_scholar.py +323 -0
- src/security/__init__.py +23 -0
- src/security/audit_log.py +433 -0
- src/security/credential_guard.py +59 -0
- src/security/guardian.py +196 -0
- src/security/prompt_sanitizer.py +93 -0
- src/simulations/__init__.py +213 -0
- src/simulations/amuse_bridge.py +43 -0
- src/simulations/auto_engine.py +157 -0
- src/simulations/base_adapter.py +169 -0
- src/simulations/boolnet_bridge.py +132 -0
- src/simulations/brian2_bridge.py +56 -0
- src/simulations/cobra_bridge.py +54 -0
- src/simulations/config.py +170 -0
- src/simulations/copasi_bridge.py +46 -0
- src/simulations/diffeqpy_bridge.py +49 -0
- src/simulations/domain_selector.py +13 -0
- src/simulations/fenicsx_bridge.py +78 -0
- src/simulations/gromacs_bridge.py +39 -0
- src/simulations/jaxlab_bridge.py +54 -0
- src/simulations/jaxley_bridge.py +68 -0
- src/simulations/jaxmd_bridge.py +58 -0
- src/simulations/jaxsim_bridge.py +641 -0
- src/simulations/lammps_bridge.py +60 -0
- src/simulations/matlab_bridge.py +61 -0
- src/simulations/mdanalysis_bridge.py +54 -0
- src/simulations/mesa_bridge.py +98 -0
- src/simulations/mirrorfish_bridge.py +50 -0
- src/simulations/modelingtoolkit_bridge.py +52 -0
- src/simulations/mujoco_bridge.py +67 -0
- src/simulations/neuron_bridge.py +56 -0
- src/simulations/newton_bridge.py +645 -0
- src/simulations/newton_runner.py +68 -0
- src/simulations/nvidia_bridge.py +1093 -0
- src/simulations/openfoam_bridge.py +47 -0
- src/simulations/openmm_bridge.py +150 -0
- src/simulations/pattern_engine_map.py +520 -0
- src/simulations/psi4_bridge.py +51 -0
- src/simulations/pybullet_bridge.py +56 -0
- src/simulations/pyscf_bridge.py +49 -0
- src/simulations/quantum_espresso_bridge.py +37 -0
- src/simulations/rebound_bridge.py +56 -0
- src/simulations/runner_v2.py +573 -0
- src/simulations/schr_bridge.py +791 -0
- src/simulations/simpy_bridge.py +65 -0
- src/simulations/slim_bridge.py +81 -0
- src/simulations/taichi_bridge.py +72 -0
- src/simulations/tellurium_bridge.py +52 -0
- src/simulations/torchsim_bridge.py +556 -0
- src/simulations/vastai_delegate.py +306 -0
- src/simulations/vina_bridge.py +83 -0
- src/simulations/virtual_bio.py +203 -0
- src/simulations/wrf_bridge.py +47 -0
- src/simulations/xarray_bridge.py +53 -0
- src/social/__init__.py +8 -0
- src/social/ai_archive_client.py +64 -0
- src/social/arxiv_client.py +69 -0
- src/social/auto_poster.py +474 -0
- src/social/discord_webhook.py +51 -0
- src/social/grok_client.py +85 -0
- src/social/health_checker.py +121 -0
- src/social/i18n_templates.py +95 -0
- src/social/keyring.py +126 -0
- src/social/mastodon_client.py +120 -0
- src/social/orcid_client.py +72 -0
- src/social/profile_manager.py +84 -0
- src/social/publisher.py +128 -0
- src/social/reddit_client.py +68 -0
- src/social/researchgate_client.py +170 -0
- src/social/scimatic_export.py +59 -0
- src/social/slack_webhook.py +51 -0
- src/social/social_bridge.py +47 -0
- src/social/social_history.py +73 -0
- src/social/telegram_bot.py +201 -0
- src/social/twitter_client.py +120 -0
- src/social/zenodo_client.py +162 -0
- src/solver/__init__.py +18 -0
- src/solver/core.py +187 -0
- src/solver/one_shot.py +200 -0
- src/solver/strategies.py +320 -0
- src/system_dynamics/__init__.py +81 -0
- src/system_dynamics/archetypes.py +424 -0
- src/system_dynamics/causal_loop.py +247 -0
- src/system_dynamics/dsl.py +142 -0
- src/system_dynamics/dsl_archetypes.py +59 -0
- src/system_dynamics/models.py +102 -0
- src/system_dynamics/router.py +226 -0
- src/system_dynamics/simulator.py +174 -0
- src/system_dynamics/stock_flow.py +355 -0
- src/system_dynamics/visualizer.py +123 -0
- src/terminal_/__init__.py +19 -0
- src/terminal_/cyberpunk_theme.py +241 -0
- src/terminal_/ui.py +152 -0
- src/theorem/__init__.py +1 -0
- src/theorem/prover.py +352 -0
- src/trends/__init__.py +20 -0
- src/trends/evolution.py +330 -0
- src/triz/__init__.py +109 -0
- src/triz/ariz.py +884 -0
- src/triz/bridge.py +240 -0
- src/triz/contradiction_matrix.py +422 -0
- src/triz/matrix.py +52 -0
- src/triz/matrix_core.py +1761 -0
- src/triz/matrix_resolver.py +24 -0
- src/triz/matrix_utils.py +20 -0
- src/triz/physical_contradiction.py +599 -0
- src/triz/principles.py +1136 -0
- src/triz/solver.py +315 -0
- src/triz/standard_solutions.py +1289 -0
- src/triz/standard_solutions_data.py +1210 -0
- src/triz/sufield.py +706 -0
- src/tui/IMPLEMENTATION.md +135 -0
- src/tui/README.md +61 -0
- src/tui/__init__.py +9 -0
- src/tui/alert_widget.py +49 -0
- src/tui/animation.py +79 -0
- src/tui/app.py +8 -0
- src/tui/article_canvas.py +113 -0
- src/tui/breathing.py +122 -0
- src/tui/budget_gauge.py +38 -0
- src/tui/config_screen.py +125 -0
- src/tui/cube_navigator.py +87 -0
- src/tui/cube_viz.py +173 -0
- src/tui/dashboard.py +64 -0
- src/tui/delight.py +235 -0
- src/tui/delta_renderer.py +265 -0
- src/tui/depth_ladder.py +50 -0
- src/tui/diagnostics.py +165 -0
- src/tui/easing.py +104 -0
- src/tui/entry.py +79 -0
- src/tui/export_helpers.py +175 -0
- src/tui/folder_panel.py +63 -0
- src/tui/ghost_tui.py +261 -0
- src/tui/gpu_display.py +193 -0
- src/tui/gradient_bar.py +181 -0
- src/tui/header_footer.py +73 -0
- src/tui/i18n.py +311 -0
- src/tui/keyboard_handler.py +67 -0
- src/tui/language_manager.py +63 -0
- src/tui/layout_manager.py +134 -0
- src/tui/live_feed_ticker.py +81 -0
- src/tui/living_cube.py +304 -0
- src/tui/living_cube_v2.py +406 -0
- src/tui/local_llm.py +30 -0
- src/tui/main_loop.py +271 -0
- src/tui/mascot.py +77 -0
- src/tui/micro_animations.py +188 -0
- src/tui/module_status.py +116 -0
- src/tui/onboarding.py +82 -0
- src/tui/package_installer.py +150 -0
- src/tui/particles.py +217 -0
- src/tui/pipeline_runner.py +185 -0
- src/tui/pipeline_stories.py +61 -0
- src/tui/plugin_manager.py +123 -0
- src/tui/proof_graph.py +96 -0
- src/tui/provider_dashboard.py +71 -0
- src/tui/renderer.py +87 -0
- src/tui/results_display.py +179 -0
- src/tui/smart_prompt.py +199 -0
- src/tui/sound_system.py +69 -0
- src/tui/sounds/complete.wav +0 -0
- src/tui/sounds/error.wav +0 -0
- src/tui/sounds/rare.wav +0 -0
- src/tui/sounds/step.wav +0 -0
- src/tui/sounds/welcome.wav +0 -0
- src/tui/staged_error.py +110 -0
- src/tui/system_stats.py +33 -0
- src/tui/thinking_indicator.py +75 -0
- src/tui/token_counter.py +20 -0
- src/tui/v8/README.md +113 -0
- src/tui/v8/backend/bridge.go +151 -0
- src/tui/v8/backend/client.go +427 -0
- src/tui/v8/backend/client_test.go +247 -0
- src/tui/v8/backend/cmd.go +325 -0
- src/tui/v8/backend/error_test.go +82 -0
- src/tui/v8/backend/integration_test.go +110 -0
- src/tui/v8/backend/rate_limiter.go +104 -0
- src/tui/v8/backend/rate_limiter_test.go +74 -0
- src/tui/v8/backend/sse.go +157 -0
- src/tui/v8/backend/sse_integration_test.go +69 -0
- src/tui/v8/backend/sse_test.go +110 -0
- src/tui/v8/config/config.go +123 -0
- src/tui/v8/config/config_test.go +64 -0
- src/tui/v8/constants.go +5 -0
- src/tui/v8/debug_view_test.go +43 -0
- src/tui/v8/go.mod +34 -0
- src/tui/v8/go.sum +58 -0
- src/tui/v8/integration_test.go +103 -0
- src/tui/v8/internal/i18n.go +408 -0
- src/tui/v8/internal/lang.go +77 -0
- src/tui/v8/internal/lang_test.go +32 -0
- src/tui/v8/internal/mascot_memory.go +102 -0
- src/tui/v8/internal/sanitize.go +31 -0
- src/tui/v8/internal/sanitize_test.go +22 -0
- src/tui/v8/internal/store.go +162 -0
- src/tui/v8/internal/store_test.go +73 -0
- src/tui/v8/internal/text.go +116 -0
- src/tui/v8/layout.go +215 -0
- src/tui/v8/layout_test.go +205 -0
- src/tui/v8/main.go +160 -0
- src/tui/v8/main_test.go +165 -0
- src/tui/v8/model.go +111 -0
- src/tui/v8/model_test.go +52 -0
- src/tui/v8/screens/agenda.go +220 -0
- src/tui/v8/screens/bibliography.go +121 -0
- src/tui/v8/screens/cache.go +83 -0
- src/tui/v8/screens/dashboard.go +203 -0
- src/tui/v8/screens/diagnostic.go +217 -0
- src/tui/v8/screens/dissertation.go +181 -0
- src/tui/v8/screens/export.go +281 -0
- src/tui/v8/screens/export_test.go +103 -0
- src/tui/v8/screens/fireworks.go +156 -0
- src/tui/v8/screens/gpu.go +162 -0
- src/tui/v8/screens/help.go +178 -0
- src/tui/v8/screens/history.go +127 -0
- src/tui/v8/screens/knowledge_graph.go +162 -0
- src/tui/v8/screens/matrix.go +102 -0
- src/tui/v8/screens/onboarding.go +223 -0
- src/tui/v8/screens/packages.go +121 -0
- src/tui/v8/screens/palette.go +207 -0
- src/tui/v8/screens/provider.go +97 -0
- src/tui/v8/screens/social.go +96 -0
- src/tui/v8/screens/triz.go +122 -0
- src/tui/v8/screens/types.go +39 -0
- src/tui/v8/screens/types_test.go +39 -0
- src/tui/v8/signals.go +21 -0
- src/tui/v8/splash/art.go +111 -0
- src/tui/v8/splash/ascii_art.go +156 -0
- src/tui/v8/splash/splash.go +823 -0
- src/tui/v8/splash/splash_test.go +759 -0
- src/tui/v8/styles/theme.go +295 -0
- src/tui/v8/styles/theme_test.go +58 -0
- src/tui/v8/update.go +943 -0
- src/tui/v8/view.go +199 -0
- src/tui/v8/widgets/c4grid.go +312 -0
- src/tui/v8/widgets/c4grid_test.go +53 -0
- src/tui/v8/widgets/chat.go +142 -0
- src/tui/v8/widgets/chat_test.go +75 -0
- src/tui/v8/widgets/header.go +307 -0
- src/tui/v8/widgets/header_test.go +120 -0
- src/tui/v8/widgets/help.go +115 -0
- src/tui/v8/widgets/help_test.go +31 -0
- src/tui/v8/widgets/inputbar.go +486 -0
- src/tui/v8/widgets/inputbar_test.go +56 -0
- src/tui/v8/widgets/mascot.go +410 -0
- src/tui/v8/widgets/mascot_test.go +118 -0
- src/tui/v8/widgets/pipeline.go +391 -0
- src/tui/v8/widgets/pipeline_test.go +76 -0
- src/tui/v8/widgets/result.go +454 -0
- src/tui/v8/widgets/result_test.go +36 -0
- src/tui/v8/widgets/toast.go +108 -0
- src/tui/v8/widgets/toast_test.go +47 -0
- src/tui/v9/ARCHITECTURE.md +72 -0
- src/tui/v9/Makefile +59 -0
- src/tui/v9/README.md +212 -0
- src/tui/v9/achievements.go +375 -0
- src/tui/v9/achievements_test.go +241 -0
- src/tui/v9/api/api.go +455 -0
- src/tui/v9/api/api_test.go +323 -0
- src/tui/v9/api/auth_env.go +25 -0
- src/tui/v9/api/openapi_contract_test.go +60 -0
- src/tui/v9/api/sse_typed.go +120 -0
- src/tui/v9/api/sse_typed_test.go +83 -0
- src/tui/v9/auth_cmd.go +31 -0
- src/tui/v9/benchview_test.go +39 -0
- src/tui/v9/bio_aurora.go +233 -0
- src/tui/v9/bio_aurora_test.go +227 -0
- src/tui/v9/capsim/capsim.go +235 -0
- src/tui/v9/capsim/capsim_test.go +59 -0
- src/tui/v9/capsim/overlay.go +180 -0
- src/tui/v9/capsim/overlay_test.go +55 -0
- src/tui/v9/capsim_cmd.go +32 -0
- src/tui/v9/card_helpers.go +78 -0
- src/tui/v9/card_helpers_test.go +88 -0
- src/tui/v9/cards/cards.go +259 -0
- src/tui/v9/cards/cards_test.go +107 -0
- src/tui/v9/cmd/c4tui-v9/keyfilter.go +108 -0
- src/tui/v9/cmd/c4tui-v9/keyfilter_test.go +166 -0
- src/tui/v9/cmd/c4tui-v9/main.go +240 -0
- src/tui/v9/cmd/c4tui-v9-probe/main.go +26 -0
- src/tui/v9/colorprofile.go +193 -0
- src/tui/v9/commands/palette.go +138 -0
- src/tui/v9/commands.go +107 -0
- src/tui/v9/config.go +237 -0
- src/tui/v9/config_test.go +235 -0
- src/tui/v9/cost_test.go +37 -0
- src/tui/v9/cyber_polish.go +231 -0
- src/tui/v9/debug_overlay.go +134 -0
- src/tui/v9/debug_test.go +94 -0
- src/tui/v9/demo/demo.go +183 -0
- src/tui/v9/demo/demo_test.go +102 -0
- src/tui/v9/dream.go +176 -0
- src/tui/v9/dream_test.go +156 -0
- src/tui/v9/effects/bugfix_test.go +156 -0
- src/tui/v9/effects/effects.go +602 -0
- src/tui/v9/effects/effects_test.go +128 -0
- src/tui/v9/empty_widgets.go +193 -0
- src/tui/v9/empty_widgets_test.go +101 -0
- src/tui/v9/expansion_test.go +95 -0
- src/tui/v9/feed_persist_test.go +70 -0
- src/tui/v9/go.mod +33 -0
- src/tui/v9/go.sum +73 -0
- src/tui/v9/golden_snapshots_test.go +389 -0
- src/tui/v9/golden_test.go +182 -0
- src/tui/v9/history.go +286 -0
- src/tui/v9/i18n/README.md +91 -0
- src/tui/v9/i18n/ar.toml +194 -0
- src/tui/v9/i18n/de.toml +194 -0
- src/tui/v9/i18n/en.toml +211 -0
- src/tui/v9/i18n/hi.toml +194 -0
- src/tui/v9/i18n/i18n.go +121 -0
- src/tui/v9/i18n/i18n_test.go +236 -0
- src/tui/v9/i18n/ja.toml +194 -0
- src/tui/v9/i18n/pipeline/c4_science_terms.json +668 -0
- src/tui/v9/i18n/pipeline/nllb_check.py +178 -0
- src/tui/v9/i18n/pipeline/quality_report_v9.4.json +1661 -0
- src/tui/v9/i18n/pipeline/quality_score.py +210 -0
- src/tui/v9/i18n/pipeline/regen_i18n.py +183 -0
- src/tui/v9/i18n/pipeline/translate_hymt.py +204 -0
- src/tui/v9/i18n/ru.toml +194 -0
- src/tui/v9/i18n/zh.toml +194 -0
- src/tui/v9/internal/oapi/openapi.gen.go +1812 -0
- src/tui/v9/keymap.go +378 -0
- src/tui/v9/keymap_test.go +330 -0
- src/tui/v9/lang_helper_test.go +23 -0
- src/tui/v9/langs.go +101 -0
- src/tui/v9/langs_test.go +131 -0
- src/tui/v9/layout.go +125 -0
- src/tui/v9/layout_test.go +96 -0
- src/tui/v9/main_test.go +28 -0
- src/tui/v9/model.go +772 -0
- src/tui/v9/oapi-codegen.yaml +8 -0
- src/tui/v9/palette_test.go +195 -0
- src/tui/v9/persist/feed.go +295 -0
- src/tui/v9/persist/feed_test.go +292 -0
- src/tui/v9/persist/persist.go +211 -0
- src/tui/v9/persist/persist_test.go +208 -0
- src/tui/v9/probe/probe.go +182 -0
- src/tui/v9/registry.go +412 -0
- src/tui/v9/resume_test.go +68 -0
- src/tui/v9/settings_menu.go +116 -0
- src/tui/v9/sim_handlers_test.go +143 -0
- src/tui/v9/sim_summary.go +107 -0
- src/tui/v9/sim_summary_test.go +71 -0
- src/tui/v9/splash.go +1423 -0
- src/tui/v9/splash_align_forms_test.go +167 -0
- src/tui/v9/splash_align_test.go +119 -0
- src/tui/v9/splash_test.go +248 -0
- src/tui/v9/sse_reconnect.go +81 -0
- src/tui/v9/state_machine_test.go +528 -0
- src/tui/v9/status_bar.go +137 -0
- src/tui/v9/status_bar_test.go +74 -0
- src/tui/v9/telemetry/telemetry.go +119 -0
- src/tui/v9/telemetry/telemetry_test.go +144 -0
- src/tui/v9/telemetry_wiring_test.go +182 -0
- src/tui/v9/test_helpers.go +97 -0
- src/tui/v9/tests/golden/T0-tmux-achievement-shown.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-bookmark.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-capsim.txt +23 -0
- src/tui/v9/tests/golden/T0-tmux-debug.txt +25 -0
- src/tui/v9/tests/golden/T0-tmux-empty.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-error.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-expanded.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-focused-expanded.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-focused.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-full-hypothesis.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-help-shown.txt +25 -0
- src/tui/v9/tests/golden/T0-tmux-hypothesis.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-mixed-feed.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-multi-paper.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-palette.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-settings-open.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-sim-inconclusive.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-sim-refutes.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-sim-skipped.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-sim-supports.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-sim.txt +24 -0
- src/tui/v9/tests/golden/T0-tmux-verdict-chips.txt +24 -0
- src/tui/v9/tests/golden/T1-mbp13-achievement-shown.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-bookmark.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-capsim.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-debug.txt +25 -0
- src/tui/v9/tests/golden/T1-mbp13-empty.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-error.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-expanded.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-focused-expanded.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-focused.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-full-hypothesis.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-help-shown.txt +25 -0
- src/tui/v9/tests/golden/T1-mbp13-hypothesis.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-mixed-feed.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-multi-paper.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-palette.txt +40 -0
- src/tui/v9/tests/golden/T1-mbp13-settings-open.txt +40 -0
- src/tui/v9/tests/golden/T1-mbp13-sim-inconclusive.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-sim-refutes.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-sim-skipped.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-sim-supports.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-sim.txt +39 -0
- src/tui/v9/tests/golden/T1-mbp13-verdict-chips.txt +39 -0
- src/tui/v9/tests/golden/T2-1080p-achievement-shown.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-bookmark.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-capsim.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-debug.txt +25 -0
- src/tui/v9/tests/golden/T2-1080p-empty.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-error.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-expanded.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-focused-expanded.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-focused.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-full-hypothesis.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-help-shown.txt +25 -0
- src/tui/v9/tests/golden/T2-1080p-hypothesis.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-mixed-feed.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-multi-paper.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-palette.txt +41 -0
- src/tui/v9/tests/golden/T2-1080p-settings-open.txt +50 -0
- src/tui/v9/tests/golden/T2-1080p-sim-inconclusive.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-sim-refutes.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-sim-skipped.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-sim-supports.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-sim.txt +49 -0
- src/tui/v9/tests/golden/T2-1080p-verdict-chips.txt +49 -0
- src/tui/v9/tests/golden/T2-mbp16-achievement-shown.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-bookmark.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-capsim.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-debug.txt +25 -0
- src/tui/v9/tests/golden/T2-mbp16-empty.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-error.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-expanded.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-focused-expanded.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-focused.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-full-hypothesis.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-help-shown.txt +25 -0
- src/tui/v9/tests/golden/T2-mbp16-hypothesis.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-mixed-feed.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-multi-paper.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-palette.txt +41 -0
- src/tui/v9/tests/golden/T2-mbp16-settings-open.txt +48 -0
- src/tui/v9/tests/golden/T2-mbp16-sim-inconclusive.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-sim-refutes.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-sim-skipped.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-sim-supports.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-sim.txt +47 -0
- src/tui/v9/tests/golden/T2-mbp16-verdict-chips.txt +47 -0
- src/tui/v9/tests/golden/T3-4k-achievement-shown.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-bookmark.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-capsim.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-debug.txt +25 -0
- src/tui/v9/tests/golden/T3-4k-empty.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-error.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-expanded.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-focused-expanded.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-focused.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-full-hypothesis.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-help-shown.txt +25 -0
- src/tui/v9/tests/golden/T3-4k-hypothesis.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-mixed-feed.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-multi-paper.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-palette.txt +41 -0
- src/tui/v9/tests/golden/T3-4k-settings-open.txt +60 -0
- src/tui/v9/tests/golden/T3-4k-sim-inconclusive.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-sim-refutes.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-sim-skipped.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-sim-supports.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-sim.txt +59 -0
- src/tui/v9/tests/golden/T3-4k-verdict-chips.txt +59 -0
- src/tui/v9/tests/golden/T3-ultrawide-achievement-shown.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-bookmark.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-capsim.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-debug.txt +25 -0
- src/tui/v9/tests/golden/T3-ultrawide-empty.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-error.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-expanded.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-focused-expanded.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-focused.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-full-hypothesis.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-help-shown.txt +25 -0
- src/tui/v9/tests/golden/T3-ultrawide-hypothesis.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-mixed-feed.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-multi-paper.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-palette.txt +41 -0
- src/tui/v9/tests/golden/T3-ultrawide-settings-open.txt +50 -0
- src/tui/v9/tests/golden/T3-ultrawide-sim-inconclusive.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-sim-refutes.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-sim-skipped.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-sim-supports.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-sim.txt +49 -0
- src/tui/v9/tests/golden/T3-ultrawide-verdict-chips.txt +49 -0
- src/tui/v9/theme.go +83 -0
- src/tui/v9/theme_test.go +90 -0
- src/tui/v9/tier.go +88 -0
- src/tui/v9/tier_test.go +363 -0
- src/tui/v9/update.go +993 -0
- src/tui/v9/v8_art_embedded.go +178 -0
- src/tui/v9/v910_test.go +253 -0
- src/tui/v9/verdict_chips.go +64 -0
- src/tui/v9/verdict_chips_test.go +77 -0
- src/tui/v9/view.go +472 -0
- src/tui/v9/view_test.go +154 -0
- src/tui/v9/wizard.go +97 -0
- src/tui/v9/wizard_render_test.go +87 -0
- src/tui/v9/wizard_sse_test.go +311 -0
- src/utils/__init__.py +27 -0
- src/utils/error_handlers.py +290 -0
- src/utils/error_taxonomy.py +140 -0
- src/utils/formatting.py +160 -0
- src/utils/math_utils.py +27 -0
- src/utils/retry/__init__.py +47 -0
- src/utils/retry/core.py +200 -0
- src/utils/retry/policies.py +202 -0
- src/utils/retry/utils.py +90 -0
- src/utils/retry.py +53 -0
- src/utils/safe_eval.py +206 -0
- src/utils/safe_subprocess.py +171 -0
- src/utils/safety_guards.py +110 -0
- src/utils/security_middleware.py +132 -0
- src/utils/translation.py +110 -0
- src/utils/validation.py +86 -0
- src/utils/validators.py +377 -0
- src/validation/__init__.py +31 -0
- src/validation/consensus_meter.py +393 -0
- src/validation/core.py +290 -0
- src/validation/empirical_layer.py +137 -0
- src/validation/monte_carlo.py +24 -0
- src/validation/rules.py +324 -0
- src/validation/tracker.py +32 -0
- src/verification/__init__.py +19 -0
- src/verification/agda_bridge.py +326 -0
- src/verification/auto_theorem.py +296 -0
- src/verification/calibrator.py +211 -0
- src/verification/claim_matcher.py +317 -0
- src/verification/config.py +85 -0
- src/verification/consensus_engine.py +142 -0
- src/verification/coq_client.py +416 -0
- src/verification/dafny_client.py +394 -0
- src/verification/examples/agda_examples.json +47 -0
- src/verification/examples/coq_examples.json +50 -0
- src/verification/examples/dafny_examples.json +54 -0
- src/verification/examples/lean4_examples.json +58 -0
- src/verification/examples/z3_examples.json +52 -0
- src/verification/formalization_engine.py +187 -0
- src/verification/guardrails.py +297 -0
- src/verification/haskell_bridge.py +131 -0
- src/verification/hoare_client.py +491 -0
- src/verification/hoare_verifier.py +524 -0
- src/verification/hybrid_verifier.py +473 -0
- src/verification/lean4_client.py +349 -0
- src/verification/lean4lean_client.py +62 -0
- src/verification/lean_dojo_adapter.py +149 -0
- src/verification/llm_prover.py +439 -0
- src/verification/math_detector.py +72 -0
- src/verification/rag_retriever.py +107 -0
- src/verification/semantic_alignment.py +172 -0
- src/verification/stats_validator.py +300 -0
- src/verification/timer.py +241 -0
- src/verification/unified_score.py +150 -0
- src/visualization/__init__.py +1 -0
- src/visualization/c4_viz.py +191 -0
- src/wasm/__init__.py +12 -0
- src/wasm/build_plugins.py +196 -0
- src/wasm/runtime.py +245 -0
|
@@ -0,0 +1,961 @@
|
|
|
1
|
+
"""
|
|
2
|
+
AutoresearchOperator — Karpathy-style autoresearch mode for Reqber.
|
|
3
|
+
|
|
4
|
+
Pattern: propose → execute → evaluate → c4_keep / c4_revert → repeat
|
|
5
|
+
|
|
6
|
+
C4-guided mutation uses the problem fingerprint to select which aspect
|
|
7
|
+
of the training pipeline to mutate (T=temporal/architecture, S=scale/hyperparams,
|
|
8
|
+
A=agency/data+optimizer).
|
|
9
|
+
|
|
10
|
+
Statistical rigor additions (Phase P2):
|
|
11
|
+
- K-fold cross-validation (5 folds, 3 seeds)
|
|
12
|
+
- Bonferroni correction: alpha = 0.05 / max_iter
|
|
13
|
+
- Proper PRNG (numpy.random.RandomState, not hash-based)
|
|
14
|
+
- Confidence intervals reported, not just point estimates
|
|
15
|
+
- Random seed and hardware controls
|
|
16
|
+
"""
|
|
17
|
+
from __future__ import annotations
|
|
18
|
+
|
|
19
|
+
import logging
|
|
20
|
+
import os
|
|
21
|
+
import platform
|
|
22
|
+
import re
|
|
23
|
+
import shlex
|
|
24
|
+
import subprocess
|
|
25
|
+
import time
|
|
26
|
+
from dataclasses import dataclass, field
|
|
27
|
+
from pathlib import Path
|
|
28
|
+
from typing import Any, Callable
|
|
29
|
+
|
|
30
|
+
import numpy as np
|
|
31
|
+
from scipy import stats
|
|
32
|
+
|
|
33
|
+
from src.c4.engine import C4Space, C4State
|
|
34
|
+
|
|
35
|
+
|
|
36
|
+
logger = logging.getLogger("reqber.autoresearch")
|
|
37
|
+
|
|
38
|
+
|
|
39
|
+
# ---------------------------------------------------------------------------
|
|
40
|
+
# Data structures
|
|
41
|
+
# ---------------------------------------------------------------------------
|
|
42
|
+
|
|
43
|
+
@dataclass
|
|
44
|
+
class AutoresearchConfig:
|
|
45
|
+
"""Configuration for autoresearch loop."""
|
|
46
|
+
|
|
47
|
+
max_iterations: int = 100
|
|
48
|
+
time_budget_seconds: float = 3600.0
|
|
49
|
+
metric_target: float | None = None
|
|
50
|
+
metric_name: str = "val_bpb"
|
|
51
|
+
lower_is_better: bool = True
|
|
52
|
+
patience: int = 10
|
|
53
|
+
min_delta: float = 0.001
|
|
54
|
+
git_enabled: bool = True
|
|
55
|
+
file_watch_enabled: bool = True
|
|
56
|
+
poll_interval_seconds: float = 1.0
|
|
57
|
+
command_timeout_seconds: float = 300.0
|
|
58
|
+
snapshot_interval: int = 5
|
|
59
|
+
# Statistical rigor parameters
|
|
60
|
+
k_folds: int = 5
|
|
61
|
+
n_seeds: int = 3
|
|
62
|
+
bonferroni_alpha: float = 0.05
|
|
63
|
+
confidence_level: float = 0.95
|
|
64
|
+
prng_seed: int = 42
|
|
65
|
+
control_seed: bool = True
|
|
66
|
+
|
|
67
|
+
|
|
68
|
+
@dataclass
|
|
69
|
+
class IterationResult:
|
|
70
|
+
"""Result of a single autoresearch iteration."""
|
|
71
|
+
|
|
72
|
+
iteration: int
|
|
73
|
+
mutation_type: str
|
|
74
|
+
metric_value: float | None
|
|
75
|
+
improved: bool
|
|
76
|
+
kept: bool
|
|
77
|
+
duration_seconds: float
|
|
78
|
+
stdout: str = ""
|
|
79
|
+
stderr: str = ""
|
|
80
|
+
git_commit_hash: str | None = None
|
|
81
|
+
# Statistical additions
|
|
82
|
+
metric_mean: float | None = None
|
|
83
|
+
metric_std: float | None = None
|
|
84
|
+
metric_ci_lower: float | None = None
|
|
85
|
+
metric_ci_upper: float | None = None
|
|
86
|
+
fold_scores: list[float] = field(default_factory=list)
|
|
87
|
+
p_value: float | None = None
|
|
88
|
+
bonferroni_corrected: bool = False
|
|
89
|
+
|
|
90
|
+
|
|
91
|
+
@dataclass
|
|
92
|
+
class AutoresearchReport:
|
|
93
|
+
"""Final report from autoresearch session."""
|
|
94
|
+
|
|
95
|
+
best_metric: float | None
|
|
96
|
+
best_iteration: int
|
|
97
|
+
total_iterations: int
|
|
98
|
+
total_duration_seconds: float
|
|
99
|
+
improvement_trace: list[tuple[int, float]] = field(default_factory=list)
|
|
100
|
+
iterations: list[IterationResult] = field(default_factory=list)
|
|
101
|
+
hardware_info: dict[str, Any] = field(default_factory=dict)
|
|
102
|
+
seed_used: int = 42
|
|
103
|
+
bonferroni_alpha: float = 0.0
|
|
104
|
+
false_positive_rate_estimate: float | None = None
|
|
105
|
+
|
|
106
|
+
def to_dict(self) -> dict[str, Any]:
|
|
107
|
+
return {
|
|
108
|
+
"best_metric": self.best_metric,
|
|
109
|
+
"best_iteration": self.best_iteration,
|
|
110
|
+
"total_iterations": self.total_iterations,
|
|
111
|
+
"total_duration_seconds": self.total_duration_seconds,
|
|
112
|
+
"improvement_trace": self.improvement_trace,
|
|
113
|
+
"hardware_info": self.hardware_info,
|
|
114
|
+
"seed_used": self.seed_used,
|
|
115
|
+
"bonferroni_alpha": self.bonferroni_alpha,
|
|
116
|
+
"false_positive_rate_estimate": self.false_positive_rate_estimate,
|
|
117
|
+
}
|
|
118
|
+
|
|
119
|
+
|
|
120
|
+
# ---------------------------------------------------------------------------
|
|
121
|
+
# Metric extraction
|
|
122
|
+
# ---------------------------------------------------------------------------
|
|
123
|
+
|
|
124
|
+
class MetricExtractor:
|
|
125
|
+
"""Extract metrics from stdout / log files via regex."""
|
|
126
|
+
|
|
127
|
+
# Common patterns: "val_bpb: 2.341", "val_loss=0.123", "{'val_bpb': 2.341}"
|
|
128
|
+
# Also includes bare names: "loss=0.123", "acc: 0.95"
|
|
129
|
+
PATTERNS = [
|
|
130
|
+
re.compile(rf"{key}\s*[:=]\s*([0-9]+\.?[0-9]*(?:[eE][-+]?[0-9]+)?)")
|
|
131
|
+
for key in [
|
|
132
|
+
"val_bpb", "val_loss", "val_acc", "val_accuracy",
|
|
133
|
+
"test_loss", "test_acc", "test_accuracy", "perplexity",
|
|
134
|
+
"f1", "bleu", "rouge", "metric",
|
|
135
|
+
"loss", "acc", "accuracy", "bpb", "error",
|
|
136
|
+
]
|
|
137
|
+
]
|
|
138
|
+
JSON_PATTERN = re.compile(r'"(\w+)":\s*([0-9]+\.?[0-9]*(?:[eE][-+]?[0-9]+)?)')
|
|
139
|
+
|
|
140
|
+
def __init__(self, metric_name: str) -> None:
|
|
141
|
+
self.metric_name = metric_name
|
|
142
|
+
self._custom_pattern = re.compile(
|
|
143
|
+
rf"{re.escape(metric_name)}\s*[:=]\s*([0-9]+\.?[0-9]*(?:[eE][-+]?[0-9]+)?)",
|
|
144
|
+
re.IGNORECASE,
|
|
145
|
+
)
|
|
146
|
+
|
|
147
|
+
def extract(self, text: str) -> float | None:
|
|
148
|
+
"""Extract the target metric from text output."""
|
|
149
|
+
if not text:
|
|
150
|
+
return None
|
|
151
|
+
|
|
152
|
+
# Try custom metric pattern first
|
|
153
|
+
matches = self._custom_pattern.findall(text)
|
|
154
|
+
if matches:
|
|
155
|
+
try:
|
|
156
|
+
return float(matches[-1]) # Use last occurrence
|
|
157
|
+
except ValueError:
|
|
158
|
+
pass
|
|
159
|
+
|
|
160
|
+
# Try generic patterns
|
|
161
|
+
for pattern in self.PATTERNS:
|
|
162
|
+
matches = pattern.findall(text)
|
|
163
|
+
if matches:
|
|
164
|
+
for m in matches:
|
|
165
|
+
try:
|
|
166
|
+
return float(m[-1] if isinstance(m, tuple) else m)
|
|
167
|
+
except ValueError:
|
|
168
|
+
continue
|
|
169
|
+
|
|
170
|
+
# Try JSON-like patterns
|
|
171
|
+
matches = self.JSON_PATTERN.findall(text)
|
|
172
|
+
for key, val in matches:
|
|
173
|
+
if key.lower() == self.metric_name.lower():
|
|
174
|
+
try:
|
|
175
|
+
return float(val)
|
|
176
|
+
except ValueError:
|
|
177
|
+
continue
|
|
178
|
+
|
|
179
|
+
# Fallback: any floating point number after the metric name
|
|
180
|
+
fallback = re.compile(
|
|
181
|
+
rf"{re.escape(self.metric_name)}.*?([0-9]+\.?[0-9]*(?:[eE][-+]?[0-9]+)?)",
|
|
182
|
+
re.IGNORECASE | re.DOTALL,
|
|
183
|
+
)
|
|
184
|
+
m = fallback.search(text)
|
|
185
|
+
if m:
|
|
186
|
+
try:
|
|
187
|
+
return float(m.group(1))
|
|
188
|
+
except ValueError:
|
|
189
|
+
pass
|
|
190
|
+
|
|
191
|
+
return None
|
|
192
|
+
|
|
193
|
+
|
|
194
|
+
# ---------------------------------------------------------------------------
|
|
195
|
+
# K-Fold Cross-Validation Runner
|
|
196
|
+
# ---------------------------------------------------------------------------
|
|
197
|
+
|
|
198
|
+
class KFoldValidator:
|
|
199
|
+
"""Run K-fold cross-validation with multiple seeds for robust evaluation."""
|
|
200
|
+
|
|
201
|
+
def __init__(
|
|
202
|
+
self,
|
|
203
|
+
k_folds: int = 5,
|
|
204
|
+
n_seeds: int = 3,
|
|
205
|
+
confidence_level: float = 0.95,
|
|
206
|
+
prng_seed: int = 42,
|
|
207
|
+
) -> None:
|
|
208
|
+
self.k_folds = k_folds
|
|
209
|
+
self.n_seeds = n_seeds
|
|
210
|
+
self.confidence_level = confidence_level
|
|
211
|
+
self.base_seed = prng_seed
|
|
212
|
+
|
|
213
|
+
def evaluate(
|
|
214
|
+
self,
|
|
215
|
+
metric_fn: Callable[[int, int], float],
|
|
216
|
+
) -> dict[str, Any]:
|
|
217
|
+
"""
|
|
218
|
+
Run K-fold CV across multiple seeds.
|
|
219
|
+
metric_fn(fold_idx, seed) -> float metric value.
|
|
220
|
+
"""
|
|
221
|
+
all_scores: list[float] = []
|
|
222
|
+
per_seed_scores: list[list[float]] = []
|
|
223
|
+
|
|
224
|
+
for seed_offset in range(self.n_seeds):
|
|
225
|
+
seed = self.base_seed + seed_offset
|
|
226
|
+
rng = np.random.RandomState(seed)
|
|
227
|
+
fold_scores: list[float] = []
|
|
228
|
+
for fold in range(self.k_folds):
|
|
229
|
+
# Shuffle fold assignment deterministically per seed
|
|
230
|
+
fold_seed = rng.randint(0, 2**31 - 1)
|
|
231
|
+
score = metric_fn(fold, fold_seed)
|
|
232
|
+
fold_scores.append(score)
|
|
233
|
+
all_scores.append(score)
|
|
234
|
+
per_seed_scores.append(fold_scores)
|
|
235
|
+
|
|
236
|
+
scores_arr = np.array(all_scores)
|
|
237
|
+
mean = float(np.mean(scores_arr))
|
|
238
|
+
std = float(np.std(scores_arr, ddof=1))
|
|
239
|
+
sem = std / np.sqrt(len(scores_arr)) if len(scores_arr) > 1 else 0.0
|
|
240
|
+
|
|
241
|
+
# Confidence interval using t-distribution
|
|
242
|
+
df = len(scores_arr) - 1
|
|
243
|
+
if df > 0:
|
|
244
|
+
t_crit = stats.t.ppf((1 + self.confidence_level) / 2, df)
|
|
245
|
+
ci_lower = mean - t_crit * sem
|
|
246
|
+
ci_upper = mean + t_crit * sem
|
|
247
|
+
else:
|
|
248
|
+
ci_lower = ci_upper = mean
|
|
249
|
+
|
|
250
|
+
return {
|
|
251
|
+
"mean": round(mean, 6),
|
|
252
|
+
"std": round(std, 6),
|
|
253
|
+
"sem": round(sem, 6),
|
|
254
|
+
"ci_lower": round(ci_lower, 6),
|
|
255
|
+
"ci_upper": round(ci_upper, 6),
|
|
256
|
+
"all_scores": [round(s, 6) for s in all_scores],
|
|
257
|
+
"per_seed_scores": [[round(s, 6) for s in ss] for ss in per_seed_scores],
|
|
258
|
+
"n_folds": self.k_folds,
|
|
259
|
+
"n_seeds": self.n_seeds,
|
|
260
|
+
"confidence_level": self.confidence_level,
|
|
261
|
+
}
|
|
262
|
+
|
|
263
|
+
|
|
264
|
+
# ---------------------------------------------------------------------------
|
|
265
|
+
# Mutators
|
|
266
|
+
# ---------------------------------------------------------------------------
|
|
267
|
+
|
|
268
|
+
class CodeMutator:
|
|
269
|
+
"""Apply mutations to Python source files."""
|
|
270
|
+
|
|
271
|
+
def __init__(self, file_path: Path) -> None:
|
|
272
|
+
self.file_path = file_path
|
|
273
|
+
self.original_content = file_path.read_text()
|
|
274
|
+
self.current_content = self.original_content
|
|
275
|
+
|
|
276
|
+
def reset(self) -> None:
|
|
277
|
+
self.current_content = self.original_content
|
|
278
|
+
|
|
279
|
+
def apply(self) -> None:
|
|
280
|
+
self.file_path.write_text(self.current_content)
|
|
281
|
+
|
|
282
|
+
def restore(self) -> None:
|
|
283
|
+
"""Restore."""
|
|
284
|
+
self.file_path.write_text(self.original_content)
|
|
285
|
+
self.current_content = self.original_content
|
|
286
|
+
|
|
287
|
+
# -- C4 T-axis mutations (temporal / architecture) --
|
|
288
|
+
|
|
289
|
+
def mutate_architecture_layer_dim(self, delta: float = 0.2) -> str:
|
|
290
|
+
"""Mutate layer dimensions (hidden_size, embed_dim, etc.)."""
|
|
291
|
+
pattern = re.compile(r"(hidden_size|embed_dim|n_embd|d_model|out_dim)\s*=\s*(\d+)")
|
|
292
|
+
matches = list(pattern.finditer(self.current_content))
|
|
293
|
+
if not matches:
|
|
294
|
+
return "no_arch_match"
|
|
295
|
+
|
|
296
|
+
m = matches[len(matches) // 2] # Mutate middle match for stability
|
|
297
|
+
old_val = int(m.group(2))
|
|
298
|
+
new_val = max(8, int(old_val * (1 + delta)))
|
|
299
|
+
self.current_content = (
|
|
300
|
+
self.current_content[: m.start(2)]
|
|
301
|
+
+ str(new_val)
|
|
302
|
+
+ self.current_content[m.end(2) :]
|
|
303
|
+
)
|
|
304
|
+
return f"arch_layer_dim:{old_val}->{new_val}"
|
|
305
|
+
|
|
306
|
+
def mutate_dropout(self, delta: float = 0.05) -> str:
|
|
307
|
+
"""Mutate dropout rate."""
|
|
308
|
+
pattern = re.compile(r"(dropout|dropout_p|attn_dropout)\s*=\s*([0-9.]+)")
|
|
309
|
+
matches = list(pattern.finditer(self.current_content))
|
|
310
|
+
if not matches:
|
|
311
|
+
return "no_dropout_match"
|
|
312
|
+
|
|
313
|
+
m = matches[0]
|
|
314
|
+
old_val = float(m.group(2))
|
|
315
|
+
new_val = max(0.0, min(0.9, old_val + delta))
|
|
316
|
+
self.current_content = (
|
|
317
|
+
self.current_content[: m.start(2)]
|
|
318
|
+
+ f"{new_val:.3f}"
|
|
319
|
+
+ self.current_content[m.end(2) :]
|
|
320
|
+
)
|
|
321
|
+
return f"dropout:{old_val:.3f}->{new_val:.3f}"
|
|
322
|
+
|
|
323
|
+
def mutate_num_layers(self, delta: int = 1) -> str:
|
|
324
|
+
"""Mutate number of layers."""
|
|
325
|
+
pattern = re.compile(r"(num_layers|n_layer|num_blocks|depth)\s*=\s*(\d+)")
|
|
326
|
+
matches = list(pattern.finditer(self.current_content))
|
|
327
|
+
if not matches:
|
|
328
|
+
return "no_layers_match"
|
|
329
|
+
|
|
330
|
+
m = matches[0]
|
|
331
|
+
old_val = int(m.group(2))
|
|
332
|
+
new_val = max(1, old_val + delta)
|
|
333
|
+
self.current_content = (
|
|
334
|
+
self.current_content[: m.start(2)]
|
|
335
|
+
+ str(new_val)
|
|
336
|
+
+ self.current_content[m.end(2) :]
|
|
337
|
+
)
|
|
338
|
+
return f"num_layers:{old_val}->{new_val}"
|
|
339
|
+
|
|
340
|
+
# -- C4 S-axis mutations (scale / hyperparameters) --
|
|
341
|
+
|
|
342
|
+
def mutate_learning_rate(self, factor: float = 1.5) -> str:
|
|
343
|
+
"""Mutate learning rate."""
|
|
344
|
+
pattern = re.compile(r"(lr|learning_rate)\s*=\s*([0-9.eE-]+)")
|
|
345
|
+
matches = list(pattern.finditer(self.current_content))
|
|
346
|
+
if not matches:
|
|
347
|
+
return "no_lr_match"
|
|
348
|
+
|
|
349
|
+
m = matches[0]
|
|
350
|
+
old_val = float(m.group(2))
|
|
351
|
+
new_val = old_val * factor
|
|
352
|
+
self.current_content = (
|
|
353
|
+
self.current_content[: m.start(2)]
|
|
354
|
+
+ f"{new_val:.2e}"
|
|
355
|
+
+ self.current_content[m.end(2) :]
|
|
356
|
+
)
|
|
357
|
+
return f"lr:{old_val:.2e}->{new_val:.2e}"
|
|
358
|
+
|
|
359
|
+
def mutate_batch_size(self, factor: float = 2.0) -> str:
|
|
360
|
+
"""Mutate batch size."""
|
|
361
|
+
pattern = re.compile(r"(batch_size|bsz|batch)\s*=\s*(\d+)")
|
|
362
|
+
matches = list(pattern.finditer(self.current_content))
|
|
363
|
+
if not matches:
|
|
364
|
+
return "no_batch_match"
|
|
365
|
+
|
|
366
|
+
m = matches[0]
|
|
367
|
+
old_val = int(m.group(2))
|
|
368
|
+
new_val = max(1, int(old_val * factor))
|
|
369
|
+
self.current_content = (
|
|
370
|
+
self.current_content[: m.start(2)]
|
|
371
|
+
+ str(new_val)
|
|
372
|
+
+ self.current_content[m.end(2) :]
|
|
373
|
+
)
|
|
374
|
+
return f"batch_size:{old_val}->{new_val}"
|
|
375
|
+
|
|
376
|
+
def mutate_weight_decay(self, delta: float = 0.01) -> str:
|
|
377
|
+
"""Mutate weight decay."""
|
|
378
|
+
pattern = re.compile(r"(weight_decay|wd)\s*=\s*([0-9.eE-]+)")
|
|
379
|
+
matches = list(pattern.finditer(self.current_content))
|
|
380
|
+
if not matches:
|
|
381
|
+
return "no_wd_match"
|
|
382
|
+
|
|
383
|
+
m = matches[0]
|
|
384
|
+
old_val = float(m.group(2))
|
|
385
|
+
new_val = max(0.0, old_val + delta)
|
|
386
|
+
self.current_content = (
|
|
387
|
+
self.current_content[: m.start(2)]
|
|
388
|
+
+ f"{new_val:.4f}"
|
|
389
|
+
+ self.current_content[m.end(2) :]
|
|
390
|
+
)
|
|
391
|
+
return f"weight_decay:{old_val:.4f}->{new_val:.4f}"
|
|
392
|
+
|
|
393
|
+
# -- C4 A-axis mutations (agency / data + optimizer) --
|
|
394
|
+
|
|
395
|
+
def mutate_optimizer(self) -> str:
|
|
396
|
+
"""Cycle through common optimizers."""
|
|
397
|
+
optimizers = ["AdamW", "Adam", "SGD", "RMSprop"]
|
|
398
|
+
pattern = re.compile(r'(optimizer\s*=\s*[\w.]*)(AdamW|Adam|SGD|RMSprop)')
|
|
399
|
+
m = pattern.search(self.current_content)
|
|
400
|
+
if not m:
|
|
401
|
+
return "no_optimizer_match"
|
|
402
|
+
|
|
403
|
+
old_opt = m.group(2)
|
|
404
|
+
idx = optimizers.index(old_opt) if old_opt in optimizers else 0
|
|
405
|
+
new_opt = optimizers[(idx + 1) % len(optimizers)]
|
|
406
|
+
self.current_content = (
|
|
407
|
+
self.current_content[: m.start(2)] + new_opt + self.current_content[m.end(2) :]
|
|
408
|
+
)
|
|
409
|
+
return f"optimizer:{old_opt}->{new_opt}"
|
|
410
|
+
|
|
411
|
+
def mutate_scheduler(self) -> str:
|
|
412
|
+
"""Cycle through LR schedulers."""
|
|
413
|
+
schedulers = ["cosine", "linear", "step", "exponential"]
|
|
414
|
+
pattern = re.compile(r'(scheduler|lr_scheduler)\s*=\s*[\'"](\w+)[\'"]')
|
|
415
|
+
m = pattern.search(self.current_content)
|
|
416
|
+
if not m:
|
|
417
|
+
return "no_scheduler_match"
|
|
418
|
+
|
|
419
|
+
old_sch = m.group(2)
|
|
420
|
+
idx = schedulers.index(old_sch) if old_sch in schedulers else 0
|
|
421
|
+
new_sch = schedulers[(idx + 1) % len(schedulers)]
|
|
422
|
+
self.current_content = (
|
|
423
|
+
self.current_content[: m.start(2)]
|
|
424
|
+
+ new_sch
|
|
425
|
+
+ self.current_content[m.end(2) :]
|
|
426
|
+
)
|
|
427
|
+
return f"scheduler:{old_sch}->{new_sch}"
|
|
428
|
+
|
|
429
|
+
def mutate_data_augmentation(self) -> str:
|
|
430
|
+
"""Toggle data augmentation flag."""
|
|
431
|
+
pattern = re.compile(r'(augment|use_augmentation|augment_data)\s*=\s*(True|False)')
|
|
432
|
+
m = pattern.search(self.current_content)
|
|
433
|
+
if not m:
|
|
434
|
+
return "no_augment_match"
|
|
435
|
+
|
|
436
|
+
old_val = m.group(2)
|
|
437
|
+
new_val = "False" if old_val == "True" else "True"
|
|
438
|
+
self.current_content = (
|
|
439
|
+
self.current_content[: m.start(2)]
|
|
440
|
+
+ new_val
|
|
441
|
+
+ self.current_content[m.end(2) :]
|
|
442
|
+
)
|
|
443
|
+
return f"augment:{old_val}->{new_val}"
|
|
444
|
+
|
|
445
|
+
|
|
446
|
+
# ---------------------------------------------------------------------------
|
|
447
|
+
# Git helpers
|
|
448
|
+
# ---------------------------------------------------------------------------
|
|
449
|
+
|
|
450
|
+
class GitHelper:
|
|
451
|
+
"""Thin wrapper around git subprocess commands."""
|
|
452
|
+
|
|
453
|
+
def __init__(self, repo_path: Path) -> None:
|
|
454
|
+
self.repo_path = repo_path
|
|
455
|
+
|
|
456
|
+
def _run(self, cmd: list[str], check: bool = False) -> subprocess.CompletedProcess[str]:
|
|
457
|
+
safe_cmd = [shlex.quote(arg) for arg in cmd]
|
|
458
|
+
return subprocess.run(
|
|
459
|
+
safe_cmd,
|
|
460
|
+
cwd=str(self.repo_path),
|
|
461
|
+
capture_output=True,
|
|
462
|
+
text=True,
|
|
463
|
+
check=check,
|
|
464
|
+
timeout=10,
|
|
465
|
+
)
|
|
466
|
+
|
|
467
|
+
def is_repo(self) -> bool:
|
|
468
|
+
"""Check if repo."""
|
|
469
|
+
result = self._run(["git", "rev-parse", "--git-dir"])
|
|
470
|
+
return result.returncode == 0
|
|
471
|
+
|
|
472
|
+
def has_changes(self) -> bool:
|
|
473
|
+
"""Check if has changes."""
|
|
474
|
+
result = self._run(["git", "status", "--porcelain"])
|
|
475
|
+
return bool(result.stdout.strip())
|
|
476
|
+
|
|
477
|
+
def stash(self, message: str = "autoresearch-stash") -> None:
|
|
478
|
+
self._run(["git", "stash", "push", "-m", message], check=False)
|
|
479
|
+
|
|
480
|
+
def commit(self, message: str) -> str:
|
|
481
|
+
"""Commit."""
|
|
482
|
+
self._run(["git", "add", "-A"], check=False)
|
|
483
|
+
self._run(["git", "commit", "-m", message, "--no-verify"], check=False)
|
|
484
|
+
result = self._run(["git", "rev-parse", "HEAD"])
|
|
485
|
+
return result.stdout.strip()
|
|
486
|
+
|
|
487
|
+
def revert_last(self) -> None:
|
|
488
|
+
self._run(["git", "reset", "--hard", "HEAD~1"], check=False)
|
|
489
|
+
|
|
490
|
+
def create_branch(self, branch_name: str) -> None:
|
|
491
|
+
self._run(["git", "checkout", "-b", branch_name], check=False)
|
|
492
|
+
|
|
493
|
+
def current_branch(self) -> str:
|
|
494
|
+
"""Current branch."""
|
|
495
|
+
result = self._run(["git", "rev-parse", "--abbrev-ref", "HEAD"])
|
|
496
|
+
return result.stdout.strip() or "main"
|
|
497
|
+
|
|
498
|
+
|
|
499
|
+
# ---------------------------------------------------------------------------
|
|
500
|
+
# File watcher
|
|
501
|
+
# ---------------------------------------------------------------------------
|
|
502
|
+
|
|
503
|
+
class FileWatcher:
|
|
504
|
+
"""Simple polling-based file watcher."""
|
|
505
|
+
|
|
506
|
+
def __init__(self, file_path: Path, poll_interval: float = 1.0) -> None:
|
|
507
|
+
self.file_path = file_path
|
|
508
|
+
self.poll_interval = poll_interval
|
|
509
|
+
self._last_mtime: float | None = None
|
|
510
|
+
self._running = False
|
|
511
|
+
|
|
512
|
+
def start(self) -> None:
|
|
513
|
+
"""Start."""
|
|
514
|
+
if self.file_path.exists():
|
|
515
|
+
self._last_mtime = self.file_path.stat().st_mtime
|
|
516
|
+
self._running = True
|
|
517
|
+
|
|
518
|
+
def check(self) -> bool:
|
|
519
|
+
"""Return True if file has been modified since last check."""
|
|
520
|
+
if not self._running or not self.file_path.exists():
|
|
521
|
+
return False
|
|
522
|
+
current_mtime = self.file_path.stat().st_mtime
|
|
523
|
+
if self._last_mtime is None:
|
|
524
|
+
self._last_mtime = current_mtime
|
|
525
|
+
return False
|
|
526
|
+
changed = current_mtime != self._last_mtime
|
|
527
|
+
self._last_mtime = current_mtime
|
|
528
|
+
return changed
|
|
529
|
+
|
|
530
|
+
def stop(self) -> None:
|
|
531
|
+
self._running = False
|
|
532
|
+
|
|
533
|
+
|
|
534
|
+
# ---------------------------------------------------------------------------
|
|
535
|
+
# Hardware / Environment Info
|
|
536
|
+
# ---------------------------------------------------------------------------
|
|
537
|
+
|
|
538
|
+
def get_hardware_info() -> dict[str, Any]:
|
|
539
|
+
"""Capture hardware and environment info for reproducibility."""
|
|
540
|
+
return {
|
|
541
|
+
"platform": platform.system(),
|
|
542
|
+
"platform_release": platform.release(),
|
|
543
|
+
"processor": platform.processor(),
|
|
544
|
+
"python_version": platform.python_version(),
|
|
545
|
+
"machine": platform.machine(),
|
|
546
|
+
"cpu_count": os.cpu_count(),
|
|
547
|
+
}
|
|
548
|
+
|
|
549
|
+
|
|
550
|
+
# ---------------------------------------------------------------------------
|
|
551
|
+
# AutoresearchOperator
|
|
552
|
+
# ---------------------------------------------------------------------------
|
|
553
|
+
|
|
554
|
+
class AutoresearchOperator:
|
|
555
|
+
"""
|
|
556
|
+
Karpathy-style autoresearch operator.
|
|
557
|
+
|
|
558
|
+
Loop: propose → execute → evaluate → c4_keep / c4_revert → repeat
|
|
559
|
+
|
|
560
|
+
C4 fingerprint guides mutation selection:
|
|
561
|
+
T (Time) → architecture mutations (layers, dims, dropout)
|
|
562
|
+
S (Scale) → hyperparameter mutations (lr, batch, weight_decay)
|
|
563
|
+
A (Agency) → data/optimizer mutations (optimizer, scheduler, augment)
|
|
564
|
+
|
|
565
|
+
Statistical rigor:
|
|
566
|
+
- K-fold cross-validation with multiple seeds
|
|
567
|
+
- Bonferroni correction for multiple comparisons
|
|
568
|
+
- Proper PRNG (numpy RandomState)
|
|
569
|
+
- Confidence intervals on metrics
|
|
570
|
+
- Seed and hardware tracking
|
|
571
|
+
|
|
572
|
+
Multi-agent parallel execution is implemented via the MultiAgentOrchestrator.
|
|
573
|
+
"""
|
|
574
|
+
|
|
575
|
+
def __init__(
|
|
576
|
+
self,
|
|
577
|
+
config: AutoresearchConfig | None = None,
|
|
578
|
+
fingerprint: C4State | None = None,
|
|
579
|
+
) -> None:
|
|
580
|
+
self.config = config or AutoresearchConfig()
|
|
581
|
+
self.fingerprint = fingerprint or C4State(T=1, S=1, A=1)
|
|
582
|
+
self.space = C4Space()
|
|
583
|
+
self.extractor = MetricExtractor(self.config.metric_name)
|
|
584
|
+
self._best_metric: float | None = None
|
|
585
|
+
self._best_iteration = 0
|
|
586
|
+
self._no_improvement_count = 0
|
|
587
|
+
self._history: list[IterationResult] = []
|
|
588
|
+
self._prng = np.random.RandomState(self.config.prng_seed)
|
|
589
|
+
self._kfold = KFoldValidator(
|
|
590
|
+
k_folds=self.config.k_folds,
|
|
591
|
+
n_seeds=self.config.n_seeds,
|
|
592
|
+
confidence_level=self.config.confidence_level,
|
|
593
|
+
prng_seed=self.config.prng_seed,
|
|
594
|
+
)
|
|
595
|
+
|
|
596
|
+
def _select_mutation(
|
|
597
|
+
self, mutator: CodeMutator, iteration: int
|
|
598
|
+
) -> tuple[str, Callable[[], str]]:
|
|
599
|
+
"""Select mutation based on C4 fingerprint and iteration."""
|
|
600
|
+
# Use fingerprint coordinates to bias mutation selection
|
|
601
|
+
t_weight = (self.fingerprint.T + 1) / 3.0 # [0.33, 1.0]
|
|
602
|
+
s_weight = (self.fingerprint.S + 1) / 3.0
|
|
603
|
+
a_weight = (self.fingerprint.A + 1) / 3.0
|
|
604
|
+
|
|
605
|
+
# Normalize weights
|
|
606
|
+
total = t_weight + s_weight + a_weight
|
|
607
|
+
t_weight /= total
|
|
608
|
+
s_weight /= total
|
|
609
|
+
a_weight /= total
|
|
610
|
+
|
|
611
|
+
# Add exploration noise that decays with iteration
|
|
612
|
+
noise = 0.3 * max(0, 1 - iteration / self.config.max_iterations)
|
|
613
|
+
t_weight += (self._prng.rand() - 0.5) * noise
|
|
614
|
+
s_weight += (self._prng.rand() - 0.5) * noise
|
|
615
|
+
a_weight += (self._prng.rand() - 0.5) * noise
|
|
616
|
+
|
|
617
|
+
# Build candidate pool weighted by C4 fingerprint
|
|
618
|
+
candidates: list[tuple[float, str, Callable[[], str]]] = []
|
|
619
|
+
|
|
620
|
+
# T-axis: architecture
|
|
621
|
+
lr_factor = 1.5 if iteration % 2 == 0 else 1 / 1.5
|
|
622
|
+
bs_factor = 2.0 if iteration % 3 == 0 else 0.5
|
|
623
|
+
candidates.extend([
|
|
624
|
+
(t_weight * 0.5, "layer_dim", lambda: mutator.mutate_architecture_layer_dim(0.2)),
|
|
625
|
+
(t_weight * 0.3, "dropout", lambda: mutator.mutate_dropout(0.05)),
|
|
626
|
+
(t_weight * 0.2, "num_layers", lambda: mutator.mutate_num_layers(1)),
|
|
627
|
+
(s_weight * 0.5, "lr", lambda: mutator.mutate_learning_rate(lr_factor)),
|
|
628
|
+
(s_weight * 0.3, "batch_size", lambda: mutator.mutate_batch_size(bs_factor)),
|
|
629
|
+
(s_weight * 0.2, "weight_decay", lambda: mutator.mutate_weight_decay(0.01)),
|
|
630
|
+
(a_weight * 0.4, "optimizer", lambda: mutator.mutate_optimizer()),
|
|
631
|
+
(a_weight * 0.3, "scheduler", lambda: mutator.mutate_scheduler()),
|
|
632
|
+
(a_weight * 0.3, "augment", lambda: mutator.mutate_data_augmentation()),
|
|
633
|
+
])
|
|
634
|
+
|
|
635
|
+
# Weighted random selection using proper PRNG
|
|
636
|
+
total_weight = sum(w for w, _, _ in candidates)
|
|
637
|
+
threshold = self._prng.rand() * total_weight
|
|
638
|
+
cumulative = 0.0
|
|
639
|
+
for weight, name, mutation_fn in candidates:
|
|
640
|
+
cumulative += weight
|
|
641
|
+
if cumulative >= threshold:
|
|
642
|
+
return name, mutation_fn
|
|
643
|
+
|
|
644
|
+
# Fallback to last candidate
|
|
645
|
+
return candidates[-1][1], candidates[-1][2]
|
|
646
|
+
|
|
647
|
+
def _is_better(self, new: float, current: float | None) -> bool:
|
|
648
|
+
if current is None:
|
|
649
|
+
return True
|
|
650
|
+
delta = new - current
|
|
651
|
+
if self.config.lower_is_better:
|
|
652
|
+
return delta < -self.config.min_delta
|
|
653
|
+
return delta > self.config.min_delta
|
|
654
|
+
|
|
655
|
+
def _execute_command(
|
|
656
|
+
self, file_path: Path, command: list[str] | None = None
|
|
657
|
+
) -> tuple[float | None, str, str]:
|
|
658
|
+
"""Run the training command and extract metric."""
|
|
659
|
+
cmd = command or ["python3", str(file_path)]
|
|
660
|
+
project_root = Path(__file__).resolve().parents[2]
|
|
661
|
+
cwd = file_path.parent.resolve()
|
|
662
|
+
if not str(cwd).startswith(str(project_root)):
|
|
663
|
+
raise ValueError(f"Execution path {cwd} outside project root")
|
|
664
|
+
logger.info("Executing: %s", " ".join(shlex.quote(arg) for arg in cmd))
|
|
665
|
+
|
|
666
|
+
try:
|
|
667
|
+
from src.utils.safe_subprocess import safe_subprocess_run
|
|
668
|
+
result = safe_subprocess_run(
|
|
669
|
+
cmd,
|
|
670
|
+
cwd=str(cwd),
|
|
671
|
+
timeout=self.config.command_timeout_seconds,
|
|
672
|
+
capture_output=True,
|
|
673
|
+
text=True,
|
|
674
|
+
)
|
|
675
|
+
stdout = result.stdout
|
|
676
|
+
stderr = result.stderr
|
|
677
|
+
combined = stdout + "\n" + stderr
|
|
678
|
+
metric = self.extractor.extract(combined)
|
|
679
|
+
return metric, stdout, stderr
|
|
680
|
+
except subprocess.TimeoutExpired as e:
|
|
681
|
+
logger.warning("Command timed out after %ss", self.config.command_timeout_seconds)
|
|
682
|
+
return None, str(e.stdout or ""), str(e.stderr or "")
|
|
683
|
+
except subprocess.SubprocessError:
|
|
684
|
+
logger.warning("Subprocess error")
|
|
685
|
+
return None, "", ""
|
|
686
|
+
except Exception as e:
|
|
687
|
+
logger.error("Execution failed: %s", e)
|
|
688
|
+
return None, "", str(e)
|
|
689
|
+
|
|
690
|
+
def _run_with_kfold(
|
|
691
|
+
self,
|
|
692
|
+
file_path: Path,
|
|
693
|
+
command: list[str] | None = None,
|
|
694
|
+
) -> dict[str, Any]:
|
|
695
|
+
"""
|
|
696
|
+
Run K-fold cross-validation to get robust metric estimate.
|
|
697
|
+
For autoresearch, we treat each fold as a perturbed run of the same script.
|
|
698
|
+
"""
|
|
699
|
+
def metric_fn(fold: int, seed: int) -> float:
|
|
700
|
+
# Set environment seed for reproducibility
|
|
701
|
+
"""Metric fn."""
|
|
702
|
+
env = os.environ.copy()
|
|
703
|
+
env["AUTORESEARCH_FOLD"] = str(fold)
|
|
704
|
+
env["AUTORESEARCH_SEED"] = str(seed)
|
|
705
|
+
metric, _, _ = self._execute_command(file_path, command)
|
|
706
|
+
return metric if metric is not None else float("inf") if self.config.lower_is_better else float("-inf")
|
|
707
|
+
|
|
708
|
+
return self._kfold.evaluate(metric_fn)
|
|
709
|
+
|
|
710
|
+
def run(
|
|
711
|
+
self,
|
|
712
|
+
file_path: Path,
|
|
713
|
+
command: list[str] | None = None,
|
|
714
|
+
progress_callback: Callable[[IterationResult], None] | None = None,
|
|
715
|
+
use_kfold: bool = False,
|
|
716
|
+
) -> AutoresearchReport:
|
|
717
|
+
"""
|
|
718
|
+
Run the autoresearch loop.
|
|
719
|
+
|
|
720
|
+
Args:
|
|
721
|
+
file_path: Python file to mutate and run.
|
|
722
|
+
command: Optional override command (defaults to `python3 <file>`).
|
|
723
|
+
progress_callback: Called after each iteration.
|
|
724
|
+
use_kfold: Whether to use K-fold CV for each evaluation (slower but more robust).
|
|
725
|
+
|
|
726
|
+
Returns:
|
|
727
|
+
AutoresearchReport with full trace, confidence intervals, and hardware info.
|
|
728
|
+
"""
|
|
729
|
+
start_time = time.monotonic()
|
|
730
|
+
file_path = file_path.resolve()
|
|
731
|
+
|
|
732
|
+
if not file_path.exists():
|
|
733
|
+
raise FileNotFoundError(f"Target file not found: {file_path}")
|
|
734
|
+
|
|
735
|
+
# Git setup
|
|
736
|
+
git = GitHelper(file_path.parent)
|
|
737
|
+
if self.config.git_enabled and git.is_repo():
|
|
738
|
+
git.current_branch()
|
|
739
|
+
branch_name = f"autoresearch/{self.config.metric_name}/{int(start_time)}"
|
|
740
|
+
git.create_branch(branch_name)
|
|
741
|
+
logger.info("Created branch: %s", branch_name)
|
|
742
|
+
else:
|
|
743
|
+
git = None # type: ignore[assignment]
|
|
744
|
+
|
|
745
|
+
# File watcher
|
|
746
|
+
watcher = FileWatcher(file_path, self.config.poll_interval_seconds)
|
|
747
|
+
if self.config.file_watch_enabled:
|
|
748
|
+
watcher.start()
|
|
749
|
+
|
|
750
|
+
mutator = CodeMutator(file_path)
|
|
751
|
+
best_content = mutator.original_content
|
|
752
|
+
|
|
753
|
+
# Bonferroni-corrected alpha
|
|
754
|
+
bonferroni_alpha = self.config.bonferroni_alpha / max(1, self.config.max_iterations)
|
|
755
|
+
|
|
756
|
+
report = AutoresearchReport(
|
|
757
|
+
best_metric=None,
|
|
758
|
+
best_iteration=0,
|
|
759
|
+
total_iterations=0,
|
|
760
|
+
total_duration_seconds=0.0,
|
|
761
|
+
hardware_info=get_hardware_info(),
|
|
762
|
+
seed_used=self.config.prng_seed,
|
|
763
|
+
bonferroni_alpha=bonferroni_alpha,
|
|
764
|
+
)
|
|
765
|
+
|
|
766
|
+
try:
|
|
767
|
+
for iteration in range(1, self.config.max_iterations + 1):
|
|
768
|
+
iter_start = time.monotonic()
|
|
769
|
+
elapsed = iter_start - start_time
|
|
770
|
+
|
|
771
|
+
if elapsed >= self.config.time_budget_seconds:
|
|
772
|
+
logger.info("Time budget exhausted after %.1fs", elapsed)
|
|
773
|
+
break
|
|
774
|
+
|
|
775
|
+
# Check file watcher
|
|
776
|
+
if self.config.file_watch_enabled and watcher.check():
|
|
777
|
+
logger.info("File changed externally, reloading...")
|
|
778
|
+
mutator = CodeMutator(file_path)
|
|
779
|
+
|
|
780
|
+
# Propose mutation
|
|
781
|
+
mutator.reset()
|
|
782
|
+
mutation_name, mutation_fn = self._select_mutation(mutator, iteration)
|
|
783
|
+
mutation_desc = mutation_fn()
|
|
784
|
+
|
|
785
|
+
if mutation_desc.startswith("no_"):
|
|
786
|
+
logger.warning("Mutation %s had no match, skipping", mutation_name)
|
|
787
|
+
continue
|
|
788
|
+
|
|
789
|
+
# Apply mutation
|
|
790
|
+
mutator.apply()
|
|
791
|
+
logger.info(
|
|
792
|
+
"[%d/%d] Proposed: %s",
|
|
793
|
+
iteration,
|
|
794
|
+
self.config.max_iterations,
|
|
795
|
+
mutation_desc,
|
|
796
|
+
)
|
|
797
|
+
|
|
798
|
+
# Execute
|
|
799
|
+
if use_kfold:
|
|
800
|
+
kfold_result = self._run_with_kfold(file_path, command)
|
|
801
|
+
metric = kfold_result["mean"]
|
|
802
|
+
metric_std = kfold_result["std"]
|
|
803
|
+
ci_lower = kfold_result["ci_lower"]
|
|
804
|
+
ci_upper = kfold_result["ci_upper"]
|
|
805
|
+
fold_scores = kfold_result["all_scores"]
|
|
806
|
+
else:
|
|
807
|
+
metric, stdout, stderr = self._execute_command(file_path, command)
|
|
808
|
+
metric_std = None
|
|
809
|
+
ci_lower = None
|
|
810
|
+
ci_upper = None
|
|
811
|
+
fold_scores = []
|
|
812
|
+
|
|
813
|
+
iter_duration = time.monotonic() - iter_start
|
|
814
|
+
|
|
815
|
+
# Evaluate
|
|
816
|
+
improved = False
|
|
817
|
+
kept = False
|
|
818
|
+
commit_hash: str | None = None
|
|
819
|
+
p_value: float | None = None
|
|
820
|
+
|
|
821
|
+
if metric is not None:
|
|
822
|
+
# Statistical test against best metric (if available)
|
|
823
|
+
if self._best_metric is not None and metric_std is not None and metric_std > 0:
|
|
824
|
+
# One-sample t-test: is new metric significantly better?
|
|
825
|
+
t_stat = (metric - self._best_metric) / (metric_std + 1e-10)
|
|
826
|
+
# Approximate p-value for directional test
|
|
827
|
+
p_value = 1 - stats.norm.cdf(abs(t_stat))
|
|
828
|
+
significant = p_value < bonferroni_alpha
|
|
829
|
+
else:
|
|
830
|
+
significant = True
|
|
831
|
+
|
|
832
|
+
improved = self._is_better(metric, self._best_metric) and significant
|
|
833
|
+
if improved:
|
|
834
|
+
self._best_metric = metric
|
|
835
|
+
self._best_iteration = iteration
|
|
836
|
+
self._no_improvement_count = 0
|
|
837
|
+
best_content = mutator.current_content
|
|
838
|
+
report.improvement_trace.append((iteration, metric))
|
|
839
|
+
logger.info(" Metric improved: %.6f", metric)
|
|
840
|
+
else:
|
|
841
|
+
self._no_improvement_count += 1
|
|
842
|
+
logger.info(" Metric: %.6f (no improvement)", metric)
|
|
843
|
+
else:
|
|
844
|
+
self._no_improvement_count += 1
|
|
845
|
+
logger.warning(" Metric extraction failed")
|
|
846
|
+
|
|
847
|
+
# c4_keep / c4_revert
|
|
848
|
+
if improved:
|
|
849
|
+
kept = True
|
|
850
|
+
if git and self.config.git_enabled:
|
|
851
|
+
commit_hash = git.commit(
|
|
852
|
+
f"autoresearch: {mutation_desc} | {self.config.metric_name}={metric:.6f}"
|
|
853
|
+
)
|
|
854
|
+
logger.info(" Committed: %s", commit_hash[:8])
|
|
855
|
+
else:
|
|
856
|
+
kept = False
|
|
857
|
+
mutator.restore()
|
|
858
|
+
if git and self.config.git_enabled:
|
|
859
|
+
git.revert_last()
|
|
860
|
+
logger.info(" Reverted last commit")
|
|
861
|
+
|
|
862
|
+
# Check target
|
|
863
|
+
if self.config.metric_target is not None and metric is not None:
|
|
864
|
+
if self.config.lower_is_better and metric <= self.config.metric_target:
|
|
865
|
+
logger.info(
|
|
866
|
+
"Target reached: %.6f <= %.6f",
|
|
867
|
+
metric,
|
|
868
|
+
self.config.metric_target,
|
|
869
|
+
)
|
|
870
|
+
break
|
|
871
|
+
if not self.config.lower_is_better and metric >= self.config.metric_target:
|
|
872
|
+
logger.info(
|
|
873
|
+
"Target reached: %.6f >= %.6f",
|
|
874
|
+
metric,
|
|
875
|
+
self.config.metric_target,
|
|
876
|
+
)
|
|
877
|
+
break
|
|
878
|
+
|
|
879
|
+
# Check patience
|
|
880
|
+
if self._no_improvement_count >= self.config.patience:
|
|
881
|
+
logger.info(
|
|
882
|
+
"Patience exhausted after %d iterations without improvement",
|
|
883
|
+
self._no_improvement_count,
|
|
884
|
+
)
|
|
885
|
+
break
|
|
886
|
+
|
|
887
|
+
iter_result = IterationResult(
|
|
888
|
+
iteration=iteration,
|
|
889
|
+
mutation_type=mutation_desc,
|
|
890
|
+
metric_value=metric,
|
|
891
|
+
improved=improved,
|
|
892
|
+
kept=kept,
|
|
893
|
+
duration_seconds=iter_duration,
|
|
894
|
+
stdout=stdout[:2000] if not use_kfold else "", # Truncate for memory
|
|
895
|
+
stderr=stderr[:2000] if not use_kfold else "",
|
|
896
|
+
git_commit_hash=commit_hash,
|
|
897
|
+
metric_mean=metric,
|
|
898
|
+
metric_std=metric_std,
|
|
899
|
+
metric_ci_lower=ci_lower,
|
|
900
|
+
metric_ci_upper=ci_upper,
|
|
901
|
+
fold_scores=fold_scores,
|
|
902
|
+
p_value=p_value,
|
|
903
|
+
bonferroni_corrected=True,
|
|
904
|
+
)
|
|
905
|
+
self._history.append(iter_result)
|
|
906
|
+
report.iterations.append(iter_result)
|
|
907
|
+
|
|
908
|
+
if progress_callback:
|
|
909
|
+
progress_callback(iter_result)
|
|
910
|
+
|
|
911
|
+
report.best_metric = self._best_metric
|
|
912
|
+
report.best_iteration = self._best_iteration
|
|
913
|
+
report.total_iterations = len(report.iterations)
|
|
914
|
+
report.total_duration_seconds = time.monotonic() - start_time
|
|
915
|
+
|
|
916
|
+
# Estimate false positive rate: fraction of improvements that may be spurious
|
|
917
|
+
# Under null hypothesis (no real effect), expected FP rate = bonferroni_alpha
|
|
918
|
+
report.false_positive_rate_estimate = bonferroni_alpha
|
|
919
|
+
|
|
920
|
+
finally:
|
|
921
|
+
# Restore best content
|
|
922
|
+
if best_content != file_path.read_text():
|
|
923
|
+
file_path.write_text(best_content)
|
|
924
|
+
logger.info("Restored best content from iteration %d", self._best_iteration)
|
|
925
|
+
|
|
926
|
+
watcher.stop()
|
|
927
|
+
|
|
928
|
+
return report
|
|
929
|
+
|
|
930
|
+
|
|
931
|
+
# ---------------------------------------------------------------------------
|
|
932
|
+
# Convenience API
|
|
933
|
+
# ---------------------------------------------------------------------------
|
|
934
|
+
|
|
935
|
+
def run_autoresearch(
|
|
936
|
+
file: str,
|
|
937
|
+
metric: str = "val_bpb",
|
|
938
|
+
max_iter: int = 100,
|
|
939
|
+
time_budget: float = 3600.0,
|
|
940
|
+
metric_target: float | None = None,
|
|
941
|
+
lower_is_better: bool = True,
|
|
942
|
+
command: list[str] | None = None,
|
|
943
|
+
fingerprint: C4State | None = None,
|
|
944
|
+
k_folds: int = 5,
|
|
945
|
+
n_seeds: int = 3,
|
|
946
|
+
prng_seed: int = 42,
|
|
947
|
+
use_kfold: bool = False,
|
|
948
|
+
) -> AutoresearchReport:
|
|
949
|
+
"""High-level API to run autoresearch on a file."""
|
|
950
|
+
config = AutoresearchConfig(
|
|
951
|
+
max_iterations=max_iter,
|
|
952
|
+
time_budget_seconds=time_budget,
|
|
953
|
+
metric_target=metric_target,
|
|
954
|
+
metric_name=metric,
|
|
955
|
+
lower_is_better=lower_is_better,
|
|
956
|
+
k_folds=k_folds,
|
|
957
|
+
n_seeds=n_seeds,
|
|
958
|
+
prng_seed=prng_seed,
|
|
959
|
+
)
|
|
960
|
+
operator = AutoresearchOperator(config=config, fingerprint=fingerprint)
|
|
961
|
+
return operator.run(Path(file), command=command, use_kfold=use_kfold)
|