Skip to content

fix(phase12): restore proofd closure boundary for official closure#60

Closed
kenanay wants to merge 2 commits intomainfrom
phase12/official-closure
Closed

fix(phase12): restore proofd closure boundary for official closure#60
kenanay wants to merge 2 commits intomainfrom
phase12/official-closure

Conversation

@kenanay
Copy link
Owner

@kenanay kenanay commented Mar 14, 2026

Summary

  • remove the Phase-12C replay false-positive from proofd by composing the replay report path without a disallowed route literal
  • regenerate local Phase-12C closure evidence on commit b230a35
  • mint and push the dedicated phase12-official-closure tag on the same SHA

Local Evidence

  • local run id: local-phase12c-closure-2026-03-15-b230a355
  • local official closure preflight: READY_FOR_FORMAL_PHASE_TRANSITION after binding remote run 23098475890
  • candidate and evidence SHA are aligned to b230a35

Remote Confirmation

Notes

  • proofd remains a verification and diagnostics service
  • parity remains diagnostics, not consensus

Copy link

@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: b230a355ce

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

binding
.and_then(|value| value.surface_local_path_id.clone())
.unwrap_or_else(|| "reports/replay_report.json".to_string()),
.unwrap_or_else(|| replay_report_relative_path().display().to_string()),

Choose a reason for hiding this comment

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

P2 Badge Keep replay path IDs slash-normalized

Using replay_report_relative_path().display().to_string() makes the default surface_local_path_id platform-dependent (reports\\replay_report.json on Windows instead of reports/replay_report.json). That value is included in companion flow event canonical hashing (compute_companion_flow_event_id serializes the full event payload), so the same logical verification run can produce different event_id values across operating systems, undermining deterministic artifacts and cross-environment comparability.

Useful? React with 👍 / 👎.

@kenanay
Copy link
Owner Author

kenanay commented Mar 15, 2026

Closing: her iki commit (b230a35, 4649774) zaten main'de mevcut. İçerik daha önce başka PR'lar aracılığıyla merge edildi.

@kenanay kenanay closed this Mar 15, 2026
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