Memory Allocation Object Ledger

Runtime pool allocations: every live object and backing run

This is the existing owned release64 capture after the frozen public allocation/lifetime guest completed; it is not a new title test or universal baseline. Identity: main d4350b60, reconstructed tree 1277f2b7bf45a0992ef56d45d55815396d46ac8d, flash 101a3064574aff28242df614bdad1ecbea0b68d49ab18b71fb2ce365b89bd636. Capture-time identity was retained before launch. The same capture underlies Memory-Runtime-Physical-Owners.

Complete disjoint pool accounting

Pool ownership	Bytes	Pages where meaningful	Interpretation
Live small-object usable capacity	92,792	Shared	Capacity, not original requested payload.
Live small-object headers	3,432	Shared	429 × 8-byte allocator headers.
Free slots on wholly empty bucket pages	126,976	31	Entire physical backing is empty, retained for reuse.
Free slots on partially occupied bucket pages	14,368	Shared	Requires moving or freeing live neighbors before complete-page recovery.
Small-object bucket subtotal	237,568	58	Four rows above are disjoint.
Ordinary cache buffers	65,536	16	Four 16 KiB buffers; overlaps public cache statistic.
Private write-back reserve buffers	32,768	8	Two 16 KiB buffers; excluded from public cache capacity, included in pool.
CcZeroData zero-page backing	4,096	1	Separate live zero-fill backing, not an ordinary cache block.
Unresolved whole-page allocations	12,288	3	Three one-page runs; tag/requested length not retained.
Complete pool-window total	352,256	86	Includes cache and reserve; never add those again.

Every pool bitmap bit, backend run and bucket state is checked. All 429 live headers and 375 free blocks have the expected magic and class. The 28 whole-page pages occupy ten runs, with no overlap with bucket pages. Cache ownership is proved by actual NxcBlocks.Data pointers using nine compiler-proved field offsets; the zero page is matched by NxcZeroPagePfn and its all-zero contents. 25 of the 28 whole-page pages now have concrete cache owners.

Live objects grouped by stored allocator tag

The tag spelling below is the little-endian byte representation retained by the allocator, not necessarily the source multi-character literal or an exclusive semantic owner. Counts and capacities are exact at this checkpoint. Different tags can share the same bucket page; per-tag touched-page counts are not additive. Whole-page allocations do not retain their tags in this production path.

Raw tag	Stored spelling	Objects	Usable capacity bytes	Header bytes	Full block bytes	Size classes (bytes × objects)	Touched pages, shared
0x69766544	Devi	26	21,808	208	22,016	512 × 19, 1024 × 2, 2048 × 5	11
0x65726854	Thre	8	8,128	64	8,192	1024 × 8	4
0x546a624f	ObjT	14	7,056	112	7,168	512 × 14	2
0x76697244	Driv	12	6,048	96	6,144	512 × 12	3
0x6e44764e	NvDn	12	6,048	96	6,144	512 × 12	5
0x20206d4d	Mm	4	4,128	32	4,160	32 × 2, 2048 × 2	2
0x20707249	Irp	6	3,280	48	3,328	256 × 1, 512 × 4, 1024 × 1	5
0x6d4e624f	ObNm	70	2,608	560	3,168	32 × 55, 64 × 14, 512 × 1	5
0x65726944	Dire	11	2,728	88	2,816	256 × 11	2
0x43506353	ScPC	4	2,528	32	2,560	256 × 2, 1024 × 2	2
0x20206f49	Io	27	2,312	216	2,528	32 × 3, 64 × 22, 512 × 2	5
0x6944624f	ObDi	69	1,656	552	2,208	32 × 69	2
0x20414d44	DMA	2	2,160	16	2,176	128 × 1, 2048 × 1	2
0x52545355	USTR	28	1,920	224	2,144	32 × 3, 64 × 18, 128 × 7	4
0x726b784e	Nxkr	23	1,736	184	1,920	64 × 20, 128 × 1, 256 × 2	5
0x626d7953	Symb	14	1,680	112	1,792	128 × 14	2
0x6562784e	Nxbe	3	1,512	24	1,536	512 × 3	1
0x58656449	IdeX	2	1,136	16	1,152	128 × 1, 1024 × 1	2
0x45565244	DRVE	4	1,056	32	1,088	32 × 2, 512 × 2	3
0x46766458	XdvF	2	1,040	16	1,056	32 × 1, 1024 × 1	2
0x636f7250	Proc	1	1,016	8	1,024	1024 × 1	1
0x6e696f49	Ioin	1	1,016	8	1,024	1024 × 1	1
0x42747346	FstB	1	1,016	8	1,024	1024 × 1	1
0x544d5953	SYMT	14	816	112	928	32 × 1, 64 × 12, 128 × 1	4
0x20425056	VPB	7	840	56	896	128 × 7	2
0x204c444d	MDL	4	736	32	768	128 × 2, 256 × 2	2
0x206c6148	Hal	2	496	16	512	256 × 2	1
0x2d627273	srb-	4	480	32	512	128 × 4	2
0x706e5043	CPnp	2	496	16	512	256 × 2	1
0x574c6353	ScLW	2	496	16	512	256 × 2	1
0x714c6353	ScLq	2	496	16	512	256 × 2	1
0x33426353	ScB3	2	496	16	512	256 × 2	1
0x4d4e624f	ObNM	2	368	16	384	128 × 1, 256 × 1	2
0x42757348	HsuB	6	336	48	384	32 × 4, 128 × 2	2
0x34426353	ScB4	4	352	32	384	64 × 2, 128 × 2	4
0x50656449	IdeP	3	360	24	384	128 × 3	1
0x6e657645	Even	6	336	48	384	64 × 6	1
0x6174754d	Muta	5	280	40	320	64 × 5	1
0x41746e4d	MntA	1	248	8	256	256 × 1	1
0x31436353	ScC1	2	240	16	256	128 × 2	1
0x6274624f	Obtb	2	240	16	256	128 × 2	1
0x656c6946	File	1	248	8	256	256 × 1	1
0x4943624f	ObCI	2	176	16	192	64 × 1, 128 × 1	2
0x6f6d6c6b	klmo	1	120	8	128	128 × 1	1
0x70616441	Adap	1	120	8	128	128 × 1	1
0x73776c6b	klws	1	120	8	128	128 × 1	1
0x6d56784e	NxVm	2	48	16	64	32 × 2	2
0x6d44624f	ObDm	1	56	8	64	64 × 1	1
0x6d4e6f49	IoNm	1	56	8	64	64 × 1	1
0x6c4d6d4d	MmMl	1	24	8	32	32 × 1	1
0x73446353	ScDs	1	24	8	32	32 × 1	1
0x4d544f49	IOTM	1	24	8	32	32 × 1	1
0x61506553	SePa	1	24	8	32	32 × 1	1
0x6463784e	Nxcd	1	24	8	32	32 × 1	1

Every whole-page run

Start VA	Pages	Backing bytes	Proved owner
0xc1002000	1	4,096	unresolved whole-page allocation
0xc1005000	1	4,096	unresolved whole-page allocation
0xc1008000	1	4,096	unresolved whole-page allocation
0xc100d000	4	16,384	ordinary file-cache buffer
0xc1011000	4	16,384	ordinary file-cache buffer
0xc1015000	4	16,384	ordinary file-cache buffer
0xc1019000	4	16,384	ordinary file-cache buffer
0xc101d000	4	16,384	private write-back cache reserve
0xc1021000	4	16,384	private write-back cache reserve
0xc1025000	1	4,096	CcZeroData shared zero-page backing

Cache descriptors report zero references, dirty and busy flags at this completed probe checkpoint. An idle checkpoint is not proof that reserve, zero-page or cache backing may be freed: their next consumers and write-back progress requirements remain live.

Every live small allocation

One row per actual allocation. The exact requested length is unknown because production stores only tag/class/magic. Capacity slack must not be called measured fragmentation. Payload content is not published.

Payload VA	Header PA	Tag	Full block bytes	Usable capacity bytes
0xc1000008	0x3bfc000	0x206c6148	256	248
0xc1000108	0x3bfc100	0x726b784e	256	248
0xc1000208	0x3bfc200	0x41746e4d	256	248
0xc1000308	0x3bfc300	0x20707249	256	248
0xc1000408	0x3bfc400	0x4d4e624f	256	248
0xc1000508	0x3bfc500	0x65726944	256	248
0xc1000608	0x3bfc600	0x65726944	256	248
0xc1000708	0x3bfc700	0x65726944	256	248
0xc1000808	0x3bfc800	0x65726944	256	248
0xc1000908	0x3bfc900	0x65726944	256	248
0xc1000a08	0x3bfca00	0x65726944	256	248
0xc1000b08	0x3bfcb00	0x65726944	256	248
0xc1000c08	0x3bfcc00	0x65726944	256	248
0xc1000d08	0x3bfcd00	0x65726944	256	248
0xc1000e08	0x3bfce00	0x65726944	256	248
0xc1000f08	0x3bfcf00	0x206c6148	256	248
0xc1001008	0x3bfb000	0x6c4d6d4d	32	24
0xc1001028	0x3bfb020	0x6944624f	32	24
0xc1001048	0x3bfb040	0x6944624f	32	24
0xc1001068	0x3bfb060	0x6944624f	32	24
0xc1001088	0x3bfb080	0x6944624f	32	24
0xc10010a8	0x3bfb0a0	0x6944624f	32	24
0xc10010c8	0x3bfb0c0	0x6d4e624f	32	24
0xc10010e8	0x3bfb0e0	0x6944624f	32	24
0xc1001108	0x3bfb100	0x6944624f	32	24
0xc1001128	0x3bfb120	0x6d4e624f	32	24
0xc1001148	0x3bfb140	0x6944624f	32	24
0xc1001168	0x3bfb160	0x6d4e624f	32	24
0xc1001188	0x3bfb180	0x73446353	32	24
0xc10011a8	0x3bfb1a0	0x6944624f	32	24
0xc10011c8	0x3bfb1c0	0x6d4e624f	32	24
0xc10011e8	0x3bfb1e0	0x46766458	32	24
0xc1001208	0x3bfb200	0x6944624f	32	24
0xc1001228	0x3bfb220	0x6944624f	32	24
0xc1001248	0x3bfb240	0x4d544f49	32	24
0xc1001268	0x3bfb260	0x6944624f	32	24
0xc1001288	0x3bfb280	0x6d4e624f	32	24
0xc10012a8	0x3bfb2a0	0x6944624f	32	24
0xc10012c8	0x3bfb2c0	0x6d4e624f	32	24
0xc10012e8	0x3bfb2e0	0x6944624f	32	24
0xc1001308	0x3bfb300	0x6d4e624f	32	24
0xc1001328	0x3bfb320	0x6944624f	32	24
0xc1001348	0x3bfb340	0x6944624f	32	24
0xc1001368	0x3bfb360	0x6d4e624f	32	24
0xc1001388	0x3bfb380	0x6944624f	32	24
0xc10013a8	0x3bfb3a0	0x6d4e624f	32	24
0xc10013c8	0x3bfb3c0	0x6944624f	32	24
0xc10013e8	0x3bfb3e0	0x6d4e624f	32	24
0xc1001408	0x3bfb400	0x6944624f	32	24
0xc1001428	0x3bfb420	0x6d4e624f	32	24
0xc1001448	0x3bfb440	0x6944624f	32	24
0xc1001468	0x3bfb460	0x6d4e624f	32	24
0xc1001488	0x3bfb480	0x6944624f	32	24
0xc10014a8	0x3bfb4a0	0x6d4e624f	32	24
0xc10014c8	0x3bfb4c0	0x6944624f	32	24
0xc10014e8	0x3bfb4e0	0x6944624f	32	24
0xc1001508	0x3bfb500	0x6944624f	32	24
0xc1001528	0x3bfb520	0x6d4e624f	32	24
0xc1001548	0x3bfb540	0x6944624f	32	24
0xc1001568	0x3bfb560	0x6d4e624f	32	24
0xc1001588	0x3bfb580	0x6944624f	32	24
0xc10015a8	0x3bfb5a0	0x6d4e624f	32	24
0xc10015c8	0x3bfb5c0	0x6d56784e	32	24
0xc10015e8	0x3bfb5e0	0x6944624f	32	24
0xc1001608	0x3bfb600	0x6d4e624f	32	24
0xc1001628	0x3bfb620	0x20206f49	32	24
0xc1001648	0x3bfb640	0x6944624f	32	24
0xc1001668	0x3bfb660	0x6d4e624f	32	24
0xc1001688	0x3bfb680	0x6944624f	32	24
0xc10016a8	0x3bfb6a0	0x6d4e624f	32	24
0xc10016c8	0x3bfb6c0	0x45565244	32	24
0xc10016e8	0x3bfb6e0	0x6944624f	32	24
0xc1001708	0x3bfb700	0x6d4e624f	32	24
0xc1001728	0x3bfb720	0x45565244	32	24
0xc1001748	0x3bfb740	0x6944624f	32	24
0xc1001768	0x3bfb760	0x6d4e624f	32	24
0xc1001788	0x3bfb780	0x20206f49	32	24
0xc10017a8	0x3bfb7a0	0x20206f49	32	24
0xc10017c8	0x3bfb7c0	0x6944624f	32	24
0xc10017e8	0x3bfb7e0	0x6d4e624f	32	24
0xc1001808	0x3bfb800	0x6944624f	32	24
0xc1001828	0x3bfb820	0x6d4e624f	32	24
0xc1001848	0x3bfb840	0x6944624f	32	24
0xc1001868	0x3bfb860	0x6d4e624f	32	24
0xc1001888	0x3bfb880	0x6944624f	32	24
0xc10018a8	0x3bfb8a0	0x6d4e624f	32	24
0xc10018c8	0x3bfb8c0	0x52545355	32	24
0xc10018e8	0x3bfb8e0	0x6944624f	32	24
0xc1001908	0x3bfb900	0x6d4e624f	32	24
0xc1001928	0x3bfb920	0x6944624f	32	24
0xc1001948	0x3bfb940	0x6d4e624f	32	24
0xc1001968	0x3bfb960	0x6944624f	32	24
0xc1001988	0x3bfb980	0x6d4e624f	32	24
0xc10019a8	0x3bfb9a0	0x6944624f	32	24
0xc10019c8	0x3bfb9c0	0x6d4e624f	32	24
0xc10019e8	0x3bfb9e0	0x6944624f	32	24
0xc1001a08	0x3bfba00	0x6d4e624f	32	24
0xc1001a28	0x3bfba20	0x6944624f	32	24
0xc1001a48	0x3bfba40	0x6944624f	32	24
0xc1001a68	0x3bfba60	0x6d4e624f	32	24
0xc1001a88	0x3bfba80	0x6944624f	32	24
0xc1001aa8	0x3bfbaa0	0x6d4e624f	32	24
0xc1001ac8	0x3bfbac0	0x6944624f	32	24
0xc1001ae8	0x3bfbae0	0x6d4e624f	32	24
0xc1001b08	0x3bfbb00	0x20206d4d	32	24
0xc1001b28	0x3bfbb20	0x6944624f	32	24
0xc1001b48	0x3bfbb40	0x6d4e624f	32	24
0xc1001b68	0x3bfbb60	0x20206d4d	32	24
0xc1001b88	0x3bfbb80	0x6944624f	32	24
0xc1001ba8	0x3bfbba0	0x6d4e624f	32	24
0xc1001bc8	0x3bfbbc0	0x6944624f	32	24
0xc1001be8	0x3bfbbe0	0x6d4e624f	32	24
0xc1001c08	0x3bfbc00	0x6944624f	32	24
0xc1001c28	0x3bfbc20	0x6d4e624f	32	24
0xc1001c48	0x3bfbc40	0x6944624f	32	24
0xc1001c68	0x3bfbc60	0x6d4e624f	32	24
0xc1001c88	0x3bfbc80	0x6944624f	32	24
0xc1001ca8	0x3bfbca0	0x6d4e624f	32	24
0xc1001cc8	0x3bfbcc0	0x6944624f	32	24
0xc1001ce8	0x3bfbce0	0x6d4e624f	32	24
0xc1001d08	0x3bfbd00	0x6944624f	32	24
0xc1001d28	0x3bfbd20	0x6d4e624f	32	24
0xc1001d48	0x3bfbd40	0x544d5953	32	24
0xc1001d68	0x3bfbd60	0x6944624f	32	24
0xc1001d88	0x3bfbd80	0x6d4e624f	32	24
0xc1001da8	0x3bfbda0	0x6944624f	32	24
0xc1001dc8	0x3bfbdc0	0x6944624f	32	24
0xc1001de8	0x3bfbde0	0x6944624f	32	24
0xc1001e08	0x3bfbe00	0x6944624f	32	24
0xc1001e28	0x3bfbe20	0x6944624f	32	24
0xc1001e48	0x3bfbe40	0x6d4e624f	32	24
0xc1001e68	0x3bfbe60	0x42757348	32	24
0xc1001e88	0x3bfbe80	0x42757348	32	24
0xc1001ea8	0x3bfbea0	0x42757348	32	24
0xc1001ec8	0x3bfbec0	0x6944624f	32	24
0xc1001ee8	0x3bfbee0	0x42757348	32	24
0xc1001f08	0x3bfbf00	0x6944624f	32	24
0xc1001f28	0x3bfbf20	0x61506553	32	24
0xc1001f48	0x3bfbf40	0x6d4e624f	32	24
0xc1001f68	0x3bfbf60	0x6d4e624f	32	24
0xc1001f88	0x3bfbf80	0x6d4e624f	32	24
0xc1001fa8	0x3bfbfa0	0x6d4e624f	32	24
0xc1001fc8	0x3bfbfc0	0x52545355	32	24
0xc1001fe8	0x3bfbfe0	0x52545355	32	24
0xc1003008	0x3bf8000	0x20206d4d	2048	2040
0xc1003808	0x3bf8800	0x20206d4d	2048	2040
0xc1004008	0x3bf7000	0x6f6d6c6b	128	120
0xc1004088	0x3bf7080	0x20425056	128	120
0xc1004108	0x3bf7100	0x626d7953	128	120
0xc1004188	0x3bf7180	0x626d7953	128	120
0xc1004208	0x3bf7200	0x204c444d	128	120
0xc1004288	0x3bf7280	0x204c444d	128	120
0xc1004308	0x3bf7300	0x2d627273	128	120
0xc1004388	0x3bf7380	0x2d627273	128	120
0xc1004408	0x3bf7400	0x34426353	128	120
0xc1004488	0x3bf7480	0x20425056	128	120
0xc1004508	0x3bf7500	0x50656449	128	120
0xc1004588	0x3bf7580	0x50656449	128	120
0xc1004608	0x3bf7600	0x626d7953	128	120
0xc1004688	0x3bf7680	0x626d7953	128	120
0xc1004708	0x3bf7700	0x70616441	128	120
0xc1004788	0x3bf7780	0x726b784e	128	120
0xc1004808	0x3bf7800	0x58656449	128	120
0xc1004888	0x3bf7880	0x31436353	128	120
0xc1004908	0x3bf7900	0x31436353	128	120
0xc1004988	0x3bf7980	0x50656449	128	120
0xc1004a08	0x3bf7a00	0x544d5953	128	120
0xc1004a88	0x3bf7a80	0x626d7953	128	120
0xc1004b08	0x3bf7b00	0x626d7953	128	120
0xc1004b88	0x3bf7b80	0x626d7953	128	120
0xc1004c08	0x3bf7c00	0x4d4e624f	128	120
0xc1004c88	0x3bf7c80	0x4943624f	128	120
0xc1004d08	0x3bf7d00	0x20414d44	128	120
0xc1004d88	0x3bf7d80	0x42757348	128	120
0xc1004e08	0x3bf7e00	0x42757348	128	120
0xc1004e88	0x3bf7e80	0x6274624f	128	120
0xc1004f08	0x3bf7f00	0x6274624f	128	120
0xc1004f88	0x3bf7f80	0x73776c6b	128	120
0xc1006008	0x3bf5000	0x546a624f	512	504
0xc1006208	0x3bf5200	0x546a624f	512	504
0xc1006408	0x3bf5400	0x546a624f	512	504
0xc1006608	0x3bf5600	0x6d4e624f	512	504
0xc1006808	0x3bf5800	0x546a624f	512	504
0xc1006a08	0x3bf5a00	0x546a624f	512	504
0xc1006c08	0x3bf5c00	0x546a624f	512	504
0xc1006e08	0x3bf5e00	0x546a624f	512	504
0xc1007008	0x3bf4000	0x6d4e624f	64	56
0xc1007048	0x3bf4040	0x6d4e624f	64	56
0xc1007088	0x3bf4080	0x52545355	64	56
0xc10070c8	0x3bf40c0	0x6d4e624f	64	56
0xc1007108	0x3bf4100	0x52545355	64	56
0xc1007148	0x3bf4140	0x6d4e624f	64	56
0xc1007188	0x3bf4180	0x52545355	64	56
0xc10071c8	0x3bf41c0	0x726b784e	64	56
0xc1007208	0x3bf4200	0x726b784e	64	56
0xc1007248	0x3bf4240	0x6d4e624f	64	56
0xc1007288	0x3bf4280	0x544d5953	64	56
0xc10072c8	0x3bf42c0	0x544d5953	64	56
0xc1007308	0x3bf4300	0x34426353	64	56
0xc1007348	0x3bf4340	0x726b784e	64	56
0xc1007388	0x3bf4380	0x726b784e	64	56
0xc10073c8	0x3bf43c0	0x52545355	64	56
0xc1007408	0x3bf4400	0x52545355	64	56
0xc1007448	0x3bf4440	0x6d4e624f	64	56
0xc1007488	0x3bf4480	0x6d4e624f	64	56
0xc10074c8	0x3bf44c0	0x544d5953	64	56
0xc1007508	0x3bf4500	0x544d5953	64	56
0xc1007548	0x3bf4540	0x52545355	64	56
0xc1007588	0x3bf4580	0x6d4e624f	64	56
0xc10075c8	0x3bf45c0	0x52545355	64	56
0xc1007608	0x3bf4600	0x726b784e	64	56
0xc1007648	0x3bf4640	0x726b784e	64	56
0xc1007688	0x3bf4680	0x52545355	64	56
0xc10076c8	0x3bf46c0	0x726b784e	64	56
0xc1007708	0x3bf4700	0x726b784e	64	56
0xc1007748	0x3bf4740	0x52545355	64	56
0xc1007788	0x3bf4780	0x20206f49	64	56
0xc10077c8	0x3bf47c0	0x20206f49	64	56
0xc1007808	0x3bf4800	0x20206f49	64	56
0xc1007848	0x3bf4840	0x20206f49	64	56
0xc1007888	0x3bf4880	0x20206f49	64	56
0xc10078c8	0x3bf48c0	0x6d4e624f	64	56
0xc1007908	0x3bf4900	0x544d5953	64	56
0xc1007948	0x3bf4940	0x20206f49	64	56
0xc1007988	0x3bf4980	0x6d4e624f	64	56
0xc10079c8	0x3bf49c0	0x20206f49	64	56
0xc1007a08	0x3bf4a00	0x20206f49	64	56
0xc1007a48	0x3bf4a40	0x20206f49	64	56
0xc1007a88	0x3bf4a80	0x20206f49	64	56
0xc1007ac8	0x3bf4ac0	0x20206f49	64	56
0xc1007b08	0x3bf4b00	0x20206f49	64	56
0xc1007b48	0x3bf4b40	0x20206f49	64	56
0xc1007b88	0x3bf4b80	0x20206f49	64	56
0xc1007bc8	0x3bf4bc0	0x20206f49	64	56
0xc1007c08	0x3bf4c00	0x20206f49	64	56
0xc1007c48	0x3bf4c40	0x20206f49	64	56
0xc1007c88	0x3bf4c80	0x20206f49	64	56
0xc1007cc8	0x3bf4cc0	0x20206f49	64	56
0xc1007d08	0x3bf4d00	0x20206f49	64	56
0xc1007d48	0x3bf4d40	0x20206f49	64	56
0xc1007d88	0x3bf4d80	0x6d4e624f	64	56
0xc1007dc8	0x3bf4dc0	0x6e657645	64	56
0xc1007e08	0x3bf4e00	0x6e657645	64	56
0xc1007e48	0x3bf4e40	0x6e657645	64	56
0xc1007e88	0x3bf4e80	0x6e657645	64	56
0xc1007ec8	0x3bf4ec0	0x6e657645	64	56
0xc1007f08	0x3bf4f00	0x6e657645	64	56
0xc1007f48	0x3bf4f40	0x6d44624f	64	56
0xc1007f88	0x3bf4f80	0x6d4e624f	64	56
0xc1007fc8	0x3bf4fc0	0x4943624f	64	56
0xc1009008	0x3bf2000	0x636f7250	1024	1016
0xc1009408	0x3bf2400	0x65726854	1024	1016
0xc1009808	0x3bf2800	0x65726854	1024	1016
0xc1009c08	0x3bf2c00	0x65726854	1024	1016
0xc100a808	0x3beb800	0x20414d44	2048	2040
0xc100b008	0x3be4000	0x65726854	1024	1016
0xc100b408	0x3be4400	0x20707249	1024	1016
0xc100b808	0x3be4800	0x65726854	1024	1016
0xc100bc08	0x3be4c00	0x65726854	1024	1016
0xc100c008	0x3bdd000	0x546a624f	512	504
0xc100c208	0x3bdd200	0x546a624f	512	504
0xc100c408	0x3bdd400	0x546a624f	512	504
0xc100c608	0x3bdd600	0x546a624f	512	504
0xc100c808	0x3bdd800	0x546a624f	512	504
0xc100ca08	0x3bdda00	0x546a624f	512	504
0xc100cc08	0x3bddc00	0x20206f49	512	504
0xc100ce08	0x3bdde00	0x546a624f	512	504
0xc102a008	0x3ba7000	0x69766544	512	504
0xc102a208	0x3ba7200	0x69766544	512	504
0xc102a408	0x3ba7400	0x69766544	512	504
0xc102a608	0x3ba7600	0x69766544	512	504
0xc102a808	0x3ba7800	0x76697244	512	504
0xc102aa08	0x3ba7a00	0x45565244	512	504
0xc102ac08	0x3ba7c00	0x6e44764e	512	504
0xc102ae08	0x3ba7e00	0x76697244	512	504
0xc102b008	0x3ba8000	0x76697244	512	504
0xc102b208	0x3ba8200	0x76697244	512	504
0xc102b408	0x3ba8400	0x69766544	512	504
0xc102b608	0x3ba8600	0x76697244	512	504
0xc102b808	0x3ba8800	0x45565244	512	504
0xc102ba08	0x3ba8a00	0x76697244	512	504
0xc102bc08	0x3ba8c00	0x76697244	512	504
0xc102be08	0x3ba8e00	0x76697244	512	504
0xc102c008	0x3ba9000	0x76697244	512	504
0xc102c208	0x3ba9200	0x69766544	512	504
0xc102c408	0x3ba9400	0x6e44764e	512	504
0xc102c608	0x3ba9600	0x76697244	512	504
0xc102c808	0x3ba9800	0x76697244	512	504
0xc102ca08	0x3ba9a00	0x69766544	512	504
0xc102cc08	0x3ba9c00	0x76697244	512	504
0xc102ce08	0x3ba9e00	0x69766544	512	504
0xc102d008	0x3baa000	0x69766544	1024	1016
0xc102d408	0x3baa400	0x6e696f49	1024	1016
0xc102d808	0x3baa800	0x58656449	1024	1016
0xc102dc08	0x3baac00	0x69766544	1024	1016
0xc102e008	0x3ba6000	0x20707249	512	504
0xc102e208	0x3ba6200	0x69766544	512	504
0xc102e408	0x3ba6400	0x6e44764e	512	504
0xc102e608	0x3ba6600	0x6e44764e	512	504
0xc102e808	0x3ba6800	0x69766544	512	504
0xc102ea08	0x3ba6a00	0x69766544	512	504
0xc102ec08	0x3ba6c00	0x6e44764e	512	504
0xc102ee08	0x3ba6e00	0x69766544	512	504
0xc102f008	0x3ba5000	0x726b784e	256	248
0xc102f208	0x3ba5200	0x204c444d	256	248
0xc102f308	0x3ba5300	0x706e5043	256	248
0xc102f408	0x3ba5400	0x43506353	256	248
0xc102f508	0x3ba5500	0x574c6353	256	248
0xc102f608	0x3ba5600	0x714c6353	256	248
0xc102f708	0x3ba5700	0x33426353	256	248
0xc102f808	0x3ba5800	0x204c444d	256	248
0xc102f908	0x3ba5900	0x706e5043	256	248
0xc102fa08	0x3ba5a00	0x43506353	256	248
0xc102fb08	0x3ba5b00	0x574c6353	256	248
0xc102fc08	0x3ba5c00	0x714c6353	256	248
0xc102fd08	0x3ba5d00	0x33426353	256	248
0xc102fe08	0x3ba5e00	0x65726944	256	248
0xc102ff08	0x3ba5f00	0x656c6946	256	248
0xc1030008	0x3ba4000	0x6e44764e	512	504
0xc1030208	0x3ba4200	0x69766544	512	504
0xc1030408	0x3ba4400	0x69766544	512	504
0xc1030608	0x3ba4600	0x69766544	512	504
0xc1030808	0x3ba4800	0x6e44764e	512	504
0xc1030a08	0x3ba4a00	0x69766544	512	504
0xc1030c08	0x3ba4c00	0x20707249	512	504
0xc1030e08	0x3ba4e00	0x20707249	512	504
0xc1031008	0x3ba3000	0x69766544	2048	2040
0xc1031808	0x3ba3800	0x69766544	2048	2040
0xc1032008	0x3ba1000	0x65726854	1024	1016
0xc1032408	0x3ba1400	0x42747346	1024	1016
0xc1032808	0x3ba1800	0x43506353	1024	1016
0xc1032c08	0x3ba1c00	0x43506353	1024	1016
0xc1033008	0x3b9c000	0x69766544	2048	2040
0xc1033808	0x3b9c800	0x69766544	2048	2040
0xc1034008	0x3b9b000	0x46766458	1024	1016
0xc1034808	0x3b9b800	0x65726854	1024	1016
0xc1035008	0x3b9a000	0x20425056	128	120
0xc1035588	0x3b9a580	0x626d7953	128	120
0xc1035608	0x3b9a600	0x52545355	128	120
0xc1035688	0x3b9a680	0x52545355	128	120
0xc1035708	0x3b9a700	0x2d627273	128	120
0xc1035788	0x3b9a780	0x2d627273	128	120
0xc1035808	0x3b9a800	0x34426353	128	120
0xc1035888	0x3b9a880	0x626d7953	128	120
0xc1035908	0x3b9a900	0x20425056	128	120
0xc1035988	0x3b9a980	0x626d7953	128	120
0xc1035a08	0x3b9aa00	0x52545355	128	120
0xc1035a88	0x3b9aa80	0x626d7953	128	120
0xc1035b08	0x3b9ab00	0x52545355	128	120
0xc1035b88	0x3b9ab80	0x626d7953	128	120
0xc1035c08	0x3b9ac00	0x52545355	128	120
0xc1035c88	0x3b9ac80	0x626d7953	128	120
0xc1035d08	0x3b9ad00	0x52545355	128	120
0xc1035d88	0x3b9ad80	0x626d7953	128	120
0xc1035e08	0x3b9ae00	0x52545355	128	120
0xc1035e88	0x3b9ae80	0x20425056	128	120
0xc1035f08	0x3b9af00	0x20425056	128	120
0xc1035f88	0x3b9af80	0x20425056	128	120
0xc1036008	0x3b99000	0x52545355	64	56
0xc1036688	0x3b99680	0x544d5953	64	56
0xc1036708	0x3b99700	0x6174754d	64	56
0xc1036748	0x3b99740	0x6174754d	64	56
0xc1036788	0x3b99780	0x6174754d	64	56
0xc10367c8	0x3b997c0	0x6174754d	64	56
0xc1036808	0x3b99800	0x6174754d	64	56
0xc1036848	0x3b99840	0x6d4e6f49	64	56
0xc1036888	0x3b99880	0x20206f49	64	56
0xc10368c8	0x3b998c0	0x34426353	64	56
0xc1036908	0x3b99900	0x726b784e	64	56
0xc1036948	0x3b99940	0x726b784e	64	56
0xc1036988	0x3b99980	0x544d5953	64	56
0xc10369c8	0x3b999c0	0x52545355	64	56
0xc1036a08	0x3b99a00	0x52545355	64	56
0xc1036a48	0x3b99a40	0x544d5953	64	56
0xc1036a88	0x3b99a80	0x726b784e	64	56
0xc1036ac8	0x3b99ac0	0x726b784e	64	56
0xc1036b08	0x3b99b00	0x52545355	64	56
0xc1036b48	0x3b99b40	0x544d5953	64	56
0xc1036b88	0x3b99b80	0x726b784e	64	56
0xc1036bc8	0x3b99bc0	0x726b784e	64	56
0xc1036c08	0x3b99c00	0x52545355	64	56
0xc1036c48	0x3b99c40	0x544d5953	64	56
0xc1036c88	0x3b99c80	0x726b784e	64	56
0xc1036cc8	0x3b99cc0	0x726b784e	64	56
0xc1036d08	0x3b99d00	0x52545355	64	56
0xc1036d48	0x3b99d40	0x544d5953	64	56
0xc1036d88	0x3b99d80	0x726b784e	64	56
0xc1036dc8	0x3b99dc0	0x726b784e	64	56
0xc1036e08	0x3b99e00	0x52545355	64	56
0xc1036e48	0x3b99e40	0x544d5953	64	56
0xc1036e88	0x3b99e80	0x726b784e	64	56
0xc1036ec8	0x3b99ec0	0x726b784e	64	56
0xc1036f08	0x3b99f00	0x52545355	64	56
0xc1036f48	0x3b99f40	0x6d4e624f	64	56
0xc1036f88	0x3b99f80	0x52545355	64	56
0xc1036fc8	0x3b99fc0	0x6d4e624f	64	56
0xc1037008	0x3b98000	0x69766544	512	504
0xc1037208	0x3b98200	0x20206f49	512	504
0xc1037408	0x3b98400	0x6e44764e	512	504
0xc1037608	0x3b98600	0x6e44764e	512	504
0xc1037808	0x3b98800	0x6e44764e	512	504
0xc1037a08	0x3b98a00	0x6e44764e	512	504
0xc1037c08	0x3b98c00	0x6e44764e	512	504
0xc1037e08	0x3b98e00	0x69766544	512	504
0xc1038008	0x3b97000	0x6944624f	32	24
0xc1038da8	0x3b97da0	0x6944624f	32	24
0xc1038dc8	0x3b97dc0	0x6d4e624f	32	24
0xc1038e08	0x3b97e00	0x6d56784e	32	24
0xc1038e28	0x3b97e20	0x6463784e	32	24
0xc1038e48	0x3b97e40	0x6944624f	32	24
0xc1038e68	0x3b97e60	0x6d4e624f	32	24
0xc1038e88	0x3b97e80	0x6944624f	32	24
0xc1038ea8	0x3b97ea0	0x6944624f	32	24
0xc1038ec8	0x3b97ec0	0x6d4e624f	32	24
0xc1038ee8	0x3b97ee0	0x6944624f	32	24
0xc1038f08	0x3b97f00	0x6d4e624f	32	24
0xc1038f28	0x3b97f20	0x6944624f	32	24
0xc1038f48	0x3b97f40	0x6d4e624f	32	24
0xc1038f68	0x3b97f60	0x6944624f	32	24
0xc1038f88	0x3b97f80	0x6d4e624f	32	24
0xc1038fa8	0x3b97fa0	0x6944624f	32	24
0xc1038fc8	0x3b97fc0	0x6d4e624f	32	24
0xc1038fe8	0x3b97fe0	0x6d4e624f	32	24
0xc1039008	0x3b96000	0x69766544	2048	2040
0xc103b008	0x3bd2000	0x20707249	512	504
0xc103b808	0x3bd2800	0x6562784e	512	504
0xc103ba08	0x3bd2a00	0x6562784e	512	504
0xc103bc08	0x3bd2c00	0x6562784e	512	504
0xc103be08	0x3bd2e00	0x69766544	512	504

Verification and next reductions

pool-object-ledger.py, JSON and CSV reproduce this ledger from the existing owned capture, not a foreign BIOS implementation. Full backing reconciles with the disjoint 332-page census. There are 31 wholly empty pages / 124 KiB at this history-dependent checkpoint. An idle-trim policy could recover many of them, but draft #131 demonstrated that immediate release creates severe burst-allocation churn. Reuse and bounded idle reclamation must be evaluated together. Live-object body reduction, stack reduction and driver retirement are separate changes requiring their own lifetime proofs.