fix: the example of a terminal principal names nobody (greenhouse evidence/1192)

src/Effect/VerifiedPrincipal.php

@@ -33,7 +33,7 @@
 final readonly class VerifiedPrincipal
 {
     /**
-     * @param string       $principal who, with its origin in front: `cli:rod@laptop`, `key:ABCD…`
+     * @param string       $principal who, with its origin in front: `cli:operator@example.com`, `key:ABCD…`
      * @param bool         $verified  whether a proof actually backs this — never asserted alone
      * @param string|null  $channel   the surface it arrived through
      * @param list<string> $scopes    what is verifiable, not what was asked for

tests/Effect/VerifiedFactsTest.php

@@ -42,10 +42,10 @@ public function testAnAdmittedPrincipalYieldsVerifiedFacts(): void
     /** 2 · a terminal's os-user is a fact, but an unverified one — the useful, honest default. */
     public function testATerminalPrincipalIsUnverified(): void
     {
-        $principal = VerifiedPrincipal::fromTerminal('rod', 'laptop');
+        $principal = VerifiedPrincipal::fromTerminal('operator', 'example.com');
 
         self::assertFalse($principal->toFacts()->verified);
-        self::assertSame('cli:rod@laptop', $principal->principal);
+        self::assertSame('cli:operator@example.com', $principal->principal);
     }
 
     /**
@@ -100,7 +100,7 @@ public function testAPayloadWithoutAPrincipalIsRefused(): void
     /** 6 · the terminal path can never be talked up: fromTerminal is verified:false by construction. */
     public function testTheTerminalPathHasNoProofToCarry(): void
     {
-        $arr = VerifiedPrincipal::fromTerminal('rod', 'laptop')->toArray();
+        $arr = VerifiedPrincipal::fromTerminal('operator', 'example.com')->toArray();
 
         self::assertArrayNotHasKey('method', array_filter($arr, static fn ($v) => $v !== null));
         self::assertFalse(VerifiedPrincipal::fromArray($arr)->toFacts()->verified);

tests/InvocationContextTest.php

@@ -33,12 +33,12 @@ final class InvocationContextTest extends TestCase
      */
     public function testATerminalBringsAnExecutorAndNoActor(): void
     {
-        $ctx = InvocationContext::cli('rod@laptop', 'req-1');
+        $ctx = InvocationContext::cli('operator@example.com', 'req-1');
 
         self::assertNull($ctx->actor);
         self::assertFalse($ctx->verified);
         self::assertSame('cli', $ctx->channel);
-        self::assertSame('rod@laptop', $ctx->executor);
+        self::assertSame('operator@example.com', $ctx->executor);
         self::assertSame('req-1', $ctx->correlationId);
         self::assertFalse($ctx->isAttributable(), 'y por eso no puede firmar nada que exija atribución');
     }