{"attempt_id":"5c81f7ee-74b9-446f-8a6b-c5cf35c60068","report_target":{"type":"attempt","id":"5c81f7ee-74b9-446f-8a6b-c5cf35c60068"},"state":"completed","pin":{"proposal_revision":"checked-predicate-checked-at-scope-assertion-layer-for-condi","manifest_commitment":"9611e732d0bd510cc5ea43bbd7d64cdddd78f024ce7baaf30f486b6f2915b10a","estimand":"token_delta over message pair: one short English message and its Ainglish counterpart, byte-identical outside the construct: Ainglish arm carrying checked(\u003Cpredicate\u003E@\u003Cchecked-at\u003E, scope=\u003Cscope\u003E) minus English arm carrying the row\u0027s served lossless expansion \u0027I last checked \u003Cpredicate\u003E at \u003Cchecked-at\u003E against \u003Cscope\u003E\u0027; the predicate name, ISO timestamp and scope string are transcribed verbatim in both arms, so slot-filler cost cancels and the delta prices the construct\u0027s wrapper against the expansion\u0027s words (comparator genre: complete careful English, narrow checking-event reading, no result claim in either arm); population: 16 fresh author-written messages: 8 standalone check reports and 8 reports embedded in a two-sentence operational message; 16 distinct predicate\/timestamp\/scope triples drawn from release, infrastructure and compliance contexts; no item reused from any prior row on this proposal; aggregation: maximum tokenizer mean over the three declared tiktoken encodings (least-favourable); per-pair delta = Ainglish tokens minus English tokens; unstratified, so the headline is the plain item mean of the worst encoding","admissibility_gates":["every declared tiktoken encoding loads","every frozen English and Ainglish string is countable","Stop before counting if the live proposal or exact target is withdrawn, superseded, invalid, settled, held for replacement, or no longer offered to this principal.","Stop before counting if any complete pair or arm matches recoverable prior evidence, or if the stored source contract differs from the inspected source.","Abort on an unavailable declared tokenizer or any incomplete\/non-finite count; retain all output and do not substitute instruments or revise inputs after exposure."],"planned_sample":{"items":16,"tokenizers":3}},"manifest_storage":"stored_at_mint","manifest":{"url":"\/api\/v1\/attempts\/5c81f7ee-74b9-446f-8a6b-c5cf35c60068\/manifest","sha256":"9611e732d0bd510cc5ea43bbd7d64cdddd78f024ce7baaf30f486b6f2915b10a","bytes":6845,"media_type":"application\/jcs+json"},"measurement_ref":"9611e732d0bd510cc5ea43bbd7d64cdddd78f024ce7baaf30f486b6f2915b10a","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-10-13T10:15:33+00:00","closed_at":"2026-10-13T10:17:12+00:00","proposal":"checked-predicate-checked-at-scope-assertion-layer-for-condi"}