Skip to content

test: add fast-check property hardening - #68

Merged
rlippmann merged 2 commits into
mainfrom
fast_check
Sep 8, 2026
Merged

rlippmann merged 2 commits into
mainfrom
fast_check

Conversation

@rlippmann

@rlippmann rlippmann commented Sep 8, 2026 •

Copy link
Copy Markdown
Owner

Summary

Add supplemental fast-check property-based hardening for the TypeScript core.

Why

Exercise broad grammar, normalization, state-transition, persistence, and atomicity spaces without replacing Python-authored conformance fixtures.

Scope checklist

  • Diff is minimal and scoped to the requested behavior
  • Python/spec parity is preserved (fixtures remain authoritative)
  • Fixture semantics are respected
  • No unrelated refactors
  • Relevant validation was run (npm test)

Notes

Added fast-check as a development dependency and six bounded properties. The policy identity and invalid-import generators now explore broader structured input spaces. No runtime implementation changes were made. This PR does not modify synced fixtures or provenance, so fixture drift is not applicable.

Validation details:

  • npm test: passed (263/263)
  • Property suite: passed (6/6)
  • npm run build: passed
  • npm audit: 0 vulnerabilities

@rlippmann
rlippmann merged commit 60981e7 into main Sep 8, 2026
2 checks passed
@rlippmann
rlippmann deleted the fast_check branch September 8, 2026 04:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant