Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
0514e09
proof(coq): Phase 1 — cfg-remember + atomic-axiom tactic on Lemma B (…
claude May 24, 2026
7acf1e5
proof(coq): add subst_preserves_typing_strong (unlocks Cluster A of L…
claude May 24, 2026
96efe22
proof(coq): Qed output_ctx_det — output-context determinacy for has_type
claude May 24, 2026
d97ba32
proof(coq): Lemma B — close 3 Cluster A cases (S_Let_Val, S_LetLin_Va…
claude May 24, 2026
9a03df6
proof(coq): Lemma B — close all 7 Cluster A cases (S_If_True/False, S…
claude May 24, 2026
d4161b6
proof(coq): Lemma B — close 4 Cluster C cases (S_Fst, S_Snd, S_Copy, …
claude May 24, 2026
68712fc
proof(coq): Lemma B — close 10 Cluster B congruence cases (35->11, 69%)
claude May 24, 2026
a2e8bcf
proof(coq): close S_App_Step1, S_App_Step2 via sibling type_determina…
claude May 24, 2026
ad5f299
proof(coq): Lemma B — Cluster C complete (S_StringLen atomic, S_Regio…
claude May 24, 2026
cf058e3
proof(coq): introduce step_preserves_type sub-lemma (partial; ~15 of …
claude May 24, 2026
f499c82
proof(coq): step_preserves_type clone-out — 8 more cases (12 of 35 re…
claude May 24, 2026
eed4901
proof(coq): step_preserves_type — close 4 cases fully, structure rema…
claude May 24, 2026
50ce303
proof(coq): step_preserves_type — add step_R_change_shape, close MIDD…
claude May 24, 2026
caa424c
proof(coq): step_preserves_type — close 7 RIGHT sub-cases via members…
claude May 24, 2026
0c64b9e
proof(coq): close 13 of 14 admits in step_output_context_eq (Lemma B)
claude May 24, 2026
0713ff6
proof(coq): add has_type_lift_across_step_no_shrink helper + extend S…
claude May 24, 2026
a4870d7
proof(coq): add safe_for_step precondition definition for preservatio…
claude May 25, 2026
2eac3e8
proof(coq): preservation path 2 — close 11 of 12 congruence cases via…
claude May 25, 2026
6724f37
proof(coq): preservation S_Region_Step — close 3 of 4 sub-cases via s…
claude May 25, 2026
379c73d
chore: gitignore Claude Code agent worktrees
claude May 25, 2026
5d13815
Merge remote-tracking branch 'origin/main' into claude/adoring-gates-…
hyperpolymath May 25, 2026
51d4376
Merge branch 'claude/adoring-gates-E57WG' of github.com:hyperpolymath…
hyperpolymath May 25, 2026
520afde
chore(repo): major tidy — purge cache cruft, consolidate docs
claude May 25, 2026
93f165c
chore(repo): tidy — move aqueduct example + add KNOWN-PROOF-DEBT
claude May 25, 2026
1bbd507
docs: add docs/README.md + spec/README.md navigation hubs
claude May 25, 2026
d161c31
fix(coq): close preservation proof holes for Hypatia
hyperpolymath May 25, 2026
d89bc97
Merge branch 'claude/adoring-gates-E57WG' of github.com:hyperpolymath…
hyperpolymath May 25, 2026
a189df3
fix(ci): stop Hypatia code-scanning self-reports
hyperpolymath May 25, 2026
d6ed6fe
docs(safety): add SAFETY comments for FFI unsafe blocks + as_ptr + un…
claude May 26, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
18 changes: 15 additions & 3 deletions .github/workflows/hypatia-scan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -139,6 +139,15 @@ jobs:
findings = [];
}

// Do not upload Hypatia's GitHub code-scanning inventory
// findings back into GitHub code scanning. Those findings
// describe existing alerts; re-uploading them as SARIF creates
// recursive CSA001 alerts that remain open after the underlying
// source finding has been fixed.
const sarifFindings = findings.filter(
(f) => String(f.rule_module || '') !== 'code_scanning_alerts'
);

// Mirrors Hypatia's own "github" annotation mapping
// (lib/hypatia/cli.ex output/2): critical|high -> error,
// medium -> warning, everything else -> note.
Expand Down Expand Up @@ -166,7 +175,7 @@ jobs:
};

const rules = new Map();
const results = findings.map((f) => {
const results = sarifFindings.map((f) => {
const mod = String(f.rule_module || 'hypatia');
const type = String(f.type || 'finding');
const ruleId = `hypatia/${mod}/${type}`;
Expand Down Expand Up @@ -223,7 +232,10 @@ jobs:
};

fs.writeFileSync('hypatia.sarif', JSON.stringify(sarif, null, 2));
console.log(`hypatia.sarif written: ${results.length} result(s).`);
console.log(
`hypatia.sarif written: ${results.length} result(s) ` +
`(${findings.length - sarifFindings.length} code-scanning inventory finding(s) excluded).`
);
CJS
node "$RUNNER_TEMP/hypatia-sarif.cjs"

Expand Down Expand Up @@ -411,4 +423,4 @@ jobs:
repo: context.repo.repo,
issue_number: context.issue.number,
body: comment
});
});
4 changes: 4 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
# SPDX-License-Identifier: PMPL-1.0-or-later
# RSR-compliant .gitignore

# Claude Code agent worktrees
.claude/

# OS & Editor
.DS_Store
Thumbs.db
Expand All @@ -22,6 +25,7 @@ build/
# Zig
**/zig-out/
**/.zig-cache/
.zig-cache-global/

# Coq / Rocq
*.vo
Expand Down
120 changes: 0 additions & 120 deletions .zig-cache-global/b/87f6089f6466e02607681b715c77e280/builtin.zig

This file was deleted.

Binary file removed .zig-cache-global/z/00e88670d3f92526a892b816b13d0f91
Binary file not shown.
Binary file removed .zig-cache-global/z/015974a78a8cdb0b40a9ea1c074adc82
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/03185885095c1402063107c62b172df4
Binary file not shown.
Binary file removed .zig-cache-global/z/03456752d95db5ba4ce8339345dc0e12
Binary file not shown.
Binary file removed .zig-cache-global/z/03f886d7ce8408bb380b0d5769d97787
Binary file not shown.
Binary file removed .zig-cache-global/z/041e6390be622c0bd23d4a4591725f36
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/042aa602a126ae367074f652a62ca47b
Binary file not shown.
Binary file removed .zig-cache-global/z/05e314f4db6e0f1ab6a2a40392769fea
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/076af897753372f26558544d3c07ab25
Binary file not shown.
Binary file removed .zig-cache-global/z/07bfd496c39767d71d2ccb3a2ed28499
Binary file not shown.
Binary file removed .zig-cache-global/z/09340c9654947aa4b8052815aeb39a4e
Binary file not shown.
Binary file removed .zig-cache-global/z/0a252bbb86e3926e4559d61a40ab1afc
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/0ae13a8dc755698bd65dccc2b2d747ad
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/0c578331f4bc540723a12ac4d824e1f5
Binary file not shown.
Binary file removed .zig-cache-global/z/0cba865a34b5e84eba9b0d5cbfeeb260
Binary file not shown.
Binary file removed .zig-cache-global/z/0d3da68fb7b0a038b1d34ba044000385
Binary file not shown.
Binary file removed .zig-cache-global/z/1062a061449008756c598318e61b2837
Binary file not shown.
Binary file removed .zig-cache-global/z/10c6a5b4ca8a9173226598d7b20847b8
Binary file not shown.
Binary file removed .zig-cache-global/z/10c8ba18807b47d00d359e5a902f28e4
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/1177ab56359e5952b134caa6ad63200d
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/120d03d257078542c8615514dbb45d5e
Binary file not shown.
Binary file removed .zig-cache-global/z/13f41a30472a8d62587f5d31abfa4256
Binary file not shown.
Binary file removed .zig-cache-global/z/14e86dd11dd6a111f78262cc93cf9a78
Binary file not shown.
Binary file removed .zig-cache-global/z/1692db4e20ffe70f86b94485e836da2b
Binary file not shown.
Binary file removed .zig-cache-global/z/199e090a0bdd86564aa249b0df526642
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/1ae8687b7495ed39eabe614b1a0d806c
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/1b50bf4a7004c9336cb79fc2e887d97a
Binary file not shown.
Binary file removed .zig-cache-global/z/1c2fcb25345ce93c1e29c052a5ad47ae
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/1ce540f9351e273925e845bb153840c8
Binary file not shown.
Binary file removed .zig-cache-global/z/1d248f0dbc411bdda960d3ce36b6d116
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/1ea5de50ccee448aa2fce32372e13e6d
Binary file not shown.
Binary file removed .zig-cache-global/z/1f54ff113aea8bf67856e62a71601a23
Binary file not shown.
Binary file removed .zig-cache-global/z/1fa1709f06dadde52f2c6805135f9afe
Binary file not shown.
Binary file removed .zig-cache-global/z/205970867f39f5e5eaa06dc60ce61ffd
Binary file not shown.
Binary file removed .zig-cache-global/z/208c8d1fde5239a63ce65262ef599e5e
Binary file not shown.
Binary file removed .zig-cache-global/z/216236b1255654cff71c84a2685e0368
Binary file not shown.
Binary file removed .zig-cache-global/z/226445d6846e2509d709748ec699253e
Binary file not shown.
Binary file removed .zig-cache-global/z/230c61dad6d3b5da12b0240fe1931054
Binary file not shown.
Binary file removed .zig-cache-global/z/243bfba43849e2bc9f48576b516713d5
Binary file not shown.
Binary file removed .zig-cache-global/z/246306ac33305b017c296a7ab0fbfcc7
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/258b2012001938ddd00f7c5d9b9e9c99
Binary file not shown.
Binary file removed .zig-cache-global/z/264fe44fc5b27784b0404f97f0e1ddb0
Binary file not shown.
Binary file removed .zig-cache-global/z/26a8231dd48c60fab99a3835e84de96b
Binary file not shown.
Binary file removed .zig-cache-global/z/2753980ff44a90d1571e6dbe495728dc
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/2922f17fa153e2c19d3500e05566ad80
Binary file not shown.
Binary file removed .zig-cache-global/z/299d7adf36cf603a7b22e6252c217abb
Binary file not shown.
Binary file removed .zig-cache-global/z/2d0baf97e5103aa6927ccee8b8748851
Binary file not shown.
Binary file removed .zig-cache-global/z/2d22b443108c2ddaaabbc3f15257e0de
Binary file not shown.
Binary file removed .zig-cache-global/z/2e6457c28b38c84d526cf8c34aa8da60
Binary file not shown.
Binary file removed .zig-cache-global/z/2e956e1f4f9282da32e3cbb682509c49
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/3031d8800a96df32079a0c1abe59d82c
Binary file not shown.
Binary file removed .zig-cache-global/z/30a84e3b5358d9b04e162e20d2ed6033
Binary file not shown.
Binary file removed .zig-cache-global/z/329cd760e60d11711f2ba437c9830c4b
Binary file not shown.
Binary file removed .zig-cache-global/z/343faa1529b43b7b731679a86b498aad
Binary file not shown.
Binary file removed .zig-cache-global/z/347bae3c6f85de514f6363bc8af076c5
Binary file not shown.
Binary file removed .zig-cache-global/z/356e589292e8f27c789c1d2c0c634714
Binary file not shown.
Binary file removed .zig-cache-global/z/36033bc141ca1c7ea29b42ef135016d5
Binary file not shown.
Binary file removed .zig-cache-global/z/36e588ccdb8acb7180b2006b9f85d0d4
Binary file not shown.
Binary file removed .zig-cache-global/z/379ddceeed395f9395122e4f66c3fff5
Binary file not shown.
Binary file removed .zig-cache-global/z/382472ef906001ae50ba7f85ff84a394
Binary file not shown.
Binary file removed .zig-cache-global/z/384951b73b191565529d06414b3a5916
Binary file not shown.
Binary file removed .zig-cache-global/z/38e7dfb36c09980372b1dde8472921ed
Binary file not shown.
Binary file removed .zig-cache-global/z/3a3eb22c722807fe29b85374bbd64637
Binary file not shown.
Binary file removed .zig-cache-global/z/3a971924739ea50dd70bdd5982565300
Binary file not shown.
Binary file removed .zig-cache-global/z/3a9eb4138e4c9ea646498e1005a83b0f
Binary file not shown.
Binary file removed .zig-cache-global/z/3ab768e70736eec84add429aaeb2a022
Binary file not shown.
Binary file removed .zig-cache-global/z/3b1079860eb92d339ebfe9b011bc7918
Binary file not shown.
Binary file removed .zig-cache-global/z/3b13bc892fe920e5cb75893f1d309fab
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/3d057a922f1ced44821c8d25390a4128
Binary file not shown.
Binary file removed .zig-cache-global/z/3da524802bff5f20f9747c431d2a4a42
Binary file not shown.
Binary file removed .zig-cache-global/z/3e880b1dbfd251320d938067dd7c0da4
Binary file not shown.
Binary file removed .zig-cache-global/z/3f0787c8b177c15a49d3e30ab8e3bd60
Binary file not shown.
Binary file removed .zig-cache-global/z/3fd97e53b72f7261280b3c5f174d1b74
Binary file not shown.
Binary file removed .zig-cache-global/z/40b728c31a1d290661b44b2a3098d5c1
Binary file not shown.
Binary file removed .zig-cache-global/z/413073dadf8f9b559a10e641faffa3e1
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/422683bdefe36c03c75b326af16d024b
Binary file not shown.
Binary file removed .zig-cache-global/z/42c4677dd4ab82d36fac58d87ec1b386
Binary file not shown.
Binary file removed .zig-cache-global/z/4306e72b6fa9c7411dc5042534269b32
Binary file not shown.
Binary file removed .zig-cache-global/z/433a6e9cf1d9976f172f246c3e072138
Binary file not shown.
Binary file removed .zig-cache-global/z/43c1ae8868efaa3797620eef23b8a2e4
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/44297e620a378ce59d607f0d075c6998
Binary file not shown.
Binary file removed .zig-cache-global/z/45226d5d7b26bddde8988bc265efac02
Binary file not shown.
Binary file removed .zig-cache-global/z/469278bfbb84dee596e41883316e69d2
Binary file not shown.
Binary file removed .zig-cache-global/z/47d13e024ba40980232c4a3013bd6b44
Binary file not shown.
Binary file removed .zig-cache-global/z/47e7ec31971d8c9be763de9d114ba8a1
Binary file not shown.
Binary file removed .zig-cache-global/z/48265a8aabe51dcb8b321a6115b60517
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/495ef550183fa00e400d77b08487abf1
Binary file not shown.
Binary file removed .zig-cache-global/z/4a24800559729b537835b19b20bb56fe
Binary file not shown.
Binary file removed .zig-cache-global/z/4bf7fbca27a905c4f58b5c367319f52f
Binary file not shown.
Binary file removed .zig-cache-global/z/4d798abdb61f6407d8c624ae84ac8a18
Binary file not shown.
Binary file removed .zig-cache-global/z/4e9c5aa0ff01e19de1bbf801648047f9
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/4f6cfa5b7a088f2dff39f14e40fb3d15
Binary file not shown.
Binary file removed .zig-cache-global/z/4fc035ef63d7a865252d78e510bb7094
Binary file not shown.
Binary file removed .zig-cache-global/z/50415e2db19ee6051a748b37b907bd4e
Binary file not shown.
Binary file removed .zig-cache-global/z/5066d8f1b4e6ffcd26949a86372f992b
Binary file not shown.
Binary file removed .zig-cache-global/z/511c943890c5495a2c9b27ec37eb674c
Binary file not shown.
Binary file removed .zig-cache-global/z/51e5c80027e55e7e79c1dbd83ff834da
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/528dd2103b23aeee2b689c823d464d87
Binary file not shown.
Binary file removed .zig-cache-global/z/52f58d8bb1bc6b719b816db1124cb252
Binary file not shown.
Binary file removed .zig-cache-global/z/53cef7d494fae8d455ba59b0714b117f
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/5552a78278b2d7554e05b7215f17ea69
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/575f119f59f223bb049d9a00bfea2ca7
Binary file not shown.
Binary file removed .zig-cache-global/z/57c1370b3078d65689b4565f3a3b1bd0
Binary file not shown.
Binary file removed .zig-cache-global/z/581db99ae7cfdda0f8bb063218df6c9b
Binary file not shown.
Binary file removed .zig-cache-global/z/58c2c2d71c5eae19d51d5d3b23a5586b
Binary file not shown.
Binary file removed .zig-cache-global/z/58c8e92a2b339dce9d8eeb85b7b331c0
Binary file not shown.
Binary file removed .zig-cache-global/z/58e3e897a759ce7aa2da9166b2837352
Binary file not shown.
Binary file removed .zig-cache-global/z/59c90a6e6047220e0db3005cc2d1086f
Binary file not shown.
Binary file removed .zig-cache-global/z/5c7a4c305300d19bc6bc54b7dc0f82d7
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/5cf1faed1ad56351e9260d2cd24d5e6d
Binary file not shown.
Binary file removed .zig-cache-global/z/5da8bcdd51cc98a206ae3bcdec98a717
Binary file not shown.
Binary file removed .zig-cache-global/z/5eb041357bb24ff9bdf7b0f1a6b64007
Binary file not shown.
Binary file removed .zig-cache-global/z/5f20b755b0698945d2c5a770d1e5b0cd
Binary file not shown.
Binary file removed .zig-cache-global/z/5f8f35d80f067aaa2860a28e98c50280
Binary file not shown.
Binary file removed .zig-cache-global/z/607233979839b075dcd9f8f051d61529
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/60b5028bdebc7ee81deb261d098006de
Binary file not shown.
Binary file removed .zig-cache-global/z/60bcf0b0dec861d5220cd683ef1690b2
Binary file not shown.
Binary file removed .zig-cache-global/z/60cb63f7895d6b480b2c18847606578f
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/653c0fba33cd33b23966cbe5fd511fde
Binary file not shown.
Binary file removed .zig-cache-global/z/65df8c08137a203d1f85a862d64f29ee
Binary file not shown.
Binary file removed .zig-cache-global/z/6689af5bc4ad9464a0ca5c2b641e27c6
Binary file not shown.
Binary file removed .zig-cache-global/z/676f0343c14e444be32f77aafee5c1d3
Binary file not shown.
Binary file removed .zig-cache-global/z/67ed9ff0261e1472450a763c7794bb86
Binary file not shown.
Binary file removed .zig-cache-global/z/681543daa8c4f723ea965ec63cf81546
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/68775f49a008f926ee0f6148a411c55d
Binary file not shown.
Binary file removed .zig-cache-global/z/68cf413e1ae7baa1fe8f96d36d3054b6
Binary file not shown.
Binary file removed .zig-cache-global/z/68ff04d22e935b0fcc852220c754b9ae
Binary file not shown.
Binary file removed .zig-cache-global/z/6b4f15b7b9b82d367e331c95efe6be4c
Binary file not shown.
Binary file removed .zig-cache-global/z/6b614d07ec91e94babfa6c2947d5f004
Binary file not shown.
Binary file removed .zig-cache-global/z/6b9fae4cbf448e8e270cfc26ea16e897
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/6e7cb1f27ccef22ddf5b71f0b431eb58
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/6f6d171e4dc645f0687d5b12fa935f20
Binary file not shown.
Binary file removed .zig-cache-global/z/6f88c5bf749b81f9981eb3addac0c5d8
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/6fd7d676d147f8fb58e6dddb764f097f
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/71e8a3530be834d5c8a4822db0e936be
Binary file not shown.
Binary file removed .zig-cache-global/z/723e2a3af97eb0534bbac4651432a843
Binary file not shown.
Binary file removed .zig-cache-global/z/72cf604981ec2d3c13dde9f0206fb9c6
Binary file not shown.
Binary file removed .zig-cache-global/z/7469c31a155e0afecc62796f24fc417c
Binary file not shown.
Binary file removed .zig-cache-global/z/74fd821e3100e52ac0aab0efc14ebc68
Binary file not shown.
Binary file removed .zig-cache-global/z/7566e38f44d59bf49e51cde2f36b1fa7
Binary file not shown.
Binary file removed .zig-cache-global/z/766da3fd8af7920e08f2b17bfbb6cda1
Binary file not shown.
Binary file removed .zig-cache-global/z/767f02de76e6054cb74082a8b587ca4c
Binary file not shown.
Binary file removed .zig-cache-global/z/76ca736b67df216aa4379d0c5efd8f0e
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/77f4d63bdc24cbafe1b43802a0acf6f3
Binary file not shown.
Binary file removed .zig-cache-global/z/77f624eb1db59e31117403186be090d4
Binary file not shown.
Binary file removed .zig-cache-global/z/794d669c8cbc4a881a5a4bcb7ba02040
Binary file not shown.
Binary file removed .zig-cache-global/z/7a0566cb276a0d35e16a593861eb1443
Binary file not shown.
Binary file removed .zig-cache-global/z/7b0e703ec3ee0d8ae3f65f0ad2ef4502
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/7d0b10be2ab3545b287cd5a5f6343615
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/7fab1d57cfab22cadb99eb5e6f9c04e5
Binary file not shown.
Binary file removed .zig-cache-global/z/7fbd8ee736cff067ed11b609d56feca8
Binary file not shown.
Binary file removed .zig-cache-global/z/800c6e87d15dca9806b7e9de6d1f2b32
Binary file not shown.
Binary file removed .zig-cache-global/z/809b29eb8dc488905dfcb7d322ebe272
Binary file not shown.
Binary file removed .zig-cache-global/z/8150eb9211d516391bdc670274678148
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/82e6a7a95d9b43666a88905b309344c9
Binary file not shown.
Binary file removed .zig-cache-global/z/8330394049c9013ca22e02e27e3a8500
Binary file not shown.
Binary file removed .zig-cache-global/z/835ff9251c7f0323c0bea05dac926587
Binary file not shown.
Binary file removed .zig-cache-global/z/8563f6b2d2a8e27f70b6192d74834b30
Binary file not shown.
Binary file removed .zig-cache-global/z/85648591b37d5c17e8e94d422537f711
Binary file not shown.
Binary file removed .zig-cache-global/z/8709129670d303b4decaf2195a26368a
Binary file not shown.
Binary file removed .zig-cache-global/z/877d5f9773241e7fad78cc268f954794
Binary file not shown.
Binary file removed .zig-cache-global/z/8832240d9b9d524b16329878c1c7a5e5
Binary file not shown.
Binary file removed .zig-cache-global/z/8921cba265feee30eb1cefe71930eee9
Binary file not shown.
Binary file removed .zig-cache-global/z/89579adb699dda85b110af069c8222c6
Binary file not shown.
Binary file removed .zig-cache-global/z/8af69534cc0abea26ecd1aae6dd3e39d
Binary file not shown.
Binary file removed .zig-cache-global/z/8d6d93449dea8f76ac42bec4eb09ca17
Binary file not shown.
Binary file removed .zig-cache-global/z/8e9ab89055897ed3aa611ac2b959cf0b
Binary file not shown.
Binary file removed .zig-cache-global/z/8ec7da613fd3e9b9fc8011e92aab8df3
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/8f4286a1c14f5bb57c459e798f35a0e5
Binary file not shown.
Binary file removed .zig-cache-global/z/9005ad76f248b01c632bd05d9abbeb03
Binary file not shown.
Binary file removed .zig-cache-global/z/901d08b0fca9fc931b648b5bc25467f7
Binary file not shown.
Binary file removed .zig-cache-global/z/90fffb6f0481861ec50d3114e6a76269
Binary file not shown.
Binary file removed .zig-cache-global/z/924b763c4316bd8c4ebbaf1b5bcd97a5
Binary file not shown.
Binary file removed .zig-cache-global/z/933a21057ff30376d33fbd11f840daff
Binary file not shown.
Binary file removed .zig-cache-global/z/93716f13a21f878cab1acd9a60f976ae
Binary file not shown.
Binary file removed .zig-cache-global/z/93b77c302decd05409f74679f20d27b2
Binary file not shown.
Binary file removed .zig-cache-global/z/94162751a296232aabcf4378bed24960
Binary file not shown.
Binary file removed .zig-cache-global/z/943567db1ebf692d4404b4f5253e218a
Binary file not shown.
Binary file removed .zig-cache-global/z/96ad4dfcfe93ecd14f6480f4ba0c4844
Binary file not shown.
Binary file removed .zig-cache-global/z/988ba7d79145b86283705f0f7d935d24
Binary file not shown.
Binary file removed .zig-cache-global/z/98d3678da4a2905b417c8f89dbdd1a8e
Binary file not shown.
Binary file removed .zig-cache-global/z/99784097015a8cfb78932c61571f1899
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/99f1af94476d3c9f69fd10b9d61b4132
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/9cebd9767e743cea5ef262c0fb5efb09
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/9d9c4e1e38908d72c1734631417e9035
Binary file not shown.
Binary file removed .zig-cache-global/z/9dc35025c0adeb477e2215ba4142c4c8
Binary file not shown.
Binary file removed .zig-cache-global/z/9e160fb23f6bd646a4510d3376a184c4
Binary file not shown.
Binary file removed .zig-cache-global/z/a02d6d79cfc4ff637990ffdfb342f010
Binary file not shown.
Binary file removed .zig-cache-global/z/a0d2600578ffe24020aea091529ce80a
Binary file not shown.
Binary file removed .zig-cache-global/z/a229de76e8fcc0f2d19c159bf1d04716
Binary file not shown.
Binary file removed .zig-cache-global/z/a2722f73a32408ed12424dbcfc0bb2b2
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/a34f72ee28d12d22b569058248cf80f0
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/a47cc508041685e0ddb62257d203c00a
Binary file not shown.
Binary file removed .zig-cache-global/z/a621e75b6a08de285c4b694a92a295a7
Binary file not shown.
Binary file removed .zig-cache-global/z/a7776ca9552b8bfaaba7b0eec2756d07
Binary file not shown.
Binary file removed .zig-cache-global/z/a7f420dbac959b6fa78f819369992132
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/a97c60cb22d2b8692853ae2650a7bcd2
Binary file not shown.
Binary file removed .zig-cache-global/z/a9990788191aca6998c6dfdb18f036cf
Binary file not shown.
Binary file removed .zig-cache-global/z/a9b1d43e92745b4ea50e889cd22a1550
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/aae70c4152ce57ae41a3b55f864b83ca
Binary file not shown.
Binary file removed .zig-cache-global/z/aae8fa20b2862153827a767a7ebf6fd7
Binary file not shown.
Binary file removed .zig-cache-global/z/abf72733f1bb6ed9a626a6b78f7a7f49
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/ad231d6c6e6680d7ed2e5ac59233973a
Binary file not shown.
Binary file removed .zig-cache-global/z/ad74981280fef08160621fa4cf9a1f63
Binary file not shown.
Binary file removed .zig-cache-global/z/adffaff8636ce804b4235f7cf8b45073
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/ae948e7b83889c18cc5129ebb2d31f16
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/aee85cfb1fb37efaff4a62d37ebe171e
Binary file not shown.
Binary file removed .zig-cache-global/z/b0ae3826a130ce58b7d45355240df67a
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/b321a2cc2a493c73730ceb4be56c9ee4
Binary file not shown.
Binary file removed .zig-cache-global/z/b32cdde70fc1bd4f48af221e8ab5625b
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/b5804cbe3b96e13d0591fc7a88f942c0
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/b6f7d30744aef9c60a8ac04f72bdce3b
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/b8264aed5a97bc4b60da6b75bb4cddd5
Binary file not shown.
Binary file removed .zig-cache-global/z/b9773d45ef33cae10e9caa6d52f4e86b
Binary file not shown.
Binary file removed .zig-cache-global/z/bb0f029c7aa04e4a0f20e4e6c0c217f2
Binary file not shown.
Binary file removed .zig-cache-global/z/bc3526029e7763738047e1e73b0bd34d
Binary file not shown.
Binary file removed .zig-cache-global/z/bc5c1cf6f6fc7732a85573dce67d46cc
Binary file not shown.
Binary file removed .zig-cache-global/z/bc72cf5b705498c1c0900f3970bc262c
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/bd1731dc669b7a742e57b519770f363d
Binary file not shown.
Binary file removed .zig-cache-global/z/bd6086b411f4cb714eb7e75884dab006
Binary file not shown.
Binary file removed .zig-cache-global/z/bf521c1335e8a14b489b107219bd391c
Binary file not shown.
Binary file removed .zig-cache-global/z/bfd8828c355e2437297666dc9ddd3b65
Binary file not shown.
Binary file removed .zig-cache-global/z/c0a4ae1817eba15ffdb566b148c56b51
Binary file not shown.
Binary file removed .zig-cache-global/z/c1c7628ae50808217853d2ec9956b6a3
Binary file not shown.
Binary file removed .zig-cache-global/z/c2ac2c142a081780dd9226f1ed78a55a
Binary file not shown.
Binary file removed .zig-cache-global/z/c3074874180dd396d07038b71432f518
Binary file not shown.
Binary file removed .zig-cache-global/z/c36592186051ee54fd052c1949edf2d7
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/c50bd9243f38fa291903dae27236f242
Binary file not shown.
Binary file removed .zig-cache-global/z/c5b06f0dd9fe9334840f77a692d6555b
Binary file not shown.
Binary file removed .zig-cache-global/z/c6da159fceef368ce757db3bb4204842
Binary file not shown.
Binary file removed .zig-cache-global/z/c7121954c3b2378c70f8742f6c0cc89e
Binary file not shown.
Binary file removed .zig-cache-global/z/c7f43455a575c609c7b977fe511e0891
Binary file not shown.
Binary file not shown.
Binary file removed .zig-cache-global/z/cb096e7eee6d43b7352998689201660a
Binary file not shown.
Binary file removed .zig-cache-global/z/cbb653e448c32e8cc4d670e6ee1f474f
Binary file not shown.
Loading