Hebrew source · English research interface
Bava Batra 1:4: Rebuilding a wall
Inspect the rebuilding duty and the circumstance that defeats it. Follow the actual norm creation and defeat evidence.
Explore in the interactive demo →כֹּתֶל חָצֵר שֶׁנָּפַל, מְחַיְּבִין אוֹתוֹ לִבְנוֹתוֹ עַד אַרְבַּע אַמּוֹת, בְּחֶזְקַת שֶׁנָּתַן, עַד שֶׁיָּבִיא רְאָיָה שֶׁלֹּא נָתָן. מֵאַרְבַּע אַמּוֹת וּלְמַעְלָה, אֵין מְחַיְּבִין אוֹתוֹ. סָמַךְ לוֹ כֹתֶל אַחֵר, אַף עַל פִּי שֶׁלֹּא נָתַן עָלָיו אֶת הַתִּקְרָה, מְגַלְגְּלִין עָלָיו אֶת הַכֹּל, בְּחֶזְקַת שֶׁלֹּא נָתַן, עַד שֶׁיָּבִיא רְאָיָה שֶׁנָּתָן:
Which normative positions arise for the wall owner?
Inspect the rebuilding duty and the circumstance that defeats it. Follow the actual norm creation and defeat evidence.
The same owner, wall, addressee and active profile 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.
| Fallen courtyard wall | Wall above four cubits | Returned answer | Explore |
|---|---|---|---|
| Supplied | Not supplied | Rebuild Fallen Wall Up To Four Cubits: Active | Open saved case ↗ |
| Supplied | Supplied | Rebuild Fallen Wall Up To Four Cubits: Defeated | Open saved case ↗ |
| Not supplied | Not supplied | No normative position returned | Open saved case ↗ |
| Not supplied | Supplied | No normative position returned | Open saved case ↗ |
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.
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.
Inspect saved calculation identities
- Case 1ed3afc53f7a240bfd27e89cRequest: 36477514c359936d015e71eb198dca2131695152643dd469a644dd7d15b65040Result: f1476e91c270ecb0c7325e3f3b9c2d675d0c629333a3b9b0816445efffbb53c0
- Case 0de4a3aa47e1d945b9444e94Request: 32251a18b5e41e9cece3bf843311d78f47e2fe74e0d6d60182608ac5c16ea668Result: 2de498daa646e40db2cf90ebcc1d42834a8e883f889780b395af8468c14f077b
- Case d46f7a24200f13a81e706b31Request: 1105b10d960a8adf9863c01178832b3f1c721fe84b5ae79ffc4a2d1c8ff3d9caResult: 0861077a8702e1756fc0c9513b9e213dcb3f314b767e63f8cbb3713cd0bd66e0
- Case d66a9536d51f0230da99db80Request: 35ff5528814422a6f6c43a3c79ad8e1f8907e915005bc81a08943f57cdf49c04Result: 3c80064164727053f7c061d415526a13ec71e66bc05b3506c2c689cd1b1b20ab
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.