Back-merge after posture fix - #141

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

test_falsification_thing02_contract::test_falsify_c41_readme_first_sentence_is_true — resolve and convert it, or restore the assertion if it was weakened (C-68)

test_falsification_thing02_contract::test_falsify_c38_conformance_vector_released_with_its_consumers — resolve and convert it, or restore the assertion if it was weakened (C-68)

test_falsification_enough_info_to_set_up_repo::test_falsify_05_license_and_python_floor_decided — resolve and convert it, or restore the assertion if it was weakened (C-68)

test_falsification_enough_info_orthogonal::test_falsify_r2_04_first_commit_gate_sequencing_documented — resolve and convert it, or restore the assertion if it was weakened (C-68)

test_falsification_enough_info_orthogonal::test_falsify_r2_03_integration_test_isolation_specified — resolve and convert it, or restore the assertion if it was weakened (C-68)