Class 1.2: What is a "Runtime" in Software? Quiz

Q1: What is an Abstract Syntax Tree (AST) in computational law?

A hierarchical tree representation of contractual clauses and statutory conditions
A diagram of a corporate organigram
A database backup index

Q2: How does context-free grammar parsing apply to statutory legal text?

Decomposes complex legal prose into deterministic condition/action tokens
Translates English legal text into French
Highlights grammatical typos in legal briefs

Q3: What component of a legal AST determines whether an action executes?

Boolean condition nodes evaluating input state variables
The document header font size
The total page count

Q4: Why are un-parsed legal contracts subject to execution ambiguity?

Natural language contains semantic ambiguities that lead to conflicting litigation interpretations
Computers cannot read PDF files
Legal contracts are too short

Q5: What is a 'production rule' in legal grammar design?

A formal transformation rule defining how legal statements resolve into operational actions
A law passed by Congress
A corporate board resolution

Q6: How do AST condition nodes interact with EVM smart contracts?

Map directly to conditional require() statements and state transition logic
Send emails to corporate lawyers
Increase transaction gas costs

Q7: What is 'term logic' in statutory AST decomposition?

Structuring legal definitions as strict mathematical sets and logical predicate gates
A legal dictionary entry
A court trial closing argument

Q8: How does AST decomposition eliminate operational drag in contract administration?

Allows software runtimes to evaluate compliance automatically without manual review
Requires more paralegals to read documents
Slows down contract signing

Q9: What is the 'root node' of a contractual AST?

The primary overarching covenant or agreement boundary
The signature page
The notary stamp

Q10: Why is deterministic parsing necessary for verifiable state machine transitions?

Ensures identical input states always resolve to identical execution outcomes
Allows judges to change contract rules retroactively
Prevents contracts from expiring

Q11: What is a 'leaf node' in a legal AST?

A primitive data variable or specific action execution token
A clause header title
An appendix page

Q12: How do Ricardian contracts maintain synchronization between prose and AST code?

Bind both human prose and machine AST to a shared cryptographic hash digest
Rely on verbal confirmation by lawyers
Store prose on paper and code on USB drives

Q13: What occurs when a legal AST encounters an undefined condition state?

Triggers a deterministic fallback halt or default exception handler
Deletes the entire contract
Executes random actions

Q14: How does statutory AST parsing support automated compliance auditing?

Enables real-time algorithmic checking against regulatory predicate trees
Replaces annual financial tax returns
Requires paper receipts for every transaction

Q15: What is 'tokenization' in legal grammar processing?

Converting contractual words and operators into standardized programmatic tokens
Issuing cryptocurrency tokens to contract signers
Encrypting contractual documents

Q16: How do nested AST sub-trees represent conditional legal covenants?

Represent multi-tiered 'if-then-else' legal obligations and exception clauses
Represent employee job titles
Represent physical office locations

Q17: What is the advantage of validating a legal AST before contract deployment?

Detects logical contradictions, infinite loops, and dead-end clauses prior to execution
Reduces contract page length
Guarantees higher profit margins

Q18: How does ERC-7827 interface with statutory AST evaluation?

Stores verifiable state hashes resulting from AST transition function execution
Bypasses all EVM state checks
Only tracks NFT artwork transfers

Q19: What role do quantifiers (e.g. 'all', 'there exists') play in legal AST predicates?

Define set-theoretic bounds over obligor groups or asset pools
Act as decorative legal flourishes
Specify document margins

Q20: Why is legal engineering focused on AST standardization across industries?

Enables interoperable, machine-executable contracts across sovereign networks
Standardizes lawyer hourly billing rates
Eliminates the need for corporate incorporation