Draft0.0.0-alpha
greenways/buildspec
Greenways Build DSL Specification
A local HAL DSL for staged artifact construction and deterministic structural verification.
Specification registry
Discover executable standards.
Search the current catalogue by package, title, layer, or maturity. Every source link resolves to a repository, exact commit, and path.
hara-lang/hara-specs-registry@a40b7da53ed8 · 59 materialized · 0 pinned source
Draft0.0.0-alpha
greenways/supersonic-spec
Greenways Supersonic Audio Graph Specification
Canonical local data for declarative audio graphs and deterministic provider snapshots.
Draft0.0.0-alpha
hara/artifact-metaspec
HAL Artifact DSL Meta-Specification
Normative schema for specifications that describe local, deterministic artifact DSLs.
Draft0.0.0-alpha
Draft0.0.0-alpha
hara/host-runtime
HAL host capability boundary
Product-neutral contract between a Hara evaluator and capabilities supplied by its embedding host.
Draft0.0.0-alpha
hara/studio-runtime
HAL programmable Studio and node runtime
Normative kernel, session, filesystem, editor, canvas, audio graph, project, node, and wire contract.
Draft0.0.0-alpha
hara/design-language
Hara Studio design language
A Max/MSP-inspired, lossless code and patch interaction contract for Hara and domain DSLs.
Draft0.0.0-alpha
hara/theme
Hara theme design contract
One dark-only Hara visual system for public, documentation, specification, API, and Studio surfaces.
Draftalpha
hal/language
HAL core language specification
Portable contract for HAL data, evaluation, bindings, functions, definitions, namespaces, and modules.
Draftalpha
hal/metaspec
HAL language specification meta-spec
Defines the machine-readable shape, authority rules, and validation contract for a HAL language specification.
Draftalpha
hara/metaspec-metaspec
HAL Meta-Specification Meta-Specification
A self-describing contract for authoring, linting and verifying machine-readable Hara meta-specifications.
Draftalpha
hara/protocol
Hara built-in protocol specification
Portable contract for the built-in protocol descriptors, method namespaces, dispatch, and guest extension surface under std.protocol.*.
Draftalpha
hara/foundation-annex-metaspec
Hara Foundation annex specification meta-spec
Defines the machine-readable contract for the current std.foundation surface, native capability objects, aliases, and migration records.
Draftalpha
hara/foundation
Hara Foundation bootstrap namespace
Portable contract for std.foundation, its automatically referred public surface, and the boundary between HAL definitions, protocols, and native primitives.
Draftalpha
hara/foundation-annex
Hara Foundation library annex
Generated catalog of the current std.foundation root and child namespaces, native static objects, automatic aliases, and historical migrations.
Draftalpha
hara/foundation-metaspec
Hara Foundation specification meta-spec
Defines the machine-readable contract for the root std.foundation bootstrap namespace.
Draftalpha
hara/host-kernel
Hara host and kernel boundary
Runtime authority contract between a Hara evaluator and its embedding host: kernel and session identity, capability grants, provider dispatch, settlement, and the boundary map to the surrounding specification layers.
Draftalpha
hara/native-metaspec
Hara native boundary specification meta-spec
Defines the machine-readable contract for std.native and std.native.* runtime adapters.
Draftalpha
hara/native
Hara native runtime boundary
Portable guest-visible contract for std.native descriptors and their implementation-provided methods.
Draftalpha
hara/data-structures
Hara persistent data structures specification
Portable contract for the built-in persistent data structures: the structure catalog, op semantics, iteration-order guarantees, and the cross-runtime hashing stack (RAPID default; SYSTEM, MURMUR3, SIP alternatives).
Draftalpha
hara/protocol-metaspec
Hara protocol specification meta-spec
Defines the machine-readable contract for the built-in std.protocol.* namespace family.
Draft0.1.0-draft
hal/tool-vm-provider
Hara VM tooling provider boundary
Private runtime-provider contract beneath the public tool.vm, tool.vm.halc, and tool.vm.hbc namespaces. It exposes portable artifact operations through ordinary Hara values while keeping compiler, interpreter, Truffle, Graal, and machine state private.
Draft0-alpha
hal/hbc-backend-profiles
HBC backend execution profiles
No summary has been published for this specification.
Draft0-alpha
hal/hbc-machine
HBC synchronous machine semantics
Backend-neutral observable semantics for an authenticated and structurally validated HBC program. Implementations need not share internal frames, slots, dispatch code, or optimization tiers.
Draft0-alpha
hal/hbc0-wire
HBC0 portable executable-module wire format
Runtime-neutral, deterministic and authenticated encoding of a validated Hara bytecode program. This document is the codec contract; execution semantics are owned by :hal/hbc-machine.
Draft0-alpha
hal/hbx0-wire
HBX0 deterministic executable-package wire format
Authenticated, deterministic packaging of already-produced HBC0 modules. HBX0 is a container and never a compiler or VM instruction format.
Draft0-alpha
hara/std-typed-catalog
Portable identified schema catalogs
Immutable std.typed schema identity, exact dependency, recursive component, publication, and admission contract.
Draft0-alpha
hal/hbc-suspension
Process-local HBC suspension and resumption
No summary has been published for this specification.
Draftalpha
hal/bytecode-vm-suspension
Rust HAL bytecode VM suspension and resumability
Process-local suspension contract for the Rust bytecode VM: await, yield, async function results, cancellation, exception resumption, host Promise interop, and coexistence with the tree evaluator. This extends the staged VM implementation contract without making continuations portable artifacts.
Draftalpha
hal/bytecode-vm
Rust HAL staged bytecode VM (milestones 1-5: synchronous core through persistent artifacts)
Rust-only implementation contract for the experimental, feature-gated bytecode VM: execution model, instruction set, persistent program representation, validation, lexical slots, stackless function calls, exception handling, globals and namespaces, primitive dispatch, diagnostics, and conformance. It does not require Java or another HAL runtime to implement a stack VM, this opcode set, numeric slots, frames, handlers, or this compiler. Portable HAL language behavior remains owned by the shared language specifications and corpora.
Draftalpha
Draftalpha
tool/source-analysis
Static source analysis for Hara
Portable rules and generated-profile inputs for non-evaluating Hara source analysis, including canonical ^{:schema ...} metadata collection and checking.
Draft0.0.0-alpha
hara/harp
Hara archive package format
Normative deterministic .harp archive, generated package.edn index, integrity, extraction and read-only mounting contract.
Draft0.0.0-alpha
hara/cli-app-metaspec
Hara CLI application meta-specification
Normative schema for deterministic, data-defined command-line applications and route manifests.
Draft0.0.0-alpha
hara/cli
Hara command-line application
Normative public route, option, handler and outcome contract shared by the Rust and Truffle Hara runtimes.
Draft0.0.0-alpha
hara/extension
Hara extension declaration contract
Normative project.edn declarations for WASM and HTA providers, targets, assets, capabilities and remote artifact delivery.
Draft0.0.0-alpha
hara/tap
Hara federated tap protocol
Normative trust, authority, discovery and role contract for independently operated Hara taps.
Draft0.0.0-alpha
hara/platform-artifact
Hara immutable artifact protocol
Normative content-addressed object, manifest and build-attestation contract.
Draft0.0.0-alpha
hara/lsp-base
Hara Language Server Protocol base profile
Defines the portable editor-facing protocol, analysis facts, namespace resolution, capabilities, safety rules, and conformance obligations for a Hara language server.
Draft0.0.0-alpha
hara/package
Hara project and package contract
Normative single-manifest project, dependency resolution, deterministic package build, release and installation contract.
Draft0.0.0-alpha
hara/transport-resp
Hara RESP broker protocol
Defines the RESP2 wire encoding, connection lifecycle, versioned broker dialects, operations, replies, errors, limits, and client boundary for remote Hara sessions.
Draft0.0.0-alpha
hara/publishing
Hara self-publishing protocol
Normative GitHub identity, project.edn intake, isolated package build, protected finalization and accepted Git record contract.
Draft0.0.0-alpha
hara/identity
Hara tap identity protocol
Normative root trust, GitHub enrollment, publisher authorization and revocation contract.
Draft0.0.0-alpha
hara/mirroring
Hara tap mirroring protocol
Normative registry revision and immutable object replication, divergence and failover contract.
Draft0.0.0-alpha
hara/tap-protocol-metaspec
Hara tap protocol meta-specification
Normative document model for Git-authoritative Hara platform protocols.
Draft0.0.0-alpha
hara/transport-hta
Hara Transport Adaptor contract
Defines discovery, manifests, providers, wire values, lifecycle, host calls, errors, handles, and multi-target packaging for HTA extensions.
Draft0.0.0-alpha
hara/distribution
Hara verified distribution protocol
Normative exact release resolution, immutable download, cache and offline activation contract.
Draft0.0.0-alpha
hara/asset
Hara versioned asset collection protocol
Normative file, image, video and 3D collection, derivative and isolated delivery contract.
Draft0.0.0-alpha
xt/substrate-frame
XTalk substrate frame and JSON contract
Defines the actual NodeFrame constructors, predicates, JSON validation, and error normalization.
Draft0.0.0-alpha
xt/substrate-runtime-profiles
XTalk substrate generated-runtime coverage
Records the runtime targets actually exercised by the pinned xt.substrate tests and aggregates the source-backed conformance corpora.
Draft0.0.0-alpha
xt/substrate-base
XTalk substrate module contract
Defines the source baseline, namespace topology, public facade, and evidence rules for xt.substrate.
Draft0.0.0-alpha
xt/substrate-node
XTalk substrate node and space contract
Defines the mutable EventNode and NodeSpace records and their current construction, configuration, and state operations.
Draft0.0.0-alpha
xt/substrate-page-model
XTalk substrate page runtime
Defines the existing per-space page runtime, model pipelines, dependencies, refresh, throttling, triggers, remote dispatch, and raw callbacks.
Draft0.0.0-alpha
xt/substrate-stream-router
XTalk substrate pub/sub and router contract
Defines the actual trigger, connection, subscription, publish, routing, and control-frame behavior.
Draft0.0.0-alpha
xt/substrate-request
XTalk substrate request contract
Defines the actual handler entries, promise normalization, pending map, local and transport request paths, and response settlement.
Draft0.0.0-alpha
xt/substrate-service
XTalk substrate service registry
Defines the EventNode arbitrary-value service map and the built-in @/ utility handlers.
Draft0.0.0-alpha
xt/substrate-metaspec
XTalk substrate source-fidelity metaspec
Defines a source-backed document model for the existing xt.substrate implementation.
Draft0.0.0-alpha
xt/substrate-transport
XTalk substrate transport contract
Defines NodeTransport attachment and the existing memory, text, browser-worker, MessagePort, and WebSocket adapters.
Draft0.0.0-alpha
xt/substrate-view-proxy
XTalk substrate view and page-proxy contract
Defines the exact view IR, catalog grammar, state bindings, snapshots, subscriptions, action dispatch, demos, and page proxy.
No specifications match these filters. Try a broader search or select all layers.