Cadastra

Canonical register and survey of the hyperpolymath estate: houses the estate-migration-toolkit and its triage reports.

Table of Contents

• What this is
• Quick start
• What you get
• Repository map
• Where to go next
• Licence

What this is

Cadastra is the estate’s observer: it scans the repos under the hyperpolymath and metadatastician GitHub orgs (plus local checkouts), classifies each one (CLEAN / MIGRATE / KILL / DONE / FORK), flags anti-patterns (banned languages, missing Hexadeca FFI layering, Deno-not-Bun, etc.), and writes the result to docs/status/estate-triage-report.csv — the canonical answer to "what is actually out there, and what state is it in", as observed by running the tool, not as claimed by status docs.

It was scaffolded from the Rhodium Standard Repository (RSR) template, so it also ships with CI/CD, machine-readable project metadata, an AI-agent gatekeeper protocol, a formally-typed ABI/FFI seam (Idris2 + Zig) used as the scaffold’s reference example, container and reproducible-build scaffolding, and governance infrastructure.

See .machine_readable/descriptiles/anchors/ANCHOR.a2ml and CLAUDE.md for the authoritative identity record (IS / IS-NOT boundaries).

Quick start

# From the repo root:
just                       # lists all phases (build, test, validate, audit, ...)

# Run the estate scan (writes estate-triage-report.csv):
./tools/estate-migration-toolkit/scripts/estate-scan.sh --github hyperpolymath metadatastician

# Check the repo still satisfies the RSR shape:
just validate               # structure + metadata checks

See tools/estate-migration-toolkit/README.md for the full toolkit (rollout, deprecation, and migration scripts that consume the triage report).

What you get

• Machine-readable metadata (.machine_readable/descriptiles/) — STATE, META, ECOSYSTEM, PLAYBOOK, AGENTIC, NEUROSYM, CLADE, and anchors/ANCHOR, in a2ml, so tools and agents can read the project’s state and boundaries.

• AI gatekeeper protocol — 0-AI-MANIFEST.a2ml is the universal entry point that tells an AI agent how to work in this repo before it touches anything.

• Typed ABI/FFI seam — src/interface/Abi/ (Idris2 type + layout proofs) over src/interface/ffi/ (Zig implementation), with generated C headers.

• CI/CD — GitHub Actions for quality, security (CodeQL, Scorecard, secret scanning), multi-forge mirroring, and RSR anti-pattern enforcement.

• Supply-chain & reproducibility — container layering (stapeln), Guix shells, SBOM, and signing hooks.

• Governance — GOVERNANCE.adoc, MAINTAINERS.adoc, .github/ community health files, and a release AUDIT.adoc gate.

Repository map

Path	What lives there
0-AI-MANIFEST.a2ml	Universal entry point for AI agents (read first).
.machine_readable/	Project metadata, policies, contractiles, AI configs.
src/interface/	Typed ABI (Idris2) + FFI (Zig) + generated headers.
docs/	Onboarding, status, governance, practice, decisions.
build/, Justfile	Task orchestration (just phases delegate to build/just/*.just).
.github/	Workflows + community health files.
tests/, benches/	Test suites and benchmarks.

Where to go next

• EXPLAINME.adoc — the engineering deep-dive: how the pieces actually work.

• AFFIRMATION.adoc — the dated, signed honesty snapshot of the repo’s true state.

• AUDIT.adoc — the release audit gate.

• .machine_readable/ai/PLACEHOLDERS.adoc — the full placeholder reference.

Licence

Code, configuration and scripts are Mozilla Public License 2.0 (MPL-2.0); prose documentation is CC-BY-SA-4.0. Both texts live in LICENSES/, and per-file SPDX-License-Identifier headers are authoritative. The GitHub-detected licence is MPL-2.0 (the root LICENSE). Long-term attribution uses Quantum-Safe Provenance — see the Quantum-Safe Provenance exhibit.