// SPDX-License-Identifier: CC-BY-SA-4.0
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>

= Estate Audit Baseline
Codex
v1.0, 2026-03-30
:toc:
:toclevels: 2
:sectnums:

== Purpose

This document freezes the first estate-wide audit baseline after the standards
bar was raised to the current `v2` posture. It is not a claim that the estate
passes. It is a map of what must now be reviewed under the stricter gate.

== Audit Posture

The estate audit is now organised into four coupled tracks:

. Release claims and CRG posture
. Proof completeness and assumption discipline
. Test, benchmark, build, execution, and aspect coverage
. Publication and archival honesty

No repository should be treated as stable, `v1.0.0`, or submission-ready
without passing the relevant tracks.

== Publication Surface Already Identified

The initial scan found a non-trivial publication surface that needs explicit
review rather than casual trust. Immediate paper and whitepaper candidates
include:

* `007-lang-private-docs/paper/007-agent-meta-language.tex`
* `007-lang/docs/paper/007-language-design.tex`
* `nextgen-languages/phronesis/academic/papers/phronesis-white-paper.md`
* `stapeln/arcvix-logic-driven-container-security.tex`
* `typed-wasm/docs/arxiv/typed-wasm.tex`
* `verisimdb/WHITEPAPER.md`
* `valence-shell/arcvix-formally-verified-reversible-shell.tex`
* `wokelang/arxiv-consent-aware-programming.tex`
* `vql-ut/arcvix-10-level-query-safety.tex`
* `ephapax/arcvix-code-as-matter.tex`

These artefacts require claim audits, proof-to-paper parity checks, and venue
fit reviews before any further publication step.

== Likely Missing Publication Candidates

The same scan also found proof-heavy repositories without an obvious paper or
archival whitepaper surface at the repository root:

* `Axiom.jl`
* `ProvenCrypto.jl`
* `aspasia`
* `proof-of-work`
* `statistease`
* `tangle`

These are candidates for a later "should this now exist as a paper, whitepaper,
or archival Zenodo record?" decision. They are not automatic publication
targets, but they should not be ignored.

== Immediate Audit Order

. `007-lang`, `typell`, `typed-wasm`, `valence-shell`, `wokelang`, `ephapax`
   because they combine language claims, proofs, and obvious paper surfaces.
. `verisimdb`, `januskey`, `burble`, `stapeln`
   because they combine system claims with security, verification, or ABI
   obligations.
. Publication-only clean-up candidates such as `phronesis`
   where the paper surface is clear even if the implementation estate is split.

== Venue Review Note

Venue readiness for HOL and Zenodo is not yet signed off here. This baseline
only confirms that the artefacts exist and should be reviewed. A later pass
must verify current venue expectations, metadata requirements, proof envelopes,
and archival packaging.

== Sign-Off

This baseline is signed off by Codex on 2026-03-30 as an inventory and triage
document. It records what was found; it does not certify that any listed
repository or paper is ready.
