Repository navigation

Replace Core timing with Mtime and remove unused Jane Street dependencies - #93

Merged

RCmerci merged 3 commits into

mainfrom

codex/mtime-remove-core-20261017

Oct 17, 2026

Merged

Replace Core timing with Mtime and remove unused Jane Street dependencies#93
RCmerci merged 3 commits into
mainfrom
codex/mtime-remove-core-20261017

Commits on Oct 17, 2026
- Use Mtime loading counters and remove Core/Base dependencies
  RCmerci
  committed
  45f845c
- Record Core/Base validation evidence and acceptance limits
  RCmerci
  committed
  1a89bd4
- Clarify Core-only PR scope and validation provenance
  RCmerci
  committed
  7703c9a