Assessment Quiz — Law as a Software Runtime

20 Transcript Questions

20-Question Socratic Assessment: Sept 4, 2026 Class

Module 1: Law as a Software Runtime (Audio Overview)

1. In the opening analogy, how does the speaker contrast a traditional architectural blueprint with a "living" legal blueprint?

A) A traditional blueprint requires government approval, whereas a living blueprint is illegal. B) A traditional blueprint is static paper, while a living blueprint automatically orders lumber, schedules contractors, and verifies inspections upon finalization. C) Living blueprints are drawn using 3D CAD software instead of paper.

2. What is the fundamental flaw of treating legal contracts as "passive text"?

A) Passive text requires human interpretation, manual enforcement, and subjective litigation when state changes occur. B) Passive text cannot be converted into PDF format. C) Passive text can only be read by licensed attorneys.

3. According to the transcript, how does a "software runtime" transform contract execution?

A) It replaces all corporate boards with AI decision algorithms. B) It executes obligations as deterministic state transitions accepting verified cryptographic inputs. C) It automatically files lawsuits in state court whenever a payment is 1 day late.

4. What is the role of EVM personal ledgers (ERC-7827) in the software runtime model?

A) Storing personal financial credit scores on public blockchains. B) Providing a bilateral state machine where individuals hold sovereign state histories and counter-party attestations. C) Replacing local operating systems with smart contract browsers.

Module 2: Theory vs. Mechanics

5. How does the speaker contrast jurisprudential theory with legal mechanics?

A) Theory debates abstract rights, whereas mechanics builds verifiable, deterministic state transition mechanisms. B) Theory is for lawyers and mechanics is for car mechanics. C) Mechanics is purely theoretical, whereas theory is implemented in code.

6. What happens when legal contracts transition from "analog prose" to "digital state logic"?

A) Ambiguity is eliminated through formal verification and deterministic execution gates. B) Contract prices automatically double due to gas fees. C) The Supreme Court must pre-approve every smart contract deployment.

7. Why is formal verification critical in legal engineering mechanics?

A) It proves mathematically that a state machine satisfies spec constraints across all valid inputs. B) It generates formal legal certificates signed by the Bar Association. C) It translates English contracts into Latin for court filings.

8. What distinction is made between "offline paper intention" and "on-chain state commitment"?

A) Intentions are subjective thoughts, while state commitments are immutable, Keccak-256 hashed cryptographically signed facts. B) Offline paper is legally binding, whereas on-chain state has no legal standing. C) There is no difference between paper intent and state commitment.

Module 3: Magic to Mechanics

9. What is the "Magic" that the speaker warns against in early AI legal tech?

A) Relying on unverified black-box LLM text outputs without deterministic verification runtime compilation. B) Using magic tricks in courtrooms to persuade juries. C) Encrypting files using public key cryptography.

10. How does "Mechanics" convert natural language legal requests into code?

A) By parsing natural language into Abstract Syntax Trees (ASTs) and compiling them into executable state machine logic. B) By asking an LLM to generate random Solidity snippets. C) By hiring offshore developers to convert PDFs manually.

11. What is the "AST Decomposition" process in legal engineering?

A) Breaking down a contract clause into conditions, triggers, state transitions, and exception handlers. B) Deleting all legal definitions from a contract. C) Translating a contract into binary 0s and 1s by hand.

12. Why is "verifiable state verification" superior to LLM text generation alone?

A) LLMs hallucinate text, whereas state verification guarantees cryptographic execution consistency. B) LLMs are too slow to run on web servers. C) State verification requires no computers.

Module 4: The Engineering Reality vs. Jurisprudence

13. What is "Social Transaction Cost" as defined in the transcript?

A) The hidden tax on human cooperation caused by legal friction, manual enforcement, and paper ambiguity. B) The fee paid to social media platforms for advertising. C) The cost of hosting dinner parties for corporate executives.

14. How does computational legal engineering reduce social transaction costs?

A) By automating state verification, eliminating manual filing delays, and executing conditions deterministically. B) By eliminating all taxes across global jurisdictions. C) By forcing all disputes into binding arbitration.

15. What gap exists between abstract jurisprudence and engineering reality?

A) Jurisprudence tolerates vague post-hoc standards, while software runtimes require explicit, zero-ambiguity edge-case handling. B) Jurisprudence is written in C++ while engineering reality uses HTML. C) There is no gap between jurisprudence and software engineering.

16. Why are "edge cases" the central focus when converting contracts to code?

A) Software runtimes fail or freeze when unhandled state exceptions occur during runtime. B) Edge cases are where lawyers charge the highest hourly rates. C) Edge cases only matter in smart contracts that deal with real estate.

Module 5: The Future of Law

17. What is the "Bilateral State Machine Verification" model?

A) Counter-parties independently verify state transitions, attestation-sign off-chain, and commit state proofs on-chain. B) A centralized government database that stores every citizen's contract history. C) Running two smart contracts in parallel on testnets.

18. How does ERC-7827 enable "On-Chain Counter-Party Attestation"?

A) Authorized institutional issuers counter-sign Keccak-256 state hashes directly into personal EVM ledgers. B) Users send physical letters to the Ethereum Foundation. C) By issuing ERC-20 tokens for every completed quiz.

19. What is the ultimate vision for Legal Engineering Education at LexClinic?

A) Empowering legal engineers to build open, verifiable, public good legal runtimes and smart contract specifications. B) Replacing all law schools with 3-day coding bootcamps. C) Selling proprietary legal software licenses to law firms.

20. How does a student verify that their quiz score has been recorded in the LexClinic Student Store?

A) By logging into /attest/ and inspecting their Keccak-256 state hash and "Yet Attested To" status. B) By emailing the professor to request a paper grade card. C) Scores are deleted immediately after submission.