# PARS-FEBP Evidence Receipt

## Experiment

- Experiment ID:
- Date:
- PARS specification/version:
- Model/configuration:

## Target

- Artifact:
- Platform:
- Format:
- Architecture:
- Required behavior:

## Contract

- Claim target:
- Forbidden generation paths:
- Active hard invariants:

## Frozen representation

- Representation format:
- Representation identity:
- Complete representation preserved: YES / NO

## Materialization

- Materializer:
- Materializer role:
- Semantic transformation detected: YES / NO / UNRESOLVED

## Artifact

- Byte count:
- SHA-256:
- Format verification:
- Architecture verification:
- Entry point:

## Reconstruction

- Independent reconstruction method:
- Reconstructed byte count:
- Reconstructed SHA-256:
- Direct byte comparison: IDENTICAL / NOT IDENTICAL

## Execution

- Environment:
- Containment:
- Network state:
- Exit status:
- Observed behavior:
- Expected behavior satisfied: YES / NO / UNRESOLVED

## Runtime output

- Output type:
- Output byte count:
- Output SHA-256:
- Accepted-result identity:

## Provenance

- Compiler evidence:
- Assembler evidence:
- Linker evidence:
- Prebuilt artifact evidence:
- Generation-path audit:
- Hostile provenance/contamination test:

## Failures and repairs

- Material failures preserved:
- Repairs:
- Retests:

## Classification

- BP:
- BV:
- Rights state if applicable:
- Unverifiable properties:
- Final status: PASS / FAIL / INCONCLUSIVE
- What this establishes:
- What this does not establish:
