From 0cce80f836481056874e420ec69c5bf78507866d Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Thu, 23 Apr 2026 23:58:04 -0400 Subject: [PATCH 1/3] WIP: r1 testgen --- docs/briefs/r1-testgen-manager.md | 38 +++++++++++++++++++++---------- 1 file changed, 26 insertions(+), 12 deletions(-) diff --git a/docs/briefs/r1-testgen-manager.md b/docs/briefs/r1-testgen-manager.md index 1ea16437cb1..e791aa22c25 100644 --- a/docs/briefs/r1-testgen-manager.md +++ b/docs/briefs/r1-testgen-manager.md @@ -117,30 +117,38 @@ compose. When this closes, the R1 release gates themselves Lane-owner dispatch status (update as sub-deliverables close): **T-TestGen:** +- [x] Schema extensions landed — `ExecuteCommand`, `ForAllTargets`, + `LensOutputEquals`, `DifferentialEquals`, `AlgebraicLaw` variants + added to `TestPredicate` (PR #678, merged 2026-04-24) - [ ] Runner foundation — schema predicates execute structurally + (PR #688 green, merge pending) - [ ] `testgen_structural_coverage` gate compiles + evaluates - [ ] `MockBackedInvariant` wiring - [ ] `testgen_mock_backed_integration_safe` gate compiles + evaluates - [ ] `testgen_manual_claim_is_first_class` gate compiles + evaluates **T-LensAPI:** -- [ ] `user_authored_lens_compiles` gate (Day-1) passes +- [x] `user_authored_lens_compiles` gate (Day-1) passes + (PR #679 green, merge pending) - [ ] `AlgebraicLaw` predicate (schema extension, shared with - lens_composition_associative) + lens_composition_associative) — predicate declared in #678; + runner evaluation not yet wired - [ ] `lens_composition_associative` gate compiles + evaluates - [ ] `lens_output_is_queryable_data` gate compiles + evaluates **Schema extensions owned here that other managers consume:** -- [ ] `ExecuteCommand` predicate (Surface T-Emit consumer) -- [ ] `ForAllTargets` predicate (Surface T-Emit consumer) -- [ ] `LensOutputEquals` predicate (Substrate T-LaneE consumer - — `complexity_merge_sort_is_nlogn`) -- [ ] `DifferentialEquals` predicate (Substrate T-LaneE consumer - — `complexity_v3_matches_v2_oracle`) +- [x] `ExecuteCommand` predicate (Surface T-Emit consumer) — landed PR #678 +- [x] `ForAllTargets` predicate (Surface T-Emit consumer) — landed PR #678 +- [x] `LensOutputEquals` predicate (Substrate T-LaneE consumer + — `complexity_merge_sort_is_nlogn`) — landed PR #678 +- [x] `DifferentialEquals` predicate (Substrate T-LaneE consumer + — `complexity_v3_matches_v2_oracle`) — landed PR #678 Decisions log (append as they happen): -- _(none yet)_ +- 2026-04-24: `ForAllTargets` self-referential variant dissolved to + `{ command, args, expect_exit_code }` to preserve bounded-kernel + invariant (Node is the only recursive type). Open questions for director: @@ -148,6 +156,12 @@ Open questions for director: Cross-manager notifications queued: -- _(none yet — signal Self-hosting when runner lands; signal - Surface when ExecuteCommand + ForAllTargets are defined; signal - Release when LensAPI output is queryable)_ +- **Surface Manager**: `ExecuteCommand` + `ForAllTargets` predicates + are on main (PR #678). T-Emit lane-owners can now author gates + against those predicate shapes. +- **Substrate Manager**: `LensOutputEquals` + `DifferentialEquals` + predicates are on main (PR #678). T-LaneE consumers can reference + them once the runner lands. +- **Self-hosting Manager**: Runner foundation (PR #688) is merge-ready. + Signal will go out once it lands — T-PB-B can begin `.dag` TestClaim + conversion at that point. From c2a6d915398a5911777c406070d13cb2c1eb3987 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Fri, 24 Apr 2026 00:04:03 -0400 Subject: [PATCH 2/3] =?UTF-8?q?docs(r1-testgen-manager):=20working-state?= =?UTF-8?q?=20refresh=20=E2=80=94=20schema=20extensions=20(#678),=20runner?= =?UTF-8?q?=20(#688),=20LensAPI=20Day-1=20gate=20(#679)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Runner foundation (#688) already merged; update status to reflect that. Fix "Open questions" placeholder to _(none today)_. Co-Authored-By: Claude Sonnet 4.6 --- docs/briefs/r1-testgen-manager.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/briefs/r1-testgen-manager.md b/docs/briefs/r1-testgen-manager.md index e791aa22c25..74a35bc6bbd 100644 --- a/docs/briefs/r1-testgen-manager.md +++ b/docs/briefs/r1-testgen-manager.md @@ -120,8 +120,8 @@ Lane-owner dispatch status (update as sub-deliverables close): - [x] Schema extensions landed — `ExecuteCommand`, `ForAllTargets`, `LensOutputEquals`, `DifferentialEquals`, `AlgebraicLaw` variants added to `TestPredicate` (PR #678, merged 2026-04-24) -- [ ] Runner foundation — schema predicates execute structurally - (PR #688 green, merge pending) +- [x] Runner foundation — schema predicates execute structurally + (PR #688, merged 2026-04-24) - [ ] `testgen_structural_coverage` gate compiles + evaluates - [ ] `MockBackedInvariant` wiring - [ ] `testgen_mock_backed_integration_safe` gate compiles + evaluates @@ -152,7 +152,7 @@ Decisions log (append as they happen): Open questions for director: -- _(none yet)_ +- _(none today)_ Cross-manager notifications queued: @@ -162,6 +162,6 @@ Cross-manager notifications queued: - **Substrate Manager**: `LensOutputEquals` + `DifferentialEquals` predicates are on main (PR #678). T-LaneE consumers can reference them once the runner lands. -- **Self-hosting Manager**: Runner foundation (PR #688) is merge-ready. - Signal will go out once it lands — T-PB-B can begin `.dag` TestClaim - conversion at that point. +- **Self-hosting Manager**: Runner foundation landed (PR #688, + 2026-04-24). T-PB-B is unblocked — begin `.dag` TestClaim + conversion of pipeline / contract tests. ⬅ **SEND NOW** From 0de1af3a6e20a77d10e805180464aa8b69923c9f Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Fri, 24 Apr 2026 00:05:00 -0400 Subject: [PATCH 3/3] docs(r1-testgen-manager): uncheck user_authored_lens_compiles until #679 merges [x] while "merge pending" violates the section's own "update as sub-deliverables close" rule. Keep unchecked until the PR lands. Co-Authored-By: Claude Sonnet 4.6 --- docs/briefs/r1-testgen-manager.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/briefs/r1-testgen-manager.md b/docs/briefs/r1-testgen-manager.md index 74a35bc6bbd..e317a5b628f 100644 --- a/docs/briefs/r1-testgen-manager.md +++ b/docs/briefs/r1-testgen-manager.md @@ -128,8 +128,8 @@ Lane-owner dispatch status (update as sub-deliverables close): - [ ] `testgen_manual_claim_is_first_class` gate compiles + evaluates **T-LensAPI:** -- [x] `user_authored_lens_compiles` gate (Day-1) passes - (PR #679 green, merge pending) +- [ ] `user_authored_lens_compiles` gate (Day-1) passes + (PR #679 all checks green, merge pending) - [ ] `AlgebraicLaw` predicate (schema extension, shared with lens_composition_associative) — predicate declared in #678; runner evaluation not yet wired