WP9a: flight-software groundwork (software-only; TRL unchanged; WP9 PIL stays reserved) - #32
Merged
Merged
Conversation
…IL stays reserved) - NEW tests/test_wp9_flightlike.cpp (ctest wp9_flightlike): file-local operator new/delete counting; drives the WP2-style control+estimator loop 2000 steps post-init; CHECKs: allocation count deterministic across two identical runs + below ceiling (actual count printed - the honest number, not a forced zero); bit-identical final state across runs; per-step wall time p50/p95/max printed with the explicit caption 'CI hardware, NOT flight-representative - baseline only' (loose sanity bound only, no real-time claim). - NEW docs/wp9_pil_plan.md: pre-registered PIL plan - what TRL 5 for the GNC software element would actually require (representative processor, 100 Hz deadline with margin over a stated soak, WCET method, fault injection), frozen GO/NO-GO gates led by demand evidence (meta-lesson #14: no hardware until someone needs TRL 5), and kill-criteria. TRL stays 4 everywhere; WP9 PIL remains RESERVED (spec sec.9 binding - disclosed per sec.10, no spec text change). - docs/roadmap.md + README roadmap line: WP9a groundwork noted; the WP9-reserved statement untouched. - Adversarial 3-lens review: PASS, zero blockers (TRL-honesty lens confirmed no claimable overreach; 'flightlike' target name flagged as skim-risk nit - fully disclaimed in-file and in every stdout line). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Software-only groundwork toward the reserved WP9 PIL track, opened at the owner's direction. Spec sec.10 disclosure: WP9 itself (PIL on representative hardware, the only path to TRL 5) REMAINS RESERVED and the TRL statement (sec.9, binding) is untouched everywhere - this PR adds only what is honestly measurable in software: a deterministic allocation audit + bit-identical determinism check + a workstation timing baseline (explicitly labeled non-representative), plus the pre-registered PIL plan with demand-evidence GO/NO-GO gates (meta-lesson #14). No generated/ artifacts (timing is non-deterministic by nature; nothing enters the byte-identity gate). Adversarial 3-lens verification: PASS, zero blockers. The sanitizer CI job gives the new test its first real ASan+UBSan run in this PR.
🤖 Generated with Claude Code