Skip to content

[PRVC-CERT] Certify Corpus 1.0 across hosts and offline OCI #29

Description

@ilyar

Certify Corpus 1.0 across hosts and offline OCI

Outcome

ProofRunner Corpus reaches PORTABLE or GOLD evidence through repeatable
execution on a second independent Linux host and offline dependency
installation through a local registry/cache.

Acceptance

  • Execute all cases and variants on a second independent Linux host.
  • Collect five runs for every deterministic gold candidate.
  • Expected verdicts match on both hosts.
  • Certification records PORTABLE or GOLD and the proven passed-case
    count.
  • Validate install and tests without external network through a local
    OCI/npm registry mirror.
  • Manifest checksum verification passes after evidence updates.
  • External critic explicitly approves the multi-host and offline-OCI
    evidence.
  • Record the product commit and independent review evidence.

Blocker

Depends on PRVC-APPROVE and PRVC-APPLY and requires a second independent Linux
host plus an offline registry/cache environment.

Tracking

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions