pyvider-cty
2025-10-16
Documentation governance push with property-based test suite
52 files · 6,154+ · 1,751-
Governance Documentation
4 files changed
API_STABILITY.md+334 -0 linesCHANGELOG.md+123 -0 linesCONTRIBUTING.md+288 -0 linesSECURITY.md+202 -0 lines
- Added
API_STABILITY.md(334 lines) — API stability guarantees and versioning policy instantiate behavioral1 file
API_STABILITY.md
- Added
CHANGELOG.md(123 lines) — project changelog specify internal1 file
CHANGELOG.md
- Added
CONTRIBUTING.md(288 lines) — contribution guide instantiate internal1 file
CONTRIBUTING.md
- Added
SECURITY.md(202 lines) — security policy harden internal1 file
SECURITY.md
Property-Based Tests (New)
9 files changed
test_adversarial_fuzzing.py+455 -0 linestest_codec_fuzzing.py+455 -0 linestest_exception_coverage.py+299 -0 linestest_extreme_scale.py+201 -0 linestest_marks_properties.py+215 -0 linestest_memory_pressure.py+232 -0 linestest_numeric_attacks.py+215 -0 linestest_spec_compliance.py+462 -0 linestest_unification_properties.py+285 -0 lines
- Added
tests/property_based/test_adversarial_fuzzing.py(455 lines) qualify internal1 file
test_adversarial_fuzzing.py
- Added
tests/property_based/test_codec_fuzzing.py(455 lines) qualify internal1 file
test_codec_fuzzing.py
- Added
tests/property_based/test_exception_coverage.py(299 lines) qualify internal1 file
test_exception_coverage.py
- Added
tests/property_based/test_extreme_scale.py(198 lines) qualify internal1 file
test_extreme_scale.py
- Added
tests/property_based/test_marks_properties.py(215 lines) qualify internal1 file
test_marks_properties.py
- Added
tests/property_based/test_memory_pressure.py(232 lines) qualify internal1 file
test_memory_pressure.py
- Added
tests/property_based/test_numeric_attacks.py(215 lines) qualify internal1 file
test_numeric_attacks.py
- Added
tests/property_based/test_spec_compliance.py(462 lines) qualify internal1 file
test_spec_compliance.py
- Added
tests/property_based/test_unification_properties.py(285 lines) qualify internal1 file
test_unification_properties.py
Source
8 files changed
codec.py+4 -2 linesadapter.py+15 -10 linesexplicit.py+12 -17 linesencoding.py+8 -3 linestest_tofusoup_compat.py+1 -1 linesconftest.py+10 -10 linessettings.local.jsonModifieduv.lockModified
src/pyvider/cty/codec.py(6 lines),conversion/adapter.py(25 lines),conversion/explicit.py(29 lines),exceptions/encoding.py(11 lines), all function modules, and multiple type modules — incremental improvements instantiate internal4 files
codec.pyadapter.pyexplicit.pyencoding.py
tests/conftest.py(20 lines),tests/compatibility/test_tofusoup_compat.py(2 lines) qualify internal2 files
test_tofusoup_compat.pyconftest.py
uv.lock(578 lines changed) — dependency refresh baseline internal1 file
uv.lock
.claude/settings.local.json(9 lines) baseline internal1 file
settings.local.json