Skip to content

CAT-ALIGN-001: align Institutional-Compiler with controlling Veraxis category thesis - #44

Open
veraxis-protocol wants to merge 1 commit into
mainfrom
cat-align-001-category-thesis
Open

CAT-ALIGN-001: align Institutional-Compiler with controlling Veraxis category thesis#44
veraxis-protocol wants to merge 1 commit into
mainfrom
cat-align-001-category-thesis

Conversation

@veraxis-protocol

Copy link
Copy Markdown
Owner

Scope

Documentation only, additive. One section added to README.md immediately below the DOI badge. Nothing is removed, reworded, or reordered.

Files changed (1 modified):

  • README.md — 23 insertions, 0 deletions

Why

OIC is the upstream component in the Veraxis architecture, but the README opens on status, bootstrap date and governing design and never names the field OIC sits in. Downstream surfaces — the VEIP family in particular — are much easier for an external reader to place, which inverts the actual dependency: readers recognize the evidence artifacts and miss the institutional-authority computation that gives those artifacts meaning.

The added section names the category and states the boundary that matters most for this repository:

Institutional authority remains externally constituted.
Machine extraction may propose meaning.
Authorized institutional admission is required for admitted meaning.

Claim impact — none

This is the sensitive part of this PR, so it is stated precisely.

The section is explicitly marked as an architectural role rather than a capability claim, and it defers by name to the README's own status text, STATUS.md, CLAIMS.md and docs/capabilities/CAPABILITY_MATRIX.json for the exact demonstrated scope.

Unchanged and unweakened:

  • BOUNDED_REFERENCE_IMPLEMENTATION status line and its independent-review scoping
  • Every Gate F and Gate G figure, candidate SHA and tree, and the twelve exclusions
  • "It is not a production institutional compiler."
  • "What is blocked": production compilation and runtime authorization remain unestablished; the broader production semantic gate remains BLOCKED
  • All eight OIC-Bench rows: TARGET - NOT MEASURED; comparative target: PROVISIONAL TARGET - NOT MEASURED - NOT CALIBRATED
  • STATUS.md, CLAIMS.md, LIMITATIONS.md, capability matrix, benchmark evidence, validation history — all untouched

Nothing asserts that OIC currently performs production institutional compilation or runtime authorization. No enterprise adoption is asserted for any party. No implementation maturity claim is broadened.

No runtime change

No runtime semantics, code, schema, test, expected behavior, manifest, benchmark, historical artifact or release was changed. git status shows exactly one modified file.

Validation

Full canonical Linux run in an isolated Python 3.12.3 environment installed from the hash-locked requirements/dev.txt, with import provenance bound to this checkout:

Gate Result
tests/contract/test_claims_discipline.py 51 passed
ruff check . All checks passed
ruff format --check . 65 files already formatted
mypy Success: no issues found in 52 source files
make verify PASS; intentional manifest OVERALL: INCOMPLETE preserved at exit 3
make falsify 4/4
Full suite 1743 passed, 1 declared skip, 0 failed, 0 errors

The declared skip is tests/contract/test_canada_acquisition_preflight.py:574 (gitignored local receipts intentionally unavailable in CI), matching the established baseline.

The claims-discipline contract is the control that would catch an unscoped or widened claim in this file. It passes unchanged at 51.

  • Base SHA: c3d986229e2d7874a30a318981f5045e3f793236
  • Head SHA: 5a7813b6488f7568f0379afedfe0d73996c85634

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

Per that thesis, this repository keeps its own implementation scope, status, interfaces and claim ceilings; only its architectural role is inherited.

Attribution

Executed under owner work order CAT-ALIGN-001. Not an independent review.


Generated by Claude Code

Add a category role section near the top of the README naming the field, the
upstream institutional-compilation problem OIC addresses, and the boundary that
institutional authority remains externally constituted: machine extraction may
propose meaning, and authorized institutional admission is required before
meaning is admitted. OIC operates upstream of VEIP and runtime enforcement.

The section states an architectural role, not a capability. It says so
explicitly and defers to README status text, STATUS.md, CLAIMS.md and the
capability matrix for the exact demonstrated scope. No status, ceiling,
exclusion, benchmark figure, validation history or measured evidence is
modified.

Documentation only, additive.

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
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