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 lines
  • CHANGELOG.md +123 -0 lines
  • CONTRIBUTING.md +288 -0 lines
  • SECURITY.md +202 -0 lines
  • Added API_STABILITY.md (334 lines) — API stability guarantees and versioning policy instantiate behavioral
    1 file
    • API_STABILITY.md
  • Added CHANGELOG.md (123 lines) — project changelog specify internal
    1 file
    • CHANGELOG.md
  • Added CONTRIBUTING.md (288 lines) — contribution guide instantiate internal
    1 file
    • CONTRIBUTING.md
  • Added SECURITY.md (202 lines) — security policy harden internal
    1 file
    • SECURITY.md

Property-Based Tests (New)

9 files changed
  • test_adversarial_fuzzing.py +455 -0 lines
  • test_codec_fuzzing.py +455 -0 lines
  • test_exception_coverage.py +299 -0 lines
  • test_extreme_scale.py +201 -0 lines
  • test_marks_properties.py +215 -0 lines
  • test_memory_pressure.py +232 -0 lines
  • test_numeric_attacks.py +215 -0 lines
  • test_spec_compliance.py +462 -0 lines
  • test_unification_properties.py +285 -0 lines
  • Added tests/property_based/test_adversarial_fuzzing.py (455 lines) qualify internal
    1 file
    • test_adversarial_fuzzing.py
  • Added tests/property_based/test_codec_fuzzing.py (455 lines) qualify internal
    1 file
    • test_codec_fuzzing.py
  • Added tests/property_based/test_exception_coverage.py (299 lines) qualify internal
    1 file
    • test_exception_coverage.py
  • Added tests/property_based/test_extreme_scale.py (198 lines) qualify internal
    1 file
    • test_extreme_scale.py
  • Added tests/property_based/test_marks_properties.py (215 lines) qualify internal
    1 file
    • test_marks_properties.py
  • Added tests/property_based/test_memory_pressure.py (232 lines) qualify internal
    1 file
    • test_memory_pressure.py
  • Added tests/property_based/test_numeric_attacks.py (215 lines) qualify internal
    1 file
    • test_numeric_attacks.py
  • Added tests/property_based/test_spec_compliance.py (462 lines) qualify internal
    1 file
    • test_spec_compliance.py
  • Added tests/property_based/test_unification_properties.py (285 lines) qualify internal
    1 file
    • test_unification_properties.py
8 files changed
  • codec.py +4 -2 lines
  • adapter.py +15 -10 lines
  • explicit.py +12 -17 lines
  • encoding.py +8 -3 lines
  • test_tofusoup_compat.py +1 -1 lines
  • conftest.py +10 -10 lines
  • settings.local.json Modified
  • uv.lock Modified
  • 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 internal
    4 files
    • codec.py
    • adapter.py
    • explicit.py
    • encoding.py
  • tests/conftest.py (20 lines), tests/compatibility/test_tofusoup_compat.py (2 lines) qualify internal
    2 files
    • test_tofusoup_compat.py
    • conftest.py
  • uv.lock (578 lines changed) — dependency refresh baseline internal
    1 file
    • uv.lock
  • .claude/settings.local.json (9 lines) baseline internal
    1 file
    • settings.local.json