kSpecContractSemanticResidue top-level constant

List<SemanticResidue> const kSpecContractSemanticResidue

What stays INFERENCE after the record grammar lands.

Each clause is asserted verbatim in test, so the residue is QUOTED from the lanes rather than asserted about them.

Implementation

const List<SemanticResidue> kSpecContractSemanticResidue = [
  SemanticResidue(
    rubric: 'acceptance-testability',
    claim:
        'a mapped command can still be vacuous — the parser sees that a '
        'command IS there, never whether it can fail',
    clause: 'a validation item that passes even',
  ),
  SemanticResidue(
    rubric: 'plan-completeness',
    claim:
        'a step can carry all five labeled fields and still leave a '
        'judgment call to the builder',
    clause: 'A judgment call is any step where the builder must',
  ),
  SemanticResidue(
    rubric: 'decision-alignment',
    claim: 'a citation can RESOLVE and still be applied backwards',
    clause: 'the spec cites a constraint it then applies',
  ),
  SemanticResidue(
    rubric: 'coherence',
    claim:
        'a well-formed plan can parallel-build beside a concept the packs '
        'already own — no record form can see a duplicate abstraction',
    clause: 'A coherent spec extends what is there',
  ),
];