chore(antithesis): untrack scratchbook and add to .gitignore - #1905
Conversation
This comment has been minimized.
This comment has been minimized.
Binary Size Analysis (Agent Data Plane)Baseline: 67ea81b · Comparison: 673a305 · diff ✅ Binary size difference within thresholdChanges by Module
Detailed Symbol Changes |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 14f2363fce
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
There was a problem hiding this comment.
Pull request overview
This PR removes the Antithesis “scratchbook” Markdown docs from version control and prevents the directory from being re-added by adding it to .gitignore, reducing noise from automated reviewers/CI bots on frequently-changing research notes.
Changes:
- Deleted the tracked
test/antithesis/scratchbook/**Markdown documents. - Added
test/antithesis/scratchbook/to.gitignoreso future scratchbook changes remain untracked.
Reviewed changes
Copilot reviewed 50 out of 52 changed files in this pull request and generated no comments.
Show a summary per file
| File | Description |
|---|---|
.gitignore |
Ignores test/antithesis/scratchbook/ to keep scratchbook content untracked going forward. |
test/antithesis/scratchbook/workload-sampling-design.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/existing-assertions.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/bug-ledger.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/evaluation/synthesis.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/adp-keeps-delivering.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/adp-stays-alive.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/aggregate-clock-skew-stable.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/aggregate-context-limit-enforced.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/aggregate-matches-agent.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/aggregate-no-panic-any-window.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/config-incompatible-refuses-start.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/config-runtime-update-not-revalidated.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/config-stall-no-deadlock.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/data-component-failure-triggers-process-shutdown.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/ddsketch-bin-count-bounded.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/ddsketch-relative-error-bound.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/disk-persisted-retry-survives-restart.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/events-sc-no-silent-loss.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/events-sc-pipeline-reachable.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/filter-config-reload-correct.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/forwarder-eventual-delivery.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/graceful-shutdown-within-30s.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/interner-full-bounded.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/interner-reclamation-no-corruption.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/malformed-dsd-no-crash.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/malformed-event-sc-no-crash.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/mapper-interner-bounded.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/mapper-output-matches-agent.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/memory-limiter-survives-rss-read-failure.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/no-silent-interconnect-drop.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/non-finite-values-handled-consistently.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/prefix-filter-ordering-matches-agent.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/replay-corruption-not-silent-eof.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/replay-no-panic-on-malformed-capture.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/retry-queue-bounded-under-outage.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/rss-bounded-under-cardinality.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/shutdown-drains-no-loss.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/source-dispatch-no-misroute.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/tag-filterlist-applied-consistently.md |
Removed tracked scratchbook note. |
test/antithesis/scratchbook/properties/topology-ready-before-intake.md |
Removed tracked scratchbook note. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Regression Detector (Agent Data Plane)Run ID: Optimization Goals: ✅ No significant changes detectedFine details of change detection per experiment (35)Experiments configured
Bounds Checks: ✅ Passed (5)
ExplanationA change is flagged as a regression when |Δ mean %| > 5.00% in the regressing direction for its optimization goal AND SMP marks the experiment as a regression ( |
14f2363 to
db43eb1
Compare
85bc7a9 to
77ba1c6
Compare
db43eb1 to
0449c6e
Compare
Remove the antithesis skill scratchbook from git tracking. While theoretically this is maintained automatically in practice the scratchbook attracts CI review robots in a way I find tedious to deal with. Too bad, so sad, goodbye scratchbook.
0449c6e to
673a305
Compare
## Summary <!-- Please provide a brief summary about what this PR does. This should help the reviewers give feedback faster and with higher quality. --> Remove the antithesis skill scratchbook from git tracking. While theoretically this is maintained automatically in practice the scratchbook attracts CI review robots in a way I find tedious to deal with. Too bad, so sad, goodbye scratchbook. ## Change Type - [ ] Bug fix - [ ] New feature - [x] Non-functional (chore, refactoring, docs) - [ ] Performance ## How did you test this PR? <!-- Please how you tested these changes here --> ## References <!-- Please list any issues closed by this PR. --> <!-- - Closes: <issue link> --> <!-- Any other issues or PRs relevant to this PR? Feel free to list them here. --> 1dcffdf
## Summary <!-- Please provide a brief summary about what this PR does. This should help the reviewers give feedback faster and with higher quality. --> Remove the antithesis skill scratchbook from git tracking. While theoretically this is maintained automatically in practice the scratchbook attracts CI review robots in a way I find tedious to deal with. Too bad, so sad, goodbye scratchbook. ## Change Type - [ ] Bug fix - [ ] New feature - [x] Non-functional (chore, refactoring, docs) - [ ] Performance ## How did you test this PR? <!-- Please how you tested these changes here --> ## References <!-- Please list any issues closed by this PR. --> <!-- - Closes: <issue link> --> <!-- Any other issues or PRs relevant to this PR? Feel free to list them here. -->

Summary
Remove the antithesis skill scratchbook from git tracking. While
theoretically this is maintained automatically in practice the
scratchbook attracts CI review robots in a way I find tedious to deal
with. Too bad, so sad, goodbye scratchbook.
Change Type
How did you test this PR?
References