Readonlycleanup
cleanup: { owned_process_group: "verified"; temporary_root: "removed" }
Readonlyexit
exit: {
code: number | null;
reason: "exited" | "timeout" | "idle_timeout";
signal: number | null;
}
Readonlyfilesystem_checkpoints
Readonlyfilesystem_effects
filesystem_effects: readonly FileEffect[]
Readonlyinteraction_events
Readonlylimitations
limitations: readonly string[]
Readonlymanifest
manifest: {
architecture: string;
comparison_contract: Readonly<Record<string, unknown>>;
comparison_contract_sha256: string;
completed_at: string;
executable_sha256: string;
full_scenario_sha256: string;
normalization_sha256: string;
platform: string;
provider_version: string;
pty_backend: "node-pty";
rea_version: string;
replay_plan: Readonly<Record<string, unknown>>;
replay_plan_sha256: string;
scenario: Readonly<Record<string, unknown>>;
shim_plan: readonly unknown[];
shim_plan_sha256: string;
started_at: string;
}
Readonlynormalization
normalization: {
paths: boolean;
patterns: { pattern: string; replacement: string }[];
pids: boolean;
ports: boolean;
time_bucket_ms: number;
}
Optional Readonlyreplay_transitions
Readonlyresidual_unknowns
residual_unknowns: readonly {
reason: string;
scope:
| "protocol"
| "terminal"
| "exit"
| "interaction"
| "filesystem"
| "replay_transition"
| "process"
| "shim"
| "cleanup"
| "network";
}[]
Readonlyschema_version
schema_version: 4
Readonlysettlement
settlement: {
cleanup_outcome: "not_required" | "cleaned" | "failed";
elapsed_ms: number;
state: "quiesced" | "alive_at_deadline" | "unverifiable";
}
Readonlytruncated
truncated: boolean
Process Capture v4 observation set.
truncatedandresidual_unknownsare semantic evidence: consumers must not infer equivalence from matching bounded observations when either is present.