Compiler-Hardware Assumption Gate

A fixture-backed packet for the boundary between compiler output, ISA assumptions, simulator behavior, runtime assumptions, benchmark claims, and RTL evidence.

Review Targets

8 / 8

P1 / P2 Targets

Blocked Claims

false

packet_authorizes_execution

What It Reviews

Where generated hardware meets the software stack.

The demo packet ranks assumption-review targets across ISA semantics, lowering paths, unsupported fallbacks, simulator/RTL evidence, runtime behavior, memory layout, benchmark claims, generated artifact provenance, and test coverage boundaries.

VDOT8 selected by compiler evidence but absent from supplied RTL decode/execute references.

Simulator memory behavior exceeds the supplied RTL memory model.

Host fallback is visible inside an end-to-end acceleration claim.

Simulator/RTL equivalence claim has no paired RTL trace evidence.

Claim Boundary

This is not compiler verification.

The packet does not prove compiler correctness, simulator/RTL equivalence, benchmark validity, performance portability, hardware readiness, or replacement of compiler engineers.

It emits a review queue for compiler engineers, architects, and RTL engineers.

packet_authorizes_execution:false

human_operator_handoff:true

Blocked Claims In This Packet

END_TO_END_ACCELERATION_PROVEN

PERFORMANCE_CLAIM_VALIDATED

SIMULATOR_RTL_EQUIVALENCE_PROVEN

Packet Artifacts

compiler_hardware_packet.json

Primary bounded packet with review targets, blocked claims, audit hash, and execution boundary.

Open JSON

review_targets.json

Ranked P1/P2 compiler-hardware review queue.

Open JSON

human_review_questions.json

Questions for compiler, architecture, and RTL reviewers.

Open JSON

simulator_rtl_questions.json

Focused simulator/RTL parity review questions.

Open JSON

memory_layout_assumptions.json

Compiler, simulator, RTL, ISA, and runtime memory assumption mismatches.

Open JSON

benchmark_claim_boundary.md

Bounded treatment of benchmark and acceleration claims.

Open Markdown

CLAIM_BOUNDARY.md

Permitted and blocked claims for the lane.

Open Markdown

run_receipt.json

Run receipt with packet hash and execution authorization boundary.

Open JSON

hashes.sha256

SHA-256 artifact verification manifest.

Open Hashes

Evidence Graph

Return to the cross-lane packet, proof, receipt, and hash index.

Open Evidence Graph

Audit Hash

e472c6a2abac52143ad6f81215e8f4bb2378372921c8c670d13cf78d7f0b1c44