You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
stack-encrypt conformance: close value, refusal and raw-frame coverage gaps #1477
Stack Encrypt (packages/stack-encrypt) is the Rust engine that every CipherStash language SDK runs on. The Rust crate and the Go SDK must write and read the same bytes. The Go SDK runs the same engine as a WASI guest, compiled to WebAssembly. Python and TypeScript SDKs are coming.
The conformance corpus in conformance/stack-encrypt/ is a shared set of test cases that every language runs. It makes all SDKs agree on what each declaration and operation means.
The enrolled cases are a representative sample. They are not yet a full matrix of edge cases and refusals.
Problem
Missing edge cases let the Rust and Go implementations disagree without any test failing.
Proposal
List every supported value kind. Add the missing cases: integer limits, bytes, floats, decimal precision, time precision, null handling, and every pairing of source shape with read shape.
Add shared cases for refused operators, across each index capability and operand shape. Keep the structured error, and check that validation happens before any key is fetched.
Activity
test(conformance): add the value-kind boundary profile
test(conformance): add the shared query-refusal profile
test(conformance): add the raw-frame profile and error classes
test(conformance): enroll the new profiles and record the checkpoint
test(conformance): add the value-kind boundary profile
test(conformance): add the shared query-refusal profile
test(conformance): add the raw-frame profile and error classes
test(conformance): enroll the new profiles and record the checkpoint
test(conformance): add the value-kind boundary profile
test(conformance): add the shared query-refusal profile
test(conformance): add the raw-frame profile and error classes
test(conformance): enroll the new profiles and record the checkpoint