Prism Engine

Orientation

This is an evidence record, not a chapter. The artifact is a sanitized ComputeImage. Its public projection is the bytes served at this URL. Its original source is the test fixture crates/prism-ecs-compile/output.cimage.

  • `computeimage_artifact_digest`: .
  • `source_artifact_digest`: . (Identical to the public projection in this case, because the sanitization is declarative, not byte-modifying.)
  • `plan_identity`: not produced for a test fixture. The plan field is absent from the published header.
  • `receipt`: not produced. The corpus has no execution receipt for this artifact. The v1 site names the gap.
  • `validation_scope`: none. The artifact is a test fixture. No real target, no real run, no real measurement.

Redaction manifest

The published bytes are sanitized. The redaction is declarative. The manifest is:

  • The tensor payload bytes are synthetic test data. The single tensor in this fixture is weight, shape [4, 4], dtype f16, 32 bytes of synthetic weight values.
  • The source_digest in the header is the placeholder string "test-digest". It does not identify a real model package.
  • The model_family and model_config_json are placeholder values.
  • No real model identity, no real source package, no real measurement, and no real execution target is implied.

Remaining verifiable

The closed set of verifiable relationships is declared in the spec (§4.8). For this specimen:

  • `digest_of_source_package`: verifiable. The source bytes are the test fixture bytes; their digest is the public digest. A reviewer can re-hash the file and confirm.
  • `semantic_graph_identity`: not verifiable. The source is not a real model, so no canonical graph is recovered.
  • `execution_target_identity`: not verifiable. The artifact has no execution target.
  • `route_identity`: not verifiable. No route was admitted.
  • `evidence_chain_integrity`: not verifiable. The chain does not extend to a real execution; the receipts it would link to are not published.

The data

The six strata are exposed as labeled blocks. Each block contains the relevant header field, rendered as data, with a short orientation. There is no explanatory prose. The Specimen page is to the ComputeImage chapter what a database record is to a chapter that references it: same fact, different surface.

  • Metadata block: schema version, source digest (placeholder), producer (prism-ecs-compile).
  • Logical tensors block: the single weight tensor; shape, dtype, semantic family.
  • Physical layouts block: the weight tensor's physical layout; offset, size, alignment.
  • Execution views block: absent. The artifact has no execution views.
  • Plan and receipts block: absent. The artifact has no plan or receipts.
  • Payloads block: the synthetic weight bytes, displayed as 32 hex characters. The bytes are not informative; the page is honest that they are synthetic test data.

Provenance chain

The chain is one link: the test fixture, with its commit. The fixture is checked into the engine crate. The commit is the build identity. The link is verifiable. The chain does not extend further. The site names the limit.

Sanitized ComputeImage specimen (test fixture)

evidence.computeimage.test_output_cimage.001

A sanitized cimage produced by the engine's compile test. The header has LLaMA-style layer names (q_proj, k_proj, v_proj, o_proj, gate_proj, up_proj, down_proj, embed_tokens, lm_head) with shape metadata, but all tensor payload bytes are empty (size: 0). The artifact is a compile test output, not a real model. No execution target, no search trace, no legalization report, no selection receipt is present in the published header.

This artifact is sanitized per §4.8. The redaction manifest is shown below. The 6-stratum visual below shows the artifact's structure; the absent strata are visually distinct.

  1. 01

    Metadata

    present

    Schema version, source digest, producer, source catalog.

    schema_version: cimage-manifest-v1
source_digest: test-digest (placeholder)
producer: prism-ecs-compile
source_catalog: prism-ecs-compile (test fixture)
  2. 02

    Logical Tensors

    present

    The model's logical view. Shapes, dtypes, semantic families, roles.

    tensor_records: 9 records (q_proj, k_proj, v_proj, o_proj, gate_proj, up_proj, down_proj, embed_tokens, lm_head)
shape: per-record
dtype: f16
semantic_family: linear / embedding / head
  3. 03

    Physical Layouts

    present

    How the tensors are stored. Tile sizes, alignment, padding, memory tier.

    offset: per-record (declared)
size: 0 bytes (test fixture)
alignment: 16 KB page boundary
  4. 04

    Execution Views

    absent

    How a backend consumes the layouts. Lane, provider, dispatch path.

    The artifact has no execution views. The corpus has no execution target for the v1 specimen.

  5. 05

    Plan and Receipts

    absent

    The admitted plan and the receipts that admit it.

    The artifact has no plan and no receipts. The v1 corpus has no execution receipt; ADR-035 closes the gap.

  6. 06

    Payloads

    present

    The tensor bytes, aligned to a 16 KB page boundary so the runtime can mmap them without parsing.

    payload_bytes: 0 bytes (test fixture)
alignment: 16 KB
encoding: raw little-endian f16

Remaining verifiable

Redaction manifest

cimage-sanitization-v1 
{
  "declared_synthetic_fields": [
    "header.tensor_records[*].size",
    "header.search_trace (absent)",
    "header.legalization_report (absent)",
    "header.selection_receipt (absent)",
    "header.source_identity (absent)",
    "header.source_catalog (absent)"
  ],
  "redaction_kind": "declarative",
  "removed_fields": []
}

Download the published bytes →