Skip to content

CAT-ALIGN-001: align runtime-admissibility-experiment with controlling Veraxis category thesis - #1

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

veraxis-protocol merged 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 after the DCF sentence, before the Core formal claim. Nothing removed or reworded.

  • README.md — 14 insertions, 0 deletions

Why

This repository formalizes a distinction that is easy to mistake for a claim about the whole field: static authorization versus runtime admissibility. Read without placement, RA(x,t) can look like the definition of institutional authority rather than a test applied at the moment of reliance.

The added section states what the formal model already implies:

RA(x,t) takes the current authority envelope A_t as an input. It evaluates whether valid authority exists at the moment of reliance; it does not establish that authority, interpret the governing source that constitutes it, or perform institutional admission.

and positions the repository as research into the runtime currentness/admissibility boundary inside Open Institutional Computation — a distinction within the field, not a competing account of it.

What is explicitly preserved

  • The paper citation and authorship
  • The formal claim Rel(x,t) ⇒ RA(x,t), the defective-reliance formulation, and the conjunctive predicate with all seven components (VA, SE, CS, WS, CB, EI, COR) and their table definitions — verbatim
  • The System A / System B contrast and the Dynamic Classification Failure framing
  • All scenarios, results, reproducibility material and paper/formal_model.md

No research equation, predicate, scenario, experiment result or paper text was rewritten. That prohibition is explicit in the work order and is honoured literally here.

Claim impact

None. The repository's status as a research artifact accompanying a paper is preserved and restated in the added text. No production readiness, adoption or maturity claim is made or broadened for any party.

No runtime change

No code, model, predicate, scenario JSON, test or CLI behavior was changed. The diff touches one Markdown file.

Validation

Isolated Python 3.12.3 venv:

  • pytest → 10 passed, both at baseline ded0d0d0d831512556ba14c5b692cebb553c7a83 and with this change

  • python -m runtime_admissibility.cli scenarios → runs clean and emits the full scenario set, matching the CI workflow's second step

  • Base SHA: ded0d0d0d831512556ba14c5b692cebb553c7a83

  • Head SHA: de5f0d0a33b4e131e8efa785055519b7e4ce8315

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


Generated by Claude Code

Add the standard category role block and state the boundary the formal model
already implies: RA(x,t) takes the current authority envelope A_t as an input.
It evaluates whether valid authority exists at the moment of reliance; it does
not establish that authority, interpret the governing source that constitutes
it, or perform institutional admission.

The static-authorization versus runtime-admissibility distinction is preserved
exactly as a distinction within Open Institutional Computation, not a claim
about the field.

Documentation only, additive. No research equation, predicate, scenario,
experiment result, paper text or reproducibility record was changed.

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 1d38b1c into main Sep 8, 2026
6 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