4d8aa1dac9
First R3 (Theater) piece. Reworks the stale artifact-keyed ReplayRoute into the turn-keyed hero over the #716 sealed-replay backend, and fully retires the dead W-026 artifact-keyed machinery on both sides (the NOT_YET_MIRRORED comment anticipated this). The hero makes determinism *felt*: pick a journaled turn, CORE re-executes its prompt in a sealed fresh runtime, and the result renders as a hash verdict (≡ equivalent / ≠ diverged) + the original/replay DigestBadges + a leaf diff (critical weighted above informational, each with a ≠ glyph). The 'What this proves' card surfaces comparison_basis + origin_state and states the honest limit: a divergence means nondeterminism OR origin-state influence, never rendered on its own as a determinism failure. Retirement (verified zero serving uses): - Python schemas.py: removed ReplayComparison/ReplayDivergence/ReplayStatus/ ReplayDivergenceSeverity; scripts/dump-enums.py drops the two replay enums; both snapshots regenerated (deterministic: dump == committed) - TS: removed ReplayComparison/ReplayDivergence/ReplayDivergenceSeverity; added TurnReplayComparison/TurnReplayDivergence (+ basis/origin/severity unions); NOT_YET_MIRRORED now empty (every engine schema mirrored) - badges: removed ReplayStatusBadge + ReplayDivergenceSeverityBadge + meta/enums + their enumCoverage cases (hero renders severity inline) - api: fetchReplayComparison/useReplayComparison -> fetchTurnReplay/ useTurnReplay (/replay/<turnId>) - deleted ArtifactList, ReplayComparisonPanel, ReplayDiffViewer, ReplayMetadataTable, old replay.test.tsx - App route /replay/:artifactId? -> /replay/:turnId?; conformance row turn-keyed (loading 'Loading turns...', empty 'No turns recorded yet.') Tests: ReplayRoute.test.tsx (equivalence hero + honesty card, diverged critical leaf, informational-only label, replace-mode select, j/k spine). Full vitest 358 green; workbench Python 34 green; both snapshots deterministic. Follow-up flagged (not in this PR to keep it focused): the artifact query hooks (useArtifacts/useArtifactDetail/fetchArtifacts*) are now orphaned but entangled with the still-live artifact EvidenceSubject kind — a separate cleanup once an Artifacts route or that subject's fate is decided. Brief: docs/handoff/wave-R3-briefs-2026-06-13.md (all four R3 pieces).
60 lines
2.2 KiB
Python
60 lines
2.2 KiB
Python
"""Dump ratified engine enum values for Workbench UI coverage tests.
|
|
|
|
Read-only helper: parses source with Python AST and writes JSON to stdout.
|
|
"""
|
|
|
|
from __future__ import annotations
|
|
|
|
import ast
|
|
import json
|
|
from pathlib import Path
|
|
|
|
|
|
ROOT = Path(__file__).resolve().parents[1]
|
|
|
|
|
|
def enum_values(path: Path, class_name: str) -> list[str]:
|
|
module = ast.parse(path.read_text(encoding="utf-8"))
|
|
for node in module.body:
|
|
if isinstance(node, ast.ClassDef) and node.name == class_name:
|
|
values: list[str] = []
|
|
for statement in node.body:
|
|
if (
|
|
isinstance(statement, ast.Assign)
|
|
and isinstance(statement.value, ast.Constant)
|
|
and isinstance(statement.value.value, str)
|
|
):
|
|
values.append(statement.value.value)
|
|
return values
|
|
raise SystemExit(f"enum class not found: {class_name}")
|
|
|
|
|
|
def literal_values(path: Path, name: str) -> list[str]:
|
|
module = ast.parse(path.read_text(encoding="utf-8"))
|
|
for node in module.body:
|
|
if isinstance(node, ast.Assign):
|
|
if not any(isinstance(target, ast.Name) and target.id == name for target in node.targets):
|
|
continue
|
|
value = node.value
|
|
if (
|
|
isinstance(value, ast.Subscript)
|
|
and isinstance(value.value, ast.Name)
|
|
and value.value.id == "Literal"
|
|
):
|
|
items = value.slice.elts if isinstance(value.slice, ast.Tuple) else [value.slice]
|
|
return [
|
|
item.value
|
|
for item in items
|
|
if isinstance(item, ast.Constant) and isinstance(item.value, str)
|
|
]
|
|
raise SystemExit(f"literal alias not found: {name}")
|
|
|
|
|
|
snapshot = {
|
|
"EpistemicState": enum_values(ROOT / "core" / "epistemic_state.py", "EpistemicState"),
|
|
"GroundingSource": literal_values(ROOT / "core" / "epistemic_state.py", "GroundingSource"),
|
|
"NormativeClearance": enum_values(ROOT / "core" / "epistemic_state.py", "NormativeClearance"),
|
|
"ReviewState": literal_values(ROOT / "teaching" / "proposals.py", "ReviewState"),
|
|
}
|
|
|
|
print(json.dumps(snapshot, indent=2, sort_keys=True))
|