Skip to content

docs(editor): record source editing decision - #124

Merged
McanKul merged 1 commit into
developmentfrom
docs/11-source-editing-decision
Oct 4, 2026
Merged

McanKul merged 1 commit into
developmentfrom
docs/11-source-editing-decision

Conversation

@McanKul

@McanKul McanKul commented Oct 4, 2026

Copy link
Copy Markdown
Owner

Summary

Evidence

  • 18 synthetic PDFs, 14,624 bytes total
  • 68 classifier/preflight tests passed in 0.13 s test time
  • 0.14 s wall time and 21,381,120-byte peak RSS on the documented macOS arm64 debug harness
  • 325 Rust library tests passed in the merged fix(pdf): classify unsafe text states #123 revision

Closes #33
Refs #11

@McanKul
McanKul merged commit 7f50ff0 into development Oct 4, 2026
2 checks passed
@McanKul
McanKul deleted the docs/11-source-editing-decision branch October 4, 2026 20:51
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