v176: two weighting regimes read from the populating code; licensed is worth DOUBLE the booked value (lambda_type is dead-code scaling) (part 3)

v176: two weighting regimes read from the populating code; licensed is worth DOUBLE the booked value (lambda_type is dead-code scaling) (part 2)

v176: two weighting regimes read from the populating code; licensed is worth DOUBLE the booked value (lambda_type is dead-code scaling)

v175: v174's dilution caveat REFUTED by positive control; cached-weight sign inversion found and left unbooked (part 4)

v175: v174's dilution caveat REFUTED by positive control; cached-weight sign inversion found and left unbooked (part 3)

v175: v174's dilution caveat REFUTED by positive control; cached-weight sign inversion found and left unbooked (part 2)

v175: v174's dilution caveat REFUTED by positive control; cached-weight sign inversion found and left unbooked

v174: Step 1 satisfied - official scorer IMPORTED, replica max_delta 0.0; aggregate measured end-to-end; king uid 125 re-confirmed (part 3)

v174: Step 1 satisfied - official scorer IMPORTED, replica max_delta 0.0; aggregate measured end-to-end; king uid 125 re-confirmed (part 2)

v174: Step 1 satisfied - official scorer IMPORTED, replica max_delta 0.0; aggregate measured end-to-end; king uid 125 re-confirmed

v173: OFFICIAL king read (HTTP 200) - king uid 125 @ 0.649721; corrects v172's false 403/registration blocker; clamp escalation refuted (part 5)

v173: OFFICIAL king read (HTTP 200) - king uid 125 @ 0.649721; corrects v172's false 403/registration blocker; clamp escalation refuted (part 4)

v173: OFFICIAL king read (HTTP 200) - king uid 125 @ 0.649721; corrects v172's false 403/registration blocker; clamp escalation refuted (part 3)

v173: OFFICIAL king read (HTTP 200) - king uid 125 @ 0.649721; corrects v172's false 403/registration blocker; clamp escalation refuted (part 2)

v173: OFFICIAL king read (HTTP 200) - king uid 125 @ 0.649721; corrects v172's false 403/registration blocker; clamp escalation refuted

v172: COACH orders executed - split-invariant audits + king gate located at metagraph registration (403); burn unobtained (part 4)

v172: COACH orders executed - split-invariant audits + king gate located at metagraph registration (403); burn unobtained (part 3)

v172: COACH orders executed - split-invariant audits + king gate located at metagraph registration (403); burn unobtained (part 2)

v172: COACH orders executed - split-invariant audits + king gate located at metagraph registration (403); burn unobtained

v171: booked comprehension grades reconcile exactly against the store; v163 defect did not recur; 2 orphaned graders reaped (part 3)

v171: booked comprehension grades reconcile exactly against the store; v163 defect did not recur; 2 orphaned graders reaped (part 2)

v171: booked comprehension grades reconcile exactly against the store; v163 defect did not recur; 2 orphaned graders reaped

v170: working decoder built (150/150) and priced at +3039 vs -15753; a legend fixes mapping not boundary; amortisation decides affordability (part 3)

v170: working decoder built (150/150) and priced at +3039 vs -15753; a legend fixes mapping not boundary; amortisation decides affordability (part 2)

v170: working decoder built (150/150) and priced at +3039 vs -15753; a legend fixes mapping not boundary; amortisation decides affordability

v169: licensed config proved base-independent on three bases; identical token delta explained by disjoint support; headroom-is-not-merit caveat (part 3)

v169: licensed config proved base-independent on three bases; identical token delta explained by disjoint support; headroom-is-not-merit caveat (part 2)

v169: licensed config proved base-independent on three bases; identical token delta explained by disjoint support; headroom-is-not-merit caveat

v168: role framing retired as incoherent; real cap gain priced and rejected at 117x the bar; king endpoint contract located (part 3)

v168: role framing retired as incoherent; real cap gain priced and rejected at 117x the bar; king endpoint contract located (part 2)

v168: role framing retired as incoherent; real cap gain priced and rejected at 117x the bar; king endpoint contract located

v167: zero-loss proved by census (0 collisions / 6583 span keys); three decoder attempts failed (part 3)

v167: zero-loss proved by census (0 collisions / 6583 span keys); three decoder attempts failed (part 2)

v167: zero-loss proved by census (0 collisions / 6583 span keys); three decoder attempts failed

v166: last reopened family closed on measurement (in-span dedup 0.230% of stack, 75% clamp-wasted) (part 3)

v166: last reopened family closed on measurement (in-span dedup 0.230% of stack, 75% clamp-wasted) (part 2)

v166: last reopened family closed on measurement (in-span dedup 0.230% of stack, 75% clamp-wasted)

v165: positive control disqualifies my comprehension instrument; found the real king endpoint (502 origin) (part 3)

v165: positive control disqualifies my comprehension instrument; found the real king endpoint (502 origin) (part 2)

v165: positive control disqualifies my comprehension instrument; found the real king endpoint (502 origin)

v164: COACH parallel-submission configs (licensed, plus_role) reconcile exactly; wscollapse dropped; 715-token reimplementation defect caught (part 3)

v164: COACH parallel-submission configs (licensed, plus_role) reconcile exactly; wscollapse dropped; 715-token reimplementation defect caught (part 2)

v164: COACH parallel-submission configs (licensed, plus_role) reconcile exactly; wscollapse dropped; 715-token reimplementation defect caught

v163: comprehension IS measurable - rolemark free, wscollapse damaging; v161 bound defect found (part 4)

v163: comprehension IS measurable - rolemark free, wscollapse damaging; v161 bound defect found (part 3)

v163: comprehension IS measurable - rolemark free, wscollapse damaging; v161 bound defect found (part 2)

v163: comprehension IS measurable - rolemark free, wscollapse damaging; v161 bound defect found

v162: audited my own correction. Per-subset break-even bars (0.3304%-0.3939%) change NO verdict - path+relabel's own bar is stricter than the one I borrowed and it still clears on a zero bound. The retracted 8.685% never licensed a decision. v139's one-flip multiple was wrong the OTHER way (12x vs 1.69x). Formula error N*G/C vs N*G/(G+C) found by an internal contradiction. 1315 tests, 20/20 mutations fire (part 3)

v162: audited my own correction. Per-subset break-even bars (0.3304%-0.3939%) change NO verdict - path+relabel's own bar is stricter than the one I borrowed and it still clears on a zero bound. The retracted 8.685% never licensed a decision. v139's one-flip multiple was wrong the OTHER way (12x vs 1.69x). Formula error N*G/C vs N*G/(G+C) found by an internal contradiction. 1315 tests, 20/20 mutations fire (part 2)

v162: audited my own correction. Per-subset break-even bars (0.3304%-0.3939%) change NO verdict - path+relabel's own bar is stricter than the one I borrowed and it still clears on a zero bound. The retracted 8.685% never licensed a decision. v139's one-flip multiple was wrong the OTHER way (12x vs 1.69x). Formula error N*G/C vs N*G/(G+C) found by an internal contradiction. 1315 tests, 20/20 mutations fire