Repository navigation

Docs/vision relocation 2026 04 17 - #29

Merged

hyperpolymath merged 27 commits into

mainfrom

docs/vision-relocation-2026-04-17

Apr 19, 2026

Merged

Docs/vision relocation 2026 04 17#29
hyperpolymath merged 27 commits into
mainfrom
docs/vision-relocation-2026-04-17

Commits on Apr 4, 2026
- ci: deploy dogfood-gate and CRG test improvements (#23)
  
  hyperpolymath
  and
  claude
  authored
  8f45aa4
- chore: add k9iser.toml
  
  hyperpolymath
  and
  claude
  authored
  0166960
- ci: add rust-ci workflow, add CRG tests; update formal Semantics
  
  hyperpolymath
  and
  claude
  committed
  6ed6141
- chore: add K9 Kennel-level metadata guard
  
  hyperpolymath
  and
  claude
  committed
  884624c
- docs: add M2 estate audit report (2026-04-04)
  
  hyperpolymath
  and
  claude
  committed
  f6d9779
- feat(formal): prove subst_typing_gen (47→64 Qed, 2→1 Admitted)
  
  hyperpolymath
  and
  claude
  committed
  bea3ac8
- chore(formal): clean up preservation proof debug artifacts
  
  hyperpolymath
  and
  claude
  committed
  a1a93d1
Commits on Apr 8, 2026
- chore: add aqueduct.eph for lithoglyph-verisim bridge
  hyperpolymath
  committed
  d78cef2
Commits on Apr 9, 2026
- chore: automated sync of local changes
  hyperpolymath
  committed
  e1492ad
- build(deps): bump wasmtime from 36.0.6 to 36.0.7 in the cargo group across 1 directory (#25)
  dependabot[bot]
  authored
  0096117
Commits on Apr 11, 2026
- chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred
  
  hyperpolymath
  and
  claude
  committed
  3a96fa5
- chore(state): update STATE.a2ml — proofs fully closed (67 Qed, 0 Admitted)
  
  hyperpolymath
  and
  claude
  committed
  edabd85
- proof(formal): close typing_ctx_transfer — Qed; document preservation blocker
  
  hyperpolymath
  and
  claude
  committed
  501077c
Commits on Apr 12, 2026
- Add nextgen-typing pipeline links in ECOSYSTEM
  hyperpolymath
  committed
  6bc8a98
- chore(a2ml-migration): remove legacy .scm checkpoint files
  
  hyperpolymath
  and
  claude
  committed
  53a47a0
- fix(papers): resolve LaTeX compilation errors and overflow warnings
  
  hyperpolymath
  and
  claude
  committed
  4883e22
- feat(formal): 63 Qed / 1 Admitted — close T_Region_Active extension
  
  hyperpolymath
  and
  claude
  committed
  206b098
- docs(explainme): improve completeness per README-EXPLAINME-STANDARD
  
  hyperpolymath
  and
  claude
  committed
  bd488ad
- feat(formal): region proof tactics + CI workflow + 6a2 A2ML enrichment
  
  hyperpolymath
  and
  claude
  committed
  c618e59
Commits on Apr 17, 2026
- docs: add Ephapax design vision
  hyperpolymath
  committed
  bff6e87
- docs: normalize vision SPDX to MPL-2.0 baseline
  hyperpolymath
  committed
  5ece7ed
Commits on Apr 18, 2026
- chore(state): populate [dogfooding-status] with proven/bindings/ephapax consumer
  
  hyperpolymath
  and
  claude
  committed
  9862be8
Commits on Apr 19, 2026
- feat(ephapax/coq): scaffold region-escape-freedom for preservation
  
  hyperpolymath
  and
  claude
  committed
  9793160
- docs(ephapax/coq): update preservation admit design-note
  
  hyperpolymath
  and
  claude
  committed
  183b133
- docs(ephapax/coq): record lemma-unsoundness finding on preservation admit
  
  hyperpolymath
  and
  claude
  committed
  4dc72b8
- feat(ephapax/coq): Option B — stuck-on-leak + region_shrink_preserves_typing
  
  hyperpolymath
  and
  claude
  committed
  2cd1e82
- Merge branch 'main' into docs/vision-relocation-2026-04-17
  hyperpolymath
  authored
  612b85b

Commits

Commits on Apr 4, 2026

Commits on Apr 8, 2026

Commits on Apr 9, 2026

Commits on Apr 11, 2026

Commits on Apr 12, 2026

Commits on Apr 17, 2026

Commits on Apr 18, 2026

Commits on Apr 19, 2026