mirror of
https://github.com/esengine/DeepSeek-Reasonix.git
synced 2026-11-07 10:45:59 -10:00
esengine
fb02f44834
A turn no longer builds a shadow task contract, a completion report or a sealed evidence bundle, takes a workspace snapshot, or hands the host a completion receipt. Removes the agent-side producers and their wiring in boot, the observation and verdict packages that only they used, and the write-protection and unconfined-launch probes that only boot read. The receipt and audit shapes on the event wire, the terminal and the desktop settings stay for a later cleanup; nothing sends them now.
26 lines
821 B
Go
26 lines
821 B
Go
package boot
|
|
|
|
import (
|
|
"strings"
|
|
"testing"
|
|
|
|
"reasonix/internal/ext/modhost"
|
|
)
|
|
|
|
// Until the switch is available a mod never runs, whatever the user file says,
|
|
// and its status names why.
|
|
func TestEffectAModStaysOffWhileTheSwitchIsWithheldEvenIfTheFileSaysOn(t *testing.T) {
|
|
_, _, prov := installMod(t, denyingMod)
|
|
modhost.Complete = false
|
|
setModsSwitch(t, true)
|
|
|
|
runModTurn(t, prov, "echo FORBIDDEN-ran")
|
|
got := strings.Join(prov.toolResults(), "\n")
|
|
if strings.Contains(got, "mod says") || !strings.Contains(got, "FORBIDDEN-ran") {
|
|
t.Fatalf("a withheld mod still ruled on the call:\n%s", got)
|
|
}
|
|
if st := modhost.Default.Snapshot(); len(st) != 1 || st[0].State != modhost.StateInactive || st[0].Code != modhost.CodeWithheld {
|
|
t.Fatalf("status = %+v, want inactive with %s", st, modhost.CodeWithheld)
|
|
}
|
|
}
|