Skip to content

chore: drop empty holdings; coprocessor catalogue; pons status - #104

Merged
hyperpolymath merged 2 commits into
mainfrom
chore/holdings-coprocessor
Sep 20, 2026
Merged

hyperpolymath merged 2 commits into
mainfrom
chore/holdings-coprocessor

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

H1/H3/H4: remove empty template dirs.

Coprocessor backend ids (FPGA, QPU, TPU, NPU, GPU CUDA/ROCm/oneAPI, x86-64 high-end, …) as refusing contracts — no fake codegen. #9 stays open.

Pons: implementation exists (M0–M2); README stale; scan of panoply empty because T0 is Python/JS/TS/Rust only.

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>
@coderabbitai

coderabbitai Bot commented Sep 20, 2026 •

Copy link
Copy Markdown
Contributor

Review Change StackReview Change Stack

✨ Finishing Touches 💡 1
🛠️ Fix failing CI checks 💡
  • Commit to this branch
  • Create a new PR

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>
@hyperpolymath
hyperpolymath merged commit c931c4c into main Sep 20, 2026
32 of 36 checks passed
@hyperpolymath
hyperpolymath deleted the chore/holdings-coprocessor branch September 20, 2026 16:35
@sonarqubecloud

Copy link
Copy Markdown

hyperpolymath added a commit that referenced this pull request Sep 20, 2026
…om stale phase11-final) (#106)

## Summary

Salvage of the **unique** content from the stale `chore/phase11-final`
branch (PR #105, being closed as superseded).

The substance of `chore/phase11-final` (Phase 11 docs, CRG/TRG
close-out, `AFFIRMATION.adoc`, `PHASE-11-FINAL.adoc`,
`CRG-AUDIT-2026-09-20.adoc`) **already landed in `main` via #104** —
byte-identical on both sides. The old branch also predates #104's
holdings rulings (H1–H4), so merging it as-is would have **resurrected**
`archetypes/`, `www/dns/`, `.machine_readable/coaptation/`,
`.machine_readable/arrival-pack/` and **reverted** the coprocessor
catalogue and `docs/reports/PONS-ASINORUM.adoc`.

This PR keeps only what the old branch had that `main` does not: the
template-`TODO` cleanups from its last commit (`chore: replace template
TODOs; holdings not product stubs`).

## Changes

- `Justfile` — `deps-audit`: drop the template TODO block; keep the
trivy-if-present audit.
- `src/api/README.adoc` — honest description (Zig fail-closed adapter,
ROADMAP H8) instead of "Holding directory … TODO".
- `.machine_readable/descriptiles/LANGUAGES.deed` — `:core "TBD"` →
`:core "not-implemented"`.
- `ci/`, `tests/e2e/`, `tests/shape/`,
`.machine_readable/contractiles/{adjust,intend,must,trust}/README.adoc`
— `TODO: see ROADMAP (Phase 1 structural placeholders)` → honest holding
note.

## Testing

Docs/config-only; no code paths touched. `just spec-tests` gates
unaffected.

Signed-off-by: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant