test: make source contracts fail closed #73

Merged
starsetbyte merged 9 commits from chore/p2-source-contract-hardening into feat/device-trust-foundation 2026-07-11 21:10:35 +00:00
Owner

Continuation from density/P1 handoff

This branch picks up docs/plans/2026-07-11-density-pass-handoff.md after PR #72 was merged into feat/device-trust-foundation.

Changes

  • Require start/end markers before extracting source sections in label, PostHeader, Timeline hot-path, and Path 3 contract tests. Missing markers now fail the test instead of allowing assertions to inspect the wrong source.
  • Remove the vacuous if (safetyPill >= 0 && socialRun >= 0) ordering guard; both components are now required and their order is asserted.
  • Harden PostCard call-site extraction for subjectDid threading.
  • Update the handoff with the new continuation state.

Verification

./gradlew :app:testDebugUnitTest --no-daemon --rerun-tasks

BUILD SUCCESSFUL.

No production code changes are included.

## Continuation from density/P1 handoff This branch picks up `docs/plans/2026-07-11-density-pass-handoff.md` after PR #72 was merged into `feat/device-trust-foundation`. ### Changes - Require start/end markers before extracting source sections in label, PostHeader, Timeline hot-path, and Path 3 contract tests. Missing markers now fail the test instead of allowing assertions to inspect the wrong source. - Remove the vacuous `if (safetyPill >= 0 && socialRun >= 0)` ordering guard; both components are now required and their order is asserted. - Harden PostCard call-site extraction for `subjectDid` threading. - Update the handoff with the new continuation state. ### Verification `./gradlew :app:testDebugUnitTest --no-daemon --rerun-tasks` **BUILD SUCCESSFUL**. No production code changes are included.
test: make source contracts fail closed
All checks were successful
peregrine-ci / assembleDebug Build succeeded (13s)
65a9fc71c6
Merge branch 'feat/device-trust-foundation' into chore/p2-source-contract-hardening
All checks were successful
peregrine-ci / assembleDebug Build succeeded (4s)
d249565ded
starsetbyte changed target branch from feat/device-trust-foundation to main 2026-07-11 21:08:12 +00:00
Update docs/plans/22026-07-11-density-pass-handoff.md
Some checks failed
peregrine-ci / assembleDebug Build succeeded (4s)
Peregrine CI / Build & Test (JDK 17) (pull_request) Has been cancelled
Peregrine CI / Signed Minified Release Build (pull_request) Has been cancelled
Peregrine CI / Instrumented Tests (API 29+) (pull_request) Has been cancelled
26f991fac0
Merge branch 'main' into chore/p2-source-contract-hardening
All checks were successful
peregrine-ci / assembleDebug Build succeeded (5s)
Peregrine CI / Build & Test (JDK 17) (pull_request) Successful in 4m56s
Peregrine CI / Signed Minified Release Build (pull_request) Successful in 4m14s
Peregrine CI / Instrumented Tests (API 29+) (pull_request) Has been skipped
bab8b59300
starsetbyte changed target branch from main to feat/device-trust-foundation 2026-07-11 21:09:53 +00:00
starsetbyte merged commit df5a45837b into feat/device-trust-foundation 2026-07-11 21:10:35 +00:00
Sign in to join this conversation.
No description provided.