Coverage ledger

GENERATED by xtask coverage-ledger — do not hand-edit. Regenerate with cargo run -q -p xtask -- coverage-ledger; --check is the CI form and writes nothing. The machine-readable canonical form is ledger.json; this page is a view of it.

Every number below was measured from the tree. The stdlib denominator is cross-checked against docs/coverage/denominators.json; a disagreement fails the gate rather than being averaged away.

Strength classes

nclassmeaning
0Nonenothing covers it
1Buildssomething compiles it, nothing runs it
2Runssomething builds AND runs it; verdict = exit status only
3Assertedexplicit counted assertions
4Falsifiedassertions in a REGISTERED gate whose falsifying mutation is recorded PROVEN

Summary

metricvalue
surfaces180
covered by the new corpus (>= Asserted)169
verdict stronger164
verdict equal16
verdict weaker0
corpus units130
stdlib modules (denominator)113
stdlib entries (denominator)2223

Uncovered

metriccount% of denominator
stdlib modules imported by nothing98.0%
symbols with zero qualified references (STRICT — the number any uncovered claim uses)76234.3%
symbols unreferenced under the generous rule67130.2%
stdlib modules imported ONLY by a root tests/ suite (no application builds them)1—

Surfaces with zero new cover

Sole ownership

Computed over distinct paths, not member rows: apps/manifest.toml backs two members with apps/ledger and backs member D with examples/13-skyshop, and counting rows would make one directory look like two independent owners.

tableentries
stdlib modules owned by exactly one examples/*24
stdlib modules owned by exactly one unit of any role14
sky.toml sections owned by exactly one unit2
lost if examples/ retired — modules0
lost if examples/ retired — config sections1

Config sections lost if examples/ is retired

sectionsole owner
[analytics]examples/52-blog-analytics

Weaker surfaces — the open coverage debt

A weaker verdict is a coverage removal. §9.2 requires it be written down before it lands: a [[weakening]] stanza in docs/coverage/removals.toml with surface, reason, owner, commit.

The rows below are the state the ledger was bootstrapped on — the migration's opening debt, not something anyone signed. Each is closed either by registering a gate that restores the strength, or by a stanza. Any surface that becomes weaker after this list was recorded fails xtask coverage-ledger in both modes.

None.

Surfaces

surfacecategorytodaynewverdict
auth.password-sessionauthAssertedFalsifiedstronger
cli.addcliNoneFalsifiedstronger
cli.buildcliRunsFalsifiedstronger
cli.checkcliNoneFalsifiedstronger
cli.cleancliNoneFalsifiedstronger
cli.configcliNoneFalsifiedstronger
cli.consolecliNoneNoneequal
cli.console-servecliNoneNoneequal
cli.dbcliNoneFalsifiedstronger
cli.doccliNoneFalsifiedstronger
cli.doctorcliNoneFalsifiedstronger
cli.fmtcliNoneFalsifiedstronger
cli.fuzzcliNoneFalsifiedstronger
cli.initcliNoneFalsifiedstronger
cli.installcliRunsFalsifiedstronger
cli.lspcliNoneNoneequal
cli.migratecliNoneFalsifiedstronger
cli.packagecliNoneFalsifiedstronger
cli.removecliNoneFalsifiedstronger
cli.runcliNoneFalsifiedstronger
cli.spa-partitioncliNoneNoneequal
cli.spa-splitcliNoneFalsifiedstronger
cli.testcliNoneFalsifiedstronger
cli.updatecliNoneFalsifiedstronger
cli.upgradecliNoneFalsifiedstronger
cli.upgrade-claudecliNoneNoneequal
cli.verifycliNoneFalsifiedstronger
cli.watchcliNoneFalsifiedstronger
compiler.codegen-determinismcompilerAssertedFalsifiedstronger
compiler.coerce-floorcompilerAssertedAssertedequal
compiler.fmtcompilerAssertedFalsifiedstronger
compiler.fuzzcompilerAssertedAssertedequal
compiler.infercompilerAssertedFalsifiedstronger
compiler.lower-emit-shapecompilerAssertedFalsifiedstronger
compiler.oracle-differentialcompilerAssertedAssertedequal
compiler.parsecompilerAssertedFalsifiedstronger
compiler.rejectcompilerAssertedFalsifiedstronger
compiler.resolvecompilerAssertedFalsifiedstronger
compiler.shared-worldcompilerAssertedFalsifiedstronger
config.sky-tomlconfigRunsFalsifiedstronger
db.codec-storedbAssertedFalsifiedstronger
db.migrationsdbNoneFalsifiedstronger
db.postgresdbNoneFalsifiedstronger
db.sqlitedbAssertedFalsifiedstronger
docs.examples-gatedocsAssertedAssertedequal
ffi.cgo-host-targetffiNoneFalsifiedstronger
ffi.scaleffiRunsFalsifiedstronger
http.middleware-ratelimithttpRunsFalsifiedstronger
http.sse-websockethttpAssertedFalsifiedstronger
lang.constructslanguageAssertedFalsifiedstronger
lsptoolingAssertedFalsifiedstronger
meta.config-effective-valuesmetaNoneFalsifiedstronger
meta.config-migratemetaNoneFalsifiedstronger
meta.config-migrationmetaNoneFalsifiedstronger
meta.config-surfacemetaNoneFalsifiedstronger
meta.coverage-accountingmetaNoneFalsifiedstronger
meta.kernel-membersmetaNoneFalsifiedstronger
observability.analytics-storeobservabilityNoneFalsifiedstronger
observability.consoleobservabilityAssertedFalsifiedstronger
runtime.go-rtruntimeAssertedAssertedequal
runtime.panic-classesruntimeAssertedFalsifiedstronger
runtime.periodic-goroutinesruntimeNoneFalsifiedstronger
skylive.multi-replicaskyliveAssertedFalsifiedstronger
skylive.session-sse-csrfskyliveAssertedFalsifiedstronger
stdlib.Sky.ConfigstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.BasicsstdlibNoneFalsifiedstronger
stdlib.Sky.Core.BytesstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.CharstdlibNoneFalsifiedstronger
stdlib.Sky.Core.CryptostdlibAssertedFalsifiedstronger
stdlib.Sky.Core.DictstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.EncodingstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.ErrorstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.FilestdlibAssertedFalsifiedstronger
stdlib.Sky.Core.HttpstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.Http.StreamstdlibRunsRunsequal
stdlib.Sky.Core.IostdlibNoneNoneequal
stdlib.Sky.Core.Json.DecodestdlibAssertedFalsifiedstronger
stdlib.Sky.Core.Json.Decode.PipelinestdlibAssertedFalsifiedstronger
stdlib.Sky.Core.Json.EncodestdlibAssertedFalsifiedstronger
stdlib.Sky.Core.JwtstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.ListstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.MathstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.MaybestdlibAssertedFalsifiedstronger
stdlib.Sky.Core.PathstdlibNoneFalsifiedstronger
stdlib.Sky.Core.ProcessstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.PurestdlibAssertedFalsifiedstronger
stdlib.Sky.Core.RandomstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.RegexstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.ResultstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.SecretstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.SetstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.StringstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.SystemstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.TaskstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.TimestdlibAssertedFalsifiedstronger
stdlib.Sky.Core.ToStringstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.TuplestdlibAssertedFalsifiedstronger
stdlib.Sky.Core.UuidstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.WebSocketstdlibNoneFalsifiedstronger
stdlib.Sky.Http.MiddlewarestdlibAssertedFalsifiedstronger
stdlib.Sky.Http.RateLimitstdlibAssertedFalsifiedstronger
stdlib.Sky.Http.ServerstdlibAssertedFalsifiedstronger
stdlib.Sky.Http.Server.StreamstdlibAssertedFalsifiedstronger
stdlib.Sky.Http.Server.WebSocketstdlibRunsFalsifiedstronger
stdlib.Sky.TeststdlibAssertedFalsifiedstronger
stdlib.Std.Ai.AgentstdlibNoneAssertedstronger
stdlib.Std.Ai.Memory.PgstdlibNoneAssertedstronger
stdlib.Std.Ai.PolicystdlibRunsAssertedstronger
stdlib.Std.Ai.ProviderstdlibRunsAssertedstronger
stdlib.Std.Ai.ToolstdlibNoneAssertedstronger
stdlib.Std.Ai.TracestdlibRunsAssertedstronger
stdlib.Std.AnalyticsstdlibRunsAssertedstronger
stdlib.Std.AppstdlibAssertedFalsifiedstronger
stdlib.Std.AuthstdlibAssertedFalsifiedstronger
stdlib.Std.BundlestdlibAssertedFalsifiedstronger
stdlib.Std.CachestdlibAssertedFalsifiedstronger
stdlib.Std.ClistdlibNoneNoneequal
stdlib.Std.CmdstdlibAssertedFalsifiedstronger
stdlib.Std.CodecstdlibAssertedFalsifiedstronger
stdlib.Std.CompressionstdlibAssertedFalsifiedstronger
stdlib.Std.ConfigstdlibNoneFalsifiedstronger
stdlib.Std.Crypto.CpacestdlibAssertedFalsifiedstronger
stdlib.Std.Crypto.KdfstdlibAssertedFalsifiedstronger
stdlib.Std.Crypto.KxstdlibAssertedFalsifiedstronger
stdlib.Std.Crypto.NoisestdlibAssertedFalsifiedstronger
stdlib.Std.Crypto.SignstdlibAssertedFalsifiedstronger
stdlib.Std.CssstdlibAssertedFalsifiedstronger
stdlib.Std.CsvstdlibAssertedFalsifiedstronger
stdlib.Std.DbstdlibAssertedFalsifiedstronger
stdlib.Std.Db.DecodestdlibAssertedFalsifiedstronger
stdlib.Std.Db.MigratestdlibNoneFalsifiedstronger
stdlib.Std.Db.SchemastdlibAssertedFalsifiedstronger
stdlib.Std.Db.StorestdlibAssertedFalsifiedstronger
stdlib.Std.Db.TablestdlibNoneNoneequal
stdlib.Std.DecimalstdlibAssertedFalsifiedstronger
stdlib.Std.DurablestdlibRunsAssertedstronger
stdlib.Std.EmailstdlibAssertedFalsifiedstronger
stdlib.Std.HtmlstdlibAssertedFalsifiedstronger
stdlib.Std.Html.AttributesstdlibAssertedFalsifiedstronger
stdlib.Std.Html.EventsstdlibAssertedFalsifiedstronger
stdlib.Std.ImagestdlibNoneFalsifiedstronger
stdlib.Std.JobsstdlibNoneFalsifiedstronger
stdlib.Std.LivestdlibRunsAssertedstronger
stdlib.Std.Live.ConsolestdlibNoneAssertedstronger
stdlib.Std.Live.HeadstdlibAssertedFalsifiedstronger
stdlib.Std.LogstdlibAssertedFalsifiedstronger
stdlib.Std.MarkdownstdlibNoneFalsifiedstronger
stdlib.Std.MoneystdlibAssertedFalsifiedstronger
stdlib.Std.NativestdlibAssertedFalsifiedstronger
stdlib.Std.NavstdlibNoneAssertedstronger
stdlib.Std.PubSubstdlibAssertedFalsifiedstronger
stdlib.Std.QrstdlibAssertedFalsifiedstronger
stdlib.Std.SpastdlibNoneFalsifiedstronger
stdlib.Std.SubstdlibAssertedFalsifiedstronger
stdlib.Std.SyncstdlibAssertedFalsifiedstronger
stdlib.Std.TimestdlibAssertedFalsifiedstronger
stdlib.Std.TracestdlibNoneFalsifiedstronger
stdlib.Std.TuistdlibNoneNoneequal
stdlib.Std.UistdlibAssertedFalsifiedstronger
stdlib.Std.Ui.AnimationstdlibRunsFalsifiedstronger
stdlib.Std.Ui.BackgroundstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.BorderstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.CanvasstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.ChartstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.EventsstdlibRunsFalsifiedstronger
stdlib.Std.Ui.FontstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.GridstdlibRunsFalsifiedstronger
stdlib.Std.Ui.InputstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.KeyedstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.LazystdlibAssertedFalsifiedstronger
stdlib.Std.Ui.RegionstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.ResponsivestdlibAssertedFalsifiedstronger
stdlib.Std.Ui.TerminalstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.TransformstdlibRunsFalsifiedstronger
stdlib.Std.Ui.TransitionstdlibRunsFalsifiedstronger
stdlib.Std.WatchstdlibAssertedFalsifiedstronger
stdlib.Std.WebviewstdlibNoneNoneequal
ui.cross-backenduiAssertedFalsifiedstronger
ui.tuiuiRunsFalsifiedstronger
ui.webviewuiBuildsFalsifiedstronger

Gates and the surfaces they declare

gatetierfalsifiersurfaces
analytics-prune-errors-are-reportedT1PROVENobservability.analytics-store
analytics-retention-survives-a-panicT1PROVENobservability.analytics-store
apps-bundledT1PROVENobservability.console · skylive.session-sse-csrf
apps-dispatchT1PROVENstdlib.Std.Jobs · stdlib.Std.Db.Schema · stdlib.Std.Db.Migrate · stdlib.Std.Markdown · stdlib.Std.Email · db.migrations · db.sqlite · cli.db
apps-dispatch-destructiveT1PROVENdb.migrations · cli.db
apps-dispatch-postgresT3PROVENstdlib.Std.Jobs · stdlib.Std.Db.Schema · stdlib.Std.Db.Migrate · db.migrations · db.postgres
apps-ffi-scaleT4PROVENffi.scale · ffi.cgo-host-target
apps-fieldbookT2PROVENui.cross-backend · ui.tui · ui.webview
apps-fleetT3PROVENskylive.multi-replica · skylive.session-sse-csrf
apps-ledgerT1PROVENdb.sqlite · db.migrations · db.codec-store · auth.password-session · skylive.session-sse-csrf · config.sky-toml
apps-ledger-postgresT3PROVENdb.postgres · db.migrations
apps-relayT1PROVENhttp.middleware-ratelimit · http.sse-websocket · runtime.panic-classes
cli-verbsT1PROVENcli.init · cli.clean · cli.watch · cli.db · cli.install · cli.update · cli.upgrade
config-matrixT1PROVENmeta.config-effective-values
config-migrateT1PROVENmeta.config-migrate
config-migrationT1PROVENmeta.config-migration
config-surfaceT1PROVENmeta.config-surface
conformanceT1PROVENdb.sqlite · db.codec-store · auth.password-session
console-analytics-queries-are-boundedT1PROVENobservability.analytics-store · observability.console
corpusT2PROVENlang.constructs · compiler.infer · compiler.lower-emit-shape · stdlib.Sky.Core.String · stdlib.Sky.Core.List · stdlib.Sky.Core.Dict · stdlib.Sky.Core.Set · stdlib.Sky.Core.Maybe · stdlib.Sky.Core.Result · stdlib.Sky.Core.Char · stdlib.Sky.Core.Encoding · stdlib.Sky.Core.Crypto · stdlib.Sky.Core.Math · stdlib.Sky.Core.Basics · stdlib.Sky.Core.ToString · stdlib.Sky.Core.Path · stdlib.Sky.Core.Error · stdlib.Sky.Core.Regex · stdlib.Sky.Core.Json.Encode · stdlib.Sky.Core.Json.Decode · stdlib.Std.Decimal · stdlib.Std.Money · stdlib.Std.Csv · stdlib.Sky.Core.Bytes · stdlib.Sky.Core.Jwt · stdlib.Std.Codec · stdlib.Std.Markdown · stdlib.Std.Compression · stdlib.Std.Image
corpus-emit-shapeT1PROVENcompiler.lower-emit-shape · compiler.codegen-determinism
corpus-isolationT2PROVENcompiler.shared-world · lang.constructs
corpus-manifestT1PROVENlang.constructs
corpus-rejectT1PROVENcompiler.reject · compiler.resolve · lang.constructs
corpus-witnessT2PROVENcompiler.codegen-determinism · compiler.lower-emit-shape
coverage-ledgerT1PROVENmeta.coverage-accounting
erasure-path-uses-an-indexT1PROVENobservability.analytics-store
jobs-complete-failure-is-reportedT1PROVENruntime.periodic-goroutines
kernel-membersT1PROVENmeta.kernel-members
live-time-every-mutex-survives-a-panicT1PROVENruntime.periodic-goroutines · skylive.session-sse-csrf
lspT1PROVENlsp
periodic-loops-recover-per-cycleT1PROVENruntime.periodic-goroutines
rejectT1PROVENcompiler.reject · compiler.infer
roundtripT1PROVENcompiler.parse · lang.constructs
shared-worldT1PROVENcompiler.shared-world · compiler.resolve
sky-suitesT1PROVENlang.constructs
sky-verifyT1PROVENcompiler.fmt · lang.constructs
spa-diff-fuzzT2PROVENstdlib.Std.Spa
verify-cliT1PROVENui.tui · config.sky-toml