# Claim Boundary

Compiler-hardware assumption triage only; not compiler correctness, simulator/RTL equivalence, benchmark validation, performance portability, hardware readiness, or replacement of compiler, architecture, or RTL review.

## Public Maturity Language

Compiler-Hardware Assumption Gate is an early bounded packet lane. It ranks compiler, ISA, simulator, runtime, benchmark, and RTL assumption review targets. It does not prove compiler correctness, simulator/RTL equivalence, benchmark validity, performance portability, or hardware readiness.

## Permitted Claims

- `BENCHMARK_CLAIM_BOUNDARY`
- `COMPRESSION_SUMMARY`
- `HUMAN_REVIEW_REQUIRED`
- `ISA_ASSUMPTION_REVIEW_TARGET`
- `LOWERING_PATH_REVIEW_TARGET`
- `MEMORY_LAYOUT_REVIEW_TARGET`
- `REVIEW_TARGET`
- `SIMULATOR_RTL_REVIEW_TARGET`
- `UNSUPPORTED_FALLBACK_REVIEW_TARGET`

## Blocked Claims

- `BENCHMARK_REPRODUCED`
- `COMPILER_CORRECTNESS_PROVEN`
- `COMPILER_ENGINEER_REPLACED`
- `END_TO_END_ACCELERATION_PROVEN`
- `HARDWARE_READY`
- `ISA_SEMANTICS_PROVEN`
- `PERFORMANCE_CLAIM_VALIDATED`
- `SIMULATOR_RTL_EQUIVALENCE_PROVEN`

## Blocked Claims Observed In This Packet

- `END_TO_END_ACCELERATION_PROVEN`: Ark Axiom boundary exception: Compiler-Hardware Gate is not authorized to assert END_TO_END_ACCELERATION_PROVEN.
- `PERFORMANCE_CLAIM_VALIDATED`: Ark Axiom boundary exception: Compiler-Hardware Gate is not authorized to assert PERFORMANCE_CLAIM_VALIDATED.
- `SIMULATOR_RTL_EQUIVALENCE_PROVEN`: Ark Axiom boundary exception: Compiler-Hardware Gate is not authorized to assert SIMULATOR_RTL_EQUIVALENCE_PROVEN.

## Execution Boundary

`packet_authorizes_execution:false`

The output is a review queue for compiler engineers, architects, and RTL engineers.