Action Log

Kind: algorithm

Record: algorithms:action-log

Canonical: Algorithms

Closure: Dependencies in load order

Accept only documented gaps as input, apply bounded changes, version the modified artifact, verify the write, and emit an action log without discovering new scope.

Listed in Algorithm contracts, after Investigation Report and before Contract-Based Verification Kernel.

Domain

• Context verification

Stage

• commit

Axis

• representation

Tier

• process

Math type

• Information Theory

Force

• Correctness verification

Linked from

• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces