A claim may not travel farther than the artefact that proves it.
A public artefact does not need to reveal the system. It needs to prove one bounded behaviour:
- what was admitted,
- what was refused,
- what receipt was produced,
- and what replay shows the boundary held.
The claim stops where the artefact stops.
Per-repo boundaries are defined by each repo's CLAIM_BOUNDARY.md,
NON-CLAIMS.md, PUBLIC_DISCLOSURE_BOUNDARY.md, and RECEIPT.md.
Canonical entry point (live): lalaskye.github.io/inspection-surface
Full crawlable index of repos, papers, terminology, provenance, and inspection levels.
This repository hosts the Research Surface Map. It is a public inspection surface, not full architecture disclosure.
It shows bounded public inspection routes and claim limits. It must not be read as a system map, orchestration model, or protected architecture disclosure.
See NON-CLAIMS.md and PUBLIC_DISCLOSURE_BOUNDARY.md.
The canonical index for execution-boundary AI governance research by Ricky Dean Jones / AlvianTech.
It provides:
- repo index with inspection levels
- system map
- terminology
- provenance and creation timeline
- verification paths
- adversarial pre-review checklist for claim surfaces before public exposure
claim → evidence object → inspection path → claim limit
Each public proof surface should be read only at its stated scope.
| Repo | Bounded claim | Proof path | Test command | Tag | Receipt |
|---|---|---|---|---|---|
| start-here | Within the scope of this artefact at the named release tag, provides a single runnable entry point that exercises the minimal admissibility-before-effect demonstration. | src/ |
python run_demo.py |
v0.1.0 |
RECEIPT.md |
| commit-gate-core | Within the scope of this artefact at the named release tag, refuses state mutation in the absence of a valid DecisionRecord. | src/commit_gate_core/ |
pytest -q |
v0.1.0 |
RECEIPT.md |
| receipt-chain-core | Within the scope of this artefact at the named release tag, treats prior decision receipts as inputs to the next admissibility decision. | src/receipt_chain_core/ |
pytest -q |
v0.1.0 |
docs/PROOF_PACK_v0.1.md |
| refusal-receipt-chain | Within the scope of this artefact at the named release tag, emits a refusal receipt at the point admissibility fails. | ./ |
python chain_verify.py |
v0.1.1-docs |
sample_deny_receipt.json |
| fail-closed-ai | Within the scope of this artefact at the named release tag, produces no downstream effect in the absence of a valid admissibility decision. | docs/neo-guard/neo_guard/ |
cd docs/neo-guard && pytest -q |
v0.1.0 |
docs/neo-guard/CHAIN_RECEIPT_v0.1.md |
Generated 2026-05-24T01:43:27+00:00 from surface.yaml.
Edit surface.yaml and push; .github/workflows/index.yml regenerates the table above.
New to this work: start-here
Core execution-boundary proof: commit-gate-core
Receipt and interrupt evidence: interrupt-ledger
All public artefacts are independently authored by Ricky Dean Jones / AlvianTech unless otherwise stated.
No external proprietary materials, codebases, or confidential specifications are claimed as sources.
Timestamps are GitHub-recorded and independently verifiable.
See individual repository licences. All architecture, methods, and system designs are the original work of Ricky Dean Jones unless otherwise stated.