Skip to content

docs: update profile pilot source paths - #2159

Merged
andrewboudreau merged 2 commits into
mainfrom
fix/profile-pilot-dead-refs
Sep 2, 2026
Merged

docs: update profile pilot source paths#2159
andrewboudreau merged 2 commits into
mainfrom
fix/profile-pilot-dead-refs

Conversation

@andrewboudreau

Copy link
Copy Markdown
Collaborator

Summary

Validation

  • python tools/check_dead_references.py
  • git diff --check
  • pre-push hooks: port references, duplicate sources, 98/98 TU compile

@tangos-validator

tangos-validator Bot commented Sep 1, 2026

Copy link
Copy Markdown

✅ PR validation — Passed

noverify: no source/build-data changes in this PR

Each changed src/*.c|*.cpp is compiled and its relocated bytes compared to the binary data on a private build box. Passing requires every changed file to reproduce the ROM byte-for-byte with correct relocation targets — this catches WRONG-DEST relocations and non-reproducing near-misses that ledger-scoped linkcheck skips.

@andrewboudreau
andrewboudreau merged commit 93ff3e6 into main Sep 2, 2026
5 checks passed
@andrewboudreau
andrewboudreau deleted the fix/profile-pilot-dead-refs branch September 2, 2026 04:50
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