Repurchase issuance semantics audit
Repurchase issuance semantics audit is one of 28 measurements this engine publishes in full. It is regenerated from a real run rather than transcribed, and it is shown here with its own claim boundary so the number and its limits arrive together.
The measurement
- Schema
- canli.feasibility.repurchase-issuance-semantics-audit.v1
- Generated at
- 2026-08-16T00:35:50.832944+00:00
- Stage
- point_in_time_semantics_no_prices_no_returns
- Source manifest hash
- sha256:3e206acc081bb4adafa864fc9a609bf443505d28b9bea08758a1434fcc2513a2
- Facts parts sha256
- 8ec319e070b6248e57a875cf9c5fc1af761af0cd6802e9f2f5fb5c7d669984d5
- Submissions parts sha256
- 0d91d328010c4c21b21f78ca7f4a940cf00e6109c45f55be8c1fb0f540038e4a
- Return data opened
- no
- Return hypotheses spent
- 0
- Decision
- SEMANTICS_PASS
- Content hash
- sha256:58d2c0cbe44bbf34a71df0e30eada1d148c3255bdbc1d202bbf25a191d70f2de
Amendment replay
- Amendment fact rows tested
- 2407
- Slice invariant
- yes
Quarterization
- Eligible cumulative facts
- 54879
- Derived quarters
- 35792
- Failed closed facts
- 19087
- Zero imputations
- 0
- Accounted for
- yes
Failure reasons
- Missing acceptance
- 5
- Missing context
- 646
- Missing predecessor
- 18321
- Ambiguous predecessor
- 115
- Nonnumeric value
- 0
Contamination
- All categories reported
- yes
- Tender offer source
- Item 703 document audit pending
Fact rows
- Contamination stock compensation
- 38630
- Contamination acquisition
- 1730
- Contamination stock split
- 571
- Contamination preferred mixed
- 0
- Authorization not completion
- 284
- Custom extension
- 2373
- Tender offer
- 0
Gates
- Amendment replay slice invariant
- yes
- Quarterization accounts for every eligible fact
- yes
- Quarterization zero imputations
- yes
- Contamination categories explicit
- yes
- Return data unopened
- yes
- Return hypotheses unspent
- yes
Check it yourself
Every figure above is read from /glassbox/repurchase_issuance_semantics_audit.json, the
artifact the engine wrote. Nothing on this page is typed by hand: the page is generated from that
file, so a figure that moves in the artifact moves here and a figure that is not in the artifact
cannot appear here at all.