{"classification":{"exact_symbolic_or_combinatorial":["falling-factorial residual identities","source-probability entropy identity via rational prime signatures","scalar-envelope branch conditions and pointwise monotonicity","lifted population-state return cycles and finite reachability symmetry","exhaustive certificate-validated three-species top-complex atlas","rate-degeneration target-following recursion and asymptotic coefficient","ACK Example 4.1 unshifted drift and marked-target episode","random-time Foster, regenerative occupation, and absorbing-state calibrations","boundary, finite-class, channel, and target-following calibrations"],"floating_numerical_calibrations":[],"seeded_stress_tests_not_used_as_proof":["certificate-validated random four-species top-complex classifications"]},"fixed_random_seeds":{"random_four_species":20260806},"package_version":"1.2.0","python_required":">=3.11","schema_version":2,"source_sha256":{"CITATION.cff":"7ab514f70d773d3610d77aa0fe672a91fec759d4898992ed5599b38b11fe6fb9","LICENSE":"0f16c3c6989a92711704f27a725108051283efc0b3dd3aff544594f8bf8f6579","README.md":"bac4dc8ba1997063d73c453a73d68db7595e9dd2d0be026cfb29e339252d13c7","build_backend.py":"782108c8907da6f76f2510354b0519dc8f86fe1ace31253a22a044ffdf4fb183","pyproject.toml":"71b2d810f00b3370eee1da63bf6309bb47d70f42b8df66d76086012a500788e4","reproduce.sh":"4dd4055c2e6d15e498589a0822a692d052c9f4468704ab7b00609b7118467fac","src/bimolecular_pr/__init__.py":"acaba656e14849c6a546eada97fa12c88bc627f61bef4e5d182fe288c847e13a","src/bimolecular_pr/episode_bounds.py":"e402cbb9bc4796ab8619ec014a99821128ebb38ed284eb59c0889abdfe5ead4c","src/bimolecular_pr/network.py":"b2c2ad24c89b19e96f4f348ef0d5ede201bebcc6352c31e674b2f48db85a050c","src/bimolecular_pr/publication_v1_1_calibrations.py":"dd59612aeb0b8d97c538f0731bd15e2aa0322fc60df036f617443c6e5963c80b","src/bimolecular_pr/publication_v1_calibrations.py":"9c966dba9e5680d4c010adf364c839f0ec8ea4e4fab3492c4bd8700e9fa2ccf8","src/bimolecular_pr/state_cycle.py":"ae95de78612e0cd9f5c365265f936f3da9eee664b1ba4bd01521ed49a5dfbe4c","src/bimolecular_pr/target_augmented.py":"942000897de07f1535f9b9848ffd3c4e608eeaca5b6b44a5a9e492eaea36165a","src/bimolecular_pr/top_complex_dichotomy.py":"71325fc0b185895bb7cc52266796ccc3ef12b52dca76c8cad06f91ade877f721","src/bimolecular_pr/verification.py":"a0299c54b5ba04e8fdf6a8aa70868493f3ab620686fabe3fab958dff16254bd2","tests/test_boundary_lattice.py":"040223686a9defa5b21a1a2ea0d1f77aa0ca3c3ee61f4c2734abe36cc168be10","tests/test_episode.py":"411b53efb55df40ea73116be526bc90076adc21f0cadcbb228fae5b7ea94b95f","tests/test_network.py":"97fb6d76970e7488f6c6f18966e756f739634a41dc2af9278211f39f6d60bef2","tests/test_publication_v1.py":"c9582a90542d50d3d28406ba8ac4c9da2f7f03b7d7b65722165ca23c00a47dad","tests/test_publication_v1_1.py":"e9c753363f4eeec518ab6ee623d92150c20c5dc409819b63a33d9d1f2852f7bc","tests/test_top_complex.py":"061c7df9433b9df4ad272352ca244466dac9b629fbee3030656bb99392a9025b","tests/test_verification.py":"8ea0b762a45713bc3512b49c00d2f5c6a00c8bed90c8f3ecbee9c2ce245abe56"},"stable_checks":{"calibrations":{"absorbing_singleton_stationary_law_is_point_mass":true,"absorbing_zero_state_has_no_enabled_channel":true,"ack_unshifted_entropy_generator_drift_is_exact":true,"all_qJ_one_is_the_previously_handled_all_top_case":true,"canonical_cycle_binary":true,"canonical_cycle_strongly_connected":true,"canonical_cycle_target_following_increments_zero":true,"equal_molecularity_source_probabilities":true,"finite_molecularity_one_class_closed":true,"parallel_combination_rate":true,"rate_degeneration_finite_recursion_has_both_log_terms":true,"rate_degeneration_fixed_m_limit_is_a_times_one_plus_p":true,"rate_degeneration_log_coefficient_is_exact":true,"same_displacement_channels_retained":true,"stopped_foster_W_increment_is_nonpositive":true,"three_state_return_cycle_normalization_is_stationary":true,"two_state_return_cycle_occupation_is_stationary":true,"zero_complex_falling_factorial_is_one":true,"zero_length_path_probability_is_one":true},"exact_ack_example_checks":24,"exact_entropy_signature_checks":172,"exact_factorial_checks":3318,"exact_scalar_branch_checks":36,"exact_state_cycle_checks":{"finite_population_states":8,"finite_reachability_pairs":26,"lifted_edge_witnesses":58},"seeded_random_top":{"case_counts":{"all_top_invariant":87,"service_availability":34,"signed_invariant":21,"two_divergent_availability":4640,"unary_top_availability":218},"cases":5000,"sha256":"4974d6213318ea627ae4dcec955d9f4d4c192a3c38a96c66504501cff63ea2d1"},"three_species_top_atlas":{"case_counts":{"all_top_invariant":1423,"service_availability":2436,"signed_invariant":288,"two_divergent_availability":86373,"unary_top_availability":7741},"cases":98261,"complex_subsets":1013,"complexes":10,"normalized_weights":55,"sha256":"6bc68fa9ffa0643e3ad4356b02d40839bb8cee28ed0fac026eb6b65881cedf27","weight_divergent_pairs":97}},"status":"pass"}