deed

The Deed programming language. Built for code that agents write and humans review.

Lists of tax lien certificate states and tax deed states.

Canon for the hyperpolymath estate: RSR repository rules, the deed / k9 / KYAML / I-JSON format specs, ADRs and owner rulings, and the reusable CI gates that enforce them.

Generates compliant desktop launcher scripts from DEED specs.

Full-featured repository designer for the RSR estate: composes spine × variant pack × features × profile into new repos and retrofits existing ones.

Coordination hub for the K9 (Self-Validating Components) contractile format: conformance, membership, and cross-repo drift enforcement — pins spec + governance from hyperpolymath/standards.

Canonical RSR (Rhodium Standard Repository) template — governance, CI/CD, machine-readable metadata, ABI/FFI seam and formal-verification scaffolding that hyperpolymath projects are instantiated from.

GitHub Action that validates .deed manifests against the normative DEED grammar. Formerly a2ml-validate-action.

DEED typed core — the Idris2-verified reference implementation of the .deed document format (formerly A2ML). Normative grammar: hyperpolymath/standards → deed/spec/DEED-GRAMMAR-SPEC.adoc

Haec — transformation language for honest, graded transformations (preserve/project/fuse/attenuate), as part of a Turing Complete language with (classical) tropes as first class..

kcq (Kubernetes Configuration Query): an experimental Kubernetes-aware YAML query and lint tool in AffineScript, targeting WebAssembly; intended as a yq alternative for Kubernetes manifests. Not yet functional: the sources do not compile on AffineScript 0.1.1.

Normative constraint set-points for the DEED/K9 ecosystem (Mustfile, Intentfile, Adjustfile, Bustfile, Dustfile)

The Deed website and playground.

Coordination hub for the .deed format: conformance fixtures, membership manifest, and cross-repo drift enforcement — pins spec + governance from hyperpolymath/standards.

Magistrate Title Services is an open-source platform modernizing real estate title, escrow, and closing through blockchain verification, AI-powered workflows, encrypted document management, secure payment verification, and compliance-focused automation.

Will (i/&) Trust ... fictional-system/dreamScaping