Skip to content

[proof] rebased structural receipt for upstream PR #1007 - #3

Closed
PollyBot13 wants to merge 1 commit into
proof-base-1007-v3from
fix/review-storm-self-activity
Closed

[proof] rebased structural receipt for upstream PR #1007#3
PollyBot13 wants to merge 1 commit into
proof-base-1007-v3from
fix/review-storm-self-activity

Conversation

@PollyBot13

@PollyBot13 PollyBot13 commented Aug 3, 2026

Copy link
Copy Markdown
Owner

Disposable exact-head structural-receipt proof target.

Target-side edit marker: 2026-08-03T18:44:32.511Z.

@PollyBot13 PollyBot13 added the proof: owned activity Disposable operational proof label label Aug 3, 2026
@PollyBot13

Copy link
Copy Markdown
Owner Author

Rebased exact-head live structural-receipt proof.

  • Exact base: 4f67ca516da0fc29fed5ae2b8e17fce14d49354d
  • Exact head: 614b40460164b02fe8082fbaa29923d9e9dac9c9
  • Live target: this disposable PR in the contributor fork
  • Proof path: the exact-head build loaded shouldReviewItem, reviewStructuralRecordFromGraphql, and reviewStructuralCacheDecision; live GraphQL records were captured before and after each GitHub mutation.
{"phase":"reviewed_baseline","exactBase":"4f67ca516da0fc29fed5ae2b8e17fce14d49354d","exactHead":"614b40460164b02fe8082fbaa29923d9e9dac9c9","liveItemUpdatedAt":"2026-08-03T18:43:44Z","sourceRevision":"f2d40d7ad529b3d2ec147977d3fc6d6af3ec07eb7710da42cb842d83fcbff811","relationSensitive":false}
{"phase":"owned_mutation_structurally_covered","liveItemUpdatedAt":"2026-08-03T18:44:31Z","persistedAutomationItemUpdatedAt":"2026-08-03T18:44:31Z","sourceRevisionMatches":true,"schedulerAdmittedStructuralVerification":true,"structuralCacheDecision":{"hit":true,"reason":"hit"}}
{"phase":"later_target_activity_fails_open","liveItemUpdatedAt":"2026-08-03T18:44:33Z","persistedAutomationItemUpdatedAt":"2026-08-03T18:44:31Z","sourceRevisionMatches":false,"schedulerAdmittedStructuralVerification":true,"structuralCacheDecision":{"hit":false,"reason":"source_changed"}}

Sequence:

  1. Captured the reviewed baseline from live GraphQL state.
  2. Applied the fork's dedicated proof: owned activity label as the controlled automation-owned mutation. The proof filter ignored that actor/label exactly as production filters ClawSweeper-owned activity. GitHub advanced updatedAt, but the structural source revision stayed identical. The scheduler admitted structural verification and the structural cache returned hit.
  3. Edited the PR body as target-side activity. GitHub advanced updatedAt, the structural source revision changed, and the same exact-head decision failed open with source_changed.

This is controlled proof in a disposable public fork PR. It touched no production records, queues, workflows, review reports, or merge state.

@PollyBot13

Copy link
Copy Markdown
Owner Author

Proof complete; closing this disposable PR. The exact-head transcript above is the operational evidence for upstream PR openclaw#1007.

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

Labels

proof: owned activity Disposable operational proof label

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant