AIGP Extension: Order-Typed Recomputation Witness Profile (the "Mars W1 Profile") — parts
AIGP Extension: Order-Typed Recomputation Witness Profile (the “Mars W1 Profile”) — parts
Generated navigation index. The canonical text is mars-w1-witness-profile.md; these part files are a derived, verbatim split (regenerate with specification/tools/spec_split.py).
| Part | Title |
|---|---|
1-purpose |
1. Purpose |
2-order-typed-predicate-form |
2. Order-typed predicate form |
3-the-w1-witness-record |
3. The W1 witness record |
4-order-typing-of-the-emitted-signal |
4. Order typing of the emitted signal |
5-what-remains-w2w3-under-this-profile-stated-honestly |
5. What remains W2/W3 under this profile (stated honestly) |
6-conformance |
6. Conformance |
7-relationship-to-base-aigp |
7. Relationship to base AIGP |