SPDXVersion: SPDX-2.1
DataLicense: CC0-1.0
SPDXID: SPDXRef-DOCUMENT
DocumentName: project
DocumentNamespace: http://spdx.org/spdxdocs/spdx-v2.1-a1cca5d9-124f-4d8e-9fb7-ddb68d7ed9cb
Creator: Person: Anonymous ()
Creator: Organization: Anonymous ()
Creator: Tool: reuse-6.1.0
Created: 2026-07-20T11:48:06Z
CreatorComment: <text>This document was created automatically using available reuse information consistent with REUSE.</text>
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5d65cfb31ec486101fbb08a1f1e68346
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2e000bf39be70be57b06e195a553b2a3
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-afd98b508a5264e6d1774165f249827d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1be4b8da72f5e9077a2a0c87873d9658
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e651707604cdaddb08ed539ee49d47f6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6b28798eba4f456140e14f4eaa4d8165
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e5c1cbae01d8912da82b98bfb0e5bae5
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-f4c1f9b019847e4fe95b8f561ae1e679
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b464e008bcc44b460228dc8b9a53df30
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-434f3cad2b576153fb90cc01aacef085
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8405e0f51b7bb3617718bcee9b1c41ed
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0f3a8ca7d131848e8b0e2853ab211aa6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2c11d7aca18f6431e78c304f190335b3
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-dd0780ab712d1dd18914dd6e4649be09
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-43e202c29ec63fc49da9d45c97029cb3
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d15c1ffe13a6637219e2a2eb1d88bd8d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-38cfdca4c7b1320840a73ac028a7aa46
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2e4fb648b4423eee9db6996a20457199
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7687c9e015378ed08b3c9abc05b4bf7e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d06d8baecce7b7a2d12ea389f03eb2aa
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-68afb493076d7df5da7e13453342c1cf
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-17b71643fcffc57bed19a5a87a5701cd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-53345aa30bafbde3bbd1b9e28ad1ccd4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8fe575582f51b4c865edee659f1daf26
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6076557dbefd827aa21cbc5984dd1fe6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5c9b0d1969e8fdaa03c21c47a244630f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bde5cf6ad1dc74f0cac1b03dfcf7f7bb
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-30d17aad3b5c55c6346f4a109283147a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1b3d022007b6dde6aabd53e8aace9ba7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fdd3f12a2e29126a736104bd925dd2ea
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0d104db06a1f5c9a9893a7fb1696a384
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-dfed6a627468bdcc9db3b0995048e1f1
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5d67a16280784c14fb4d92802cb59181
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-eef7707f982fdd9630fba23795d794fa
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bec1354a971d94ad4dcebe744011a0ab
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b06943d74e948ddd3bd2427f6e281e8b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-171e5ad0db7be97bb897b0f639d3b624
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d4bda7858dc9c2094ce064429e9a3055
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d7c6ed24d71fffb761a553ab3771f30b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-ca6c3f0acceb91524691c98f226f3c00
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8703f490b5fa3d6cc34b6682d6d63e4f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5ca1c4a67a79c0016e8e7eefeaee975d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e97b91d37d9898dad2527a5e331c03b0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2a7cdd46bda0b8ac6f4adeee7d673183
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bceb435dd409994b6005e79158ed1a4f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8e5c0495bdca0dd45b0772586ee7a03d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e41ab90b6f3189e3152b6dea6bc64001
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6a0e3e2aeabe0ad3774c2383fa494196
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-202afaec48b8dc067cbf4bbe911b528d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b9314cff8603c9c319d0cc0d30602fd6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d8e089368f2e7749d853bb733e808a43
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fdb1998b940b0c9d181fb6625c65690c
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-294bc98ce595edb9b2010d885274da14
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fcb1145d3f5337efe4272ef6624d6184
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-136f889218e2b748623baa8ef776dbfb
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-4d0080b3f9666de7a6ea2ac59efb38a4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bb1f4974d27a62e9109395e4b531fb99
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-9c7b039b30e6bdab3554e2564018a227
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e828259d44b46badff136374c23c0e19
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-27cc0a09d43b5dd43b4af6e3fe389923
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d5a7d5b79b64e1cd961cede0858a9cd6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6bc287326963f4ba80e820b59eed2ca2
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-18606afd78b246a8c551aaaf1a4c3f3a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-c45f4c4e8a945c33072828a45d230ef8
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-edb5bdaecd7bd454462d852747e7d78f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e702d6752399e0cfe73e69678b4bd709
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-03aefe0661dfe4d14c72e6999d1373bf
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2a1d2da704d333a16d78de4b2db44d8e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8004a5e6ca7ffb668cd3c27609bad4e6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-ee665d087be1d136efafefc4d80277c0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-473f51fca0de9bdfdc4a827fd9a39d42
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-603351adaf6b87cb7b8cd00e837f120e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6132075f5162ba118787ccbbe66f827d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-481dd4beb694f55f8caa7eabdf3da81d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b00f1a48af9aee5be243b517254073d4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7b0ce35d28ce603f3ab407fed93af399
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-41da557ec75b158fa3278ca27f2c1fc0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-40d946d5c810b9ea9b2af5c8275c3b90
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-89236bacae816c53b5d5d40163c0ea2a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e7c546e00b3c86279d3c27370593594f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-dd4f11ce4e0d2adf4c7147b48368b269
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-59e8637dc4edbd6ec1491907caadb895
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3e78cc2a088773c18651648bcd4cc6ce
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0fa63b1f0d52c3872eba016b52f9677a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7c9540999d08fc6d2308fdb1e253fa4f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1c847c431a8fdef89f60be78b088d680
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0ccc3968925fe946fa91a3b92f220ec4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-51055f9409314316f6892c8f658fe56b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-df52f7d0004464af152188b6811aaff8
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-de8aec6cc08404bdc9d1bb6d99f4c7c1
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bb2132d26687aa2d5a23bf47e60cd10e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1437ea3bd60d5ca9623c300f5f4395a4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-931ba82c03848b6657cf3b3d0ddd77c5
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-dbd3421f2573cc39da1195eabed71e6b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e5c05a6dfa5a33cc60aed8865a1be2a6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-44e13d0dc30c0e5beff68056373a19dd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-52b03fbdba1799d4ecb1f7826267ee71
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1a4fea59afc52c6bac33ca3f71665521
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5cdf44e6ed470323d19f48b63b0a353e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-c13aed45de184b16e7dc416d37530159
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-c1559f37d8e69ff9bef16062c295233d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0c34f69290b587a0e46e131716cec4d7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a279b223ccb4f233a7783202cbc3bcad
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-38ff32e5ab109f6f4b84837d403e2c01
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0441ecaf2d5ecbbef1bd6795c93eaef3
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d847019a66b4789f86e33324ed8038a7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d45e2699cca5c144db3c7a06454e88f4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e8846f422e3b36067477a25332b6603a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-29163d83492b0080de33aa8d21b801df
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a02e58d26d4f7c5c4dfb7c2112e01c0e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0e513ade68a94ee9b411bbdc32b94c66
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3bb334eb93b121f8525da46ae19897d0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6a2777b19cdb5af732af7aa4f345a4fa
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1ee17d7ea2703fff715e8c7d6a6a9afe
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-4b552e73b38bf3f17dcfe23862c1c04b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-47f8936595a59086de471cce3a0ded1a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-9f221d6af92e508b1182b9665488776e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-175bf7821af5c2a38c179c2c1dd1f623
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8b852f29e5565c778fd741a0c77f6b39
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-943aad90134ee728e949ffeecf309e14
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a6d7fb266c593ae74ad842f7f966a491
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-341b6ada80cfd7ac356735e9f8eac569
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d644c731a829a97878b6f746560b0025
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e76e883ce90c4f4fee0f3345851c8eb2
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-f39daa7ad3d4259c08b5a257637c0533
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a918740b9242b57e50bb7e1af45e7d74
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-cd2852b3f38ab6c38ec59659cf11291a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-ccf53af2f6fa261e44de1d146f8d89b7

FileName: ./.github/workflows/README.md
SPDXID: SPDXRef-5d65cfb31ec486101fbb08a1f1e68346
FileChecksum: SHA1: 7bb1511f0ce6961105d125e32a3dbab4c594c5ff
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./.github/workflows/cloudflare.yml
SPDXID: SPDXRef-2e000bf39be70be57b06e195a553b2a3
FileChecksum: SHA1: 7dfbf3dea7f4ad77a9dc998e975a96bbb79512cc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./.github/workflows/pages.yml
SPDXID: SPDXRef-afd98b508a5264e6d1774165f249827d
FileChecksum: SHA1: 5faed0c44421ae8a0e48d8bef5db2b067716e59c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./.github/workflows/typecheck.yml
SPDXID: SPDXRef-1be4b8da72f5e9077a2a0c87873d9658
FileChecksum: SHA1: 1956332ee98538b76c5afe81494fbe79b3f12732
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./.gitignore
SPDXID: SPDXRef-e651707604cdaddb08ed539ee49d47f6
FileChecksum: SHA1: 64b2177cf5e72ba5695afba03fd457f40fdb9ad3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./AGENTS.md
SPDXID: SPDXRef-6b28798eba4f456140e14f4eaa4d8165
FileChecksum: SHA1: 6972b2a630038c3f22f3d619a6fdd8ac2ab9975f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./CITATION.bib
SPDXID: SPDXRef-e5c1cbae01d8912da82b98bfb0e5bae5
FileChecksum: SHA1: 110f7e3edf92b71755ab6507afd4837134e11b1f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./CLAUDE.md
SPDXID: SPDXRef-f4c1f9b019847e4fe95b8f561ae1e679
FileChecksum: SHA1: f3a1c4dd0ffa2c709d9e8cf46e375f0c2320c8be
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./CONTRIBUTING.md
SPDXID: SPDXRef-b464e008bcc44b460228dc8b9a53df30
FileChecksum: SHA1: 3c09056858d77bf853cbabd26c39e2ee690c53fa
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./COPYRIGHT
SPDXID: SPDXRef-434f3cad2b576153fb90cc01aacef085
FileChecksum: SHA1: 64d630aae06be85c7cc18e4a1c9ac30b5778f929
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>Copyright (C) 2021 Amelia Liao and contributors; the catch-all default folds it in).
Copyright (C) 2026 Bedrock Institute
SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./Makefile
SPDXID: SPDXRef-8405e0f51b7bb3617718bcee9b1c41ed
FileChecksum: SHA1: a0c63ad132a8ad5c3e826f7ceacf841e12c8f69d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./NOTICE
SPDXID: SPDXRef-0f3a8ca7d131848e8b0e2853ab211aa6
FileChecksum: SHA1: a40f77916c0749934730abcc01cd7937ff1ec682
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>Copyright (C) 2021 Amelia Liao and contributors
Copyright (C) 2026 Bedrock Institute
SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./README.md
SPDXID: SPDXRef-2c11d7aca18f6431e78c304f190335b3
FileChecksum: SHA1: fd740fdf09b91bbd9636ea928dae3526caab0d85
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./bedrock.agda-lib
SPDXID: SPDXRef-dd0780ab712d1dd18914dd6e4649be09
FileChecksum: SHA1: da6337d689da71b018ce46c3470e0fcaa51cd840
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./dev/GLOSSARY.md
SPDXID: SPDXRef-43e202c29ec63fc49da9d45c97029cb3
FileChecksum: SHA1: 4a03f4312bdbb6420d3512bfca41e9cdc03fb2d3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./dev/PLAN.md
SPDXID: SPDXRef-d15c1ffe13a6637219e2a2eb1d88bd8d
FileChecksum: SHA1: a7cb0231544d99f76097498b1ef7b31b959166c5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./dev/README.md
SPDXID: SPDXRef-38cfdca4c7b1320840a73ac028a7aa46
FileChecksum: SHA1: f80df5f7a923da288aebf041a0db8a357601ccc3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./dev/STYLE-agda.md
SPDXID: SPDXRef-2e4fb648b4423eee9db6996a20457199
FileChecksum: SHA1: 23f3e7aa5d3b20cb8546685a52bea402381430af
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./dev/STYLE-i18n.md
SPDXID: SPDXRef-7687c9e015378ed08b3c9abc05b4bf7e
FileChecksum: SHA1: 9c2b3d8c627e4de1d9d5a3f4633cd29ec916107a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./dev/glossary.toml
SPDXID: SPDXRef-d06d8baecce7b7a2d12ea389f03eb2aa
FileChecksum: SHA1: fe86a6ab1f7346a84db3be819e57d405bd3c03fd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./docs/README.md
SPDXID: SPDXRef-68afb493076d7df5da7e13453342c1cf
FileChecksum: SHA1: c08dfe45d2284613a3c1478913ae58d811b29ee2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./docs/en/CHARTER.md
SPDXID: SPDXRef-17b71643fcffc57bed19a5a87a5701cd
FileChecksum: SHA1: 0664e0b0d58951c8dc0e00105a781bb11ee9175b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./docs/ja/CHARTER.md
SPDXID: SPDXRef-53345aa30bafbde3bbd1b9e28ad1ccd4
FileChecksum: SHA1: ec0d2a4c6bb6509aa44c80845c056077e5fa874c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./docs/ja/README.md
SPDXID: SPDXRef-8fe575582f51b4c865edee659f1daf26
FileChecksum: SHA1: e9eb897595108d97a7659fd953be1377cd2fae42
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./docs/zh/CHARTER.md
SPDXID: SPDXRef-6076557dbefd827aa21cbc5984dd1fe6
FileChecksum: SHA1: 68b9ddc15b4af9622deef4d5d9c38e08dcb1b571
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./docs/zh/README.md
SPDXID: SPDXRef-5c9b0d1969e8fdaa03c21c47a244630f
FileChecksum: SHA1: 0bfabececf01c8f8524a8edb2429ec5c1106901e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./requirements-dev.txt
SPDXID: SPDXRef-bde5cf6ad1dc74f0cac1b03dfcf7f7bb
FileChecksum: SHA1: a4c15685c121d342c1a5323305910dd167fad864
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/README.md
SPDXID: SPDXRef-30d17aad3b5c55c6346f4a109283147a
FileChecksum: SHA1: 49d8498d6e65d1148b9b19d5254bd9485640d76b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/check-glossary.py
SPDXID: SPDXRef-1b3d022007b6dde6aabd53e8aace9ba7
FileChecksum: SHA1: 86b2b3dcc13de72c0d0530fbbf0886a2f1245bd3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/depmap-template.html
SPDXID: SPDXRef-fdd3f12a2e29126a736104bd925dd2ea
FileChecksum: SHA1: 0164bd5611c724ad42db1dfe1268a2a77b3555d2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/extract-types.py
SPDXID: SPDXRef-0d104db06a1f5c9a9893a7fb1696a384
FileChecksum: SHA1: 3292f44d953745307c0d34aef993c2f7ea39a7cb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/gen-depmap.py
SPDXID: SPDXRef-dfed6a627468bdcc9db3b0995048e1f1
FileChecksum: SHA1: 610dd96aa4d0e71d61254c65046fe9a547362224
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/git-hooks/pre-commit
SPDXID: SPDXRef-5d67a16280784c14fb4d92802cb59181
FileChecksum: SHA1: 03e0afa7859cf892323343e92817506f38e5564f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/i18n_markers.py
SPDXID: SPDXRef-eef7707f982fdd9630fba23795d794fa
FileChecksum: SHA1: 57a9c2324e7a5c99d44e69cd720e4e93fd3976ba
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/link-check.py
SPDXID: SPDXRef-bec1354a971d94ad4dcebe744011a0ab
FileChecksum: SHA1: 08dfaefb51c432e724f2bd0a12864b83ef81c42f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/lint-agda.py
SPDXID: SPDXRef-b06943d74e948ddd3bd2427f6e281e8b
FileChecksum: SHA1: b14d55813d4d541531e9a6a513efeab20cdb9ad0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/lint-prose.py
SPDXID: SPDXRef-171e5ad0db7be97bb897b0f639d3b624
FileChecksum: SHA1: 917ec1b0d731313b95e4937c2570bae9d0433f39
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/render-site.py
SPDXID: SPDXRef-d4bda7858dc9c2094ce064429e9a3055
FileChecksum: SHA1: 293513cf87ab2fbf0fa24b3d9acff27e0f40ffd7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute
© 2026 Bedrock Institute · {s["license"]} · {source}'</text>

FileName: ./scripts/tests/test_glossary.py
SPDXID: SPDXRef-d7c6ed24d71fffb761a553ab3771f30b
FileChecksum: SHA1: 84679fbf9676d6e3eaf043e4896608e167f44e60
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/tests/test_i18n.py
SPDXID: SPDXRef-ca6c3f0acceb91524691c98f226f3c00
FileChecksum: SHA1: ba0d61f76c92dde954d19bfacb2999ed5143aa84
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/tests/test_lint_agda.py
SPDXID: SPDXRef-8703f490b5fa3d6cc34b6682d6d63e4f
FileChecksum: SHA1: 86dfee23e61b96a00db2b2a7d5bd7836bbd67d62
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./scripts/weave-i18n.py
SPDXID: SPDXRef-5ca1c4a67a79c0016e8e7eefeaee975d
FileChecksum: SHA1: a6a362bad749a385033535580f362328fd7183e5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./site/README.md
SPDXID: SPDXRef-e97b91d37d9898dad2527a5e331c03b0
FileChecksum: SHA1: bc86f2c0d9526479fbf02fc6185197c4106b2c86
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./site/static/assets/banner.png
SPDXID: SPDXRef-2a7cdd46bda0b8ac6f4adeee7d673183
FileChecksum: SHA1: eab048b7c1e60696973cd0fe82dec79af8913cc0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./site/static/assets/brand.svg
SPDXID: SPDXRef-bceb435dd409994b6005e79158ed1a4f
FileChecksum: SHA1: 8dac41a74f3281dec74659e09973b56207d38187
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./site/static/assets/favicon.svg
SPDXID: SPDXRef-8e5c0495bdca0dd45b0772586ee7a03d
FileChecksum: SHA1: 0858ecde396b6666ef0487561c71bcd707f4b1bd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./site/static/bedrock.css
SPDXID: SPDXRef-e41ab90b6f3189e3152b6dea6bc64001
FileChecksum: SHA1: 6c1f6a938773171e7f6be14f2a150642a58c3c1c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./site/static/bedrock.js
SPDXID: SPDXRef-6a0e3e2aeabe0ad3774c2383fa494196
FileChecksum: SHA1: cb88df3aaefb475d3999d2041aa7c6b4c4d74cd5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./site/static/fonts/JuliaMono-Bold.woff2
SPDXID: SPDXRef-202afaec48b8dc067cbf4bbe911b528d
FileChecksum: SHA1: a1618dd8969e97cb6198b9bdb14aaa25463dae25
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020-2023 cormullion</text>

FileName: ./site/static/fonts/JuliaMono-Regular.woff2
SPDXID: SPDXRef-b9314cff8603c9c319d0cc0d30602fd6
FileChecksum: SHA1: 600423183b2d9014ee6f5805a42b54ccd6af71f4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: <text>SPDX-FileCopyrightText: 2020-2023 cormullion</text>

FileName: ./site/static/fonts/eb-garamond-latin-400-italic.woff2
SPDXID: SPDXRef-d8e089368f2e7749d853bb733e808a43
FileChecksum: SHA1: 949b7bc18fcd3c93bbd9edb4b5820172b7b230b2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: <text>SPDX-FileCopyrightText: 2010-2013 Georg Duffner</text>

FileName: ./site/static/fonts/eb-garamond-latin-400-normal.woff2
SPDXID: SPDXRef-fdb1998b940b0c9d181fb6625c65690c
FileChecksum: SHA1: 41bbbb867157d1bbfc896830e03f4225d303c9da
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: <text>SPDX-FileCopyrightText: 2010-2013 Georg Duffner</text>

FileName: ./site/static/fonts/eb-garamond-latin-600-normal.woff2
SPDXID: SPDXRef-294bc98ce595edb9b2010d885274da14
FileChecksum: SHA1: d116a867b3d2ca3a4677f7ed97ad5653980d7f5a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: <text>SPDX-FileCopyrightText: 2010-2013 Georg Duffner</text>

FileName: ./site/static/fonts/eb-garamond-latin-700-normal.woff2
SPDXID: SPDXRef-fcb1145d3f5337efe4272ef6624d6184
FileChecksum: SHA1: b533c3c384fbdd9b268538fc6a78866741e92b99
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: <text>SPDX-FileCopyrightText: 2010-2013 Georg Duffner</text>

FileName: ./site/static/fonts/inria-sans-latin-400-normal.woff2
SPDXID: SPDXRef-136f889218e2b748623baa8ef776dbfb
FileChecksum: SHA1: ce041c1d2fcfac833ed9f4d2c5a7b64056f7bbbd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: <text>SPDX-FileCopyrightText: 2017 The Inria Sans Project Authors</text>

FileName: ./site/static/fonts/inria-sans-latin-700-normal.woff2
SPDXID: SPDXRef-4d0080b3f9666de7a6ea2ac59efb38a4
FileChecksum: SHA1: 80978196b47dda48ae4518a04639bef9b0591bed
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: <text>SPDX-FileCopyrightText: 2017 The Inria Sans Project Authors</text>

FileName: ./site/template.html
SPDXID: SPDXRef-bb1f4974d27a62e9109395e4b531fb99
FileChecksum: SHA1: 52ddf73fd7bf6fd9439b05380475ffbe5c0600d8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./site/vendor/1lab/SOURCE_COMMIT
SPDXID: SPDXRef-9c7b039b30e6bdab3554e2564018a227
FileChecksum: SHA1: ce937e18a49f1446789fa496830c7bca346e7f38
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/code.scss
SPDXID: SPDXRef-e828259d44b46badff136374c23c0e19
FileChecksum: SHA1: b8f0d5c20a8b09d9923564fb843e9dbfcb7c1db7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/colors.scss
SPDXID: SPDXRef-27cc0a09d43b5dd43b4af6e3fe389923
FileChecksum: SHA1: b083ea16c09de999bb2daabcfd675af8557a6908
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/components/comments.scss
SPDXID: SPDXRef-d5a7d5b79b64e1cd961cede0858a9cd6
FileChecksum: SHA1: 60df12b1c578505b6ae99969f6f1baa553e8479e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/components/commit.scss
SPDXID: SPDXRef-6bc287326963f4ba80e820b59eed2ca2
FileChecksum: SHA1: 5da33181acc4c2d8d6a0a82305724440ae3fb46d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/components/controls.scss
SPDXID: SPDXRef-18606afd78b246a8c551aaaf1a4c3f3a
FileChecksum: SHA1: 3cef3e82aaad16f40da277bbaabb7125589fb76b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/components/modal.scss
SPDXID: SPDXRef-c45f4c4e8a945c33072828a45d230ef8
FileChecksum: SHA1: c3528a2c18ef98baefddd281efdd737eeb1c1dff
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/components/popup.scss
SPDXID: SPDXRef-edb5bdaecd7bd454462d852747e7d78f
FileChecksum: SHA1: acd33aee7641f984b79ffd3a5415c1e881ead59e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/components/search.scss
SPDXID: SPDXRef-e702d6752399e0cfe73e69678b4bd709
FileChecksum: SHA1: c2ee58b1de92a4731cf69cf77f2bc7c8d7cf8207
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/components/sidenotes.scss
SPDXID: SPDXRef-03aefe0661dfe4d14c72e6999d1373bf
FileChecksum: SHA1: 510923c86e457e7d5bfcac4557bff6a95cbfda8a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/components/toc.scss
SPDXID: SPDXRef-2a1d2da704d333a16d78de4b2db44d8e
FileChecksum: SHA1: 6f79fbd42ee8936598b3b0d336254a0335725d23
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/default.scss
SPDXID: SPDXRef-8004a5e6ca7ffb668cd3c27609bad4e6
FileChecksum: SHA1: ce3c248043cc75380694f89418097c320b87763b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/mixins.scss
SPDXID: SPDXRef-ee665d087be1d136efafefc4d80277c0
FileChecksum: SHA1: 7d8ae6aac2fd1d33f5b8d44a9348920a3f9966e4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/talk.scss
SPDXID: SPDXRef-473f51fca0de9bdfdc4a827fd9a39d42
FileChecksum: SHA1: 7658965e15bd7cd10a491ab816ed046606924694
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/theme.scss
SPDXID: SPDXRef-603351adaf6b87cb7b8cd00e837f120e
FileChecksum: SHA1: 3be221bbea048538683d2499bc95a49a6410148e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/css/vars.scss
SPDXID: SPDXRef-6132075f5162ba118787ccbbe66f827d
FileChecksum: SHA1: a8422d8156a5ffcfef1a89bb6d12bf4fdc48391e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/highlights/note.svg
SPDXID: SPDXRef-481dd4beb694f55f8caa7eabdf3da81d
FileChecksum: SHA1: b7cc69c081fc080a44c0c5fde1498604f9c2b851
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/highlights/source.svg
SPDXID: SPDXRef-b00f1a48af9aee5be243b517254073d4
FileChecksum: SHA1: e4161ffe2dae5636d01eefb6074f42470dfdcc5e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/highlights/terminology.svg
SPDXID: SPDXRef-7b0ce35d28ce603f3ab407fed93af399
FileChecksum: SHA1: 73c2617621089a853204000ea775384efe371b2b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/highlights/warning.svg
SPDXID: SPDXRef-41da557ec75b158fa3278ca27f2c1fc0
FileChecksum: SHA1: 9e856f2d772435afaafeaacd6f1dce122714ea82
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/js/highlight-hover.ts
SPDXID: SPDXRef-40d946d5c810b9ea9b2af5c8275c3b90
FileChecksum: SHA1: 4034e92b2f5d23aeafcf05c41fdde8959884dadb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/js/lib/hover.ts
SPDXID: SPDXRef-89236bacae816c53b5d5d40163c0ea2a
FileChecksum: SHA1: 2ce171be8a4e5a1718585f3fd7d53a3d021d05c9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/js/lib/jsx.ts
SPDXID: SPDXRef-e7c546e00b3c86279d3c27370593594f
FileChecksum: SHA1: aea34876f062d63729db4731610d4950c7b9ce91
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/js/lib/settings.tsx
SPDXID: SPDXRef-dd4f11ce4e0d2adf4c7147b48368b269
FileChecksum: SHA1: ca8af36e41b91c8dfa571e87091862131c1f891d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/js/lib/timeout.ts
SPDXID: SPDXRef-59e8637dc4edbd6ec1491907caadb895
FileChecksum: SHA1: dcf1818d6a8aa81710b4e454bc6d9df3d0db3239
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/js/search.tsx
SPDXID: SPDXRef-3e78cc2a088773c18651648bcd4cc6ce
FileChecksum: SHA1: f3728dee7bec02e2e5be1bb7fa6e775c978d5513
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/js/theme.tsx
SPDXID: SPDXRef-0fa63b1f0d52c3872eba016b52f9677a
FileChecksum: SHA1: 835a53c24a0bc4a5be6de57f660e80eb7cb7d719
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/cube-128x.png
SPDXID: SPDXRef-7c9540999d08fc6d2308fdb1e253fa4f
FileChecksum: SHA1: 72964d683ad490599268a396ed64994fd7cbdb05
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/cube-32x.png
SPDXID: SPDXRef-1c847c431a8fdef89f60be78b088d680
FileChecksum: SHA1: 8f88987e45453567cc22af6e6b3f008e36e7d739
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/cube-512x.png
SPDXID: SPDXRef-0ccc3968925fe946fa91a3b92f220ec4
FileChecksum: SHA1: bd1f392de2963a0b7e888a4105177bdd3475d7f2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/cube-72x.png
SPDXID: SPDXRef-51055f9409314316f6892c8f658fe56b
FileChecksum: SHA1: 3b9fd8fab8d8911d2de169d42d7a952a028a9749
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/favicon.ico
SPDXID: SPDXRef-df52f7d0004464af152188b6811aaff8
FileChecksum: SHA1: b7219abe7909dc6e2bcda3042a4ac944e0a84173
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/icons/all-pages.svg
SPDXID: SPDXRef-de8aec6cc08404bdc9d1bb6d99f4c7c1
FileChecksum: SHA1: 23c14582da565744b3920c7e3ceb8a8075f18087
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/icons/github.svg
SPDXID: SPDXRef-bb2132d26687aa2d5a23bf47e60cd10e
FileChecksum: SHA1: 91ba3dec6f58ab26476691e768788e829699e3ef
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/icons/home.svg
SPDXID: SPDXRef-1437ea3bd60d5ca9623c300f5f4395a4
FileChecksum: SHA1: fa6c7df3cc8c173de22418a831ecd5ce952ed6d8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/icons/justified.svg
SPDXID: SPDXRef-931ba82c03848b6657cf3b3d0ddd77c5
FileChecksum: SHA1: fdc94ac5d89717dff741a9ce87ed773bcd9766af
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/icons/raggedleft.svg
SPDXID: SPDXRef-dbd3421f2573cc39da1195eabed71e6b
FileChecksum: SHA1: 055e8ff33d3b1b7a7113e3931381725eae77b7e2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/icons/raggedright.svg
SPDXID: SPDXRef-e5c05a6dfa5a33cc60aed8865a1be2a6
FileChecksum: SHA1: 33872de70981f7e9a84f73650b27d2b2c23a9174
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/icons/serif.svg
SPDXID: SPDXRef-44e13d0dc30c0e5beff68056373a19dd
FileChecksum: SHA1: f659483c9818eba5cdf81c86323e6d7778cc5bed
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/icons/star.svg
SPDXID: SPDXRef-52b03fbdba1799d4ecb1f7826267ee71
FileChecksum: SHA1: 5d0c313ea072ec866c83e345c2b6d2f4abe43f7e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/icons/view-controls.svg
SPDXID: SPDXRef-1a4fea59afc52c6bac33ca3f71665521
FileChecksum: SHA1: e68f9d599158187a68def8a432cdec1b6a2d70ee
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/lies-over-dark.svg
SPDXID: SPDXRef-5cdf44e6ed470323d19f48b63b0a353e
FileChecksum: SHA1: 1f37de7b2b1761546c066b78ce02ba30f2f49e2f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/static/lies-over-light.svg
SPDXID: SPDXRef-c13aed45de184b16e7dc416d37530159
FileChecksum: SHA1: 2df4e7a95cecb89abc4c3df22ef6bcdb678f1e4c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./site/vendor/1lab/template.reference.html
SPDXID: SPDXRef-c1559f37d8e69ff9bef16062c295233d
FileChecksum: SHA1: 588a15da14c7182b505041cdcfdf14f19ce90ead
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: <text>SPDX-FileCopyrightText: 2021 Amelia Liao and contributors</text>

FileName: ./src/Base/Choice.lagda.md
SPDXID: SPDXRef-0c34f69290b587a0e46e131716cec4d7
FileChecksum: SHA1: ca1d93ec9e14df2ba762d0345b6d5954550b8afd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/Base/Classical.lagda.md
SPDXID: SPDXRef-a279b223ccb4f233a7783202cbc3bcad
FileChecksum: SHA1: 86f03a90d0f473b1a13797085b39af5d5e5a2ace
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/Base/Impredicativity.lagda.md
SPDXID: SPDXRef-38ff32e5ab109f6f4b84837d403e2c01
FileChecksum: SHA1: ccec14d01f89b7c3aa1b9ad5a133d790b9f431f1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/Base/Prelude.lagda.md
SPDXID: SPDXRef-0441ecaf2d5ecbbef1bd6795c93eaef3
FileChecksum: SHA1: 9f4d332c8b6bed558584a07450535c23bad80185
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/Base/Truth.lagda.md
SPDXID: SPDXRef-d847019a66b4789f86e33324ed8038a7
FileChecksum: SHA1: e91548d63f648dc300911dabf175c6d7ab98c16a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/Everything.lagda.md
SPDXID: SPDXRef-d45e2699cca5c144db3c7a06454e88f4
FileChecksum: SHA1: 20007976f86cf069fdd49fd79f98aabdfdbf5ed1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/Absoluteness.lagda.md
SPDXID: SPDXRef-e8846f422e3b36067477a25332b6603a
FileChecksum: SHA1: d1f4bc9534d53ad1f0239172a393b26b68fd0ec6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/LevyHierarchy.lagda.md
SPDXID: SPDXRef-29163d83492b0080de33aa8d21b801df
FileChecksum: SHA1: f3c12c533ca3d54535e84d15faf8c5d34da0a760
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/Manipulation/Relabelling.lagda.md
SPDXID: SPDXRef-a02e58d26d4f7c5c4dfb7c2112e01c0e
FileChecksum: SHA1: ad8d71c4690116a8103110b01e3fe71ca5a59f14
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/Manipulation/Relativize.lagda.md
SPDXID: SPDXRef-0e513ade68a94ee9b411bbdc32b94c66
FileChecksum: SHA1: 41e092e4ef74aad5887c83ab0998fd59d1078827
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/Manipulation/Renaming.lagda.md
SPDXID: SPDXRef-3bb334eb93b121f8525da46ae19897d0
FileChecksum: SHA1: c04233ea6db626f3afd29742289334950f1d27a0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/Reification/Base.lagda.md
SPDXID: SPDXRef-6a2777b19cdb5af732af7aa4f345a4fa
FileChecksum: SHA1: 26747218b313ae9fa015ab8f1ddb79f7cdc2f4b8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/Reification/Certified.lagda.md
SPDXID: SPDXRef-1ee17d7ea2703fff715e8c7d6a6a9afe
FileChecksum: SHA1: 126c8cfb8242818f5c89f7a0469e6882cb46907e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/Reification/Combinators.lagda.md
SPDXID: SPDXRef-4b552e73b38bf3f17dcfe23862c1c04b
FileChecksum: SHA1: cd523be1314e3c8e8d837f61e77b109a0a66b43f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/Semantics.lagda.md
SPDXID: SPDXRef-47f8936595a59086de471cce3a0ded1a
FileChecksum: SHA1: b0e1557abaf00b90c2773daa07263dcc1c4b91bc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/Syntax.lagda.md
SPDXID: SPDXRef-9f221d6af92e508b1182b9665488776e
FileChecksum: SHA1: f4a15dded28219d88828f2bf8e3a589e2f6f144a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/ZFModel.lagda.md
SPDXID: SPDXRef-175bf7821af5c2a38c179c2c1dd1f623
FileChecksum: SHA1: 1c83533788b091a3da7babee24c25480c9c130dd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/FOL/ZFStructure.lagda.md
SPDXID: SPDXRef-8b852f29e5565c778fd741a0c77f6b39
FileChecksum: SHA1: 94ec9f4c2cb57510073c1e57ccb172ce4ac929a2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/L/Constructible.lagda.md
SPDXID: SPDXRef-943aad90134ee728e949ffeecf309e14
FileChecksum: SHA1: 5cd5db50579c9b957abf5c12c826c802a9e0c7e5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/L/Definability.lagda.md
SPDXID: SPDXRef-a6d7fb266c593ae74ad842f7f966a491
FileChecksum: SHA1: b7969dca962e2f7f10b0bbfd0bc028708563dd7a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/L/Frontier.lagda.md
SPDXID: SPDXRef-341b6ada80cfd7ac356735e9f8eac569
FileChecksum: SHA1: 0d12782657c044c6e18551387b568edd202b7de9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/L/Model.lagda.md
SPDXID: SPDXRef-d644c731a829a97878b6f746560b0025
FileChecksum: SHA1: 5014b81cb0bfc844ca1df7662edc1b52d170b0e5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/Landmarks.lagda.md
SPDXID: SPDXRef-e76e883ce90c4f4fee0f3345851c8eb2
FileChecksum: SHA1: 3b86de654a32e6c250e9f9d4454e424b996b484f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/README.md
SPDXID: SPDXRef-f39daa7ad3d4259c08b5a257637c0533
FileChecksum: SHA1: 5e293043e8fb091a5dd712629d99d04b973aaf23
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/V/Hierarchy.lagda.md
SPDXID: SPDXRef-a918740b9242b57e50bb7e1af45e7d74
FileChecksum: SHA1: 134b05a420bf44838aab11c0d14bbf8f9d41e7c9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/V/Model.lagda.md
SPDXID: SPDXRef-cd2852b3f38ab6c38ec59659cf11291a
FileChecksum: SHA1: 67e604e2c5c0d24f5f21dcb1e6920d20ddd4c5a1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>

FileName: ./src/V/Smallness.lagda.md
SPDXID: SPDXRef-ccf53af2f6fa261e44de1d146f8d89b7
FileChecksum: SHA1: 122d64f453c55aa85ec25050da33df0993264ca1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: <text>SPDX-FileCopyrightText: 2026 Bedrock Institute</text>