saymrwulf/proof-aware-crypto-tooling-agent
1
0
Fork 0
mirror of https://github.com/saymrwulf/proof-aware-crypto-tooling-agent.git synced 2026-09-06 20:20:36 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • 3aa8d4b2bf LTL front page: display the trust anchor in full, above the fold mrwulf 2026-07-07 09:45:35 +0200
  • be9a39cd2b paper rigor pass: fix three claims that failed verification; serve the trust anchor mrwulf 2026-07-07 09:28:55 +0200
  • 3eb53b0195 paper: final subtitle - Where Deductive and Cryptographic Proof Vouch for Each Other mrwulf 2026-07-07 09:05:35 +0200
  • 8aa228d2fe paper: retitle + author block per publication decision mrwulf 2026-07-07 08:45:49 +0200
  • a7cc3d2a5f warden re-audit (Fable 5): fix ledger race, quorum perf, small-order honesty mrwulf 2026-07-07 08:24:51 +0200
  • 6b9f033151 warden: product-lineup presentation (docs/warden-lineup.html) mrwulf 2026-07-06 23:50:29 +0200
  • f07c97136a cli: import json (wallet status/card JSON output); verified full CLI + MCP stdio path mrwulf 2026-07-06 23:47:55 +0200
  • ba47aa435d warden docs + study material: WALLET.md, products lineup, llms.txt, lecture 10 mrwulf 2026-07-06 23:46:27 +0200
  • 9a9b4ff084 warden tests: quorum taxonomy, wallet firewall/ledger/latch, MCP surface (83 passing) mrwulf 2026-07-06 23:40:35 +0200
  • 60f0c09bc9 warden agent-native surfaces: MCP server, self-proving custody card, proof-of-posture mrwulf 2026-07-06 23:35:47 +0200
  • 97ac5594fe warden wallet core: R4-gated capsule, hash-chained ledger, quorum inbound, firewalled outbound mrwulf 2026-07-06 23:31:50 +0200
  • bbc99a9127 warden quorum boundary: 4 provably-equivalent verifier members, live mrwulf 2026-07-06 23:26:21 +0200
  • 6cd08b771d warden: agent-native field research + design decisions (AX/MCP/A2A/AP2/x402/ERC-8004) mrwulf 2026-07-06 23:20:56 +0200
  • 231d5dfafa LTL docs: site-wide nav (notes / code / cv) in the header line mrwulf 2026-07-06 20:05:05 +0200
  • 9acb078844 Serve the paper at /paper; witness mirror must be independently operated mrwulf 2026-07-06 19:44:06 +0200
  • 47dfb61a7f Move the log service to ltl.zkdefi.org (root path); keep path-mount support mrwulf 2026-07-06 19:14:52 +0200
  • aa16f6d530 paper: author reverted to the pseudonym pending the owner's publication-identity decision mrwulf 2026-07-06 18:56:03 +0200
  • a4108ddcac Paper v2: author, the mathematics, and a figure that survives being looked at mrwulf 2026-07-06 18:39:18 +0200
  • 7884bdeeb1 The LTL paper: 4-page arXiv draft, claim-disciplined mrwulf 2026-07-06 18:14:38 +0200
  • 159143d297 pacta repo public (owner order); server app is a git clone, update = git pull mrwulf 2026-07-06 17:42:09 +0200
  • 53f6c41100 DEPLOY.md: as-built record - the LTL is LIVE at zkdefi.org/lean-transparency-log mrwulf 2026-07-06 17:22:43 +0200
  • a651a3b58c The LTL website: the accumulator drawn live, artifacts named unambiguously mrwulf 2026-07-06 16:38:37 +0200
  • 9092f032e0 Public-exposure self-audit: genericize DEPLOY.md, scrub provider paths mrwulf 2026-07-06 16:16:10 +0200
  • fbe40c3dfe The log goes public: git-published mirror, online service, witnesses mrwulf 2026-07-06 16:05:20 +0200
  • b6382dd0ad Lecture 9: dogfood now bidirectional (sign mode + provider self-inclusion); notebooks README course list updated mrwulf 2026-07-06 15:27:16 +0200
  • 19d25458e8 Mirrored lectures 6a/6b: the authenticated structure, drawn and domain-separated mrwulf 2026-07-06 15:26:32 +0200
  • b8ffbafa7f The provider eats its own dogfood: root signatures via the merkleized library mrwulf 2026-07-06 15:21:17 +0200
  • 71c670527c REAL EVIDENCE: guarded replay of all four repos, attested, logged, dogfooded mrwulf 2026-07-06 14:54:48 +0200
  • e87f0e8b05 Fix the two defects the first REAL provider run exposed (and honestly signed) mrwulf 2026-07-06 12:51:59 +0200
  • 5b0158ecef Machine protection: route all pacta Lean compiles through lean-guard mrwulf 2026-07-06 10:42:59 +0200
  • bde0f87558 Docs: README + AGENTS.md brought to the new architecture mrwulf 2026-07-06 10:19:19 +0200
  • 4a37da8fd9 Curriculum: the ratchet rule, the four-tier reality, and lecture 9 (dogfood) mrwulf 2026-07-06 10:18:06 +0200
  • d331ba17d9 Dogfood cryptography: pacta verifies signatures through the PROVEN code path mrwulf 2026-07-06 10:13:48 +0200
  • 7c717d03fc Log accountability: STH pinning, consistency enforcement, freshness, monitor mrwulf 2026-07-06 10:08:34 +0200
  • caa864a749 Estate sync: boundary-axiom vocabulary + the four-tier apex reality (R4) mrwulf 2026-07-06 10:04:43 +0200
  • 5da353b31e add proof-aware crypto curriculum notebooks saymrwulf 2026-07-03 14:42:59 +0200
  • 0461d2f997 add transparency log trust provider saymrwulf 2026-07-03 14:09:34 +0200
  • 0522cdfdca add nested proof check provider saymrwulf 2026-07-03 13:03:58 +0200
  • 2282bb43c7 add verifier bootstrap and attestation lane saymrwulf 2026-07-03 11:24:13 +0200
  • be5bd182d0 add policy-gated agent consequences saymrwulf 2026-07-03 11:05:06 +0200
  • 5d10f20283 initial proof-aware tooling prototype saymrwulf 2026-07-03 10:51:03 +0200