Skip to content

B5: preserve pending identity mappings through checked recovery - #264

Open
omry wants to merge 1 commit into
pr262from
pr264
Open

omry wants to merge 1 commit into
pr262from
pr264

Conversation

@omry

@omry omry commented Oct 21, 2026 •

Copy link
Copy Markdown
Owner

Add private mapping operations for noncreating status/check, staged configure, exact pending phases, proved-unused correction or cancellation, and conservative recovery under the existing operation lock. Preserve accepted reservations, retained storage and installation authority through retries and crash boundaries.

Resolve the selected blueprint and override once. Keep mapped execution and real storage effect owners in their later slices; do not grant admission or release retained IDs.

Validation: complete local Go, Python/package, Docker CLI smoke, release and docs checks passed against the exact final snapshot. Focused mapping and race checks passed. Current-agent review and fresh independent full review are complete with no open findings.


@omry
omry changed the base branch from main to pr262 October 21, 2026 14:12
@omry
omry added this pull request to stack #238 October 21, 2026 14:13
@omry

omry commented Oct 21, 2026 •

Copy link
Copy Markdown
Owner Author

PR-cycle state — maintained automatically. Do not edit by hand.

Mechanical PR-cycle state (JSON)
{
  "check_observations": [
    {
      "checks": [
        {
          "conclusion": "SKIPPED",
          "name": "Bash native evidence checks",
          "run_id": 119279670511,
          "run_status": "completed",
          "status": "failure",
          "url": "https://github.com/omry/reploy/actions/runs/39614819656/job/119279670511"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Gitar",
          "run_id": 119272924467,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/runs/119272924467"
        },
        {
          "name": "Linux CI checks",
          "run_id": 119272922465,
          "run_status": "in_progress",
          "status": "pending",
          "url": "https://github.com/omry/reploy/actions/runs/39614819656/job/119272922465"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Target smoke (darwin-amd64)",
          "run_id": 119272922857,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/actions/runs/39614819656/job/119272922857"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Target smoke (darwin-arm64)",
          "run_id": 119272922905,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/actions/runs/39614819656/job/119272922905"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Target smoke (linux-amd64)",
          "run_id": 119272922852,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/actions/runs/39614819656/job/119272922852"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Target smoke (linux-arm64)",
          "run_id": 119272922993,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/actions/runs/39614819656/job/119272922993"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Windows host smoke (windows-amd64)",
          "run_id": 119272922855,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/actions/runs/39614819656/job/119272922855"
        },
        {
          "name": "Windows host smoke (windows-arm64)",
          "run_id": 119272922998,
          "run_status": "in_progress",
          "status": "pending",
          "url": "https://github.com/omry/reploy/actions/runs/39614819656/job/119272922998"
        }
      ],
      "head_sha": "4ec1c328692f26d8fb0f60911e0f2a7e3bc4de27",
      "id": "sha256:1ded8d039add1ff32aad560a12a8e601a155b2c121bdc9e026f4cad19b3b1848",
      "required_checks": [
        "Bash native evidence checks",
        "Gitar",
        "Linux CI checks",
        "Target smoke (darwin-amd64)",
        "Target smoke (darwin-arm64)",
        "Target smoke (linux-amd64)",
        "Target smoke (linux-arm64)",
        "Windows host smoke (windows-amd64)",
        "Windows host smoke (windows-arm64)"
      ],
      "status": "failure"
    },
    {
      "checks": [
        {
          "conclusion": "SKIPPED",
          "name": "Bash native evidence checks",
          "run_id": 119299274435,
          "run_status": "completed",
          "status": "failure",
          "url": "https://github.com/omry/reploy/actions/runs/39620830649/job/119299274435"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Gitar",
          "run_id": 119297696579,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/runs/119297696579"
        },
        {
          "conclusion": "FAILURE",
          "name": "Linux CI checks",
          "run_id": 119293432442,
          "run_status": "completed",
          "status": "failure",
          "url": "https://github.com/omry/reploy/actions/runs/39620830649/job/119293432442"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Target smoke (darwin-amd64)",
          "run_id": 119293432952,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/actions/runs/39620830649/job/119293432952"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Target smoke (darwin-arm64)",
          "run_id": 119293432971,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/actions/runs/39620830649/job/119293432971"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Target smoke (linux-amd64)",
          "run_id": 119293433205,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/actions/runs/39620830649/job/119293433205"
        },
        {
          "name": "Target smoke (linux-arm64)",
          "run_id": 119293433200,
          "run_status": "in_progress",
          "status": "pending",
          "url": "https://github.com/omry/reploy/actions/runs/39620830649/job/119293433200"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Windows host smoke (windows-amd64)",
          "run_id": 119293432774,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/actions/runs/39620830649/job/119293432774"
        },
        {
          "conclusion": "SUCCESS",
          "name": "Windows host smoke (windows-arm64)",
          "run_id": 119293432946,
          "run_status": "completed",
          "status": "success",
          "url": "https://github.com/omry/reploy/actions/runs/39620830649/job/119293432946"
        }
      ],
      "head_sha": "f75586c9c1ebcd8384d6771262f7b955478b14ab",
      "id": "sha256:2463e921c997f06251b156ab704f8660cc7c19863f601d95588eadeca6b054f9",
      "required_checks": [
        "Bash native evidence checks",
        "Gitar",
        "Linux CI checks",
        "Target smoke (darwin-amd64)",
        "Target smoke (darwin-arm64)",
        "Target smoke (linux-amd64)",
        "Target smoke (linux-arm64)",
        "Windows host smoke (windows-amd64)",
        "Windows host smoke (windows-arm64)"
      ],
      "status": "failure"
    }
  ],
  "delivery_deferrals": [],
  "findings": [
    {
      "disposition": "fixed",
      "evidence": [
        "https://github.com/omry/reploy/pull/264#discussion_r4338089714",
        "internal/deploy/identity_mapping_operations.go:53",
        "/home/omry/.local/state/awd/runs/run_5264d4q69yfwmwbtsnrnw1b58z/evidence/caller-recovery/pr264-1a352e7eb64d779f16c00b6b0ab0c6ebc1ddfdfd2343076e1b403d292afe8d2c/round01-status-fix-landing-evidence.json",
        "/home/omry/.local/state/awd/runs/run_5264d4q69yfwmwbtsnrnw1b58z/evidence/caller-recovery/pr264-1a352e7eb64d779f16c00b6b0ab0c6ebc1ddfdfd2343076e1b403d292afe8d2c/round01-status-focused-verification.json",
        "/home/omry/.local/state/awd/runs/run_5264d4q69yfwmwbtsnrnw1b58z/evidence/caller-recovery/pr264-1a352e7eb64d779f16c00b6b0ab0c6ebc1ddfdfd2343076e1b403d292afe8d2c/round02-local-validation-receipt.json",
        "https://github.com/omry/reploy/pull/264#discussion_r4338363635",
        "https://github.com/omry/reploy/pull/264#issuecomment-6319536319"
      ],
      "id": "4338089714",
      "invariant": "Status must report unconfigured mapping declarations as inhibited and create no state. Retained mappings remain inspectable without desired input.",
      "proposed_paths": [
        "internal/deploy/identity_mapping_operations.go",
        "internal/deploy/identity_mapping_operations_test.go"
      ],
      "recommended_follow_up": "Decode the retained blueprint only for the no-retained-map branch and report declared opt-in as inhibited; add no-write regression controls.",
      "severity": "medium",
      "source": "regular Codex inline review",
      "status": "resolved",
      "summary": "Declared mapping without retained mapping state reports ordinary although runtime is already inhibited."
    },
    {
      "disposition": "needs-authority-alignment",
      "evidence": [
        "/home/omry/.local/state/awd/runs/run_5264d4q69yfwmwbtsnrnw1b58z/evidence/caller-recovery/pr264-1a352e7eb64d779f16c00b6b0ab0c6ebc1ddfdfd2343076e1b403d292afe8d2c/round01-linux-ci.log",
        "/home/omry/.local/state/awd/runs/run_5264d4q69yfwmwbtsnrnw1b58z/evidence/caller-recovery/pr264-1a352e7eb64d779f16c00b6b0ab0c6ebc1ddfdfd2343076e1b403d292afe8d2c/round02-linux-ci.log",
        "/home/omry/.local/state/awd/runs/run_5264d4q69yfwmwbtsnrnw1b58z/evidence/caller-recovery/pr264-1a352e7eb64d779f16c00b6b0ab0c6ebc1ddfdfd2343076e1b403d292afe8d2c/round02-ffmpeg-mirror-probe.json",
        "/home/omry/.local/state/awd/runs/run_5264d4q69yfwmwbtsnrnw1b58z/evidence/caller-recovery/pr264-1a352e7eb64d779f16c00b6b0ab0c6ebc1ddfdfd2343076e1b403d292afe8d2c/round02-official-ffmpeg-fallback-probe.json",
        "/home/omry/dev/reploy/temp/reviews/multi-identity-composition-replan-20261016/b5-playwright-mirror-blocker.md"
      ],
      "id": "CI-PLAYWRIGHT-FFMPEG-MIRROR",
      "invariant": "Every exact-head ci.yml job must succeed before PR approval; no skipped evidence job may pass. Catalogue repair must preserve pinned artifact integrity and published identities.",
      "proposed_paths": [
        "internal/toolcatalog/authoring/playwright/releases/1.61.0",
        "internal/toolcatalog/definitions/playwright/releases/1.61.0",
        "internal/toolcatalog/embedded_catalog_test.go"
      ],
      "recommended_follow_up": "Decide whether to broaden PR264 for a bounded official fallback catalogue repair, retaining exact archive hash/size/tool version and existing catalogue revision rules; do not rewrite predecessors or weaken checks.",
      "severity": "medium",
      "source": "exact-head Linux CI portable-tool evidence",
      "status": "accepted",
      "summary": "Only declared ffmpeg mirror fails transport in both reviewed-head CI runs; local DNS cannot resolve that host. Official Playwright direct-CDN fallback serves the exact pinned artifact."
    }
  ],
  "pr": {
    "base_ref": "pr262",
    "base_sha": "faa6a81690b1f06d8c988d8460f9ac76cd3e6ecc",
    "body_digest": "sha256:06307dcd7ac552731da6daad3625a5b1ee0b131b31a8d32f6b80375cc4cb7115",
    "diff_digest": "sha256:6d8dc8a2f058c0081e567d080ffb5d4ebb1e1812ac2ed8d5ef7eeb17129f2001",
    "head_ref": "pr264",
    "head_sha": "f75586c9c1ebcd8384d6771262f7b955478b14ab",
    "pr": 264,
    "repository": "omry/reploy",
    "scope_authority": [
      {
        "digest": "sha256:7a1e2cb93f4520c6fffee4a59c75752ced2122d80b5a6449f486bc041772028d",
        "path": "docs/MULTI_IDENTITY_IMPLEMENTATION_PLAN.md"
      },
      {
        "digest": "sha256:6a488c15200d8d9cf56286855c2480cea4f78141f74584b2914ee23327174f16",
        "path": "docs/MULTI_IDENTITY_SECURITY_CONTRACT.md"
      },
      {
        "digest": "sha256:ebe0056f710b463b04662bf97917d26f3a8fafc5864b75079bf7077e2c91bdae",
        "path": "tools/conformance/multiidentity/READINESS.md"
      }
    ],
    "title_digest": "sha256:1bfe15f0f2e61d6d2e9207fe1caf0abc52dfce4342071f171c9fe2ecbc1e8fc9"
  },
  "record_version": 4,
  "review_observations": [],
  "review_requests": [
    {
      "base_established_at": "2026-10-21T14:12:29Z",
      "base_ref": "pr262",
      "base_sha": "faa6a81690b1f06d8c988d8460f9ac76cd3e6ecc",
      "body_digest": "sha256:be1e976299f9f0ad71a8a0eea83928bc1ffc5d2c70d8310642dea282d44fd944",
      "created_at": "2026-10-21T14:25:45Z",
      "head_sha": "4ec1c328692f26d8fb0f60911e0f2a7e3bc4de27",
      "id": 6318506065,
      "kind": "regular-review"
    },
    {
      "base_established_at": "2026-10-21T14:12:29Z",
      "base_ref": "pr262",
      "base_sha": "faa6a81690b1f06d8c988d8460f9ac76cd3e6ecc",
      "body_digest": "sha256:bb7e104e21769e7cc7703ce957de3f98b84c6b9ed8110cd3513b277379a8962d",
      "created_at": "2026-10-21T15:07:13Z",
      "head_sha": "f75586c9c1ebcd8384d6771262f7b955478b14ab",
      "id": 6319317187,
      "kind": "regular-review"
    }
  ],
  "review_results": [
    {
      "base_ref": "pr262",
      "base_sha": "faa6a81690b1f06d8c988d8460f9ac76cd3e6ecc",
      "body_digest": "sha256:f359300afb41c4c78c7c28bdff0bb09ae6810de1032a3d5aad4051320292c97d",
      "commit_id": "4ec1c328692f26d8fb0f60911e0f2a7e3bc4de27",
      "id": 5601347055,
      "inline_message_ids": [
        4338089714
      ],
      "request_comment_id": 6318506065,
      "result_kind": "findings",
      "status": "result",
      "submitted_at": "2026-10-21T14:29:44Z",
      "unresolved_thread_ids": [
        "PRRT_kwDOTFQCkM6uz5AN"
      ]
    },
    {
      "base_ref": "pr262",
      "base_sha": "faa6a81690b1f06d8c988d8460f9ac76cd3e6ecc",
      "body_digest": "sha256:09138a8d5810c5e8716d1f1f42a83909b997bc48b5deca77ed99a71163f0da03",
      "commit_id": "f75586c9c1ebcd8384d6771262f7b955478b14ab",
      "id": 6319536319,
      "inline_message_ids": [],
      "request_comment_id": 6319317187,
      "result_kind": "clean",
      "status": "result",
      "submitted_at": "2026-10-21T15:17:46Z",
      "unresolved_thread_ids": []
    }
  ],
  "revision_fingerprint": "sha256:eeeab40ae670c177f5962691f49bd1bcf80ebeba6e54be8df43c4b813b807432",
  "rounds": [
    {
      "applied_fix_paths": [
        "internal/deploy/identity_mapping_operations.go",
        "internal/deploy/identity_mapping_operations_test.go"
      ],
      "disposition_changes": [],
      "effective_diff_digest": "sha256:6d8dc8a2f058c0081e567d080ffb5d4ebb1e1812ac2ed8d5ef7eeb17129f2001",
      "finding_ids": [
        "4338089714"
      ],
      "invariants": [
        "Unconfigured mapping declarations report inhibited, consistent with existing runtime guard.",
        "Status creates no state/reservations and consults no effect owner.",
        "Retained authority remains inspectable without desired mapping input; no admission or ID release."
      ],
      "outcome": "corrected-head-needs-review",
      "proposed_fix_paths": [
        "internal/deploy/identity_mapping_operations.go",
        "internal/deploy/identity_mapping_operations_test.go"
      ],
      "resulting_head": "f75586c9c1ebcd8384d6771262f7b955478b14ab",
      "review_observation_id": null,
      "review_request_id": 6318506065,
      "review_result_id": 5601347055,
      "reviewed_head": "4ec1c328692f26d8fb0f60911e0f2a7e3bc4de27",
      "root_cause": "No-retained-map status ignored declaration-only opt-in. Decode the retained blueprint in that branch and report inhibited. Four staged/installed resolved/missing-value regressions fail before and pass after; mapping/race/full checks passed. Old CI separately failed external Playwright ffmpeg transport; new exact-head review and CI are required.",
      "round": 1,
      "unresolved_current_slice_findings": 1,
      "unresolved_design_blockers": 0
    }
  ],
  "schema": "awd:swe:pr-cycle-state",
  "version": 2
}

@omry
omry marked this pull request as ready for review October 21, 2026 14:22
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 21, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-21T15:17:47.535201Z f75586c Manual request
🔒 Security Review 🔄 Running since 2026-10-21T14:22:34.298136Z 4ec1c32 Draft marked ready
ℹ️ 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" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@omry

omry commented Oct 21, 2026

Copy link
Copy Markdown
Owner Author

@codex, regular review 4ec1c32

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

Copy link
Copy Markdown

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: 4ec1c32869

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

Comment thread internal/deploy/identity_mapping_operations.go
@omry

omry commented Oct 21, 2026

Copy link
Copy Markdown
Owner Author

@codex, regular review f75586c

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 👍

Reviewed commit: f75586c9c1

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

Add private mapping operations for noncreating status/check, staged configure, exact pending phases, proved-unused correction or cancellation, and conservative recovery under the existing operation lock. Preserve accepted reservations, retained storage and installation authority through retries and crash boundaries.

Resolve the selected blueprint and override once. Keep mapped execution and real storage effect owners in their later slices; do not grant admission or release retained IDs.

Validation: complete local Go, Python/package, Docker CLI smoke, release and docs checks passed against the exact final snapshot. Focused mapping and race checks passed. Current-agent review and fresh independent full review are complete with no open findings.
@gitar-bot

gitar-bot Bot commented Oct 21, 2026

Copy link
Copy Markdown
Code Review ✅ Approved

🟡 Medium risk · Persisting pending UID/GID mappings and retained storage through recovery changes deployment state; incorrect reconciliation could constrain later mapping operations.

Adds private mapping operations for noncreating status/check, staged configure, exact pending phases, proved-unused correction or cancellation, and conservative recovery under the existing operation lock, preserving accepted reservations and retained storage through retries and crash boundaries. No issues found.

Verification

Rules No rules evaluated

Functional validation Not enabled

Set up

For more verification details, comment gitar display:verbose.

Options

Auto-apply is off → Gitar will not commit updates to this branch.
Display: compact → Showing compact verification results.

Comment with these commands to change the behavior for this request:

Auto-apply Compact
gitar auto-apply:on         
gitar display:verbose         

Was this helpful? React with 👍 / 👎 | Powered by Gitar — free for open source

This branch has not been deployed

No deployments
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