Skip to content

CAT-ALIGN-001: align veip-verifier-core with controlling Veraxis category thesis - #1

Merged
veraxis-protocol merged 3 commits into
mainfrom
cat-align-001-category-thesis
Sep 8, 2026
Merged

veraxis-protocol merged 3 commits into
mainfrom
cat-align-001-category-thesis

Conversation

@veraxis-protocol

Copy link
Copy Markdown
Owner

Scope

Documentation only, additive. README.md gains a role block and a claim-boundary subsection near the top. Nothing is removed or reworded.

Why

A verifier that returns PASS is the single easiest surface in the Veraxis stack to over-read. The existing README is careful about what the repository is not — not a registry, not a certification body, not a policy engine — but it does not say what a PASS itself does and does not establish. Without that sentence, "the Evidence Pack verified" slides into "the authorization was legitimate."

The added subsection states the boundary in the work order's terms:

This verifier verifies the structural/integrity properties of a downstream VEIP Evidence Pack. A PASS does not by itself establish that upstream institutional authority was legitimate, correctly interpreted, properly admitted, or currently applicable unless those properties are themselves covered by the verified inputs/profile.

with the corollary that a structurally sound Evidence Pack is evidence about a binding, not the origin of the authority it records, and does not certify its own upstream validity.

Files changed

  • README.md — 18 insertions, 0 deletions

What is explicitly preserved

  • The existing verifier claim ceiling. This PR narrows the reading of a PASS; it does not widen anything.
  • "What this repository is not" — untouched
  • The CLI contract, command surface and stable exit codes (0 / 2 / 3)
  • Schema vendoring relationship to veip-spec and version-alignment rule
  • Security Model (Minimal Scope), including the explicit "does not" list
  • VEIP License, trademark position, and the statement that this repository grants no certification status
  • Status section

Claim impact

Restrictive only. No conformance, certification, maturity, adoption or deployment claim is made or broadened, and no enterprise adoption is asserted for any party. The role block carries its own qualifier pointing at the repository's existing scope sections.

No runtime change

No verification logic, canonicalization, CLI behavior, exit code, schema, test or fixture was changed. The diff touches one Markdown file.

Validation

make check — the structural + schema gate CI runs as part of make ci:

  • Baseline at e8b985920b60ba74f2e0e014ee107a5c4937b1fc: OK: schema JSON parses / OK: checks passed, exit 0
  • With this change: OK: schema JSON parses / OK: checks passed, exit 0

make test (pytest) could not be run in this environment — pytest is not installed here and the package is not pip-installed. That is an environment limitation, disclosed rather than worked around; CI runs the full make ci across Python 3.10/3.11/3.12. The change adds no Python, so no test outcome can be affected by it.

  • Base SHA: e8b985920b60ba74f2e0e014ee107a5c4937b1fc
  • Head SHA: 6df68f5667ea283b59d5e9cad51ae9cd41bc4b12

Controlling thesis

veraxis-protocol/institutional-continuity#2 — Veraxis Category Thesis v1.0. Canonical location after merge: https://github.com/veraxis-protocol/institutional-continuity/blob/main/THESIS.md

DCO

Commit is signed off.


Generated by Claude Code

veraxis-protocol and others added 3 commits September 8, 2026 22:07
Add the standard category role block and an explicit statement of the
verifier's claim boundary.

A PASS verifies the structural and integrity properties of a downstream VEIP
Evidence Pack. It does not by itself establish that upstream institutional
authority was legitimate, correctly interpreted, properly admitted or
currently applicable unless those properties are themselves covered by the
verified inputs or profile. A structurally sound Evidence Pack is evidence
about a binding, not the origin of the authority it records.

Documentation only, additive. Verification logic, CLI contract, exit codes,
schema, security model and version alignment are unchanged, and the existing
verifier claim ceiling is preserved rather than widened.

Signed-off-by: Arkadiy Miteiko <am@veraxis.io>
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Pkw68qW3iRaeJsiMPBEPvW
State the bound explicitly rather than by implication. A cryptographically
valid Evidence Pack establishes only the bounded cryptographic and structural
integrity properties actually verified under the applicable schema/profile,
and not truth, completeness, institutional validity, correct upstream
interpretation, consequence occurrence or observation coverage.

Restrictive documentation change only. Verification logic, CLI contract, exit
codes, schema and security model unchanged.

Signed-off-by: Arkadiy Miteiko <am@veraxis.io>
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Pkw68qW3iRaeJsiMPBEPvW
Independent evaluators reading this README in isolation reported that it
'never defines its function directly' for VEIP, leaving a required category
answer unobtainable from the artifact alone.

Expand the acronym and state VEIP's role and its three explicit non-roles in
the role block.

Documentation only, additive. Verification logic, CLI contract, exit codes,
schema and security model unchanged; the verifier claim ceiling is untouched.

Signed-off-by: Arkadiy Miteiko <am@veraxis.io>
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Pkw68qW3iRaeJsiMPBEPvW
@veraxis-protocol
veraxis-protocol merged commit af0a7e0 into main Sep 8, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant