Evidence brief

Ark Axiom review-compression evidence, packet boundaries, and public samples.

Ark Axiom reduces the first-pass review surface for RTL, PCB/BOM, fab-package, and firmware-to-board artifact sets. This brief summarizes what the evidence packets show, what they do not claim, and where reviewers can inspect public sample outputs.

Request bounded evaluation View sample packets Open full evidence memo
RTL evidence
427x
Median measured public RTL review compression. Review-compression evidence only, not final verification closure.
Repair overlap
14/15
Top-3 exact-signal overlap on public historical repair cases. Retrospective localization, not bug detection.
PCB evidence
1224x
Median public PCB sample compression into ranked regions, blockers, and evidence requests.

Review surface reduction before senior engineering inspection.

Compression means reducing the review surface: fewer files, signals, nets, regions, assumptions, and missing-evidence items for senior engineers to inspect first.

TrackEvidence packet outputBoundary
RTL Review WitnessChanged cones, ranked signals, repair-region overlap notes, replay commands, and artifact hashes.Not whole-chip correctness, formal closure, or proof that ignored regions are safe.
PCB ECO GateBoard/BOM revision regions, ranked blockers, route/power/debug/boot evidence requests, and visual packet links.Not PCB signoff, DRC/ERC replacement, SI/PI validation, or manufacturability certification.
Fab Readiness GateFab-package completeness checks and missing-evidence blockers before package handoff.Not DFM approval, fabrication approval, or production release.
Firmware-Hardware GateFirmware assumptions compared against board evidence: MCU, GPIO, buses, boot/reset/debug, logs, and missing validation signals.Not firmware correctness, HIL testing, board bring-up success, or firmware release approval.

Inspect the packet format before sending artifacts.

PCB review sample packets

Public KiCad board cases showing ECO-region isolation, ranked blockers, evidence requests, and visual review outputs.

Open PCB packet index ->

RTL review sample packets

Public RTL replay cases showing bounded signal/file targets, cone context, repair-region overlap, and replayable outputs.

Open RTL packet index ->

Verification command center memo

Evidence memo for local review-compression packets, dashboard artifacts, limitations, and replay boundaries.

Open evidence memo ->

Tamper Witness evidence memo

Companion memo for RTL Tamper Witness review-priority compression and public-corpus limitations.

Open Tamper Witness memo ->
Ark Axiom evidence packets are review-compression and evidence-operations artifacts. They do not claim complete Trojan detection, final verification closure, whole-chip correctness, board correctness, fabrication readiness, firmware correctness, certification, production signoff, or that excluded regions are safe. Human electrical, verification, firmware, manufacturing, and safety review remain required before reliance.