Skip to content

docs: standardize README baseline #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
midiakiasat wants to merge 1 commit into
base: main
Choose a base branch
from
Open

docs: standardize README baseline #1

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
199 changes: 28 additions & 171 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,189 +1,46 @@
```
PRIM-004
VALIDEXOR
Deterministic verification

STATUS: REGISTERED
REGISTRY: https://speedkit.eu
SNAPSHOT: https://speedkit.eu/REGISTRY_SNAPSHOT.json
```

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

---

## Philosophy

VALIDEXOR exists to end ambiguity without creating authority.

It is designed for moments where:

* Claims must be checked, not debated
* Language must be anchored to facts
* Truth depends on falsifiability, not intent

VALIDEXOR does not assert truth.
It asserts whether truth *can be asserted*.

---
# validexor

## What It Is
## Purpose

VALIDEXOR is a **verification primitive**.
Atomic primitive: validity extraction / verdict normalization.

It inspects input and determines whether it satisfies the minimum conditions required for verification.
## Status

The result is a verdict about **verifiability**, not correctness.
- **Stability**: Experimental
- **SemVer**: Not guaranteed until v1.0.0
- **Security**: See **Security** section below

---
## Scope

## What It Is Not
- What this repo is responsible for
- What it explicitly does **not** do

* Not a judge
* Not a linter
* Not an executor
* Not an interpreter
* Not an oracle
## Quickstart

VALIDEXOR never mutates state.
```bash
# clone
git clone https://github.com/Verifrax/validexor.git
cd validexor

---

## Behavior

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

---

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

The verdict concerns **structure**, not **truth**.

---

## Usage

VALIDEXOR is never run alone.
It must receive a claim.

```sh
<command-producing-claim> | ./validexor.sh
# install (adjust if needed)
# (placeholder) npm install / pnpm install / go test ./... / etc.
```

### Example

```sh
echo "build output hash is a3f9c21" | ./validexor.sh
```

Output:

```
VERIFIED
```

```sh
echo "this might be correct" | ./validexor.sh
```

Output:

```
INVALID
```

---

## Contract

Once emitted:

* The verdict stands
* Interpretation is external
* Responsibility remains with the claimant

VALIDEXOR guarantees **verifiability**, not **accuracy**.

---

## Design Constraints

These constraints are intentional:

* No configuration → no framing bias
* No execution → no side effects
* No judgment → no authority

Verification precedes meaning.

---

## Relationship to Other Artifacts

* **GUILLOTINE** — executes
* **IRREVOCULL** — judges
* **ATTESTORIUM** — witnesses
* **VALIDEXOR** — verifies

Each artifact performs exactly one irreversible role.

---

## Warning

Verification can invalidate narratives.

That is the point.

---

## About

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.

---
## Repository layout

## Responsibility Boundary
- `/` Root sources
- `/.github/` Issue + PR templates
- `/docs/` Documentation (if present)

This software is provided under the MIT License.
## Security

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.
- Report vulnerabilities privately: **security@verifrax.org**
- Do **not** open public issues for sensitive findings

Use of this software in environments where failure, compliance, legal exposure, or irreversible decisions matter requires an accountable party.
## Contributing

The original maintainer is available for assurance, adaptation, and responsibility when such accountability is required.
See `CONTRIBUTING.md`.

Contact: contact@speedkit.eu
## License

Authoritative signed records are issued separately and are not produced by the software.
MIT. See `LICENSE`.
Loading