# Paper Artifacts (`docs/paper/`)
The submission package for the SCI-Q2 paper route. 41 files grouped
into 6 buckets by purpose. Most reviewers should read these top-down,
starting with `outline.md` and `manuscript_draft.md`.
## Manuscript
The current draft and the bare-bones skeleton it is being filled from.
- [`outline.md`](outline.md) — top-level paper outline and section map.
- [`manuscript_draft.md`](manuscript_draft.md) — current manuscript
draft (work in progress; not yet author-approved).
- [`manuscript_skeleton.md`](manuscript_skeleton.md) — bare-bones
section structure with placeholders.
- [`certified_padic_gemm_manuscript_delta.md`](certified_padic_gemm_manuscript_delta.md) —
delta between the manuscript draft and the certified p-adic GEMM
claim route.
- [`table_figure_plan.md`](table_figure_plan.md) — manuscript-ready
table and figure plan (turns generated artifacts into Tables/Figures).
- [`related_work_synthesis.md`](related_work_synthesis.md) —
manuscript-ready related-work prose (turns the P154 prior-art matrix
into prose).
- [`evaluation_methodology.md`](evaluation_methodology.md) —
reproducible reviewer-facing evidence methodology.
## Contribution & claim
What the paper claims, in machine-checkable form.
- [`contribution_map.md`](contribution_map.md) — which P-numbered
phase contributed which paper claim.
- [`formal_model.md`](formal_model.md) — the formal model underlying
the certified p-adic GEMM claim.
- [`trust_model.md`](trust_model.md) — what the verifier actually
trusts; the trust boundary.
## Release & submission
The release-gate and submission-readiness artifacts.
- [`final_submission_readiness.md`](final_submission_readiness.md) —
the 9 paper-hygiene gates that must all pass.
- [`readiness_audit.md`](readiness_audit.md) — point-in-time readiness
audit log.
- [`release_checklist.md`](release_checklist.md) — reviewer-facing
release checklist.
- [`release_bundle_manifest.md`](release_bundle_manifest.md) — file
inventory and checksum policy.
- [`submission_checklist.md`](submission_checklist.md) — pre-submit
checklist.
- [`post_approval_submission_readiness_gate.md`](post_approval_submission_readiness_gate.md) —
the post-approval readiness gate.
- [`final_validation_record.md`](final_validation_record.md) — the
fenced validation-status record (P270, P440).
- [`schema_inventory.md`](schema_inventory.md) — schema inventory for
the fenced status blocks.
## Target-package templates
Templates for the JSC / SCI-Q2 / target-package submission routes.
- [`jsc_submission_draft.md`](jsc_submission_draft.md) — JSC-targeted
submission draft.
- [`jsc_target_verification_packet.md`](jsc_target_verification_packet.md) —
JSC verification packet (the structured artifact bundle).
- [`final_author_approval_packet_template.md`](final_author_approval_packet_template.md) —
final author approval packet template.
- [`target_formatting_plan_template.md`](target_formatting_plan_template.md) —
target-formatting plan template.
- [`target_formatting_instantiation_checklist.md`](target_formatting_instantiation_checklist.md) —
target-formatting instantiation checklist.
- [`target_package_evidence_review_log_template.md`](target_package_evidence_review_log_template.md) —
target-package evidence review log template.
- [`target_package_freeze_protocol.md`](target_package_freeze_protocol.md) —
target-package freeze protocol.
- [`target_submission_package_manifest_template.md`](target_submission_package_manifest_template.md) —
target-submission-package manifest template.
## Venue
Per-venue evidence and decision briefs.
- [`venue_decision_brief.md`](venue_decision_brief.md) — venue decision
brief.
- [`venue_evidence_matrix.md`](venue_evidence_matrix.md) — per-venue
(JSC, Clarivate) evidence matrix.
- [`venue_evidence_integration.md`](venue_evidence_integration.md) —
venue evidence integration protocol.
- [`venue_evidence_request.md`](venue_evidence_request.md) — venue
evidence request template.
- [`venue_shortlist_protocol.md`](venue_shortlist_protocol.md) —
venue shortlist protocol.
## Trust & proof
ROCm/HIP portability, Lean proof scope, and post-submission follow-up.
- [`rocm_portability_matrix.md`](rocm_portability_matrix.md) — ROCm/HIP
portability matrix (P375 unblock path).
- [`proof_assistant_scope.md`](proof_assistant_scope.md) — Lean-side
proof scope (P372 unblock path).
- [`optional_lean_checker.md`](optional_lean_checker.md) — optional
Lean checker usage.
- [`post_submission_accelerators.md`](post_submission_accelerators.md) —
post-submission accelerator work.
- [`post_submission_benchmarks.md`](post_submission_benchmarks.md) —
post-submission benchmark plan.
- [`post_submission_packaging.md`](post_submission_packaging.md) —
post-submission packaging.
- [`post_submission_serialization.md`](post_submission_serialization.md) —
post-submission serialization strategy.
- [`post_submission_tracking_template.md`](post_submission_tracking_template.md) —
post-submission tracking template.
- [`post_submission_witnesses.md`](post_submission_witnesses.md) —
post-submission witness-evidence collection.
- [`serialization_strategy.md`](serialization_strategy.md) — overall
serialization strategy.