mirror of
https://github.com/storytold/pdfcraft.git
synced 2026-11-09 12:32:52 +00:00
KenM76andClaude Opus 5.5
83b230ae73
New standalone L0 crate pdfcraft-prc: the PRC container walk (file header, file-structure descriptions, per-section zlib inflation under a 512 MiB ceiling), the bit-level primitives of the compressed sections, and the schema interpreter a newer producer uses to describe fields it added (step and nesting ceilings). The Double prefix-code table is not in this commit: Double reads return UnknownDoubleCode, and the tests that need the table are ignored with that reason. Adapted from pdfcer (MIT, same author), crates/pdfcer-3d at 0c9742b5936232af89cd707138ef149dc1f4a660. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01SqmHYx8FiWM5PcsoiErgp9
42 lines
1.4 KiB
Rust
42 lines
1.4 KiB
Rust
//! Arbitrary bytes through every reader: an error or a value, never a panic.
|
|
|
|
use pdfcraft_prc::{BitReader, PrcFile, Schema};
|
|
use proptest::prelude::*;
|
|
|
|
proptest! {
|
|
#[test]
|
|
fn any_bytes_parse_or_fail_cleanly(data in proptest::collection::vec(any::<u8>(), 0..512), magic in any::<bool>()) {
|
|
let mut data = data;
|
|
if magic && data.len() >= 3 {
|
|
data[..3].copy_from_slice(b"PRC");
|
|
}
|
|
let _ = PrcFile::parse_with_limit(&data, 1 << 20);
|
|
}
|
|
|
|
#[test]
|
|
fn any_bits_read_or_fail_cleanly(data in proptest::collection::vec(any::<u8>(), 0..64), n in 0u32..40) {
|
|
let mut r = BitReader::new(&data);
|
|
let _ = r.unsigned_integer();
|
|
let _ = r.integer();
|
|
let _ = r.integer_vbn(n);
|
|
let _ = r.double_vbn(0.5, n);
|
|
let _ = r.nbits_then_unsigned();
|
|
let _ = r.string();
|
|
let _ = r.float_as_bytes();
|
|
let _ = r.double();
|
|
let _ = r.skip_bits(usize::try_from(n).unwrap_or(0));
|
|
prop_assert!(r.position() <= data.len() * 8);
|
|
}
|
|
|
|
#[test]
|
|
fn any_schema_runs_or_fails_cleanly(data in proptest::collection::vec(any::<u8>(), 0..256), entity in 0u32..4) {
|
|
let mut r = BitReader::new(&data);
|
|
if let Ok(schema) = Schema::read(&mut r) {
|
|
let types: Vec<u32> = schema.entity_types().chain([entity]).collect();
|
|
for t in types {
|
|
let _ = schema.skip_added_fields(t, &mut r.clone());
|
|
}
|
|
}
|
|
}
|
|
}
|