Skip to content

Complete governed external library publication without promoting divergent local staging #435

Description

@adrianwebb

SDK library GitHub staging accepted the reviewed commit 5d09779d from workspace c180072b (review 8fe46857), but knowledge.publish_review operation 6f99c537 failed conflict during local TreeDX refs/heads/staging promotion. Local staging 72fb9228 contains divergent unpublished history while GitHub is canonical. Do not force-rewrite or erase local history. For external libraries, verify exact remote read-back, fetch the protected head to refs/remotes/origin/staging, use that as the local content authority, complete the manifest/agent publication, and clean the authoring branch through an exact authorized operation. Keep managed-local publication unchanged. Add regression for divergent local staging and idempotent retry after remote push. Evidence Platform #520; API #433 fixed same-head binding reconciliation.

Activity

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions