Commits

Commit history

1. Commits on Oct 2, 2026

   • fix(orca-daemon): clamp the searchReplay grid at MAX_GRID_DIM

     Show description for 8773206
     

     andrewdyates

     and

     claude

     committed
     8773206View commit details

     Copy full SHA for 8773206

     Browse repository at this point

   • fix(orca-daemon): cap the terminal grid at 4096 per dimension; Node setTimeout semantics and a bounded queue for the shell-ready wait

     Show description for e4ed9b5
     

     andrewdyates

     and

     claude

     committed
     e4ed9b5View commit details

     Copy full SHA for e4ed9b5

     Browse repository at this point

   • fix(orca-daemon): an exhausted teardown take keeps the held marker bytes

     Show description for 3b28217
     

     andrewdyates

     and

     claude

     committed
     3b28217View commit details

     Copy full SHA for 3b28217

     Browse repository at this point

   • fix(orca-daemon): carry the stream channel's invariants in its types; checked/wrapping counters

     Show description for d3ec1cc
     

     andrewdyates

     and

     claude

     committed
     d3ec1ccView commit details

     Copy full SHA for d3ec1cc

     Browse repository at this point
2. Commits on Oct 1, 2026

   • fix(orca-daemon): pin the marker prefix as ASCII at compile time

     Show description for bc52b08
     

     andrewdyates

     and

     claude

     committed
     bc52b08View commit details

     Copy full SHA for bc52b08

     Browse repository at this point

   • fix(orca-daemon): the marker scanner's match depth is the held prefix's length

     Show description for abdf8b9
     

     andrewdyates

     and

     claude

     committed
     abdf8b9View commit details

     Copy full SHA for abdf8b9

     Browse repository at this point

   • Merge remote-tracking branch 'origin/main' into fix/daemon-verified-lane-failed-rows

     andrewdyates

     committed
     bb953fbView commit details

     Copy full SHA for bb953fb

     Browse repository at this point

   • fix(orca-daemon): keep stream items one frame, record dropped frames, test the read paths

     Show description for 9120a39
     

     andrewdyates

     and

     claude

     committed
     9120a39View commit details

     Copy full SHA for 9120a39

     Browse repository at this point

   • docs(trust): the SMT purge would replace theorems with tests in all eight crates

     Show description for 8816399
     

     2 peopleauthored and

     Andrew Yates

     committed
     8816399View commit details

     Copy full SHA for 8816399

     Browse repository at this point

   • fix(orca-daemon): close the verified-lane failed rows that were real wire/input defects

     Show description for 6858be3
     

     andrewdyates

     and

     claude

     committed
     6858be3View commit details

     Copy full SHA for 6858be3

     Browse repository at this point

   • docs(trust): name the SMT purge's seven capability asks in the record

     Show description for 3231a3c
     

     2 peopleauthored and

     Andrew Yates

     committed
     3231a3cView commit details

     Copy full SHA for 3231a3c

     Browse repository at this point
3. Commits on Sep 30, 2026

   • docs(trust): record why the 2026-08-08 SMT purge is not taken

     Show description for a965dbf
     

     2 peopleauthored and

     Andrew Yates

     committed
     a965dbfView commit details

     Copy full SHA for a965dbf

     Browse repository at this point

   • chore(release): 0.4.0 -> 0.5.0

     Show description for 3c95003
     

     andrewdyates

     and

     claude

     committed
     3c95003View commit details

     Copy full SHA for 3c95003

     Browse repository at this point

   • tools, proofs: name the Trust build tree without a home path the publication guard forbids

     Show description for f51eb64
     

     andrewdyates

     and

     claude

     committed
     f51eb64View commit details

     Copy full SHA for f51eb64

     Browse repository at this point
4. Commits on Sep 29, 2026

   • Merge origin/main into trust-migration/2026-09-28

     Show description for 18a16f6
     

     andrewdyates

     and

     claude

     committed
     18a16f6View commit details

     Copy full SHA for 18a16f6

     Browse repository at this point

   • fix(trust): verify:rust carries the gate's conditions; spawn-failure tests name their path

     Show description for 6d3f6a2
     

     andrewdyates

     and

     claude

     committed
     6d3f6a2View commit details

     Copy full SHA for 6d3f6a2

     Browse repository at this point

   • fix(trust): lint, format and ignore what the migration's first JS run found

     Show description for cca02c5
     

     andrewdyates

     and

     claude

     committed
     cca02c5View commit details

     Copy full SHA for cca02c5

     Browse repository at this point

   • docs(trust): correct the cfg(trust_verify) claims and dangling recipes

     Show description for a192dac
     

     andrewdyates

     and

     claude

     committed
     a192dacView commit details

     Copy full SHA for a192dac

     Browse repository at this point

   • fix(proofs): an explicit $AY or TY_BIN never falls through to another tool

     Show description for 1ecb5ab
     

     andrewdyates

     and

     claude

     committed
     1ecb5abView commit details

     Copy full SHA for 1ecb5ab

     Browse repository at this point

   • build(trust): pick the lane from the installed Trust sysroot, not a triple list

     Show description for 896071b
     

     andrewdyates

     and

     claude

     committed
     896071bView commit details

     Copy full SHA for 896071b

     Browse repository at this point

   • docs(trust): instruct targo, name the stock exceptions

     Show description for 9e299df
     

     andrewdyates

     and

     claude

     committed
     9e299dfView commit details

     Copy full SHA for 9e299df

     Browse repository at this point

   • chore(trust): resolve ay, ty, trustc and targo from PATH, not ~/trust/build

     Show description for b888649
     

     andrewdyates

     and

     claude

     committed
     b888649View commit details

     Copy full SHA for b888649

     Browse repository at this point

   • build(trust): Rust scripts run targo; stock only as a labelled exception

     Show description for 9cb8a7d
     

     andrewdyates

     and

     claude

     committed
     9cb8a7dView commit details

     Copy full SHA for 9cb8a7d

     Browse repository at this point

   • build(trust): pin Trust and drop the cargo-config flag tables

     Show description for 24e731f
     

     andrewdyates

     and

     claude

     committed
     24e731fView commit details

     Copy full SHA for 24e731f

     Browse repository at this point

   • docs: regenerate the pub-managed policy block — rule 3 pins the Trust toolchain

     Show description for 67fe3a3
     

     2 peopleauthored and

     Andrew Yates

     committed
     67fe3a3View commit details

     Copy full SHA for 67fe3a3

     Browse repository at this point
5. Commits on Sep 28, 2026

   • test(proofs): class-exhaustive property tests beside the ay bundles

     Show description for 48f96aa
     

     2 peopleauthored and

     Andrew Yates

     committed
     48f96aaView commit details

     Copy full SHA for 48f96aa

     Browse repository at this point
6. Commits on Sep 27, 2026

   • fix(reliability-gates): watcher fault harnesses inject SIGKILL on macOS, and time resubscription from the fault

     Show description for f2a2571
     

     2 peopleauthored and

     Andrew Yates

     committed
     f2a2571View commit details

     Copy full SHA for f2a2571

     Browse repository at this point
7. Commits on Sep 10, 2026

   • fix(mobile): recover complete endpoint log redaction from stranded work

     andrewdyates

     committed
     7a4ed27View commit details

     Copy full SHA for 7a4ed27

     Browse repository at this point
8. Commits on Sep 7, 2026

   • chore(release): prepare Orca source snapshot v0.4.0

     Show description for 594ded9
     

     Andrew Yates

     authored and

     Andrew Yates

     committed
     594ded9View commit details

     Copy full SHA for 594ded9

     Browse repository at this point

   • merge: reconcile reviewed Orca salvage and duplicate worktrees

     Show description for 0e704ce
     

     Andrew Yates

     authored and

     Andrew Yates

     committed
     0e704ceView commit details

     Copy full SHA for 0e704ce

     Browse repository at this point

   • fix(gauntlet): ratchet real autoformalization evidence fail closed

     

     Andrew Yates

     authored and

     Andrew Yates

     committed
     4417f68View commit details

     Copy full SHA for 4417f68

     Browse repository at this point
9. Commits on Aug 31, 2026

   • publish: adopt the managed README region

     Show description for a42bf06
     andrewdyates

     committed
     a42bf06View commit details

     Copy full SHA for a42bf06

     Browse repository at this point

   • docs: promote is credential-gated, not human-only

     Show description for 055752d
     

     Andrew Yates

     authored and

     Andrew Yates

     committed
     055752dView commit details

     Copy full SHA for 055752d

     Browse repository at this point
10. Commits on Aug 30, 2026

    • docs: state the measured toolchain posture, and retire the stale flag surface

      Show description for e5f15da
      

      2 peopleauthored and

      Andrew Yates

      committed
      e5f15daView commit details

      Copy full SHA for e5f15da

      Browse repository at this point
11. Commits on Aug 29, 2026

    • docs: bump stated version 0.2.0 -> 0.3.0 in README and feature walkthrough

      andrewdyates

      committed
      a05f7d4View commit details

      Copy full SHA for a05f7d4

      Browse repository at this point