| { |
| "$schema": "https://json-schema.org/draft/2020-12/schema", |
| "$id": "https://ortho32.dev/schemas/execution-trace.schema.json", |
| "title": "ExecutionTrace", |
| "description": "Immutable ordered list of CycleRecord. Same input must produce same canonical TraceHash across N runs (H=0 determinism). All cycles are architectural integers.", |
| "type": "array", |
| "items": { |
| "$ref": "#/$defs/CycleRecord" |
| }, |
| "$defs": { |
| "CycleRecord": { |
| "title": "CycleRecord", |
| "type": "object", |
| "properties": { |
| "cycleNumber": { |
| "type": "integer", |
| "minimum": 0, |
| "description": "Architectural cycle number, integer logical time, not wall-clock" |
| }, |
| "scalarStage": { |
| "type": "string", |
| "enum": ["IF", "ID", "EX", "MEM", "WB", "STALL", "FLUSH"], |
| "description": "Scalar pipeline stage occupancy" |
| }, |
| "tensorStage": { |
| "type": "string", |
| "enum": ["IDLE", "TLOAD", "TMUL", "TSTORE", "WAIT"], |
| "description": "Tensor pipeline stage" |
| }, |
| "commitStatus": { |
| "type": "string", |
| "enum": ["COMMITTED", "FLUSHED", "STALLED", "EXCEPTION"], |
| "description": "Commit status for this cycle" |
| }, |
| "registerWrites": { |
| "type": "array", |
| "description": "Register writes committed this cycle", |
| "items": { |
| "type": "object", |
| "properties": { |
| "register": { "type": "string" }, |
| "value": { "type": "string" } |
| }, |
| "required": ["register", "value"], |
| "additionalProperties": false |
| } |
| }, |
| "memoryEvents": { |
| "type": "array", |
| "description": "Memory read/write events", |
| "items": { |
| "type": "object", |
| "properties": { |
| "address": { "type": "string", "pattern": "^0x[0-9a-fA-F]+$" }, |
| "type": { "type": "string", "enum": ["READ", "WRITE"] }, |
| "value": { "type": "string" } |
| }, |
| "required": ["address", "type"], |
| "additionalProperties": false |
| } |
| }, |
| "pipelineState": { |
| "type": "object", |
| "description": "IF/ID/EX/MEM/WB occupancy, forwarding events, branch flushes", |
| "properties": { |
| "ifOccupied": { "type": "boolean" }, |
| "idOccupied": { "type": "boolean" }, |
| "exOccupied": { "type": "boolean" }, |
| "memOccupied": { "type": "boolean" }, |
| "wbOccupied": { "type": "boolean" }, |
| "forwarding": { "type": "array", "items": { "type": "string" } }, |
| "branchFlush": { "type": "boolean" } |
| }, |
| "additionalProperties": true |
| }, |
| "instructionId": { |
| "type": "string", |
| "description": "Instruction identifier retired or in flight" |
| } |
| }, |
| "required": ["cycleNumber", "scalarStage", "tensorStage", "commitStatus", "registerWrites", "memoryEvents"], |
| "additionalProperties": true |
| } |
| } |
| } |
|
|
