-
Notifications
You must be signed in to change notification settings - Fork 97
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[V4-P1] Lean: count-volume and ordering-fraction limits of the source-record family
dag:ready-nowOpen issue with no hard blocker, stage gate, or parked/deferred flagOpen issue with no hard blocker, stage gate, or parked/deferred flagV4Completion Plan V4 contract issueCompletion Plan V4 contract issueStatus: Open.#782 In FloatingPragma/observer-patch-holography;[V4-S6] Closure loop on the glued federation
V4Completion Plan V4 contract issueCompletion Plan V4 contract issueStatus: Open.#781 In FloatingPragma/observer-patch-holography;[V4-S5] Current readout on the sourced causal poset
dag:ready-nowOpen issue with no hard blocker, stage gate, or parked/deferred flagOpen issue with no hard blocker, stage gate, or parked/deferred flagV4Completion Plan V4 contract issueCompletion Plan V4 contract issueStatus: Open.#780 In FloatingPragma/observer-patch-holography;[V4-S4] Sources and density: curvature from order statistics on the sourced poset
V4Completion Plan V4 contract issueCompletion Plan V4 contract issueStatus: Open.#779 In FloatingPragma/observer-patch-holography;[V4-S3] Population selection: committed record states and the dynamic population
dag:ready-nowOpen issue with no hard blocker, stage gate, or parked/deferred flagOpen issue with no hard blocker, stage gate, or parked/deferred flagV4Completion Plan V4 contract issueCompletion Plan V4 contract issueStatus: Open.#778 In FloatingPragma/observer-patch-holography;[V4-S2] The read law as a production: routing record-metric reads on the support wiring
dag:ready-nowOpen issue with no hard blocker, stage gate, or parked/deferred flagOpen issue with no hard blocker, stage gate, or parked/deferred flagV4Completion Plan V4 contract issueCompletion Plan V4 contract issueStatus: Open.#777 In FloatingPragma/observer-patch-holography;[V4-S1] Support-wiring provenance readout beside the record-metric route
dag:ready-nowOpen issue with no hard blocker, stage gate, or parked/deferred flagOpen issue with no hard blocker, stage gate, or parked/deferred flagV4Completion Plan V4 contract issueCompletion Plan V4 contract issueStatus: Open.#776 In FloatingPragma/observer-patch-holography;Lean-first library: prove missing implications and retire unused Python
dag:ready-nowOpen issue with no hard blocker, stage gate, or parked/deferred flagOpen issue with no hard blocker, stage gate, or parked/deferred flagexit:integrationCloses by composing all named upstream verdicts without hidden promotionCloses by composing all named upstream verdicts without hidden promotionprogram:continuationScientific continuation outside the core closeout pathScientific continuation outside the core closeout pathresource:laptopFeasible with local reasoning, Lean, certificates, or CPU-cheap numericsFeasible with local reasoning, Lean, certificates, or CPU-cheap numericssurface: archiveHistorical or unstructured issuesHistorical or unstructured issuesStatus: Open.Infinite pyramidal fractal of the one observer
exit:fixed-verdictCloses with the preregistered confirmation, rejection, or not-evaluable verdictCloses with the preregistered confirmation, rejection, or not-evaluable verdictprogram:outerInterruptible outer-work or prestige-capstone laneInterruptible outer-work or prestige-capstone laneresource:parkedOutside the current laptop, small-simulation, and no-QCD resource envelopeOutside the current laptop, small-simulation, and no-QCD resource envelopesurface: archiveHistorical or unstructured issuesHistorical or unstructured issuesStatus: Open.#760 In FloatingPragma/observer-patch-holography;[V3-PB1] Finite observer Maxwell episode: same-history source, action, clock, and active readout
dag:ready-nowOpen issue with no hard blocker, stage gate, or parked/deferred flagOpen issue with no hard blocker, stage gate, or parked/deferred flagsurface:v3Completion Plan V3 adequacy-first lanesCompletion Plan V3 adequacy-first lanesV3V3 adequacy-first programV3 adequacy-first programStatus: Open.#754 In FloatingPragma/observer-patch-holography;[Dark sector] Modular-anomaly density: collar-scale theorem, magnitude, profile, localization, abundance
exit:theorem-or-no-goCloses with a source-positive theorem or a complete stated-domain no-goCloses with a source-positive theorem or a complete stated-domain no-goprogram:continuationScientific continuation outside the core closeout pathScientific continuation outside the core closeout pathresource:laptopFeasible with local reasoning, Lean, certificates, or CPU-cheap numericsFeasible with local reasoning, Lean, certificates, or CPU-cheap numericssurface: continuationContinuation branches and follow-on theorem closuresContinuation branches and follow-on theorem closuresStatus: Open.[Normal forms] Derive scheduler and source hypotheses from the repair process and establish all-scheduler obstruction bounds
surface:v3Completion Plan V3 adequacy-first lanesCompletion Plan V3 adequacy-first lanesV3V3 adequacy-first programV3 adequacy-first programStatus: Open.#750 In FloatingPragma/observer-patch-holography;