diff --git a/.npmignore b/.npmignore new file mode 100644 index 0000000..d83b0c7 --- /dev/null +++ b/.npmignore @@ -0,0 +1,6 @@ +* +!validexor.sh +!README.md +!LICENSE +!VERSION +!package.json diff --git a/README.md b/README.md index 2afc657..6c6e448 100644 --- a/README.md +++ b/README.md @@ -1,189 +1,148 @@ -``` -PRIM-004 -VALIDEXOR -Deterministic verification +# VALIDEXOR -STATUS: REGISTERED -REGISTRY: https://speedkit.eu -SNAPSHOT: https://speedkit.eu/REGISTRY_SNAPSHOT.json -``` +Primitive ID: PRIM-005 +Package: @verifrax/validexor +Binary: validexor -Registered artifact. Identity governed by SPEEDKIT registry. - -STATUS: FINAL - ---- - -VALIDEXOR is a deterministic verifier. - -It does not decide. -It does not execute. -It does not repair. - -It evaluates whether a claim is **verifiable against observable reality**. +Verifrax primitive — verification primitive for deterministic irreversible systems. --- -## Philosophy +## Status -VALIDEXOR exists to end ambiguity without creating authority. +Current release status: pre-stable primitive release line. -It is designed for moments where: +Canonical release target: -* Claims must be checked, not debated -* Language must be anchored to facts -* Truth depends on falsifiability, not intent +package version: 0.1.0 +tag: v0.1.0 -VALIDEXOR does not assert truth. -It asserts whether truth *can be asserted*. +VALIDEXOR is part of the Verifrax primitive layer and follows the canonical primitive governance, naming, version, and packaging rules. --- -## What It Is - -VALIDEXOR is a **verification primitive**. - -It inspects input and determines whether it satisfies the minimum conditions required for verification. - -The result is a verdict about **verifiability**, not correctness. - ---- +## Purpose -## What It Is Not +VALIDEXOR verifies deterministic correctness after origin, custody, time, and boundary conditions have already been fixed. -* Not a judge -* Not a linter -* Not an executor -* Not an interpreter -* Not an oracle +Once an artifact has a stable origin, preserved custody, explicit time boundary, and enforced operating boundary, the system still needs deterministic verification of whether the artifact satisfies the relevant contract. VALIDEXOR exists to make that verification explicit, repeatable, and non-ambiguous. -VALIDEXOR never mutates state. +It does not establish origin. It does not preserve custody. It does not fix temporal order. It does not enforce boundary conditions. It does not witness, judge, or terminate. Its role is narrower: verify contract-level correctness under already-fixed prior conditions. --- -## Behavior +## What This Primitive Does -* Consumes input **exclusively** via `stdin` -* Refuses silent invocation -* Rejects speculative or hedged language -* Requires at least one falsifiable anchor -* Validates referenced git objects against repository state -* Emits exactly one verdict -* Exits immediately after evaluation - -No retries. -No flags. -No configuration. +- verifies an artifact or state against deterministic validation rules +- distinguishes valid from invalid outcomes under a fixed contract +- emits verification output suitable for downstream attestation and judgment --- -## Verdicts - -VALIDEXOR emits exactly one of the following: - -* `VERIFIED` — the claim is concrete and falsifiable -* `UNVERIFIABLE` — the claim lacks sufficient anchors -* `INVALID` — the claim contains speculation or invalid references +## What This Primitive Does Not Do -The verdict concerns **structure**, not **truth**. +- does not establish first origin +- does not preserve custody continuity +- does not fix temporal ordering +- does not enforce operational boundaries +- does not witness or attest +- does not judge validity +- does not terminate lifecycle --- -## Usage +## Behavioral Contract -VALIDEXOR is never run alone. -It must receive a claim. +Invocation model: -```sh - | ./validexor.sh -``` +executable: validexor +package: @verifrax/validexor +runtime: CLI-first -### Example +The primitive operates on an artifact whose origin, custody, time, and boundary surfaces are already fixed. -```sh -echo "build output hash is a3f9c21" | ./validexor.sh -``` +If the verification contract is absent, ambiguous, or non-deterministic, VALIDEXOR must not fabricate a valid result. -Output: +Exit codes: -``` -VERIFIED -``` +0 — verification completed successfully +non-zero — invocation failed or contract violated -```sh -echo "this might be correct" | ./validexor.sh -``` +--- -Output: +## Usage -``` -INVALID -``` +Install: ---- +npm install -g @verifrax/validexor -## Contract +Execute: -Once emitted: +validexor artifact.json -* The verdict stands -* Interpretation is external -* Responsibility remains with the claimant +stdin example: -VALIDEXOR guarantees **verifiability**, not **accuracy**. +cat artifact.json | validexor --- -## Design Constraints +## Determinism Guarantees -These constraints are intentional: +For identical canonical input, VALIDEXOR must produce identical verification output. -* No configuration → no framing bias -* No execution → no side effects -* No judgment → no authority +No hidden environmental state may influence the result. -Verification precedes meaning. +VALIDEXOR assumes an already-bounded origin, custody, time, and enforcement surface and does not substitute for those earlier primitives or for downstream attestation and judgment. --- -## Relationship to Other Artifacts +## Security Model -* **GUILLOTINE** — executes -* **IRREVOCULL** — judges -* **ATTESTORIUM** — witnesses -* **VALIDEXOR** — verifies +VALIDEXOR protects against ambiguity in contract verification. -Each artifact performs exactly one irreversible role. +Its security value is to prevent silent drift between what is claimed to satisfy a contract and what deterministically does satisfy it. It does not itself attest, judge, or terminate lifecycle state. --- -## Warning - -Verification can invalidate narratives. +## Relationship to Other Primitives -That is the point. +Canonical primitive order: ---- +1 originseal +2 archicustos +3 kairoclasp +4 limenward +5 validexor +6 attestorium +7 irrevocull +8 guillotine -## About +Repositories: -VALIDEXOR is a minimal, deterministic verifier for claims that must survive contact with reality. - -If you want persuasion, do not use it. -If you want verification, nothing else will do. +https://github.com/Verifrax/originseal +https://github.com/Verifrax/archicustos +https://github.com/Verifrax/kairoclasp +https://github.com/Verifrax/limenward +https://github.com/Verifrax/validexor +https://github.com/Verifrax/attestorium +https://github.com/Verifrax/irrevocull +https://github.com/Verifrax/guillotine --- -## Responsibility Boundary +## Installation -This software is provided under the MIT License. +npm install -g @verifrax/validexor -The MIT License permits use, copying, modification, and redistribution of the code, but it does not provide assurance, certification, audit defense, operational guarantees, or liability coverage. +command -v validexor -Use of this software in environments where failure, compliance, legal exposure, or irreversible decisions matter requires an accountable party. +Repository: +- GitHub: https://github.com/Verifrax/validexor +- Package: @verifrax/validexor +- Binary: validexor -The original maintainer is available for assurance, adaptation, and responsibility when such accountability is required. +--- -Contact: contact@speedkit.eu +## License -Authoritative signed records are issued separately and are not produced by the software. +MIT diff --git a/package.json b/package.json new file mode 100644 index 0000000..2dffc26 --- /dev/null +++ b/package.json @@ -0,0 +1,26 @@ +{ + "name": "@verifrax/validexor", + "version": "0.1.0", + "description": "Verifrax primitive — verification primitive for deterministic irreversible systems.", + "license": "MIT", + "repository": { + "type": "git", + "url": "git+https://github.com/Verifrax/validexor.git" + }, + "homepage": "https://github.com/Verifrax/validexor#readme", + "bugs": { + "url": "https://github.com/Verifrax/validexor/issues" + }, + "bin": { + "validexor": "validexor.sh" + }, + "files": [ + "validexor.sh", + "README.md", + "LICENSE", + "VERSION" + ], + "publishConfig": { + "access": "public" + } +}