DongHyeonkaandClaude Opus 5
b2963105a8
The keycloak project ended with four open questions that design could not
settle. A two-VM lab was built to answer them by measurement, and this is
that material: 26 experiments, 125 raw command outputs, 22 browser captures.
Follows the import procedure in README.md.
source/ the originating repository verbatim — 78 documents, 28 SVGs,
8 manifests, plus .source-revision recording the commit
final/ the SSOT
document.md 729 lines written from the 29 experiment documents, not
concatenated: what was predicted, what was measured, and
where the measurement itself was wrong
evidence/raw 125 outputs, flattened to <experiment>__<file> because
the originals collided (01-baseline.txt appeared three
times) and the audit only globs the top level
evidence/meta one per raw file; command and exitCode are null and the
README says why rather than inventing them
evidence/browser 22 captures
assets/ three diagrams through techviz
.techviz/ their VizSpecs
A separate project rather than an addition to keycloak: the B-layer answers
that project's four questions, but the A, C and D layers are about cluster
failure, SSO and operations, and one document.md should hold one subject.
The four question records there can point here through 관계.
Recorded rather than papered over: only three of the 28 diagrams were
remade. The repository forbids hand-drawn SVG and forbids titles inside the
canvas; all 28 originals carry both, so converting them is redrawing, not
reformatting. They stay in source/ and the gap is written into the document.
verify-pipeline.py passes. audit-records.py reports no issues.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
36 lines
2.3 KiB
Java
36 lines
2.3 KiB
Java
// Injected temporarily into PostgreSqlIdempotencyIntegrationTest for analysis only.
|
|
@Test
|
|
void analysisProbeCompleteReplayTtlSemantics() {
|
|
IdempotencyOwner executing = claimAndStart("claim-complete-ttl-probe", "start-complete-ttl-probe");
|
|
OperationId operation = new OperationId("complete-ttl-probe");
|
|
StoredResponse response = new StoredResponse("same-response");
|
|
IdempotencyCompleteOutcome first = transactions.execute(
|
|
ignored -> store.complete(executing, response, Duration.ofHours(1), operation));
|
|
IdempotencyCompleteOutcome differentTtl = transactions.execute(
|
|
ignored -> store.complete(executing, response, Duration.ofHours(9), operation));
|
|
Long storedSeconds = jdbc.queryForObject(
|
|
"select extract(epoch from (replay_until - updated_at))::bigint from idempotency_record where scope_hash = ?",
|
|
Long.class, SCOPE.digest());
|
|
System.out.println("completeReplayTtl.first=" + first);
|
|
System.out.println("completeReplayTtl.secondDifferentTtl=" + differentTtl);
|
|
System.out.println("completeReplayTtl.storedSeconds=" + storedSeconds);
|
|
}
|
|
|
|
@Test
|
|
void analysisProbeExpiredCompletedInspection() {
|
|
IdempotencyClaimAttempt attempt = store.newClaimAttempt(new OperationId("claim-expired-inspect"));
|
|
IdempotencyClaimOutcome claim = transactions.execute(ignored -> store.claim(request(attempt, Duration.ofSeconds(5))));
|
|
IdempotencyOwner claimed = ((IdempotencyClaimOutcome.Acquired) claim).owner();
|
|
IdempotencyOwner executing = transactions.execute(ignored ->
|
|
store.markExecutionStarted(claimed, new OperationId("start-expired-inspect")).owner().orElseThrow());
|
|
transactions.execute(ignored -> store.complete(
|
|
executing, new StoredResponse("expired-response"), Duration.ofMillis(25), new OperationId("complete-expired-inspect")));
|
|
jdbc.queryForObject("select pg_sleep(0.05)", Object.class);
|
|
var inspection = store.inspect(new IdempotencyInspectionRequest(SCOPE, FINGERPRINT, attempt));
|
|
IdempotencyClaimOutcome newClaim = transactions.execute(ignored -> store.claim(request(
|
|
store.newClaimAttempt(new OperationId("claim-after-expired-inspect")), Duration.ofSeconds(5))));
|
|
System.out.println("expiredInspect.outcome=" + inspection.outcome());
|
|
System.out.println("expiredInspect.replayUntil=" + inspection.replayUntil().orElse(null));
|
|
System.out.println("expiredInspect.claimAfterExpiry=" + newClaim.getClass().getSimpleName());
|
|
}
|