From e491e630b58e8e692a5946ef566a061d4cd3648a Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sun, 20 Sep 2026 16:34:09 +0000 Subject: [PATCH 1/2] chore: drop empty holdings; coprocessor backend catalogue; pons status MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Remove archetypes/, www/dns, arrival-pack/, coaptation/ (H1 H3 H4). Name FPGA/QPU/TPU/NPU/GPU/… contracts with empty earned sets — no fake lowering. Record that pons-asinorum M0–M2 exists; README is stale; T0 does not parse Idris/Zig. Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com> --- .../arrival-pack/0.1-AI-MANIFEST.deed | 6 -- .machine_readable/arrival-pack/README.adoc | 8 --- .../coaptation/0.1-AI-MANIFEST.deed | 6 -- .machine_readable/coaptation/README.adoc | 8 --- .../coaptation/core/0.1-AI-MANIFEST.deed | 6 -- .machine_readable/coaptation/core/README.adoc | 8 --- .../coaptation/receipts/0.1-AI-MANIFEST.deed | 6 -- .../coaptation/receipts/README.adoc | 8 --- archetypes/0.1-AI-MANIFEST.deed | 6 -- archetypes/README.adoc | 8 --- docs/status/ROADMAP.adoc | 6 +- src/backends/BACKEND-CONTRACT.adoc | 7 +++ src/backends/README.adoc | 6 +- src/backends/coprocessor/CONTRACT.adoc | 59 +++++++++++++++++++ src/backends/coprocessor/README.adoc | 5 ++ www/dns/0.1-AI-MANIFEST.deed | 6 -- www/dns/README.adoc | 8 --- 17 files changed, 77 insertions(+), 90 deletions(-) delete mode 100644 .machine_readable/arrival-pack/0.1-AI-MANIFEST.deed delete mode 100644 .machine_readable/arrival-pack/README.adoc delete mode 100644 .machine_readable/coaptation/0.1-AI-MANIFEST.deed delete mode 100644 .machine_readable/coaptation/README.adoc delete mode 100644 .machine_readable/coaptation/core/0.1-AI-MANIFEST.deed delete mode 100644 .machine_readable/coaptation/core/README.adoc delete mode 100644 .machine_readable/coaptation/receipts/0.1-AI-MANIFEST.deed delete mode 100644 .machine_readable/coaptation/receipts/README.adoc delete mode 100644 archetypes/0.1-AI-MANIFEST.deed delete mode 100644 archetypes/README.adoc create mode 100644 src/backends/coprocessor/CONTRACT.adoc create mode 100644 src/backends/coprocessor/README.adoc delete mode 100644 www/dns/0.1-AI-MANIFEST.deed delete mode 100644 www/dns/README.adoc diff --git a/.machine_readable/arrival-pack/0.1-AI-MANIFEST.deed b/.machine_readable/arrival-pack/0.1-AI-MANIFEST.deed deleted file mode 100644 index a71e6b3..0000000 --- a/.machine_readable/arrival-pack/0.1-AI-MANIFEST.deed +++ /dev/null @@ -1,6 +0,0 @@ -# SPDX-License-Identifier: MPL-2.0 -# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -[metadata] -version = "0.1.0" -layer = ".machine_readable/arrival-pack" -note = "Holding 0.1-AI-MANIFEST — gatekeeper prose, not DEED ABNF chora." diff --git a/.machine_readable/arrival-pack/README.adoc b/.machine_readable/arrival-pack/README.adoc deleted file mode 100644 index 05095c8..0000000 --- a/.machine_readable/arrival-pack/README.adoc +++ /dev/null @@ -1,8 +0,0 @@ -// SPDX-License-Identifier: CC-BY-SA-4.0 -// Copyright (c) Jonathan D.A. Jewell -= arrival-pack - -Holding directory required by `rsr-template-repo`. -Not yet populated with panoply-specific content. - -TODO: see `docs/status/ROADMAP.adoc` (Phase 1 structural placeholders). diff --git a/.machine_readable/coaptation/0.1-AI-MANIFEST.deed b/.machine_readable/coaptation/0.1-AI-MANIFEST.deed deleted file mode 100644 index daf7a41..0000000 --- a/.machine_readable/coaptation/0.1-AI-MANIFEST.deed +++ /dev/null @@ -1,6 +0,0 @@ -# SPDX-License-Identifier: MPL-2.0 -# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -[metadata] -version = "0.1.0" -layer = ".machine_readable/coaptation" -note = "Holding 0.1-AI-MANIFEST — gatekeeper prose, not DEED ABNF chora." diff --git a/.machine_readable/coaptation/README.adoc b/.machine_readable/coaptation/README.adoc deleted file mode 100644 index 66cd2b8..0000000 --- a/.machine_readable/coaptation/README.adoc +++ /dev/null @@ -1,8 +0,0 @@ -// SPDX-License-Identifier: CC-BY-SA-4.0 -// Copyright (c) Jonathan D.A. Jewell -= coaptation - -Holding directory required by `rsr-template-repo`. -Not yet populated with panoply-specific content. - -TODO: see `docs/status/ROADMAP.adoc` (Phase 1 structural placeholders). diff --git a/.machine_readable/coaptation/core/0.1-AI-MANIFEST.deed b/.machine_readable/coaptation/core/0.1-AI-MANIFEST.deed deleted file mode 100644 index 9d48b0f..0000000 --- a/.machine_readable/coaptation/core/0.1-AI-MANIFEST.deed +++ /dev/null @@ -1,6 +0,0 @@ -# SPDX-License-Identifier: MPL-2.0 -# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -[metadata] -version = "0.1.0" -layer = ".machine_readable/coaptation/core" -note = "Holding 0.1-AI-MANIFEST — gatekeeper prose, not DEED ABNF chora." diff --git a/.machine_readable/coaptation/core/README.adoc b/.machine_readable/coaptation/core/README.adoc deleted file mode 100644 index ff5339d..0000000 --- a/.machine_readable/coaptation/core/README.adoc +++ /dev/null @@ -1,8 +0,0 @@ -// SPDX-License-Identifier: CC-BY-SA-4.0 -// Copyright (c) Jonathan D.A. Jewell -= core - -Holding directory required by `rsr-template-repo`. -Not yet populated with panoply-specific content. - -TODO: see `docs/status/ROADMAP.adoc` (Phase 1 structural placeholders). diff --git a/.machine_readable/coaptation/receipts/0.1-AI-MANIFEST.deed b/.machine_readable/coaptation/receipts/0.1-AI-MANIFEST.deed deleted file mode 100644 index c9747e8..0000000 --- a/.machine_readable/coaptation/receipts/0.1-AI-MANIFEST.deed +++ /dev/null @@ -1,6 +0,0 @@ -# SPDX-License-Identifier: MPL-2.0 -# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -[metadata] -version = "0.1.0" -layer = ".machine_readable/coaptation/receipts" -note = "Holding 0.1-AI-MANIFEST — gatekeeper prose, not DEED ABNF chora." diff --git a/.machine_readable/coaptation/receipts/README.adoc b/.machine_readable/coaptation/receipts/README.adoc deleted file mode 100644 index 68afa66..0000000 --- a/.machine_readable/coaptation/receipts/README.adoc +++ /dev/null @@ -1,8 +0,0 @@ -// SPDX-License-Identifier: CC-BY-SA-4.0 -// Copyright (c) Jonathan D.A. Jewell -= receipts - -Holding directory required by `rsr-template-repo`. -Not yet populated with panoply-specific content. - -TODO: see `docs/status/ROADMAP.adoc` (Phase 1 structural placeholders). diff --git a/archetypes/0.1-AI-MANIFEST.deed b/archetypes/0.1-AI-MANIFEST.deed deleted file mode 100644 index 1868460..0000000 --- a/archetypes/0.1-AI-MANIFEST.deed +++ /dev/null @@ -1,6 +0,0 @@ -# SPDX-License-Identifier: MPL-2.0 -# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -[metadata] -version = "0.1.0" -layer = "archetypes" -note = "Holding 0.1-AI-MANIFEST — gatekeeper prose, not DEED ABNF chora." diff --git a/archetypes/README.adoc b/archetypes/README.adoc deleted file mode 100644 index 3f97d61..0000000 --- a/archetypes/README.adoc +++ /dev/null @@ -1,8 +0,0 @@ -// SPDX-License-Identifier: CC-BY-SA-4.0 -// Copyright (c) Jonathan D.A. Jewell -= archetypes - -Holding directory required by `rsr-template-repo`. -Not yet populated with panoply-specific content. - -TODO: see `docs/status/ROADMAP.adoc` (Phase 1 structural placeholders). diff --git a/docs/status/ROADMAP.adoc b/docs/status/ROADMAP.adoc index 633a060..4eb5265 100644 --- a/docs/status/ROADMAP.adoc +++ b/docs/status/ROADMAP.adoc @@ -32,10 +32,10 @@ Effort: S <1d · M 2–5d · L >1w |=== | ID | Item | Rationale | Class | Effort | Deps -| H1 | Populate or drop `arrival-pack/` `coaptation/` | empty holdings | 🟡 | S | owner +| H1 | Drop empty `arrival-pack/` `coaptation/` | **done** 2026-09-20 | 🟡 | S | — | H2 | Live deeds under `descriptiles/` only | **done** 2026-09-20 | 🟡 | S | — -| H3 | `www/dns` keep or delete | not a site | 🟡 | S | owner -| H4 | Remove `archetypes/` if not a mint | template leftover | 🟢 | S | owner +| H3 | Drop `www/dns` (keep `www/.well-known`) | **done** 2026-09-20 | 🟡 | S | — +| H4 | Remove `archetypes/` (not a mint) | **done** 2026-09-20 | 🟢 | S | — | H5 | Relocate `.gitlab-ci.yml` → `ci/` | GitLab setting | 🟡 | S | GitLab | H6 | Relocate `.pre-commit-config.yaml` → `ci/` | invocation | 🟡 | S | hooks | H7 | Gatekeeper `0.x-AI-MANIFEST.deed` stay kv or convert | G1.1 remainder | 🟡 | M | ABNF diff --git a/src/backends/BACKEND-CONTRACT.adoc b/src/backends/BACKEND-CONTRACT.adoc index 7d7256b..b2f9af2 100644 --- a/src/backends/BACKEND-CONTRACT.adoc +++ b/src/backends/BACKEND-CONTRACT.adoc @@ -34,4 +34,11 @@ Path: `src/backends/zig-ffi/CONTRACT.adoc` Same program, two backends ⇒ two manifests. `scripts/emit-manifest.sh` takes the backend id as argv. Both current backends refuse Core envelopes. +== Coprocessor catalogue (`src/backends/coprocessor/CONTRACT.adoc`) + +Named ids (`cpu-x86-64`, `gpu-cuda`, `gpu-rocm`, `gpu-oneapi`, `tpu`, +`npu`, `vpu`, `fpga`, `qpu`, `crypto-pu`, `math-pu`, `physics-pu`, +`io-pu`, `audio-pu`, `video-pu`) all **uphold nothing**. They are +inventory for a future lowering, not Intel/NVIDIA/AMD product support. + Do not close #9 until a lowering exists that preserves a named guarantee. diff --git a/src/backends/README.adoc b/src/backends/README.adoc index 8d72274..2aee9c4 100644 --- a/src/backends/README.adoc +++ b/src/backends/README.adoc @@ -10,9 +10,9 @@ Nothing survives lowering for free. [IMPORTANT] ==== -*Contracts written for `none` and `zig-ffi`.* See -xref:BACKEND-CONTRACT.adoc[BACKEND-CONTRACT.adoc]. No lowering that preserves -a Core guarantee. Issue #9 stays open. +*Contracts written for `none`, `zig-ffi`, and a coprocessor **catalogue** +(FPGA/QPU/TPU/NPU/GPU/…).* All coprocessor ids refuse. No lowering that +preserves a Core guarantee. Issue #9 stays open. ==== == What a backend contract states diff --git a/src/backends/coprocessor/CONTRACT.adoc b/src/backends/coprocessor/CONTRACT.adoc new file mode 100644 index 0000000..c39c99c --- /dev/null +++ b/src/backends/coprocessor/CONTRACT.adoc @@ -0,0 +1,59 @@ +// SPDX-License-Identifier: CC-BY-SA-4.0 +// Copyright (c) Jonathan D.A. Jewell += Coprocessor backends (catalogue, not a lowering) +:revdate: 2026-09-20 + +These ids are **named contracts with empty earned sets**. There is no +codegen, no bitstream, no CUDA/ROCm kernel, no QASM. A Core program +lowered here (when lowering exists) **refuses** until a named guarantee +has a check/proof/runtime means. + +Do **not** treat this file as “full support” for Intel / NVIDIA / AMD / +Xeon / Ryzen. Host *detection* is a later tool surface; it does not +mint envelopes. + +== Classes (ids) + +[cols="1,2,3",options="header"] +|=== +| Id | Class | Upholds today + +| `cpu-x86-64` | High-end x86-64 (Core i9 / Ryzen 9 / Xeon / Ryzen Pro class) | nothing +| `gpu-cuda` | NVIDIA CUDA-class | nothing +| `gpu-rocm` | AMD ROCm-class | nothing +| `gpu-oneapi` | Intel oneAPI/Level Zero-class | nothing +| `tpu` | Tensor / systolic | nothing +| `npu` | On-die NPU | nothing +| `vpu` | Vector (AVX-512 / SVE-class) | nothing +| `fpga` | FPGA bitstream / HLS | nothing +| `qpu` | Quantum (QASM-class) | nothing +| `crypto-pu` | AES-NI / SHA-NI / dedicated crypto | nothing +| `math-pu` | Decimal / big-float / CAS offload | nothing +| `physics-pu` | Physics/simulation offload | nothing +| `io-pu` | DPDK / SPDK / SmartNIC-class | nothing +| `audio-pu` | DSP / audio pipeline | nothing +| `video-pu` | Encode/decode / media | nothing +|=== + +== Means (all absent) + +* Check: none (no Core checker, no ISA verifier). +* Proof: none (no preservation theorem for any class). +* Runtime discipline: none (no driver contract, no device fence). + +== Cannot uphold (all classes) + +Total-correctness, Core typing, memory-safety of Idris values, timing +side-channel freedom, quantum correctness, FPGA timing closure, +cross-vendor portability. + +== Emitter + +`scripts/emit-manifest.sh ` must refuse (`:earned` empty) for every +id above until that class has a lowering. Default remains `none`. + +== Gate to leave this catalogue + +A class leaves “nothing” only when: (1) Core checker exists, (2) a +lowering preserves a *named* guarantee, (3) tests fire on a refused +program and pass on an accepted one. Until then issue **#9 stays open**. diff --git a/src/backends/coprocessor/README.adoc b/src/backends/coprocessor/README.adoc new file mode 100644 index 0000000..3dda9dc --- /dev/null +++ b/src/backends/coprocessor/README.adoc @@ -0,0 +1,5 @@ +// SPDX-License-Identifier: CC-BY-SA-4.0 +// Copyright (c) Jonathan D.A. Jewell += coprocessor + +Catalogue of future lowering ids. See `CONTRACT.adoc`. No codegen. diff --git a/www/dns/0.1-AI-MANIFEST.deed b/www/dns/0.1-AI-MANIFEST.deed deleted file mode 100644 index ea2ba0e..0000000 --- a/www/dns/0.1-AI-MANIFEST.deed +++ /dev/null @@ -1,6 +0,0 @@ -# SPDX-License-Identifier: MPL-2.0 -# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -[metadata] -version = "0.1.0" -layer = "www/dns" -note = "Holding 0.1-AI-MANIFEST — gatekeeper prose, not DEED ABNF chora." diff --git a/www/dns/README.adoc b/www/dns/README.adoc deleted file mode 100644 index b137fba..0000000 --- a/www/dns/README.adoc +++ /dev/null @@ -1,8 +0,0 @@ -// SPDX-License-Identifier: CC-BY-SA-4.0 -// Copyright (c) Jonathan D.A. Jewell -= dns - -Holding directory required by `rsr-template-repo`. -Not yet populated with panoply-specific content. - -TODO: see `docs/status/ROADMAP.adoc` (Phase 1 structural placeholders). From e8cbedcab2354277c2c29ea5e6f38a15b0fabf6b Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sun, 20 Sep 2026 16:34:48 +0000 Subject: [PATCH 2/2] docs: pons-asinorum status vs panoply languages Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com> --- docs/reports/PONS-ASINORUM.adoc | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 docs/reports/PONS-ASINORUM.adoc diff --git a/docs/reports/PONS-ASINORUM.adoc b/docs/reports/PONS-ASINORUM.adoc new file mode 100644 index 0000000..c3b54d1 --- /dev/null +++ b/docs/reports/PONS-ASINORUM.adoc @@ -0,0 +1,31 @@ +// SPDX-License-Identifier: CC-BY-SA-4.0 +// Copyright (c) Jonathan D.A. Jewell += pons-asinorum vs panoply (2026-09-20) + +== What happened + +GitHub `hyperpolymath/pons-asinorum` **does** have an implementation +(commit `ed2a3c46` M0+M1+M2: workspace, engine skeleton, T0 catalogue + +falsifier). `crates/pons-cli` builds; `pons scan` runs. + +The **root README.adoc still says** “Planning complete; implementation +not started.” That sentence is **stale**. That is why Phase 10 treated +it as plan-only (#101). + +== What it actually scans + +T0 rules + tree-sitter for **Python, JavaScript/JSX, TypeScript/TSX, +Rust only**. Panoply application code is Idris2 + Zig + Bash. + +Ran `pons scan` (release binary, 2026-09-20) on this tree: **zero +findings**, exit 0 — expected, not a clean bill of health for Idris/Zig. + +== What is not done + +* Idris2 / Zig / Bash grammars +* Dataflow / typestate (T1/T2) beyond the skeleton +* README status line + +Issue **#101** remains open until either (a) pons covers this estate’s +languages, or (b) we document N/A and close as “scanner not applicable +yet”. Prefer (a). Do not close charter issues on an empty scan.