chore(release): v1.3.0 — catalog seed, vocab fail-soft, layer5 prototype - #88
Merged
Conversation
Minor release composing three Wave 2 PRs (#85, #86, #87) plus a small walker-side plumbing fixup surfaced by the Wave 3 Opus aggregate review. - Plugin marketplace bump 1.2.1 → 1.3.0 (both metadata.version and plugins[0].version) - README badges: test count 1967 → 2003, version 1.2.1 → 1.3.0 - README components line: v1.2 → v1.3 - CHANGELOG entry summarizing item 8 (catalog seed), item 9 (vocab fail-soft with block firewall), item 10 (layer5 prototype), and the walker fixup - bin/walker.py: _VIEW_TO_CATALOG_VIEW_TYPE realigned so product-input routes to input-shape and product-output routes to output-shape, the exemplar-options call site queries input-shape instead of help-text, and the input-exemplar-pi concern prompt references the input-shape view type instead of the v1.1 placeholder language. The walker's binding-suggestion path and the cross_view_gate's validation path now query the same catalog view types. No spec contract changes — v1.0/v1.1/v1.1.1/v1.2.0/v1.2.1 locked specs continue to validate. 2003 tests passing (1967 v1.2.1 baseline + 36 across the three v1.3 PRs). Zero regressions. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
v1.3.0 minor release. Three coverage and prototype items composed from PRs #85, #86, #87 (all merged to main), plus a small walker plumbing fixup surfaced by the Wave 3 Opus aggregate review.
Released because the v1.2 evaluator surface had three open gaps Vidence kept hitting: input-shape/output-shape views with zero exemplars (forcing operators into the v1.2.1
no-compatible-exemplardeferral path), a per-view vocabulary partition that raised opaque errors on misplaced tokens, and no machine-parseable reasoning trace for the agent choice points v2.0's Layer 5 will require. In order to keep operator friction low while preserving the partition's semantic guarantee, the vocab fix is fail-soft UX (block-severity finding) rather than fail-loud (raise). So that the v1.3 prototype work doesn't become a v2.0 commitment, the Layer 5 schema is deliberately minimal (six fields) — full VUE+5W2H per choice was rejected in planning as overfit for a prototype.The architectural choice why this lands as a minor rather than a patch: item 8 ships new catalog content (six exemplars + three axes files + view-to-catalog-type mappings) that operator-facing tooling now recommends; item 9 changes a public contract (
_validate_view_trust_profilereturns a tuple rather than raising); item 10 adds new public surface (bin/_layer5.py, sidecarlayer5_tracekey, walker state field). A patch bump would understate the surface change.What lands
docs/exemplars/{input-shape,output-shape,ipc-rpc}/, three newaxes.ymlfiles,_VIEW_TO_CATALOG_TYPESrerouted from placeholder help-text to the real view types. Every convention traces to its citedsource-url(POSIX, GNU Coding Standards, OpenAPI 3.1, json-rpc.org 2.0, AF_UNIX). Test fixtures updated to reflect the new compatible-exemplar landscape for §9 and §12._validate_view_trust_profilenow returns(profile, findings); misplaced tokens are dropped from the returned profile (semantic firewall) AND emit a block-severitytrust-token-misplacedfinding. The lock still cannot complete while it exists — partition's semantic guarantee held, ergonomics improved.bin/_layer5.pywithbuild_trace_recordandproject_substitution_tracehelpers; walker emits trace records at concern-resolution and exemplar-binding commit sites; sidecar carrieslayer5_trace: list[dict]. Six-field schema.SPECTRE_LAYER5=offenv var disables emission.bin/walker.py::_VIEW_TO_CATALOG_VIEW_TYPEaligned so product-input → input-shape and product-output → output-shape. The walker's exemplar-suggestion path now queries the same catalog view-type the cross-view gate uses for validation. Pre-fixup, the walker still recommended help-text exemplars for input-shape views.Test plan
pytest tests/— 2003 passing (1967 v1.2.1 baseline + 9 catalog + 7 vocab + 20 layer5 = 36 new)findings.Findinggainstrust-token-misplacedkind (additive, not a contract change)Surface bumps
.claude-plugin/marketplace.json1.2.1 → 1.3.0 (bothmetadata.versionandplugins[0].version)findings.Finding::KNOWN_KINDSgainstrust-token-misplacedsubstrate_wizard._validate_view_trust_profilereturns(list[str], list[Finding])instead of raisingeval_metadata.write_sidecargains optionallayer5_trace: list[dict] | Nonekwargwalker.WalkStategainslayer5_trace: list[dict]fieldComponents
1.3.0EVALUATOR_VERSION:1.0.0(unchanged — spec contract stable since v1.0)WALKER_VERSION:1.0.0(unchanged — walker concern API stable since v1.0)Generated with Claude Code