Referenceproof

<proof>

A proof section

A <proof> is a Sectional component. It is unnumbered and collapsible. Its rendered appearance is similar to an <aside>.

Attributes and Properties

Attributes for <proof>

Scoring (9)
aggregateScores

boolean. Default value: false. Whether to aggregate scores of scored descendants into a section credit-achieved value.

colorCorrectness

boolean. Default value: false. Whether to color-code answers in this section based on correctness.

displayDigitsForCreditAchieved

integer. Default value: 3. Number of significant digits to display for the section's credit achieved value.

forceIndividualAnswerColoring

boolean. Default value: false. Whether to force per-answer color-correctness even when section-wide check work is enabled.

sectionWideCheckWork

boolean. Default value: false. Whether to show a single section-wide check-work button instead of per-answer buttons.

showCorrectness

boolean. Default value: false. Whether to display correctness indicators for answers in this section.

submitLabel

text. Default value: Check Work. Label for the section-wide submit button when correctness is shown.

submitLabelNoCorrectness

text. Default value: Submit Response. Label for the section-wide submit button when correctness is not shown.

weight

number. Default value: 1. Relative weight of this section when aggregated by an enclosing scored section.

Other (15)
asList

boolean. Default value: false. Whether to render this section's children as a list.

boxed

boolean. Default value: false. Whether to render this section with a visible box around it.

collapsible

boolean. Default value: true. Whether the section can be collapsed and expanded.

completedColor

text. Default value: var(--lightGreen). Color used to indicate this section has been completed.

includeAutoName

boolean. Default value: false. Whether to include the auto-generated section name (e.g. "Section") in the rendered title.

includeAutoNameIfNoTitle

boolean. Default value: true. Whether to include the auto-generated name when no explicit title is provided.

includeAutoNumber

boolean. Default value: false. Whether to include the auto-generated section number in the rendered title.

includeAutoNumberIfNoTitle

boolean. Default value: false. Whether to include the auto-generated number when no explicit title is provided.

inProgressColor

text. Default value: var(--mainGray). Color used to indicate this section is in progress.

level

integer. The heading level for this section (overrides the default level inferred from nesting).

noAutoTitle

boolean. Default value: false. Whether to suppress the auto-generated title entirely.

notStartedColor

text. Default value: var(--mainGray). Color used to indicate this section has not been started.

postponeRendering

boolean. Whether to delay rendering this section's contents until expanded.

renameTo

text. Override the auto-generated section name (e.g. rename "Section" to a custom label).

boolean. Default value: false. Whether the collapsible section starts in the open state.

Common to all components (9)
copy

reference. Create an independent copy of another component by reference. Enter a references a $name.

disabled

boolean. Default value: false. Whether this component is disabled and cannot be interacted with.

extend

reference. Extend another component by reference, inheriting its children and attributes. Enter a reference as $name.

fixed

boolean. Default value: false. Whether this component's value is fixed and cannot be modified.

fixLocation

boolean. Default value: false. Whether this component's location is fixed (preventing it from being moved while still allowing other modifications).

hide

boolean. Default value: false. Whether to hide this component from the rendered output.

isResponse

boolean. Default value: false. Whether this component is treated as a response for the purposes of assessment.

name

text. The name used to reference this component from elsewhere in the document.

styleNumber

integer. Default value: 1. The style number used to select this component's visual styling from the available style definitions.

Properties for <proof name="p">

Scoring (6)
$p.aggregateScores

boolean. Whether scores of scored descendants are aggregated into this section's credit value.

$p.displayDigitsForCreditAchieved

integer. Number of significant digits to display for the section's credit achieved value.

$p.sectionWideCheckWork

boolean. Whether to show a single section-wide check-work button instead of per-answer buttons.

$p.submitLabel

text. Label for the section-wide submit button when correctness is shown.

$p.submitLabelNoCorrectness

text. Label for the section-wide submit button when correctness is not shown.

$p.weight

number. Relative weight of this section when aggregated by an enclosing scored section.

Other (17)
$p.asList

boolean. Whether to render this section's children as a list.

$p.boxed

boolean. Whether this section is rendered with a visible box around it.

$p.collapsible

boolean. Whether the section can be collapsed and expanded.

$p.creditAchieved

number. Aggregate credit achieved (between 0 and 1) for scored descendants of this section.

$p.disabled

boolean. Whether this component is disabled and cannot be interacted with.

$p.fixed

boolean. Whether this component's value is fixed and cannot be modified.

$p.fixLocation

boolean. Whether this component's location is fixed (preventing it from being moved while still allowing other modifications).

$p.hidden

boolean. Whether this component is hidden from the rendered output.

$p.includeAutoName

boolean. Whether to include the auto-generated section name (e.g. "Section") in the rendered title.

$p.includeAutoNameIfNoTitle

boolean. Whether to include the auto-generated name when no explicit title is provided.

$p.includeAutoNumber

boolean. Whether to include the auto-generated section number in the rendered title.

$p.includeAutoNumberIfNoTitle

boolean. Whether to include the auto-generated number when no explicit title is provided.

$p.noAutoTitle

boolean. Whether to suppress the auto-generated title entirely.

$p.open

boolean. Whether this section is currently open (for collapsible sections).

$p.percentCreditAchieved

number. Aggregate credit achieved as a percentage (between 0 and 100).

$p.sectionNumber

text. The displayed number for this section (always null for unnumbered sections).

$p.title

text. The displayed title text for this section.

Common to all components (4)
$p.doenetML

text. The DoenetML source code that produced this component.

$p.hide

boolean. Whether to hide this component from the rendered output.

$p.isResponse

boolean. Whether this component is treated as a response for the purposes of assessment.

$p.styleNumber

integer. The style number used to select this component's visual styling from the available style definitions.

Examples

Example: <proof> with default title

Within a DoenetML document, default titles for sectional components are auto-numbered. Sectional components such as <section> and <problem> are on the same counter, but a <proof> is not part of the document’s default numbering schema.

Example: <proof> with custom title

A custom <proof> title is creating by providing a <title> tag within the <proof>.

Attribute Examples

Attribute Example: startOpen

The startOpen attribute renders the <proof> box as open; it must be clicked once to close.

productq