Timestamp log · 时间戳流水账

SHA-256 hashes and OpenTimestamps proofs for all published outputs · 所有已发布产出物的 SHA-256 与 OpenTimestamps 证明

How it works · 如何验证

Each published file is hashed with SHA-256, then the hash is anchored to Bitcoin via OpenTimestamps. 每个已发布文件先以 SHA-256 取哈希，再将哈希通过 OpenTimestamps 锚定到比特币。Anyone can re-verify independently:

sha256sum FILE ots stamp FILE # 生成 FILE.ots ots upgrade FILE.ots # 取回 Bitcoin 确认 ots verify FILE.ots # 任何人可验证

This page's status for each entry is computed from the actual attestation inside its .ots file. 本页每一行的状态由对应 .ots 文件中的实际 attestation 计算；未确认只显示 pending。

OpenTimestamps only proves that a file existed at a point in time. OTS 只证明文件在该时间点存在，不构成发表、同行评审或优先权认定。It is not a claim of publication, peer review, or priority.

The log · 流水账

All 58 published outputs, with their SHA-256 and OpenTimestamps proofs. 全部 58 个已发布产出物及其 SHA-256 与 OpenTimestamps 证明。 Corrections are appended as new rows with a supersedes field — old rows are never overwritten. 勘误以新行 + supersedes 记录，不覆盖旧行。

Date (UTC)	Output · 产出物	Version · 版本	SHA-256 (first 12, full entry)	OTS status	.ots	Note · 备注
2026-10-19T23:45:33Z	126_The_Boundary_Potential_V_A.pdf	v1 as submitted	`214ba9dddf5b…`SHA256SUMS · `214ba9dddf5b22122ddecbf6db8ef03ecf3a45105819d127f215433203b02613`	Bitcoin block 972229 · timestamped	126_v1.pdf.ots	reviewed version, unchanged; CC BY 4.0; preprint / 评审稿，未改动
2026-10-19T23:45:35Z	BoundaryTheory.lean	boundary-axiom-a · A-module	`ee25ac99ce52…`SHA256SUMS · `ee25ac99ce5208167f37938ae5ccfadb2e02a8c2e8512bca2c37c98bbe57e3be`	Bitcoin block 972229 · timestamped	lean-a-BoundaryTheory.lean.ots	边界理论 Lean 4 形式化 · A 模块；Apache-2.0；按已发布字节提交
2026-10-19T23:45:39Z	lake-manifest.json	boundary-axiom-a · A-module	`cefba4ca8807…`SHA256SUMS · `cefba4ca88070f74e8e627d265c91fd308df1a72468af962c809ae17f869a98a`	Bitcoin block 972229 · timestamped	lean-a-lake-manifest.json.ots	边界理论 Lean 4 形式化 · A 模块；Apache-2.0；按已发布字节提交
2026-10-19T23:45:37Z	lakefile.toml	boundary-axiom-a · A-module	`aa55ed238bf5…`SHA256SUMS · `aa55ed238bf59f9d98f15c424a95825041c19472bf8611efc494736cd6e6afbd`	Bitcoin block 972229 · timestamped	lean-a-lakefile.toml.ots	边界理论 Lean 4 形式化 · A 模块；Apache-2.0；按已发布字节提交
2026-10-19T23:45:41Z	lean-toolchain	boundary-axiom-a · A-module	`302cd63c5417…`SHA256SUMS · `302cd63c54178885b89e669f33b38f12f4dd7ae7e5cac537b3203e3768d8fb2b`	Bitcoin block 972229 · timestamped	lean-a-lean-toolchain.ots	边界理论 Lean 4 形式化 · A 模块；Apache-2.0；按已发布字节提交
2026-10-19T23:45:43Z	BoundaryBridge_layers.lean	boundary-axiom-a · B canonical	`e49b195bbd02…`SHA256SUMS · `e49b195bbd02e6ff5c39cb02bebb5e89abdee4fe9791d78682272ce68f070c81`	Bitcoin block 972229 · timestamped	lean-b-BoundaryBridge_layers.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:45:45Z	BoundaryProgramme.lean	boundary-axiom-a · B canonical	`0a7fbc69b7af…`SHA256SUMS · `0a7fbc69b7afc36338822421b87619c6fcb9a457f8d0e8015861782aa4b572f1`	Bitcoin block 972229 · timestamped	lean-b-BoundaryProgramme.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:45:47Z	BoundaryTheory_sigmaCoh.lean	boundary-axiom-a · B canonical	`9613804730fc…`SHA256SUMS · `9613804730fc4b099949b4ba42ba16da2ccecbd84cbf67f73365011e3f3cad1d`	Bitcoin block 972229 · timestamped	lean-b-BoundaryTheory_sigmaCoh.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:45:49Z	BridgeCaliberMenu.lean	boundary-axiom-a · B canonical	`fce92cd41e1f…`SHA256SUMS · `fce92cd41e1f2dbb970b3c0c4b563e20743f9e6b5cadad52af5e3641f77f6322`	Bitcoin block 972229 · timestamped	lean-b-BridgeCaliberMenu.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:45:55Z	CalibrationProtocol.lean	boundary-axiom-a · B canonical	`c3322177c34c…`SHA256SUMS · `c3322177c34ce861daea16aba3627d55d05211bcc20171d9745fef446f09b44b`	Bitcoin block 972229 · timestamped	lean-b-CalibrationProtocol.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:45:57Z	CategoricalDictionary.lean	boundary-axiom-a · B canonical	`be73a9faf03d…`SHA256SUMS · `be73a9faf03dc139d0e81667eeacca71eec466eb84ac53543478d47d07bbabe6`	OTS proof submitted, pending Bitcoin confirmation	lean-b-CategoricalDictionary.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:45:59Z	ClosureFromInterventions.lean	boundary-axiom-a · B canonical	`8253beb5a53e…`SHA256SUMS · `8253beb5a53e4a1452dcfdd61bdbfed81a13198dea6af9c23aab01cae7864cb9`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ClosureFromInterventions.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:01Z	ClosureGauge.lean	boundary-axiom-a · B canonical	`8ee213031e2b…`SHA256SUMS · `8ee213031e2bbf49b7b208ceafaec6d3b3c1e14dac3ca880822de7a6bea44116`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ClosureGauge.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:04Z	CommitAdjunction.lean	boundary-axiom-a · B canonical	`afdab9fbeb41…`SHA256SUMS · `afdab9fbeb417a75233d3fb73813f6f703d6dccb88eb56e8f988de8bc6385026`	OTS proof submitted, pending Bitcoin confirmation	lean-b-CommitAdjunction.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:06Z	ComparabilityMatters.lean	boundary-axiom-a · B canonical	`a9af7744f4d7…`SHA256SUMS · `a9af7744f4d743c6b450c440cad221960e65ae2e7d51c18d84deea3b35118223`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ComparabilityMatters.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:08Z	ContinuousRelaxation.lean	boundary-axiom-a · B canonical	`71a6371ccf3e…`SHA256SUMS · `71a6371ccf3edd9f52bdb3770cc70533c9a29367f68b2a74a8d3284ee85d220c`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ContinuousRelaxation.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:10Z	ContinuousSemigroupExp.lean	boundary-axiom-a · B canonical	`f21604f568f3…`SHA256SUMS · `f21604f568f33f8ec15282af5acd0fea3d567bb4eedcfc5474638ff59f73e938`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ContinuousSemigroupExp.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:12Z	ContrastExamples.lean	boundary-axiom-a · B canonical	`e0664eee410f…`SHA256SUMS · `e0664eee410f3edcefbf4156f4b98c268cedc945c8fda3bddb88f53f76ecf1e1`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ContrastExamples.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:14Z	CoreConstantSpectrum.lean	boundary-axiom-a · B canonical	`1ca2b89a065a…`SHA256SUMS · `1ca2b89a065a1b4bb9116abb05195f1aaa86e3bdfa4c072f67b1227be14d5ce5`	OTS proof submitted, pending Bitcoin confirmation	lean-b-CoreConstantSpectrum.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:17Z	DescriptionLayer.lean	boundary-axiom-a · B canonical	`754633cff7b9…`SHA256SUMS · `754633cff7b99fca3307b82978c15aa6302b8665615f89e6d1f0ec3ba25f9bf6`	OTS proof submitted, pending Bitcoin confirmation	lean-b-DescriptionLayer.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:19Z	DimensionAlgebra.lean	boundary-axiom-a · B canonical	`b13aac779de4…`SHA256SUMS · `b13aac779de47f17691c50b15ab52c25668465c478a4f7de191b34766f4693ef`	OTS proof submitted, pending Bitcoin confirmation	lean-b-DimensionAlgebra.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:21Z	FaceIdentification.lean	boundary-axiom-a · B canonical	`09f886a7beaf…`SHA256SUMS · `09f886a7beafecef6cfcf5d30d6aa9d510fcb007645afacbe128fd53547a9cc3`	OTS proof submitted, pending Bitcoin confirmation	lean-b-FaceIdentification.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:23Z	Falsifiers.lean	boundary-axiom-a · B canonical	`c06496c06527…`SHA256SUMS · `c06496c065276977ee8f09eb7fae05cd16dff6777047a51ba181d2617bba7ce8`	OTS proof submitted, pending Bitcoin confirmation	lean-b-Falsifiers.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:25Z	FieldClosure.lean	boundary-axiom-a · B canonical	`cf94775f6f54…`SHA256SUMS · `cf94775f6f5420993b18d68887eeb5d91a1f235daad847cfb5be8585917fcf97`	OTS proof submitted, pending Bitcoin confirmation	lean-b-FieldClosure.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:30Z	GaugeNoGo.lean	boundary-axiom-a · B canonical	`901ae406dabc…`SHA256SUMS · `901ae406dabcbcccf805ba741c954b2d5bdff8a8bd441ef2ad498e62201e2667`	OTS proof submitted, pending Bitcoin confirmation	lean-b-GaugeNoGo.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:33Z	KernelCalibration.lean	boundary-axiom-a · B canonical	`c792d0ce285c…`SHA256SUMS · `c792d0ce285ce186f0eb37106cdbd41a2103a5a65488ef53b273cc9aa018be89`	OTS proof submitted, pending Bitcoin confirmation	lean-b-KernelCalibration.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:38Z	LanguageInterventions.lean	boundary-axiom-a · B canonical	`f53b74547f04…`SHA256SUMS · `f53b74547f049baf3465826ed2e10f39a93d161fb0853e1d4de9d104ea06754f`	OTS proof submitted, pending Bitcoin confirmation	lean-b-LanguageInterventions.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:42Z	LanguageStrict.lean	boundary-axiom-a · B canonical	`d779aa275e75…`SHA256SUMS · `d779aa275e756eb8b561038c4a78352334bfc558702821c159d877f85916ff89`	OTS proof submitted, pending Bitcoin confirmation	lean-b-LanguageStrict.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:47Z	LevelDynamics.lean	boundary-axiom-a · B canonical	`56da1e62afb6…`SHA256SUMS · `56da1e62afb6e5a3d86400ecf14e7c3bd23e44ac68bb10d3aeb7e1b216800850`	OTS proof submitted, pending Bitcoin confirmation	lean-b-LevelDynamics.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:53Z	LevelReadout.lean	boundary-axiom-a · B canonical	`2da1c0829183…`SHA256SUMS · `2da1c08291839df7fec03f9411d376516db1db22a3f13348d1ffbfeae169bd9f`	OTS proof submitted, pending Bitcoin confirmation	lean-b-LevelReadout.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:46:59Z	LevelSelection.lean	boundary-axiom-a · B canonical	`163914e6cd9b…`SHA256SUMS · `163914e6cd9b1bb928d5289e7bc02ff2afea44d8092d35e26111db314f7a8a35`	OTS proof submitted, pending Bitcoin confirmation	lean-b-LevelSelection.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:02Z	LocusVsBoundary.lean	boundary-axiom-a · B canonical	`3e229211dfe3…`SHA256SUMS · `3e229211dfe3ab4c30252fe187bee5d2613bdd81c25a1e872571cee1dbf6b86f`	OTS proof submitted, pending Bitcoin confirmation	lean-b-LocusVsBoundary.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:04Z	LogisticCore.lean	boundary-axiom-a · B canonical	`cbf1fc38720e…`SHA256SUMS · `cbf1fc38720efa271c94b014ae4800a913414809b258eb2b903d070e09f54f83`	OTS proof submitted, pending Bitcoin confirmation	lean-b-LogisticCore.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:06Z	MaintenanceMargin.lean	boundary-axiom-a · B canonical	`4b859459c5bc…`SHA256SUMS · `4b859459c5bc7430bd090f86e04e220920e74b69f64f6636976d68a67f4d4d35`	OTS proof submitted, pending Bitcoin confirmation	lean-b-MaintenanceMargin.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:08Z	MeasurableProtocol.lean	boundary-axiom-a · B canonical	`053edfed8421…`SHA256SUMS · `053edfed8421d8d25c37ffd82f4efdb3c374aa2e6f1611d99b4a64179331cbd9`	OTS proof submitted, pending Bitcoin confirmation	lean-b-MeasurableProtocol.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:10Z	ObservableProxy.lean	boundary-axiom-a · B canonical	`f6ae09f4897b…`SHA256SUMS · `f6ae09f4897bf7e9dfbc29b6efe7d3c53ef1c72aa86429f42b9a7172e405cba4`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ObservableProxy.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:12Z	OrbitInvariantRow.lean	boundary-axiom-a · B canonical	`0465b80b1a8e…`SHA256SUMS · `0465b80b1a8e793aff73624b368db8a6b0e097f041322b783146537a71aeb558`	OTS proof submitted, pending Bitcoin confirmation	lean-b-OrbitInvariantRow.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:14Z	PolarityChange.lean	boundary-axiom-a · B canonical	`b1be8261dfad…`SHA256SUMS · `b1be8261dfad5cbea0b21e64c2a1d5fbd1b5424f2894ebea8a9ae05e1002a855`	OTS proof submitted, pending Bitcoin confirmation	lean-b-PolarityChange.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:16Z	ProgrammeSpine.lean	boundary-axiom-a · B canonical	`477144d1a3a8…`SHA256SUMS · `477144d1a3a8b0697eb93f8b3fb6c5d51f5c5bbd34d0c494dd54c827f2a136d0`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ProgrammeSpine.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:18Z	ProgrammeSpineFull.lean	boundary-axiom-a · B canonical	`0990e06b9a8d…`SHA256SUMS · `0990e06b9a8d1d677a93614b793f5e4d23836711c95efc654537f51bc390c85e`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ProgrammeSpineFull.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:20Z	ProtocolLogic.lean	boundary-axiom-a · B canonical	`5fe3b2080cb6…`SHA256SUMS · `5fe3b2080cb6e499b3c4f74e572350a847ddda1658bc9e5a1704f3d795eb3811`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ProtocolLogic.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:22Z	ProxyInvariance.lean	boundary-axiom-a · B canonical	`49cef88096a7…`SHA256SUMS · `49cef88096a780ab643a54b3ddc05ca3aebe7466103d0b2d6570353c12756c38`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ProxyInvariance.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:24Z	ReadoutDynamics.lean	boundary-axiom-a · B canonical	`fb609e1a8e5a…`SHA256SUMS · `fb609e1a8e5a8cdf02620811373570b041a82166b249dea2c6e65aa74e1d2be9`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ReadoutDynamics.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:26Z	ReadoutExistence.lean	boundary-axiom-a · B canonical	`8039140a7642…`SHA256SUMS · `8039140a76428008e782a21d6b9d62c5b557c0816d91f4a4b795f65f2cbf1f43`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ReadoutExistence.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:28Z	RelaxRobust.lean	boundary-axiom-a · B canonical	`8480579a3d71…`SHA256SUMS · `8480579a3d7198cf7b1eb7bf88bcf66c16cb241a3b3f8643652c47002dd67d65`	OTS proof submitted, pending Bitcoin confirmation	lean-b-RelaxRobust.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:30Z	ReportBridge.lean	boundary-axiom-a · B canonical	`da6c9c52ad2a…`SHA256SUMS · `da6c9c52ad2aa431812dd016e26f2bc00ecf86baaf1271766b233ac14fe88f6a`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ReportBridge.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:32Z	RescalingEquivariance.lean	boundary-axiom-a · B canonical	`439bd58e5016…`SHA256SUMS · `439bd58e5016cf86044a807549c3053783df4d8c56332b51884ee094f0020260`	OTS proof submitted, pending Bitcoin confirmation	lean-b-RescalingEquivariance.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:34Z	ScalingsAndUnits.lean	boundary-axiom-a · B canonical	`d79dfe9dcde7…`SHA256SUMS · `d79dfe9dcde7f56bcb7371b7c06a597328e2c0acc8493d0f47bd9dd82db89d90`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ScalingsAndUnits.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:36Z	SelfReferenceLevel.lean	boundary-axiom-a · B canonical	`6651d5d2abf4…`SHA256SUMS · `6651d5d2abf4adcab45b3ea3e46162878fc81ac3fde509ff7165fdd8433b421e`	OTS proof submitted, pending Bitcoin confirmation	lean-b-SelfReferenceLevel.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:38Z	ShapeForcing.lean	boundary-axiom-a · B canonical	`d0cba2299e8b…`SHA256SUMS · `d0cba2299e8bf92d296fc056d206e0a6d2fd4ff25d0ac79d408f38c798820733`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ShapeForcing.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:40Z	SharpnessClosure.lean	boundary-axiom-a · B canonical	`f73dd2f99613…`SHA256SUMS · `f73dd2f996136dacd7b230b45ec37584f2cd3f2df2641f8bdd9bf10f2692721f`	OTS proof submitted, pending Bitcoin confirmation	lean-b-SharpnessClosure.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:42Z	ThreeComponent.lean	boundary-axiom-a · B canonical	`01af5d27f9e5…`SHA256SUMS · `01af5d27f9e5c6f25992300904386371d85fb16568df672dff546ab9841620fb`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ThreeComponent.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:44Z	TimeScaleInvariance.lean	boundary-axiom-a · B canonical	`0202cebddf62…`SHA256SUMS · `0202cebddf628924504ad44eed2be828a16e8a540ab1b58ec100b9e89f5bf7db`	OTS proof submitted, pending Bitcoin confirmation	lean-b-TimeScaleInvariance.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:46Z	TwoFacesBridge.lean	boundary-axiom-a · B canonical	`a0397ce64e9f…`SHA256SUMS · `a0397ce64e9f9dc222be7ff3c71b9cf6b9837873a6c5586c0989d7a01f041e14`	OTS proof submitted, pending Bitcoin confirmation	lean-b-TwoFacesBridge.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:48Z	UnifiedClosure.lean	boundary-axiom-a · B canonical	`e91cb93ad796…`SHA256SUMS · `e91cb93ad796bc5b4965633abcbec66f30e698859c59d2527a3baf2b23a92caf`	OTS proof submitted, pending Bitcoin confirmation	lean-b-UnifiedClosure.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:50Z	UnitReading.lean	boundary-axiom-a · B canonical	`1787a23f38c3…`SHA256SUMS · `1787a23f38c3a0f322569cc51aadd40db4fd35ddc360990a3ec9554097796cc4`	OTS proof submitted, pending Bitcoin confirmation	lean-b-UnitReading.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:52Z	ValueLayerExtension.lean	boundary-axiom-a · B canonical	`fefe1b53031e…`SHA256SUMS · `fefe1b53031e225ab43a78137fafef81befefe3eb16684041ac809026d5cfc97`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ValueLayerExtension.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交
2026-10-19T23:47:54Z	ValueLayerMin.lean	boundary-axiom-a · B canonical	`13d43911921c…`SHA256SUMS · `13d43911921cbce24def8cecb5684be1a5d0b6ef859fad308cef5e4f2e96d916`	OTS proof submitted, pending Bitcoin confirmation	lean-b-ValueLayerMin.lean.ots	边界理论 Lean 4 形式化 · B 正则模块；Apache-2.0；按已发布字节提交

Note on privacy · 隐私提示: the SHA-256 hashes are publicly anchored to Bitcoin; no information beyond the file hashes and filenames is published. 哈希会公开到比特币；除文件哈希与文件名外不公开其他信息。