Skip to content

Commit bde7ff8

Browse files
Merge branch 'main' into chore/hypatia-scan-reusable-wrapper
2 parents 766d60a + 3ff8328 commit bde7ff8

7 files changed

Lines changed: 128 additions & 243 deletions

File tree

.gitattributes

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
# Pending estate-wide policy: hide ReScript from primary-language detection.
2+
**/*.res linguist-detectable=false

.github/workflows/hypatia-scan.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,5 +25,5 @@ permissions:
2525

2626
jobs:
2727
hypatia:
28-
uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@97df762107501909f50bb770e9bc200b6c415600
28+
uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@915139d73560e65a8240b8fc7768698658502c89
2929
secrets: inherit

.github/workflows/scorecard.yml

Lines changed: 8 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -1,32 +1,16 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
name: OSSF Scorecard
2+
name: Scorecards supply-chain security
3+
34
on:
4-
push:
5-
branches: [main, master]
5+
branch_protection_rule:
66
schedule:
7-
- cron: '0 4 * * *'
8-
workflow_dispatch:
7+
- cron: '23 4 * * 1'
8+
push:
9+
branches: [main]
910

1011
permissions: read-all
1112

1213
jobs:
1314
analysis:
14-
runs-on: ubuntu-latest
15-
permissions:
16-
security-events: write
17-
id-token: write
18-
steps:
19-
- uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
20-
with:
21-
persist-credentials: false
22-
23-
- name: Run Scorecard
24-
uses: ossf/scorecard-action@4eaacf0543bb3f2c246792bd56e8cdeffafb205a # v2.3.1
25-
with:
26-
results_file: results.sarif
27-
results_format: sarif
28-
29-
- name: Upload results
30-
uses: github/codeql-action/upload-sarif@cdefb33c0f6224e58673d9004f47f7cb3e328b89 # v3.31.8
31-
with:
32-
sarif_file: results.sarif
15+
uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@e0caf11508a3989574713c78f5f444f2ce5e33ef
16+
secrets: inherit

CHANGELOG.md

Lines changed: 60 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,60 @@
1+
<!--
2+
SPDX-License-Identifier: MPL-2.0
3+
SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
4+
-->
5+
6+
# Changelog
7+
8+
All notable changes to `avow-protocol` will be documented in this file.
9+
10+
This file is generated from conventional commits by the
11+
[`changelog-reusable.yml`](https://github.com/hyperpolymath/standards/blob/main/.github/workflows/changelog-reusable.yml)
12+
workflow (`hyperpolymath/standards#206`). Adopt the workflow in this repo's CI to keep this file in sync automatically — see
13+
[`templates/cliff.toml`](https://github.com/hyperpolymath/standards/blob/main/templates/cliff.toml)
14+
for the canonical config.
15+
16+
The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/);
17+
this project aims to follow [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
18+
19+
## [Unreleased]
20+
21+
### Added
22+
23+
- feat: absorb avow-telegram-bot as telegram-bot/ subdirectory
24+
- feat: deploy 10 projects to Cloudflare Pages with custom domains
25+
- feat: add custom domain setup script for all three sites
26+
- feat: successful Cloudflare Pages deployment
27+
- feat: add Deno-native deployment script and quick deploy guide
28+
- feat: add Cloudflare deployment configuration and scripts
29+
- feat: rebrand to AVOW Protocol and implement complete formally verified architecture
30+
- feat: add critical security workflows
31+
- feat: integrate k9-svc and A2ML into stamp-website
32+
- feat: complete proven integration and documentation
33+
34+
### Fixed
35+
36+
- fix(ci): sync hypatia-scan.yml to canonical (413: env.HOME+Phase-2+SARIF) (#3)
37+
- fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + Comment-step gate) (#1)
38+
- fix: apply safety triangle fixes (recipe-remove-believe-me)
39+
- fix: update license from MPL-2.0 to PMPL-1.0-or-later
40+
- fix: remove duplicate SCM files from root
41+
- fix: use Deno setup action and task runner for ReScript build
42+
- fix: use original HTML with full styling
43+
- fix: install Pandoc in workflow
44+
45+
### Changed
46+
47+
- refactor: replace all TypeScript with ReScript
48+
49+
### Documentation
50+
51+
- docs: add deployment success report for all three sites
52+
- docs: add DNS zone file for stamp-protocol.org
53+
54+
## Pre-history
55+
56+
Prior commits to this file's introduction are recorded in git history but not formally classified into Keep-a-Changelog sections. To backfill, run `git cliff -o CHANGELOG.md` locally using the canonical [`cliff.toml`](https://github.com/hyperpolymath/standards/blob/main/templates/cliff.toml) — this is one-shot mechanical work.
57+
58+
---
59+
60+
<!-- This file was seeded by the 2026-05-26 estate tech-debt audit follow-up (Row-2 Phase 3); see [`hyperpolymath/standards/docs/audits/2026-05-26-estate-documentation-debt.md`](https://github.com/hyperpolymath/standards/blob/main/docs/audits/2026-05-26-estate-documentation-debt.md). -->

docs/tech-debt-2026-05-26.md

Lines changed: 57 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
1+
<!--
2+
SPDX-License-Identifier: MPL-2.0
3+
SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
4+
-->
5+
6+
# Tech-Debt Audit — avow-protocol — 2026-05-26
7+
8+
**Source:** estate-wide automated scan 2026-05-26.
9+
**Companion:** [`hyperpolymath/standards` 2026-05-26-estate-*-debt audits](https://github.com/hyperpolymath/standards/tree/main/docs/audits).
10+
**Combined severity:** `MEDIUM`.
11+
12+
This file records the *raw findings* — it does not by itself fix the debt. Each section ends with a 'Recommended next move' line; closing the debt is follow-up work.
13+
14+
## 1. Proof debt
15+
16+
No proof-bearing files (`*.v`, `*.lean`, `*.agda`, `*.idr`, `*.idr2`, `*.fst`, `*.dfy`, `*.tla`, `*.ads`, `*.adb`) found in this repo.
17+
18+
**Recommended next move:** none.
19+
20+
## 2. Licence debt
21+
22+
| Field | Value |
23+
|---|---|
24+
| LICENSE file | `LICENSE` |
25+
| SPDX header | `MPL-2.0` |
26+
| Manifest licence | `MPL-2.0` |
27+
| Body classifier | `MPL-some` |
28+
| Severity | `ok` |
29+
30+
**Recommended next move:** none for licence.
31+
32+
## 3. Documentation debt
33+
34+
| Field | Value |
35+
|---|---|
36+
| README lines | 237 |
37+
| `docs/` files | 4 |
38+
| `docs/` LoC | 222 |
39+
| CHANGELOG.md | N |
40+
| CONTRIBUTING.md | Y |
41+
| CODE_OF_CONDUCT.md | Y |
42+
| SECURITY.md | Y |
43+
| Severity | `MEDIUM` |
44+
45+
**Recommended next move:** introduce a `docs/` directory. The README at 237 lines has likely grown to do the work of `docs/` — split it into a thin README + `docs/architecture.md`, `docs/usage.md`, etc. Heavy-wiki exemplars to copy from: `affinescript`, `boj-server`, `echidna`, `hypatia`.
46+
47+
Additionally: **CHANGELOG.md is missing.** 65% of estate repos lack one — adopting a CHANGELOG (or auto-generating via `git-cliff`) is a recommended estate-wide follow-up.
48+
49+
## Cross-references
50+
51+
- Estate proof-debt audit: `hyperpolymath/standards/docs/audits/2026-05-26-estate-proof-debt.md`
52+
- Estate licence-debt audit: `hyperpolymath/standards/docs/audits/2026-05-26-estate-licence-debt.md`
53+
- Estate documentation-debt audit: `hyperpolymath/standards/docs/audits/2026-05-26-estate-documentation-debt.md`
54+
55+
---
56+
57+
🤖 Generated by Claude Code estate-wide tech-debt scan (2026-05-26). This file is informational — closing the debt is follow-up work owned by the maintainer.

examples/SafeDOMExample.res

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

telegram-bot/examples/SafeDOMExample.res

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

0 commit comments

Comments
 (0)