README FIRST — Ark Verification Command Center Evaluation Kit v0.1

What Is This Packet?

This packet is a public evidence-operations kit for Ark Verification Command Center. It packages evidence memos, known limitations, review-compression reports, provenance summaries, and manifest lineage materials.

The Command Center is an evidence visualization layer. It organizes bounded verification artifacts for triage, replay, provenance, limitations, and escalation review. It does not generate final verification truth.

What Should I Open First?

• ARK_VERIFICATION_COMMAND_CENTER_EVIDENCE_MEMO_v1.0.html
• ARK_VERIFICATION_COMMAND_CENTER_PAID_EVALUATION_SCOPE_v0.1.html
• KNOWN_LIMITATIONS.html

What Is Public Here?

The public packet shows evidence organization, limitation language, manifest lineage, review-compression reports, and provenance summaries. Additional technical implementation details are available during partner evaluation.

What Does The Evaluator Supply?

• A sanitized evidence folder containing Markdown/JSON reports.
• Optional formal proof logs, synthesis outputs, cone artifacts, manifests, traces, or screenshots.
• Optional reference/candidate RTL pair if paired with RTL Review Witness.

What Does Ark Return?

• Evidence index and review summary.
• Evidence locker and manifest lineage.
• Replay and provenance summary.
• Review-compression summary when RTL replay is included.
• Known limitations and remaining human-review items.

What Is Not Claimed?

• Not a proof engine.
• Not final verification closure.
• Not whole-chip correctness.
• Not security signoff.
• Not guaranteed Trojan detection.
• Not a replacement for EDA tools or human review.

5-Minute Review Path

1. 1. Open ARK_VERIFICATION_COMMAND_CENTER_EVIDENCE_MEMO_v1.0.html.
2. 2. Review KNOWN_LIMITATIONS.html.
3. 3. Open RTL_REVIEW_PRIORITY_COMPRESSION_v0.1.html for bounded review-compression evidence.
4. 4. Open RTL_HISTORICAL_FIX_REPLAY_EXEC_SUMMARY_v0.1.html.
5. 5. Check manifest lineage and claim boundaries.

Historical Repair Replay Evidence

The packet now includes public historical repair replay artifacts:

• RTL_HISTORICAL_FIX_REPLAY_EXEC_SUMMARY_v0.1.md / .html
• RTL_HISTORICAL_FIX_REPLAY_v0.1.md / .html / .json / .sha256
• RTL_PARTNER_HISTORICAL_FIX_VALIDATION_PROTOCOL_v0.1.md / .html
• RTL_REVIEW_COMPRESSION_OPERATIONAL_FAQ_v0.1.md / .html
• RTL_REVIEW_COMPRESSION_VAAS_WORKFLOW_MAP_v0.1.md / .html

Call-safe result: in a 15-case HWE-bench-shaped public RTL repair smoke set across Ibex, CVA6, and OpenTitan, Ark produced ranked targets in 13 cases. Top-3 exact-signal overlap with repaired identifiers was 12/13, compared with random baseline mean top-3 rate 0.3219. Median review compression was 349.3333x and median case runtime was 0.2013 seconds.

Boundary: repair-region overlap evidence only. Not bug detection, formal signoff, or a vulnerability claim about upstream projects.