Standalone computational specification

require(finegrain_cost((1, 2)) == 4, "wrong FG cost") require(finegrain_cost((1, 1)) == 2, "wrong uniform cost") require(finegrain_cost((2, 2)) == 2, "multiplicities were not reduced") require(finegrain_cost((3, 5)) == 7, "wrong FG cost") require(len(finegrain_words((1, 2))) == 3, "wrong certificate support")

expected_fg = 4: F(1, 6), 5: F(1, 8), 6: F(1, 10) for N, value in expected_fg.items(): require(binary_mesh(binary_finegrain_net(N)) == value, "wrong fine-graining mesh") for N in range(3, 7): require(binary_mesh(binary_certified_net(N)) == F(1, 2 * N), "wrong combined certificate mesh")

exact_partial_compensation()

# Supplied symbolic ranks: projective instrument and depolarization. require(one_shot_ledger_from_ranks((1, 1), 1, 1) ["one_shot_peak"] == 2, "wrong projective-instrument ledger") require(one_shot_ledger_from_ranks((4,), 1, 1) ["one_shot_peak"] == 3, "wrong depolarizing one-shot ledger")

def main(): run_exact_regressions() print("Exact finite regressions: PASS") print("This pass is package evidence, not a quantified certificate.") for N in range(3, 7): print("capacity", N, "FG radius", binary_mesh(binary_finegrain_net(N)), "combined radius", binary_mesh(binary_certified_net(N))) print(exact_partial_compensation()) print(sample_rigidity_identities(BornStrategy()))

if __name__ == "__main__": main()