felix.git/library, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-03T23:28:26+00:00
Close content-addressed redesign documentation
2026-08-03T23:28:26+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T23:28:26+00:00
urn:sha1:1dbd738e85c5e6abcbc81b203ba2a492b8bc164e
Stabilize one-core set proofs
2026-08-03T21:28:44+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T21:28:44+00:00
urn:sha1:cf1b39b5bd239da2bfd9e44321c9801424f89c4c
Refresh typed-only library status
2026-08-03T19:43:55+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T19:43:55+00:00
urn:sha1:72b7c5a632fd4397a4b96ecdf983d1457286256f
Close the Phase 6 typed-driver gate
2026-08-03T19:03:12+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T19:03:12+00:00
urn:sha1:e7c54c4cf9065ecb23757b026f25ad1d2f7c34b9
Record the active typed aggregate
2026-08-03T16:25:19+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T16:25:19+00:00
urn:sha1:09cade368302e670b81360f361cbd82db4620fd3
Tighten ordinal premise selection
2026-08-03T16:21:05+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T16:13:54+00:00
urn:sha1:89a5acbcdf1f646ccb94a3f3c06a3d3824699de1
Activate the typed aggregate library
2026-08-03T16:05:35+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T16:05:35+00:00
urn:sha1:297c8c25dd29d63fb2b0ef719049eaa8200dc9e2
Migrate ordinal development
2026-08-03T16:00:08+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T16:00:08+00:00
urn:sha1:98d0a5c4a8949e31237d3c36564dbe1b4f5087ba
Record topology consumer activation
2026-08-03T15:05:21+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T15:05:21+00:00
urn:sha1:b9dd890b28813c2f3e3b0ba12b3acabb5ed4ef0a
Keep topological basis authority clean
2026-08-03T15:02:49+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T15:02:49+00:00
urn:sha1:afb766133c8afeb521bd2d29a4e327fbf4886769