Item 48: The modified market as a computable belief sequence
Normativity line — traderized enforcement · difficulty substantial · project normativity · closed · node item-48
— answered by the projection arc
Answered by the projection arc and registered as compiler.* in projects/normativity/CLAIMS.md. The erasure is constructed rather than assumed, through an additive upstream public section and a downstream compiler that proves its own recurrence. What the answer does not buy is efficiency: the generator is doubly exponential in the fragment dimension. Record: projects/normativity/rounds/2026-08-18-projection-enforcement/FINAL_FORMALIZATION_STATUS.md.
Registered results bearing on this item
- compiler.constraints-end-to-end: The generic form over a rational constraint schedule, written a second time over raw non-dependent data because the structured pipeline's types are not Primcodable. The obstruction was never that the
- compiler.deductive-end-to-end: The source's criterion over D together with per-date conformance at a computable tolerance schedule, assuming nothing about the deductive process beyond the source's own certificate plus propositional
- compiler.schedule-end-to-end: No supplied market, region or representation. The one standing hypothesis is that the enforcer's trade map is primitive recursive, which is the definition of an effective enforcer and sits where the s