Repository navigation
Implement the 2026-10-auth-1 in-repo slice (issue #35) - #39
Merged
Merged
Conversation
…ted report, release-instant eligibility) Raw capture export (pcap-export, Wireshark retained replay) leaves the legacy Pro gate — the free scope's raw-data access, asserted over the wire with no entitlement. The engineering report becomes the gated paid evidence surface (the old UI copy claimed Pro, but no gate existed); gate-check's export action becomes report. Update eligibility moves to the authorization decision's rule: the candidate release's authenticated published_at against the entitlement's updates_through, never the current date. A release inside the window stays stageable forever, an expired window never invalidates the installed tier, a date-only cutoff extends to that day's end, and a candidate without a readable instant fails closed. Fixed UTC boundary tests cover cutoff-1s / at-cutoff / cutoff+1s and the past-window install keeps its tier and rights.
…with the decision The update contract documents the release-instant eligibility and corrects the AppImage note (a distribution format, not an update shape); the landing page gains the AppImage install card its release assets already ship; PRICING's free-scope paragraph now states the 0.4.0 implementation status instead of the pending-move caveat.
Open
2 tasks
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
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.
Closes the in-repo slice of #35 (claimed there with starting SHA; actual base f0d825c).
What lands
Free scope (the mandated gate removal)
pcap-exportand Wireshark retained replay no longer require an entitlement — raw-data access is free, verified over the real RVT1 wire with no credential in the test home.report-exportbecomes the gated paid evidence surface (reportaction): PRICING's paid scope lists evidence-backed reports, the old UI copy already claimed Pro, but no gate existed. Refusal is need-pro with zero work done (asserted: no file written).Update eligibility by release time (the boundary fix)
published_at(the signed feed has carried it all along) vs the entitlement'supdates_through. The current date is no longer an input — previously, the day after expiry even the last in-window release became undownloadable.Docs
0.4.0: version single source aligned, CHANGELOG entry.
Validation
raco test tests/*.rkt: 651 passed, 0 failed locally.