kevin/deepseek-harness
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
7,285 Commits 1 Branch 0 Tags
e5ec7e2b64e4e4d10fcc58ff5f15a46dfed56c03
Commit Graph
7285 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
NI0317 e5ec7e2b64 Merge remote-tracking branch 'origin/master' into codex/sandbox-policy-context 2026-07-30 22:42:52 +08:00
Wenlu Wang ba10f24832 Merge pull request #970 from deepseek-harness/codex/queue-collapse 
feat(web): add queue collapse control
 2026-07-30 22:39:54 +08:00
NI0317 afe26c27ab test(sandbox-policy): refresh merged web evidence 2026-07-30 22:24:07 +08:00
Tianyi Cui dc5f270ae2 Merge branch 'master' into codex/queue-collapse 2026-07-30 22:18:44 +08:00
NI0317 cef62c007d Merge remote-tracking branch 'origin/master' into codex/sandbox-policy-context 2026-07-30 22:16:50 +08:00
NI0317 1a4349be88 test(sandbox-policy): record cache-safe policy context 2026-07-30 22:15:34 +08:00
CreatixChu ed66b970ff Merge pull request #901 from deepseek-harness/feat/dir-selector-adaptive-default 
feat(host): adaptive directory-picker default via -auto chooser
 2026-07-30 22:12:27 +08:00
NI0317 9c32620e4b test(web): compare cache-safe policy wording 2026-07-30 22:09:32 +08:00
NI0317 8b4cbe4293 feat(system-prompt): cache dynamic policy context 2026-07-30 22:09:15 +08:00
Wenlu Wang 0670cb5af8 Merge branch 'master' into codex/queue-collapse 2026-07-30 21:51:49 +08:00
creatixchu 97d79e3ee0 Merge remote-tracking branch 'origin/master' into feat/dir-selector-adaptive-default 2026-07-30 21:49:33 +08:00
creatixchu a0dff17433 Merge remote-tracking branch 'origin/master' into feat/dir-selector-adaptive-default 2026-07-30 21:49:00 +08:00
Tianyi Cui 589f0aa773 Merge pull request #992 from deepseek-harness/worktree/ci-independent-consumer-build 
fix(ci): allocate consumer runner independently
 2026-07-30 21:48:57 +08:00
Tianyi Cui ef9fbb0621 Merge branch 'master' into worktree/ci-independent-consumer-build 2026-07-30 21:48:44 +08:00
Tianyi Cui 36d5f0ac68 Merge pull request #1011 from deepseek-harness/worktree/temporarily-disable-serial-runners-20260730 
ci: temporarily disable hosted serial reference runners
 2026-07-30 21:47:53 +08:00
Wenlu Wang a1c8fa06a0 Merge branch 'master' into codex/queue-collapse 2026-07-30 21:46:37 +08:00
Tianyi Cui 85d721458a ci: keep self-hosted serial standby enabled 2026-07-30 21:45:43 +08:00
Tianyi Cui 26f0dc1aef Merge branch 'master' into worktree/ci-independent-consumer-build 2026-07-30 21:44:31 +08:00
creatixchu ddc4adb7a3 Merge remote-tracking branch 'origin/master' into feat/dir-selector-adaptive-default 2026-07-30 21:42:30 +08:00
Tianyi Cui 82e1ee4a6b Merge remote-tracking branch 'origin/master' into worktree/temporarily-disable-serial-runners-20260730 2026-07-30 21:41:09 +08:00
Yichen Jiang 3e354c2c6a Merge pull request #870 from deepseek-harness/worktree-config-settings-seam 
feat(settings): user-settings seam (ctx.settings) with file-backed provider
 2026-07-30 21:40:27 +08:00
Tianyi Cui 7dff9c3ad0 ci: temporarily disable serial reference runners 2026-07-30 21:38:04 +08:00
creatixchu 8d864c9549 Merge remote-tracking branch 'origin/master' into feat/dir-selector-adaptive-default 2026-07-30 21:22:28 +08:00
Tianyi Cui 81e5eb9800 Merge latest master into worktree-config-settings-seam 2026-07-30 21:21:35 +08:00
hypatiamay 5fc2f4ba04 Merge pull request #897 from deepseek-harness/fix/human-transcript-projection 
fix(tui,host): project the human transcript from append-origin events
 2026-07-30 21:19:14 +08:00
Tianyi Cui ec1f08d3ba Merge branch 'master' into worktree/ci-independent-consumer-build 2026-07-30 21:07:14 +08:00
imccyu a07f7ab551 Merge branch 'master' into codex/queue-collapse 2026-07-30 20:52:12 +08:00
Hypatia May acca880015 Merge latest origin/master into fix/human-transcript-projection 
Build-review integration round 2.
 2026-07-30 20:51:45 +08:00
Tianyi Cui bec424b9f3 Merge latest master into worktree-config-settings-seam 2026-07-30 20:51:34 +08:00
creatixchu af73535b6a Merge remote-tracking branch 'origin/master' into feat/dir-selector-adaptive-default 2026-07-30 20:48:06 +08:00
CreatixChu 5335d61d11 Merge pull request #943 from deepseek-harness/feat/directory-picker-quiet-navigation 
feat(directory-picker-browse): quiet navigation — one-frame landings and a slow-scan loading pill
 2026-07-30 20:47:36 +08:00
Hypatia May c6e06e289e Merge origin/master into fix/human-transcript-projection 
Build-review integration round 1.
 2026-07-30 20:45:39 +08:00
Yichen Jiang a56678e115 Merge remote worktree-config-settings-seam 2026-07-30 20:28:53 +08:00
Yichen Jiang ff5b65bb62 Merge latest master into worktree-config-settings-seam 
# Conflicts:
#	packages/typert/generator/tests/cordis-catalog-contract.spec.ts
 2026-07-30 20:28:25 +08:00
Tianyi Cui 780a601635 Merge latest master into worktree-config-settings-seam 
# Conflicts:
#	packages/typert/generator/tests/cordis-catalog-contract.spec.ts
 2026-07-30 20:26:36 +08:00
Wenlu Wang 9dc5b4f58d Merge branch 'master' into codex/queue-collapse 2026-07-30 20:24:12 +08:00
NI0317 936a487bb0 Merge remote-tracking branch 'origin/master' into codex/sandbox-policy-context 2026-07-30 20:23:17 +08:00
creatixchu 0ea0aef41a Merge remote-tracking branch 'origin/feat/directory-picker-quiet-navigation' into feat/dir-selector-adaptive-default 2026-07-30 20:23:11 +08:00
creatixchu b6fc6328f3 Merge remote-tracking branch 'origin/master' into feat/directory-picker-quiet-navigation 2026-07-30 20:22:35 +08:00
Tianyi Cui 2fb90a744e Merge pull request #929 from deepseek-harness/worktree-optgate 
perf(scripts): gen-doc-graphs and typert gen
 2026-07-30 20:21:18 +08:00
kingwl 29d8ca5ee5 Merge remote-tracking branch 'origin/master' into codex/queue-collapse 
# Conflicts:
#	packages/client/ui-conversation/README.i18n.yaml
 2026-07-30 20:11:46 +08:00
imccyu e3388cee87 ci: reduce typert cost 2026-07-30 20:03:58 +08:00
Hypatia May fe97451604 Merge remote-tracking branch 'origin/master' into fix/human-transcript-projection 
# Conflicts:
#	.agents/notes/implemented/feature/2026-07-17-dedicated-full-screen-tui-front-door.i18n.yaml
#	docs/cordis-catalog/services.md
#	packages/host/apiproxy/README.i18n.yaml
#	packages/ui/tui/README.i18n.yaml
 2026-07-30 19:57:49 +08:00
imccyu 82a151ed35 ci: increase coverage memory 2026-07-30 19:57:18 +08:00
imccyu 67de3e12b6 ci: reduce coverage cocurrency 2026-07-30 19:57:18 +08:00
imccyu 9f0febe070 perf: typert add cache 2026-07-30 19:57:17 +08:00
imccyu 7326b9b2a4 fix(scripts): share package-source selection to clear the jscpd clone 
The spec duplicated collectEventRelations' source-selection block; extract
collectPackageSources and use it from both sides.
 2026-07-30 19:57:17 +08:00
imccyu f988ca9b86 fix(scripts): own the locality proof's premises in gen-doc-graphs 
Review follow-up. provenLocalCallee inferred file-local calls from module
scoping but borrowed non-exportedness from its one caller and never checked
module-ness: a helper in a global script file (no import/export) is
program-visible and callable cross-file with no same-file reference, so the
proof passed and those call sites were dropped as silently missing matrix
cells. Guard both premises at the proof entry, failing toward the global
fallback.

- State the EVENT_API_METHODS obligation: a visitSource branch for an
  unlisted method name is dead because the prefilter drops the call first.
- Add gen-doc-graphs.spec.ts pinning fast path vs global fallback equivalence
  on fixture programs: a proven-local helper, an alias-escaping helper, and a
  global-script helper (negative control that keeps the fallback exercised).
- Record the demand-driven indexing decision in the Program-backed semantic
  gates Agent Note (both languages, pairing re-recorded).

Generated docs stay byte-identical (verify-doc-graphs green).
 2026-07-30 19:57:17 +08:00
imccyu 0a3cf3b5a6 perf(scripts): drop the whole-repo call-site pre-index from gen-doc-graphs 
The event-relation collector resolved every CallExpression in all package
sources up front (getResolvedSignature is the most expensive checker query)
and type-classified every property-access receiver before looking at the
method name. Both costs served a tiny fraction of call sites.

- Filter by event API method name first; receiver classification now runs
  on those calls only.
- Replace the eager global call-site index with demand-driven indexing:
  when a non-exported local helper's same-file references are all provably
  direct callees, only that file is indexed; any other reference shape
  (alias escape) falls back to the original full package-source index.

Generated docs are byte-identical; verify-doc-graphs stays green. Halves
the script's CPU time (23.4s -> ~13s user on a warm run).
 2026-07-30 19:57:16 +08:00
creatixchu 692ada7485 Merge remote-tracking branch 'origin/feat/directory-picker-quiet-navigation' into feat/dir-selector-adaptive-default 2026-07-30 19:48:45 +08:00