Skip to content

Commit 4404e7a

Browse files
hyperpolymathhyperpolymath
committed
fix(ci): global fixes for ClusterFuzzLite static linking and Governance exemptions
1 parent 0ecf4b9 commit 4404e7a

11 files changed

Lines changed: 230 additions & 16 deletions

File tree

‎.claude/settings.json‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
{
2+
"permissions": {
3+
"allow": [
4+
"Bash(cargo check)",
5+
"Bash(cargo check *)",
6+
"Bash(gh project item-list *)",
7+
"Bash(gh project list)",
8+
"Bash(gh project list *)",
9+
"Bash(git grep *)"
10+
]
11+
}
12+
}

‎.clusterfuzzlite/build.sh‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,11 +25,12 @@ mkdir -p "$OUT"
2525
if [[ -f ffi/zig/build.zig ]]; then
2626
pushd ffi/zig >/dev/null
2727
mkdir -p zig-out/lib
28-
zig build-lib -static -O ReleaseSafe -fPIC --name proven \
28+
zig build-lib -static -O ReleaseSafe -fno-stack-check -fPIC --name proven \
2929
-femit-bin=zig-out/lib/libproven.a src/main.zig -lc || {
3030
echo "WARN: standalone Zig FFI build failed; fuzz targets will not link." >&2
3131
exit 1
3232
}
33+
3334
popd >/dev/null
3435
fi
3536

‎.github/copilot/coding-agent.yml‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
mcp_servers:
2+
boj-server:
3+
command: npx
4+
args: ["-y", "@hyperpolymath/boj-server@latest"]
5+
env:
6+
BOJ_URL: http://localhost:7700

‎.hypatia-ignore‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
# Exempting legitimate Java/Kotlin bindings from language policy
1+
# Exempting legitimate Java/Kotlin/Go bindings from language policy
22
bindings/java/** cicd_rules/banned_language_file
33
bindings/kotlin/** cicd_rules/banned_language_file
44
bindings/gql/neo4j/** cicd_rules/banned_language_file
5+
bindings/go/** cicd_rules/banned_language_file

‎.machine_readable/6a2/0-AI-MANIFEST.a2ml‎

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
# AI Manifest for 6a2 Directory
2+
3+
## Purpose
4+
5+
This manifest declares the AI-assistant context for the 6a2 machine-readable metadata directory.
6+
7+
## Canonical Locations
8+
9+
The 6 core A2ML files MUST exist in this directory:
10+
1. AGENTIC.a2ml
11+
2. ECOSYSTEM.a2ml
12+
3. META.a2ml
13+
4. NEUROSYM.a2ml
14+
5. PLAYBOOK.a2ml
15+
6. STATE.a2ml
16+
17+
## Invariants
18+
19+
- No duplicate files in root directory
20+
- Single source of truth: this directory is authoritative
21+
- No stale metadata
22+
23+
## Protocol
24+
25+
When multiple agents may write to A2ML files concurrently:
26+
1. Read file and record git-sha-at-read in [provenance] section
27+
2. Lock by creating .lock-<FILENAME>
28+
3. Write updated file with new [provenance] metadata
29+
4. Release by removing lock file
30+
5. On conflict: re-read and retry if git-sha-at-read does not match HEAD
31+

‎.machine_readable/6a2/README.adoc‎

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
// SPDX-License-Identifier: MPL-2.0
2+
// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
# A2ML 6a2 Directory
4+
5+
This directory contains the 6 core A2ML machine-readable metadata files for this repository.
6+
7+
## Files
8+
9+
- `AGENTIC.a2ml` - AI agent operational gating, safety controls
10+
- `ECOSYSTEM.a2ml` - Project ecosystem position, relationships, explicit boundaries
11+
- `META.a2ml` - Architecture decisions (ADRs), development practices, design rationale
12+
- `NEUROSYM.a2ml` - Symbolic semantics, composition algebra
13+
- `PLAYBOOK.a2ml` - Executable plans, operational runbooks
14+
- `STATE.a2ml` - Project state, phase, milestones, session history
15+
16+
## Standards Compliance
17+
18+
These files follow the A2ML Format Family specification from:
19+
https://github.com/hyperpolymath/standards/tree/main/a2ml
20+
21+
## Generation
22+
23+
These files may be generated from .scm source files using transpilation tools.
24+
Source .scm files should be removed after successful transpilation.
25+
26+
## See Also
27+
28+
- [A2ML Repository Template](https://github.com/hyperpolymath/standards/blob/main/A2ML-REPO-TEMPLATE.adoc)
29+
- [6A2 Format Family](https://github.com/hyperpolymath/standards#a2ml-format-family-7-formats)
30+

‎.machine_readable/6a2/anchor/0-AI-MANIFEST.a2ml‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
# AI Manifest for Anchor Directory
2+
3+
## Purpose
4+
5+
This manifest declares the AI-assistant context for the anchor machine-readable metadata directory.
6+
7+
## Canonical Locations
8+
9+
ANCHOR.a2ml files MUST exist in this directory.
10+
11+
## Multiple Versions
12+
13+
Unlike other A2ML files, multiple versions of ANCHOR.a2ml with different dates MAY exist.
14+
Each version represents a specific recalibration point.
15+
16+
## Invariants
17+
18+
- Multiple versions with different dates are permitted
19+
- No other A2ML files in this directory
20+
- Single source of truth for anchor documents
21+

‎.machine_readable/6a2/anchor/ANCHOR.a2ml‎

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
# ⚓ ANCHOR: proven
2+
# This is the canonical authority for the proven repository.
3+
4+
id: "org.hyperpolymath.proven"
5+
version: "1.0.0"
6+
clade: "unknown"
7+
status: "active"
8+
9+
# SSG Configuration (Unified boj-server build)
10+
ssg:
11+
engine: "casket"
12+
output_dir: "public"
13+
boj_trigger: true
14+
cartridge: "ssg-mcp"
15+
16+
# Relationships
17+
parents:
18+
- "org.hyperpolymath.boj-server"

‎.machine_readable/6a2/anchor/README.adoc‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
// SPDX-License-Identifier: MPL-2.0
2+
// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
# A2ML Anchor Directory
4+
5+
This directory contains ANCHOR.a2ml files for project recalibration and scope intervention.
6+
7+
## Files
8+
9+
- `ANCHOR.a2ml` - Project recalibration, scope intervention, canonical authority
10+
11+
## Multiple Versions
12+
13+
Unlike other A2ML files, multiple versions of ANCHOR.a2ml with different dates may exist.
14+
Each version represents a specific recalibration point in the project history.
15+
16+
## Standards Compliance
17+
18+
These files follow the ANCHOR.a2ml specification from:
19+
https://github.com/hyperpolymath/standards/tree/main/anchor-a2ml
20+
21+
## See Also
22+
23+
- [A2ML Repository Template](https://github.com/hyperpolymath/standards/blob/main/A2ML-REPO-TEMPLATE.adoc)
24+
- [Anchor A2ML Spec](https://github.com/hyperpolymath/standards/tree/main/anchor-a2ml)
25+

‎PROJECT-ISSUES.md‎

Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
<!--
2+
SPDX-License-Identifier: MPL-2.0
3+
Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
4+
-->
5+
# Project Issues Kanban Board
6+
7+
**Repository:** hyperpolymath/proven
8+
**Last Updated:** 2026-06-03
9+
**Purpose:** Track GitHub issues through kanban workflow columns
10+
11+
## Kanban Columns
12+
13+
| Issue | Title | Status | Priority | Assignee | Labels | Blocked By | Due Date | Notes |
14+
|-------|-------|--------|----------|----------|--------|-----------|----------|-------|
15+
| #80 | SafePassword.Strength windows/detectPatterns/analyzeStrength covering→total refactor | In Progress | High | - | proof-debt, Phase-3 | - | - | Discharges 3 OWED sites: strengthScoreBounded, higherImpliesLower, veryStrongSatisfiesAll |
16+
| #83 | - | Backlog | High | - | proof-debt, Phase-3 | - | - | Phase 3 unblocking |
17+
18+
## Column Definitions
19+
20+
- **Backlog** - Issues not yet started, awaiting triage or resources
21+
- **In Progress** - Actively being worked on
22+
- **Blocked** - Waiting on dependencies or external factors
23+
- **Review** - Ready for review, testing, or approval
24+
- **Done** - Completed and verified
25+
26+
## Status Transitions
27+
28+
```
29+
Backlog → In Progress → Review → Done
30+
↓
31+
Blocked (when dependencies arise)
32+
```
33+
34+
## Issue #80 Details
35+
36+
**Related Files:**
37+
- `src/Proven/SafePassword/Proofs.idr` (lines 257-258, 454-458, 471-474)
38+
- `src/Proven/SafePassword.idr` (strength analysis functions)
39+
40+
**Tasks:**
41+
1. Refactor `windows` function from covering to total
42+
2. Refactor `detectPatterns` function from covering to total
43+
3. Refactor `analyzeStrength` function from covering to total
44+
4. Discharge `strengthScoreBounded` theorem
45+
5. Discharge `higherImpliesLower` theorem
46+
6. Discharge `veryStrongSatisfiesAll` theorem
47+
48+
**Estimated Effort:** ~2-3 hours
49+
50+
**Dependencies:** None identified
51+
52+
## Issue #83 Details
53+
54+
**Status:** Backlog - needs investigation to determine specific scope
55+
56+
---
57+
58+
*Auto-generated from GitHub issues - sync with hyperpolymath/proven/issues*

0 commit comments

Comments
 (0)