Skip to content

Make session audit verification discoverable - #529

Merged
omkhar merged 1 commit into
mainfrom
fix/session-verify-discoverability
Jul 29, 2026
Merged

Make session audit verification discoverable#529
omkhar merged 1 commit into
mainfrom
fix/session-verify-discoverability

Conversation

@omkhar

@omkhar omkhar commented Jul 29, 2026

Copy link
Copy Markdown
Owner

Summary

  • expose the existing workcell session verify --id SESSION_ID workflow in
    top-level help, the README, and the manpage
  • bind the signed-audit guide into the operator contract and FR-007
    documentation evidence
  • assert top-level discoverability and keep the runtime control-plane manifest
    in lockstep

This changes discoverability for an already-supported workflow; it does not add
or change session verification behavior.

Validation

  • control-plane manifest, operator contract, requirements coverage, public
    contract, doc-link, manpage, shell syntax, and ShellCheck gates
  • focused Go packages for metadata, sessions, audit sealing, and testkit
  • full live tests/scenarios/shared/test-session-commands.sh
  • three-role adversarial peer review, clean after two findings were fixed and
    re-reviewed
  • fresh exact-tree ./scripts/pre-merge.sh --profile pr-parity

…ntract checks pass; user-visible operator help and docs)
@omkhar

omkhar commented Jul 29, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@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: 9e01f2f90f

ℹ️ 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 scripts/workcell
@omkhar

omkhar commented Jul 29, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@omkhar
omkhar marked this pull request as ready for review July 29, 2026 15:06

@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: 9e01f2f90f

ℹ️ 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 policy/operator-contract.toml
@omkhar

omkhar commented Jul 29, 2026

Copy link
Copy Markdown
Owner Author

@codex review for source and operator-contract correctness only; review the signed PR head, not transient synthetic merge objects

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Breezy!

Reviewed commit: 9e01f2f90f

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

@omkhar
omkhar merged commit 2bb7930 into main Jul 29, 2026
15 checks passed
@omkhar
omkhar deleted the fix/session-verify-discoverability branch July 29, 2026 15:13
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