Repository navigation

Commits

Commits on Jul 26, 2026
- Merge pull request #73 from Mnehmos/feat/67-multidimensional-trust
  Mnehmos
  authored
  91deab2
- Bind reviewed trust hashes offline
  Mnehmos
  committed
  0069f8b
- Bound fidelity witnesses in v2 releases
  Mnehmos
  committed
  145ec43
Commits on Jul 25, 2026
- Compact oversized fidelity trust histories
  Mnehmos
  committed
  694ee09
- Bound kernel trust evidence admission
  Mnehmos
  committed
  fe9fb69
- Harden trust review history invariants
  Mnehmos
  committed
  1b44cb7
- Add multidimensional trust promotion gates
  Mnehmos
  committed
  9d736c9
- Merge pull request #72 from Mnehmos/feat/71-source-content-closure
  Mnehmos
  authored
  a208205
- fix: centralize reparse-point validation
  Mnehmos
  committed
  433ec58
- feat: bind source records to portable content
  Mnehmos
  committed
  d1548fa
- Merge pull request #70 from Mnehmos/fix/65-comparator-audit-portability
  Mnehmos
  authored
  348f9ab
- Reconcile Comparator authority status ledger
  Mnehmos
  committed
  1825387
- Record Comparator authority audit evidence
  Mnehmos
  committed
  6847056
- Merge pull request #66 from Mnehmos/feat/65-comparator-authority
  Mnehmos
  authored
  3e199a8
- Preserve Comparator fixture bytes across checkouts
  Mnehmos
  committed
  4422168
- Harden Comparator authority review findings
  Mnehmos
  committed
  2ae2ac3
Commits on Jul 22, 2026
- Add controlled Comparator evidence authority
  Mnehmos
  committed
  bd5f4e4
- Merge pull request #64 from Mnehmos/feat/63-protected-comparator-run
  Mnehmos
  authored
  3a75ddc
- Harden Comparator workflow output handling
  Mnehmos
  committed
  45fc586
- Actively verify Comparator network isolation
  Mnehmos
  committed
  8f824c3
- Pin protected landrun build toolchain
  Mnehmos
  committed
  3558413
- Add protected official Comparator execution report
  Mnehmos
  committed
  a620d9e
- Merge pull request #62 from Mnehmos/docs/60-protected-comparator-evidence
  Mnehmos
  authored
  42e5a50
- docs: record protected Comparator package evidence
  Mnehmos
  committed
  faa8347
- Merge pull request #61 from Mnehmos/feat/60-comparator-package
  Mnehmos
  authored
  2fe5d00
- fix: accept release-compatible primed Lean names
  Mnehmos
  committed
  36ae958
- feat: add deterministic Comparator-ready package boundary
  Mnehmos
  committed
  bdc19b2
- Merge pull request #59 from Mnehmos/docs/57-protected-rl-evidence
  Mnehmos
  authored
  033bcce
- docs: keep full RL family criterion open
  Mnehmos
  committed
  522b915
- docs: record protected RL export evidence
  Mnehmos
  committed
  8d9b2d3
- Merge pull request #58 from Mnehmos/feat/57-rl-eval-export
  Mnehmos
  authored
  4b0a740
- fix: bind RL tasks to exact trust evidence
  Mnehmos
  committed
  2d0c8fd
- fix: retain independently replayable RL evidence
  Mnehmos
  committed
  e1901c7
- feat: add leakage-aware RL evaluation export
  Mnehmos
  committed
  e5c926a
- Merge pull request #56 from Mnehmos/docs/54-protected-corpus-evidence
  Mnehmos
  authored
  bd9985e

Branch selector

User selector

Datepicker

Commit history

Commits on Jul 26, 2026

Commits on Jul 25, 2026

Commits on Jul 22, 2026