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>
199 lines
35 KiB
XML
199 lines
35 KiB
XML
<svg xmlns="http://www.w3.org/2000/svg" width="1200" height="3472" viewBox="0 0 1200 3472" role="img">
|
|
<title>terminal evidence</title>
|
|
<desc>Terminal-style rendering generated from retained command output. Sensitive-looking values are redacted in the visual asset.</desc>
|
|
<rect x="1" y="1" width="1198" height="3470" rx="14" fill="#0d1117" stroke="#30363d"/>
|
|
<rect x="1" y="1" width="1198" height="44" rx="14" fill="#161b22"/>
|
|
<rect x="1" y="30" width="1198" height="14" fill="#161b22"/>
|
|
<circle cx="24" cy="22" r="6" fill="#ff5f57"/>
|
|
<circle cx="44" cy="22" r="6" fill="#febc2e"/>
|
|
<circle cx="64" cy="22" r="6" fill="#28c840"/>
|
|
<text x="92" y="27" fill="#8b949e" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace">terminal evidence</text>
|
|
<text x="24" y="68" fill="#c9d1d9" font-size="15" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0">$ #!/bin/bash
|
|
set -euo pipefail
|
|
cd /shared/codebase/clean-architecture-backend-template
|
|
hits() {
|
|
local out rc
|
|
out=$(</tspan><tspan x="24" dy="22">git grep -nE "$1" -- "$2") && rc=0 || rc=$?
|
|
[ "$rc" -le 1 ] || { echo "SEARCH FAILED rc=$rc : $1" >&2; return 2; }
|
|
[</tspan><tspan x="24" dy="22"> "$rc" -eq 0 ] && printf '%s\n' "$out" || true
|
|
}
|
|
at() { awk -v s="$2" -v e="$3" -v n="$4" 'NR>=s && NR<=e {printf " %s:</tspan><tspan x="24" dy="22">%d %s\n", n, NR, $0}' "$1"; }
|
|
C=src/adapter/outbound/persistence-jpa/src/main/java/dev/caskeleton/adapter/outbound/persi</tspan><tspan x="24" dy="22">stence/api/query/SignedJsonCursorCodec.java
|
|
test -f "$C"
|
|
|
|
echo "# 인코더는 패딩을 뗀다"
|
|
at "$C" 37 38 SignedJsonCursorCo</tspan><tspan x="24" dy="22">dec.java
|
|
echo "# 두 상한"
|
|
at "$C" 53 58 SignedJsonCursorCodec.java
|
|
echo
|
|
echo "# 인코드가 크기를 재는 자리"
|
|
at "$C" 63 72</tspan><tspan x="24" dy="22"> SignedJsonCursorCodec.java
|
|
echo
|
|
echo "# 디코드가 크기를 추정하는 자리와 그 식"
|
|
at "$C" 103 108 SignedJsonCursorCodec.ja</tspan><tspan x="24" dy="22">va
|
|
at "$C" 125 128 SignedJsonCursorCodec.java
|
|
echo
|
|
echo "# 그 식을 부르는 자리 전부"
|
|
hits 'decodedLengthOf' 'src/**/*.ja</tspan><tspan x="24" dy="22">va' \
|
|
| sed -E 's#^src/(.*)/src/(main|test)/java/.*/([A-Za-z]+\.java):([0-9]+): *# \1 · \2 · \3:\4 #'
|
|
echo
|
|
echo "#</tspan><tspan x="24" dy="22"> 이 코덱이 프로덕션에 배선되는가"
|
|
echo " new SignedJsonCursorCodec 이 나오는 자리 :"
|
|
hits 'new SignedJsonCursorCodec' '</tspan><tspan x="24" dy="22">src/**/*.java' \
|
|
| sed -E 's#^src/(.*)/src/([a-zA-Z]+)/java/.*/([A-Za-z]+\.java):([0-9]+): *# \1 · \2 · \3:\4 #'</tspan><tspan x="24" dy="22">
|
|
echo " CursorPayloadCodec 을 구현한다고 선언한 파일 :"
|
|
printf ' %s 개\n' "$({ git grep -lE 'implements[[:space:]]+(</tspan><tspan x="24" dy="22">[A-Za-z0-9_.]+,[[:space:]]*)*CursorPayloadCodec' -- 'src/**/*.java' || true; } | { grep -c '/src/main/' || true; })"
|
|
ech</tspan><tspan x="24" dy="22">o " 실제로 배선된 커서 코덱 :"
|
|
git ls-files -- 'src/**/Hmac*CursorCodec.java' 'src/**/*KeysetCursorCodec.java' | sed 's</tspan><tspan x="24" dy="22">#.*/# #'
|
|
echo " 그 셋이 decodedLengthOf 같은 추정식을 쓰는가 : $(
|
|
{ git grep -lE 'decodedLengthOf|/ 4 \* 3' -- 'sr</tspan><tspan x="24" dy="22">c/**/Hmac*CursorCodec.java' 'src/**/*KeysetCursorCodec.java' || true; } | grep -c . || true) 개"
|
|
|
|
echo
|
|
echo "# 두 주석이</tspan><tspan x="24" dy="22"> 서로 다르게 적는다"
|
|
at "$C" 125 125 SignedJsonCursorCodec.java
|
|
at "$C" 103 104 SignedJsonCursorCodec.java
|
|
|
|
echo
|
|
echo "#</tspan><tspan x="24" dy="22"> 경계를 시험하는 코드가 있는가"
|
|
for n in 2044 2045 2046 2047 2048 2049; do
|
|
printf ' 시험에서 %s 를 쓰는 줄 : %s 개\n'</tspan><tspan x="24" dy="22"> "$n" \
|
|
"$({ git grep -nE "\\b$n\\b" -- 'src/**/*Test*.java' 'src/**/*IT.java' || true; } | grep -c . || true)"
|
|
done</tspan><tspan x="24" dy="22">
|
|
echo " 추정식에 실제로 도달하는 시험 :"
|
|
T=src/adapter/outbound/persistence-jpa/src/test/java/dev/caskeleton/adapter/ou</tspan><tspan x="24" dy="22">tbound/persistence/api/query/SignedJsonCursorCodecTest.java
|
|
at "$T" 166 176 SignedJsonCursorCodecTest.java
|
|
echo " 왕복</tspan><tspan x="24" dy="22">을 상한 근처에서 단언하는 시험 : $(
|
|
{ grep -cE 'decode\(codec.encode|encode.*decode' "$T" || true; }) 개"
|
|
echo " 이 </tspan><tspan x="24" dy="22">코덱을 만드는 자리가 있는 소스 세트 :"
|
|
hits 'new SignedJsonCursorCodec' 'src/**/*.java' | sed -E 's#^src/[^/]*/[^/]*/[^/</tspan><tspan x="24" dy="22">]*/src/([a-zA-Z]+)/.*# \1#' | sort -u
|
|
|
|
echo
|
|
echo "# 같은 페이로드를 인코드하고 곧바로 디코드해 본 결과"
|
|
grep -nE 'a".</tspan><tspan x="24" dy="22">repeat|codec.encode|codec.decode|new int\[\]|payloadSeg|추정식' /tmp/probe-cursor/CursorRoundTrip.java \
|
|
| sed -E 's#^</tspan><tspan x="24" dy="22">([0-9]+): *# probe:\1 #'
|
|
CP=$(cat /tmp/cp-jpa.txt)
|
|
rm -rf /tmp/probe-cursor/out && mkdir -p /tmp/probe-cursor/out
|
|
ja</tspan><tspan x="24" dy="22">vac -nowarn -cp "$CP" -d /tmp/probe-cursor/out /tmp/probe-cursor/CursorRoundTrip.java
|
|
java -Dfile.encoding=UTF-8 -Dsun.s</tspan><tspan x="24" dy="22">tdout.encoding=UTF-8 \
|
|
-cp "$CP:/tmp/probe-cursor/out" dev.caskeleton.adapter.outbound.persistence.api.query.CursorRou</tspan><tspan x="24" dy="22">ndTrip
|
|
</tspan></text>
|
|
<text x="24" y="706" fill="#8b949e" font-size="13" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0">cwd: /shared/codebase/clean-architecture-backend-template</tspan></text>
|
|
<text x="24" y="728" fill="#8b949e" font-size="13" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0">time: 2026-09-04T06:13:27+00:00 · exit 0</tspan></text>
|
|
<line x1="24" y1="742" x2="1176" y2="742" stroke="#30363d"/>
|
|
<text x="24" y="782" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"># 인코더는 패딩을 뗀다</tspan></text>
|
|
<text x="24" y="804" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:37 private final Base64.Encoder encoder = Base64.getUrlEncoder().withoutPadding();</tspan></text>
|
|
<text x="24" y="826" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:38 private final Base64.Decoder decoder = Base64.getUrlDecoder();</tspan></text>
|
|
<text x="24" y="848" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"># 두 상한</tspan></text>
|
|
<text x="24" y="870" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:53 /** Longest token this codec will look at, in characters. */</tspan></text>
|
|
<text x="24" y="892" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:54 public static final int MAX_ENCODED_LENGTH = 4096;</tspan></text>
|
|
<text x="24" y="914" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:55 </tspan></text>
|
|
<text x="24" y="936" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:56 /** Largest payload this codec will decode, in bytes. */</tspan></text>
|
|
<text x="24" y="958" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:57 public static final int MAX_PAYLOAD_BYTES = 2048;</tspan></text>
|
|
<text x="24" y="980" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:58 </tspan></text>
|
|
<text x="24" y="1002" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"></tspan></text>
|
|
<text x="24" y="1024" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"># 인코드가 크기를 재는 자리</tspan></text>
|
|
<text x="24" y="1046" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:63 public String encode(C cursor) {</tspan></text>
|
|
<text x="24" y="1068" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:64 Objects.requireNonNull(cursor, "cursor");</tspan></text>
|
|
<text x="24" y="1090" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:65 byte[] json = payloadCodec.toJson(cursor).getBytes(StandardCharsets.UTF_8);</tspan></text>
|
|
<text x="24" y="1112" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:66 if (json.length > MAX_PAYLOAD_BYTES) {</tspan></text>
|
|
<text x="24" y="1134" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:67 // The application's own bug, not a caller's: a cursor this large is a payload the codec</tspan></text>
|
|
<text x="24" y="1156" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:68 // cannot hand back, so producing it would mint a token that fails on the next page.</tspan></text>
|
|
<text x="24" y="1178" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:69 throw new IllegalStateException(</tspan></text>
|
|
<text x="24" y="1200" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:70 "cursor payload is " + json.length + " bytes; the bound is " + MAX_PAYLOAD_BYTES);</tspan></text>
|
|
<text x="24" y="1222" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:71 }</tspan></text>
|
|
<text x="24" y="1244" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:72 String payload = encoder.encodeToString(json);</tspan></text>
|
|
<text x="24" y="1266" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"></tspan></text>
|
|
<text x="24" y="1288" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"># 디코드가 크기를 추정하는 자리와 그 식</tspan></text>
|
|
<text x="24" y="1310" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:103 // Base64 expands by 4/3, so the encoded payload segment's length bounds the decoded size</tspan></text>
|
|
<text x="24" y="1332" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:104 // exactly. Checking it here refuses an oversized payload without allocating it first.</tspan></text>
|
|
<text x="24" y="1354" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:105 int encodedPayloadLength = macSeparator - payloadSeparator - 1;</tspan></text>
|
|
<text x="24" y="1376" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:106 if (decodedLengthOf(encodedPayloadLength) > MAX_PAYLOAD_BYTES) {</tspan></text>
|
|
<text x="24" y="1398" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:107 throw new IllegalArgumentException("cursor payload exceeds the maximum size");</tspan></text>
|
|
<text x="24" y="1420" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:108 }</tspan></text>
|
|
<text x="24" y="1442" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:125 /** The number of bytes a Base64 segment of this many characters decodes to, at most. */</tspan></text>
|
|
<text x="24" y="1464" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:126 private static int decodedLengthOf(int encodedLength) {</tspan></text>
|
|
<text x="24" y="1486" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:127 return encodedLength / 4 * 3 + 3;</tspan></text>
|
|
<text x="24" y="1508" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:128 }</tspan></text>
|
|
<text x="24" y="1530" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"></tspan></text>
|
|
<text x="24" y="1552" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"># 그 식을 부르는 자리 전부</tspan></text>
|
|
<text x="24" y="1574" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> adapter/outbound/persistence-jpa · main · SignedJsonCursorCodec.java:106 if (decodedLengthOf(encodedPayloadLength) > MAX_PA</tspan><tspan x="24" dy="22">YLOAD_BYTES) {</tspan></text>
|
|
<text x="24" y="1618" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> adapter/outbound/persistence-jpa · main · SignedJsonCursorCodec.java:126 private static int decodedLengthOf(int encodedLeng</tspan><tspan x="24" dy="22">th) {</tspan></text>
|
|
<text x="24" y="1662" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"></tspan></text>
|
|
<text x="24" y="1684" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"># 이 코덱이 프로덕션에 배선되는가</tspan></text>
|
|
<text x="24" y="1706" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> new SignedJsonCursorCodec 이 나오는 자리 :</tspan></text>
|
|
<text x="24" y="1728" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> adapter/outbound/persistence-jpa · test · SignedJsonCursorCodecTest.java:22 new SignedJsonCursorCodec<>(new OrderCursorPa</tspan><tspan x="24" dy="22">yloadCodec(), KEY);</tspan></text>
|
|
<text x="24" y="1772" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> adapter/outbound/persistence-jpa · test · SignedJsonCursorCodecTest.java:40 new SignedJsonCursorCodec<OrderCursor>(</tspan></text>
|
|
<text x="24" y="1794" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> adapter/outbound/persistence-jpa · test · SignedJsonCursorCodecTest.java:65 () -> new SignedJsonCursorCodec<>(new OrderCu</tspan><tspan x="24" dy="22">rsorPayloadCodec(), new byte[16]))</tspan></text>
|
|
<text x="24" y="1838" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> adapter/outbound/persistence-jpa · test · SignedJsonCursorCodecTest.java:114 new SignedJsonCursorCodec<String>(</tspan></text>
|
|
<text x="24" y="1860" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> adapter/outbound/persistence-jpa · test · SignedJsonCursorCodecTest.java:179 new SignedJsonCursorCodec<String>(</tspan></text>
|
|
<text x="24" y="1882" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> adapter/outbound/persistence-jpa · test · SignedJsonCursorCodecTest.java:199 return new SignedJsonCursorCodec<>(</tspan></text>
|
|
<text x="24" y="1904" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> CursorPayloadCodec 을 구현한다고 선언한 파일 :</tspan></text>
|
|
<text x="24" y="1926" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 0 개</tspan></text>
|
|
<text x="24" y="1948" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 실제로 배선된 커서 코덱 :</tspan></text>
|
|
<text x="24" y="1970" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> HmacGraphQlCursorCodec.java</tspan></text>
|
|
<text x="24" y="1992" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> HmacWebCursorCodec.java</tspan></text>
|
|
<text x="24" y="2014" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> MongoKeysetCursorCodec.java</tspan></text>
|
|
<text x="24" y="2036" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 그 셋이 decodedLengthOf 같은 추정식을 쓰는가 : 0 개</tspan></text>
|
|
<text x="24" y="2058" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"></tspan></text>
|
|
<text x="24" y="2080" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"># 두 주석이 서로 다르게 적는다</tspan></text>
|
|
<text x="24" y="2102" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:125 /** The number of bytes a Base64 segment of this many characters decodes to, at most. */</tspan></text>
|
|
<text x="24" y="2124" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:103 // Base64 expands by 4/3, so the encoded payload segment's length bounds the decoded size</tspan></text>
|
|
<text x="24" y="2146" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodec.java:104 // exactly. Checking it here refuses an oversized payload without allocating it first.</tspan></text>
|
|
<text x="24" y="2168" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"></tspan></text>
|
|
<text x="24" y="2190" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"># 경계를 시험하는 코드가 있는가</tspan></text>
|
|
<text x="24" y="2212" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 시험에서 2044 를 쓰는 줄 : 0 개</tspan></text>
|
|
<text x="24" y="2234" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 시험에서 2045 를 쓰는 줄 : 0 개</tspan></text>
|
|
<text x="24" y="2256" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 시험에서 2046 를 쓰는 줄 : 0 개</tspan></text>
|
|
<text x="24" y="2278" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 시험에서 2047 를 쓰는 줄 : 0 개</tspan></text>
|
|
<text x="24" y="2300" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 시험에서 2048 를 쓰는 줄 : 17 개</tspan></text>
|
|
<text x="24" y="2322" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 시험에서 2049 를 쓰는 줄 : 1 개</tspan></text>
|
|
<text x="24" y="2344" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 추정식에 실제로 도달하는 시험 :</tspan></text>
|
|
<text x="24" y="2366" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodecTest.java:166 // Under the token bound and over the payload bound, so the payload check is what fires</tspan><tspan x="24" dy="22">: the</tspan></text>
|
|
<text x="24" y="2410" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodecTest.java:167 // two are separate limits and the outer one must not be the only thing enforcing eithe</tspan><tspan x="24" dy="22">r.</tspan></text>
|
|
<text x="24" y="2454" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodecTest.java:168 String payloadSegment = "A".repeat(3000);</tspan></text>
|
|
<text x="24" y="2476" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodecTest.java:169 </tspan></text>
|
|
<text x="24" y="2498" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodecTest.java:170 assertThatThrownBy(() -> codec.decode("v1." + payloadSegment + ".AAAA"))</tspan></text>
|
|
<text x="24" y="2520" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodecTest.java:171 .isInstanceOf(IllegalArgumentException.class)</tspan></text>
|
|
<text x="24" y="2542" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodecTest.java:172 .hasMessageContaining("payload exceeds");</tspan></text>
|
|
<text x="24" y="2564" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodecTest.java:173 }</tspan></text>
|
|
<text x="24" y="2586" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodecTest.java:174 </tspan></text>
|
|
<text x="24" y="2608" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodecTest.java:175 @Test</tspan></text>
|
|
<text x="24" y="2630" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> SignedJsonCursorCodecTest.java:176 @DisplayName("encoding a payload past the bound fails as the application's own error")</tspan></text>
|
|
<text x="24" y="2652" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 왕복을 상한 근처에서 단언하는 시험 : 0 개</tspan></text>
|
|
<text x="24" y="2674" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 이 코덱을 만드는 자리가 있는 소스 세트 :</tspan></text>
|
|
<text x="24" y="2696" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> test</tspan></text>
|
|
<text x="24" y="2718" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"></tspan></text>
|
|
<text x="24" y="2740" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"># 같은 페이로드를 인코드하고 곧바로 디코드해 본 결과</tspan></text>
|
|
<text x="24" y="2762" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> probe:22 System.out.println(" n 무패딩 L 추정식 패딩 L 추정식 실제 최대 무패딩 초과");</tspan></text>
|
|
<text x="24" y="2784" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> probe:44 for (int n : new int[] {2044, 2045, 2046, 2047, 2048, 2049}) {</tspan></text>
|
|
<text x="24" y="2806" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> probe:45 String payload = "a".repeat(n);</tspan></text>
|
|
<text x="24" y="2828" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> probe:48 token = codec.encode(payload);</tspan></text>
|
|
<text x="24" y="2850" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> probe:55 codec.decode(token);</tspan></text>
|
|
<text x="24" y="2872" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> probe:61 int payloadSeg = token.lastIndexOf('.') - token.indexOf('.') - 1;</tspan></text>
|
|
<text x="24" y="2894" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> probe:63 System.out.printf(" 페이로드 구간 %d 자 · 추정식 %d/4*3+3 = %d%n",</tspan></text>
|
|
<text x="24" y="2916" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> probe:64 payloadSeg, payloadSeg, payloadSeg / 4 * 3 + 3);</tspan></text>
|
|
<text x="24" y="2938" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 같은 식을 두 인코딩에 적용하면</tspan></text>
|
|
<text x="24" y="2960" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> n 무패딩 L 추정식 패딩 L 추정식 실제 최대 무패딩 초과</tspan></text>
|
|
<text x="24" y="2982" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2043 2724 2046 2724 2046 2043 3</tspan></text>
|
|
<text x="24" y="3004" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2044 2726 2046 2728 2049 2044 2</tspan></text>
|
|
<text x="24" y="3026" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2045 2727 2046 2728 2049 2045 1</tspan></text>
|
|
<text x="24" y="3048" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2046 2728 2049 2728 2049 2046 3</tspan></text>
|
|
<text x="24" y="3070" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2047 2730 2049 2732 2052 2047 2</tspan></text>
|
|
<text x="24" y="3092" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2048 2731 2049 2732 2052 2048 1</tspan></text>
|
|
<text x="24" y="3114" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2049 2732 2052 2732 2052 2049 3</tspan></text>
|
|
<text x="24" y="3136" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"></tspan></text>
|
|
<text x="24" y="3158" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> MAX_PAYLOAD_BYTES = 2048 · MAX_ENCODED_LENGTH = 4096</tspan></text>
|
|
<text x="24" y="3180" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 페이로드 크기 인코드 디코드</tspan></text>
|
|
<text x="24" y="3202" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2044 바이트 성공 (토큰 2773 자) 성공</tspan></text>
|
|
<text x="24" y="3224" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 페이로드 구간 2726 자 · 추정식 2726/4*3+3 = 2046</tspan></text>
|
|
<text x="24" y="3246" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2045 바이트 성공 (토큰 2774 자) 성공</tspan></text>
|
|
<text x="24" y="3268" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 페이로드 구간 2727 자 · 추정식 2727/4*3+3 = 2046</tspan></text>
|
|
<text x="24" y="3290" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2046 바이트 성공 (토큰 2775 자) 거절 (cursor payload exceeds the maximum size)</tspan></text>
|
|
<text x="24" y="3312" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 페이로드 구간 2728 자 · 추정식 2728/4*3+3 = 2049</tspan></text>
|
|
<text x="24" y="3334" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2047 바이트 성공 (토큰 2777 자) 거절 (cursor payload exceeds the maximum size)</tspan></text>
|
|
<text x="24" y="3356" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 페이로드 구간 2730 자 · 추정식 2730/4*3+3 = 2049</tspan></text>
|
|
<text x="24" y="3378" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2048 바이트 성공 (토큰 2778 자) 거절 (cursor payload exceeds the maximum size)</tspan></text>
|
|
<text x="24" y="3400" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 페이로드 구간 2731 자 · 추정식 2731/4*3+3 = 2049</tspan></text>
|
|
<text x="24" y="3422" fill="#e6edf3" font-size="14" font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace" xml:space="preserve"><tspan x="24" dy="0"> 2049 바이트 거절 (cursor payload is 2049 bytes; the bound is 2048)</tspan></text>
|
|
</svg>
|