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
surfaces150
covered by the new corpus (>= Asserted)135
verdict stronger130
verdict equal20
verdict weaker0
corpus units76
stdlib modules (denominator)88
stdlib entries (denominator)1815

Uncovered

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

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/*16
stdlib modules owned by exactly one unit of any role14
sky.toml sections owned by exactly one unit2
lost if examples/ retired — modules2
lost if examples/ retired — config sections1

Modules lost if examples/ is retired

modulesole owner
Sky.Core.Processexamples/17-skymon
Std.Cliexamples/20-cli-counter

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.checkcliNoneNoneequal
cli.cleancliNoneFalsifiedstronger
cli.configcliNoneNoneequal
cli.consolecliNoneNoneequal
cli.console-servecliNoneNoneequal
cli.dbcliNoneFalsifiedstronger
cli.doccliNoneFalsifiedstronger
cli.doctorcliNoneFalsifiedstronger
cli.fmtcliNoneNoneequal
cli.initcliNoneFalsifiedstronger
cli.installcliRunsFalsifiedstronger
cli.lspcliNoneNoneequal
cli.migratecliNoneFalsifiedstronger
cli.removecliNoneFalsifiedstronger
cli.runcliNoneFalsifiedstronger
cli.testcliNoneFalsifiedstronger
cli.updatecliNoneFalsifiedstronger
cli.upgradecliNoneFalsifiedstronger
cli.upgrade-claudecliNoneNoneequal
cli.verifycliNoneNoneequal
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
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.FilestdlibNoneFalsifiedstronger
stdlib.Sky.Core.HttpstdlibRunsFalsifiedstronger
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.ProcessstdlibRunsRunsequal
stdlib.Sky.Core.PurestdlibAssertedFalsifiedstronger
stdlib.Sky.Core.RandomstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.RegexstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.ResultstdlibAssertedFalsifiedstronger
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.UuidstdlibAssertedFalsifiedstronger
stdlib.Sky.Core.WebSocketstdlibNoneFalsifiedstronger
stdlib.Sky.Http.MiddlewarestdlibNoneFalsifiedstronger
stdlib.Sky.Http.RateLimitstdlibAssertedFalsifiedstronger
stdlib.Sky.Http.ServerstdlibAssertedFalsifiedstronger
stdlib.Sky.Http.Server.StreamstdlibAssertedFalsifiedstronger
stdlib.Sky.Http.Server.WebSocketstdlibRunsFalsifiedstronger
stdlib.Sky.TeststdlibAssertedFalsifiedstronger
stdlib.Std.AnalyticsstdlibRunsRunsequal
stdlib.Std.AuthstdlibAssertedFalsifiedstronger
stdlib.Std.CachestdlibAssertedFalsifiedstronger
stdlib.Std.ClistdlibRunsRunsequal
stdlib.Std.CmdstdlibAssertedFalsifiedstronger
stdlib.Std.CodecstdlibAssertedFalsifiedstronger
stdlib.Std.CompressionstdlibAssertedFalsifiedstronger
stdlib.Std.ConfigstdlibNoneFalsifiedstronger
stdlib.Std.CssstdlibAssertedFalsifiedstronger
stdlib.Std.CsvstdlibAssertedFalsifiedstronger
stdlib.Std.DbstdlibAssertedFalsifiedstronger
stdlib.Std.Db.DecodestdlibNoneFalsifiedstronger
stdlib.Std.Db.MigratestdlibNoneFalsifiedstronger
stdlib.Std.Db.SchemastdlibAssertedFalsifiedstronger
stdlib.Std.Db.StorestdlibAssertedFalsifiedstronger
stdlib.Std.Db.TablestdlibNoneNoneequal
stdlib.Std.DecimalstdlibAssertedFalsifiedstronger
stdlib.Std.EmailstdlibAssertedFalsifiedstronger
stdlib.Std.HtmlstdlibAssertedFalsifiedstronger
stdlib.Std.Html.AttributesstdlibAssertedFalsifiedstronger
stdlib.Std.Html.EventsstdlibAssertedFalsifiedstronger
stdlib.Std.JobsstdlibNoneFalsifiedstronger
stdlib.Std.LivestdlibAssertedFalsifiedstronger
stdlib.Std.Live.ConsolestdlibNoneNoneequal
stdlib.Std.Live.HeadstdlibAssertedFalsifiedstronger
stdlib.Std.LogstdlibAssertedFalsifiedstronger
stdlib.Std.MarkdownstdlibNoneFalsifiedstronger
stdlib.Std.MoneystdlibAssertedFalsifiedstronger
stdlib.Std.PubSubstdlibAssertedFalsifiedstronger
stdlib.Std.SubstdlibAssertedFalsifiedstronger
stdlib.Std.TimestdlibAssertedFalsifiedstronger
stdlib.Std.TracestdlibNoneFalsifiedstronger
stdlib.Std.TuistdlibAssertedFalsifiedstronger
stdlib.Std.UistdlibAssertedFalsifiedstronger
stdlib.Std.Ui.AnimationstdlibRunsFalsifiedstronger
stdlib.Std.Ui.BackgroundstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.BorderstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.ChartstdlibAssertedFalsifiedstronger
stdlib.Std.Ui.EventsstdlibNoneFalsifiedstronger
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.TransformstdlibRunsFalsifiedstronger
stdlib.Std.Ui.TransitionstdlibRunsFalsifiedstronger
stdlib.Std.WebviewstdlibAssertedFalsifiedstronger
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
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
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
verify-cliT1PROVENui.tui · config.sky-toml