Skip to content

fix(loop): resume historical active targets#113

Merged
codeacme17 merged 11 commits into
devfrom
codex/active-run-target-compatibility
Jul 26, 2026
Merged

fix(loop): resume historical active targets#113
codeacme17 merged 11 commits into
devfrom
codex/active-run-target-compatibility

Conversation

@codeacme17

Copy link
Copy Markdown
Owner

Summary

  • let the installed activation router select historical-target compatibility only when a durable active issue run is present
  • keep full control-plane validation for normal dev activation
  • reject caller-supplied compatibility mode
  • retain stable target-state, owner-channel, JSON-history, and low-privilege workflow checks

Problem

PR #111 is a durable active run at c510050, created before the trusted runtime added review-publication.mjs, publish-review.mjs, and newer evidence-workflow invariants. The installed e85f9b3 control plane therefore rejects its clean exact-head worktree before restore-checkpoint, leaving Traviinam findings without an Ethandasw response cycle.

The issue branch cannot safely absorb control-plane files: protected-diff and product-boundary rules correctly require those changes to arrive through an owner-reviewed bootstrap PR.

Security boundaries

  • the complete installed bundle remains manifest/hash verified
  • both isolated GitHub profiles are still probed by wrapped activation
  • compatibility is selected internally only when the trusted router observes a durable active issue run
  • direct --target-compatibility requests are rejected
  • historical workflows must remain low-privilege pull_request workflows with read-only contents permission and no pull_request_target
  • restore-checkpoint still requires the journal-bound clean branch and exact head

Verification

Constraints

This PR must remain Draft. Do not mark Ready, Approve, or Merge through automation. The owner will merge manually after review.

@codeacme17
codeacme17 marked this pull request as ready for review July 26, 2026 16:19
@codeacme17
codeacme17 merged commit 014fc4c into dev Jul 26, 2026
3 checks passed
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.

1 participant