chore: release v0.1.0

[h4x0r]

🤖 New release

• peira-core: 0.1.0
• peira-lens: 0.1.0
• peira-court: 0.1.0
• peira-index: 0.1.0

Changelog

peira-core

0.1.0 - 2026-08-16

Added

• (core) GREEN — an instrument is a node, and measured_by reaches it
• (lens) GREEN — enforce the falsifier, promoting PREMORTEM
• vault loader and the deterministic lint pack
• (lens) the catalogue as data, and the eight enforced gates
• (core) edges, evidence grades, pramana ceilings, grounded extension
• (core) GREEN — refuse hand-written status and confidence
• (core) GREEN — parse a claim document into a typed Node

Documentation

• the discipline peira mechanises, so the tool stands alone
• skills, README, ADRs, CI — and a false MSRV caught by its own gate

Fixed

• rounds 4 and 5 — a rule lost at a join, four more times
• (core,court,lens) authored text may not impersonate structure
• (core,court,cli,lens) a retraction is an assertion, not a fact
• (core,lens,cli) a withdrawn claim does not argue, and status tells the truth
• (core) drop a stray #[test] left by the previous commit

Other

• [breaking] rename the suite to peira

peira-lens

0.1.0 - 2026-08-16

Added

• (lens) an instrument that nobody weighed is not a second opinion
• (lens) GREEN — negation is scoped to a clause, not a sentence
• (lens) GREEN — support nobody has weighed is a finding
• (lens) GREEN — a claim the record retires can no longer be frozen
• (lens) GREEN — an undeclared means of knowing reaches no verdict
• (lens) GREEN — a gate that reached no verdict now blocks
• (lens) GREEN — flag a claim whose support never reaches the world
• (lens) GREEN — flag an onset read off the edge of the search window
• (lens) GREEN — flag a finding signed off by its own author
• (lens) GREEN — enforce the falsifier, promoting PREMORTEM
• vault loader and the deterministic lint pack
• (lens) the catalogue as data, and the eight enforced gates

Documentation

• the record said broken for things that were repaired
• the discipline peira mechanises, so the tool stands alone
• skills, README, ADRs, CI — and a false MSRV caught by its own gate

Fixed

• (lens) an instruction is not a universal claim about the world
• rounds 4 and 5 — a rule lost at a join, four more times
• (core,court,lens) authored text may not impersonate structure
• (lens,court,cli) an unrecognised value is not a pass, and a mismatch is not an accusation
• (lens,court) the checker stops punishing the discipline it teaches
• (lens,court) a prerequisite is load-bearing, and a node kind is a self-declared string
• (lens) a false declaration is not diligence, and an innocent explanation is not a verdict
• (core,court,cli,lens) a retraction is an assertion, not a fact
• (court,lens) the body scan runs every prose check, and a newline ends a clause
• (lens) promotion attaches to being load-bearing, and a finding is not a verdict
• (core,lens,cli) a withdrawn claim does not argue, and status tells the truth
• (court,lens) a packet answers for what it seals and what it rests on

Other

• (lens) split declaration_contradicted on the seam it already had
• (lens) one definition of load-bearing, not three
• [breaking] rename the suite to peira

peira-court

0.1.0 - 2026-08-16

Added

• (court) the packet says whose grading it rests on, and that peira cannot check it
• (court) a claim restored after withdrawal says so
• (lens) GREEN — support nobody has weighed is a finding
• (court) GREEN — verify reports which failure it was
• (court) GREEN — packets declare the format they were written in
• (court) GREEN — packets disclose what would defeat the claim
• (lens) GREEN — enforce the falsifier, promoting PREMORTEM
• Court Mode packets and the elenchus CLI

Documentation

• the discipline peira mechanises, so the tool stands alone
• skills, README, ADRs, CI — and a false MSRV caught by its own gate

Fixed

• (court,cli) a format-line edit is an edit, not staleness
• rounds 4 and 5 — a rule lost at a join, four more times
• (core,court,lens) authored text may not impersonate structure
• (lens,court,cli) an unrecognised value is not a pass, and a mismatch is not an accusation
• (lens,court) the checker stops punishing the discipline it teaches
• (lens,court) a prerequisite is load-bearing, and a node kind is a self-declared string
• (core,court,cli,lens) a retraction is an assertion, not a fact
• (court,lens) the body scan runs every prose check, and a newline ends a clause
• (court,lens) a packet answers for what it seals and what it rests on

Other

• [breaking] rename the suite to peira

peira-index

0.1.0 - 2026-08-16

Added

• (lens) GREEN — enforce the falsifier, promoting PREMORTEM
• (index) the derived half of the hybrid substrate

Documentation

• the discipline peira mechanises, so the tool stands alone
• skills, README, ADRs, CI — and a false MSRV caught by its own gate

Other

• [breaking] rename the suite to peira

---

This PR was generated with release-plz.