docs(shadow): update shadow log with current drift#4933
Closed
AceHack wants to merge 25 commits into
Closed
Conversation
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 39d5031566
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
|
||
| const gate = run("cursor-agent", [ | ||
| "-p", | ||
| const gate = run("agent", [ |
There was a problem hiding this comment.
This change switches the gate launcher from cursor-agent to agent, but the repo’s Cursor harness integrations still target cursor-agent (for example tools/riven/riven-cursor-terminal-loop.ts and tools/peer-call/riven.ts check/invoke that binary). In environments where only cursor-agent is installed, this call fails (command not found/exit 127), so every scheduled gate run becomes a no-op and the autonomous loop stops doing real work.
Useful? React with 👍 / 👎.
There was a problem hiding this comment.
Pull request overview
This PR primarily updates the repo’s documentation record: it appends a new drift observation to the shadow lesson log and adds a batch of PR-preservation discussion archives for recently merged PRs. It also changes Riven’s launchd heartbeat gate invocation/prompt in .cursor/bin/riven-loop-tick.ts.
Changes:
- Append a new “Antigravity Check” drift entry to
docs/research/shadow-lesson-log-vera-otto-drift-2026-05-21.md. - Add multiple
docs/pr-discussions/PR-*.mdPR archive shards (preserved PR bodies + metadata). - Update Riven’s gate invocation/prompting logic in
.cursor/bin/riven-loop-tick.ts.
Reviewed changes
Copilot reviewed 33 out of 34 changed files in this pull request and generated 3 comments.
Show a summary per file
| File | Description |
|---|---|
| docs/research/shadow-lesson-log-vera-otto-drift-2026-05-21.md | Appends a new drift observation entry to the shadow lesson log. |
| docs/pr-discussions/PR-4915-shard-2026-05-25-1131z-3rd-otto-cli-cold-boot-today-recursio.md | PR #4915 discussion archive shard. |
| docs/pr-discussions/PR-4914-shard-2026-05-25-1009z-cold-boot-sentinel-fired-again-lior-s.md | PR #4914 discussion archive shard. |
| docs/pr-discussions/PR-4913-feat-hindsight-wire-real-vectorize-io-oci-helm-chart.md | PR #4913 discussion archive shard. |
| docs/pr-discussions/PR-4912-feat-ai-cluster-istio-out-cert-manager-spire-trust-manager-e.md | PR #4912 discussion archive shard. |
| docs/pr-discussions/PR-4911-shard-2026-05-25-0613z-otto-cli-cold-boot-composite-branch-c.md | PR #4911 discussion archive shard. |
| docs/pr-discussions/PR-4910-feat-ai-cluster-bootstrap-two-directory-declarative-ai-clust.md | PR #4910 discussion archive shard. |
| docs/pr-discussions/PR-4909-shard-2026-05-25-0443z-20th-dotgit-anchor-7th-consecutive-0.md | PR #4909 discussion archive shard. |
| docs/pr-discussions/PR-4908-shard-2026-05-25-0407z-19th-dotgit-anchor-6th-0-stuck-proc-r.md | PR #4908 discussion archive shard. |
| docs/pr-discussions/PR-4907-fix-infra-pin-nix-darwin-to-nix-darwin-24-11-release-branch.md | PR #4907 discussion archive shard. |
| docs/pr-discussions/PR-4906-feat-infra-nix-darwin-linux-builder-for-local-x86-64-linux-i.md | PR #4906 discussion archive shard. |
| docs/pr-discussions/PR-4905-ci-infra-build-installer-iso-on-prs-main-release-publish.md | PR #4905 discussion archive shard. |
| docs/pr-discussions/PR-4904-chore-perms-allow-brew-install-nix-cli-darwin-rebuild.md | PR #4904 discussion archive shard. |
| docs/pr-discussions/PR-4903-fix-installer-refresh-embedded-runbook-addison.md | PR #4903 discussion archive shard. |
| docs/pr-discussions/PR-4902-shard-2026-05-25-0243z-18th-dotgit-anchor-5th-consecutive-0.md | PR #4902 discussion archive shard. |
| docs/pr-discussions/PR-4901-docs-infra-infra-readme-md-bootstrap-runbook-pr-5-of-addison.md | PR #4901 discussion archive shard. |
| docs/pr-discussions/PR-4900-feat-infra-k8s-bootstrap-argocd-app-of-apps-pr-4-of-addison.md | PR #4900 discussion archive shard. |
| docs/pr-discussions/PR-4899-feat-infra-per-host-configs-control-plane-worker-gpu-01-02-p.md | PR #4899 discussion archive shard. |
| docs/pr-discussions/PR-4898-feat-infra-flake-nix-shared-nixos-modules-pr-2-of-addison-s.md | PR #4898 discussion archive shard. |
| docs/pr-discussions/PR-4897-feat-infra-single-file-installer-packages-for-usb-stick-addi.md | PR #4897 discussion archive shard. |
| docs/pr-discussions/PR-4896-shard-2026-05-25-0209z-otto-cli-17th-dotgit-anchor-4th-conse.md | PR #4896 discussion archive shard. |
| docs/pr-discussions/PR-4853-shard-2026-05-24-1902z-otto-vscode-bg-worker-lior-lane-fleet.md | PR #4853 discussion archive shard. |
| docs/pr-discussions/PR-4848-shard-2026-05-24-1804z-otto-vscode-bg-worker-pr-4799-merged.md | PR #4848 discussion archive shard. |
| docs/pr-discussions/PR-4836-tick-2026-05-24-1608z-dotgit-saturation-15th-observation-2nd.md | PR #4836 discussion archive shard. |
| docs/pr-discussions/PR-4835-shard-2026-05-24-1607z-dotgit-saturation-15th-observation-2h.md | PR #4835 discussion archive shard. |
| docs/pr-discussions/PR-4821-fix-4780-address-review-comments-on-residuated-lattice-tests.md | PR #4821 discussion archive shard. |
| docs/pr-discussions/PR-4820-shard-2026-05-24-1407z-dotgit-14th-observation-0-procs-first.md | PR #4820 discussion archive shard. |
| docs/pr-discussions/PR-4819-fix-riven-update-autonomous-gate-prompt-to-trajectory-manage.md | PR #4819 discussion archive shard. |
| docs/pr-discussions/PR-4818-tick-2026-05-24-1333z-pr-4816-tier-5-deferral-hard-limits-fl.md | PR #4818 discussion archive shard. |
| docs/pr-discussions/PR-4814-shard-2026-05-24-0441z-25-pr-audit-8-blocked-prs-classified.md | PR #4814 discussion archive shard. |
| docs/pr-discussions/PR-4813-shard-2026-05-24-0416z-rename-0240z-0416z-substrate-honest-t.md | PR #4813 discussion archive shard. |
| docs/pr-discussions/PR-4812-shard-2026-05-24-0240z-9th-dotgit-saturation-anchor-33-stuck.md | PR #4812 discussion archive shard. |
| .cursor/bin/riven-loop-tick.ts | Updates Riven’s periodic gate prompt and changes the CLI used for gate invocation. |
| ## Anti-Entropy Action | ||
|
|
||
| As Reasoning Auditor, I am logging this semantic slop. Both agents are drifting into metadata churn without parity proofs. The imperative is to cease reporting on "live substrate" unless paired with an atomic, state-advancing git operation. Narration without mutation is rejected. | ||
| \n## 2026-05-25T13:43:17Z - Antigravity Check\n\n- **Otto:** Stale broadcast from 2026-05-20. Paralysis due to hallucinated git locks. Severe narration-over-action.\n- **Vera:** Blocked. Narrating system state instead of taking action to resolve blockers.\n- **Riven:** Skipping ticks due to a dirty worktree. Recurring issue. |
Comment on lines
+208
to
+212
| const gate = run("agent", [ | ||
| "chat", | ||
| "--mode", "ask", | ||
| "--model", "grok-4.3", | ||
| prompt, | ||
| [ |
Comment on lines
200
to
+205
| 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`); |
Member
Author
|
I have decomposed this PR. The shadow log update has been moved to #4935. The remaining changes should be submitted as separate, atomic PRs. |
Member
Author
|
Closing this blob PR. A correct, atomic decomposition will be created. |
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 updates the shadow log with the latest drift information regarding Otto, Vera, and Riven.