Add bounded evidence to work checkpoint candidates #31

Merged
weichen merged 10 commits from feature/fast-slow-u2-u3 into main 2026-10-19 09:20:24 +00:00
10 Commits
Author SHA1 Message Date
weichen 0cf03446c4 Merge the fast-slow U2/U3 branch history after syncing with main
governance / governance (pull_request) Successful in 16s
2026-10-19 02:59:18 +00:00
agent-exec-transport cbd3d3e3d0 agent-exec transport 68889ca8d4b0eec4cfe89d0cc80b6516/5ca3b7798211 2026-10-19 02:59:03 +00:00
weichen b4743949e5 Keep U3 TypeScript evidence helpers local
Why: Generated mirrors gained unused named exports and tripped the frontend knip ratchet.

Evidence: Exact Dev combination failed at 53 unused exports over 52 baseline; Core Go tests passed after narrowing the TS export surface.

Impact: Preserve WorkFindingCandidate.evidence shape while avoiding unused exported helper names.

Refs: Dev task feature/fast-slow-u2-u3-plan; failed combo receipt 275bebe2
2026-10-13 16:48:01 +00:00
weichen c722c16626 Validate optional evidence in work checkpoint candidates
Why: U3 needs bounded, source-indexed premises before the host can judge numeric and membership claims.

Evidence: TestWorkCheckpointEvidenceModesAndBounds failed on missing types, then go test ./... -count=1 and git diff --check passed.

Impact: Extend only the candidate wire contract; persisted task snapshots and display kinds stay unchanged.

Refs: Dev task feature/fast-slow-u2-u3-plan; r0.3 evidence implementation plan Task 1
2026-10-13 16:03:33 +00:00
weichen c55ebbcb96 Merge remote-tracking branch 'origin/main' into feature/fast-slow-u2-u3 2026-10-13 10:19:06 +00:00
weichen beafd7537a Merge scoped settings contracts from current main
Why: Preserve upstream settings authority and current component admission.

Evidence: Exact authoritative main object fetched before merge; composition replay follows.

Impact: Retain Task contracts alongside scoped settings.

Refs: Agent-System-Dev U2/U3 delivery
2026-10-13 05:28:02 +00:00
weichen 6e385743e4 Retain coverage limits in legacy task summaries
Why: Older clients must see the same coverage limits as structured task cards.

Evidence: Core suite and composition checks follow this projection update.

Impact: Projects optional limitations into existing list nodes.

Refs: fast-slow-u2-u3 Task 6
2026-10-13 02:08:00 +00:00
weichen dbe1f544d7 Keep material coverage limits separate from outcome claims
Why: A completed run can still lack readable or fully provided source material.

Evidence: Composition validation follows the backend and UI consumers.

Impact: Adds optional host-owned limitations without changing candidate authority.

Refs: fast-slow-u2-u3 Tasks 4 through 6
2026-10-13 01:59:40 +00:00
weichen 124309b985 Retain trusted input bindings for task result reuse
Why: Completed tasks require current source authorization and content validation.

Evidence: Optional fields preserve existing contracts; composition verification follows.

Impact: Adds host-owned input source references with no new model authority.

Refs: fast-slow-u2-u3 Tasks 2 and 4
2026-10-13 01:35:53 +00:00
weichen 06f2723161 Add persistent work snapshots and checkpoint contracts
Why: preserve scoped work findings and truthful activity across reloads.

Evidence: task JSON loss and validation/state regressions RED to GREEN; complete Core suite.

Impact: optional card/document wire fields and bounded candidate validation; old Body remains supported.

Refs: fast-slow U2/U3 Task1, R03 R05 R09 R17
2026-10-13 01:04:56 +00:00