Skip to content

UNASKED v0.3.0 - Non-certifying M0 development path

Choose a tag to compare

View all tags
@github-actions github-actions released this 13 Aug 06:26
· 1 commit to main since this release
v0.3.0
28729df
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

UNASKED v0.3.0

UNASKED v0.3.0 adds preregistered, budget-bound M0 trial runs and a public structural
evidence audit.

Structural audit

  • init --trial-preregistration ... --budget ... freezes the case/variant, commit,
    protocol, budget, and model before provider execution;
  • trials audit recomputes the report and validates every indexed run, ledger head, result
    artifact, and complete current VERIFIED certificate set;
  • unsafe workspace locators, self-hash tampering, rollback, missing evidence, certificate
    cherry-picking, and finding-flag laundering fail closed;
  • a structurally complete all-false trial can honestly return audit_result=PASS without
    implying model discovery.

This release remains explicitly NON_CERTIFYING:

  • m0_demonstrated=false;
  • actor and custody identities are not authenticated;
  • no external attestation trust root or external ledger checkpoint is verified;
  • structural PASS does not unlock trials certify;
  • no independently held sealed benchmark was used for this software release.

NO_VERIFIED_DISCOVERY remains a valid and expected result.

Assets 5
Loading