{
  "issue": 97,
  "input": "python3 labs/correctness-u60/run.py",
  "startedAt": "2026-10-31T07:47:30.225239+08:00",
  "environment": {
    "os": "macOS-27.2-arm64-arm-64bit",
    "arch": "arm64"
  },
  "status": "passed",
  "exitCode": 0,
  "observations": [
    "U60 mysql=8.4.7",
    "U60 schema-created=study_u60_c4501643b504",
    "U60 redis=8.6.4",
    "U60 target=PASS wrong-schema=rejected actual-schema=verified",
    "U60 leaseAcquire fence=1 generationAtomic=true requestRecorded=true",
    "U60 leaseRenew ownerChecked=true impostorRejected=true",
    "U60 leaseExpiry takeover=true fenceA=1 fenceB=2",
    "U60 fencing staleRejected=true persistedValue=state-by-B maxFence=2",
    "U60 opSeq ordering=lexicographic lateSeqRejected=true",
    "U60 idempotency sameKeyReturnsOriginal=true differentArgsConflict=true",
    "U60 cleanup redisKeys=removed",
    "U60 cleanup own-schema=removed"
  ],
  "schema": "study_u60_c4501643b504",
  "dependencies": [
    "jedis-7.0.0.jar",
    "mysql-connector-j-9.7.0.jar"
  ],
  "phase": "java-lab",
  "java": "openjdk version \"21.0.11\" 2026-04-21 LTS\nOpenJDK Runtime Environment (build 21.0.11+11-LTS)\nOpenJDK 64-Bit Server VM (build 21.0.11+11-LTS, mixed mode, sharing)",
  "limits": "单机 Redis standalone 作为授权权威（其自身故障即权威不可用，活性边界在正文声明）；MySQL 单机资源；未运行跨主机网络故障、多权威共识、时钟注入与生产容量。",
  "artifactSha256": {
    "pom.xml": "ebfc24e4aa37b99b65ca875ecf8d0f4069c24f1a93de147bd38c1a7a5da53d3b",
    "run.py": "41fced74914c75425331e5fae4808985a3025f9e0b605838d6a3fab050a93c42",
    "src/main/java/study/u60/LeaseFencingLab.java": "710352f150410c29e8818f017dc8d511d08d27c08dc499da545ac505d2803436"
  }
}