iCogLabs-Dev

/

Lean-Proof-Search-Checkpoints

Like 0

Follow

iCogLabs 3

Adds serving release v1.0.1 under deployments/mcts/v1.0.1/. It is v1.0.0 updated to the current application (iCog-Labs-Dev/Mathematics-ai-atp#90, d94115d):

• config/rl.json and config/service.json use the current source-block configuration (v1.0.0's flat source fields were retired in 7ca1fcb). The default device is cpu; the service's MATHS_AI_DEVICE chooses it at startup.
• The declaration inventory is bound to the REPL's source commit (fc740c26) instead of the JupyterHub executable's bytes, so the REPL built by the Docker image matches it. It was rebound with rebind_source_aware_environment: declarations identical, actor and critic weights unchanged. The checkpoint keeps only the model and the migration record (15.7 MB instead of 79 MB).
• The index, corpus, query encoder and prepared vocabularies are unchanged from v1.0.0.

release.json SHA-256: 8c8a46f2334cb8a056cb6ae0024ed11f30f75d37a47ee2443eeb371dfd253e1e

Checked locally before upload: the downloader's validation passes on this layout, and the Docker image from #90 serves it from these configs unmodified (/ready, and /prove certified under all four profiles).

Per the repository convention, the v1.0.1 branch can be created from this once merged.