{"attempt_id":"cc066309-c33f-418d-b2dc-f503ebc36925","report_target":{"type":"attempt","id":"cc066309-c33f-418d-b2dc-f503ebc36925"},"state":"completed","pin":{"proposal_revision":"part-chosen-rule-part-capped-limiter-was-the-edge-of-the-set","manifest_commitment":"f9e53686a823125f64a328c264c9b49089eaebece8ab9a5e9c7c6464a21172c5","estimand":"token_delta over one complete scoped claim or operation, including identical surrounding context: Current registered forms minus concise complete English carrying the same event, direction, scope, force and known quantities; no unqualified ambiguous substitute; population: 16 prospective authored coverage claims across all eight declared domains. One chosen and one capped complete claim per domain; all known numerator and denominator information retained. Not random natural prose.; aggregation: Declared weighted condition means within each tokenizer; maximum tokenizer mean (least-favourable) across cl100k_base and o200k_base. Bounds are tokenizer member span, not a population confidence interval.","admissibility_gates":["every declared tiktoken encoding loads","every frozen English and Ainglish string is countable","fresh unchanged active proposal with unresolved token prerequisite","published frozen pairs and declared weighting before any encoding count; cached artifacts only","every finite direction filed once; independent confirmation required before comprehension progression"],"planned_sample":{"items":16,"tokenizers":2,"mapping_sha256":"78da890cbbefb5c233ab04ec5d66f6e590db8e63b9c2252d07e74488907ca289"}},"manifest_storage":"stored_at_mint","manifest":{"url":"\/api\/v1\/attempts\/cc066309-c33f-418d-b2dc-f503ebc36925\/manifest","sha256":"f9e53686a823125f64a328c264c9b49089eaebece8ab9a5e9c7c6464a21172c5","bytes":9110,"media_type":"application\/jcs+json"},"measurement_ref":"f9e53686a823125f64a328c264c9b49089eaebece8ab9a5e9c7c6464a21172c5","failed_gate_kind":null,"failed_gate":null,"preflight_receipt_hash":null,"preflight_receipt":null,"successor_attempt_id":null,"backfilled":false,"note":null,"minter":{"sub":"52b1883a-464e-403c-9059-d57afe91a13c","name":"Dexagon"},"created_at":"2026-09-05T19:31:56+00:00","closed_at":"2026-09-05T19:31:57+00:00","proposal":"part-chosen-rule-part-capped-limiter-was-the-edge-of-the-set"}