Skip to content

test(harness): full-loop rehearsal harness for the never-run settlement span - #239

Merged
LamaSu merged 2 commits into
masterfrom
derisk/span-harness
Jul 11, 2026
Merged

test(harness): full-loop rehearsal harness for the never-run settlement span#239
LamaSu merged 2 commits into
masterfrom
derisk/span-harness

Conversation

@LamaSu

@LamaSu LamaSu commented Jul 10, 2026

Copy link
Copy Markdown
Owner

Adds scripts/rehearse-loop.mjs — a zero-build harness that walks the FULL never-run span (register kernel -> declare capability -> negotiate -> commit -> fund -> remote execute -> #236 signs -> evidence -> oracle attests -> release) as a fake remote stranger, one labeled acceptance assertion per hop. Reproduces the gateway Ed25519 wire contract (self-tested locally). Paid/on-chain steps gated behind --live (default OFF); --o1 = the O-1 identity acceptance test (correctly FAILs pre-#235 deploy). The instrument for proving the SEAM-1/SEAM-2 fixes post-deploy. From ai/research/pcc-next-move.md.

LamaSu and others added 2 commits July 10, 2026 15:17
Walks the never-run continuous span (register->negotiate->commit->escrow->
dispatch->node-signs->evidence->oracle->release) as a fake remote stranger,
with a per-step acceptance assertion tied to each verified code seam:
  A1  O-1 identity (non-zero registeredSigner)
  A4  commit escrow non-null (catches the swallowed createJobFromSession throw)
  A6  node poll finds the job as queued (SEAM-1 dispatch)
  A8  oracle verdict REAL not degraded + release (S4 runtime guard)
  A9  a mock/degraded verdict never coincides with settled (S4)
  A10 attestation anchors to the proven signer not 0x000 (SEAM-2)

Paid/commit/on-chain steps gated behind --live (default OFF). DRY mode does a
non-destructive reachability + read-probe + Ed25519 self-test + plan print;
verified green against capability.network (confirmed prod still on pre-#235
zero-signer path). Owner deps (funding creds, oracle key) classify BLOCKED,
not FAIL, so a real wiring defect is never masked.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EMoShvxX49Xyt4Mi5evDnB
Provision + register a probe kernel with a valid Ed25519 proof + assert
GET /api/kernels/:id serves a non-zero proven signer. No commit/escrow/
on-chain. Exit 0 = Option C identity live (O-1 done); 1 = still pre-#235.
The exact acceptance test to run the moment master->prod lands.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EMoShvxX49Xyt4Mi5evDnB
@LamaSu
LamaSu merged commit 25e4c8c into master Jul 11, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant