You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
corpus at chant-v0.71.0: lexicons and build params through, two chant-side limits retired, SPEC_VERSION asserted (#96) (#97)
* corpus at chant-v0.71.0: lexicons and build parameters passed through, two chant-side limits retired, SPEC_VERSION asserted (#96)
chant-v0.71.0 gives foldProject the session a build has (chant#2422) and
declares the spec version it implements (chant#2424). The corpus runner
passes each entry's lexicons and resolved build parameters, the
lexicon-list and build-params limits are gone, and the version test holds
chant's declaration to the spec's major with a minor no newer than
VERSION's, since an addition leaves an older minor unchanged. The
citation gate tolerates the same.
At the tag: 441 files, 150 comparable, 150 agreed, 118 folding on both
sides with identical namespaces. Retiring the limits exposed ten
disagreements, none about the mechanism: the harness bound params to the
module's live export instead of the build's values (F-Import's first
arm); the reference never joined a ../ specifier to the importer's
directory, dropping an import edge and a forward taint; and the reference
decided F-Capture only over the namespace where F-Import records a capture
at the import for any value with identity. All three fixed here, and the
value comparison now marks only true cycles rather than shared objects,
and says where two encodings first differ.
CAVEATS records the two reference fixes; measurements carries both runs.
* docs: figures.json parses the two-limit report, and names the spec version chant declares
Copy file name to clipboardExpand all lines: docs/src/content/docs/evidence.mdx
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -17,7 +17,7 @@ Nothing on this site is a figure somebody typed. Each one below is read from an
17
17
| Rules with a fixture |{figures.rulesWithFixture} of {figures.rulesTotal}|`spec/fixtures/UNCOVERED.md`| The rest are listed with a reason each |
18
18
| Fixtures |{figures.fixtures}, of which {figures.wholeBuildFixtures} whole-build |`spec/fixtures/`| Cases somebody chose |
19
19
| Corpus |{figures.corpus.entries} projects, {figures.corpus.files} files | chant `{figures.corpus.corpusVersion}` at `{figures.corpus.revision}`| chant's own examples, not a sample of real-world source |
20
-
| Comparable files |{figures.corpus.comparable}, all agreed |`packages/conformance/corpus-report.md`|{figures.corpus.noComposite} need a form the reference lacks, {figures.corpus.noLexiconList} plus {figures.corpus.buildParams} need inputs chant's entry cannot take, {figures.corpus.noHost} loads no package |
20
+
| Comparable files |{figures.corpus.comparable}, all agreed |`packages/conformance/corpus-report.md`|{figures.corpus.noComposite} need a form the reference lacks, {figures.corpus.noHost} loads no package |
21
21
| Both fold, identical namespaces |{figures.corpus.bothFold}| same | Entities compared as class plus properties, on one shared host |
22
22
23
23
The full statement of each measurement, with the history of what changed, is `paper/measurements.md`. The chant-side measurements (the fold differential, the execution-boundary profile) live in chant's repository and are cited there.
- corpus: chant `0.70.1` at `730e7f7e`, 108 entries, 409 files
5
+
- engine under test: `chant@0.71.0`, declaring spec `1.0`
6
+
- corpus: chant `0.71.0` at `4ac9b08a`, 109 entries, 441 files
7
7
8
8
## Totals
9
9
10
-
| Files | Comparable | Agreed | Both fold | No host | No composite form | No lexicon list | Build params |
11
-
|---|---|---|---|---|---|---|---|
12
-
|409|65|65|50| 1 |272 | 52 | 19|
10
+
| Files | Comparable | Agreed | Both fold | No host | No composite form |
11
+
|---|---|---|---|---|---|
12
+
|441|150|150|118| 1 |290|
13
13
14
-
The first two limits disarm the reference; the last two disarm chant, whose whole-build entry takes neither a lexicon list nor build parameters.
14
+
Both limits disarm the reference. chant is given the entry's lexicons and build parameters, the inputs a real build has.
15
15
16
16
Of the comparable files both implementations folded, 0 held something that is not data on one side or the other, so only the verdict was compared there.
17
17
@@ -25,113 +25,114 @@ None.
25
25
26
26
## Per entry
27
27
28
-
| Entry | Files | Comparable | Agreed | No host | No composite form | No lexicon list | Build params |
0 commit comments