CtrlK
BlogDocsLog inGet started
Tessl Logo

salsa

Mental-model reset for Salsa, the incremental computation framework for Rust. Use when building or reviewing Salsa databases, tracked functions, input/ tracked/interned structs, query pipelines, accumulators, cancellation, durability, LSP integration, memory management, cycles, or production Salsa architecture. Triggers on #[salsa::db], #[salsa::input], #[salsa::tracked], #[salsa::interned], #[salsa::accumulator], salsa::Storage, memoization, revisions, backdating, red-green algorithm, WillExecute, DidValidateMemoizedValue, Cancelled, returns(ref), no_eq, lru, cycle_fn, cycle_result, durability, or salsa::Event.

90

1.66x
Quality

86%

Does it follow best practices?

Impact

95%

1.66x

Average score across 3 eval scenarios

SecuritybySnyk

Passed

No known issues

SKILL.md
Quality
Evals
Security

Evaluation results

89%

18%

Incremental Parser and Name Resolver for a Toy Language

Salsa incremental query pipeline design

Criteria
Without context
With context

returns(ref) on large tracked fn returns

40%

100%

lru on parse function

100%

100%

no_eq on parse function

0%

100%

Coarse/fine split

100%

100%

Tracked fn first arg is &dyn Db

100%

100%

Tracked fn args are Salsa ingredients

100%

100%

Input count is 2-5

0%

33%

returns(ref) on large input/tracked struct fields

100%

100%

Accumulator for diagnostics

100%

100%

use salsa::Accumulator import

100%

100%

Database struct has salsa::Storage

100%

100%

Layered database traits

0%

0%

100%

31%

Proving Incremental Reuse in a Salsa-Based Config Analyzer

Incremental reuse test infrastructure

Criteria
Without context
With context

TestDb uses event capture callback

66%

100%

Events cleared before operation under test

100%

100%

WillExecute used to detect re-execution

41%

100%

DidValidateMemoizedValue used to detect cache hit

8%

100%

Queries called after mutation

100%

100%

Cross-file isolation test

83%

100%

Synthetic revision bump test

50%

100%

Test DB implements Db trait

100%

100%

cfg(test) module only

100%

100%

98%

66%

LSP Change Handler with Cancellation and Durability

LSP cancellation and durability handling

Criteria
Without context
With context

Database field placed last

0%

100%

trigger_cancellation before apply_change

0%

83%

PendingWrite/PropagatedPanic: retry

0%

100%

Local cancellation: stop, no retry

50%

100%

Cancelled::catch used at boundary

0%

100%

unwind_if_revision_cancelled in loop

0%

100%

HIGH durability for stdlib files

100%

100%

LOW durability for workspace files

100%

100%

Check-before-update guard

0%

100%

Snapshot is a database clone

90%

100%

Repository
joshuadavidthomas/agent-skills
Evaluated
Agent
Claude Code
Model
Claude Sonnet 4.6

Table of Contents

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.