Repository navigation

Issues

Phase 19 — Discharge actual C99 equal32 and calculate_hash helper contracts
QSOLKCB/TOMBSTONE#28 · opened on Nov 1, 2026
Phase 18 — Unbounded C99 receipt-chain WP under explicit SHA provider contracts
QSOLKCB/TOMBSTONE#25 · opened on Nov 1, 2026
Phase 17 — Actual C99 chain verification status and anchor regression coverage
QSOLKCB/TOMBSTONE#23 · opened on Nov 1, 2026
Phase 16 — Target-model, trusted anchor and physical-event evidence boundary
QSOLKCB/TOMBSTONE#18 · opened on Nov 1, 2026
Phase 15 — Verify Rust FFI and source-to-binary refinement by target
QSOLKCB/TOMBSTONE#17 · opened on Nov 1, 2026
Phase 14 — Prove canonical receipt v1 encoding, parsing and chain properties
QSOLKCB/TOMBSTONE#16 · opened on Nov 1, 2026
Phase 13 — Connect a verified SHA-256 implementation to TOMBSTONE's exact C99 API
QSOLKCB/TOMBSTONE#15 · opened on Nov 1, 2026