80e02ce7de
Replaces the W-026 501 stub. Re-executes a journaled prompt in a sealed fresh runtime (ChatRuntime(no_load_state=True): no checkpoint load, no checkpoint write, no proposal lineage) and compares the envelope leaf-by-leaf against the recorded TurnJournalEntry. Design correction vs the scoping doc (amended in-doc): journaled turns each ran in a fresh ChatRuntime(), never one continuous session, so genesis-PREFIX replay would manufacture spurious divergence; shipped basis is sealed_fresh_runtime_single_turn (O(1)). origin_state: "unrecorded" — the journal does not record whether the original turn's runtime loaded a checkpoint, so divergence is reported as nondeterminism OR origin-state influence, never disambiguated. - workbench/replay.py: pure comparison + injected executor; every TurnJournalEntry field classified critical/informational exactly once (exhaustiveness enforced by test) - api.py: route wiring under _CHAT_TURN_LOCK; runtime failure -> 500 runtime_unavailable, no comparison may be fabricated - schemas: additive TurnReplayComparison/TurnReplayDivergence (W-026 artifact-keyed pair retires with the frontend Replay Moment PR) - tests: 10 obligations incl. tamper-prompt, tamper-leaf precision, no-execution-no-comparison, no-trace (journal + engine_state bytes), wall-clock tolerance, sealed-construction proof - snapshot regenerated; NOT_YET_MIRRORED debt entries for the two new classes (mirrors land with the frontend PR) - api-contract-v1.md § Replay rewritten for the turn-keyed shape
239 lines
4.2 KiB
JSON
239 lines
4.2 KiB
JSON
{
|
|
"ArtifactDetail": [
|
|
"content_type",
|
|
"content"
|
|
],
|
|
"ArtifactRef": [
|
|
"artifact_id",
|
|
"kind",
|
|
"path",
|
|
"digest",
|
|
"created_at"
|
|
],
|
|
"AuditEvent": [
|
|
"event_id",
|
|
"source",
|
|
"source_path",
|
|
"timestamp",
|
|
"event_type",
|
|
"mutation_boundary",
|
|
"summary",
|
|
"ref_id",
|
|
"payload_digest",
|
|
"payload"
|
|
],
|
|
"ChatTurnResult": [
|
|
"prompt",
|
|
"surface",
|
|
"articulation_surface",
|
|
"walk_surface",
|
|
"grounding_source",
|
|
"epistemic_state",
|
|
"normative_clearance",
|
|
"normative_detail",
|
|
"trace_hash",
|
|
"refusal_emitted",
|
|
"hedge_injected",
|
|
"mutation_mode",
|
|
"identity_verdict",
|
|
"safety_verdict",
|
|
"ethics_verdict",
|
|
"proposal_candidates",
|
|
"turn_cost_ms",
|
|
"checkpoint_emitted",
|
|
"turn_id"
|
|
],
|
|
"EvalLaneSummary": [
|
|
"lane",
|
|
"versions",
|
|
"read_only",
|
|
"description"
|
|
],
|
|
"EvalRunResult": [
|
|
"lane",
|
|
"version",
|
|
"split",
|
|
"passed",
|
|
"metrics",
|
|
"cases",
|
|
"source_digest"
|
|
],
|
|
"MathProposalDetail": [
|
|
"wrong_zero_assertion",
|
|
"proposed_change_payload",
|
|
"reasoning_trace_id",
|
|
"reasoning_trace_steps",
|
|
"evidence_hashes",
|
|
"handler_name",
|
|
"suggested_ratify_cli"
|
|
],
|
|
"MathProposalSummary": [
|
|
"proposal_id",
|
|
"domain",
|
|
"shape_category",
|
|
"proposed_change_kind",
|
|
"structural_commonality",
|
|
"evidence_count",
|
|
"replay_equivalence_hash"
|
|
],
|
|
"MathRatifyResult": [
|
|
"proposal_id",
|
|
"change_kind",
|
|
"handler_name",
|
|
"routing_status",
|
|
"message",
|
|
"suggested_cli",
|
|
"applied",
|
|
"target_path",
|
|
"evidence_hash"
|
|
],
|
|
"MathReasoningStep": [
|
|
"step_index",
|
|
"step_kind",
|
|
"claim",
|
|
"justification",
|
|
"input_pointers",
|
|
"output_payload"
|
|
],
|
|
"PackDetail": [
|
|
"manifest_digest",
|
|
"manifest"
|
|
],
|
|
"PackSummary": [
|
|
"pack_id",
|
|
"source",
|
|
"manifest_path",
|
|
"version",
|
|
"language",
|
|
"modality",
|
|
"determinism_class",
|
|
"checksum",
|
|
"checksums"
|
|
],
|
|
"ProposalDetail": [
|
|
"proposed_chain",
|
|
"replay_evidence",
|
|
"source",
|
|
"evidence",
|
|
"artifact_refs",
|
|
"suggested_cli"
|
|
],
|
|
"ProposalRef": [
|
|
"candidate_id",
|
|
"source_kind"
|
|
],
|
|
"ProposalSummary": [
|
|
"proposal_id",
|
|
"state",
|
|
"source_kind",
|
|
"replay_equivalent",
|
|
"created_at",
|
|
"downstream_effect"
|
|
],
|
|
"ReplayComparison": [
|
|
"artifact_id",
|
|
"original_hash",
|
|
"replay_hash",
|
|
"equivalent",
|
|
"divergences"
|
|
],
|
|
"ReplayDivergence": [
|
|
"path",
|
|
"original",
|
|
"replay",
|
|
"severity"
|
|
],
|
|
"RunDetail": [
|
|
"turns",
|
|
"manifest"
|
|
],
|
|
"RunSummary": [
|
|
"session_id",
|
|
"source",
|
|
"turn_count",
|
|
"started_at",
|
|
"updated_at",
|
|
"checkpoint_present",
|
|
"checkpoint_revision",
|
|
"artifact_refs",
|
|
"evidence_gap"
|
|
],
|
|
"RunTurnRef": [
|
|
"turn_id",
|
|
"trace_hash",
|
|
"timestamp",
|
|
"trace_path",
|
|
"surface_excerpt"
|
|
],
|
|
"RuntimeStatus": [
|
|
"backend",
|
|
"git_revision",
|
|
"engine_state_present",
|
|
"checkpoint_revision",
|
|
"revision_warning",
|
|
"active_session_id",
|
|
"mutation_mode"
|
|
],
|
|
"TurnJournalEntrySchema": [
|
|
"turn_id",
|
|
"timestamp",
|
|
"trace_hash",
|
|
"prompt",
|
|
"surface",
|
|
"articulation_surface",
|
|
"walk_surface",
|
|
"grounding_source",
|
|
"epistemic_state",
|
|
"normative_clearance",
|
|
"verdicts",
|
|
"refusal_emitted",
|
|
"hedge_injected",
|
|
"proposal_candidates",
|
|
"turn_cost_ms",
|
|
"checkpoint_emitted",
|
|
"journal_digest"
|
|
],
|
|
"TurnJournalSummarySchema": [
|
|
"turn_id",
|
|
"timestamp",
|
|
"prompt_excerpt",
|
|
"surface_excerpt",
|
|
"trace_hash",
|
|
"grounding_source"
|
|
],
|
|
"TurnReplayComparison": [
|
|
"turn_id",
|
|
"comparison_basis",
|
|
"origin_state",
|
|
"original_trace_hash",
|
|
"replay_trace_hash",
|
|
"equivalent",
|
|
"replay_turn_cost_ms",
|
|
"divergences"
|
|
],
|
|
"TurnReplayDivergence": [
|
|
"path",
|
|
"original",
|
|
"replay",
|
|
"severity"
|
|
],
|
|
"TurnVerdict": [
|
|
"outcome",
|
|
"runtime_detail"
|
|
],
|
|
"VaultEntry": [
|
|
"entry_index",
|
|
"epistemic_status",
|
|
"epistemic_state",
|
|
"metadata",
|
|
"versor_digest"
|
|
],
|
|
"VaultSummary": [
|
|
"source_path",
|
|
"entry_count",
|
|
"store_count",
|
|
"reproject_interval",
|
|
"max_entries",
|
|
"persisted"
|
|
]
|
|
}
|