From 6df68f5667ea283b59d5e9cad51ae9cd41bc4b12 Mon Sep 17 00:00:00 2001 From: Arkadiy Miteiko Date: Tue, 8 Sep 2026 22:07:55 +0000 Subject: [PATCH 1/3] CAT-ALIGN-001: bound what a Verifier Core PASS establishes 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 Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01Pkw68qW3iRaeJsiMPBEPvW --- README.md | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/README.md b/README.md index 13bcecf..6b16faa 100644 --- a/README.md +++ b/README.md @@ -8,6 +8,24 @@ This repository defines the verification surface. It does not define certificati --- +## Role in Open Institutional Computation + +**Category:** Open Institutional Computation +**This component:** Reference verification engine for the structural and integrity properties of a VEIP Evidence Pack +**Upstream:** An Evidence Pack already emitted by a VEIP implementation, itself downstream of machine-operational authority/control state established through authorized institutional interpretation and admission (the Veraxis reference path for that upstream problem is [OIC — Open Institutional Compiler](https://github.com/veraxis-protocol/Institutional-Compiler)) +**Downstream:** Machine-readable PASS/FAIL verification outcomes for local, CI, registry and examination use +**Canonical category thesis:** https://github.com/veraxis-protocol/institutional-continuity/blob/main/THESIS.md + +### What a PASS does and does not establish + +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. + +A cryptographically and structurally sound Evidence Pack is evidence *about* a binding. It is not the origin of the institutional authority it records, and it does not certify its own upstream validity. + +Architectural role does not imply production readiness; see "What this repository is not", "Security Model (Minimal Scope)" and "Status" below for the exact demonstrated scope. + +--- + ## Purpose The Verifier Core provides: From 02eff932ea05df5bfe8f06aa8c3396ebdb1890a1 Mon Sep 17 00:00:00 2001 From: Arkadiy Miteiko Date: Tue, 8 Sep 2026 22:52:01 +0000 Subject: [PATCH 2/3] CAT-ALIGN-001B: narrow what a valid Evidence Pack establishes 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 Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01Pkw68qW3iRaeJsiMPBEPvW --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6b16faa..59fedcf 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ This repository defines the verification surface. It does not define certificati 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. -A cryptographically and structurally sound Evidence Pack is evidence *about* a binding. It is not the origin of the institutional authority it records, and it does not certify its own upstream validity. +A cryptographically valid Evidence Pack establishes only the bounded cryptographic and structural integrity properties actually verified under the applicable schema/profile. It does not by itself establish truth, completeness, institutional validity, correct upstream interpretation, consequence occurrence, or observation coverage. It is evidence *about* a binding: not the origin of the institutional authority it records, and not a certificate of its own upstream validity. Architectural role does not imply production readiness; see "What this repository is not", "Security Model (Minimal Scope)" and "Status" below for the exact demonstrated scope. From 0019f513aed06b3882c10adc4093c4e6ac0b337d Mon Sep 17 00:00:00 2001 From: Arkadiy Miteiko Date: Tue, 8 Sep 2026 22:58:05 +0000 Subject: [PATCH 3/3] CAT-ALIGN-001B: define VEIP on this surface 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 Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01Pkw68qW3iRaeJsiMPBEPvW --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 59fedcf..dba46c7 100644 --- a/README.md +++ b/README.md @@ -12,6 +12,7 @@ This repository defines the verification surface. It does not define certificati **Category:** Open Institutional Computation **This component:** Reference verification engine for the structural and integrity properties of a VEIP Evidence Pack +**VEIP — Veraxis Execution Integrity Protocol:** the execution-integrity and interoperability boundary that binds already-established machine-operational authority/control state to an exact action and runtime disposition, and emits the Evidence Packs this verifier checks. VEIP does not interpret governing documents, perform institutional admission, or originate institutional authority. **Upstream:** An Evidence Pack already emitted by a VEIP implementation, itself downstream of machine-operational authority/control state established through authorized institutional interpretation and admission (the Veraxis reference path for that upstream problem is [OIC — Open Institutional Compiler](https://github.com/veraxis-protocol/Institutional-Compiler)) **Downstream:** Machine-readable PASS/FAIL verification outcomes for local, CI, registry and examination use **Canonical category thesis:** https://github.com/veraxis-protocol/institutional-continuity/blob/main/THESIS.md