ephapax/0-AI-MANIFEST.a2ml at main · hyperpolymath/ephapax · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
# STOP - CRITICAL READING REQUIRED

**THIS FILE MUST BE READ FIRST BY ALL AI AGENTS**

## WHAT IS THIS?

This is the AI manifest for **ephapax**. It declares:
- Canonical file locations (where things MUST be, and nowhere else)
- Critical invariants (rules that must NEVER be violated)
- Repository structure and organization

## CANONICAL LOCATIONS (UNIVERSAL RULE)

### Machine-Readable Metadata: `.machine_readable/6a2/` ONLY

These 7 A2ML files MUST exist in `.machine_readable/6a2/` directory ONLY:
1. **STATE.a2ml** - Project state, progress, blockers
2. **META.a2ml** - Architecture decisions, governance
3. **ECOSYSTEM.a2ml** - Position in ecosystem, relationships
4. **AGENTIC.a2ml** - AI agent interaction patterns
5. **NEUROSYM.a2ml** - Neurosymbolic integration config
6. **PLAYBOOK.a2ml** - Operational runbook
7. **ANCHOR.a2ml** - Canonical authority + project recalibration trigger (SSG / cartridge / parent-relationship metadata; template from `hyperpolymath/standards`)

## CORE INVARIANTS

1. **Formal Proof Integrity** — Coq proofs are layered per the four-layer redesign (`formal/PRESERVATION-DESIGN.md`). The legacy `preservation` in `Semantics.v` is provably FALSE per `Counterexample.v` (5 Qed lemmas) and remains `Admitted`. The L1 preservation chain (`Semantics_L1.v`) is in flight; explicit `Admitted` / `admit.` / `Axiom` sites are enumerated by `file:line` in `docs/proof-debt.adoc` per the standards#203 trusted-base reduction policy. Idris2 source has no `believe_me` / `assert_total` / `sorry`. ANY new escape hatch must be enumerated in `docs/proof-debt.adoc` before the trusted-base CI check will pass.
2. **Dyadic Separation** - The boundary between affine and linear types must be strictly enforced.
3. **SPDX Headers** - All source files MUST carry `SPDX-License-Identifier: MPL-2.0`.
// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
4. **Author Attribution** - Always "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>".

## REPOSITORY STRUCTURE

```
ephapax/
├── 0-AI-MANIFEST.a2ml         # THIS FILE (start here)
├── README.adoc                # Project overview
├── src/                       # Rust implementation
├── formal/                    # Coq formalization
├── src/formal/                # Idris2 formalization
├── .machine_readable/
│   ├── 6a2/                   # A2ML files (6 files)
│   └── contractiles/          # MUST, TRUST, DUST, ADJUST, BUST, INTEND
└── .bot_directives/            # Bot instructions
```

## LIFECYCLE HOOKS

### on-enter (Session Start)

1. Read and acknowledge this manifest.
2. Read `.machine_readable/6a2/STATE.a2ml` for current status and v2 phase.
3. State understanding of the **Proof Integrity** invariant.

### on-exit (Session End)

1. Update `.machine_readable/6a2/STATE.a2ml` (v2 format).
2. Run `just golden` to ensure no proof regressions.

## ATTESTATION PROOF

After reading this file, demonstrate understanding by stating:

**"I have read the AI manifest. I understand the Proof Integrity invariant and that A2ML files are located in `.machine_readable/6a2/` ONLY."**

## META

- **Format Version:** 1.0.0
- **Last Updated:** 2026-04-23
- **Maintained By:** Jonathan D.A. Jewell (hyperpolymath)
- **License:** PMPL-1.0-or-later