Skip to content

Let a module declare the caches it loads through - #1373

Open
jwrosewell wants to merge 45 commits into
feature/31-caching-releasefrom
feature/32-cache-features
Open

jwrosewell wants to merge 45 commits into
feature/31-caching-releasefrom
feature/32-cache-features

Conversation

@jwrosewell

@jwrosewell jwrosewell commented Oct 14, 2026 •

Copy link
Copy Markdown
Collaborator

Summary

Changes

Area Change
crates/trusted-server-core/src 4 files, 299 lines added, 12 removed
docs/superpowers 1 file, 253 lines added, 0 removed
crates/trusted-server-adapter-axum/tests 1 file, 92 lines added, 0 removed
crates/testing/seam-probe 2 files, 64 lines added, 0 removed
docs/guide 2 files, 23 lines added, 0 removed
CHANGELOG.md 1 file, 1 line added, 0 removed
Cargo.lock 1 file, 1 line added, 0 removed

Closes

Closes #1320

Spec

Spec: module-cache-declarations

Test plan

CI on this pull request at 4a1f03c passed all 32 checks.

  • cargo test-fastly && cargo test-axum
  • cargo clippy-fastly && cargo clippy-axum
  • cargo fmt --all -- --check
  • JS tests: cd crates/trusted-server-js/lib && npx vitest run
  • JS format: cd crates/trusted-server-js/lib && npm run format
  • Docs format: cd docs && npm run format
  • WASM build: cargo build --package trusted-server-adapter-fastly --release --target wasm32-wasip1
  • Manual testing via fastly compute serve
  • Other: the full workflow set of this repository, run on this pull request at 4a1f03c

Checklist

  • Changes follow AGENTS.md conventions
  • No unwrap() in production code (clippy denies unwrap_used in CI)
  • Uses log macros as AGENTS.md asks (not println!)
  • New code has tests
  • No secrets or credentials committed

On top of the move of the loading cache module to the released caching crate, fiftyone-caching 4.5.8 (#1372). Issue: #1320.

What this adds

A module declares the caches it loads through, by name, on its builder, IntegrationBuilder::with_cache_features(&["example-answers"]). Core reads a [cache.<name>] table for each declared name as it reads its own [cache.robots-txt], and refuses a table whose name no linked module declares, naming the ones it could be, both in ts config validate and when the service starts. A name is the module's own: a builder declaring core's robots-txt, or a name another builder declares, is refused when the caches are resolved, so two vendors never share one cache and its keys without a word. LoadingCaches keys its selections by name rather than by a fixed list, and CacheSettings::loading_caches returns core's own table first and the declared ones after it, in name order. A declared cache with no table, like a table naming no module (#1365), takes the one loading cache module the build links, so a stock build holds a module's answers without a line in the document, and keeps nothing when the build links none or several.

[cache.example-answers]
module = "51degrees"

The seam probe declares seam-probe-answers and offers a loading cache of its own, and the Axum adapter's seam tests prove from outside core that the table selects it, that a declared cache with no table takes the one module linked, and that a misspelt table is refused by the deploy check with the message startup gives.

Why

A module that holds its own answers, one service answer that every page of a deployment asks for, asked core for the cache of the name it chose, found no table for it, and got the cache that holds nothing, so every request loaded the answer again. Measured on one deployment at six service calls per page request where one is needed, with a loading cache linked and nothing in the document able to say the module's cache existed, because core read a fixed list of names.

What breaks

Nothing in a deployment's documents. CacheSettings no longer rejects an unknown [cache.<name>] table when the document is parsed. ts config validate refuses it instead, as the service does when it starts, if no linked module declares the name.

The commits

Commit What it does
d37d283 A module declares the caches it loads through
7d0f70e The chain below merged in, carrying the loading cache default
d9656fd A declared cache with no table takes the one loading cache module the build links
1133273 Review: the deploy check refuses what the cache build refuses, a duplicate or robots-txt declaration is refused, the seam probe declares and offers a cache, and the guide names a fictional module
0f84dd6 The probe compares the two refusals of a misspelt cache table by message
6fe25f7 The cache check's test compares the two refusals of a misspelt table by message
0ef3ff7 The module cache declarations design
be4f478 The module cache declarations design takes its round 1 review

The other commits merge the branch below into this one, and through it Tech Lab main at 6ef07ae.

What is not in this pull request

  • A way to hold nothing in a build that links one loading cache module. A table names a module that offers a cache, and one naming anything else, none included, is refused when the service starts.

jwrosewell and others added 13 commits October 13, 2026 00:43
A deployment selects a loading cache for each feature in its own
[cache.<name>] table, and core listed one feature, robots-txt, so a
module's own cache was never selected and every one of its loads ran on
every call. A builder now declares the caches its modules load through,
by name, [cache.<name>] is read for each declared name with the same
settings as [cache.robots-txt], and a table naming a cache no linked
module declares is refused when the deployment starts, naming the ones
that are declared.
A cache name no linked module declares is refused by validate_settings_for_deploy_with as it is when the caches are made, so a misspelt [cache.<name>] fails ts config validate and not the deployment. A builder declaring robots-txt, or a name another builder declares, is refused naming the builders. The seam probe declares seam-probe-answers and offers a loading cache of its own, and the Axum seam tests prove the table selects it from outside core. The guide names a fictional module.
The debug form of a report carries a backtrace where the test runner asks
for one, as CI does, and the deploy check and startup raise the refusal on
different stacks, so the comparison held only while both were inlined
alike. The message is what the test is about.
…by message

As with the probe's test: the debug form of a report carries a backtrace
where the test runner asks for one, and the deploy check and the cache
build raise the refusal on different stacks.
Series 32 (#1373, for issue #1320) had a pull request and an issue but no design document. This one describes what the code does, adapter by adapter, with the configuration and its validation, the consent and privacy position, the failure handling, the rollout for existing deployments and the tests that exist, and it says plainly which joins have no test.
@jwrosewell
jwrosewell added this pull request to stack #1401 October 15, 2026 17:56
Review round 1 of the design document found three blocking points. A declared table's lifetimes are range-checked and then applied by nothing, two modules of one publisher keep their copies apart only by a naming convention that nothing checks, and the changelog entry left out the public declared field and the Vec return.

The document now states each as the code stands, adds the order of a push, the other callers of loading_caches_from, the name forms core does not check, the paths with no test and four open questions, and drops the service call figure, which has no source. The changelog entry now names the declared field and the Vec return.
@jwrosewell
jwrosewell removed this pull request from stack #1401 October 15, 2026 20:51
Three statements that were only partly true now say what the code does, and the round 1 log sentence no longer claims that every code change waits on a decision. The guide, rustdoc and visibility follow-ups are listed under the open questions with their files and lines.
Who can read a copy said the copy in the shared store is the one every
instance reads. That store is Fastly's cache, or the key-value store the
Cloudflare and Spin adapters declare once the loading cache branch has
them declare TRUSTED_SERVER_KV and default, and Axum has none. The same
text goes to the copy of this design on the specs branch.
…o push it

Core applies none of the lifetimes in a declared [cache.<name>] table.
They are range-checked, and outside tests only the robots.txt cache calls
LoadingCacheConfig::lifetimes, for [cache.robots-txt]. The guide offered
such a table the same four settings without saying so.

A binary built before declared caches refuses every [cache.<name>] key
other than robots-txt, because CacheSettings denied unknown fields, so a
service on that binary answers with its startup error when it loads a
document carrying one. The guide now warns to upgrade every instance
first, as it already does for [trusted_client_ip].

Follow-up 5 in the open questions of
docs/superpowers/specs/2026-10-15-module-cache-declarations-design.md.
…'s caches

The table of builder methods had no row for .with_cache_features(...).
The section on supplying a loading cache already says that a feature
whose table names no module takes the one loading cache module the build
links, and loads through NoLoadingCache only when the build links none or
several, since 6242303, so that sentence needs no change.

Follow-up 6 in the open questions of
docs/superpowers/specs/2026-10-15-module-cache-declarations-design.md.
No crate outside core calls declared_caches or check_cache_tables, on
this branch or at the top of the stack, where git grep finds them only in
crates/trusted-server-core/src/config.rs and integrations/mod.rs. The
public doc comments of with_cache_features and loading_caches_from no
longer link to them, and the errors of loading_caches_from now name the
refusal of a declaration, which the link to check_cache_tables carried.

Follow-up 8 in the open questions of
docs/superpowers/specs/2026-10-15-module-cache-declarations-design.md.
…stions

The three commits before this one change the configuration guide, the
integration guide and the visibility of declared_caches and
check_cache_tables. The doc comments of loading_caches_from and
LoadingCacheConfig::module that follow-up 7 named already said what rule
2 in 2.2 says, as did the integration guide's sentence on a table naming
no module, since 6242303. The order of a push in 2.8 and the
integration guide bullet in section 3 now say what the guides say, and
the revision record has a row for 2026-10-18.
…s do

Each of the 53 designs of the stack that carries both sections puts the
revision record before the review log, and this one put it after. The
text of both sections is unchanged.
…g offers

Since the loading cache change, validate_settings_for_deploy_with calls check_loading_cache_modules, so the deploy check refuses a table whose module names a crate that offers no loading cache, as the state build does. Section 2.7 said the state build alone refused it, and section 3 listed the check as missing. Section 3 now keeps the one limit left, that ts config validate refuses a deployment's own loading cache module unless a tool registers it.
@jwrosewell
jwrosewell removed this pull request from stack #1408 October 18, 2026 20:15
@jwrosewell
jwrosewell added this pull request to stack #1418 October 19, 2026 12:18
@jwrosewell
jwrosewell removed this pull request from stack #1418 October 19, 2026 16:30
@jwrosewell
jwrosewell added this pull request to stack #1421 October 19, 2026 17:38
@jwrosewell jwrosewell changed the title A module declares the caches it loads through Let a module declare the caches it loads through Oct 19, 2026
@jwrosewell
jwrosewell removed this pull request from stack #1421 October 19, 2026 18:29
@jwrosewell
jwrosewell added this pull request to stack #1422 October 19, 2026 19:20
@jwrosewell
jwrosewell marked this pull request as ready for review October 19, 2026 20:23

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

A module cannot hold its own answers in a loading cache, because core reads one cache table

2 participants