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,265 @@
|
|
|
1
|
+
# SPDX-License-Identifier: AGPL-3.0
|
|
2
|
+
# Copyright (c) 2026 c4reqber Contributors
|
|
3
|
+
"""Delta renderer — flicker-free terminal updates by tracking cell diffs.
|
|
4
|
+
|
|
5
|
+
Instead of clear+redraw (which flickers), we track the previous frame as a
|
|
6
|
+
grid of cells and only write ANSI escape sequences for cells that changed.
|
|
7
|
+
|
|
8
|
+
Usage:
|
|
9
|
+
dr = DeltaRenderer(width=80, height=24)
|
|
10
|
+
for frame in frames:
|
|
11
|
+
dr.render(frame) # only changed cells are sent to stdout
|
|
12
|
+
"""
|
|
13
|
+
from __future__ import annotations
|
|
14
|
+
|
|
15
|
+
import sys
|
|
16
|
+
from typing import Iterator, TextIO
|
|
17
|
+
|
|
18
|
+
|
|
19
|
+
ANSI_RESET = "\033[0m"
|
|
20
|
+
|
|
21
|
+
|
|
22
|
+
class Cell:
|
|
23
|
+
"""Cell."""
|
|
24
|
+
__slots__ = ("char", "fg", "bg", "bold", "dim")
|
|
25
|
+
|
|
26
|
+
def __init__(
|
|
27
|
+
self,
|
|
28
|
+
char: str = " ",
|
|
29
|
+
fg: str = "",
|
|
30
|
+
bg: str = "",
|
|
31
|
+
bold: bool = False,
|
|
32
|
+
dim: bool = False,
|
|
33
|
+
) -> None:
|
|
34
|
+
self.char = char
|
|
35
|
+
self.fg = fg
|
|
36
|
+
self.bg = bg
|
|
37
|
+
self.bold = bold
|
|
38
|
+
self.dim = dim
|
|
39
|
+
|
|
40
|
+
def __eq__(self, other: object) -> bool:
|
|
41
|
+
if not isinstance(other, Cell):
|
|
42
|
+
return False
|
|
43
|
+
return (
|
|
44
|
+
self.char == other.char
|
|
45
|
+
and self.fg == other.fg
|
|
46
|
+
and self.bg == other.bg
|
|
47
|
+
and self.bold == other.bold
|
|
48
|
+
and self.dim == other.dim
|
|
49
|
+
)
|
|
50
|
+
|
|
51
|
+
def to_ansi(self) -> str:
|
|
52
|
+
"""To ansi."""
|
|
53
|
+
parts = []
|
|
54
|
+
if self.bold:
|
|
55
|
+
parts.append("\033[1m")
|
|
56
|
+
if self.dim:
|
|
57
|
+
parts.append("\033[2m")
|
|
58
|
+
if self.fg:
|
|
59
|
+
parts.append(self.fg)
|
|
60
|
+
if self.bg:
|
|
61
|
+
parts.append(self.bg)
|
|
62
|
+
parts.append(self.char)
|
|
63
|
+
return "".join(parts)
|
|
64
|
+
|
|
65
|
+
|
|
66
|
+
class DeltaRenderer:
|
|
67
|
+
"""Flicker-free terminal frame rendering.
|
|
68
|
+
|
|
69
|
+
Maintains a grid of the previous frame. On each render(),
|
|
70
|
+
compares new frame against cached grid and writes only
|
|
71
|
+
changed cells using absolute cursor positioning (ANSI CSI n;mH).
|
|
72
|
+
"""
|
|
73
|
+
|
|
74
|
+
def __init__(self, width: int = 80, height: int = 24) -> None:
|
|
75
|
+
self.width = width
|
|
76
|
+
self.height = height
|
|
77
|
+
self._grid: list[list[Cell]] = [
|
|
78
|
+
[Cell() for _ in range(width)] for _ in range(height)
|
|
79
|
+
]
|
|
80
|
+
self._frame_count = 0
|
|
81
|
+
self._total_diffs = 0
|
|
82
|
+
self._initialized = False
|
|
83
|
+
|
|
84
|
+
def _ansi_move(self, row: int, col: int) -> str:
|
|
85
|
+
"""Move cursor to 1-based (row, col)."""
|
|
86
|
+
return f"\033[{row};{col}H"
|
|
87
|
+
|
|
88
|
+
def _ansi_color(self, hex_color: str, is_fg: bool = True) -> str:
|
|
89
|
+
"""Convert #rrggbb to ANSI 256-color or truecolor."""
|
|
90
|
+
if not hex_color or not hex_color.startswith("#"):
|
|
91
|
+
return ""
|
|
92
|
+
h = hex_color.lstrip("#")
|
|
93
|
+
if len(h) != 6:
|
|
94
|
+
return ""
|
|
95
|
+
r, g, b = int(h[0:2], 16), int(h[2:4], 16), int(h[4:6], 16)
|
|
96
|
+
layer = 16 if is_fg else 48
|
|
97
|
+
return f"\033[{layer};2;{r};{g};{b}m"
|
|
98
|
+
|
|
99
|
+
def _parse_rich_line(self, line: str, row: int) -> list[Cell]:
|
|
100
|
+
"""Parse a Rich-markup string line into Cell grid row.
|
|
101
|
+
|
|
102
|
+
Handles basic Rich tags: [color], [/color], [bold], [dim].
|
|
103
|
+
Does NOT handle nested tags or all edge cases — but enough
|
|
104
|
+
for the C4REQBER TUI which uses simple markup.
|
|
105
|
+
"""
|
|
106
|
+
cells = [Cell() for _ in range(self.width)]
|
|
107
|
+
col = 0
|
|
108
|
+
i = 0
|
|
109
|
+
|
|
110
|
+
current_fg = ""
|
|
111
|
+
current_bg = ""
|
|
112
|
+
current_bold = False
|
|
113
|
+
current_dim = False
|
|
114
|
+
|
|
115
|
+
style_stack: list[dict[str, bool | str]] = []
|
|
116
|
+
|
|
117
|
+
while i < len(line) and col < self.width:
|
|
118
|
+
ch = line[i]
|
|
119
|
+
|
|
120
|
+
if ch == "[":
|
|
121
|
+
end = line.find("]", i)
|
|
122
|
+
if end == -1:
|
|
123
|
+
break
|
|
124
|
+
tag = line[i + 1 : end]
|
|
125
|
+
|
|
126
|
+
if tag.startswith("/"):
|
|
127
|
+
clean = tag[1:]
|
|
128
|
+
if clean.startswith("#"):
|
|
129
|
+
if style_stack:
|
|
130
|
+
prev = style_stack.pop()
|
|
131
|
+
current_fg = str(prev.get("fg", ""))
|
|
132
|
+
current_bold = bool(prev.get("bold", False))
|
|
133
|
+
current_dim = bool(prev.get("dim", False))
|
|
134
|
+
elif clean == "bold":
|
|
135
|
+
if style_stack:
|
|
136
|
+
prev = style_stack.pop()
|
|
137
|
+
current_bold = bool(prev.get("bold", False))
|
|
138
|
+
elif clean == "dim":
|
|
139
|
+
if style_stack.pop():
|
|
140
|
+
current_dim = bool(style_stack[-1].get("dim", False)) if style_stack else False
|
|
141
|
+
else:
|
|
142
|
+
style_stack.append({
|
|
143
|
+
"fg": current_fg,
|
|
144
|
+
"bg": current_bg,
|
|
145
|
+
"bold": current_bold,
|
|
146
|
+
"dim": current_dim,
|
|
147
|
+
})
|
|
148
|
+
if tag.startswith("#") or tag.startswith("rgb"):
|
|
149
|
+
current_fg = self._ansi_color(tag)
|
|
150
|
+
elif tag == "bold":
|
|
151
|
+
current_bold = True
|
|
152
|
+
elif tag == "dim":
|
|
153
|
+
current_dim = True
|
|
154
|
+
|
|
155
|
+
i = end + 1
|
|
156
|
+
continue
|
|
157
|
+
|
|
158
|
+
cells[col] = Cell(
|
|
159
|
+
char=ch,
|
|
160
|
+
fg=current_fg,
|
|
161
|
+
bg=current_bg,
|
|
162
|
+
bold=current_bold,
|
|
163
|
+
dim=current_dim,
|
|
164
|
+
)
|
|
165
|
+
col += 1
|
|
166
|
+
i += 1
|
|
167
|
+
|
|
168
|
+
return cells
|
|
169
|
+
|
|
170
|
+
def render(self, frame: str, out: TextIO | None = None) -> None:
|
|
171
|
+
"""Render a frame to stdout, only updating changed cells.
|
|
172
|
+
|
|
173
|
+
Args:
|
|
174
|
+
frame: Multi-line string (plain ANSI or Rich-markup).
|
|
175
|
+
Each line becomes one row.
|
|
176
|
+
out: File-like object (default: sys.stdout).
|
|
177
|
+
"""
|
|
178
|
+
if out is None:
|
|
179
|
+
out = sys.stdout
|
|
180
|
+
|
|
181
|
+
lines = frame.split("\n")
|
|
182
|
+
row_count = min(len(lines), self.height)
|
|
183
|
+
|
|
184
|
+
if not self._initialized:
|
|
185
|
+
out.write("\033[2J\033[H")
|
|
186
|
+
out.write(ANSI_RESET)
|
|
187
|
+
self._initialized = True
|
|
188
|
+
|
|
189
|
+
out.write("\033[?25l") # hide cursor
|
|
190
|
+
|
|
191
|
+
diffs = 0
|
|
192
|
+
|
|
193
|
+
for row in range(row_count):
|
|
194
|
+
line = lines[row]
|
|
195
|
+
new_cells = self._parse_rich_line(line, row)
|
|
196
|
+
modified = False
|
|
197
|
+
run_start = -1
|
|
198
|
+
run_text: list[str] = []
|
|
199
|
+
|
|
200
|
+
for col in range(self.width):
|
|
201
|
+
old = self._grid[row][col]
|
|
202
|
+
new = new_cells[col]
|
|
203
|
+
if old != new:
|
|
204
|
+
diffs += 1
|
|
205
|
+
if not modified:
|
|
206
|
+
modified = True
|
|
207
|
+
run_start = col
|
|
208
|
+
run_text = []
|
|
209
|
+
run_text.append(new.to_ansi())
|
|
210
|
+
self._grid[row][col] = new
|
|
211
|
+
elif modified:
|
|
212
|
+
self._flush_run(out, row + 1, run_start + 1, run_text)
|
|
213
|
+
modified = False
|
|
214
|
+
|
|
215
|
+
if modified:
|
|
216
|
+
self._flush_run(out, row + 1, run_start + 1, run_text)
|
|
217
|
+
|
|
218
|
+
out.write("\033[?25h") # show cursor
|
|
219
|
+
out.flush()
|
|
220
|
+
|
|
221
|
+
self._frame_count += 1
|
|
222
|
+
self._total_diffs += diffs
|
|
223
|
+
|
|
224
|
+
def _flush_run(
|
|
225
|
+
self, out: TextIO, row: int, col: int, text: list[str]
|
|
226
|
+
) -> None:
|
|
227
|
+
"""Write a contiguous run of changed cells at (row, col)."""
|
|
228
|
+
out.write(self._ansi_move(row, col))
|
|
229
|
+
out.write("".join(text))
|
|
230
|
+
out.write(ANSI_RESET)
|
|
231
|
+
|
|
232
|
+
def stats(self) -> dict[str, object]:
|
|
233
|
+
return {
|
|
234
|
+
"frames": self._frame_count,
|
|
235
|
+
"total_diffs": self._total_diffs,
|
|
236
|
+
"avg_diffs_per_frame": (
|
|
237
|
+
self._total_diffs / max(1, self._frame_count)
|
|
238
|
+
),
|
|
239
|
+
}
|
|
240
|
+
|
|
241
|
+
|
|
242
|
+
def split_into_cells(text: str, width: int = 80) -> list[list[str]]:
|
|
243
|
+
"""Split multi-line text into per-line character lists, padded to width."""
|
|
244
|
+
lines = text.split("\n")
|
|
245
|
+
result: list[list[str]] = []
|
|
246
|
+
for line in lines:
|
|
247
|
+
chars = list(line)
|
|
248
|
+
chars.extend([" "] * max(0, width - len(chars)))
|
|
249
|
+
result.append(chars[:width])
|
|
250
|
+
while len(result) < 24:
|
|
251
|
+
result.append([" "] * width)
|
|
252
|
+
return result
|
|
253
|
+
|
|
254
|
+
|
|
255
|
+
def diff_and_patch(
|
|
256
|
+
old_lines: list[str],
|
|
257
|
+
new_lines: list[str],
|
|
258
|
+
) -> Iterator[tuple[int, int, str]]:
|
|
259
|
+
"""Yield (row, col, ansi_text) for changed cells between two frames."""
|
|
260
|
+
for row, (old, new) in enumerate(zip(old_lines, new_lines, strict=False)):
|
|
261
|
+
for col in range(max(len(old), len(new))):
|
|
262
|
+
oc = old[col] if col < len(old) else " "
|
|
263
|
+
nc = new[col] if col < len(new) else " "
|
|
264
|
+
if oc != nc:
|
|
265
|
+
yield (row + 1, col + 1, nc)
|
src/tui/depth_ladder.py
ADDED
|
@@ -0,0 +1,50 @@
|
|
|
1
|
+
# SPDX-License-Identifier: AGPL-3.0
|
|
2
|
+
# Copyright (c) 2026 c4reqber Contributors
|
|
3
|
+
from __future__ import annotations
|
|
4
|
+
|
|
5
|
+
from typing import Any
|
|
6
|
+
|
|
7
|
+
from rich.console import Group
|
|
8
|
+
from rich.panel import Panel
|
|
9
|
+
from rich.progress_bar import ProgressBar
|
|
10
|
+
from rich.text import Text
|
|
11
|
+
from textual.widgets import Static
|
|
12
|
+
|
|
13
|
+
|
|
14
|
+
class DepthLadder(Static):
|
|
15
|
+
"""Three-rung ladder: C1 Discovery → C2 Formalization → C3 Verification."""
|
|
16
|
+
|
|
17
|
+
LAYERS = [
|
|
18
|
+
(1, "Discovery", "cyan"),
|
|
19
|
+
(2, "Formalization", "yellow"),
|
|
20
|
+
(3, "Verification", "magenta"),
|
|
21
|
+
]
|
|
22
|
+
|
|
23
|
+
def __init__(self) -> None:
|
|
24
|
+
super().__init__("")
|
|
25
|
+
self._progress: dict[int, float] = {1: 0.0, 2: 0.0, 3: 0.0}
|
|
26
|
+
|
|
27
|
+
def update_layer(self, layer: int, percent: float) -> None:
|
|
28
|
+
self._progress[layer] = min(1.0, max(0.0, percent))
|
|
29
|
+
|
|
30
|
+
def set_from_pipeline_step(self, step: int, total: int = 12) -> None:
|
|
31
|
+
"""Set from pipeline step."""
|
|
32
|
+
ratio = step / total
|
|
33
|
+
self._progress[1] = min(1.0, ratio / 0.33) # Steps 1-4
|
|
34
|
+
self._progress[2] = min(1.0, max(0.0, (ratio - 0.33) / 0.33)) # Steps 5-8
|
|
35
|
+
self._progress[3] = min(1.0, max(0.0, (ratio - 0.66) / 0.34)) # Steps 9-12
|
|
36
|
+
|
|
37
|
+
def render(self) -> Panel:
|
|
38
|
+
"""Render."""
|
|
39
|
+
lines: list[Any] = []
|
|
40
|
+
for layer, name, color in self.LAYERS:
|
|
41
|
+
pct = self._progress[layer]
|
|
42
|
+
bar = ProgressBar(total=100, completed=int(pct * 100), width=20)
|
|
43
|
+
label = Text()
|
|
44
|
+
label.append(f"C{layer} {name:<16}", style=color)
|
|
45
|
+
label.append(f" {int(pct * 100):>3}%", style="bold")
|
|
46
|
+
if pct >= 1.0:
|
|
47
|
+
label.append(" ✓", style="bold green")
|
|
48
|
+
lines.append(label)
|
|
49
|
+
lines.append(bar)
|
|
50
|
+
return Panel(Group(*lines), title="Depth Ladder", border_style="cyan")
|
src/tui/diagnostics.py
ADDED
|
@@ -0,0 +1,165 @@
|
|
|
1
|
+
from __future__ import annotations
|
|
2
|
+
|
|
3
|
+
|
|
4
|
+
"""
|
|
5
|
+
TUI: Diagnostics
|
|
6
|
+
Diagnostic wizard and related methods for C4TUI.
|
|
7
|
+
"""
|
|
8
|
+
|
|
9
|
+
|
|
10
|
+
from rich import box
|
|
11
|
+
from rich.panel import Panel
|
|
12
|
+
from rich.text import Text
|
|
13
|
+
|
|
14
|
+
|
|
15
|
+
def make_diagnostic_wizard(t, router, q1: str = '', q2: str = '', q3: str = '') -> Panel:
|
|
16
|
+
"""Render the 30-second diagnostic wizard panel."""
|
|
17
|
+
_DIAG_Q1_MAP = {'1': 'Регулятивный', '2': 'Структурний', '3': 'Смисловий', '4': 'Реляціонний'}
|
|
18
|
+
_DIAG_Q2_MAP = {'1': 'Градієнтний', '2': 'Дискретний', '3': 'Циклічний', '4': 'Каскадний'}
|
|
19
|
+
_DIAG_Q3_MAP = {'1': 'Упругий', '2': 'Умовно-упругий', '3': 'Необоротний'}
|
|
20
|
+
_DIAG_SITUATION_MAP = {'Регулятивний': 'overload', 'Структурний': 'rigidity', 'Смисловий': 'chaos', 'Реляціонний': 'isolation'}
|
|
21
|
+
|
|
22
|
+
def _marker(selected: str, key: str, label: str) -> str:
|
|
23
|
+
if selected == key:
|
|
24
|
+
return f"[bold #4ECDC4]▶ [{key}] {label}[/]"
|
|
25
|
+
return f" [{key}] {label}"
|
|
26
|
+
|
|
27
|
+
q1_text = (
|
|
28
|
+
f" [bold]1. ЩО трансформується?[/]\n"
|
|
29
|
+
f" {_marker(q1, '1', 'Стан')}\n"
|
|
30
|
+
f" {_marker(q1, '2', 'Структура')}\n"
|
|
31
|
+
f" {_marker(q1, '3', 'Смисл')}\n"
|
|
32
|
+
f" {_marker(q1, '4', 'Відношення')}"
|
|
33
|
+
)
|
|
34
|
+
|
|
35
|
+
q2_text = (
|
|
36
|
+
f" [bold]2. ЯК проходить зміна?[/]\n"
|
|
37
|
+
f" {_marker(q2, '1', 'Поступово')}\n"
|
|
38
|
+
f" {_marker(q2, '2', 'Стрибком')}\n"
|
|
39
|
+
f" {_marker(q2, '3', 'Циклічно')}\n"
|
|
40
|
+
f" {_marker(q2, '4', 'Каскадно')}"
|
|
41
|
+
)
|
|
42
|
+
|
|
43
|
+
q3_text = (
|
|
44
|
+
f" [bold]3. ОБРАТИМО чи зміна?[/]\n"
|
|
45
|
+
f" {_marker(q3, '1', 'Да')}\n"
|
|
46
|
+
f" {_marker(q3, '2', 'Умовно')}\n"
|
|
47
|
+
f" {_marker(q3, '3', 'Ні')}"
|
|
48
|
+
)
|
|
49
|
+
|
|
50
|
+
code = ''
|
|
51
|
+
if q1 and q2 and q3:
|
|
52
|
+
p1 = _DIAG_Q1_MAP.get(q1, 'Регулятивний')
|
|
53
|
+
p2 = _DIAG_Q2_MAP.get(q2, 'Градієнтний')
|
|
54
|
+
p3 = _DIAG_Q3_MAP.get(q3, 'Упругий')
|
|
55
|
+
code = f"{p1}-{p2}-{p3}"
|
|
56
|
+
|
|
57
|
+
situation = _DIAG_SITUATION_MAP.get(p1, 'chaos')
|
|
58
|
+
gap_pct = 25 if p3 == 'Упругий' else (50 if p3 == 'Умовно-упругий' else 85)
|
|
59
|
+
ops = router.route(situation, gap_pct)
|
|
60
|
+
|
|
61
|
+
level = 'SIMPLE' if gap_pct < 30 else ('MEDIUM' if gap_pct <= 70 else 'COMPLEX')
|
|
62
|
+
info = (
|
|
63
|
+
f"\n\n [bold #4ECDC4]Ваш код:[/] [{code}]\n"
|
|
64
|
+
f" [bold #4ECDC4]Рекомендовані оператори:[/] {' → '.join(ops)}\n"
|
|
65
|
+
f" [bold #4ECDC4]Рівень складності:[/] {level} (GAP < {'30' if gap_pct < 30 else '70' if gap_pct <= 70 else '100'}%)"
|
|
66
|
+
)
|
|
67
|
+
else:
|
|
68
|
+
info = "\n\n [dim]Виберіть відповіді на все 3 питання[/]"
|
|
69
|
+
|
|
70
|
+
body = Text.from_markup(
|
|
71
|
+
f"{q1_text}\n\n{q2_text}\n\n{q3_text}{info}"
|
|
72
|
+
)
|
|
73
|
+
|
|
74
|
+
return Panel(
|
|
75
|
+
body,
|
|
76
|
+
title="[bold]🧠 ДІАГНОСТЮКА ПРОБЛЕМА (30 секунд)[/]",
|
|
77
|
+
border_style="bold #FFD93D",
|
|
78
|
+
box=box.ROUNDED,
|
|
79
|
+
padding=(1, 4),
|
|
80
|
+
)
|
|
81
|
+
|
|
82
|
+
|
|
83
|
+
def run_diagnostic_wizard(keyboard_reader, make_diagnostic_wizard_fn, router) -> dict:
|
|
84
|
+
"""Interactive diagnostic wizard returning problem profile."""
|
|
85
|
+
_DIAG_Q1_MAP = {'1': 'Регулятивний', '2': 'Структурний', '3': 'Смисловий', '4': 'Реляціонний'}
|
|
86
|
+
_DIAG_Q2_MAP = {'1': 'Градієнтний', '2': 'Дискретний', '3': 'Циклічний', '4': 'Каскадний'}
|
|
87
|
+
_DIAG_Q3_MAP = {'1': 'Упругий', '2': 'Умовно-упругий', '3': 'Необоротний'}
|
|
88
|
+
_DIAG_SITUATION_MAP = {'Регулятивний': 'overload', 'Структурний': 'rigidity', 'Смисловий': 'chaos', 'Реляціонний': 'isolation'}
|
|
89
|
+
|
|
90
|
+
selections: dict = {'q1': '1', 'q2': '1', 'q3': '1'}
|
|
91
|
+
current_q = 'q1'
|
|
92
|
+
|
|
93
|
+
with keyboard_reader as kr:
|
|
94
|
+
while True:
|
|
95
|
+
import sys
|
|
96
|
+
sys.stdout.write("\033[2J\033[H")
|
|
97
|
+
sys.stdout.flush()
|
|
98
|
+
print(make_diagnostic_wizard_fn(selections['q1'], selections['q2'], selections['q3']))
|
|
99
|
+
sys.stdout.flush()
|
|
100
|
+
|
|
101
|
+
key = kr.read_key(timeout=0.3)
|
|
102
|
+
|
|
103
|
+
if key is None:
|
|
104
|
+
continue
|
|
105
|
+
|
|
106
|
+
if key == ('esc',) or key == ('char', 'q') or key == ('char', 'Q'):
|
|
107
|
+
return {}
|
|
108
|
+
|
|
109
|
+
if key == ('char', '1'):
|
|
110
|
+
selections[current_q] = '1'
|
|
111
|
+
if current_q == 'q1':
|
|
112
|
+
current_q = 'q2'
|
|
113
|
+
elif current_q == 'q2':
|
|
114
|
+
current_q = 'q3'
|
|
115
|
+
else:
|
|
116
|
+
continue
|
|
117
|
+
|
|
118
|
+
elif key == ('char', '2'):
|
|
119
|
+
selections[current_q] = '2'
|
|
120
|
+
if current_q == 'q1':
|
|
121
|
+
current_q = 'q2'
|
|
122
|
+
elif current_q == 'q2':
|
|
123
|
+
current_q = 'q3'
|
|
124
|
+
else:
|
|
125
|
+
continue
|
|
126
|
+
|
|
127
|
+
elif key == ('char', '3'):
|
|
128
|
+
selections[current_q] = '3'
|
|
129
|
+
if current_q == 'q1':
|
|
130
|
+
current_q = 'q2'
|
|
131
|
+
elif current_q == 'q2':
|
|
132
|
+
current_q = 'q3'
|
|
133
|
+
else:
|
|
134
|
+
continue
|
|
135
|
+
|
|
136
|
+
elif key == ('char', '4'):
|
|
137
|
+
if current_q in ('q1', 'q2'):
|
|
138
|
+
selections[current_q] = '4'
|
|
139
|
+
if current_q == 'q1':
|
|
140
|
+
current_q = 'q2'
|
|
141
|
+
elif current_q == 'q2':
|
|
142
|
+
current_q = 'q3'
|
|
143
|
+
else:
|
|
144
|
+
continue
|
|
145
|
+
|
|
146
|
+
elif key == ('enter',):
|
|
147
|
+
if selections['q1'] and selections['q2'] and selections['q3']:
|
|
148
|
+
break
|
|
149
|
+
|
|
150
|
+
p1 = _DIAG_Q1_MAP.get(selections['q1'], 'Регулятивний')
|
|
151
|
+
p2 = _DIAG_Q2_MAP.get(selections['q2'], 'Градієнтний')
|
|
152
|
+
p3 = _DIAG_Q3_MAP.get(selections['q3'], 'Упругий')
|
|
153
|
+
code = f"{p1}-{p2}-{p3}"
|
|
154
|
+
|
|
155
|
+
situation = _DIAG_SITUATION_MAP.get(p1, 'chaos')
|
|
156
|
+
gap_pct = 25 if p3 == 'Упругий' else (50 if p3 == 'Умовно-упругий' else 85)
|
|
157
|
+
ops = router.route(situation, gap_pct)
|
|
158
|
+
|
|
159
|
+
fp = router.fingerprint("diagnostic problem")
|
|
160
|
+
fp.update({
|
|
161
|
+
'code': code,
|
|
162
|
+
'gap_pct': gap_pct,
|
|
163
|
+
'operator_chain': ops,
|
|
164
|
+
})
|
|
165
|
+
return fp
|
src/tui/easing.py
ADDED
|
@@ -0,0 +1,104 @@
|
|
|
1
|
+
# SPDX-License-Identifier: AGPL-3.0
|
|
2
|
+
# Copyright (c) 2026 c4reqber Contributors
|
|
3
|
+
"""Physics easing curves for smooth animations — cubic, elastic, inertia.
|
|
4
|
+
|
|
5
|
+
Usage:
|
|
6
|
+
pos = ease_out_cubic(t) # t in [0.0, 1.0] → eased position
|
|
7
|
+
step = inertia_step(velocity, dt, friction=0.92) # physics simulation
|
|
8
|
+
"""
|
|
9
|
+
from __future__ import annotations
|
|
10
|
+
|
|
11
|
+
import math
|
|
12
|
+
import time
|
|
13
|
+
from typing import Callable
|
|
14
|
+
|
|
15
|
+
|
|
16
|
+
EasingFn = Callable[[float], float]
|
|
17
|
+
|
|
18
|
+
|
|
19
|
+
def ease_out_cubic(t: float) -> float:
|
|
20
|
+
"""Cubic ease-out — fast start, gradual deceleration. Like a rolling ball."""
|
|
21
|
+
return 1.0 - (1.0 - t) ** 3
|
|
22
|
+
|
|
23
|
+
|
|
24
|
+
def ease_in_out_cubic(t: float) -> float:
|
|
25
|
+
"""Cubic ease-in-out — smooth acceleration then deceleration. Flywheel feel."""
|
|
26
|
+
if t < 0.5:
|
|
27
|
+
return 4.0 * t * t * t
|
|
28
|
+
return 1.0 - pow(-2.0 * t + 2.0, 3) / 2.0
|
|
29
|
+
|
|
30
|
+
|
|
31
|
+
def ease_out_elastic(t: float) -> float:
|
|
32
|
+
"""Elastic ease-out — overshoots then settles. Like a spring doorstop."""
|
|
33
|
+
if t == 0.0 or t == 1.0:
|
|
34
|
+
return t
|
|
35
|
+
c4 = (2.0 * math.pi) / 3.0
|
|
36
|
+
return pow(2.0, -10.0 * t) * math.sin((t * 10.0 - 0.75) * c4) + 1.0
|
|
37
|
+
|
|
38
|
+
|
|
39
|
+
def ease_out_back(t: float) -> float:
|
|
40
|
+
"""Back ease-out — overshoots slightly, then returns. Premium UI feel."""
|
|
41
|
+
c1 = 1.70158
|
|
42
|
+
c3 = c1 + 1.0
|
|
43
|
+
return 1.0 + c3 * pow(t - 1.0, 3) + c1 * pow(t - 1.0, 2)
|
|
44
|
+
|
|
45
|
+
|
|
46
|
+
def ease_out_quart(t: float) -> float:
|
|
47
|
+
"""Quartic ease-out — faster than cubic, heavier deceleration."""
|
|
48
|
+
return 1.0 - pow(1.0 - t, 4)
|
|
49
|
+
|
|
50
|
+
|
|
51
|
+
def ease_out_expo(t: float) -> float:
|
|
52
|
+
"""Exponential ease-out — very fast start, long tail. Particle-like."""
|
|
53
|
+
if t == 1.0:
|
|
54
|
+
return 1.0
|
|
55
|
+
return 1.0 - pow(2.0, -10.0 * t)
|
|
56
|
+
|
|
57
|
+
|
|
58
|
+
EASING_MAP: dict[str, EasingFn] = {
|
|
59
|
+
"cubic": ease_out_cubic,
|
|
60
|
+
"in_out_cubic": ease_in_out_cubic,
|
|
61
|
+
"elastic": ease_out_elastic,
|
|
62
|
+
"back": ease_out_back,
|
|
63
|
+
"quart": ease_out_quart,
|
|
64
|
+
"expo": ease_out_expo,
|
|
65
|
+
}
|
|
66
|
+
|
|
67
|
+
|
|
68
|
+
class InertiaSimulation:
|
|
69
|
+
"""Simulates physical inertia for UI elements (cube, cursors, scroll).
|
|
70
|
+
|
|
71
|
+
Like a car coasting — velocity decays with friction.
|
|
72
|
+
Position is the integral of velocity over time.
|
|
73
|
+
"""
|
|
74
|
+
|
|
75
|
+
def __init__(self, friction: float = 0.92, mass: float = 1.0) -> None:
|
|
76
|
+
self.friction = friction
|
|
77
|
+
self.mass = mass
|
|
78
|
+
self.velocity = 0.0
|
|
79
|
+
self.position = 0.0
|
|
80
|
+
self._last_tick: float | None = None
|
|
81
|
+
|
|
82
|
+
def tick(self, dt: float) -> float:
|
|
83
|
+
"""Advance physics by dt seconds. Returns new position."""
|
|
84
|
+
self.velocity *= self.friction
|
|
85
|
+
self.position += self.velocity * dt
|
|
86
|
+
return self.position
|
|
87
|
+
|
|
88
|
+
def push(self, force: float) -> None:
|
|
89
|
+
"""Apply instantaneous impulse."""
|
|
90
|
+
self.velocity += force / self.mass
|
|
91
|
+
|
|
92
|
+
def auto_tick(self) -> float:
|
|
93
|
+
"""Tick using real elapsed time since last call."""
|
|
94
|
+
now = time.monotonic()
|
|
95
|
+
if self._last_tick is None:
|
|
96
|
+
self._last_tick = now
|
|
97
|
+
return self.position
|
|
98
|
+
dt = now - self._last_tick
|
|
99
|
+
self._last_tick = now
|
|
100
|
+
return self.tick(dt)
|
|
101
|
+
|
|
102
|
+
def is_still(self, threshold: float = 0.001) -> bool:
|
|
103
|
+
"""True when velocity is negligible."""
|
|
104
|
+
return abs(self.velocity) < threshold
|
src/tui/entry.py
ADDED
|
@@ -0,0 +1,79 @@
|
|
|
1
|
+
"""TUI: Entry Point — delegates to v8 Go binary."""
|
|
2
|
+
from __future__ import annotations
|
|
3
|
+
|
|
4
|
+
import argparse
|
|
5
|
+
import subprocess
|
|
6
|
+
import sys
|
|
7
|
+
from pathlib import Path
|
|
8
|
+
|
|
9
|
+
|
|
10
|
+
def _find_binary() -> Path | None:
|
|
11
|
+
"""Locate the c4tui-v8 binary."""
|
|
12
|
+
root = Path(__file__).resolve().parents[2]
|
|
13
|
+
candidates = [
|
|
14
|
+
root / "bin" / "c4tui-v8",
|
|
15
|
+
root / "src" / "tui" / "v8" / "c4tui-v8",
|
|
16
|
+
root / "src" / "tui" / "v8" / "c4tui",
|
|
17
|
+
]
|
|
18
|
+
for c in candidates:
|
|
19
|
+
if c.exists():
|
|
20
|
+
return c
|
|
21
|
+
return None
|
|
22
|
+
|
|
23
|
+
|
|
24
|
+
def main() -> None:
|
|
25
|
+
"""Main entry point."""
|
|
26
|
+
parser = argparse.ArgumentParser(description="c44tcdi — Cognitive Exoskeleton TUI v8")
|
|
27
|
+
sub = parser.add_subparsers(dest="command")
|
|
28
|
+
|
|
29
|
+
tui_cmd = sub.add_parser("tui", help="Interactive TUI (Go-based v8)")
|
|
30
|
+
tui_cmd.add_argument("--lang", "-l", choices=["en", "ru", "zh", "ja", "de", "ar", "hi"], default=None, help="UI language")
|
|
31
|
+
tui_cmd.add_argument("--theme", "-t", choices=["dark", "matrix", "paper"], default=None, help="Color theme")
|
|
32
|
+
tui_cmd.add_argument("--api", default=None, help="Override API base URL")
|
|
33
|
+
|
|
34
|
+
solve = sub.add_parser("solve", help="One-shot discovery (use CLI blast)")
|
|
35
|
+
solve.add_argument("problem", help="Problem description")
|
|
36
|
+
solve.add_argument("--domain", "-d", default="science")
|
|
37
|
+
|
|
38
|
+
sub.add_parser("quickstart", help="Interactive 3-step onboarding (TUI)")
|
|
39
|
+
sub.add_parser("cube", help="Show ASCII cube (TUI)")
|
|
40
|
+
|
|
41
|
+
args = parser.parse_args()
|
|
42
|
+
|
|
43
|
+
if args.command == "tui":
|
|
44
|
+
binary = _find_binary()
|
|
45
|
+
if binary is None:
|
|
46
|
+
print("c4tui-v8 binary not found. Build it first:")
|
|
47
|
+
print(" cd src/tui/v8 && go build -o c4tui-v8 .")
|
|
48
|
+
sys.exit(1)
|
|
49
|
+
cmd = [str(binary)]
|
|
50
|
+
if args.lang:
|
|
51
|
+
cmd += ["--lang", args.lang]
|
|
52
|
+
if args.theme:
|
|
53
|
+
cmd += ["--theme", args.theme]
|
|
54
|
+
if args.api:
|
|
55
|
+
cmd += ["--api", args.api]
|
|
56
|
+
subprocess.run(cmd)
|
|
57
|
+
elif args.command == "solve":
|
|
58
|
+
print("Use: blast solve 'your problem' --domain science")
|
|
59
|
+
sys.exit(1)
|
|
60
|
+
elif args.command == "quickstart":
|
|
61
|
+
binary = _find_binary()
|
|
62
|
+
if binary:
|
|
63
|
+
subprocess.run([str(binary)])
|
|
64
|
+
else:
|
|
65
|
+
print("c4tui-v8 binary not found.")
|
|
66
|
+
sys.exit(1)
|
|
67
|
+
elif args.command == "cube":
|
|
68
|
+
binary = _find_binary()
|
|
69
|
+
if binary:
|
|
70
|
+
subprocess.run([str(binary)])
|
|
71
|
+
else:
|
|
72
|
+
print("c4tui-v8 binary not found.")
|
|
73
|
+
sys.exit(1)
|
|
74
|
+
else:
|
|
75
|
+
parser.print_help()
|
|
76
|
+
|
|
77
|
+
|
|
78
|
+
if __name__ == "__main__":
|
|
79
|
+
main()
|