admin/LithosAnanake
1
0
Fork 0
Code Issues Pull Requests Actions 4 Packages Projects Releases Wiki Activity

Log fleet_k_q48/fleet_conserved; K holds exactly, 775/775 ticks (FABRIC-3.md §XVIII)
Build / build-amd64-iso (push) Canceled after 0s
Details
Build / build-aarch64-iso (push) Canceled after 0s
Details
Build / build-riscv64-img (push) Canceled after 0s
Details

Browse Source 
doe_log.c's per-heartbeat-tick CSV gains two columns: fleet_k_q48
(vm_physics_fleet_heat_sum() over ALL live VMs -- the genuine fleet-wide
conservation invariant K, not reconstructable from the 3 named-Tripod-
member heat columns already logged, which omit every identity VM's own
heat) and fleet_conserved (vm_physics_conserved() as 0/1). Requested
explicitly after the first heartbeat-telemetry analysis pass
(analysis-20260912/) omitted K entirely.

Kernel rebuilt on all three architectures, full 3x9x3 campaign rerun
(results-20260912-with-k/). K = 1.0000000000 (Q48.16 raw 65536) on every
one of 775 heartbeat-tick observations, sd(K) = 0, 100% fleet_conserved,
across amd64/aarch64/riscv64, nine identities, three replicates -- zero
deviation. Also a free regression check on both recent Stadium fixes
(§XVI/§XVII): neither disturbed the reservoir-transfer accounting K
depends on.

Found and fixed a tooling wrinkle along the way: fleet_conserved, being
the CSV row's very last field with nothing after it to bound a regex
match, can have a resumed trial digit merge into it with zero separator
on the wire -- combine.py now derives it from fleet_k_q48 directly (same
epsilon vm_physics_conserved() uses) instead of trusting the raw field.
fleet_k_q48 itself is unaffected either way.

Full analysis, discussion, and light/dark SVG->PDF figures written up as
a proper LaTeX report (report-20260912/report/std79_doe_report.pdf),
following experiments/bare_metal/analysis/report/bare_metal_doe_report.tex's
established style -- supersedes analysis-20260912/'s markdown-only first
pass as the primary deliverable for this dataset (kept, not discarded).

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EXieurDfDSsDFdnSyusuWo
This commit is contained in:
Robert Allan James
2026-09-12 13:25:09 -04:00
co-authored by Claude Sonnet 5
parent 6573a6d1d5
commit 66ba21adb4
88 changed files with 82210 additions and 788 deletions
Download Patch File Download Diff File Expand all files Collapse all files
experiments/std79-doe/report-20260912/charts/time_trust_dark.svg
+269
View File
@@ -0,0 +1,269 @@
<?xml version='1.0' encoding='UTF-8' ?>
<svg xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink' width='504.00pt' height='576.00pt' viewBox='0 0 504.00 576.00'>
<g class='svglite'>
<defs>
<style type='text/css'><![CDATA[
.svglite line, .svglite polyline, .svglite polygon, .svglite path, .svglite rect, .svglite circle {
fill: none;
stroke: #000000;
stroke-linecap: round;
stroke-linejoin: round;
stroke-miterlimit: 10.00;
}
.svglite text {
white-space: pre;
}
.svglite g.glyphgroup path {
fill: inherit;
stroke: none;
}
]]></style>
</defs>
<rect width='100%' height='100%' style='stroke: none; fill: #0D0D0D;'/>
<defs>
<clipPath id='cpMC4wMHw1MDQuMDB8MC4wMHw1NzYuMDA='>
<rect x='0.00' y='0.00' width='504.00' height='576.00' />
</clipPath>
</defs>
<g clip-path='url(#cpMC4wMHw1MDQuMDB8MC4wMHw1NzYuMDA=)'>
<rect x='0.00' y='0.00' width='504.00' height='576.00' style='stroke-width: 1.07; stroke: none; fill: #0D0D0D;' />
</g>
<defs>
<clipPath id='cpMzguMzF8NDk4LjUyfDMyLjg4fDE3OS45Ng=='>
<rect x='38.31' y='32.88' width='460.21' height='147.08' />
</clipPath>
</defs>
<g clip-path='url(#cpMzguMzF8NDk4LjUyfDMyLjg4fDE3OS45Ng==)'>
<rect x='38.31' y='32.88' width='460.21' height='147.08' style='stroke-width: 1.07; stroke: none; fill: #0D0D0D;' />
<polyline points='38.31,177.99 498.52,177.99 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,143.39 498.52,143.39 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,108.78 498.52,108.78 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,74.17 498.52,74.17 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,39.57 498.52,39.57 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='68.33,179.96 68.33,32.88 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='118.35,179.96 118.35,32.88 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='168.37,179.96 168.37,32.88 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='218.39,179.96 218.39,32.88 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='268.42,179.96 268.42,32.88 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='318.44,179.96 318.44,32.88 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='368.46,179.96 368.46,32.88 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='418.48,179.96 418.48,32.88 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='468.51,179.96 468.51,32.88 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<line x1='68.33' y1='173.27' x2='68.33' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='68.33' y1='173.27' x2='68.33' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='49.57,173.27 49.57,173.27 87.08,173.27 87.08,173.27 49.57,173.27 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #F8766D; fill-opacity: 0.85;' />
<line x1='49.57' y1='173.27' x2='87.08' y2='173.27' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='118.35' y1='173.27' x2='118.35' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='118.35' y1='173.27' x2='118.35' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='99.59,173.27 99.59,173.27 137.11,173.27 137.11,173.27 99.59,173.27 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #D39200; fill-opacity: 0.85;' />
<line x1='99.59' y1='173.27' x2='137.11' y2='173.27' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='168.37' y1='173.27' x2='168.37' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='168.37' y1='173.27' x2='168.37' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='149.61,173.27 149.61,173.27 187.13,173.27 187.13,173.27 149.61,173.27 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #93AA00; fill-opacity: 0.85;' />
<line x1='149.61' y1='173.27' x2='187.13' y2='173.27' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='218.39' y1='173.27' x2='218.39' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='218.39' y1='173.27' x2='218.39' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='199.64,173.27 199.64,173.27 237.15,173.27 237.15,173.27 199.64,173.27 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #00BA38; fill-opacity: 0.85;' />
<line x1='199.64' y1='173.27' x2='237.15' y2='173.27' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='268.42' y1='173.27' x2='268.42' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='268.42' y1='173.27' x2='268.42' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='249.66,173.27 249.66,173.27 287.18,173.27 287.18,173.27 249.66,173.27 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #00C19F; fill-opacity: 0.85;' />
<line x1='249.66' y1='173.27' x2='287.18' y2='173.27' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='318.44' y1='173.27' x2='318.44' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='318.44' y1='173.27' x2='318.44' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='299.68,173.27 299.68,173.27 337.20,173.27 337.20,173.27 299.68,173.27 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #00B9E3; fill-opacity: 0.85;' />
<line x1='299.68' y1='173.27' x2='337.20' y2='173.27' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='368.46' y1='173.27' x2='368.46' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='368.46' y1='173.27' x2='368.46' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='349.70,173.27 349.70,173.27 387.22,173.27 387.22,173.27 349.70,173.27 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #619CFF; fill-opacity: 0.85;' />
<line x1='349.70' y1='173.27' x2='387.22' y2='173.27' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='418.48' y1='173.27' x2='418.48' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='418.48' y1='173.27' x2='418.48' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='399.73,173.27 399.73,173.27 437.24,173.27 437.24,173.27 399.73,173.27 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #DB72FB; fill-opacity: 0.85;' />
<line x1='399.73' y1='173.27' x2='437.24' y2='173.27' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='468.51' y1='173.27' x2='468.51' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='468.51' y1='173.27' x2='468.51' y2='173.27' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='449.75,173.27 449.75,173.27 487.27,173.27 487.27,173.27 449.75,173.27 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #FF61C3; fill-opacity: 0.85;' />
<line x1='449.75' y1='173.27' x2='487.27' y2='173.27' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
</g>
<g clip-path='url(#cpMC4wMHw1MDQuMDB8MC4wMHw1NzYuMDA=)'>
</g>
<defs>
<clipPath id='cpMzguMzF8NDk4LjUyfDIwMi4wOXwzNDkuMTY='>
<rect x='38.31' y='202.09' width='460.21' height='147.08' />
</clipPath>
</defs>
<g clip-path='url(#cpMzguMzF8NDk4LjUyfDIwMi4wOXwzNDkuMTY=)'>
<rect x='38.31' y='202.09' width='460.21' height='147.08' style='stroke-width: 1.07; stroke: none; fill: #0D0D0D;' />
<polyline points='38.31,347.20 498.52,347.20 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,312.59 498.52,312.59 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,277.99 498.52,277.99 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,243.38 498.52,243.38 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,208.77 498.52,208.77 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='68.33,349.16 68.33,202.09 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='118.35,349.16 118.35,202.09 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='168.37,349.16 168.37,202.09 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='218.39,349.16 218.39,202.09 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='268.42,349.16 268.42,202.09 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='318.44,349.16 318.44,202.09 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='368.46,349.16 368.46,202.09 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='418.48,349.16 418.48,202.09 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='468.51,349.16 468.51,202.09 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<line x1='68.33' y1='208.77' x2='68.33' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='68.33' y1='208.77' x2='68.33' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='49.57,208.77 49.57,208.77 87.08,208.77 87.08,208.77 49.57,208.77 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #F8766D; fill-opacity: 0.85;' />
<line x1='49.57' y1='208.77' x2='87.08' y2='208.77' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='118.35' y1='208.77' x2='118.35' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='118.35' y1='208.77' x2='118.35' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='99.59,208.77 99.59,208.77 137.11,208.77 137.11,208.77 99.59,208.77 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #D39200; fill-opacity: 0.85;' />
<line x1='99.59' y1='208.77' x2='137.11' y2='208.77' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='168.37' y1='208.77' x2='168.37' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='168.37' y1='208.77' x2='168.37' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='149.61,208.77 149.61,208.77 187.13,208.77 187.13,208.77 149.61,208.77 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #93AA00; fill-opacity: 0.85;' />
<line x1='149.61' y1='208.77' x2='187.13' y2='208.77' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='218.39' y1='208.77' x2='218.39' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='218.39' y1='208.77' x2='218.39' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='199.64,208.77 199.64,208.77 237.15,208.77 237.15,208.77 199.64,208.77 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #00BA38; fill-opacity: 0.85;' />
<line x1='199.64' y1='208.77' x2='237.15' y2='208.77' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='268.42' y1='208.77' x2='268.42' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='268.42' y1='208.77' x2='268.42' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='249.66,208.77 249.66,208.77 287.18,208.77 287.18,208.77 249.66,208.77 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #00C19F; fill-opacity: 0.85;' />
<line x1='249.66' y1='208.77' x2='287.18' y2='208.77' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='318.44' y1='208.77' x2='318.44' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='318.44' y1='208.77' x2='318.44' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='299.68,208.77 299.68,208.77 337.20,208.77 337.20,208.77 299.68,208.77 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #00B9E3; fill-opacity: 0.85;' />
<line x1='299.68' y1='208.77' x2='337.20' y2='208.77' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='368.46' y1='208.77' x2='368.46' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='368.46' y1='208.77' x2='368.46' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='349.70,208.77 349.70,208.77 387.22,208.77 387.22,208.77 349.70,208.77 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #619CFF; fill-opacity: 0.85;' />
<line x1='349.70' y1='208.77' x2='387.22' y2='208.77' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='418.48' y1='208.77' x2='418.48' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='418.48' y1='208.77' x2='418.48' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='399.73,208.77 399.73,208.77 437.24,208.77 437.24,208.77 399.73,208.77 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #DB72FB; fill-opacity: 0.85;' />
<line x1='399.73' y1='208.77' x2='437.24' y2='208.77' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='468.51' y1='208.77' x2='468.51' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='468.51' y1='208.77' x2='468.51' y2='208.77' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='449.75,208.77 449.75,208.77 487.27,208.77 487.27,208.77 449.75,208.77 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #FF61C3; fill-opacity: 0.85;' />
<line x1='449.75' y1='208.77' x2='487.27' y2='208.77' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
</g>
<g clip-path='url(#cpMC4wMHw1MDQuMDB8MC4wMHw1NzYuMDA=)'>
</g>
<defs>
<clipPath id='cpMzguMzF8NDk4LjUyfDM3MS4yOXw1MTguMzc='>
<rect x='38.31' y='371.29' width='460.21' height='147.08' />
</clipPath>
</defs>
<g clip-path='url(#cpMzguMzF8NDk4LjUyfDM3MS4yOXw1MTguMzc=)'>
<rect x='38.31' y='371.29' width='460.21' height='147.08' style='stroke-width: 1.07; stroke: none; fill: #0D0D0D;' />
<polyline points='38.31,516.41 498.52,516.41 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,481.80 498.52,481.80 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,447.19 498.52,447.19 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,412.59 498.52,412.59 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='38.31,377.98 498.52,377.98 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='68.33,518.37 68.33,371.29 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='118.35,518.37 118.35,371.29 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='168.37,518.37 168.37,371.29 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='218.39,518.37 218.39,371.29 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='268.42,518.37 268.42,371.29 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='318.44,518.37 318.44,371.29 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='368.46,518.37 368.46,371.29 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='418.48,518.37 418.48,371.29 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<polyline points='468.51,518.37 468.51,371.29 ' style='stroke-width: 1.07; stroke: #1A1A2E; stroke-linecap: butt;' />
<line x1='68.33' y1='377.98' x2='68.33' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='68.33' y1='377.98' x2='68.33' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='49.57,377.98 49.57,377.98 87.08,377.98 87.08,377.98 49.57,377.98 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #F8766D; fill-opacity: 0.85;' />
<line x1='49.57' y1='377.98' x2='87.08' y2='377.98' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='118.35' y1='377.98' x2='118.35' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='118.35' y1='377.98' x2='118.35' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='99.59,377.98 99.59,377.98 137.11,377.98 137.11,377.98 99.59,377.98 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #D39200; fill-opacity: 0.85;' />
<line x1='99.59' y1='377.98' x2='137.11' y2='377.98' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='168.37' y1='377.98' x2='168.37' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='168.37' y1='377.98' x2='168.37' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='149.61,377.98 149.61,377.98 187.13,377.98 187.13,377.98 149.61,377.98 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #93AA00; fill-opacity: 0.85;' />
<line x1='149.61' y1='377.98' x2='187.13' y2='377.98' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='218.39' y1='377.98' x2='218.39' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='218.39' y1='377.98' x2='218.39' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='199.64,377.98 199.64,377.98 237.15,377.98 237.15,377.98 199.64,377.98 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #00BA38; fill-opacity: 0.85;' />
<line x1='199.64' y1='377.98' x2='237.15' y2='377.98' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='268.42' y1='377.98' x2='268.42' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='268.42' y1='377.98' x2='268.42' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='249.66,377.98 249.66,377.98 287.18,377.98 287.18,377.98 249.66,377.98 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #00C19F; fill-opacity: 0.85;' />
<line x1='249.66' y1='377.98' x2='287.18' y2='377.98' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='318.44' y1='377.98' x2='318.44' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='318.44' y1='377.98' x2='318.44' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='299.68,377.98 299.68,377.98 337.20,377.98 337.20,377.98 299.68,377.98 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #00B9E3; fill-opacity: 0.85;' />
<line x1='299.68' y1='377.98' x2='337.20' y2='377.98' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='368.46' y1='377.98' x2='368.46' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='368.46' y1='377.98' x2='368.46' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='349.70,377.98 349.70,377.98 387.22,377.98 387.22,377.98 349.70,377.98 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #619CFF; fill-opacity: 0.85;' />
<line x1='349.70' y1='377.98' x2='387.22' y2='377.98' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='418.48' y1='377.98' x2='418.48' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='418.48' y1='377.98' x2='418.48' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='399.73,377.98 399.73,377.98 437.24,377.98 437.24,377.98 399.73,377.98 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #DB72FB; fill-opacity: 0.85;' />
<line x1='399.73' y1='377.98' x2='437.24' y2='377.98' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
<line x1='468.51' y1='377.98' x2='468.51' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<line x1='468.51' y1='377.98' x2='468.51' y2='377.98' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polygon points='449.75,377.98 449.75,377.98 487.27,377.98 487.27,377.98 449.75,377.98 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter; fill: #FF61C3; fill-opacity: 0.85;' />
<line x1='449.75' y1='377.98' x2='487.27' y2='377.98' style='stroke-width: 2.13; stroke: #333333; stroke-linecap: butt; stroke-linejoin: miter;' />
</g>
<g clip-path='url(#cpMC4wMHw1MDQuMDB8MC4wMHw1NzYuMDA=)'>
</g>
<defs>
<clipPath id='cpMzguMzF8NDk4LjUyfDM1NC42NHwzNzEuMjk='>
<rect x='38.31' y='354.64' width='460.21' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpMzguMzF8NDk4LjUyfDM1NC42NHwzNzEuMjk=)'>
<text x='268.42' y='366.00' text-anchor='middle' style='font-size: 8.80px;fill: #1A1A1A; font-family: "Liberation Sans";' textLength='27.88px' lengthAdjust='spacingAndGlyphs'>riscv64</text>
</g>
<g clip-path='url(#cpMC4wMHw1MDQuMDB8MC4wMHw1NzYuMDA=)'>
</g>
<defs>
<clipPath id='cpMzguMzF8NDk4LjUyfDE4NS40NHwyMDIuMDk='>
<rect x='38.31' y='185.44' width='460.21' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpMzguMzF8NDk4LjUyfDE4NS40NHwyMDIuMDk=)'>
<text x='268.42' y='196.79' text-anchor='middle' style='font-size: 8.80px;fill: #1A1A1A; font-family: "Liberation Sans";' textLength='31.78px' lengthAdjust='spacingAndGlyphs'>aarch64</text>
</g>
<g clip-path='url(#cpMC4wMHw1MDQuMDB8MC4wMHw1NzYuMDA=)'>
</g>
<defs>
<clipPath id='cpMzguMzF8NDk4LjUyfDE2LjIzfDMyLjg4'>
<rect x='38.31' y='16.23' width='460.21' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpMzguMzF8NDk4LjUyfDE2LjIzfDMyLjg4)'>
<text x='268.42' y='27.58' text-anchor='middle' style='font-size: 8.80px;fill: #1A1A1A; font-family: "Liberation Sans";' textLength='26.89px' lengthAdjust='spacingAndGlyphs'>amd64</text>
</g>
<g clip-path='url(#cpMC4wMHw1MDQuMDB8MC4wMHw1NzYuMDA=)'>
<text transform='translate(71.00,543.29) rotate(-45)' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='23.25px' lengthAdjust='spacingAndGlyphs'>zuse</text>
<text transform='translate(121.02,543.29) rotate(-45)' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='39.12px' lengthAdjust='spacingAndGlyphs'>rajames</text>
<text transform='translate(171.05,543.29) rotate(-45)' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='12.25px' lengthAdjust='spacingAndGlyphs'>00</text>
<text transform='translate(221.07,543.29) rotate(-45)' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='12.25px' lengthAdjust='spacingAndGlyphs'>01</text>
<text transform='translate(271.09,543.29) rotate(-45)' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='12.25px' lengthAdjust='spacingAndGlyphs'>02</text>
<text transform='translate(321.11,543.29) rotate(-45)' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='12.25px' lengthAdjust='spacingAndGlyphs'>03</text>
<text transform='translate(371.14,543.29) rotate(-45)' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='12.25px' lengthAdjust='spacingAndGlyphs'>04</text>
<text transform='translate(421.16,543.29) rotate(-45)' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='12.25px' lengthAdjust='spacingAndGlyphs'>05</text>
<text transform='translate(471.18,543.29) rotate(-45)' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='12.25px' lengthAdjust='spacingAndGlyphs'>06</text>
<text x='33.38' y='181.78' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.6</text>
<text x='33.38' y='147.17' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.7</text>
<text x='33.38' y='112.56' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.8</text>
<text x='33.38' y='77.96' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.9</text>
<text x='33.38' y='43.35' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>1.0</text>
<text x='33.38' y='350.98' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.6</text>
<text x='33.38' y='316.38' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.7</text>
<text x='33.38' y='281.77' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.8</text>
<text x='33.38' y='247.16' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.9</text>
<text x='33.38' y='212.56' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>1.0</text>
<text x='33.38' y='520.19' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.6</text>
<text x='33.38' y='485.58' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.7</text>
<text x='33.38' y='450.98' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.8</text>
<text x='33.38' y='416.37' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>0.9</text>
<text x='33.38' y='381.76' text-anchor='end' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='15.31px' lengthAdjust='spacingAndGlyphs'>1.0</text>
<text x='268.42' y='568.24' text-anchor='middle' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='35.50px' lengthAdjust='spacingAndGlyphs'>Identity</text>
<text transform='translate(13.05,275.62) rotate(-90)' text-anchor='middle' style='font-size: 11.00px;fill: #AAAAAA; font-family: "Liberation Sans";' textLength='66.59px' lengthAdjust='spacingAndGlyphs'>TIME-TRUST</text>
<text x='268.42' y='14.98' text-anchor='middle' style='font-size: 12.00px; font-weight: bold;fill: #FFFFFF; font-family: "Liberation Sans";' textLength='72.66px' lengthAdjust='spacingAndGlyphs'>TIME-TRUST</text>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 30 KiB