Implement the differential harness and generic F# conformance manifest
@TheAngryByrd ci sta già lavorando.
Dal 6/8/2026.
Valutazione
Questa issue non è ancora stata valutata.
Descrizione
Parent: #8
Blocked by: #25
Outcome
Implement the versioned differential harness described by #5 and a compiler-owned conformance manifest organized by F# language construct and observable compiler behavior.
Acceptance criteria
- A manifest describes ordered sources, signatures, target references, normalized options, expected diagnostics, artifacts, runtime probes, and comparator classes.
- Compatibility Oracle and FSharp2 lanes run in isolated roots and differ only in compiler selection.
- Focused positive and negative programs cover each declared feature row across parsing, typing, lowering, emission, loading, and execution where applicable.
- The manifest tracks language-version and option coverage and distinguishes unsupported, failed, passed, and infrastructure-error outcomes.
- Evidence proves no production fallback and supports exact, normalized, canonical-semantic, and behavioral comparisons without requiring byte-identical outputs.
- Third-party projects are integration corpora, not sources of production branches or primary feature names.
- Governed scheduling and performance statistics remain owned by #24.
Decision inputs
Issues #2, #4, #5, #6, #16, #17, and #18; ADRs 0005, 0006, 0008, 0010, 0014, 0023, and 0027.
This issue inherits the corpus-neutral acceptance policy in #8.
- Lingua principale
- F#
- Stelle
- 0
- Fork
- 0
- Merge medio
- 3h 15m
- PR unite (30g)
- 1
Preparare l'ambiente
Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Nessuna guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di TheAngryByrd/fsharp2
-
wayfinder:task
Difficoltà 4/5 3-5 giorni Idoneità per principianti 62/100
TheAngryByrd/fsharp2#46 ·
-
wayfinder:task
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
TheAngryByrd/fsharp2#44 · 1 commento ·
-
wayfinder:task
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
TheAngryByrd/fsharp2#42 ·
-
wayfinder:task
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
TheAngryByrd/fsharp2#41 ·
-
wayfinder:task
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
TheAngryByrd/fsharp2#40 ·