fix(ci): unblock the source-lint gate on the newly-added test files

[arena-ai-coding-agent]

Follow-up to #85, which restored workflow startup. With CI alive again, the Source lint step (config/ci/lint_source.jl) produced its first verdict in two days and failed on two files it had never been able to run against — neither of them touched by #85:

1. test/doi/fixtures.jl uses the suite aliases B/P, which are const bindings defined in tests.jl before include("fixtures.jl"). The lint check is deliberately textual and per-file, so an alias supplied by the includer is invisible to it. The three call sites (B.write_checksums!, P.prepare!, P.publish!) now go through Target.DOIBundles / Target.DOIPublications — the same bindings at runtime (tests.jl defines them from Target), legible in isolation.

2. test/unit/test_zero_replacement.jl:215 broadcast Float64.(parse.(Float64, ...)) — the outer map is an identity (parse with a Float64 target already yields Float64), and the Float64.( spelling matches the lint's Module.member pattern over test files. Removing the outer conversion changes no value.

Validation: replayed the lint's textual checks (escaped interpolation, adjacent docstrings, bare-alias member refs, the Float64.( pattern) over both files — all clean. Julia itself isn't available in this sandbox, so the definitive gate is the CI Source lint step on this PR.

Known-red checks NOT addressed here (pre-existing, not introduced by this change): repo-hygiene tsc --noEmit (frontend, likely #83-era), the stale apt-Agda 2.6.4.3 Proofs (Agda) job inside ci.yml (proofs.yml — the real gate — is green), and the DOI contracts job.

[coderabbitai]

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: cbc701da-c77a-41ac-be2a-313dd8dbaca6

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}