sorokin.oleg.edu/ARCADIA-Studio
1
0
Fork 0
Code Issues 37 Pull Requests 2 Packages Projects Releases 9 Wiki Activity

Clarify ordinary source8 migration of obsolete private test assumptions

Browse Source
This commit is contained in:
sorokin.oleg.edu
2026-09-24 20:42:15 -07:00
parent fb9b0c5caa
commit 69c784f204
1 changed files with 23 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
harness/ordinary-source8-compatibility-contract-20260925.md
+23
View File
@@ -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.