docs / stdlib

Stdlib index
  1. Overview
  1. Captured-borrow migration worklist (3.3.3)
  2. Owned-bind migration worklist (8.2.7)
  3. Return-side title audit — the ride-through enumeration
  4. stdlib ownership audit
  5. stdlib ownership dispositions (plan 1.3.1 / 4.3.1)

codec

  1. Base64

codec / csv

  1. Csv

codec / json

  1. Json

collection

  1. ArrayList
  2. BPlusTree
  3. Cache
  4. Collectors
  5. HashMap
  6. HashSet
  7. Heap
  8. ImmutableList
  9. ImmutableMap
  10. ImmutableSet
  11. LinkedList
  12. RedBlackTree
  13. Sort

collection / ltm

  1. LtmBPlusTree

concurrent

  1. AtomicInt32
  2. AtomicInt64
  3. Channel
  4. FiberLocal
  5. Lock
  6. Mutex
  7. RwLock
  8. Semaphore
  9. Tasks

error

  1. Exception
  2. NoOptionalValueException
  3. RecoverableException
  4. Throwable
  5. UnrecoverableException

gfx

  1. Sampler
  2. Texture2D

hash

  1. Blake3
  2. DefaultHasher
  3. Hash
  4. MD5
  5. Sha1
  6. Sha256
  7. SipHash
  8. XXHash3

ifx

  1. BackendRegistry
  2. Window

io

  1. Buffer

io / file

  1. File
  2. FileInfo
  3. FileReader
  4. FileWriter
  5. Path
  6. Watcher

io / net

  1. IpAddress
  2. Server
  3. ServerBuilder
  4. SocketAddress
  5. TcpListener
  6. TcpStream
  7. UdpSocket

io / net / dns

  1. Dns

io / net / tls

  1. TlsConnection
  2. TlsListener

io / net / uri

  1. Uri
  2. UriBuilder

lang

  1. Guid
  2. Math
  3. Optional
  4. Pair
  5. Slice
  6. String
  7. StringBuilder

lang / stream

  1. ArrayStream
  2. Stream

math

  1. Camera
  2. Color
  3. DType
  4. Ray
  5. Rotation
  6. Tensor
  7. Transform

math / fft

  1. Fft

math / linalg

  1. LinAlg

math / npio

  1. Npy

math / poly

  1. Poly

math / random

  1. Generator

math / stats

  1. Stats

nucleo

  1. Columns — the Arrow-laid-out substrate
  2. Fused tensor expressions — Fuse
  3. Table — the lazy, typed dataframe
  4. Tape — define-by-run autograd
  5. Transform intrinsics — Grad, Vmap, Jit

process

  1. Command
  2. Process

reflect

  1. Class

search / distance

  1. Distance

search / fuzzy

  1. Matcher

search / ngram

  1. Index

session

  1. PackageInstallException
  2. Packages

time

  1. Clock
  2. DateTimeFormatter
  3. Duration
  4. Instant
  5. LocalDate
  6. LocalDateTime
  7. LocalTime
  8. Period
  9. ZonedDateTime
  10. ZoneId
  11. ZoneOffset

wire

  1. Compressor
  2. Decompressor
  3. Encoder
  4. Schema
  5. SchemaEncoder

xpu

  1. Device
  2. KernelBuffer
  3. KernelStream

xpu / mesh

  1. MeshSimplifier

Return-side title audit — the ride-through enumeration

Generated by tools/ownership/report_return_titles.py from a build run with CAJETA_AUDIT_RETURN_TITLES=1. Plan item 8.1.1; see specs/stdlib-ownership-convention-spec.md.

The numbers are the COMPILER’s decision at each return (ReturnStatement::generateCode’s returnTitleFlag), not a source-shape classification. Coverage is what the harvested builds compiled: a method no build reached is a method nobody measured.

MeasureCount
Plain-return, class-returning methods compiled424
…of those, methods whose return can carry a title32
Ride-through rate7.5%

By mechanism

MechanismMethodsWhat the caller sees
call-ride31tail-calls a plain-return method; the decision is deferred one more frame (the fluent-builder chain)
call-ride#2tail-calls a method that DECLARES #; a title rides out through a signature that says borrow — the viaPlain shape

Coverage

One row per harvested build. Every build ran to completion, so the denominator above is a CENSUS of what these libraries compile — the only remaining coverage limit is stdlib methods no library reaches.

HarvestPlain returns seenTitle notesRan to completion
cajeta-codec.stderr23054yes
cajeta-http.stderr38866yes
cajeta-logging.stderr24658yes
cajeta-ml.stderr616123yes
cajeta-timeseries.stderr535103yes

By package

PackageRide-through methods
cajeta.codec.json5
cajeta.nucleo.frame1
cajeta.reflect1
dev.cajeta.codec.ion2
dev.cajeta.http.body3
dev.cajeta.http.client1
dev.cajeta.http.h22
dev.cajeta.http.sse1
dev.cajeta.http.ws4
dev.cajeta.logging1
dev.cajeta.ml.io4
dev.cajeta.ml.linear1
dev.cajeta.ml.nn3
dev.cajeta.ml.train2
dev.cajeta.ml.zoo1

Every site

One row per return. A generic method compiled against several element types is ONE row — the instantiations agree on the stance, and the extra return type is noted rather than repeated.

MethodLineCarryViaReturns
cajeta.codec.json.JsonObject.get109runtimecall-ridecajeta.codec.json.JsonValue
cajeta.codec.json.JsonObject.get111runtimecall-ridecajeta.codec.json.JsonValue
cajeta.codec.json.JsonValue.setString227runtimecall-ridecajeta.codec.json.JsonValue
cajeta.codec.json.JsonValue.setString229runtimecall-ridecajeta.codec.json.JsonValue
cajeta.codec.json.JsonWriter.key307runtimecall-ridecajeta.codec.json.JsonWriter
cajeta.codec.json.JsonWriter.key309runtimecall-ridecajeta.codec.json.JsonWriter
cajeta.codec.json.JsonWriter.writeString275runtimecall-ridecajeta.codec.json.JsonWriter
cajeta.codec.json.JsonWriter.writeString277runtimecall-ridecajeta.codec.json.JsonWriter
cajeta.codec.json.JsonWriter.writeValue374runtimecall-ridecajeta.codec.json.JsonWriter
cajeta.codec.json.JsonWriter.writeValue377runtimecall-ridecajeta.codec.json.JsonWriter
cajeta.codec.json.JsonWriter.writeValue381runtimecall-ridecajeta.codec.json.JsonWriter
cajeta.codec.json.JsonWriter.writeValue383runtimecall-ridecajeta.codec.json.JsonWriter
cajeta.codec.json.JsonWriter.writeValue386runtimecall-ridecajeta.codec.json.JsonWriter
cajeta.codec.json.JsonWriter.writeValue412runtimecall-ridecajeta.codec.json.JsonWriter
cajeta.nucleo.frame.SortKey.name98runtimecall-ridecajeta.lang.String
cajeta.nucleo.frame.SortKey.name99runtimecall-ridecajeta.lang.String
cajeta.nucleo.frame.SortKey.name100runtimecall-ridecajeta.lang.String
cajeta.reflect.TemplateArgument.getType67runtimecall-ridecajeta.reflect.Class<?>
dev.cajeta.codec.ion.IonCursor.readSymbol166runtimecall-ridecajeta.lang.String
dev.cajeta.codec.ion.IonSymbolTable.resolve56runtimecall-ridecajeta.lang.String
dev.cajeta.http.body.MultipartBody.addField167runtimecall-ridedev.cajeta.http.body.MultipartBody
dev.cajeta.http.body.MultipartBody.addFile174runtimecall-ridedev.cajeta.http.body.MultipartBody
dev.cajeta.http.body.MultipartPart.contentType148runtimecall-ridedev.cajeta.http.MediaType
dev.cajeta.http.client.ConnectionPool.lockedEntryFor176runtimecall-ridedev.cajeta.http.client.OriginEntry
dev.cajeta.http.h2.HpackDecoder.nameForIndex142runtimecall-ridecajeta.lang.String
dev.cajeta.http.h2.HpackDecoder.nameForIndex146runtimecall-ridecajeta.lang.String
dev.cajeta.http.h2.HpackDecoder.valueForIndex154runtimecall-ridecajeta.lang.String
dev.cajeta.http.h2.HpackDecoder.valueForIndex158runtimecall-ridecajeta.lang.String
dev.cajeta.http.sse.SseClient.lastEventId125runtimecall-ridecajeta.lang.String
dev.cajeta.http.ws.WebSocket.peerCloseReason642runtimecall-ridedev.cajeta.http.ws.WsCloseReason
dev.cajeta.http.ws.WebSocketConnection.subprotocol43runtimecall-ridecajeta.lang.String
dev.cajeta.http.ws.WsMessageAssembler.accept185runtimecall-ridedev.cajeta.http.ws.WsMessage
dev.cajeta.http.ws.WsMessageAssembler.accept216runtimecall-ride#dev.cajeta.http.ws.WsMessage
dev.cajeta.http.ws.WsMessageAssembler.finishMessage305runtimecall-ride#dev.cajeta.http.ws.WsMessage
dev.cajeta.logging.CapturingAppender.get31runtimecall-ridecajeta.lang.String
dev.cajeta.ml.io.StateDict.get69runtimecall-ridecajeta.math.Tensor<float32>
dev.cajeta.ml.io.StateDict.nameAt39runtimecall-ridecajeta.lang.String
dev.cajeta.ml.io.StateDict.valueAt43runtimecall-ridecajeta.math.Tensor<float32>
dev.cajeta.ml.io.Unpickler.topStr135runtimecall-ridecajeta.lang.String
dev.cajeta.ml.linear.Lasso.coef52runtimecall-ridecajeta.math.Tensor<float64>
dev.cajeta.ml.nn.LoraLinear.biasParam82runtimecall-ridedev.cajeta.ml.nn.Parameter
dev.cajeta.ml.nn.LoraLinear.weightParam78runtimecall-ridedev.cajeta.ml.nn.Parameter
dev.cajeta.ml.nn.Sequential.at35runtimecall-ridedev.cajeta.ml.nn.Module
dev.cajeta.ml.train.SpelaTrainer.classVectorsAt163runtimecall-ridecajeta.math.Tensor<float32>
dev.cajeta.ml.train.SpelaTrainer.layerAt156runtimecall-ridedev.cajeta.ml.nn.Module
dev.cajeta.ml.zoo.EncoderStack.blockAt44runtimecall-ridedev.cajeta.ml.nn.Module

Source: docs/stdlib/return-title-audit.md · 4 min read · 881 words