trellis-core

Explain Trellis Core Phase 1 envelope encoding, signing, and export layout.

Updated Feb 25, 2026

Search Tags:#verification #envelope #wire-format #trellis-core #cbOR

Ready to run

npx skills add https://github.com/mikewolfd/formspec --skill trellis-core

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: trellis-core
Source: https://github.com/mikewolfd/formspec/tree/main/.claude-plugin/skills/trellis-core
Command: npx skills add https://github.com/mikewolfd/formspec --skill trellis-core

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This skill helps you understand the Trellis Core Phase 1 envelope and its wire-format primitives, enabling precise reasoning about encoded events, checkpoints, and export artifacts.

Core Features & Use Cases

Clarifies canonical encoding (dCBOR) for events and headers, and domain-separated hashes used across author, content, and event surfaces.
Explains the sequence / prior hash binding, checkpoint structure, and export ZIP layout to support offline verification and interoperability testing.
Supports cross-stack reasoning about Formspec RL/ WOS seams (custodyHook) and Phase 1 invariants, enabling focused audits and fixture-driven validation.

Quick Start

Use this skill to map Trellis Core Phase 1 wire formats to Rust crate implementations and fixture vectors.

Frequently Asked Questions about trellis-core

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How does canonical encoding work for Trellis Core wire formats?▼

Trellis Core wire formats use deterministic CBOR (dCBOR) for canonical encoding of events and headers, applying domain-separated hashes across author, content, and event surfaces for consistent verification.

How do I verify COSE_Sign1 signatures in a Trellis Core envelope?▼

You verify Trellis Core envelopes by auditing COSE_Sign1 signing structures and byte-level wiring details, linking test vectors and registry bindings to reproduce artifacts from TR-CORE fixtures.

What is the sequence and prior hash binding in Trellis Core chain construction?▼

Trellis Core chain construction links sequential events using prior hash bindings, establishing cryptographic continuity that supports idempotency and verification independence across checkpoints.

How to decode Trellis Core export ZIP layout for offline verification?▼

Decode Trellis Core export ZIP layouts by examining the checkpoint structure and event format within the archive, enabling offline verification and interoperability testing using fixture vectors.

Does Trellis Core Phase 1 support cross-stack interoperability with Formspec RL and WOS seams?▼

Trellis Core Phase 1 supports cross-stack reasoning through the custodyHook interface, bridging Formspec RL and WOS seams to maintain invariants during focused audits and fixture-driven validation.

Why do I need domain-separated hashes for Trellis Core event surfaces?▼

Domain-separated hashes in Trellis Core prevent hash collisions across author, content, and event surfaces, ensuring verification independence and accurate artifact reproduction from test vectors.