test1193 — SideThread PR1 rev5 crash-safe runtime operations
Date: 2026-08-26
Layer: Docker L1, credential-free
Source commit: f9bc6e96
Image: oven/bun:1.3.14-debian

Command:
  sg docker -c 'docker build --no-cache \
    -f tests/test1193-side-thread-contract/Dockerfile \
    --build-arg TEST1193_SOURCE_COMMIT=f9bc6e96 \
    -t anet-test1193-f9bc6e96 . && \
    docker run --rm anet-test1193-f9bc6e96'

Result:
  40 pass
  0 fail
  135 expect() calls
  PASS test1193 side-thread domain/adapter contract + witnessed red

Covered fault evidence:
  - private 0700/0600 persistent operation ledger and fork lease
  - existing 0644 lease is repaired to 0600; symlink/hardlink state and lock
    substitution are rejected
  - Linux kernel-backed executor claims serialize every mutating RPC across
    processes; unproved platforms fail the capability gate closed
  - coordinated cross-process same-operation fork emits exactly one fork RPC
  - claim-bypass witnessed-red emits exactly two fork RPCs and fails the suite
  - immutable stable operation identity and monotonic state transitions
  - operation-first fork snapshot persistence and legacy lease-first torn-write
    recovery never adopt a pre-snapshot fork
  - lost fork response reconciles only one new forkedFromId candidate
  - multiple candidates remain ambiguous and retry emits no second thread/fork
  - lost start identity reconciles by persisted client identity without retry RPC
  - restart reconstruction restores by-turn ownership, late terminal delivery,
    and exact cancel routing
  - accepted/ambiguous start, interrupt, archive and delete emit one RPC only
  - discard-fork compensation is journaled and response-loss replay never
    repeats thread/delete
  - ambiguous domain retries reuse the original side-thread and attempt IDs
  - hostile dropped-event details are reduced to an enumerated audit reason

Supplemental Docker checks:
  - check-test-suite-registration.py: suites=211, new=0, PASS
  - check-l1-paths-sync.py: 54 L1 suites / 136 patterns, PASS
  - lint-no-bare-rm-rf.sh: 266 shell files, PASS
  - Bun build of domain/adapter/lease/ledger entry points: PASS

No production service, local global package, npm preview, merge, or release was
modified by this verification.
