propositions playground.ts

0% Statements 0/26

0% Branches 0/1

0% Functions 0/1

0% Lines 0/26

Press n or j to go to the next uncovered block, b, p or k for the previous block.


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27  
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
  import type { PropositionDef, ConstructionElement } from '../types'
import { BYRNE } from '../types'

const givenElements: ConstructionElement[] = [
  {
    kind: 'point',
    id: 'pt-A',
    x: 0,
    y: 0,
    label: 'A',
    color: BYRNE.given,
    origin: 'given',
  },
]

/**
 * Playground "proposition" — free-form construction sandbox.
 * Starts with a single moveable point; the user adds more via the Point tool.
 */
export const PLAYGROUND_PROP: PropositionDef = {
  id: 0,
  title: 'Construction Playground',
  givenElements,
  draggablePointIds: ['pt-A'],
  steps: [],
}