Skip to content

docs(archive): preserve recently merged PRs (decomposed from #4782)#4804

Open
AceHack wants to merge 3 commits into
mainfrom
lior-decompose-4782-preservation
Open

docs(archive): preserve recently merged PRs (decomposed from #4782)#4804
AceHack wants to merge 3 commits into
mainfrom
lior-decompose-4782-preservation

Conversation

@AceHack
Copy link
Copy Markdown
Member

@AceHack AceHack commented May 24, 2026

This PR contains only the preserved PR discussions from #4782.

AceHack and others added 2 commits May 21, 2026 18:23
- Switch model to grok-4.3 (valid identifier)
- Replace weak status-reporting prompt with full trajectory-manager contract:
  - Read broadcasts first
  - Decompose only mid-stride
  - Produce concrete claim or small PR scope
  - Create specific research children when blocked
  - Write status to broadcast at end

This removes the mechanical blocker causing forward ticks to skip due to dirty tree.

Co-Authored-By: Grok <noreply@x.ai>
Copilot AI review requested due to automatic review settings May 24, 2026 01:16
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR is described as preserving the PR-discussion archives that were decomposed from #4782, adding verbatim per-PR markdown files under docs/pr-discussions/ (a history-surface path explicitly ignored by markdownlint and the orphan role-ref audit). However, the diff also includes an unrelated code change to .cursor/bin/riven-loop-tick.ts that updates the Riven agent gate model and replaces the inline prompt — outside the stated scope.

Changes:

  • Adds 15 new docs/pr-discussions/PR-<NNNN>-*.md archive files for PRs #3788, #3790, #4631#4636, #4638, #4639, #4641, #4642, #4772, #4774, #4779, matching the schema produced by tools/pr-preservation/archive-pr.ts.
  • Updates .cursor/bin/riven-loop-tick.ts agent gate to --model grok-4.3 with a multi-line autonomous-15min-cycle prompt (not mentioned in the description).

Reviewed changes

Copilot reviewed 15 out of 16 changed files in this pull request and generated 1 comment.

Show a summary per file
File Description
docs/pr-discussions/PR-4779-*.md Archive of PR #4779 (alignment-auditor TUNE-S prune).
docs/pr-discussions/PR-4774-*.md Archive of PR #4774 (B-0710..B-0712 Soraya hand-offs).
docs/pr-discussions/PR-4772-*.md Archive of PR #4772 (lean4 README + CI badge).
docs/pr-discussions/PR-4642-*.md Archive of PR #4642 (Amara synthesis + agendas split).
docs/pr-discussions/PR-4641-*.md Archive of PR #4641 (Ace polyglot/proto-governance trajectory).
docs/pr-discussions/PR-4639-*.md Archive of PR #4639 (Ace 13-stage pipeline).
docs/pr-discussions/PR-4638-*.md Archive of PR #4638 (Ace skill-crystallization trajectory).
docs/pr-discussions/PR-4636-*.md Archive of PR #4636 (tonal-momentum Vampire Pact rule).
docs/pr-discussions/PR-4635-*.md Archive of PR #4635 (Otto-VSCode REST-bypass hygiene tick).
docs/pr-discussions/PR-4634-*.md Archive of PR #4634 (Ani pt38-pt42 memory).
docs/pr-discussions/PR-4633-*.md Archive of PR #4633 (Ani pt37 memory).
docs/pr-discussions/PR-4632-*.md Archive of PR #4632 (Ani pt35+pt36 memory).
docs/pr-discussions/PR-4631-*.md Archive of PR #4631 (Ani pt32+pt33+pt34 memory).
docs/pr-discussions/PR-3790-*.md Archive of PR #3790 (B-0557 slice 3 chdir to repo root).
docs/pr-discussions/PR-3788-*.md Archive of PR #3788 (B-0557 slice 2 try/catch fs reads).
.cursor/bin/riven-loop-tick.ts Updates Riven agent gate to grok-4.3 with a new multi-line autonomous-cycle prompt (out of stated PR scope).

Comment thread .cursor/bin/riven-loop-tick.ts Outdated
Comment on lines +211 to +221
"--model", "grok-4.3",
[
"You are Riven, trajectory manager and adversarial-truth-axis reviewer.",
"This is an autonomous 15-minute cycle.",
"Read broadcasts first from ~/.local/share/zeta-broadcasts/{otto,vera,lior,riven}.md.",
"Walk assigned trajectories. Decompose only what you hit mid-stride.",
"Produce at least one concrete, actionable claim or small PR scope.",
"When blocked, create a specific research child the next pickup cannot dodge.",
"Write your status to ~/.local/share/zeta-broadcasts/riven.md at the end.",
"GitHub PR state and actual file contents are authoritative.",
].join(" "),
@AceHack
Copy link
Copy Markdown
Member Author

AceHack commented May 24, 2026

I have removed the unrelated change to . That change is now in its own PR, #4819.

Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: b4232201de

ℹ️ 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".

@@ -1,281 +0,0 @@
#!/usr/bin/env bun
Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Restore the Riven tick script at the active launchd path

This commit removes .cursor/bin/riven-loop-tick.ts without migrating the active entrypoint, while current-state runbooks and prompts still point launchd/operators at that exact file (docs/operations/riven-tier1-launchd-hot-swap-checklist.md:35-44, docs/ROTATION-PROTOCOL.md:17, .cursor/riven-loop-tick-prompt.md:6). Any existing com.zeta.riven-loop job configured to execute that path will fail on the next invocation with a missing-file error, stopping the Riven background loop; if the script is being moved to tools/riven/riven-loop-tick.ts, add a shim or update all entrypoint wiring in the same change.

Useful? React with 👍 / 👎.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants