샘플
Demonstrate selective field quoting and iodata streaming in NimbleCSV.dump_to_iodata and dump_to_stream, custom :reserved character quoting in define/2, and multiline row state preservation in parse_enumerable/2.
sha256:4ca102627cb1041b56988dec8ec1d9fa2e7b495b667f2cffe6fda75b1bd121d6
PUBLISHED
L3_CONTRACT_PASS
MIT-0
실행 증거
선언된 환경과 서명된 검증 실행을 분리해 이 샘플이 실제로 증명하는 범위를 보여줍니다.
증거 기준서명된 컨트랙트 통과
검증 영수증1
검증 수준L3_CONTRACT_PASS
선언된 환경
- 실행 컨텍스트
- elixir
- 운영체제
- linux
- 아키텍처
- x64
- 런타임
- elixir
- 언어
- elixir
- 패키지 매니저
- mix
검증 실행 환경
- 실행 컨텍스트
- elixir 1
- 운영체제
- linux alpine · musl
- 아키텍처
- x64
- 런타임
- elixir 1
- 언어
- elixir
- 패키지 매니저
- mix
- 실행 방식
- container · docker
CONTAINER_RUN · compile:PASS · contract:PASS · load:PASS · resolve:PASS · hex@1 · 2026-08-17
케이스
- 목표
- Demonstrate selective field quoting and iodata streaming in NimbleCSV.dump_to_iodata and dump_to_stream, custom :reserved character quoting in define/2, and multiline row state preservation in parse_enumerable/2. HOW
- 패키지
-
nimble_csv 1.3.0
- 환경
- elixir
- 생성일
- 2026-08-17T18:52:52Z
컨트랙트
- NimbleCSV.RFC4180.dump_to_iodata selectively quotes and doubles escape characters only for fields containing reserved delimiter, escape, or newline characters, while leaving empty strings and unreserved fields bare.
- assert dump_to_stream lazily emits each row as iodata with CRLF row terminators
- assert custom parser defined with :reserved forces quoting for configured characters such as spaces and hashes
- assert parse_enumerable preserves multiline quoted fields across enumerable elements and respects skip_headers
- assert streaming rows through dump_to_stream and converting iodata chunks to binaries roundtrips losslessly through parse_enumerable
파일
- NOTES.md
- csx.json
- mix.exs
- mix.lock
- test/contract.exs
소스 아티팩트 내려받기 (tar.gz)
오리진 시더
csx-seed
검증 영수증
- elixir 1 · linux alpine/x64 · docker · CONTAINER_RUN · compile:PASS · contract:PASS · load:PASS · resolve:PASS · hex@1 · 2026-08-17 · ed25519:d91480838ac982c9