Lavett
Lavett fångar projektpromptar som stöds lokalt, för in relevant historik i senare sessioner och låter dig granska exakt vilken lagrad källa ett återkallat objekt kom ifrån—utan ett separat minnesmoln eller ett modellanrop i Lavetts standardväg för minne.
“Decision: keep database migrations reversible and run them before deploying application code.”
”Vad bestämde vi om driftsättning av databasmigreringar?”
Syntetisk illustration med det aktuella kvittoformatet. Kontrollsumman verifierar de visade byte som lagrats som källa; den bevisar inte att beslutet är korrekt eller att återkallningen är fullständig.
Lavetts standardbearbetning av minnet kräver ingen separat API-nyckel för minnet. Din kodningsklient kan fortfarande kräva ett eget konto, autentisering eller abonnemang.
Att återuppta ett projekt borde inte betyda att förklara det igen.
Projektbeslut hamnar utspridda över sessioner och klienter. Att återvända till arbetet kan betyda att söka i gamla chattar, upprepa kontext eller lita på en sammanfattning som inte längre innehåller detaljen du behöver.
Användbart minne måste hålla källor, korrigeringar och avgränsning synliga. Gamla och nya uppgifter kan stå i konflikt; ett kompakt svar bör ändå lämna en väg tillbaka till posten det kom ifrån.
Ett projektminne i klienter som stöds på din dator.
Fånga lokalt.
Krokar som stöds registrerar de användarpromptar som omfattas i ett lokalt lager för arbetsytan. Du kan också uttryckligen lägga till utvalda anteckningar.
Fortsätt i en annan klient som stöds.
En senare Codex- eller Claude Code-session i samma arbetsyta kan få ett kompakt paket med relevant historik i stället för att öppna hela transkriptet igen.
Kontrollera kvittot.
Granska de lagrade källorna och spåra återkallad kontext tillbaka till den exakta lokala posten.
Anslutna klienter använder samma projektavgränsade SQLite-minne för arbetsytan på den datorn. Det här är inte molnsynkronisering eller automatiskt minne mellan enheter.
Användarpromptar och uttryckligen tillagda anteckningar—inte automatisk registrering av varje modellsvar, verktygsutdata eller transkript. Bredare infångningsprofiler är frivilliga.
Lavetts standardbearbetning av minnet är lokal, och Lavett skickar inte själv minneslagret till en fjärrbaserad minnestjänst. När Lavett förser Codex, Claude eller en annan klient med återkallad kontext hanteras den enligt klientens egen datapolicy.
Lokal lagring är inte kryptering.Byggd för Codex och Claude Code först. Andra integrationer, däribland Gemini CLI, Cursor och VS Code, har snävare eller annorlunda stöd. Liveverifiering på arbetsstation har hittills gjorts på Linux.
Fungerar på en verklig arbetsstation — ännu inte offentligt lanserad.
I den dokumenterade överlämningen på arbetsstationen skrev både Codex och Claude Code arbetsyteavgränsade källor, och skrivskyddad granskning återgav exakta lagrade poster. Det är en lokal observation, inte den fortfarande väntande demonstrationen i båda riktningarna på en ren maskin.
Kodförrådet är fortfarande privat. Granskningen och städningen av det aktuella trädet är dokumenterade, men spärrar inför offentlig lansering återstår. En fokuserad standardprofil och demonstrationen mellan klienter på en ren maskin ligger fortfarande framför oss.
Detaljer om lokal verifiering
- ✓89/89 lokala byggenheter över sex integrerade vågor. Integrerat betyder inte befordrat och slutför inte externa resultat eller mänsklig validering.
- ✓7 291 godkända / 11 överhoppade / 10 förväntade fel den 28 september 2026 på implementation 3116d4c.
- ✓123/123 spärrar i offlinebeviset, noll live-modellanrop och $0 i modellkostnad, med otillgängliga historiska kontrollmängder fortsatt redovisade i stället för återställda.
- ✓Reproducerbara paket och ett isolerat Linux-röktest för installation/borttagning godkändes. Verifiering med varm cache är inte bevis på ren maskin, klientöverskridande funktion eller nativ macOS/Windows.
lavett integrate installlavett integrate doctorlavett packet showlavett ask --explainmake proofKapabilitetsexempel från det privata utvecklingsträdet, inte ett tillgängligt offentligt installationsprogram.
En användbar signal, med förbehållen bifogade.
I en tidig intern Claude Code-studie minskade Lavett modellförbrukningen uttryckt som motsvarande listpris med 8–11 % under två pass med 16 korta syntetiska uppgifter, och med 51 % på åtta uppgifter med ungefär 41 KB projekthistorik. Körningen på 41 KB var inte snabbare. Det här är historiska observationer från en modell och ansträngningsnivå, med en körning per arm och uppgift i varje pass samt författargranskad kvalitet—inte ett oberoende resultat eller ett löfte om besparingar i dina projekt. Ingen kvalitetsskillnad hittades i den granskningen.
| Uppgiftspar | Modellförbrukning, motsvarande listpris | Svarstid, exklusive inläsning | Verktygsanrop, utan → med |
|---|---|---|---|
| Korta uppgifter ×16, pass 1 | −11.0% | −7.0% | 29 → 20 |
| Korta uppgifter ×16, pass 2 | −7.7% | −10.7% | 30 → 20 |
| ~41 KB historik ×8 | −51.2% | +3.1% | 19 → 14 |
Negativt betyder mindre förbrukning eller svarstid; positivt betyder mer. Det här är parade aggregerade observationer, inte löften för varje uppgift.
- —Claude Code med Opus 5.5, medelhög ansträngning, mätt vid 468f48e den 23 september 2026. Det här är inte en ny prestandamätning av den aktuella versionen.
- —En körning per arm och uppgift i varje pass; syntetiska uppgifter och författargranskad kvalitet. Ingen oberoende validering eller påvisad kvalitetsfördel.
- —Förbrukning betyder klientens motsvarighet till listpris, inte abonnemangsfakturan, abonnemangsutrymmet, rå tokenminskning eller garanterad ekonomisk besparing.
- —Tiden exkluderar engångsinläsning. Vid 41 KB tog den registrerade inläsningen cirka 1,48 sekunder; observationen på +3,1 % fastställer ingen tillförlitlig nedgång.
- —Dessa körningar klarar inte den nyare NBH-3-spärren för påståendenivå. De förblir vägledande, inte beslutsunderlag.
Ett större experiment på ungefär 240 KB registrerade 55,7 % lägre förbrukning motsvarande listpris, 37,4 % kortare svarstid exklusive inläsning och 44 → 18 verktygsanrop över åtta uppgiftspar. Dess syntetiska anteckningar innehöll ogiltiga framtidsdatum. Den frysta sviten är inte berättigad för påståenden; den korrigerade sviten har inte körts. Siffrorna bevaras som forskningsdokumentation, inte som belägg för en validerad produktfördel vid 240 KB.
Fullständig historisk redovisning
Engångsinläsningen tog cirka 30,7 sekunder. Med inläsning var den sammanlagda tiden för första frågan 202,6 sekunder utan Lavett jämfört med 373,8 sekunder med Lavett över de åtta fallen. Ett av åtta paket missade en nödvändig anteckning, som modellen sedan hittade genom ytterligare sökning. Bristen med ogiltiga datum gör den frysta sviten obehörig för påståenden.
make proof kör motorns offlinebevis utan en API-nyckel för modeller eller ett live-modellanrop. Det kör inte om den modellbaserade förbrukningsstudien ovan.
Offentliga reproduktionsresurser inväntar lansering; det finns ännu ingen offentlig utcheckning av källkoden eller något paket att utlova.
Delat minne. Källor du kan granska.
Lavett förenar projektkontinuitet med en granskningsväg. Kvittot visar vilken lagrad post som stödjer ett återkallat objekt och håller samtidigt skillnaden mellan källintegritet, relevans och sanning synlig.
Proveniens till exakt källa
Återkallad kontext kan spåras tillbaka till det lagrade belägg som stödjer den.
Oföränderligt råmaterial
Härledningar bevarar sin källa i stället för att tyst skriva om den. Det är inget löfte om evig lagring eller omöjlig radering.
Synliga korrigeringar
Spår för korrigeringar och ersättningar förblir granskningsbara, utan garanti för perfekt val av aktuellt tillstånd på varje fråga.
Lokalt och deterministiskt som standard
Standardbearbetningen av minnet är lokal och reproducerbar. Återkallad kontext går fortfarande in i den valda värdklienten under dess datapolicy.
Modellen föreslår, verifieraren avgör
Valfria modellförslag kan kontrolleras mot snäva deterministiska regler. Den enkla standardkroken för minne kräver inte den vägen.
Ny kontroll av källhänvisningar i format som stöds
lavett check-adapter kan kontrollera källhänvisningar på nytt i externa format som stöds. Det är ingen universell faktagranskare och kontrollerar inte automatiskt varje svar från värdklienten.
Vissa verktyg är mognare, stöder fler integrationer, återkallar omformulerade frågor effektivare eller publicerar bredare offentliga benchmarkresultat. Lavett har inte påvisat någon fördel i en matchad direktjämförelse.
Minne med riktning.
En lavett är vagnen under kanonen: strukturen som bär, stabiliserar och riktar den. Språkmodellen förblir motorn; Lavett strukturerar indatan den får.
En illustration, inte ett påstående om att alla andra verktyg alltid skickar hela den råa historiken.
Den enkla standardvägen via kroken använder inte varje del av forskningsarkitekturen.
En kompilator för beläggspaket, med fyra gränssnitt.
Minne för kodningsagenter
Standardpaketet från kroken är avsiktligt enkelt och lexikalt idag. Rikare dirigering förblir spärrad i stället för att säljas som standardvägen för återkallning.
Aktuellt
En skrivskyddad, källhänvisad vy över aktuellt tillstånd och dess övergångsspår—inte en fri chattbot eller ett påstående om grundsanning.
Strukturatomer
Källmappade, deterministiskt avkodningsbara representationer på en valfri väg som är avstängd som standard.
Överklaganden
En syntetisk vertikal för rådgivargranskning som visar tänkbara aktivitetsbelägg, motsägelser och luckor. Rådgivaren väljer deskriptorer; poäng eller utfall tilldelas inte automatiskt. Det är inte juridisk rådgivning.
På valfria modellassisterade vägar kan en deterministisk verifierare kräva exakt källstöd innan ett förslag accepteras. Garantin är snäv: förankring är inte sanning. Ett verkligt citat kan användas för fel syfte och ändå klara delar av verifieraren, så relevans, författarskap och verklighetsriktighet kräver fortfarande omdöme.
Utforska den tekniska arkitekturen
Det här är motorkapabiliteter bakom vägar som lavett ask och compile-context. De ingår inte alla i den enkla standardkroken för kodningsagenter, och deras nytta är inte fastställd för varje projekt.
Betydelsehändelsegraf
Representerar utvalt språk som strukturerade händelser med roller, tid, attribut och belägg.
elev → utelämnade → artikel ("the")Konceptgravitation
Kan vikta återkommande eller viktiga koncept så att hämtningen får ytterligare en signal utöver rå likhet.
koncept återkommer → gravitation ↑Sanningslivscykel
Följer tillstånd som aktuellt, osäkert, motsagt, korrigerat och ersatt med granskningsbara övergångar.
övertygelse → korrigerad → ersattFlervägshämtning
Kan söka entiteter, tidslinjer, korrigeringar och belägg genom flera konkurrerande vägar.
route(roles) ∥ route(evidence)Korrigeringsbanor
Håller ett korrigeringsförlopp tillgängligt i stället för att reducera det till en isolerad ögonblicksbild.
misstag → korrigerat → återkommerKontextkompilator
Bygger ett uppgiftsspecifikt källhänvisat paket och kan redovisa vad det valde eller utelämnade.
historik → källhänvisat beläggspaketAvgränsat minne
Kopplar minnet till en uttrycklig arbetsyteavgränsning. Det minskar sammanblandningar men garanterar inte perfekt isolering.
svar ⊂ arbetsyteavgränsningFörklarbara minnesvägar
Kan visa vägen, händelserna och beläggen som används av motorfrågor som stöds.
svar ⟵ väg ⟵ beläggLicenser: koden är Apache-2.0; anpassade PIP-data är OGL-UK-3.0; leksaksdata om myndigheter är CC0-1.0. Licensuttrycket för den samlade distributionen är Apache-2.0 AND OGL-UK-3.0 AND CC0-1.0.
Begränsningarna stannar bredvid resultaten.
- —Ingen oberoende validering med externa användare, offentligt standardbenchmarkresultat för minne eller matchad direktjämförelse med konkurrent ännu.
- —Den nativa körningen på 41 KB registrerade +3,1 % svarstid, inte en hastighetsvinst.
- —Det bristfälliga experimentet på 240 KB var långsammare vid första användning och ett paket missade en anteckning. De syntetiska datumen gör det obehörigt för påståenden.
- —Standardåterkallning är lexikal; omformulering kan missa relevant material. Ingen generell fördel vid parafrasering hävdas.
- —Kanoniska motormätningar är gjorda inom urvalet. Historiska uppskattningar för blind parafrasering är tillbakadragna, inte belägg för den här lanseringen.
- —Vinster för rå kontext och BM25 finns kvar i loggen i stället för att selektivt tas bort.
- —Exakt proveniens hjälper vid granskning; den bevisar inte fullständighet, semantisk riktighet, perfekt isolering eller att en värdmodell använde beläggen på rätt sätt.
Läsbarhet är inte valfritt.
Beständiga semantiska artefakter på den berörda vägen måste ha en deterministisk avkodare tillbaka till troget, människoläsbart källmaterial. Det avtalet gör Lavetts egna representationer granskningsbara; det blottlägger inte det interna resonerandet hos Codex, Claude eller någon annan modell.
Vägen härifrån.
Infångning som stöds och granskning av exakt källa på utvecklingsarbetsstationen; ännu inte offentligt lanserad.
Granskning och städning av det aktuella trädet dokumenterade; historisk redovisning och återstående publiceringsspärrar är fortfarande öppna.
Ett litet gränssnitt för minne och kvitton samtidigt som hela den frivilliga kapabilitetsytan behålls.
Slutför först plattformskontroller på ren maskin och kvittodemonstrationen i båda riktningarna, publicera sedan först efter godkännande. En senare period med grundanvändare riktar sig till 10–20 personer; rekryteringen är inte öppen nu.
Frysta direktjämförelser samt offentliga minnes- och tillitsbenchmarkar där förluster ingår. Live- eller modellkörningar kräver separat godkännande.
En forskningsinriktning—inte en modell som tränas nu eller en utlovad leverans.
Minne borde ha form.
Språkmodeller behöver mer än ackumulerad kontext. De behöver minne med struktur, belägg och riktning—och en representation en människa fortfarande kan läsa. Lavett är mitt försök att bygga det.