[buttercode101]

Assurance correctness

• Align browser proof structure and claim/action relationship checks with habitat/proof_verify.py.
• Keep the independent manifest digest as a second pin in addition to the bundle's embedded digest.
• Enforce Habitat's proof-size and action-count limits in the browser path.
• Label the result as bundle checks, not proof of external truth.
• Explicitly identify ledger integrity as the value recorded by Habitat at export time; the static bundle does not contain the SQLite hash-chain records needed to recompute it.
• Keep embedded signatures labelled present/unverified rather than implying publisher trust.

Runtime regression test

Execute the actual proof-page verifier functions under Node WebCrypto against both checked-in Habitat proof fixtures. Assert that valid fixtures pass and wrong manifest pins, tampering, malformed ledgers, and cross-run evidence fail.

No Habitat schema, canonical exporter, database, or ledger data changed.

[vercel]

Deployment failed for project agent-supervision with the following error:

Resource is limited - try again in 24 hours (more than 100, code: "api-deployments-free-per-day").

Learn More: https://vercel.com/butters-projects-ad226a08?upgradeToPro=build-rate-limit

[vercel]

Deployment failed for project agent-supervision with the following error:

Resource is limited - try again in 1 day (more than 100, code: "api-deployments-free-per-day").

Learn More: https://vercel.com/butters-projects-ad226a08?upgradeToPro=build-rate-limit