Repository navigation

First-run start point: identity, echidna.prove.result/1 consumer, template shape - #102

Merged

hyperpolymath merged 9 commits into

mainfrom

firstrun/20261005

Oct 5, 2026

Merged

First-run start point: identity, echidna.prove.result/1 consumer, template shape#102
hyperpolymath merged 9 commits into
mainfrom
firstrun/20261005

Commits on Oct 5, 2026
- chore: remove the vendored affinescript/ tree
  
  hyperpolymath
  and
  claude
  committed
  b621c21
- feat(attempt): consume echidna.prove.result/1 with legacy fallback
  
  hyperpolymath
  and
  claude
  committed
  96adfd9
- docs: restore proof-burrower identity and move toward the RSR template shape
  
  hyperpolymath
  and
  claude
  committed
  c8280e3
- ci(workflow-linter): accept SPDX in the leading comment block
  
  hyperpolymath
  and
  claude
  committed
  d99a3e0
- fix(contract): canonicalise with a public RFC 8785 crate
  
  hyperpolymath
  and
  claude
  committed
  91865f4
- feat(ids): centralise id minting; UUIDv7 records, UUIDv8 content ids
  
  hyperpolymath
  and
  claude
  committed
  b6b0f9f
- docs: qualify echidna paths and fix a stale ABI example path (Hypatia SD022)
  
  hyperpolymath
  and
  claude
  committed
  81cbd3e
- fix(ids): no panic on wasm32; degenerate v7 via uuid::Builder
  
  hyperpolymath
  and
  claude
  committed
  0dfd121
- docs(architecture): point at the ids module
  
  hyperpolymath
  and
  claude
  committed
  5c39509