{"version":1,"canonical":["unique-results.jsonl","frame-results.jsonl"],"projection_csv":["point-summary.csv","pair-summary.csv"],"numbers":{"kinds":["finite","positive_infinity","negative_infinity","missing","undefined"],"finite":"decimal文字列、mpmath80dps結果を90有効桁nstrで保存し同精度roundtrip確認","other":"decimal=null; reason必須","nonstandard_JSON_numbers":"禁止"},"directions":{"L_minus_S":"L80 - saved binary64 S","E_minus_L":"A80 - L80","E_minus_S":"A80 - saved binary64 S"},"reverse_directions":"対応standard差の符号反転として定義のみ。行なし。raw deltaはjournalの原名原値を保持。","arithmetic":{"dps":80,"mpmath":"1.3.0","rounding":"mpmath標準の最近接丸め（固定dependency source）","input_binary64":"bits/hex/value照合後as_integer_ratioでlift","saved_decimal":"元文字列を保持しmp.mpfで80桁へ読込","LSE":"finite最大項を引き、K昇順の逐次sum(exp(x-max))、最後max+log(sum)","precision_guarantee":false},"priors":["static_frame0","A_prediction_frozen","B_log_prediction_frozen"],"frame_missing_expansion":"evaluationsのgroup-level missingは全S/L/E・両群・全10Kに同じmissingを適用。prior支持maskは別に保持。","K_undefined_expansion":"group-level undefined/zero_support_groupはK1..10全成分。個別zero priorはnegative_infinity。","infinity_differences":"undefined/infinite_minus_infinite。両群zeroはundefined/both_zero_support。","pointer":"archive_sha256+member+member_sha256+1-based lineまたはarray_index。rawの全50/80 A/Q/L、delta、counts、diagnosticsはstage1 journal start_line..end_line。","canonical_order":"unique_id昇順、frame_index昇順。各frame内48 then148、各K1..10。","csv":"canonical recordから転記。kind/decimal/reasonを保持。空欄はzeroではない。","scope":"固定人工309frameのみ。全grid/VUV/音質/採用/独立標本推論なし。","stage1_external_evidence":{"parent_wait_selector":["external_post_fsync"],"stdout":"UTF-8厳格JSONちょうど1行。重複key、非標準数値、空行追加を拒否","equality":"sort_keys=true,separators=(comma,colon),ensure_ascii=false,allow_nan=falseでcanonical化したJSON文字列同一。bool/int/floatの型差を保持","member_binding":"各external_stdout/parent_wait pinのmemberはowner ZIP内完全名。原file bytes/SHAを確認しZIP内原bytesとの完全一致を要求","raw_mutation":false}}