Skip to content

Commit 17e7f8f

Browse files
hyperpolymathclaude
andcommitted
refactor: convert nested avow-protocol to a thin binding
standards/avow-protocol/ was a full duplicate that had genuinely diverged from the real hyperpolymath/avow-protocol repo (roughly a week apart in currency). Pilots the thin-binding design: centralise semantics in the canonical repo, localise only a small pointer here. Before removal, diffed the nested copy against the real repo in full. avow-lib/ (Idris2 formal-verification tests, ABI source, Zig FFI) had no home in the real repo, so it was migrated there first: hyperpolymath/avow-protocol#24 (merged). Everything else remaining was confirmed superseded by later work in the real repo (AffineScript .affine sources replaced by ReScript .res, README.adoc converted to README.md, local issue templates retired for the org's canon) or was unrendered RSR template scaffold with no real content. See dev-notes/handoffs/2026-07-02-standards-thin-binding-pilot-handoff.md Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
1 parent bc76ca1 commit 17e7f8f

173 files changed

Lines changed: 47 additions & 21511 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

avow-protocol/.editorconfig

Lines changed: 0 additions & 68 deletions
This file was deleted.

avow-protocol/.gitattributes

Lines changed: 0 additions & 54 deletions
This file was deleted.

avow-protocol/.github/ISSUE_TEMPLATE/bug_report.md

Lines changed: 0 additions & 38 deletions
This file was deleted.

avow-protocol/.github/ISSUE_TEMPLATE/custom.md

Lines changed: 0 additions & 10 deletions
This file was deleted.

avow-protocol/.github/ISSUE_TEMPLATE/feature_request.md

Lines changed: 0 additions & 20 deletions
This file was deleted.

avow-protocol/.github/workflows/6scm-sync.yml

Lines changed: 0 additions & 18 deletions
This file was deleted.

avow-protocol/.github/workflows/codeql.yml

Lines changed: 0 additions & 104 deletions
This file was deleted.

avow-protocol/.github/workflows/deploy-pages.yml

Lines changed: 0 additions & 51 deletions
This file was deleted.

avow-protocol/.github/workflows/governance.yml

Lines changed: 0 additions & 26 deletions
This file was deleted.

0 commit comments

Comments
 (0)