Skip to content

feat(tri): landed --file asserts a path, not only content (Closes #2269) - #2270

Merged
gHashTag merged 3 commits into
masterfrom
feat/tri-landed-file
Aug 20, 2026
Merged

feat(tri): landed --file asserts a path, not only content (Closes #2269)#2270
gHashTag merged 3 commits into
masterfrom
feat/tri-landed-file

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #2269. Found while verifying that #623's provenance package reached trinity-fpga's main — the probe said ABSENT about a file that was present, because it searched content for a filename.

🤖 Generated with Claude Code

Verifying a merged pull request, probing for CITED_NUMBERS returned
ABSENT while research/CITED_NUMBERS_2026-08-20.md was on main. The tool
was right and the question was wrong: --probe searches content, and a
file rarely contains its own name.

--file <path> asserts existence on the default branch, reported as
EXISTS/MISSING beside the content probes. Fifth way a landing probe
lies — and the first fixable in the tool rather than in the caller.

Closes #2269
@github-actions

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-08-19 23:55:08 UTC

Summary

Status Count
Total Open PRs 24
PRs with Failing Checks 9
PRs with All Checks Green 15
READY 7
FAILING 9
PENDING 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=375b2f88cc2f != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag

Copy link
Copy Markdown
Owner Author

emit-bitexact is red here and tri pr ready correctly refuses to classify it: the workflow has a paths: filter and no push: trigger, so it had zero runs on master and zero on the last five merged pull requests — no baseline existed to compare against.

Measured rather than assumed: dispatched the workflow on master (run 32319733329). Master fails it too, and more broadly — every spec failing here also fails on master. The failure is pre-existing repository drift, not this change. Merging on that evidence; the drift is filed separately.

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-08-20 01:14:49 UTC

Summary

Status Count
Total Open PRs 21
PRs with Failing Checks 6
PRs with All Checks Green 15
READY 7
FAILING 6
PENDING 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=cbbfac87dff3 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@github-actions

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@github-actions

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-08-20 02:07:42 UTC

Summary

Status Count
Total Open PRs 19
PRs with Failing Checks 4
PRs with All Checks Green 15
READY 7
FAILING 4
PENDING 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=cbbfac87dff3 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit bffd389 into master Aug 20, 2026
24 of 30 checks passed
@gHashTag
gHashTag deleted the feat/tri-landed-file branch August 20, 2026 02:17
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.

tri pr landed: asserting a file exists needs its own flag

1 participant