compiler-forwarding-coverage-audit.json

{
  "status": "source-backed partial M3 classification; reachable handwritten bodies remain measured",
  "baseline_fingerprint": "acc3974e02bc5dfc6d23b9291a865133b52f8019dcae4783219e8763029a82de",
  "keys": [
    "Kafka.Consumer.Types:194:TopLevelBox [\"<$\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"elem\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"fold\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"foldMap'\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"foldl\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"foldl'\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"foldl1\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"foldr\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"foldr'\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"foldr1\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"length\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"maximum\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"minimum\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"null\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"product\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"sum\"]",
    "Kafka.Consumer.Types:198:TopLevelBox [\"toList\"]",
    "Kafka.Consumer.Types:202:TopLevelBox [\"mapM\"]",
    "Kafka.Consumer.Types:206:TopLevelBox [\"bifold\"]",
    "Kafka.Consumer.Types:206:TopLevelBox [\"bifoldl\"]",
    "Kafka.Consumer.Types:206:TopLevelBox [\"bifoldr\"]",
    "Kafka.Internal.RdKafka:134:ExpBox False",
    "Kafka.Internal.RdKafka:134:TopLevelBox [\"metadata'RdKafkaTopicPartitionT\"]",
    "Kafka.Internal.RdKafka:135:ExpBox False",
    "Kafka.Internal.RdKafka:135:TopLevelBox [\"metadataSize'RdKafkaTopicPartitionT\"]",
    "Kafka.Internal.RdKafka:136:ExpBox False",
    "Kafka.Internal.RdKafka:136:TopLevelBox [\"opaque'RdKafkaTopicPartitionT\"]",
    "Kafka.Internal.RdKafka:165:ExpBox False",
    "Kafka.Internal.RdKafka:165:TopLevelBox [\"size'RdKafkaTopicPartitionListT\"]",
    "Kafka.Internal.RdKafka:779:ExpBox False",
    "Kafka.Internal.RdKafka:779:TopLevelBox [\"broker'RdKafkaGroupInfoT\"]",
    "Kafka.Internal.Setup:90:ExpBox False",
    "Kafka.Internal.Setup:90:TopLevelBox [\"kcfgKafkaConfPtr\"]",
    "Kafka.Internal.Setup:92:ExpBox False",
    "Kafka.Internal.Setup:92:TopLevelBox [\"kcfgMessagesQueue\"]",
    "Kafka.Internal.Setup:97:ExpBox False",
    "Kafka.Internal.Setup:97:TopLevelBox [\"kcfgLifecycle\"]",
    "Kafka.Metadata:85:ExpBox False",
    "Kafka.Metadata:85:TopLevelBox [\"woTopicName\"]",
    "Kafka.Metadata:86:ExpBox False",
    "Kafka.Metadata:86:TopLevelBox [\"woPartitionId\"]",
    "Kafka.Metadata:87:ExpBox False",
    "Kafka.Metadata:87:TopLevelBox [\"woLowWatermark\"]",
    "Kafka.Version:22:ExpBox False",
    "Kafka.Version:22:TopLevelBox [\"versionMajor\"]",
    "Kafka.Version:23:ExpBox False",
    "Kafka.Version:23:TopLevelBox [\"versionMinor\"]",
    "Kafka.Version:24:ExpBox False",
    "Kafka.Version:24:TopLevelBox [\"versionRevision\"]"
  ],
  "baseline_missing_ticks": 49,
  "proof": "Each listed selector coordinate is a record field signature with no handwritten body. Each listed class default coordinate is an instance header, while its handwritten primitive is defined on a different measured line. Public types and custom method bodies retain their independent behavior tests."
}