Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions crates/stella-pipeline/src/pipeline/witness_stage.rs
Original file line number Diff line number Diff line change
Expand Up @@ -51,8 +51,8 @@ fn apply_role_shaping(mut config: EngineConfig, overrides: &RoleCallOverrides) -
if let Some(max_output_tokens) = overrides.max_output_tokens {
config.max_output_tokens = Some(max_output_tokens);
}
if let Some(params) = &overrides.params {
config.params = Some(params.clone());
if let Some(params) = overrides.params {
config.params = Some(params);
}
config
}
Expand Down
16 changes: 7 additions & 9 deletions crates/stella-protocol/src/event.rs
Original file line number Diff line number Diff line change
Expand Up @@ -113,15 +113,13 @@ pub enum StageKind {
Plan,
/// The interactive approval gate a large plan passes through (L-E5).
ScopeReview,
/// Witness authoring: after the worker executes — once the warrant has
/// read the diff and found something worth proving — an independent
/// model (the verifier's resolution, never the worker's transcript)
/// writes the witness test in a pristine snapshot of the pre-execution
/// tree: a test that FAILS there and will pass once the goal is met,
/// arming the deterministic flip oracle (L-E11). The witness is visible
/// to the worker's revise turns (iterating against a failing test is
/// where convergence comes from); integrity comes from tamper exclusion
/// at verify time, not from hiding the test.
/// Witness authoring: after the worker executes, once the warrant has
/// read the diff, an independent model (the verifier's resolution, never
/// the worker's transcript) writes the witness test in a pristine
/// snapshot of the pre-execution tree — a test that FAILS there and will
/// pass once the goal is met, arming the flip oracle (L-E11). Visible to
/// the worker's revise turns; integrity comes from tamper exclusion at
/// verify time, not from hiding the test.
Witness,
/// The worker's own tool-calling loop — the steps that actually change
/// the workspace.
Expand Down
5 changes: 1 addition & 4 deletions crates/stella-tui/src/deck_render.rs
Original file line number Diff line number Diff line change
Expand Up @@ -453,10 +453,7 @@ fn phase_color(phase: crate::envelope::SessionPhase) -> ratatui::style::Color {
SessionPhase::InProgress => theme::SUCCESS_BRIGHT,
SessionPhase::NeedsInput => theme::WARNING_BRIGHT,
SessionPhase::Paused => theme::ACCENT,
SessionPhase::Cancelled => theme::TEXT_TERTIARY,
// The same calm tone as `Cancelled`: both are deliberate endings,
// and the whole point of the variant is not to paint them red.
SessionPhase::Stopped => theme::TEXT_TERTIARY,
SessionPhase::Cancelled | SessionPhase::Stopped => theme::TEXT_TERTIARY,
SessionPhase::Complete => theme::SUCCESS,
SessionPhase::Archived => theme::TEXT_TERTIARY,
SessionPhase::Error => theme::DANGER_BRIGHT,
Expand Down
2 changes: 1 addition & 1 deletion docs/wire/agentevent.schema.json
Original file line number Diff line number Diff line change
Expand Up @@ -1281,7 +1281,7 @@
},
{
"const": "witness",
"description": "Witness authoring: after the worker executesonce the warrant has\nread the diff and found something worth proving — an independent\nmodel (the verifier's resolution, never the worker's transcript)\nwrites the witness test in a pristine snapshot of the pre-execution\ntree: a test that FAILS there and will pass once the goal is met,\narming the deterministic flip oracle (L-E11). The witness is visible\nto the worker's revise turns (iterating against a failing test is\nwhere convergence comes from); integrity comes from tamper exclusion\nat verify time, not from hiding the test.",
"description": "Witness authoring: after the worker executes, once the warrant has\nread the diff, an independent model (the verifier's resolution, never\nthe worker's transcript) writes the witness test in a pristine\nsnapshot of the pre-execution tree — a test that FAILS there and will\npass once the goal is met, arming the flip oracle (L-E11). Visible to\nthe worker's revise turns; integrity comes from tamper exclusion at\nverify time, not from hiding the test.",
"type": "string"
},
{
Expand Down
2 changes: 1 addition & 1 deletion docs/wire/serveframe.schema.json
Original file line number Diff line number Diff line change
Expand Up @@ -2882,7 +2882,7 @@
},
{
"const": "witness",
"description": "Witness authoring: after the worker executesonce the warrant has\nread the diff and found something worth proving — an independent\nmodel (the verifier's resolution, never the worker's transcript)\nwrites the witness test in a pristine snapshot of the pre-execution\ntree: a test that FAILS there and will pass once the goal is met,\narming the deterministic flip oracle (L-E11). The witness is visible\nto the worker's revise turns (iterating against a failing test is\nwhere convergence comes from); integrity comes from tamper exclusion\nat verify time, not from hiding the test.",
"description": "Witness authoring: after the worker executes, once the warrant has\nread the diff, an independent model (the verifier's resolution, never\nthe worker's transcript) writes the witness test in a pristine\nsnapshot of the pre-execution tree — a test that FAILS there and will\npass once the goal is met, arming the flip oracle (L-E11). Visible to\nthe worker's revise turns; integrity comes from tamper exclusion at\nverify time, not from hiding the test.",
"type": "string"
},
{
Expand Down
Loading