diff --git a/harness/ordinary-source8-compatibility-contract-20260925.md b/harness/ordinary-source8-compatibility-contract-20260925.md index e6ab0ebf..49be3de4 100644 --- a/harness/ordinary-source8-compatibility-contract-20260925.md +++ b/harness/ordinary-source8-compatibility-contract-20260925.md @@ -69,3 +69,26 @@ initial failures, source/artifact identities and the precise tests that now reac previously masked behavior. Root owns compilation, integration acceptance and publication; bounded workers may implement and independently review. The remote publication/comment failure does not turn local commits into shared handoffs. + +## Reconcile obsolete version assertions after the full run + +The first full candidate run at `520e50ce` reached all298 tests:294 passed and4 +failed. All16 previously blocked workflows passed. Four earlier private-pipeline +tests explicitly required even an empty ordinary schema8 project to fail public +parsing, contrary to this contract's deliberate ordinary admission change. Keep +their initial failures and reconcile only those obsolete assumptions: verify +ordinary8 acceptance without migration and preserve explicit rejection of actual +typed analysis syntax. Keep their independent lowering, canonical model and +numeric-token assertions. No production change follows from this finding. + +Two misleading names change with exact one-to-one inventory mappings: + +- `language::analysis_source::declarations::tests::inherited_version_root_and_short_word_contracts_do_not_enable_public8` + becomes `language::analysis_source::declarations::tests::inherited_version_root_and_short_word_contracts_do_not_enable_public_typed8`. +- `language::analysis_source::tests::public_source_headers_and_existing_numeric_token_controls_are_unchanged` + becomes `language::analysis_source::tests::public_ordinary_source8_preserves_typed_refusal_and_numeric_controls`. + +The other two affected tests keep their names. Preserve the other290 prior names +and all prior substantive checks; this explicit mapping is not permission to +exclude outcomes. Final expected inventory remains298. The initial focused5/1 +fixture failure and subsequent focused6/0 plus full294/4 remain separate evidence.