Three submodule registrations were deleted by a commit about a skill document - #2755
Merged
Conversation
…the directory that is missing
`tri rtl check chips/phi` in cli-tri.yml has been failing with
Error: No such file or directory (os error 2)
which names neither the path nor what was expected there, and the gate then
reports "emitted 0 verdicts". Two separate defects sat behind it.
1. THE DIRECTORY IS NOT THERE. .gitmodules declares chips/{phi,euler,gamma},
and the repository had ZERO gitlink entries, so `submodules: true` in the
workflow -- already set, by someone who had got this far before -- fetched
nothing.
They were registered on 2026-05-23 in 1bfd31b and deleted in b79702e,
a 174-file commit whose subject is about a CI-gates SKILL DOCUMENT. Three
deletions, buried. Restored to the exact SHAs they held before that commit,
each verified to still exist upstream:
chips/euler 73b9f0a050902300a3c29208ac2d493ebc642213
chips/gamma a90a3d04bc50943949b1e77469069b55f4bc6118
chips/phi f5456685c3593665153fe2765c85bb1f46ec14c2
2. THE TOOL DID NOT SAY SO. `declared_sources` names the file it cannot read;
`top_from_info` runs FIRST and did not, so the whole command came out as a
bare os error. It now refuses with the path and the expectation, and says
that a submodule path may be declared without being checked out.
Refs #2754
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
…path Refs #2754 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Contributor
PR DashboardGenerated at: 2026-08-28 15:42:40 UTC
Summary
Seal Status
|
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Refs #2754
tri rtl check chips/phiincli-tri.ymlhas been failing withwhich names neither the path nor what was expected there. The gate then reports
tri rtl check emitted 0 verdicts. Two defects sat behind that one line.The directory is not there
.gitmodulesdeclareschips/{phi,euler,gamma}, and the repository had zero gitlink entries — sosubmodules: truein the workflow, already set by someone who had got this far before, fetched nothing at all.They were registered on 2026-05-23 in
1bfd31bcfand deleted inb79702ee1, a 174-file commit whose subject is about a CI-gates skill document. Three deletions, buried:Restored to the exact SHAs they held before that commit, each verified to still exist upstream via the API:
chips/euler73b9f0a050902300a3c29208ac2d493ebc642213chips/gammaa90a3d04bc50943949b1e77469069b55f4bc6118chips/phif5456685c3593665153fe2765c85bb1f46ec14c2Not a new decision — the same three lines that were removed, put back.
The tool did not say so
declared_sourcesnames the file it cannot read.top_from_inforuns first and did not, so the whole command surfaced as a bare OS error. It now refuses with the path and the expectation:That message is what would have found the missing gitlinks in a minute rather than a session.
🤖 Generated with Claude Code