Skip to content

About

No description, website, or topics provided.

Resources

Readme
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository
BranchesTags

Latest commit

 

History

351 Commits

Folders and files

NameName
Last commit message
Last commit date
.github/workflows
.github/workflows
 
 
DOSSIERS
DOSSIERS
 
 
VERIFIED_THEOREMS
VERIFIED_THEOREMS
 
 
adapters
adapters
 
 
agd
agd
 
 
archive
archive
 
 
authority
authority
 
 
benchmarks
benchmarks
 
 
boot
boot
 
 
certificates
certificates
 
 
chronofold_x
chronofold_x
 
 
cocoex_autofix_20260529T071740Z
cocoex_autofix_20260529T071740Z
 
 
cocoex_bbob_only_fix_20260529T081131Z
cocoex_bbob_only_fix_20260529T081131Z
 
 
cocoex_bundle_fix_20260529T072237Z
cocoex_bundle_fix_20260529T072237Z
 
 
cocoex_source_patch_20260529T072106Z
cocoex_source_patch_20260529T072106Z
 
 
cocoex_topobundle_fix_20260529T073059Z
cocoex_topobundle_fix_20260529T073059Z
 
 
cocoex_topobundle_fix_20260529T080913Z
cocoex_topobundle_fix_20260529T080913Z
 
 
config
config
 
 
constitution
constitution
 
 
control
control
 
 
core
core
 
 
differential
differential
 
 
digital_twin
digital_twin
 
 
disabled
disabled
 
 
docs
docs
 
 
emb
emb
 
 
emv-audit-engine
emv-audit-engine
 
 
experiments
experiments
 
 
external/ApolloLLM
external/ApolloLLM
 
 
fuzz
fuzz
 
 
kernel
kernel
 
 
networks
networks
 
 
os
os
 
 
papers
papers
 
 
proofs
proofs
 
 
references
references
 
 
replay
replay
 
 
reports
reports
 
 
results
results
 
 
schemas
schemas
 
 
scripts
scripts
 
 
sim2xr
sim2xr
 
 
src
src
 
 
templates
templates
 
 
tests
tests
 
 
theorem_receipts
theorem_receipts
 
 
tools
tools
 
 
ui
ui
 
 
vectors
vectors
 
 
.gitignore
.gitignore
 
 
AGD_THEOREM_REPORT.json
AGD_THEOREM_REPORT.json
 
 
AGENTS.md
AGENTS.md
 
 
CategoryQuotient.lean
CategoryQuotient.lean
 
 
CategoryQuotient_test.lean
CategoryQuotient_test.lean
 
 
CoCi_Constitutional_Citizen_Canonical_2026-09-08.md
CoCi_Constitutional_Citizen_Canonical_2026-09-08.md
 
 
Constitutional.lean
Constitutional.lean
 
 
Main.lean
Main.lean
 
 
SIM2XR_Universal_Costless_Logic.lean
SIM2XR_Universal_Costless_Logic.lean
 
 
cocoex_found_paths.txt
cocoex_found_paths.txt
 
 
cocoex_interface_paths.txt
cocoex_interface_paths.txt
 
 
current.lean
current.lean
 
 
lake-manifest.json
lake-manifest.json
 
 
lakefile.toml
lakefile.toml
 
 
lean-toolchain
lean-toolchain
 
 
manifold_metric.npy
manifold_metric.npy
 
 
omega_run.py
omega_run.py
 
 
repo_map.json
repo_map.json
 
 
run_autonomous.sh
run_autonomous.sh
 
 
run_kernel.sh
run_kernel.sh
 
 
run_os.sh
run_os.sh
 
 
run_protocol_lab.py
run_protocol_lab.py
 
 
test.txt
test.txt
 
 
verification_report.md
verification_report.md
 
 

Repository files navigation

Chronofold

Operator-based optimization + Lean formal verification system.

This repo is auto-managed via Termux push pipeline.

trigger

CI trigger Sun Mar 29 16:51:14 CDT 2026

CI trigger Sun Mar 29 17:13:20 CDT 2026

CI trigger Sun Mar 29 18:51:48 CDT 2026

CI trigger Sun Mar 29 18:58:08 CDT 2026

CI trigger Tue May 12 16:38:11 CDT 2026

CI trigger Tue May 12 18:59:04 CDT 2026

About

No description, website, or topics provided.

Resources

Readme
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages