-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
close the three prior-art reads #31 could not: Heldal & Hughes, Prepack identity, D CTFE error-vs-fallback
area:paperOnward! submission and its artifactsOnward! submission and its artifactsP2Wrong but visible, or blocks other workWrong but visible, or blocks other workStatus: Open.decide whether located diagnostics are a conformance requirement
area:conformanceConformance suite, harness, corpusConformance suite, harness, corpusarea:specNormative specification text, grammar, judgmentsNormative specification text, grammar, judgmentsP2Wrong but visible, or blocks other workWrong but visible, or blocks other workStatus: Open.gate chant's docs against this repo's rule identifiers
area:chantCross-checking against the chant implementationCross-checking against the chant implementationarea:conformanceConformance suite, harness, corpusConformance suite, harness, corpusP3DX, docs, cosmeticDX, docs, cosmeticStatus: Open.paper: Onward! 2027 submission logistics
area:paperOnward! submission and its artifactsOnward! submission and its artifactsP2Wrong but visible, or blocks other workWrong but visible, or blocks other workStatus: Open.paper: the measurements section — differential agreement and the leftness harness
area:paperOnward! submission and its artifactsOnward! submission and its artifactsP1Blocks the spec being correct or citableBlocks the spec being correct or citableStatus: Open.paper: state the divergence direction as a theorem, and decide on mechanization
area:paperOnward! submission and its artifactsOnward! submission and its artifactsarea:specNormative specification text, grammar, judgmentsNormative specification text, grammar, judgmentsP1Blocks the spec being correct or citableBlocks the spec being correct or citableStatus: Open.paper: related work, including the partial-evaluation literature the docs never cite
area:paperOnward! submission and its artifactsOnward! submission and its artifactsP1Blocks the spec being correct or citableBlocks the spec being correct or citableStatus: Open.cross-check the full corpus against chant, and define what a disagreement means
area:chantCross-checking against the chant implementationCross-checking against the chant implementationarea:conformanceConformance suite, harness, corpusConformance suite, harness, corpusP3DX, docs, cosmeticDX, docs, cosmeticStatus: Open.grow the fixture corpus to cover every rule, negatives included
area:conformanceConformance suite, harness, corpusConformance suite, harness, corpusP3DX, docs, cosmeticDX, docs, cosmeticStatus: Open.publish the reference implementation and harness to npm
area:ciCI, release, publishCI, release, publisharea:refimplThe minimal reference implementationThe minimal reference implementationP3DX, docs, cosmeticDX, docs, cosmeticStatus: Open.file layer: the fold-or-run decision and the identity-taint fixpoint
area:refimplThe minimal reference implementationThe minimal reference implementationP3DX, docs, cosmeticDX, docs, cosmeticStatus: Open.module layer: imports, re-exports, cross-file resolution, cycle rejection
area:refimplThe minimal reference implementationThe minimal reference implementationP3DX, docs, cosmeticDX, docs, cosmeticStatus: Open.