Repository navigation
AniList coverage and the whole-operation derivation - #55
Merged
Merged
Conversation
Two chunks of MediaListCollection, 1,000 entries, with the schema AniList answers by introspection, anonymized and frozen by one dump on both runtimes.
The ingest, the image and a launch from it, a save's notifications, and a tracked reading of the whole list against an untracked one.
One stream per chunk's handle, the first reading untracked, a reading applied only when it differs: the composition the derived-state recipe gives for a whole operation, on both runtimes.
Five values an entry, the reading the derived-state recipe's model takes, beside the reading of every field.
The derived-state recipe gives the composition for #53: one stream per handle, the first reading untracked, a reading applied only when it differs, with the tracked read's cost on both runtimes. The decision records the coarser channel as not chosen and when to reopen it.
The test schema gains capitalized root fields, one spelled like its type, an enum that grows behind a version argument, and a union of twenty members with no interface; documents over them are in the goldens on both emitters, and three cases freeze them at run time on both runtimes.
The AniList documents compile with their own configuration into Swift, Kotlin and plan goldens, compiled by a Swift target and the Kotlin goldens module of their own.
…id-d967a7 # Conflicts: # CHANGELOG.md
This was referenced Oct 19, 2026
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.
Answers #53 and builds #51.
docs/recipes/derived-state.mdgains A derivation over a whole operation: one stream per handle, the first reading untracked, a reading applied only when it differs, a closure that reads what the value needs. The model is compiled and proven on both runtimes (ListModel,ListModelTests). The derived-state decision names the coarser channels as not chosen and reopens on a whole-operation derivation the composition cannot keep in budget at a measured size.spec/anilist/, two recorded chunks ofMediaListCollection(1,000 entries, anonymized) with the introspected SDL, frozen by one dump on both runtimes (BatonAniListTests,jvmAniListTest); the test schema's AniList shapes (capitalized roots, a versioned enum, a 20-member union) in the goldens and three spec cases; AniList's schema as a second set of goldens (goldens-anilist,goldens-anilist-kotlin,plans-anilist).BatonBenchmarks' AniList section,gradle :baton:runAniListBench), recorded inBENCHMARKS.mdon 2026-10-18.Local checks: boundaries, compiler build, Swift build and tests (debug and release), the hostile-name sweep, library evolution, the iOS Controllers build, cargo fmt, clippy and tests, the bench counts, and the Kotlin harnesses and goldens.