Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
0514e09
proof(coq): Phase 1 — cfg-remember + atomic-axiom tactic on Lemma B (…
claude May 24, 2026
7acf1e5
proof(coq): add subst_preserves_typing_strong (unlocks Cluster A of L…
claude May 24, 2026
96efe22
proof(coq): Qed output_ctx_det — output-context determinacy for has_type
claude May 24, 2026
d97ba32
proof(coq): Lemma B — close 3 Cluster A cases (S_Let_Val, S_LetLin_Va…
claude May 24, 2026
9a03df6
proof(coq): Lemma B — close all 7 Cluster A cases (S_If_True/False, S…
claude May 24, 2026
d4161b6
proof(coq): Lemma B — close 4 Cluster C cases (S_Fst, S_Snd, S_Copy, …
claude May 24, 2026
68712fc
proof(coq): Lemma B — close 10 Cluster B congruence cases (35->11, 69%)
claude May 24, 2026
a2e8bcf
proof(coq): close S_App_Step1, S_App_Step2 via sibling type_determina…
claude May 24, 2026
ad5f299
proof(coq): Lemma B — Cluster C complete (S_StringLen atomic, S_Regio…
claude May 24, 2026
cf058e3
proof(coq): introduce step_preserves_type sub-lemma (partial; ~15 of …
claude May 24, 2026
f499c82
proof(coq): step_preserves_type clone-out — 8 more cases (12 of 35 re…
claude May 24, 2026
eed4901
proof(coq): step_preserves_type — close 4 cases fully, structure rema…
claude May 24, 2026
50ce303
proof(coq): step_preserves_type — add step_R_change_shape, close MIDD…
claude May 24, 2026
caa424c
proof(coq): step_preserves_type — close 7 RIGHT sub-cases via members…
claude May 24, 2026
0c64b9e
proof(coq): close 13 of 14 admits in step_output_context_eq (Lemma B)
claude May 24, 2026
0713ff6
proof(coq): add has_type_lift_across_step_no_shrink helper + extend S…
claude May 24, 2026
a4870d7
proof(coq): add safe_for_step precondition definition for preservatio…
claude May 25, 2026
2eac3e8
proof(coq): preservation path 2 — close 11 of 12 congruence cases via…
claude May 25, 2026
6724f37
proof(coq): preservation S_Region_Step — close 3 of 4 sub-cases via s…
claude May 25, 2026
379c73d
chore: gitignore Claude Code agent worktrees
claude May 25, 2026
5d13815
Merge remote-tracking branch 'origin/main' into claude/adoring-gates-…
hyperpolymath May 25, 2026
d07ae9f
Merge branch 'claude/adoring-gates-E57WG' of github.com:hyperpolymath…
hyperpolymath May 25, 2026
23b237b
chore: rename k9 directories to self-validating for clarity
hyperpolymath Jun 4, 2026
4029156
chore: flatten self-validating directory structure
hyperpolymath Jun 4, 2026
5260400
chore: rename agent_instructions to bot_directives for spec alignment
hyperpolymath Jun 4, 2026
88bc139
docs: Add CODEOWNERS, MAINTAINERS, and GOVERNANCE documents
mistral-vibe Jun 7, 2026
13e7e75
Apply estate standardization: governance docs, contractiles, CI/CD cl…
hyperpolymath Jun 7, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
34 changes: 34 additions & 0 deletions .github/CODEOWNERS
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
# SPDX-License-Identifier: MPL-2.0
# CODEOWNERS - Define code review assignments for GitHub
# See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-code-owners

# Default: sole maintainer for all files
* @hyperpolymath

# Security-sensitive files require explicit ownership
SECURITY.md @hyperpolymath
.github/workflows/ @hyperpolymath
.machine_readable/ @hyperpolymath
contractiles/ @hyperpolymath

# License files
LICENSE @hyperpolymath
LICENSES/ @hyperpolymath

# Configuration
.gitignore @hyperpolymath
.github/ @hyperpolymath

# Documentation
README* @hyperpolymath
CONTRIBUTING* @hyperpolymath
CODE_OF_CONDUCT* @hyperpolymath
GOVERNANCE* @hyperpolymath
MAINTAINERS* @hyperpolymath
CHANGELOG* @hyperpolymath
ROADMAP* @hyperpolymath

# Build and CI
Justfile @hyperpolymath
Makefile @hyperpolymath
*.sh @hyperpolymath
1 change: 1 addition & 0 deletions .github/workflows/abi-verify.yml
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,7 @@ jobs:
idris2-abi:
name: Idris2 ABI seam (ephapax-abi.ipkg)
runs-on: ubuntu-latest
timeout-minutes: 15
container:
image: snazzybucket/idris2:latest # estate-standard Idris2 image
steps:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/boj-build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ on:
jobs:
trigger-boj:
runs-on: ubuntu-latest
timeout-minutes: 15
steps:
- name: Checkout
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@ permissions:
jobs:
analyze:
runs-on: ubuntu-latest
timeout-minutes: 15
permissions:
contents: read
security-events: write
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/governance.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,3 +23,4 @@ permissions:
jobs:
governance:
uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@main
timeout-minutes: 10
1 change: 1 addition & 0 deletions .github/workflows/hypatia-scan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -43,6 +43,7 @@ jobs:
scan:
name: Hypatia Neurosymbolic Analysis
runs-on: ubuntu-latest
timeout-minutes: 15

steps:
- name: Checkout repository
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/instant-sync.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@ permissions:
jobs:
dispatch:
runs-on: ubuntu-latest
timeout-minutes: 15
steps:
- name: Trigger Propagation
uses: peter-evans/repository-dispatch@28959ce8df70de7be546dd1250a005dd32156697 # v3
Expand Down
7 changes: 7 additions & 0 deletions .github/workflows/mirror.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ permissions:
jobs:
mirror-gitlab:
runs-on: ubuntu-latest
timeout-minutes: 15
if: vars.GITLAB_MIRROR_ENABLED == 'true'
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
Expand All @@ -31,6 +32,7 @@ jobs:

mirror-bitbucket:
runs-on: ubuntu-latest
timeout-minutes: 15
if: vars.BITBUCKET_MIRROR_ENABLED == 'true'
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
Expand All @@ -49,6 +51,7 @@ jobs:

mirror-codeberg:
runs-on: ubuntu-latest
timeout-minutes: 15
if: vars.CODEBERG_MIRROR_ENABLED == 'true'
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
Expand All @@ -67,6 +70,7 @@ jobs:

mirror-sourcehut:
runs-on: ubuntu-latest
timeout-minutes: 15
if: vars.SOURCEHUT_MIRROR_ENABLED == 'true'
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
Expand All @@ -85,6 +89,7 @@ jobs:

mirror-disroot:
runs-on: ubuntu-latest
timeout-minutes: 15
if: vars.DISROOT_MIRROR_ENABLED == 'true'
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
Expand All @@ -103,6 +108,7 @@ jobs:

mirror-gitea:
runs-on: ubuntu-latest
timeout-minutes: 15
if: vars.GITEA_MIRROR_ENABLED == 'true'
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
Expand All @@ -121,6 +127,7 @@ jobs:

mirror-radicle:
runs-on: ubuntu-latest
timeout-minutes: 15
if: vars.RADICLE_MIRROR_ENABLED == 'true'
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
Expand Down
4 changes: 4 additions & 0 deletions .github/workflows/rust-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@ jobs:
check:
name: Cargo check + clippy + fmt
runs-on: ubuntu-latest
timeout-minutes: 15
if: hashFiles('Cargo.toml') != ''

steps:
Expand All @@ -44,6 +45,7 @@ jobs:
test:
name: Cargo test
runs-on: ubuntu-latest
timeout-minutes: 15
needs: check
if: hashFiles('Cargo.toml') != ''

Expand Down Expand Up @@ -71,6 +73,7 @@ jobs:
status-gate:
name: Status gate
runs-on: ubuntu-latest
timeout-minutes: 15
needs: check
if: hashFiles('Cargo.toml') != ''

Expand All @@ -90,6 +93,7 @@ jobs:
proofs:
name: Coq proofs
runs-on: ubuntu-latest
timeout-minutes: 15
needs: check

steps:
Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/scorecard-enforcer.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@ permissions:
jobs:
scorecard:
runs-on: ubuntu-latest
timeout-minutes: 15
permissions:
security-events: write
id-token: write # For OIDC
Expand Down Expand Up @@ -61,6 +62,7 @@ jobs:
# Check specific high-priority items
check-critical:
runs-on: ubuntu-latest
timeout-minutes: 15
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2

Expand Down
1 change: 1 addition & 0 deletions .github/workflows/scorecard.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@ permissions:
jobs:
analysis:
runs-on: ubuntu-latest
timeout-minutes: 15
permissions:
security-events: write
id-token: write
Expand Down
3 changes: 3 additions & 0 deletions .github/workflows/secret-scanner.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@ permissions:
jobs:
trufflehog:
runs-on: ubuntu-latest
timeout-minutes: 15
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
with:
Expand All @@ -33,6 +34,7 @@ jobs:

gitleaks:
runs-on: ubuntu-latest
timeout-minutes: 15
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
with:
Expand All @@ -46,6 +48,7 @@ jobs:
# Rust-specific: Check for hardcoded crypto values
rust-secrets:
runs-on: ubuntu-latest
timeout-minutes: 15
if: hashFiles('**/Cargo.toml') != ''
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
Expand Down
3 changes: 3 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
# SPDX-License-Identifier: PMPL-1.0-or-later
# RSR-compliant .gitignore

# Claude Code agent worktrees
.claude/

# OS & Editor
.DS_Store
Thumbs.db
Expand Down
126 changes: 0 additions & 126 deletions .machine_readable/ADJUST.contractile

This file was deleted.

Loading