fix(facts): name changed files from the harness's own file-change records - #114

Merged

drewstone merged 8 commits into

mainfrom

fix/facts-changed-files-from-spans

Sep 10, 2026

Commits on Sep 10, 2026

feat(ask): answer free-form questions concurrently under one budget

drewstone
and
claude
committed
55044df
fix(codex): record command, file-change and submitted-turn facts

drewstone
and
claude
committed
7bfc37d
fix(codex): carry the token total and stop counting synthesized spans as tool calls

drewstone
and
claude
committed
94c257d
feat(facts): compute a deterministic session-facts sheet from the spans

drewstone
and
claude
committed
78de54a
Merge remote-tracking branch 'origin/fix/codex-token-total-and-synthesized-spans' into feat/facts-prs-and-human-turns
drewstone
committed
cccd195
feat(facts): state the pull requests and the real human turns

drewstone
and
claude
committed
aec95a3
fix(facts): name changed files from the harness's own file-change records

drewstone
and
claude
committed
9822ea8
fix(facts): give the changed-file list its own ceiling

drewstone
and
claude
committed
0105628