Commit graph

1851 commits

Author SHA1 Message Date
Shay
d3df22e24a
feat(workbench-ui): add Trace practice evidence panel scaffold (#901) 2026-06-23 23:45:48 -07:00
Shay
8c3898c1e1
feat(workbench): wire Trace practice evidence route (#900)
* feat(workbench): route practice evidence through trace endpoint shim

* test(workbench): lock trace practice API route

* fix(workbench): remove stray practice API test token
2026-06-23 15:57:31 -07:00
Shay
b96c556701
feat(workbench): add sealed practice evidence read model (#899)
* feat(workbench): add practice evidence read model

* feat(workbench): add practice evidence endpoint seam

* feat(workbench): persist practice evidence field when present

* test(workbench): cover practice evidence read model seam
2026-06-23 15:41:13 -07:00
Shay
ff1ef10bd7
feat(workbench-ui): expand Trace construction evidence inspection
Expand the Trace Construction panel from a summary scaffold into a read-only evidence inspection surface.

Adds detail sections for construction proposals, mentions, mention bindings, bound relations, contract assessments, and source-span exactness rows. Preserves the proposal/contract authority boundary: proposals remain diagnostic and contract assessments determine runnable/blocker disposition.

Validation: workbench-ui, smoke, and lane-shas GitHub Actions passed on PR head d20d143b5744d15d73d07a515b466143af6a2d52.
2026-06-23 15:03:38 -07:00
Shay
a19acac320
test(workbench-ui): lock trace construction tab wiring (#897) 2026-06-23 14:25:09 -07:00
Shay
56512aa070
feat(workbench-ui): add Trace construction panel scaffold (#894)
* feat(workbench-ui): add construction evidence panel model

* test(workbench-ui): cover construction evidence panel model

* feat(workbench-ui): add construction evidence panel component

* fix(workbench-ui): address construction panel review nits

* fix(workbench-ui): type injected construction fetcher test
2026-06-23 14:08:54 -07:00
Shay
ec17fb7cdb
feat(workbench): persist construction evidence in trace journal (#896) 2026-06-23 13:58:12 -07:00
Shay
d7a809e82a
feat(workbench): wire construction evidence into Trace route (#895) 2026-06-23 13:28:17 -07:00
Shay
91d1dff0ed chore: remove accidental temp file 2026-06-23 11:39:34 -07:00
Shay
41fb8fda8f tmp 2026-06-23 11:39:08 -07:00
Shay
9e90a9faa3 chore: remove branch sentinel temp file 2026-06-23 11:38:51 -07:00
Shay
5eb00fead7 temp 2026-06-23 11:38:38 -07:00
Shay
0431b9b1a9 chore: remove accidental placeholder file 2026-06-23 11:37:58 -07:00
Shay
f6b14a644f noop2 2026-06-23 11:37:34 -07:00
Shay
156a1efcd6 chore: remove accidental noop temp file 2026-06-23 11:37:23 -07:00
Shay
5f93f6d15a noop 2026-06-23 11:37:12 -07:00
Shay
4c23aa4b00
feat(workbench): prepare construction evidence endpoint seam (#893)
* feat(workbench): add construction endpoint handler seam

* test(workbench): cover construction endpoint handler seam

* feat(workbench-ui): add construction evidence endpoint helpers

* test(workbench-ui): cover construction endpoint helpers
2026-06-23 10:11:21 -07:00
Shay
2c8258fe1a
feat(workbench): add UI catch-up evidence scaffolding (#891)
* feat(workbench): add construction evidence read model scaffolding

* feat(workbench-ui): add construction evidence TS types

* feat(workbench): add construction evidence journal projector

* test(workbench): cover construction evidence read model

* feat(workbench-ui): add construction evidence view helpers

* test(workbench-ui): cover construction evidence view helpers

* feat(workbench): add generalization audit evidence scaffolding

* test(workbench): cover generalization audit evidence view

* feat(workbench-ui): add generalization evidence TS types

* feat(workbench-ui): add generalization evidence view helpers

* test(workbench-ui): cover generalization evidence helpers

* feat(workbench): add proposal artifact authority scaffolding

* test(workbench): cover proposal artifact authority rules

* feat(workbench-ui): add proposal artifact TS types

* feat(workbench-ui): add proposal artifact view helpers

* test(workbench-ui): cover proposal artifact view helpers

* feat(workbench): add demo narrative evidence scaffolding

* test(workbench): cover demo narrative scaffolding

* feat(workbench-ui): add demo narrative TS types

* feat(workbench-ui): add demo narrative view helpers

* test(workbench-ui): cover demo narrative view helpers

* fix(evals): resolve discovery_candidates.jsonl via EngineStateStore
2026-06-23 10:09:45 -07:00
Shay
172afc2d9e
docs(workbench): align UI catch-up plan and route docs (#890)
* docs(workbench): refresh UI route inventory

* docs(workbench): add master UI catch-up plan

* docs(workbench): add UI guide catch-up addendum

* docs(workbench): add construction read model implementation brief

* docs(workbench): add trace construction tab implementation brief

* docs(workbench): add generalization audit UI brief

* docs(workbench): add proposal artifact and demo theater brief

* docs: remove trailing whitespaces
2026-06-23 10:02:17 -07:00
Shay
075b41eb34
Merge pull request #889 from AssetOverflow/feat/gsm1k-local-audit-adapter 2026-06-23 08:08:51 -07:00
Shay
f8fe6e22ca test(evals): strengthen GSM1K repo-root guard 2026-06-23 07:57:34 -07:00
Shay
d34883b61a feat(evals): implement safe metadata and fail-closed evaluator check for GSM1K 2026-06-23 07:52:32 -07:00
Shay
db081fa5b3 feat(evals): add GSM1K local audit adapter 2026-06-23 07:40:53 -07:00
Shay
8029daba73
Merge pull request #888 from AssetOverflow/feat/generalization-audit-runner-skeleton
feat(evals): add generalization audit runner skeleton
2026-06-23 07:36:08 -07:00
Shay
f823eb437b feat(evals): add generalization audit runner skeleton 2026-06-23 07:23:43 -07:00
Shay
3100f84e73
Merge pull request #887 from AssetOverflow/feat/generalization-cache-verifier 2026-06-23 07:17:25 -07:00
Shay
ed8c0b0e43 feat(evals): verify local generalization benchmark cache 2026-06-23 07:03:56 -07:00
Shay
3eb73fac2b
Merge pull request #886 from AssetOverflow/feat/generalization-manifest-policy-linter 2026-06-23 06:52:55 -07:00
Shay
b51575a075
Merge branch 'main' into feat/generalization-manifest-policy-linter 2026-06-23 06:40:35 -07:00
Shay
83ba9a2e9b feat(evals): implement manifest schema and policy linter (#886) 2026-06-23 06:30:12 -07:00
Shay
f7003d6cb6
Merge pull request #885 from AssetOverflow/codex/quantity-entity-replay-target
feat(kernel): add quantity-entity replay target shell
2026-06-23 06:29:49 -07:00
Shay
faece7a409
Merge branch 'main' into codex/quantity-entity-replay-target 2026-06-23 06:21:57 -07:00
Shay
f87cd68f6b
Merge pull request #884 from AssetOverflow/feat/generalization-benchmark-manifests 2026-06-23 06:21:40 -07:00
Shay
fe4e2e6e33 feat(kernel): add quantity-entity replay target shell 2026-06-23 06:13:28 -07:00
Shay
67f9b63916 fix(evals): align benchmark manifests and gitignore with sealed-holdout policy
- Adds benchmark cache ignore rule to extend ADR-0119.7 discipline
- Removes sealed slice references from manifest smoke fixture lines
- Clarifies openbookqa and para_mawps license gates
2026-06-23 06:12:50 -07:00
Shay
34dc0d64c5 feat(evals): add generalization benchmark manifests + policy (PR-1 of 2)
Adds policy document and sealed manifest records for the first 8
external audit datasets. No data is vendored. Local cache paths are
gitignored. Fetch/verify scripts and smoke fixtures come in PR-2.

Datasets: GSM1K, ASDiv, SVAMP, PARA-MAWPS, ARC-Easy, ARC-Challenge,
          OpenBookQA, CLUTRR
2026-06-23 05:59:36 -07:00
Shay
3fc080d3e2
Merge pull request #883 from AssetOverflow/codex/quantity-entity-binding-candidate-operator 2026-06-23 05:54:12 -07:00
Shay
28deb5664b style(kernel): place quantity-entity builder before exports 2026-06-23 05:43:17 -07:00
Shay
cead96596c feat: implement quantity_entity_binding_candidate.v1 operator
- Implement CandidateOperatorPolicy and cue dataclass for quantity entity binding

- Add build_quantity_entity_binding_candidate constructor with strict refusal checks

- Bump CANDIDATE_OPERATOR_SET_VERSION to candidate_operators.v2

- Update exact export and static table shape tests

- Reconcile stale static guards across binding replay adapters

- Provide full explicit determinism and failure mode test coverage
2026-06-23 05:37:08 -07:00
Shay
846fe468e2
Merge pull request #882 from AssetOverflow/codex/adr-0234-second-candidate-operator-selection 2026-06-23 01:02:57 -07:00
Shay
afbc5aef88
Merge branch 'main' into codex/adr-0234-second-candidate-operator-selection 2026-06-23 00:52:38 -07:00
Shay
038c8bc457 docs: select second candidate operator 2026-06-23 00:49:26 -07:00
Shay
7f50368540
Merge pull request #881 from AssetOverflow/reconcile-bound-evidence-guards 2026-06-23 00:37:08 -07:00
Shay
df72c71182 test(kernel): reconcile bound evidence spine static guards 2026-06-23 00:28:25 -07:00
Shay
ff1280ffa2
Merge pull request #880 from AssetOverflow/feat/bound-practice-episode-sealing 2026-06-23 00:20:31 -07:00
Shay
b9a6eb9676 fix(kernel): fail-closed bound trace structural validation
Return PracticeTraceRefusal before dereferencing bindings or operator
results when structural type/shape checks fail. Guard seal_bound zip
against binding_result_count_mismatch. Add five refusal-without-exception
tests for malformed bound inputs.
2026-06-23 00:11:14 -07:00
Shay
484e8ff9fe docs+kernel: support bound practice episode sealing
Extends SealedPracticeTrace for externally bound candidate episodes per
ADR-0233. Adds candidate_attempt_binding_ids to trace identity, bound trace
input/seal entry points, and end-to-end bound episode tests without mutating
GeometricSearchRun.candidate_attempts.
2026-06-23 00:04:26 -07:00
Shay
5b30ec877f
Merge pull request #879 from AssetOverflow/feat/replay-bound-attempt-input 2026-06-22 23:49:33 -07:00
Shay
708237525c test(kernel): cover bound replay adapter input 2026-06-22 23:39:41 -07:00
Shay
0e638039f4 feat(kernel): support bound attempts in replay adapter input 2026-06-22 23:38:51 -07:00