Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
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
13 changes: 4 additions & 9 deletions .github/CODEOWNERS
Original file line number Diff line number Diff line change
@@ -1,9 +1,4 @@
# Code Owners

# Default: All contributors with write access are code owners
* @metadatastician

# For specific paths, add explicit owners below
# Example:
# /src/* @team-lead
# /docs/* @docs-maintainer
# SPDX-License-Identifier: MPL-2.0
# Solo-maintained hyperpolymath repo: no owner lines by policy.
# See hyperpolymath/standards CODEOWNERS-POLICY.adoc (Rule 1).
# Sole-maintainer review is moot; SPDX headers carry attribution.
17 changes: 17 additions & 0 deletions 0-AI-MANIFEST.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -14,3 +14,20 @@
(scm-files-location ".machine_readable/ ONLY — never root")
(license "MPL-2.0")
(github-is-source-of-truth #t)))

<!-- BEGIN requires-initialisation -->

## PRIORITY ACTION — this repository is not fully initialised

1 substitution token(s) still have no value. **Read
`REQUIRES_INITIALISATION.md` in the repository root before doing anything
else here** — it lists every outstanding token, what it means, and which
files it belongs in.

Do not fabricate values for them, and do not delete the sections that
contain them to quiet a gate. They are unfilled because they need a
decision, not because they were overlooked. Resolve what you legitimately
can, leave the rest, and delete `REQUIRES_INITIALISATION.md` only when
Comment on lines 16 to +30

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Quality: Markdown/HTML appended after closed s-expression in a2ml manifest

0-AI-MANIFEST.a2ml is an s-expression manifest (the top-level form closes with ))) on line 16). The new block on lines 18-33 appends HTML comments and Markdown (<!-- ... -->, ## PRIORITY ACTION) outside any parenthesized form. Unlike the leading # comment lines, this content is neither valid s-expression syntax nor a recognized comment, so a strict a2ml/sexpr parser consuming this "AI Agent Entry Point" may error or silently drop the notice. Consider embedding the priority action inside a proper form (e.g. a (requires-initialisation ...) node) or as #-prefixed comment lines consistent with the file's existing comment style.

Was this helpful? React with 👍 / 👎

nothing outstanding remains.

<!-- END requires-initialisation -->
4 changes: 2 additions & 2 deletions ABI-FFI-README.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{{~ Aditionally delete this line and fill out the template below ~}}

# {{PROJECT}} ABI/FFI Documentation
# CANDY_CRASH ABI/FFI Documentation

## Overview

Expand Down Expand Up @@ -247,7 +247,7 @@ gcc -o example example.c -l{{project}} -L./zig-out/lib
### From Idris2

```idris
import {{PROJECT}}.ABI.Foreign
import CANDY_CRASH.ABI.Foreign

main : IO ()
main = do
Expand Down
47 changes: 0 additions & 47 deletions ARCHITECTURE.md

This file was deleted.

54 changes: 54 additions & 0 deletions REQUIRES_INITIALISATION.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,54 @@
<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->

# REQUIRES INITIALISATION

**This repository is not finished being set up.** 1 substitution token(s) across 1 file(s) still have no value.

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Bug: REQUIRES_INITIALISATION undercounts unfilled tokens (misses {{project}})

REQUIRES_INITIALISATION.md and the new 0-AI-MANIFEST.a2ml priority action both state only "1 substitution token(s) across 1 file(s)" remain (just {{LICENSE}} in ABI-FFI-README.md). In reality the lowercase {{project}} token is still unfilled in ffi/zig/build.zig (5 occurrences), ffi/zig/test/integration_test.zig (~20 occurrences, including live extern fn declarations and call sites that will not compile), and ABI-FFI-README.md (~24 occurrences). {{project}} is mechanically derivable (this PR already filled the uppercase {{PROJECT}} to CANDY_CRASH), so per the PR's own rules it should have been filled — and if left, it must be surfaced. The accounting is therefore both wrong and misleading: an agent trusting these files will believe setup is nearly complete. Fix by substituting {{project}} with the derived lowercase name (e.g. candy_crash), or at minimum list {{project}} and all three files in REQUIRES_INITIALISATION.md and correct the counts.

Was this helpful? React with 👍 / 👎


## Why this is not already done

This repo was created from `hyperpolymath/rsr-template-repo`. The mint
(`just repo-init`) fills every token that has a single mechanical answer —
owner, repo, author, dates, licence, branch — and it has done so here.

The tokens below are the ones it *deliberately cannot* answer. They need a
decision or a fact that exists only in your head: what this project is for,
what command builds it, which port the service listens on, whether a PGP key
is held at all. The template's own token vocabulary says as much — you cannot
sensibly answer "required invariants" in a thirty-second bootstrap.

They were left **visibly unfilled on purpose**. The alternatives were both
worse: inventing plausible values would put confident falsehoods into a
security policy and an architecture document, and silently deleting the
sections would hide the fact that a decision is owed. A visible gap is
honest; a fabricated answer is not.

## Do not delete this file until every item below is resolved

This file is the only marker that the work is outstanding. Deleting it early
does not finish the setup, it just conceals it — and the next person or agent
to arrive will reasonably assume the repo is complete.

- **If you are a person:** delete this file yourself once the last item is done.
- **If you are an agent:** resolve what you legitimately can, leave the rest,
and delete this file only when no token below remains anywhere in the tree.
Do not delete it to make a gate go green.

Re-running the estate top-up tool will remove this file automatically once
nothing is outstanding, so the safest way to finish is to fix the tokens and
let the check confirm it.

## What is needed, and where it goes

### `{{LICENSE}}`

SPDX identifier for this repo's licence.

Appears in:

- `ABI-FFI-README.md`

---

Generated by the estate top-up pass. Rationale and the governing rulings are
in `hyperpolymath/standards`; the token vocabulary is
`.machine_readable/ai/PLACEHOLDERS.adoc` in `rsr-template-repo`.
2 changes: 1 addition & 1 deletion ffi/zig/build.zig
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {{PROJECT}} FFI Build Configuration
// CANDY_CRASH FFI Build Configuration
// SPDX-License-Identifier: MPL-2.0

const std = @import("std");
Expand Down
2 changes: 1 addition & 1 deletion ffi/zig/test/integration_test.zig
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {{PROJECT}} Integration Tests
// CANDY_CRASH Integration Tests
// SPDX-License-Identifier: MPL-2.0
//
// These tests verify that the Zig FFI correctly implements the Idris2 ABI
Expand Down
Loading