| 1. Claim/evidence binding |
standard/LADDER.md; docs/CLAIMS_AND_LIMITS.md; src/verifier/core/checker.py; src/verifier/core/run.py; src/verifier/core/run_validation.py; tests/test_assurance_flow_invariants.py; tests/test_generic_run.py |
A declaration, digest, field name, or missing mechanism strengthens a claim. |
Full suite, generic-run adversarial tests, presentation gate |
PENDING MAINTAINER REVIEW |
| 2. Actor independence |
src/verifier/core/run.py; src/verifier/core/run_reproduction.py; src/verifier/core/run_validation.py; generic-run schemas and examples; tests/test_generic_run.py; tests/test_assurance_flow_invariants.py |
References, repeated runs, matching results, or placement emerge as evidence-bound distinct actors or execution seams. |
Independence falsification and same-result rerun tests |
PENDING MAINTAINER REVIEW |
| 3. VSTD-4 and Graph ceilings |
standard/LADDER.md; src/verifier/core/depth.py; src/verifier/data/graph_level.py; tests/test_vstd4_depth.py; tests/test_graph_level.py |
Caller-supplied ratings or structural candidates become established conformance, or VSTD-5 accepts unearned readiness. |
Depth, duplicate-path, cycle, conflict, and candidate-label tests |
PENDING MAINTAINER REVIEW |
4. Historical layer4_binding |
standard/WIRE_IDENTIFIERS.md; src/verifier/core/run.py; src/verifier/core/run_support.py; src/verifier/core/run_validation.py; generic-run receipt schema; tests/test_generic_run.py; tests/test_vstd3_backward_compatibility.py |
Historical bytes or reads break, the name drives VSTD-4 dispatch, or current writing silently changes frozen meaning. |
Compatibility fixtures, strict-profile validation, packaged specifications |
PENDING MAINTAINER REVIEW |
| 5. SCITT interoperability |
docs/standards/VSTD_SCITT_CROSSWALK.md; src/verifier/interoperability/scitt/adapter.py; SCITT examples; tests/test_scitt_interop.py; tests/test_scitt_crypto_example.py |
Signature or registration success manufactures payload truth, VSTD correctness, or actor independence. |
Required real COSE path plus adversarial composition tests |
PENDING MAINTAINER REVIEW |
| 6. ZIZK TRUST/ROT/RUST architecture |
README.md; docs/ARCHITECTURE.md; standard/LADDER.md; examples/zizk_artifact_first/; experiments/artifact_first_mechanisms/; tests/test_zizk_artifact_first.py |
Governing architecture is buried as a side experiment; actor identity becomes TRUST; ROT rewrites historical truth; RUST loses its memetic backtrace semantics; or diagnostic ancestry becomes guilt, falsehood, or causal localization. |
Tracked proof artifacts, manifest binding, supported-Linux offline verification, ZIZK tests |
PENDING MAINTAINER REVIEW |
| 7. Maintainer controls |
AGENTS.md; HUMANS.md; TIME.md; scripts/check_time_status.py; tests/test_presentation_surface.py |
Agent rules, human reasoning, and live repository contradictions overlap, or publication proceeds with live TIME contradictions. |
TIME.md clear, release-status and presentation tests |
PENDING MAINTAINER REVIEW |
| 8. Release and public presentation |
.github/workflows/; scripts/release_artifacts.py; scripts/check_release_boundary.py; docs/API_STABILITY.md; docs/; scripts/build_reference.py; tests/test_public_api.py; tests/test_release_artifacts.py; tests/test_presentation_surface.py |
Repository checks are described as VSTD conformance, exact artifacts are not reproducible, private boundaries leak, or first-use/public claims exceed implementation. |
Exact-head local build, 476-member boundary scan, deterministic CycloneDX SBOM, installed-wheel smoke, branch-coverage artifact, hosted run and CodeQL |
PENDING MAINTAINER REVIEW |
Coordinate
edf591b40242a74e4b893e7938a0eb60a572c818main@598c545be3833d6d81bb7e252ca5837f3bb2a4491.2.0release candidateReview seams
UNKNOWN,CONFLICTED, andNOT_ESTABLISHED.layer4_binding.AGENTS.md,HUMANS.md, andTIME.mdas non-overlapping maintainer controls.Required interpretation
File-to-seam review matrix
Passing automation supplies evidence for the named checks below; it does not record the
maintainer disposition. Review each row against the pull-request diff and mark the
corresponding checklist only after the invariant and falsification boundary are acceptable.
standard/LADDER.md;docs/CLAIMS_AND_LIMITS.md;src/verifier/core/checker.py;src/verifier/core/run.py;src/verifier/core/run_validation.py;tests/test_assurance_flow_invariants.py;tests/test_generic_run.pysrc/verifier/core/run.py;src/verifier/core/run_reproduction.py;src/verifier/core/run_validation.py; generic-run schemas and examples;tests/test_generic_run.py;tests/test_assurance_flow_invariants.pystandard/LADDER.md;src/verifier/core/depth.py;src/verifier/data/graph_level.py;tests/test_vstd4_depth.py;tests/test_graph_level.pylayer4_bindingstandard/WIRE_IDENTIFIERS.md;src/verifier/core/run.py;src/verifier/core/run_support.py;src/verifier/core/run_validation.py; generic-run receipt schema;tests/test_generic_run.py;tests/test_vstd3_backward_compatibility.pydocs/standards/VSTD_SCITT_CROSSWALK.md;src/verifier/interoperability/scitt/adapter.py; SCITT examples;tests/test_scitt_interop.py;tests/test_scitt_crypto_example.pyREADME.md;docs/ARCHITECTURE.md;standard/LADDER.md;examples/zizk_artifact_first/;experiments/artifact_first_mechanisms/;tests/test_zizk_artifact_first.pyAGENTS.md;HUMANS.md;TIME.md;scripts/check_time_status.py;tests/test_presentation_surface.pyTIME.mdclear, release-status and presentation tests.github/workflows/;scripts/release_artifacts.py;scripts/check_release_boundary.py;docs/API_STABILITY.md;docs/;scripts/build_reference.py;tests/test_public_api.py;tests/test_release_artifacts.py;tests/test_presentation_surface.pyReview order for the stacked candidate
main.main...codex/post-1.2-professionalizationas the current complete candidate: 290 files, 27,127 additions, and 5,567 deletions.A four-hour pass can be a risk-prioritized maintainer disposition over the eight seams; it is not an exhaustive line-by-line review of approximately 32,000 changed lines.
Exact-head evidence
F5537E7240663768250B315091A5B5158391B78C.valid.sha256:756425630fcb8552cd0892c1ba64a3150fbb3c021b0d930b9cf4f5e86bf6b4fe.33090567593; the pull request reports 16 checks including the adjacent GitHub CodeQL result.TIME.mdisStatus: CLEAR.UNRELEASED; publication requires a later explicit metadata finalization and tag decision.Falsification condition
Request changes if declarations, names, hashes, repetition, graph multiplicity, actor reputation, placement, SCITT registration, or satisfiability can increase assurance without a named mechanism validating the exact proposition and evidence binding; if mechanism separation becomes actor independence; if recorded ancestry becomes causal proof; if
UNKNOWNorCONFLICTEDis cleaned; if a candidate becomes conformance; or if any exact-head evidence above fails.Maintainer disposition
"private GitHub channel" instruction in
CODE_OF_CONDUCT.md; do not repurpose publicissues or silently treat security advisories as the general conduct mechanism.
pull-request author, then align branch protection and governance text with that actual
control.
APPROVEDhere when the normative, compatibility, security, and release boundaries are acceptable, or record exact requested changes.