Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jun 3, 2026

• Merge pull request #6 from ashhart/erdos160-proof-lab

  Show description for af9e816
  ashhart

  authored
  af9e816

  Copy full SHA for af9e816

• proof-lab: add sat backend artifacts

  ashhart

  committed
  2712d32

  Copy full SHA for 2712d32

• proof-lab: add erdos160 (OPEN) finite-certificate target

  Show description for f682ca0
  

  ashhart

  and

  claude

  committed
  f682ca0

  Copy full SHA for f682ca0

• add proof lab workbench (#4)

  ashhart

  authored
  48f97b5

  Copy full SHA for 48f97b5

Commits on May 31, 2026

• add governed llm routing demo

  ashhart

  committed
  d510832

  Copy full SHA for d510832

• add replay promotion gates

  ashhart

  committed
  aaf79ae

  Copy full SHA for aaf79ae

• clean stale docs and generated ignores

  ashhart

  committed
  df69ed7

  Copy full SHA for df69ed7

• add scoped-token audit introspection

  ashhart

  committed
  70fd7d3

  Copy full SHA for 70fd7d3

• add OpenFeature provider for Node client

  ashhart

  committed
  4bf2f51

  Copy full SHA for 4bf2f51

Commits on May 28, 2026

• rebrand client package namespaces

  ashhart

  committed
  53c8366

  Copy full SHA for 53c8366

• update repo URLs and image namespace

  ashhart

  committed
  a81671f

  Copy full SHA for a81671f

• update readme

  ashhart

  committed
  b7ab2f0

  Copy full SHA for b7ab2f0

Commits on May 26, 2026

• docs: note repo-read eval migration path

  ashhart

  committed
  8db2b3e

  Copy full SHA for 8db2b3e

• docs: add repo-read eval harness

  ashhart

  committed
  5c7bb5a

  Copy full SHA for 5c7bb5a

• docs: require demo proof layer in first-pass summaries

  ashhart

  committed
  86e0b12

  Copy full SHA for 86e0b12

• docs: tell agents context is enough for first pass

  ashhart

  committed
  c511d61

  Copy full SHA for c511d61

• docs: force demo proof layer into first-pass reads

  ashhart

  committed
  151ef0e

  Copy full SHA for 151ef0e

• docs: make context guide explain demo proof points

  ashhart

  committed
  0396a29

  Copy full SHA for 0396a29

• docs: expand context guide with source map

  ashhart

  committed
  80f4e87

  Copy full SHA for 80f4e87

• docs: add context guide for evaluators

  ashhart

  committed
  c254c69

  Copy full SHA for c254c69

• docs: surface mega demo evidence for evaluators

  ashhart

  committed
  dfee153

  Copy full SHA for dfee153

• docs: sharpen README positioning and add demo guide

  ashhart

  committed
  82a6626

  Copy full SHA for 82a6626

Commits on May 19, 2026

• Make Helm devMode actually engage; fix broken CI Secret assertion

  Show description for 966a87e
  

  ashhart

  and

  claude

  committed
  966a87e

  Copy full SHA for 966a87e

• Security review fixes (P0 + P1 + P2)

  Show description for 979d1f4
  

  ashhart

  and

  claude

  committed
  979d1f4

  Copy full SHA for 979d1f4

• Deterministic RNG (LYCAN_RNG_SEED + admin endpoint) + comment cleanup

  Show description for f8694ef
  

  ashhart

  and

  claude

  committed
  f8694ef

  Copy full SHA for f8694ef

Commits on May 18, 2026

• Identify MAB headline root cause: Syntra rand_f64 is unseedable

  Show description for c05ec6e
  

  ashhart

  and

  claude

  committed
  c05ec6e

  Copy full SHA for c05ec6e

• Fix MAB-vs-VW bin regression: branch override aggressiveness on reward shape

  Show description for 5c05aff
  

  ashhart

  and

  claude

  committed
  5c05aff

  Copy full SHA for 5c05aff

• Document the Syntra / Lycan repo relationship

  Show description for a33c9c5
  

  ashhart

  and

  claude

  committed
  a33c9c5

  Copy full SHA for a33c9c5

• Merge Lycan (the language) into this repo as Lycan/ subdirectory

  Show description for 2a2fff5
  

  ashhart

  and

  claude

  committed
  2a2fff5

  Copy full SHA for 2a2fff5

• Fix cross-repo relative links broken on github.com

  Show description for d66c3ee
  

  ashhart

  and

  claude

  committed
  d66c3ee

  Copy full SHA for d66c3ee

• Sync local development through Phase I followup 23

  Show description for f8c775c
  

  ashhart

  and

  claude

  committed
  f8c775c

  Copy full SHA for f8c775c

Commits on May 15, 2026

• Move Docker run instructions up

  ashhart

  committed
  957f704

  Copy full SHA for 957f704

• Document GHCR Docker image

  ashhart

  committed
  f9349eb

  Copy full SHA for f9349eb

• Use Syntra branding in console

  ashhart

  committed
  834e059

  Copy full SHA for 834e059

• Use Lycan graph patch in Docker image

  ashhart

  committed
  b565977

  Copy full SHA for b565977