All pull requests

Pull requests

• ci: UCI-1 exact-head witness

  #25·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·
  1

• test: AEGIS PR5A provider binding GREEN witness

  #24·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: AEGIS PR5A provider binding RED witness

  #23·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: AEGIS PR5A final baseline witness

  #22·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: AEGIS PR5A MCP GREEN witness

  #21·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: AEGIS PR5A full baseline witness

  #20·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: AEGIS PR5A compatibility GREEN witness

  #19·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: AEGIS PR5A exact merge witness

  #18·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: AEGIS PR-4 RED witness

  #17·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: prove AEGIS PR3 VerifyEffect contract RED

  #16·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: final AEGIS PR2 observation-only exact-head witness

  #15·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: verify AEGIS PR2 observation-before-receipt boundary

  #14·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• security: triage AEGIS PR264 dependency graph

  #13·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: verify PR264 verification-fix exact head

  #12·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: verify AEGIS PR264 exact head externally

  #11·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: policy-bound AEGIS PR-2 final exact-head witness

  #10·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: final scoped AEGIS PR-2 exact-head witness

  #9·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: full AEGIS PR-2 exact-head witness

  #8·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: external AEGIS PR-2 targeted witness

  #7·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: AEGIS PR-2 effect observation exact-head witness

  #6·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: AEGIS PR-2 TDD RED witness

  #5·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test(trace): candidate authority-staleness fixtures for TRACE #66

  #4·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·
  1

• test: AEGIS PR-1 external exact-head witness

  #3·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• feat: Proofline Fleet contest-period demonstrator

  #2·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·

• test: verify ADK 2.6.3 binary wheel on Python 3.12/3.13

  #1·Tarik Skalić (tarikskalic33) opened Aug 19, 2026Member·

  ·