docs(archive): DECOMPOSED - preserve 30 recently merged PRs (from #4929)#4938
Closed
AceHack wants to merge 4 commits into
Closed
docs(archive): DECOMPOSED - preserve 30 recently merged PRs (from #4929)#4938AceHack wants to merge 4 commits into
AceHack wants to merge 4 commits into
Conversation
There was a problem hiding this comment.
Pull request overview
This PR primarily adds PR-preservation discussion archives under docs/pr-discussions/ (a decomposition of #4929), and also includes a small Riven loop gate invocation update plus a backlog decomposition for B-0002.
Changes:
- Add 30+ PR discussion archive markdown files under
docs/pr-discussions/. - Decompose backlog item B-0002 into 4 child backlog rows and link them from the parent.
- Update the Riven launchd tick runner to invoke the agent gate via the
agent chatCLI contract.
Reviewed changes
Copilot reviewed 36 out of 37 changed files in this pull request and generated 2 comments.
Show a summary per file
| File | Description |
|---|---|
| docs/pr-discussions/PR-4915-shard-2026-05-25-1131z-3rd-otto-cli-cold-boot-today-recursio.md | Adds PR #4915 preservation record. |
| docs/pr-discussions/PR-4914-shard-2026-05-25-1009z-cold-boot-sentinel-fired-again-lior-s.md | Adds PR #4914 preservation record. |
| docs/pr-discussions/PR-4913-feat-hindsight-wire-real-vectorize-io-oci-helm-chart.md | Adds PR #4913 preservation record. |
| docs/pr-discussions/PR-4912-feat-ai-cluster-istio-out-cert-manager-spire-trust-manager-e.md | Adds PR #4912 preservation record. |
| docs/pr-discussions/PR-4911-shard-2026-05-25-0613z-otto-cli-cold-boot-composite-branch-c.md | Adds PR #4911 preservation record. |
| docs/pr-discussions/PR-4910-feat-ai-cluster-bootstrap-two-directory-declarative-ai-clust.md | Adds PR #4910 preservation record. |
| docs/pr-discussions/PR-4909-shard-2026-05-25-0443z-20th-dotgit-anchor-7th-consecutive-0.md | Adds PR #4909 preservation record. |
| docs/pr-discussions/PR-4908-shard-2026-05-25-0407z-19th-dotgit-anchor-6th-0-stuck-proc-r.md | Adds PR #4908 preservation record. |
| docs/pr-discussions/PR-4907-fix-infra-pin-nix-darwin-to-nix-darwin-24-11-release-branch.md | Adds PR #4907 preservation record. |
| docs/pr-discussions/PR-4906-feat-infra-nix-darwin-linux-builder-for-local-x86-64-linux-i.md | Adds PR #4906 preservation record. |
| docs/pr-discussions/PR-4905-ci-infra-build-installer-iso-on-prs-main-release-publish.md | Adds PR #4905 preservation record. |
| docs/pr-discussions/PR-4904-chore-perms-allow-brew-install-nix-cli-darwin-rebuild.md | Adds PR #4904 preservation record. |
| docs/pr-discussions/PR-4903-fix-installer-refresh-embedded-runbook-addison.md | Adds PR #4903 preservation record. |
| docs/pr-discussions/PR-4902-shard-2026-05-25-0243z-18th-dotgit-anchor-5th-consecutive-0.md | Adds PR #4902 preservation record. |
| docs/pr-discussions/PR-4901-docs-infra-infra-readme-md-bootstrap-runbook-pr-5-of-addison.md | Adds PR #4901 preservation record. |
| docs/pr-discussions/PR-4900-feat-infra-k8s-bootstrap-argocd-app-of-apps-pr-4-of-addison.md | Adds PR #4900 preservation record. |
| docs/pr-discussions/PR-4899-feat-infra-per-host-configs-control-plane-worker-gpu-01-02-p.md | Adds PR #4899 preservation record. |
| docs/pr-discussions/PR-4898-feat-infra-flake-nix-shared-nixos-modules-pr-2-of-addison-s.md | Adds PR #4898 preservation record. |
| docs/pr-discussions/PR-4897-feat-infra-single-file-installer-packages-for-usb-stick-addi.md | Adds PR #4897 preservation record. |
| docs/pr-discussions/PR-4896-shard-2026-05-25-0209z-otto-cli-17th-dotgit-anchor-4th-conse.md | Adds PR #4896 preservation record. |
| docs/pr-discussions/PR-4895-shard-2026-05-25-0112z-otto-vscode-bg-worker-16th-dotgit-anc.md | Adds PR #4895 preservation record. |
| docs/pr-discussions/PR-4894-shard-2026-05-25-0042z-otto-vscode-bg-worker-15th-dotgit-anc.md | Adds PR #4894 preservation record. |
| docs/pr-discussions/PR-4893-fix-lint-correct-broken-relative-path-link-in-0008z-shard-ra.md | Adds PR #4893 preservation record. |
| docs/pr-discussions/PR-4892-shard-2026-05-25-0008z-otto-cli-14th-dotgit-anchor-0-stuck-p.md | Adds PR #4892 preservation record. |
| docs/pr-discussions/PR-4885-docs-shadow-add-shadow-lesson-logs-from-4832.md | Adds PR #4885 preservation record. |
| docs/pr-discussions/PR-4883-feat-riven-update-riven-agent-configuration-from-4832-decomp.md | Adds PR #4883 preservation record. |
| docs/pr-discussions/PR-4881-feat-riven-update-riven-agent-configuration-from-4854-decomp.md | Adds PR #4881 preservation record. |
| docs/pr-discussions/PR-4879-shard-2026-05-24-2206z-otto-vscode-bg-worker-pr-4869-merged.md | Adds PR #4879 preservation record. |
| docs/pr-discussions/PR-4871-fix-lint-remove-5-stray-gitlinks-introduced-by-4851.md | Adds PR #4871 preservation record. |
| docs/pr-discussions/PR-4869-shard-2026-05-24-2033z-otto-vscode-bg-worker-lior-lane-fleet.md | Adds PR #4869 preservation record. |
| docs/pr-discussions/PR-4853-shard-2026-05-24-1902z-otto-vscode-bg-worker-lior-lane-fleet.md | Adds PR #4853 preservation record. |
| docs/backlog/P3/B-0002-otto-287-noether-formalization.md | Links B-0002 to its newly created child rows. |
| docs/backlog/P3/B-0002.1-noether-formalization-step1.md | Adds child backlog row B-0002.1. |
| docs/backlog/P3/B-0002.2-noether-formalization-step2.md | Adds child backlog row B-0002.2. |
| docs/backlog/P3/B-0002.3-noether-formalization-step3.md | Adds child backlog row B-0002.3. |
| docs/backlog/P3/B-0002.4-noether-formalization-step4.md | Adds child backlog row B-0002.4. |
| .cursor/bin/riven-loop-tick.ts | Adjusts the Riven gate invocation prompt/runner to use agent chat contract. |
Comment on lines
8
to
+13
| ask: maintainer Otto-287/Aaron 2026-04-25 ("backlog ongoing research here to formalize this conservation law analogously") | ||
| created: 2026-04-25 | ||
| last_updated: 2026-05-02 | ||
| depends_on: [] | ||
| composes_with: [] | ||
| children: [B-0002.1, B-0002.2, B-0002.3, B-0002.4] |
Comment on lines
200
to
206
| if (elapsed >= agentIntervalMs) { | ||
| const prNum = Number(prCount) || 0; | ||
| const workMode = prNum === 0 ? "pickup" : "drain"; | ||
| agentStatus = "running"; | ||
| log(`riven work cycle start run_id=${runId} mode=${workMode} open_prs=${prNum}`); | ||
| log(`riven agent gate start run_id=${runId}`); | ||
|
|
||
| if (dryRun) { | ||
| log(`dry-run: would run riven ${workMode}`); | ||
| log(`dry-run: would run agent gate`); | ||
| agentStatus = "dry-run"; |
Member
Author
|
I am unable to merge this PR due to failing checks. I am abandoning this PR for now and will come back to it later. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR is a decomposition of #4929, containing only the PR preservations.