[Rafael-SOWNet]

Codecov has kept no coverage from this repository's branches for a long time. Its newest master commit is from 2022-11-28 (90c00a8, 80.99%), which is the figure the README badge still shows. The newest pull request upload it holds came from a fork on 2026-08-04.

Why: Codecov takes an upload without a token only from a fork's branch. From a branch of this repository it answers:

error - Upload queued for processing failed: {"message":"Token required because branch is protected"}

codecov-action logs that error and the step still passes. None of the four legs has a token. Today's master runs of C# Test, F# Test, Interactive Test and C++ Test all log that line, and so does #2161's C++ Test. So everything #798 and #1038 set up for #397 collected coverage that Codecov rejected.

The change:

• Every upload step sets use_oidc: true, in a job granted id-token: write and contents: read.
  • The job asks GitHub for a token that lasts for the run, so no secret is stored, and there is nothing for a maintainer to set up.
  • On a fork's pull request the action skips OIDC (CC_FORK, action.yml line 237 at the v5 SHA these runs use). GitHub gives forks no id-token, and Codecov takes their upload without one, as before.
  • The block grants only those two permissions. The jobs use nothing else: checkout, setup-dotnet, upload-artifact and codecov.
• fail_ci_if_error is set for pushes to master only. A refused upload then turns master red instead of passing silently, while an outage at Codecov cannot fail a pull request.
• cpp is declared in codecov.yml. Cover the fourth test leg, and watch the SymPy snapshot for drift (#746 items 35, 73) #1038 uploads it but never declared it, so it had no path scope and no carry-forward, which the file's own comment says every flag needs. It is now scoped to Sources/Wrappers/AngouriMath.CPP.Importing/.
• Coverage.md has a section on how a report reaches Codecov, and how to check that it did.

Verification on this PR:

• Every upload step on b662b2844 logged a token (Token length: 2031, for example) and then Upload queued for processing complete with no error after it. That covers all four legs, including C# from Windows. Codecov then had four sessions for the commit.
• codecov.yml now validates (second commit). Codecov reads it: codecov/patch, which the file turns off, is no longer posted.
• The master case can only be checked on the first push after merge. I'll read those four runs and Codecov's commit list then.

Found once the uploads landed: the C# report is empty. Codecov's per-flag totals on ed6657252:

flag	lines	hits
cpp	135	51
fsharp	185	61
interactive	442	180
csharp	75,114	0

The report itself says the same. The Report artifact's summary reads visitedSequencePoints="0" of 81,664, and coverlet's table on the Linux and macOS legs prints AngouriMath | 0% | 0% | 0%. Locally, coverlet 3.0.3 records 11.43% from one test class, so the cause lies in the full run, not in the coverlet version alone. I'm bisecting that separately. Until it is fixed, master's project figure will read near 0%, which is true of what has been measured. codecov/project fails on this PR for that reason, and because its base is the 2022 commit. It is not a required check.

Part of #397. Its C++ box was done in #1038, but none of the four flags has reached Codecov since.

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 0.38%. Comparing base (90c00a8) to head (ed66572).
⚠️ Report is 1231 commits behind head on master.

❗ There is a different number of reports uploaded between BASE (90c00a8) and HEAD (ed66572). Click for more details.

HEAD has 1 upload less than BASE

Flag	BASE (90c00a8)	HEAD (ed66572)
	1	0

Additional details and impacted files

@@            Coverage Diff             @@
##           master   #2162       +/-   ##
==========================================
- Coverage   80.99%   0.38%   -80.62%     
==========================================
  Files         155     295      +140     
  Lines       13687   75876    +62189     
  Branches     1957   19088    +17131     
==========================================
- Hits        11086     292    -10794     
- Misses       1990   75486    +73496     
+ Partials      611      98      -513     

Flag	Coverage Δ
cpp	37.77% <ø> (?)
csharp	0.00% <ø> (?)
fsharp	32.97% <ø> (?)
interactive	40.72% <ø> (?)

Flags with carried forward coverage won't be shown. Click here to find out more.
see 249 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.