Evidence

diagnostics.json

Download source fileOpen in research workspace
{
  "status": "Provisional preparation diagnostics for root selection; no numbered actions.",
  "question_register_sha256": "84bb7b90692f9fb0e626a9583db12a00551647fa88a5ffdc7ecce497b6ef55c0",
  "created_utc": "2026-09-28T03:42:00.179527+00:00",
  "diagnostics": {
    "ST01": {
      "combined_rank": 9,
      "counts": [
        200,
        20,
        200,
        20,
        40,
        10,
        30,
        20,
        10
      ],
      "measurements": [
        20,
        40,
        50,
        250,
        450,
        490,
        200,
        400,
        430,
        470,
        490,
        550
      ],
      "recovered": [
        200,
        20,
        200,
        20,
        40,
        10,
        30,
        20,
        10
      ]
    },
    "ST02": {
      "rank_without_total": 8,
      "kernel": [
        [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          1
        ]
      ]
    },
    "ST03": {
      "basis_labels": [
        "clean_prefix1",
        "clean_prefix2",
        "clean_prefix3",
        "clean_prefix4",
        "clean_prefix5",
        "clean_prefix6",
        "female_prefix3",
        "female_prefix5",
        "grand_total"
      ],
      "basis_matrix": [
        [
          0,
          1,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        [
          0,
          1,
          0,
          1,
          0,
          0,
          0,
          0,
          0
        ],
        [
          0,
          1,
          0,
          1,
          0,
          1,
          0,
          0,
          0
        ],
        [
          1,
          1,
          0,
          1,
          0,
          1,
          0,
          0,
          0
        ],
        [
          1,
          1,
          1,
          1,
          0,
          1,
          0,
          0,
          0
        ],
        [
          1,
          1,
          1,
          1,
          1,
          1,
          0,
          0,
          0
        ],
        [
          1,
          0,
          1,
          0,
          0,
          0,
          1,
          0,
          0
        ],
        [
          1,
          0,
          1,
          0,
          1,
          0,
          1,
          1,
          0
        ],
        [
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          1
        ]
      ],
      "determinant": 1,
      "measurement_values": [
        20,
        40,
        50,
        250,
        450,
        490,
        430,
        490,
        550
      ],
      "inverse": [
        [
          0,
          0,
          -1,
          1,
          0,
          0,
          0,
          0,
          0
        ],
        [
          1,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        [
          0,
          0,
          0,
          -1,
          1,
          0,
          0,
          0,
          0
        ],
        [
          -1,
          1,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        [
          0,
          0,
          0,
          0,
          -1,
          1,
          0,
          0,
          0
        ],
        [
          0,
          -1,
          1,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        [
          0,
          0,
          1,
          0,
          -1,
          0,
          1,
          0,
          0
        ],
        [
          0,
          0,
          0,
          0,
          1,
          -1,
          -1,
          1,
          0
        ],
        [
          0,
          0,
          -1,
          0,
          0,
          0,
          0,
          -1,
          1
        ]
      ]
    },
    "ST04": {
      "clean_unclean_rank": 9,
      "determinant": -1,
      "clean_prefixes": [
        20,
        40,
        50,
        250,
        450,
        490
      ],
      "unclean_prefixes": [
        20,
        50,
        60
      ]
    },
    "ST05": {
      "all_three_register_rows": 14,
      "rank": 9,
      "dependency_dimension": 5,
      "left_relations": [
        [
          0,
          0,
          1,
          -1,
          0,
          0,
          1,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        [
          0,
          0,
          1,
          0,
          -1,
          0,
          0,
          1,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        [
          0,
          0,
          0,
          0,
          1,
          -1,
          0,
          0,
          -1,
          1,
          0,
          0,
          0,
          0
        ],
        [
          0,
          0,
          0,
          0,
          -1,
          1,
          0,
          0,
          1,
          0,
          -1,
          1,
          0,
          0
        ],
        [
          0,
          0,
          -1,
          0,
          0,
          1,
          0,
          0,
          0,
          0,
          -1,
          0,
          1,
          0
        ]
      ],
      "source_only_equalities": {
        "clean_prefix1_equals_unclean_prefix1": true,
        "clean_prefix3_equals_unclean_prefix2": true
      },
      "note": "The two equalities at counts20 and50 require the supplied count values; they are not identities for arbitrary counts."
    },
    "ST06": {
      "count_rank_with_both_anchored_walks": 9,
      "absolute_coordinate_unknown": "A",
      "gauge": "Adding the same constant to every landing and A leaves every reconstructed count unchanged. One absolute anchor removes this one-dimensional freedom."
    },
    "ST07": {
      "template_matrix": [
        [
          0,
          0,
          2,
          1,
          1,
          70,
          1
        ],
        [
          0,
          0,
          1,
          1,
          1,
          14,
          1
        ],
        [
          1,
          1,
          7,
          7,
          7,
          98,
          7
        ],
        [
          0,
          0,
          1,
          1,
          1,
          7,
          1
        ]
      ],
      "species_only_rank": 4,
      "species_only_kernel": [
        [
          -1,
          1,
          0,
          0,
          0,
          0,
          0
        ],
        [
          0,
          0,
          0,
          -1,
          1,
          0,
          0
        ],
        [
          0,
          0,
          0,
          -1,
          0,
          0,
          1
        ]
      ],
      "complete_constraint_matrix": [
        [
          0,
          0,
          2,
          1,
          1,
          70,
          1
        ],
        [
          0,
          0,
          1,
          1,
          1,
          14,
          1
        ],
        [
          1,
          1,
          7,
          7,
          7,
          98,
          7
        ],
        [
          0,
          0,
          1,
          1,
          1,
          7,
          1
        ],
        [
          0,
          0,
          0,
          1,
          -1,
          0,
          0
        ],
        [
          0,
          0,
          0,
          0,
          1,
          0,
          -1
        ],
        [
          1,
          0,
          0,
          0,
          0,
          0,
          0
        ]
      ],
      "rank": 7,
      "amplitudes": [
        44,
        6,
        1,
        1,
        1,
        1,
        1
      ],
      "meaning": [
        "daily lamb count",
        "Sabbath lamb count",
        "New Moon row multiplier",
        "Trumpets multiplier",
        "Atonement multiplier",
        "Sukkot block multiplier",
        "Eighth Day multiplier"
      ]
    },
    "ST08": {
      "without_daily_rank": 6,
      "without_daily_kernel": [
        [
          -1,
          1,
          0,
          0,
          0,
          0,
          0
        ]
      ],
      "without_festival_equalities_rank": 5,
      "without_festival_equalities_kernel": [
        [
          0,
          0,
          0,
          -1,
          1,
          0,
          0
        ],
        [
          0,
          0,
          0,
          -1,
          0,
          0,
          1
        ]
      ],
      "note": "Equal feast multipliers and the44 daily lamb count are independently retained source constraints; they are not inferred from species totals."
    },
    "ST09": {
      "first_day_from_total189_n7_decrement1": 30,
      "day_totals": [
        30,
        29,
        28,
        27,
        26,
        25,
        24
      ],
      "conditional_bulls_with_uniform_nonbull17": [
        13,
        12,
        11,
        10,
        9,
        8,
        7
      ],
      "same_total_positive_strictly_descending_day_sequences": [
        [
          30,
          29,
          28,
          27,
          26,
          25,
          24
        ],
        [
          33,
          31,
          29,
          27,
          25,
          23,
          21
        ],
        [
          36,
          33,
          30,
          27,
          24,
          21,
          18
        ],
        [
          39,
          35,
          31,
          27,
          23,
          19,
          15
        ],
        [
          42,
          37,
          32,
          27,
          22,
          17,
          12
        ],
        [
          45,
          39,
          33,
          27,
          21,
          15,
          9
        ],
        [
          48,
          41,
          34,
          27,
          20,
          13,
          6
        ],
        [
          51,
          43,
          35,
          27,
          19,
          11,
          3
        ]
      ],
      "same_total_positive_bull_sequences_given_nonbull17": [
        [
          13,
          12,
          11,
          10,
          9,
          8,
          7
        ],
        [
          16,
          14,
          12,
          10,
          8,
          6,
          4
        ],
        [
          19,
          16,
          13,
          10,
          7,
          4,
          1
        ]
      ],
      "note": "Decrement1 remains the source constraint. The displayed alternative sequences are formal diagnostics with the same189 day total (or70 bull total), not admitted ritual alternatives."
    },
    "ST10": {
      "declared_landings": {
        "step2": 1446,
        "step7": 536
      },
      "forward_fit": {
        "scale": "7",
        "anchor": "1859",
        "landings": [
          "1859",
          "1649",
          "1446",
          "1250",
          "1061",
          "879",
          "704",
          "536",
          "466"
        ]
      },
      "constraint_determinant": 130
    },
    "ST11": {
      "wrong_order_same_positions_fit": {
        "scale": "182/27",
        "anchor": "45230/27",
        "landings": [
          "45230/27",
          "14470/9",
          "1446",
          "34492/27",
          "9920/9",
          "8282/9",
          "19750/27",
          "536",
          "3004/9"
        ]
      },
      "third_constraint": "The separately recorded head1859 or final466 rejects reverse order with unchanged step2/step7 role assignments. These are already fitted source tables, not untouched holdouts. Reverse order has its own correctly indexed source walk; no source route is repaired."
    },
    "ST12": {
      "unknowns": [
        "Enoch radius w",
        "slot unit u"
      ],
      "matrix": [
        [
          "1/69",
          -1
        ],
        [
          "2/23",
          -6
        ]
      ],
      "rank": 1,
      "second_row_multiple": 6
    },
    "ST13": {
      "kernel": [
        [
          69,
          1
        ]
      ],
      "relation": "w=69u",
      "free_metric_parameters": 1
    },
    "ST14": {
      "augmented_metric_rank": 2,
      "solution_w_u": [
        4830,
        70
      ],
      "retained_condition": "The source BJ trunk2450 occupies35 supplied NT slots."
    },
    "ST15": {
      "unknowns": [
        "hinge A",
        "unit u"
      ],
      "placement_matrix": [
        [
          1,
          55
        ],
        [
          1,
          20
        ]
      ],
      "determinant": -35,
      "source_BC_values": [
        3856,
        1406
      ],
      "solution": [
        6,
        70
      ],
      "conditional_redundancy": "With these supplied co-registrations, separate6BC and70-year numeric premises are derivable. Because the displayed slots were generated with those premises, this is a consistency/reparameterization result, not independent provenance reduction."
    },
    "ST16": {
      "with_head_bookend_slots": [
        21,
        35,
        21
      ],
      "without_head_bookend_slots": [
        20,
        35,
        21
      ],
      "outer_arm_difference_years": 70,
      "status": "Role-removal diagnostic; no source span lock is changed."
    },
    "ST17": {
      "primary_boundary_labels": 78,
      "repeated_token_classes": {
        "Judah": [
          24,
          42
        ],
        "Joseph": [
          41,
          69,
          75
        ],
        "Levi": [
          44,
          72
        ],
        "Matthat": [
          45,
          73
        ],
        "Melki": [
          53,
          71
        ],
        "Mattathias": [
          62,
          68
        ]
      },
      "reflection_descends_to_token_quotient": false,
      "violations": [
        {
          "source_token": "Judah",
          "indices": [
            24,
            42
          ],
          "reflected_tokens": [
            "Melki",
            "Nathan"
          ]
        },
        {
          "source_token": "Joseph",
          "indices": [
            41,
            69,
            75
          ],
          "reflected_tokens": [
            "Mattatha",
            "Methuselah",
            "Seth"
          ]
        },
        {
          "source_token": "Levi",
          "indices": [
            44,
            72
          ],
          "reflected_tokens": [
            "Jesse",
            "Mahalalel"
          ]
        },
        {
          "source_token": "Matthat",
          "indices": [
            45,
            73
          ],
          "reflected_tokens": [
            "Kenan",
            "Obed"
          ]
        },
        {
          "source_token": "Melki",
          "indices": [
            53,
            71
          ],
          "reflected_tokens": [
            "Jared",
            "Judah"
          ]
        },
        {
          "source_token": "Mattathias",
          "indices": [
            62,
            68
          ],
          "reflected_tokens": [
            "Eber",
            "Lamech"
          ]
        }
      ],
      "guard": "Token equality is used solely as a formal quotient diagnostic and never identifies the named persons."
    },
    "ST18": {
      "occurrence_names": [
        "heavens and earth",
        "Adam",
        "Noah",
        "sons of Noah",
        "Shem",
        "Terah",
        "Ishmael",
        "Isaac",
        "Esau",
        "Esau",
        "Jacob"
      ],
      "major_section_order": [
        "heavens and earth",
        "Adam",
        "Noah",
        "sons of Noah",
        "Shem",
        "Terah",
        "Ishmael",
        "Isaac",
        "Esau",
        "Jacob"
      ],
      "occurrence_to_section": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        9,
        10
      ],
      "partition": [
        [
          1
        ],
        [
          2
        ],
        [
          3
        ],
        [
          4
        ],
        [
          5
        ],
        [
          6
        ],
        [
          7
        ],
        [
          8
        ],
        [
          9,
          10
        ],
        [
          11
        ]
      ]
    },
    "ST19": {
      "occurrence_reflection": "i -> 12-i",
      "Terah_occurrence": 6,
      "descends": false,
      "obstructions": [
        {
          "block": [
            9,
            10
          ],
          "reflected_occurrences": [
            3,
            2
          ],
          "reflected_major_sections": [
            2,
            3
          ]
        }
      ]
    },
    "ST20": {
      "section_multiplicities": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        2,
        1
      ],
      "sum": 11,
      "weighted_Terah_slot": 6,
      "unweighted_Terah_rank": 6,
      "before_after_other_sections": [
        5,
        4
      ],
      "before_after_other_occurrences": [
        5,
        5
      ]
    },
    "ST21": {
      "smallest_reflection_stable_closure": [
        [
          1
        ],
        [
          2,
          3
        ],
        [
          4
        ],
        [
          5
        ],
        [
          6
        ],
        [
          7
        ],
        [
          8
        ],
        [
          9,
          10
        ],
        [
          11
        ]
      ],
      "quotient_classes": 9,
      "extra_required_merge": [
        "Adam",
        "Noah"
      ],
      "authorization": "Diagnostic only; source treats Adam and Noah as different major sections."
    },
    "ST22": {
      "occurrence_poles": [
        1,
        6,
        11
      ],
      "occurrence_arm_steps": [
        5,
        5
      ],
      "major_section_poles": [
        1,
        6,
        10
      ],
      "major_section_arm_steps": [
        5,
        4
      ],
      "note": "Both counts are legitimate measured objects. Source section multiplicity recovers the occurrence measure without changing textual sections."
    },
    "ST23": {
      "criterion": "A quotient map q carries an involution R iff q(x)=q(y) implies q(Rx)=q(Ry). A selected boundary subset carries R iff it is R-invariant. For ordered interval coarsening, R must permute complete blocks.",
      "toledot": "Fails because Esau occurrences9,10 reflect into distinct Noah3 and Adam2 sections.",
      "NT_490_blocks": {
        "fine_edges": 77,
        "block_size": 7,
        "blocks": 11,
        "block_map": "b -> 10-b (b=0,...,10)",
        "boundary_map": "m -> 11-m (m=0,...,11)"
      },
      "guard": "Do not conflate a point quotient, interval coarsening and invariant boundary subset."
    },
    "ST24": {
      "strong_new_connections": [
        "Joint Esau measurement basis is unimodular and recovers the complete list.",
        "Tishri row predicates distinguish allowed cell changes from unrestricted margin-preserving changes.",
        "NT marked Key equations have rank1, exposing their dependence.",
        "Toledot contraction loses reflection unless multiplicity or a non-source regrouping is retained."
      ],
      "input_reduction_ceiling": "Each reconstruction is conditional. Derived measurements of the same source data provide exact alternative coordinates, not independent historical evidence for the values."
    }
  },
  "verification_checks": {
    "Esau_basis_inverse_identity": true,
    "Esau_basis_recovers_literal_nine": true,
    "joint_kernel_certified": true,
    "all_register_relations_certified": true,
    "Tishri_constraints_recover_rhs": true,
    "Tishri_template_kernels_certified": true,
    "all_day_alternatives_preserve189": true,
    "all_bull_alternatives_preserve70": true,
    "NT_knot_dependence_exact": true,
    "NT_placement_recovers_two_source_coordinates": true,
    "Toledot_closure_is_reflection_stable": true,
    "all24_questions_have_diagnostics": true
  }
}
Edition and provenance

diagnostics.json

SHA-256 bd0b1df4189a27f6aa31ce14be33bae48230bfa213926a2a00c97bf812e60859

C480–C1634/Research_Cycles/C0932_C1131/prep/structural_transfer/diagnostics.json