Peah 1:4: The field’s corner

Is the householder obligated in Peah?

Explore how five supplied or omitted characteristics change support for a selected Peah rule. Inspect the grounded diagnostic before comparing cases.

Householder, plot, produce, profile and produce left in the field remain fixed.

The table contains saved Arxo calculations from the admitted scene contract. The interactive lab lets you change choices, open the matching saved version, keep case A and compare its returned evidence with case B. Fresh execution requires the local native server.

Read the states separately.

Established means positive-only support. Denied means negative-only support. Both supports preserves support for a proposition and its negation. Neither means neither side is supported; it does not deny the proposition. Normative positions such as Active and Defeated are separate from those factual truth states.

A grounded why-not diagnostic names specific conjuncts for one selected rule. When no produce characteristic is supplied, the candidate can leave its produce variable unbound; an unbound variable is not a missing form fact.

What supports an answer?

The interactive inspector follows actual proof premises, rule applications and source anchors. The A/B map aligns semantic steps while preserving the two original records; its differences do not establish a sole or minimal cause.

Execution and sources

These are historical standalone model calculations. All admitted combinations have exact replay; ten original baseline documents were checked unchanged. Independent oracle evaluation and normative acceptance were not run.

Read the editions, attribution and execution scope →