self-evolve-framework 1.6.0 → 1.6.1
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.
- package/README.md +33 -23
- package/bin/cli.js +24 -67
- package/package.json +1 -1
- package/template/rules/knowledge/README.md +56 -0
- package/template/rules/knowledge/ant-design-vue.mdc +54 -0
- package/template/rules/knowledge/general.mdc +56 -0
- package/template/rules/knowledge/rust.mdc +55 -0
- package/template/rules/knowledge/shadcn-svelte.mdc +64 -0
- package/template/rules/knowledge/svelte.mdc +135 -0
- package/template/rules/knowledge/tailwind.mdc +66 -0
- package/template/rules/knowledge/tauri.mdc +65 -0
- package/template/rules/knowledge/typescript.mdc +41 -0
- package/template/rules/knowledge/vue.mdc +48 -0
- package/template/rules/ponytail.mdc +23 -98
- package/template/rules/self-evolve.mdc +24 -0
- package/template/skills/impeccable/SKILL.md +47 -174
- package/template/skills/skillopt-sleep/SKILL.md +32 -88
- package/template/skills/impeccable/agents/impeccable_asset_producer.toml +0 -92
- package/template/skills/impeccable/agents/impeccable_manual_edit_applier.toml +0 -95
- package/template/skills/impeccable/agents/openai.yaml +0 -4
- package/template/skills/impeccable/reference/adapt.md +0 -311
- package/template/skills/impeccable/reference/animate.md +0 -201
- package/template/skills/impeccable/reference/audit.md +0 -133
- package/template/skills/impeccable/reference/bolder.md +0 -113
- package/template/skills/impeccable/reference/brand.md +0 -108
- package/template/skills/impeccable/reference/clarify.md +0 -288
- package/template/skills/impeccable/reference/codex.md +0 -105
- package/template/skills/impeccable/reference/colorize.md +0 -257
- package/template/skills/impeccable/reference/craft.md +0 -123
- package/template/skills/impeccable/reference/critique.md +0 -790
- package/template/skills/impeccable/reference/delight.md +0 -302
- package/template/skills/impeccable/reference/distill.md +0 -111
- package/template/skills/impeccable/reference/document.md +0 -429
- package/template/skills/impeccable/reference/extract.md +0 -69
- package/template/skills/impeccable/reference/harden.md +0 -347
- package/template/skills/impeccable/reference/hooks.md +0 -90
- package/template/skills/impeccable/reference/init.md +0 -172
- package/template/skills/impeccable/reference/interaction-design.md +0 -189
- package/template/skills/impeccable/reference/layout.md +0 -161
- package/template/skills/impeccable/reference/live.md +0 -720
- package/template/skills/impeccable/reference/onboard.md +0 -234
- package/template/skills/impeccable/reference/optimize.md +0 -258
- package/template/skills/impeccable/reference/overdrive.md +0 -130
- package/template/skills/impeccable/reference/polish.md +0 -241
- package/template/skills/impeccable/reference/product.md +0 -60
- package/template/skills/impeccable/reference/quieter.md +0 -99
- package/template/skills/impeccable/reference/shape.md +0 -165
- package/template/skills/impeccable/reference/typeset.md +0 -279
- package/template/skills/impeccable/scripts/command-metadata.json +0 -94
- package/template/skills/impeccable/scripts/context-signals.mjs +0 -225
- package/template/skills/impeccable/scripts/context.mjs +0 -961
- package/template/skills/impeccable/scripts/critique-storage.mjs +0 -242
- package/template/skills/impeccable/scripts/detect-csp.mjs +0 -198
- package/template/skills/impeccable/scripts/detect.mjs +0 -21
- package/template/skills/impeccable/scripts/detector/browser/injected/index.mjs +0 -1937
- package/template/skills/impeccable/scripts/detector/cli/main.mjs +0 -290
- package/template/skills/impeccable/scripts/detector/design-system.mjs +0 -750
- package/template/skills/impeccable/scripts/detector/detect-antipatterns-browser.js +0 -5138
- package/template/skills/impeccable/scripts/detector/detect-antipatterns.mjs +0 -50
- package/template/skills/impeccable/scripts/detector/engines/browser/detect-url.mjs +0 -277
- package/template/skills/impeccable/scripts/detector/engines/regex/detect-text.mjs +0 -568
- package/template/skills/impeccable/scripts/detector/engines/static-html/css-cascade.mjs +0 -1015
- package/template/skills/impeccable/scripts/detector/engines/static-html/detect-html.mjs +0 -234
- package/template/skills/impeccable/scripts/detector/engines/visual/screenshot-contrast.mjs +0 -189
- package/template/skills/impeccable/scripts/detector/findings.mjs +0 -12
- package/template/skills/impeccable/scripts/detector/node/file-system.mjs +0 -198
- package/template/skills/impeccable/scripts/detector/profile/profiler.mjs +0 -166
- package/template/skills/impeccable/scripts/detector/registry/antipatterns.mjs +0 -448
- package/template/skills/impeccable/scripts/detector/rules/checks.mjs +0 -2671
- package/template/skills/impeccable/scripts/detector/shared/color.mjs +0 -124
- package/template/skills/impeccable/scripts/detector/shared/constants.mjs +0 -101
- package/template/skills/impeccable/scripts/detector/shared/inline-ignores.mjs +0 -148
- package/template/skills/impeccable/scripts/detector/shared/page.mjs +0 -7
- package/template/skills/impeccable/scripts/hook-admin.mjs +0 -661
- package/template/skills/impeccable/scripts/hook-before-edit.mjs +0 -476
- package/template/skills/impeccable/scripts/hook-lib.mjs +0 -1632
- package/template/skills/impeccable/scripts/hook.mjs +0 -61
- package/template/skills/impeccable/scripts/lib/design-parser.mjs +0 -842
- package/template/skills/impeccable/scripts/lib/impeccable-config.mjs +0 -638
- package/template/skills/impeccable/scripts/lib/impeccable-paths.mjs +0 -128
- package/template/skills/impeccable/scripts/lib/is-generated.mjs +0 -69
- package/template/skills/impeccable/scripts/lib/target-args.mjs +0 -42
- package/template/skills/impeccable/scripts/live/browser-script-parts.mjs +0 -49
- package/template/skills/impeccable/scripts/live/completion.mjs +0 -19
- package/template/skills/impeccable/scripts/live/event-validation.mjs +0 -137
- package/template/skills/impeccable/scripts/live/insert-ui.mjs +0 -458
- package/template/skills/impeccable/scripts/live/manual-apply.mjs +0 -939
- package/template/skills/impeccable/scripts/live/manual-edit-routes.mjs +0 -357
- package/template/skills/impeccable/scripts/live/manual-edits-buffer.mjs +0 -152
- package/template/skills/impeccable/scripts/live/session-store.mjs +0 -289
- package/template/skills/impeccable/scripts/live/svelte-component.mjs +0 -826
- package/template/skills/impeccable/scripts/live/sveltekit-adapter.mjs +0 -274
- package/template/skills/impeccable/scripts/live/ui-core.mjs +0 -180
- package/template/skills/impeccable/scripts/live/vocabulary.mjs +0 -36
- package/template/skills/impeccable/scripts/live-accept.mjs +0 -812
- package/template/skills/impeccable/scripts/live-browser-dom.js +0 -146
- package/template/skills/impeccable/scripts/live-browser-session.js +0 -123
- package/template/skills/impeccable/scripts/live-browser.js +0 -11173
- package/template/skills/impeccable/scripts/live-commit-manual-edits.mjs +0 -1241
- package/template/skills/impeccable/scripts/live-complete.mjs +0 -75
- package/template/skills/impeccable/scripts/live-copy-edit-agent.mjs +0 -683
- package/template/skills/impeccable/scripts/live-discard-manual-edits.mjs +0 -51
- package/template/skills/impeccable/scripts/live-inject.mjs +0 -583
- package/template/skills/impeccable/scripts/live-insert.mjs +0 -272
- package/template/skills/impeccable/scripts/live-manual-edit-evidence.mjs +0 -363
- package/template/skills/impeccable/scripts/live-poll.mjs +0 -384
- package/template/skills/impeccable/scripts/live-resume.mjs +0 -94
- package/template/skills/impeccable/scripts/live-server.mjs +0 -1135
- package/template/skills/impeccable/scripts/live-status.mjs +0 -61
- package/template/skills/impeccable/scripts/live-target.mjs +0 -30
- package/template/skills/impeccable/scripts/live-wrap.mjs +0 -894
- package/template/skills/impeccable/scripts/live.mjs +0 -297
- package/template/skills/impeccable/scripts/modern-screenshot.umd.js +0 -14
- package/template/skills/impeccable/scripts/palette.mjs +0 -633
- package/template/skills/impeccable/scripts/pin.mjs +0 -214
- package/template/skills/skillopt-sleep/configs/_base_/default.yaml +0 -103
- package/template/skills/skillopt-sleep/configs/alfworld/default.yaml +0 -29
- package/template/skills/skillopt-sleep/configs/docvqa/default.yaml +0 -28
- package/template/skills/skillopt-sleep/configs/features/soft_gate.yaml +0 -47
- package/template/skills/skillopt-sleep/configs/livemathematicianbench/default.yaml +0 -22
- package/template/skills/skillopt-sleep/configs/officeqa/default.yaml +0 -34
- package/template/skills/skillopt-sleep/configs/searchqa/default.yaml +0 -32
- package/template/skills/skillopt-sleep/configs/spreadsheetbench/default.yaml +0 -34
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/__init__.py +0 -28
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/config.py +0 -282
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/datasets/__init__.py +0 -7
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/datasets/base.py +0 -512
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/engine/__init__.py +0 -9
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/engine/trainer.py +0 -2379
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/__init__.py +0 -1
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/_template/README.md +0 -43
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/_template/config_template.yaml +0 -55
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/_template/env_template.py +0 -151
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/_template/loader_template.py +0 -87
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/__init__.py +0 -5
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/adapter.py +0 -428
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/dataloader.py +0 -123
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/prompts/analyst_error.md +0 -55
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/prompts/analyst_success.md +0 -33
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/prompts/rollout_no_history.md +0 -8
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/prompts/rollout_with_history.md +0 -9
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/prompts/rollout_with_memory.md +0 -16
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/reflect.py +0 -4
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/rollout.py +0 -366
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/skills/initial.md +0 -45
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/__init__.py +0 -9
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/alfworld_envs.py +0 -221
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/alfworld_projection.py +0 -60
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/alfworld_prompts.py +0 -8
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/config_tw.yaml +0 -145
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/env_base.py +0 -84
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/env_manager.py +0 -139
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/memory.py +0 -87
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/base.py +0 -329
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/__init__.py +0 -1
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/adapter.py +0 -90
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/dataloader.py +0 -61
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/evaluator.py +0 -113
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/prompts/analyst_error.md +0 -35
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/prompts/analyst_success.md +0 -24
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/prompts/rollout_system.md +0 -12
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/rollout.py +0 -391
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/skills/initial.md +0 -11
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/__init__.py +0 -1
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/adapter.py +0 -129
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/dataloader.py +0 -308
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/evaluator.py +0 -62
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/prompts/analyst_error.md +0 -37
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/prompts/analyst_success.md +0 -25
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/prompts/rollout_system.md +0 -12
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/reflect.py +0 -4
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/rollout.py +0 -434
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/skills/initial.md +0 -16
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/__init__.py +0 -1
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/adapter.py +0 -112
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/dataloader.py +0 -71
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/evaluator.py +0 -46
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/prompts/analyst_error.md +0 -37
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/prompts/analyst_success.md +0 -25
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/prompts/rollout_system.md +0 -15
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/rollout.py +0 -799
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/skills/initial.md +0 -15
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/tool_runtime.py +0 -552
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/__init__.py +0 -1
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/adapter.py +0 -96
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/dataloader.py +0 -42
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/evaluator.py +0 -100
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/prompts/analyst_error.md +0 -46
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/prompts/analyst_success.md +0 -32
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/prompts/rollout_system.md +0 -13
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/reflect.py +0 -4
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/rollout.py +0 -494
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/skills/initial.md +0 -3
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/__init__.py +0 -5
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/adapter.py +0 -159
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/codegen_agent.py +0 -731
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/dataloader.py +0 -37
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/evaluator.py +0 -158
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/executor.py +0 -67
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/prompts/analyst_error.md +0 -46
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/prompts/analyst_success.md +0 -32
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/prompts/codegen_system.md +0 -1
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/prompts/critical_rules.md +0 -9
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/prompts/react_system.md +0 -21
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/react_agent.py +0 -395
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/reflect.py +0 -4
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/rollout.py +0 -979
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/skills/initial.md +0 -56
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/evaluation/__init__.py +0 -13
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/evaluation/gate.py +0 -148
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/gradient/__init__.py +0 -15
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/gradient/aggregate.py +0 -253
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/gradient/reflect.py +0 -635
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/__init__.py +0 -514
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/azure_openai.py +0 -915
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/backend_config.py +0 -185
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/claude_backend.py +0 -371
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/codex_backend.py +0 -666
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/codex_harness.py +0 -1057
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/common.py +0 -229
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/minimax_backend.py +0 -277
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/qwen_backend.py +0 -456
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/router.py +0 -236
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/__init__.py +0 -15
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/appendix.py +0 -156
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/clip.py +0 -109
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/lr_autonomous.py +0 -108
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/meta_skill.py +0 -79
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/rewrite.py +0 -59
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/scheduler.py +0 -127
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/select.py +0 -4
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/skill.py +0 -201
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/skill_aware.py +0 -206
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/slow_update.py +0 -396
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/update_modes.py +0 -135
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/__init__.py +0 -63
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_error.md +0 -41
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_error_full_rewrite.md +0 -32
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_error_rewrite.md +0 -44
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_success.md +0 -36
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_success_full_rewrite.md +0 -30
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_success_rewrite.md +0 -33
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/lr_autonomous.md +0 -20
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_failure.md +0 -30
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_failure_full_rewrite.md +0 -28
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_failure_rewrite.md +0 -26
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_final.md +0 -33
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_final_full_rewrite.md +0 -28
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_final_rewrite.md +0 -25
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_success.md +0 -28
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_success_full_rewrite.md +0 -28
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_success_rewrite.md +0 -25
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/meta_skill.md +0 -40
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/ranking.md +0 -20
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/ranking_rewrite.md +0 -15
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/rewrite_skill.md +0 -25
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/slow_update.md +0 -60
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/scheduler/__init__.py +0 -8
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/types.py +0 -306
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/utils/__init__.py +0 -4
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/utils/json_utils.py +0 -172
- package/template/skills/skillopt-sleep/scripts/framework/skillopt/utils/scoring.py +0 -28
- package/template/skills/skillopt-sleep/scripts/python/__init__.py +0 -20
- package/template/skills/skillopt-sleep/scripts/python/__main__.py +0 -343
- package/template/skills/skillopt-sleep/scripts/python/backend.py +0 -1371
- package/template/skills/skillopt-sleep/scripts/python/budget.py +0 -75
- package/template/skills/skillopt-sleep/scripts/python/config.py +0 -162
- package/template/skills/skillopt-sleep/scripts/python/consolidate.py +0 -238
- package/template/skills/skillopt-sleep/scripts/python/cycle.py +0 -291
- package/template/skills/skillopt-sleep/scripts/python/dream.py +0 -138
- package/template/skills/skillopt-sleep/scripts/python/experiments/__init__.py +0 -1
- package/template/skills/skillopt-sleep/scripts/python/experiments/gbrain_bench.py +0 -119
- package/template/skills/skillopt-sleep/scripts/python/experiments/personas.py +0 -86
- package/template/skills/skillopt-sleep/scripts/python/experiments/report.py +0 -132
- package/template/skills/skillopt-sleep/scripts/python/experiments/run_experiment.py +0 -178
- package/template/skills/skillopt-sleep/scripts/python/experiments/run_gbrain.py +0 -209
- package/template/skills/skillopt-sleep/scripts/python/experiments/run_transfer.py +0 -155
- package/template/skills/skillopt-sleep/scripts/python/experiments/sweep.py +0 -164
- package/template/skills/skillopt-sleep/scripts/python/gate.py +0 -50
- package/template/skills/skillopt-sleep/scripts/python/harvest.py +0 -304
- package/template/skills/skillopt-sleep/scripts/python/harvest_codex.py +0 -253
- package/template/skills/skillopt-sleep/scripts/python/harvest_sources.py +0 -41
- package/template/skills/skillopt-sleep/scripts/python/judges.py +0 -84
- package/template/skills/skillopt-sleep/scripts/python/llm_miner.py +0 -134
- package/template/skills/skillopt-sleep/scripts/python/memory.py +0 -129
- package/template/skills/skillopt-sleep/scripts/python/mine.py +0 -312
- package/template/skills/skillopt-sleep/scripts/python/replay.py +0 -146
- package/template/skills/skillopt-sleep/scripts/python/rollout.py +0 -153
- package/template/skills/skillopt-sleep/scripts/python/scheduler.py +0 -138
- package/template/skills/skillopt-sleep/scripts/python/slow_update.py +0 -142
- package/template/skills/skillopt-sleep/scripts/python/staging.py +0 -103
- package/template/skills/skillopt-sleep/scripts/python/state.py +0 -96
- package/template/skills/skillopt-sleep/scripts/python/tasks_file.py +0 -81
- package/template/skills/skillopt-sleep/scripts/python/types.py +0 -146
- package/template/skills/skillopt-sleep/scripts/shell/__init__.py +0 -0
- package/template/skills/skillopt-sleep/scripts/shell/eval_only.py +0 -466
- package/template/skills/skillopt-sleep/scripts/shell/materialize_searchqa.py +0 -148
- package/template/skills/skillopt-sleep/scripts/shell/run_alfworld.sh +0 -60
- package/template/skills/skillopt-sleep/scripts/shell/run_searchqa.sh +0 -40
- package/template/skills/skillopt-sleep/scripts/shell/run_spreadsheetbench.sh +0 -39
- package/template/skills/skillopt-sleep/scripts/shell/train.py +0 -556
|
@@ -1,434 +0,0 @@
|
|
|
1
|
-
"""LiveMathematicianBench rollout — theorem-grounded math MCQ agent."""
|
|
2
|
-
from __future__ import annotations
|
|
3
|
-
|
|
4
|
-
import json
|
|
5
|
-
import os
|
|
6
|
-
import time
|
|
7
|
-
from concurrent.futures import FIRST_COMPLETED, ThreadPoolExecutor, wait
|
|
8
|
-
|
|
9
|
-
from skillopt.envs.livemathematicianbench.evaluator import evaluate
|
|
10
|
-
from skillopt.model import chat_target, get_target_backend, is_target_exec_backend
|
|
11
|
-
from skillopt.model.codex_harness import prepare_workspace, render_skill_md, run_target_exec
|
|
12
|
-
from skillopt.prompts import load_prompt
|
|
13
|
-
|
|
14
|
-
def _build_system(skill_content: str) -> str:
|
|
15
|
-
if skill_content.strip():
|
|
16
|
-
skill_section = f"## Skill\n{skill_content.strip()}\n\n"
|
|
17
|
-
else:
|
|
18
|
-
skill_section = ""
|
|
19
|
-
return load_prompt("rollout_system", env="livemathematicianbench").format(skill_section=skill_section)
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
def _format_choices(choices: list[dict]) -> str:
|
|
23
|
-
return "\n".join(
|
|
24
|
-
f"{choice['label']}. {choice['text']}"
|
|
25
|
-
for choice in choices
|
|
26
|
-
)
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
def _build_user(
|
|
30
|
-
item: dict,
|
|
31
|
-
*,
|
|
32
|
-
use_theorem: bool = False,
|
|
33
|
-
use_sketch: bool = False,
|
|
34
|
-
diagnostic_mode: bool = False,
|
|
35
|
-
diagnostic_instruction: str = "",
|
|
36
|
-
diagnostic_trace_context: str = "",
|
|
37
|
-
) -> str:
|
|
38
|
-
parts = [f"## Question\n{item['question']}", f"## Choices\n{_format_choices(item['choices'])}"]
|
|
39
|
-
if use_theorem and item.get("theorem"):
|
|
40
|
-
parts.append(f"## Theorem\n{item['theorem']}")
|
|
41
|
-
if use_sketch and item.get("sketch"):
|
|
42
|
-
parts.append(f"## Proof Sketch\n{item['sketch']}")
|
|
43
|
-
if diagnostic_trace_context.strip():
|
|
44
|
-
parts.append(
|
|
45
|
-
"## Previous Codex Trace Snapshot\n"
|
|
46
|
-
"This is a partial transcript from an earlier attempt. Use it as your current reasoning context.\n\n"
|
|
47
|
-
f"{diagnostic_trace_context.strip()}"
|
|
48
|
-
)
|
|
49
|
-
if diagnostic_mode and diagnostic_instruction.strip():
|
|
50
|
-
parts.append(f"## Training Readout\n{diagnostic_instruction.strip()}")
|
|
51
|
-
return "\n\n".join(parts)
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
def _build_codex_skill(skill_content: str) -> str:
|
|
55
|
-
return render_skill_md(
|
|
56
|
-
skill_content,
|
|
57
|
-
description="Dynamic ReflACT skill for solving the current LiveMathematicianBench multiple-choice question.",
|
|
58
|
-
preamble=(
|
|
59
|
-
"Use this skill when solving the current math multiple-choice question.\n"
|
|
60
|
-
"Inspect the option wording carefully and output only the final choice label inside <answer>...</answer>."
|
|
61
|
-
),
|
|
62
|
-
)
|
|
63
|
-
|
|
64
|
-
def _run_codex_once(
|
|
65
|
-
*,
|
|
66
|
-
pred_dir: str,
|
|
67
|
-
skill_content: str,
|
|
68
|
-
item: dict,
|
|
69
|
-
model: str,
|
|
70
|
-
timeout: int,
|
|
71
|
-
use_theorem: bool = False,
|
|
72
|
-
use_sketch: bool = False,
|
|
73
|
-
diagnostic_mode: bool = False,
|
|
74
|
-
diagnostic_instruction: str = "",
|
|
75
|
-
diagnostic_trace_context: str = "",
|
|
76
|
-
previous_response: str = "",
|
|
77
|
-
) -> tuple[str, str, str, str]:
|
|
78
|
-
user = _build_user(
|
|
79
|
-
item,
|
|
80
|
-
use_theorem=use_theorem,
|
|
81
|
-
use_sketch=use_sketch,
|
|
82
|
-
diagnostic_mode=diagnostic_mode,
|
|
83
|
-
diagnostic_instruction=diagnostic_instruction,
|
|
84
|
-
diagnostic_trace_context=diagnostic_trace_context,
|
|
85
|
-
)
|
|
86
|
-
task_parts = [user]
|
|
87
|
-
if previous_response:
|
|
88
|
-
task_parts.append(
|
|
89
|
-
"## Previous Attempt\n"
|
|
90
|
-
f"{previous_response}\n\n"
|
|
91
|
-
"Re-evaluate the exact option wording. If needed, correct it."
|
|
92
|
-
)
|
|
93
|
-
task_text = "\n\n".join(task_parts)
|
|
94
|
-
skill_md = _build_codex_skill(skill_content)
|
|
95
|
-
work_dir = os.path.join(pred_dir, "codex_exec")
|
|
96
|
-
prepare_workspace(work_dir=work_dir, skill_md=skill_md, task_text=task_text)
|
|
97
|
-
prompt = (
|
|
98
|
-
"Use the `skillopt-target` skill available in this workspace.\n"
|
|
99
|
-
"Read `task.md` and solve the multiple-choice problem.\n"
|
|
100
|
-
"Output only the final choice label inside <answer>...</answer>."
|
|
101
|
-
)
|
|
102
|
-
final_message, raw = run_target_exec(
|
|
103
|
-
work_dir=work_dir,
|
|
104
|
-
prompt=prompt,
|
|
105
|
-
model=model,
|
|
106
|
-
timeout=timeout,
|
|
107
|
-
)
|
|
108
|
-
return final_message or raw, raw, skill_md, task_text
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
def process_one(
|
|
112
|
-
item: dict,
|
|
113
|
-
out_root: str,
|
|
114
|
-
skill_content: str,
|
|
115
|
-
*,
|
|
116
|
-
max_turns: int = 1,
|
|
117
|
-
use_theorem: bool = False,
|
|
118
|
-
use_sketch: bool = False,
|
|
119
|
-
diagnostic_mode: bool = False,
|
|
120
|
-
diagnostic_instruction: str = "",
|
|
121
|
-
diagnostic_trace_context: str = "",
|
|
122
|
-
exec_timeout: int | None = 300,
|
|
123
|
-
max_completion_tokens: int = 16384,
|
|
124
|
-
) -> dict:
|
|
125
|
-
item_id = str(item["id"])
|
|
126
|
-
result = {
|
|
127
|
-
"id": item_id,
|
|
128
|
-
"question": item["question"],
|
|
129
|
-
"task_type": item.get("theorem_type", ["math_mcq"])[0] if item.get("theorem_type") else "math_mcq",
|
|
130
|
-
"hard": 0,
|
|
131
|
-
"soft": 0.0,
|
|
132
|
-
"predicted_answer": "",
|
|
133
|
-
"predicted_label": "",
|
|
134
|
-
"predicted_text": "",
|
|
135
|
-
"correct_label": item["correct_choice"]["label"],
|
|
136
|
-
"correct_text": item["correct_choice"]["text"],
|
|
137
|
-
"response": "",
|
|
138
|
-
"fail_reason": "",
|
|
139
|
-
"agent_ok": False,
|
|
140
|
-
"n_turns": 0,
|
|
141
|
-
}
|
|
142
|
-
|
|
143
|
-
try:
|
|
144
|
-
pred_dir = os.path.join(out_root, "predictions", item_id)
|
|
145
|
-
os.makedirs(pred_dir, exist_ok=True)
|
|
146
|
-
llm_timeout = int(exec_timeout) if exec_timeout and int(exec_timeout) > 0 else None
|
|
147
|
-
|
|
148
|
-
if is_target_exec_backend():
|
|
149
|
-
from skillopt.model import azure_openai as _llm
|
|
150
|
-
|
|
151
|
-
conversation: list[dict] = []
|
|
152
|
-
response = ""
|
|
153
|
-
system = ""
|
|
154
|
-
user = ""
|
|
155
|
-
for turn in range(max_turns):
|
|
156
|
-
response, raw, system, user = _run_codex_once(
|
|
157
|
-
pred_dir=pred_dir,
|
|
158
|
-
skill_content=skill_content,
|
|
159
|
-
item=item,
|
|
160
|
-
model=_llm.TARGET_DEPLOYMENT,
|
|
161
|
-
timeout=llm_timeout,
|
|
162
|
-
use_theorem=use_theorem,
|
|
163
|
-
use_sketch=use_sketch,
|
|
164
|
-
diagnostic_mode=diagnostic_mode if turn == 0 else False,
|
|
165
|
-
diagnostic_instruction=diagnostic_instruction if turn == 0 else "",
|
|
166
|
-
diagnostic_trace_context=diagnostic_trace_context if turn == 0 else "",
|
|
167
|
-
previous_response=response if turn > 0 else "",
|
|
168
|
-
)
|
|
169
|
-
conversation.append({"type": "message", "turn": turn + 1, "content": response})
|
|
170
|
-
if "<answer>" in response.lower():
|
|
171
|
-
break
|
|
172
|
-
|
|
173
|
-
result["response"] = response
|
|
174
|
-
result["agent_ok"] = True
|
|
175
|
-
result["n_turns"] = len(conversation)
|
|
176
|
-
|
|
177
|
-
with open(os.path.join(pred_dir, "target_system_prompt.txt"), "w", encoding="utf-8") as f:
|
|
178
|
-
f.write(system)
|
|
179
|
-
with open(os.path.join(pred_dir, "target_user_prompt.txt"), "w", encoding="utf-8") as f:
|
|
180
|
-
f.write(user)
|
|
181
|
-
|
|
182
|
-
eval_result = evaluate(response, item["correct_choice"], item["choices"])
|
|
183
|
-
result["hard"] = int(eval_result["em"])
|
|
184
|
-
result["soft"] = eval_result["f1"]
|
|
185
|
-
result["predicted_answer"] = eval_result["predicted_answer"]
|
|
186
|
-
result["predicted_label"] = eval_result["predicted_label"]
|
|
187
|
-
result["predicted_text"] = eval_result["predicted_text"]
|
|
188
|
-
if not result["hard"]:
|
|
189
|
-
result["fail_reason"] = (
|
|
190
|
-
f"MCQ=0: predicted '{eval_result['predicted_label'] or eval_result['predicted_answer']}' "
|
|
191
|
-
f"but expected '{eval_result['correct_label']}'"
|
|
192
|
-
)
|
|
193
|
-
eval_detail = (
|
|
194
|
-
f"[EVALUATION RESULT]\n"
|
|
195
|
-
f"Question: {item['question']}\n"
|
|
196
|
-
f"Predicted label: {eval_result['predicted_label']!r}\n"
|
|
197
|
-
f"Predicted text: {eval_result['predicted_text']!r}\n"
|
|
198
|
-
f"Correct label: {eval_result['correct_label']!r}\n"
|
|
199
|
-
f"Correct text: {eval_result['correct_text']!r}\n"
|
|
200
|
-
f"Exact Match: {eval_result['em']}"
|
|
201
|
-
)
|
|
202
|
-
conversation.append({"role": "system", "content": eval_detail})
|
|
203
|
-
with open(os.path.join(pred_dir, "conversation.json"), "w") as f:
|
|
204
|
-
json.dump(conversation, f, ensure_ascii=False, indent=2)
|
|
205
|
-
return result
|
|
206
|
-
|
|
207
|
-
system = _build_system(skill_content)
|
|
208
|
-
user = _build_user(
|
|
209
|
-
item,
|
|
210
|
-
use_theorem=use_theorem,
|
|
211
|
-
use_sketch=use_sketch,
|
|
212
|
-
diagnostic_mode=diagnostic_mode,
|
|
213
|
-
diagnostic_instruction=diagnostic_instruction,
|
|
214
|
-
diagnostic_trace_context=diagnostic_trace_context,
|
|
215
|
-
)
|
|
216
|
-
conversation: list[dict] = []
|
|
217
|
-
response = ""
|
|
218
|
-
|
|
219
|
-
for turn in range(max_turns):
|
|
220
|
-
if turn == 0:
|
|
221
|
-
resp_text, _ = chat_target(
|
|
222
|
-
system=system,
|
|
223
|
-
user=user,
|
|
224
|
-
max_completion_tokens=max_completion_tokens,
|
|
225
|
-
retries=5,
|
|
226
|
-
stage="rollout",
|
|
227
|
-
timeout=llm_timeout,
|
|
228
|
-
)
|
|
229
|
-
else:
|
|
230
|
-
refinement = (
|
|
231
|
-
f"Your previous answer was:\n{response}\n\n"
|
|
232
|
-
"Re-evaluate the exact option wording. If needed, correct it. "
|
|
233
|
-
"Output only the final choice label inside <answer>...</answer>."
|
|
234
|
-
)
|
|
235
|
-
resp_text, _ = chat_target(
|
|
236
|
-
system=system,
|
|
237
|
-
user=refinement,
|
|
238
|
-
max_completion_tokens=max_completion_tokens,
|
|
239
|
-
retries=5,
|
|
240
|
-
stage="rollout",
|
|
241
|
-
timeout=llm_timeout,
|
|
242
|
-
)
|
|
243
|
-
response = resp_text
|
|
244
|
-
conversation.append({"type": "message", "turn": turn + 1, "content": resp_text})
|
|
245
|
-
if "<answer>" in resp_text.lower():
|
|
246
|
-
break
|
|
247
|
-
|
|
248
|
-
result["response"] = response
|
|
249
|
-
result["agent_ok"] = True
|
|
250
|
-
result["n_turns"] = len(conversation)
|
|
251
|
-
|
|
252
|
-
with open(os.path.join(pred_dir, "target_system_prompt.txt"), "w", encoding="utf-8") as f:
|
|
253
|
-
f.write(system)
|
|
254
|
-
with open(os.path.join(pred_dir, "target_user_prompt.txt"), "w", encoding="utf-8") as f:
|
|
255
|
-
f.write(user)
|
|
256
|
-
|
|
257
|
-
eval_result = evaluate(response, item["correct_choice"], item["choices"])
|
|
258
|
-
result["hard"] = int(eval_result["em"])
|
|
259
|
-
result["soft"] = eval_result["f1"]
|
|
260
|
-
result["predicted_answer"] = eval_result["predicted_answer"]
|
|
261
|
-
result["predicted_label"] = eval_result["predicted_label"]
|
|
262
|
-
result["predicted_text"] = eval_result["predicted_text"]
|
|
263
|
-
|
|
264
|
-
if not result["hard"]:
|
|
265
|
-
result["fail_reason"] = (
|
|
266
|
-
f"MCQ=0: predicted '{eval_result['predicted_label'] or eval_result['predicted_answer']}' "
|
|
267
|
-
f"but expected '{eval_result['correct_label']}'"
|
|
268
|
-
)
|
|
269
|
-
|
|
270
|
-
eval_detail = (
|
|
271
|
-
f"[EVALUATION RESULT]\n"
|
|
272
|
-
f"Question: {item['question']}\n"
|
|
273
|
-
f"Predicted label: {eval_result['predicted_label']!r}\n"
|
|
274
|
-
f"Predicted text: {eval_result['predicted_text']!r}\n"
|
|
275
|
-
f"Correct label: {eval_result['correct_label']!r}\n"
|
|
276
|
-
f"Correct text: {eval_result['correct_text']!r}\n"
|
|
277
|
-
f"Exact Match: {eval_result['em']}"
|
|
278
|
-
)
|
|
279
|
-
conversation.append({"role": "system", "content": eval_detail})
|
|
280
|
-
|
|
281
|
-
with open(os.path.join(pred_dir, "conversation.json"), "w") as f:
|
|
282
|
-
json.dump(conversation, f, ensure_ascii=False, indent=2)
|
|
283
|
-
|
|
284
|
-
except Exception as e: # noqa: BLE001
|
|
285
|
-
result["fail_reason"] = f"error: {e}"
|
|
286
|
-
|
|
287
|
-
return result
|
|
288
|
-
|
|
289
|
-
|
|
290
|
-
def run_batch(
|
|
291
|
-
items: list[dict],
|
|
292
|
-
out_root: str,
|
|
293
|
-
skill_content: str,
|
|
294
|
-
*,
|
|
295
|
-
max_turns: int = 1,
|
|
296
|
-
exec_timeout: int | None = 300,
|
|
297
|
-
workers: int = 64,
|
|
298
|
-
max_completion_tokens: int = 16384,
|
|
299
|
-
use_theorem: bool = False,
|
|
300
|
-
use_sketch: bool = False,
|
|
301
|
-
diagnostic_mode: bool = False,
|
|
302
|
-
diagnostic_instruction: str = "",
|
|
303
|
-
diagnostic_trace_context_by_id: dict[str, str] | None = None,
|
|
304
|
-
task_timeout: int | None = 600,
|
|
305
|
-
) -> list[dict]:
|
|
306
|
-
exec_timeout_value = int(exec_timeout) if exec_timeout and int(exec_timeout) > 0 else 0
|
|
307
|
-
task_timeout_value = int(task_timeout) if task_timeout and int(task_timeout) > 0 else 0
|
|
308
|
-
if exec_timeout_value <= 0 or task_timeout_value <= 0:
|
|
309
|
-
task_timeout = None
|
|
310
|
-
else:
|
|
311
|
-
task_timeout = max(task_timeout_value, exec_timeout_value + 60)
|
|
312
|
-
results_path = os.path.join(out_root, "results.jsonl")
|
|
313
|
-
os.makedirs(out_root, exist_ok=True)
|
|
314
|
-
|
|
315
|
-
done_ids: set[str] = set()
|
|
316
|
-
existing: list[dict] = []
|
|
317
|
-
if os.path.exists(results_path):
|
|
318
|
-
with open(results_path) as f:
|
|
319
|
-
for line in f:
|
|
320
|
-
try:
|
|
321
|
-
r = json.loads(line)
|
|
322
|
-
done_ids.add(str(r["id"]))
|
|
323
|
-
existing.append(r)
|
|
324
|
-
except Exception:
|
|
325
|
-
pass
|
|
326
|
-
|
|
327
|
-
pending = [it for it in items if str(it["id"]) not in done_ids]
|
|
328
|
-
if not pending:
|
|
329
|
-
return existing
|
|
330
|
-
|
|
331
|
-
total = len(existing) + len(pending)
|
|
332
|
-
completed = len(existing)
|
|
333
|
-
correct_count = sum(1 for r in existing if r.get("hard", 0))
|
|
334
|
-
if existing:
|
|
335
|
-
print(f" [rollout] resuming: {completed}/{total} already done", flush=True)
|
|
336
|
-
|
|
337
|
-
results = list(existing)
|
|
338
|
-
|
|
339
|
-
started_at: dict[str, float] = {}
|
|
340
|
-
|
|
341
|
-
def _run_one(it: dict) -> dict:
|
|
342
|
-
started_at[str(it["id"])] = time.time()
|
|
343
|
-
return process_one(
|
|
344
|
-
it,
|
|
345
|
-
out_root,
|
|
346
|
-
skill_content,
|
|
347
|
-
max_turns=max_turns,
|
|
348
|
-
exec_timeout=exec_timeout,
|
|
349
|
-
max_completion_tokens=max_completion_tokens,
|
|
350
|
-
use_theorem=use_theorem,
|
|
351
|
-
use_sketch=use_sketch,
|
|
352
|
-
diagnostic_mode=diagnostic_mode,
|
|
353
|
-
diagnostic_instruction=diagnostic_instruction,
|
|
354
|
-
diagnostic_trace_context=(diagnostic_trace_context_by_id or {}).get(str(it["id"]), ""),
|
|
355
|
-
)
|
|
356
|
-
|
|
357
|
-
def _timeout_result(it: dict) -> dict:
|
|
358
|
-
correct = it.get("correct_choice") or {}
|
|
359
|
-
return {
|
|
360
|
-
"id": str(it["id"]),
|
|
361
|
-
"question": it.get("question", ""),
|
|
362
|
-
"task_type": it.get("theorem_type", ["math_mcq"])[0] if it.get("theorem_type") else "math_mcq",
|
|
363
|
-
"hard": 0,
|
|
364
|
-
"soft": 0.0,
|
|
365
|
-
"predicted_answer": "",
|
|
366
|
-
"predicted_label": "",
|
|
367
|
-
"predicted_text": "",
|
|
368
|
-
"correct_label": correct.get("label", ""),
|
|
369
|
-
"correct_text": correct.get("text", ""),
|
|
370
|
-
"response": "",
|
|
371
|
-
"fail_reason": f"task-timeout-{task_timeout}s",
|
|
372
|
-
"agent_ok": False,
|
|
373
|
-
"n_turns": 0,
|
|
374
|
-
}
|
|
375
|
-
|
|
376
|
-
def _error_result(it: dict, exc: Exception) -> dict:
|
|
377
|
-
res = _timeout_result(it)
|
|
378
|
-
res["fail_reason"] = f"error: {type(exc).__name__}: {exc}"
|
|
379
|
-
return res
|
|
380
|
-
|
|
381
|
-
with open(results_path, "a") as outf:
|
|
382
|
-
ex = ThreadPoolExecutor(max_workers=workers)
|
|
383
|
-
try:
|
|
384
|
-
futs = {
|
|
385
|
-
ex.submit(_run_one, it): it
|
|
386
|
-
for it in pending
|
|
387
|
-
}
|
|
388
|
-
pending_futs = set(futs)
|
|
389
|
-
while pending_futs:
|
|
390
|
-
done, _ = wait(pending_futs, timeout=5, return_when=FIRST_COMPLETED)
|
|
391
|
-
now = time.time()
|
|
392
|
-
timed_out = [
|
|
393
|
-
fut for fut in pending_futs - done
|
|
394
|
-
if task_timeout is not None
|
|
395
|
-
if str(futs[fut]["id"]) in started_at
|
|
396
|
-
and now - started_at[str(futs[fut]["id"])] >= task_timeout
|
|
397
|
-
]
|
|
398
|
-
for fut in done:
|
|
399
|
-
pending_futs.remove(fut)
|
|
400
|
-
item = futs[fut]
|
|
401
|
-
try:
|
|
402
|
-
res = fut.result()
|
|
403
|
-
except Exception as e: # noqa: BLE001
|
|
404
|
-
res = _error_result(item, e)
|
|
405
|
-
results.append(res)
|
|
406
|
-
completed += 1
|
|
407
|
-
if res.get("hard", 0):
|
|
408
|
-
correct_count += 1
|
|
409
|
-
acc = correct_count / completed if completed else 0
|
|
410
|
-
print(
|
|
411
|
-
f" [rollout] {completed}/{total} "
|
|
412
|
-
f"(acc={acc:.3f}) id={res['id']} "
|
|
413
|
-
f"hard={res.get('hard', '?')}",
|
|
414
|
-
flush=True,
|
|
415
|
-
)
|
|
416
|
-
outf.write(json.dumps(res, ensure_ascii=False) + "\n")
|
|
417
|
-
outf.flush()
|
|
418
|
-
for fut in timed_out:
|
|
419
|
-
pending_futs.remove(fut)
|
|
420
|
-
res = _timeout_result(futs[fut])
|
|
421
|
-
results.append(res)
|
|
422
|
-
completed += 1
|
|
423
|
-
acc = correct_count / completed if completed else 0
|
|
424
|
-
print(
|
|
425
|
-
f" [rollout] {completed}/{total} "
|
|
426
|
-
f"(acc={acc:.3f}) id={res['id']} TIMEOUT",
|
|
427
|
-
flush=True,
|
|
428
|
-
)
|
|
429
|
-
outf.write(json.dumps(res, ensure_ascii=False) + "\n")
|
|
430
|
-
outf.flush()
|
|
431
|
-
finally:
|
|
432
|
-
ex.shutdown(wait=False, cancel_futures=True)
|
|
433
|
-
|
|
434
|
-
return results
|
|
@@ -1,16 +0,0 @@
|
|
|
1
|
-
# Live Mathematical MCQ Heuristics
|
|
2
|
-
|
|
3
|
-
## Option Comparison
|
|
4
|
-
- Compare all options before committing. The correct choice is often the strongest statement justified by the question, while nearby distractors are weaker, overstrong, or miss an equality case.
|
|
5
|
-
- Track exact quantifiers such as "there exists", "for every", "if and only if", and "exactly when".
|
|
6
|
-
|
|
7
|
-
## Theorem-Level Precision
|
|
8
|
-
- Check whether an option weakens the conclusion by dropping a characterization, equality clause, or full equivalence.
|
|
9
|
-
- Check whether an option overstates the theorem by upgrading regularity, removing scale restrictions, or changing an existential statement into a universal one.
|
|
10
|
-
|
|
11
|
-
## Hypotheses
|
|
12
|
-
- Verify the hypotheses and domain carefully. Distractors often keep the theorem shape but alter the required assumptions.
|
|
13
|
-
- Pay close attention to equality cases, extremal conditions, and whether a result applies to the full family or only a restricted subfamily.
|
|
14
|
-
|
|
15
|
-
## Final Answer
|
|
16
|
-
- Output the final answer as the single option label only.
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
"""OfficeQA environment package for ReflACT."""
|
|
@@ -1,112 +0,0 @@
|
|
|
1
|
-
from __future__ import annotations
|
|
2
|
-
|
|
3
|
-
import os
|
|
4
|
-
|
|
5
|
-
from skillopt.datasets.base import BatchSpec
|
|
6
|
-
from skillopt.envs.base import EnvAdapter
|
|
7
|
-
from skillopt.envs.officeqa.dataloader import OfficeQADataLoader
|
|
8
|
-
from skillopt.envs.officeqa.rollout import run_batch
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
class OfficeQAAdapter(EnvAdapter):
|
|
12
|
-
def __init__(
|
|
13
|
-
self,
|
|
14
|
-
split_dir: str = "",
|
|
15
|
-
data_path: str = "",
|
|
16
|
-
split_mode: str = "split_dir",
|
|
17
|
-
split_ratio: str = "2:1:7",
|
|
18
|
-
split_seed: int = 42,
|
|
19
|
-
split_output_dir: str = "",
|
|
20
|
-
workers: int = 8,
|
|
21
|
-
analyst_workers: int = 8,
|
|
22
|
-
failure_only: bool = False,
|
|
23
|
-
minibatch_size: int = 8,
|
|
24
|
-
edit_budget: int = 4,
|
|
25
|
-
seed: int = 42,
|
|
26
|
-
limit: int = 0,
|
|
27
|
-
max_tool_turns: int = 12,
|
|
28
|
-
max_completion_tokens: int = 16384,
|
|
29
|
-
search_mode: str = "offline",
|
|
30
|
-
max_queries_per_turn: int = 4,
|
|
31
|
-
search_api_url: str = os.environ.get("OFFICEQA_SEARCH_API_URL", "http://localhost:8080/search_tool/search"),
|
|
32
|
-
search_auth_env: str = "OFFICEQA_CUSTOM_SEARCH_AUTH",
|
|
33
|
-
search_provider: str = "duckduckgo",
|
|
34
|
-
search_max_num_results: int = 4,
|
|
35
|
-
search_timeout_seconds: int = 20,
|
|
36
|
-
use_local_tools: bool = True,
|
|
37
|
-
data_dirs: list[str] | str | None = None,
|
|
38
|
-
docs_dirs: list[str] | str | None = None, ) -> None:
|
|
39
|
-
self.workers = workers
|
|
40
|
-
self.analyst_workers = analyst_workers
|
|
41
|
-
self.failure_only = failure_only
|
|
42
|
-
self.minibatch_size = minibatch_size
|
|
43
|
-
self.edit_budget = edit_budget
|
|
44
|
-
self.max_tool_turns = max_tool_turns
|
|
45
|
-
self.max_completion_tokens = int(max_completion_tokens)
|
|
46
|
-
self.search_mode = str(search_mode or "offline")
|
|
47
|
-
self.max_queries_per_turn = int(max_queries_per_turn)
|
|
48
|
-
self.search_api_url = str(search_api_url or "").strip()
|
|
49
|
-
self.search_auth_env = str(search_auth_env or "OFFICEQA_CUSTOM_SEARCH_AUTH").strip()
|
|
50
|
-
self.search_provider = str(search_provider or "duckduckgo").strip()
|
|
51
|
-
self.search_max_num_results = int(search_max_num_results)
|
|
52
|
-
self.search_timeout_seconds = int(search_timeout_seconds)
|
|
53
|
-
self.use_local_tools = bool(use_local_tools)
|
|
54
|
-
self.data_dirs = data_dirs if data_dirs is not None else docs_dirs
|
|
55
|
-
self.dataloader = OfficeQADataLoader(
|
|
56
|
-
split_dir=split_dir,
|
|
57
|
-
data_path=data_path,
|
|
58
|
-
split_mode=split_mode,
|
|
59
|
-
split_ratio=split_ratio,
|
|
60
|
-
split_seed=split_seed,
|
|
61
|
-
split_output_dir=split_output_dir,
|
|
62
|
-
seed=seed,
|
|
63
|
-
limit=limit,
|
|
64
|
-
)
|
|
65
|
-
|
|
66
|
-
def setup(self, cfg: dict) -> None:
|
|
67
|
-
super().setup(cfg)
|
|
68
|
-
self.dataloader.setup(cfg)
|
|
69
|
-
|
|
70
|
-
def get_dataloader(self):
|
|
71
|
-
return self.dataloader
|
|
72
|
-
|
|
73
|
-
def build_env_from_batch(self, batch: BatchSpec, **kwargs):
|
|
74
|
-
return list(batch.payload or [])
|
|
75
|
-
|
|
76
|
-
def build_train_env(self, batch_size: int, seed: int, **kwargs):
|
|
77
|
-
batch = self.dataloader.build_train_batch(batch_size=batch_size, seed=seed, **kwargs)
|
|
78
|
-
return self.build_env_from_batch(batch, **kwargs)
|
|
79
|
-
|
|
80
|
-
def build_eval_env(self, env_num: int, split: str, seed: int, **kwargs):
|
|
81
|
-
batch = self.dataloader.build_eval_batch(env_num=env_num, split=split, seed=seed, **kwargs)
|
|
82
|
-
return self.build_env_from_batch(batch, **kwargs)
|
|
83
|
-
|
|
84
|
-
def rollout(self, env_manager, skill_content: str, out_dir: str, **kwargs) -> list[dict]:
|
|
85
|
-
items: list[dict] = env_manager
|
|
86
|
-
return run_batch(
|
|
87
|
-
items=items,
|
|
88
|
-
out_root=out_dir,
|
|
89
|
-
skill_content=skill_content,
|
|
90
|
-
workers=self.workers,
|
|
91
|
-
max_tool_turns=self.max_tool_turns,
|
|
92
|
-
max_completion_tokens=self.max_completion_tokens,
|
|
93
|
-
search_mode=self.search_mode,
|
|
94
|
-
max_queries_per_turn=self.max_queries_per_turn,
|
|
95
|
-
search_api_url=self.search_api_url,
|
|
96
|
-
search_auth_env=self.search_auth_env,
|
|
97
|
-
search_provider=self.search_provider,
|
|
98
|
-
search_max_num_results=self.search_max_num_results,
|
|
99
|
-
search_timeout_seconds=self.search_timeout_seconds,
|
|
100
|
-
use_local_tools=self.use_local_tools,
|
|
101
|
-
data_dirs=self.data_dirs,
|
|
102
|
-
diagnostic_mode=kwargs.get("diagnostic_mode", False),
|
|
103
|
-
diagnostic_instruction=kwargs.get("diagnostic_instruction", ""),
|
|
104
|
-
)
|
|
105
|
-
|
|
106
|
-
def get_task_types(self) -> list[str]:
|
|
107
|
-
seen: list[str] = []
|
|
108
|
-
for item in self.dataloader.train_items + self.dataloader.val_items + self.dataloader.test_items:
|
|
109
|
-
task_type = str(item.get("task_type") or "officeqa")
|
|
110
|
-
if task_type not in seen:
|
|
111
|
-
seen.append(task_type)
|
|
112
|
-
return seen or ["officeqa"]
|
package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/dataloader.py
DELETED
|
@@ -1,71 +0,0 @@
|
|
|
1
|
-
from __future__ import annotations
|
|
2
|
-
|
|
3
|
-
import csv
|
|
4
|
-
import json
|
|
5
|
-
import os
|
|
6
|
-
from pathlib import Path
|
|
7
|
-
|
|
8
|
-
from skillopt.datasets.base import SplitDataLoader
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
def _parse_list_field(value: str | list[str] | None) -> list[str]:
|
|
12
|
-
if value is None:
|
|
13
|
-
return []
|
|
14
|
-
if isinstance(value, list):
|
|
15
|
-
return [str(item).strip() for item in value if str(item).strip()]
|
|
16
|
-
text = str(value).strip()
|
|
17
|
-
if not text:
|
|
18
|
-
return []
|
|
19
|
-
try:
|
|
20
|
-
loaded = json.loads(text)
|
|
21
|
-
except json.JSONDecodeError:
|
|
22
|
-
loaded = None
|
|
23
|
-
if isinstance(loaded, list):
|
|
24
|
-
return [str(item).strip() for item in loaded if str(item).strip()]
|
|
25
|
-
if "\n" in text:
|
|
26
|
-
return [part.strip() for part in text.splitlines() if part.strip()]
|
|
27
|
-
if "," in text and not text.lower().endswith(".txt"):
|
|
28
|
-
return [part.strip() for part in text.split(",") if part.strip()]
|
|
29
|
-
return [text]
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
def _normalize_row(row: dict[str, str]) -> dict:
|
|
33
|
-
item_id = str(row.get("uid") or row.get("id") or "").strip()
|
|
34
|
-
question = str(row.get("question") or "").strip()
|
|
35
|
-
ground_truth = str(row.get("ground_truth") or row.get("answer") or "").strip()
|
|
36
|
-
task_type = str(row.get("category") or row.get("difficulty") or "officeqa").strip() or "officeqa"
|
|
37
|
-
source_files = _parse_list_field(row.get("source_files"))
|
|
38
|
-
source_docs = _parse_list_field(row.get("source_docs"))
|
|
39
|
-
split = str(row.get("split") or "").strip()
|
|
40
|
-
return {
|
|
41
|
-
"id": item_id,
|
|
42
|
-
"uid": item_id,
|
|
43
|
-
"question": question,
|
|
44
|
-
"ground_truth": ground_truth,
|
|
45
|
-
"answers": [ground_truth] if ground_truth else [],
|
|
46
|
-
"task_type": task_type,
|
|
47
|
-
"category": task_type,
|
|
48
|
-
"source_files": source_files,
|
|
49
|
-
"source_docs": source_docs,
|
|
50
|
-
"split": split,
|
|
51
|
-
}
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
class OfficeQADataLoader(SplitDataLoader):
|
|
55
|
-
def load_split_items(self, split_path: str) -> list[dict]:
|
|
56
|
-
path = Path(split_path)
|
|
57
|
-
csv_files = sorted(path.glob("*.csv"))
|
|
58
|
-
if csv_files:
|
|
59
|
-
with csv_files[0].open(encoding="utf-8", newline="") as f:
|
|
60
|
-
reader = csv.DictReader(f)
|
|
61
|
-
return [_normalize_row(row) for row in reader]
|
|
62
|
-
|
|
63
|
-
json_files = sorted(path.glob("*.json"))
|
|
64
|
-
if json_files:
|
|
65
|
-
with json_files[0].open(encoding="utf-8") as f:
|
|
66
|
-
data = json.load(f)
|
|
67
|
-
if not isinstance(data, list):
|
|
68
|
-
raise ValueError(f"Expected JSON array in {json_files[0]}")
|
|
69
|
-
return [_normalize_row(item) for item in data]
|
|
70
|
-
|
|
71
|
-
raise FileNotFoundError(f"No .csv or .json file found in {split_path}")
|
package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/evaluator.py
DELETED
|
@@ -1,46 +0,0 @@
|
|
|
1
|
-
from __future__ import annotations
|
|
2
|
-
|
|
3
|
-
import re
|
|
4
|
-
import string
|
|
5
|
-
from collections import Counter
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
_NUMERIC_CHARS = set("0123456789.-")
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
def normalize_answer(text: str) -> str:
|
|
12
|
-
text = text.lower().strip()
|
|
13
|
-
text = text.replace(",", "")
|
|
14
|
-
text = "".join(ch for ch in text if ch not in string.punctuation or ch in _NUMERIC_CHARS or ch == "%")
|
|
15
|
-
text = re.sub(r"\b(million|millions|billion|billions|dollars|dollar|nominal)\b", " ", text)
|
|
16
|
-
text = " ".join(text.split())
|
|
17
|
-
return text
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
def exact_match(prediction: str, gold: str) -> float:
|
|
21
|
-
return 1.0 if normalize_answer(prediction) == normalize_answer(gold) else 0.0
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
def token_f1(prediction: str, gold: str) -> float:
|
|
25
|
-
pred_tokens = normalize_answer(prediction).split()
|
|
26
|
-
gold_tokens = normalize_answer(gold).split()
|
|
27
|
-
if not pred_tokens or not gold_tokens:
|
|
28
|
-
return 1.0 if pred_tokens == gold_tokens else 0.0
|
|
29
|
-
common = Counter(pred_tokens) & Counter(gold_tokens)
|
|
30
|
-
n_common = sum(common.values())
|
|
31
|
-
if n_common == 0:
|
|
32
|
-
return 0.0
|
|
33
|
-
precision = n_common / len(pred_tokens)
|
|
34
|
-
recall = n_common / len(gold_tokens)
|
|
35
|
-
return 2 * precision * recall / (precision + recall)
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
def evaluate(prediction: str, gold: str) -> dict:
|
|
39
|
-
em = exact_match(prediction, gold)
|
|
40
|
-
f1 = token_f1(prediction, gold)
|
|
41
|
-
return {
|
|
42
|
-
"em": em,
|
|
43
|
-
"f1": f1,
|
|
44
|
-
"predicted_answer": prediction.strip(),
|
|
45
|
-
"gold_answer": gold,
|
|
46
|
-
}
|