Skip to content

docs: add GDB debugging evidence path#76

Merged
div0rce merged 1 commit into
mainfrom
docs/gdb-debugging-evidence-path
May 26, 2026
Merged

docs: add GDB debugging evidence path#76
div0rce merged 1 commit into
mainfrom
docs/gdb-debugging-evidence-path

Conversation

@div0rce

@div0rce div0rce commented May 26, 2026

Copy link
Copy Markdown
Owner

Summary

Adds a repeatable GDB debugging evidence path and bounds existing debugger transcripts. This change is software-only and does not add new hardware evidence.

Changes

  • Added GDB setup, breakpoint, variable-inspection, and limitation notes.
  • Added a debugger session command template and observations placeholder.
  • Linked existing transcripts as bounded historical artifacts in the evidence map.

Validation Tasks

  • git status --short --branch
  • git diff --check
  • platformio test -e native
  • scripts/check_app_core_includes.sh
  • Claim-safety grep contains only explicit non-claim boundary wording

@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: 173ab83923

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

continue
info locals
bt
print/x some_state_variable

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P2 Badge Replace nonexistent symbol in GDB session template

The new command file includes print/x some_state_variable, but that symbol does not exist in the firmware sources (it only appears in this template), so users following this “repeatable evidence path” will hit a debugger error at that step and won’t get a usable variable-inspection example from the provided script. Use a real symbol (for example from AppCoreContext or fault state) or clearly mark this line as a placeholder with instructions to edit before use.

Useful? React with 👍 / 👎.

@div0rce div0rce merged commit aa7943a into main May 26, 2026
7 checks passed
@div0rce div0rce deleted the docs/gdb-debugging-evidence-path branch May 26, 2026 02:33
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